Let $V\_t$ and $W\_t$ be independent standard Wiener processes ($t\ge 0$, $W\_t,V\_t\in\mathbb R$).


Let $C$ be the event that there is a continuous function $f$ such that for all $s$, $t$,
$$
W\_t=W\_s\iff V\_{f(t)}=V\_{f(s)}.
$$
Does $C$ have probability 0?


(The question arose in connection with a [question by Noah Schweber](https://mathoverflow.net/a/345429/4600).)



Brownian level sets and continuous functions
Call two sequences $(a\_n)$ and $(b\_n)$ tail-equivalent if there are $p$ and $q$ such that $a\_{p+n} = b\_{q+n}$ for every $n \geqslant 0$. Write $W(t)$ rather than $W\_t$.


Suppose that $f$ with the desired property exists, that both $W(t)$ and $V(t)$ take every real value, and that $V(t)$ is not monotone on any interval (which, of course, happens with probability one). The argument is divided into a number of steps.


1. For some one-to-one function $\phi$, we have
$$ V(f(t)) = \phi(W(t)) . $$
Indeed: for every $x$ find an arbitrary $T(x)$ such that $W(T(x)) = x$, and set $\phi(x) = V(f(T(x))$. Then $V(f(t)) = \phi(x)$ if and only if $V(f(t)) = V(f(T(x)))$, that is, $W(t) = W(T(x))$, that is, $W(t) = x$.
2. The function $\phi$ is in fact strictly monotone. Indeed: for a given $x \in \mathbb{R}$, there is $T(x) \geqslant 0$ such that $W(T(x)) = x$ and for every neighbourhood $I$ of $T(x)$, the set $W(I)$ contains a right neighbourhood of $x$. Thus, $\limsup\_{y \to x} \phi(y) \leqslant \limsup\_{t \to T(x)} \phi(W(t)) = \limsup\_{t \to T(x)} V(f(t)) = V(f(T(x))) = \phi(W(T(x))) = x$. A similar argument shows that $\liminf\_{y \to x} \phi(y) \geqslant \phi(x)$. Thus, $\phi$ is continuous at $x$. Since $x$ is arbitrary, $\phi$ is continuous, and hence (being one-to-one) strictly monotone.
3. With no loss of generality we assume $\phi$ is strictly increasing. The other case is dealt with in a similar manner.
4. Denote $I(t) = \inf\_{s \in [0, t]} W(s)$ and $M(t) = \sup\_{s \in [0, t]} W(s)$. Let $T\_0 > 0$ be chosen arbitrarily (e.g. $T\_0 = 1$), and define $$T\_{2n+1} = \inf\{t > T\_{2n} : W(t) < I(T\_{2n})\}$$ and $$T\_{2n+2} = \inf\{t > T\_{2n+1} : W(t) > M(T\_{2n+1})\}$$
In other words $T\_{2n+1}$ is the first time $W(t)$ exceeds its current infimum after $T\_{2n}$, and $T\_{2n+2}$ is the first time $W(t)$ exceeds its current supremum after $T\_{2n+1}$. Then $T\_n$, $W(T\_{2n})$ and $-W(T\_{2n+1})$ all go to infinity as $n \to \infty$. (It is good to make a picture here.)
5. The tail-equivalence class of $(T\_n)$ does not depend on $T\_0$. Indeed: suppose that $T\_0' > T\_0$ and $T\_n'$ is defined in a similar way as $T\_n$, but with $T\_0$ replaced by $T\_0'$. Clearly, $T\_0' \in [T\_{2n}, T\_{2n+2})$ for some $n$. If $T\_0' < T\_{2n+1}$, then $T\_1' = T\_{2n+1}$ and consequently $T\_k' = T\_{2n+k}$ for $k > 0$. If $T\_0' \geqslant T\_{2n+1}$, then either $T\_1' \in [T\_{2n+1}, T\_{2n+2})$ and consequently $T\_k' = T\_{2n+k}$ for $k > 1$, or $T\_1' \in [T\_{2n+3}, T\_{2n+4})$, and consequently $T\_k' = T\_{2n+2+k}$ for $k > 1$. (Looking at a picture helps a lot here.) Either way, $T\_n$ and $T\_n'$ are tail-equivalent.
6. Recall that $W(t)$ exceeds its past supremum at $T\_{2n}$; that is, there is a sequence $\epsilon\_k > 0$ convergent to zero, such that $X(T\_{2n} + \epsilon\_k) > M(T\_{2n})$ for every $k$. Therefore, $f(T\_{2n} + \epsilon\_k) \notin f([0, T\_{2n}])$. This means that $f(T\_{2n})$ is one of the endpoints of $f([0, T\_{2n})$. A similar argument shows that $f(T\_{2n+1})$ is one of the endpoints of $f([0, T\_{2n+1}])$.
7. For the next few items, suppose that $\phi$ is unbounded both from below and from above. Choose $n$ large enough, so that
$$\phi(W(T\_{2n})) > \sup\_{s \in [0, f(0)]} V(s), \qquad \phi(W(T\_{2n+1})) < \inf\_{s \in [0, f(0)]} V(s).$$
By item 6, $f(T\_{2n})$ is one of the endpoints of $f([0, T\_{2n}])$, and by the above condition, $f(T\_{2n})$ does not belong to $[0, f(0)]$. Therefore, $f(T\_{2n})$ is the *right* endpoint of $f([0, T\_{2n}])$. Similarly, $f(T\_{2n+1})$ is the *right* endpoint of $f([0, T\_{2n}])$. This means that $f(T\_n)$ is eventually non-decreasing, and for $n$ large enough, $f(T\_{2n})$ is the first time $V(s)$ exceeds its past supremum after $f(T\_{2n-1})$, and $f(T\_{2n+1})$ is the first time $V(s)$ exceeds its past infimum after $f(T\_{2n})$.
8. Define the sequence $S\_n$ in a similar way as $T\_n$, but using $V(t)$ rather than $W(t)$. The previous item shows that $f(T\_n)$ and $S\_n$ are tail-equivalent.
9. Define $A\_n = 1$ if there are $s, t \in [T\_{2n+1}, T\_{2n+2}]$ such that $$\text{$s < t$, $W(s) > W(T\_{2n})$ and $W(t) < W(T\_{2n+1})$,}$$
and $A\_n = 0$ otherwise. (Again, have a look at the picture.) By the strong Markov property, $A\_n$ is an i.i.d. sequence of (non-trivial) Bernoulli random variables with some parameter $p \in (0, 1)$. Define in a similar way $B\_n$, using $S\_n$ and $V(t)$ rather than $T\_n$ and $W(t)$. Finally, let $C\_n$ be a similarly defined sequence for $f(T\_n)$ and $V(t)$ rather than $T\_n$ and $W(t)$.
10. By continuity of $f$, $A\_n = 1$ implies $C\_n = 1$ (but not necessarily *vice versa*). Therefore, $C\_n \geqslant A\_n$. Furthermore, $B\_n$ is tail-equivalent to some $C\_n$. At the same time, independence of $W(t)$ and $V(t)$ implies that $B\_n$ and $C\_n$ are independent.
11. The probability that, given two independent i.i.d. Bernoulli sequences $A\_n$ and $B\_n$ (with the same parameter $p$), there is a third sequence $C\_n$ such that $C\_n \geqslant A\_n$ and $C\_n$ is tail-equivalent to $B\_n$, is easily found to be zero. This proves that the probability that a function $f$ with the desired property exists, and additionally the corresponding $\phi$ is unbounded both from below and from above, is necessarily zero.
12. We now turn our attention to the case when $\phi$ is bounded from below or bounded from above. Clearly, it is sufficient to consider the case when $\phi$ is bounded from below. The argument is here more sketchy, but I will try to fill in the details later.
13. If $\phi(x) \geqslant c$ for every $x$, then $f$ is bounded (for $f$ necessarily takes values in a connected component of $\{s : V(s) \geqslant c\}$). If we define $T\_n$ as in item 7, then one can show that the sequences $f(T\_{2n})$ and $f(T\_{2n+1})$ are eventually monotone, and one of them is eventually increasing, and the other eventually decreasing. (Otherwise, the path of $V\_s$ would have an infinite number of oscillations of a fixed size over a finite time horizon, a contradiction with continuity.) With no loss of generality we consider the case where $f(T\_{2n})$ is increasing for $n \ge N$, and $f(T\_{2n+1})$ is decreasing for $n \ge N$.
14. Since $V(s)$ is not monotone on any interval, it attains a local extremum somewhere in the interior of $f([T\_{2N+1}, T\_{2N+2}])$. Let $V(s\_0) = y\_0$ be this local extremum, and let $y\_0 = \phi(x\_0)$. What we have found above implies that $W(t)$ attains a local extremum equal to $x\_0$ in *every* interval $[T\_{2n+1}, T\_{2n+2}]$, $n = N, N+1, \ldots$ However, with probability one, the local extrema of $W(t)$ are all distinct. Thus, the probability that a function $f$ with the desired property exists, and additionally the corresponding $\phi$ is bounded both from below or from above, is necessarily zero.


The desired result follows.


