We study homogeneous diffusion martingales evolving in a bounded state space $D=[a,b]$, where $a$ and $b$ are zeros of the diffusion coefficient. We call a process of the form $Z_t=\mathbb{E}[B\mid\mathcal{F}_t]$, with $B$ a Bernoulli random variable, a Bernoulli-Doob martingale. Our main results establish a complete equivalence: every such diffusion martingale is a Bernoulli-Doob martingale (Theorem 2) and, conversely, every continuous time-homogeneous Markov Bernoulli-Doob martingale on a Brownian filtration arises from such a diffusion (Theorem 3). The intuitive reason is that a bounded martingale has constant expectation while accumulating variance, so it converges to the maximum-variance distribution with given mean and range, namely the Bernoulli. We further show that this Bernoulli limit is truly asymptotic: for any fixed finite horizon $T$, the probability of not yet having reached the boundary is strictly positive (Theorem 4), even when the individual boundaries are accessible. We clarify the relationship between Feller's boundary classification, the pathwise SDE framework, and the martingale constraint, showing that the martingale property forces absorption at any attainable boundary. The theory is illustrated with the $\Phi$-martingale, the Jacobi martingale, and applications to credit-risk modelling.
We consider a fractional Brownian motion $B$ with Hurst index $0<H<1/2$, and its maximiser $\tau$ on $[0,1]$. We show that the rescaled process $a^H(B_{\tau+\,\cdot\,/a}-B_\tau)$ converges in $C_{\mathrm{loc}}(\mathbb R)$ to a limiting tangent law that is $H$-self-similar, supported on nonpositive paths pinned at zero, and rerooting-rescaling invariant: rerooting the limit process at its maximum on any fixed compact interval separated from zero and rescaling again asymptotically reproduces the same law. We also identify the tangent law as the limit of two-sided finite-grid hard-wall laws as the mesh vanishes and both horizons diverge, which can informally be interpreted as conditioning fractional Brownian motion on a nonpositive path. As an application, we consider persistence probabilities for fractional Brownian motion: a tilted variant of $B$ yields a different tangent law with a finite left horizon and an infinite right horizon and we show that \[ \mathbb P(B_t\leq1\text{ for all }0\leq t\leq T) = \big(C+o(1)\big)\,T^{-(1-H)},\quad \text{as }T\to\infty, \] where the leading order coefficient $C\in(0,\infty)$ has an explicit representation in terms of the expected maximum and the tilted tangent law.
We study a penalisation problem for two-dimensional Brownian motion. Starting from the Wiener measure, we consider a family of probability measures obtained by weighting paths by a nonnegative functional $F_t$ depending on $t \geq 0$, $F_t$ being measurable with respect to the $\sigma$-algebra generated by the path up to time $t$. Under suitable assumptions on the penalisation process, we establish the weak convergence of these measures when $t \rightarrow \infty$. The limiting law is identified explicitly in terms of a $\sigma-$finite measure $\mathbf{W}^{(2)}$, which admits a path decomposition involving the last hitting time of a circle. This decomposition plays a central role in the analysis and yields a martingale representation of the limiting measure. where ordering and local time techniques are no longer available. The proofs rely on Laplace transform methods and Tauberian theorems, which replace excursion-theoretic tools and allow a precise identification of the limiting measure and its structural properties.
Joseph Najnudel, Thammadol Tansrivorarat· 0 citations
We prove absolute continuity of the running maximum $X^{\ast}_T=\sup_{0\leq s\leq T}X_s$ of one-dimensional time-inhomogeneous L\'evy--It\^o diffusions driven by a Brownian motion and an independent non-truncated pure-jump L\'evy process. Using Bismut's directional Malliavin calculus on the Wiener--Poisson space together with the running-maximum criteria of Song--Xie and Nakagawa--Suzuki, we reduce the problem to constructing an admissible direction $\Theta$. The key is to ensure that the directional derivative $D_\Theta X_t$ is strictly positive for all $t\in(0,T]$. We give explicit directions in two regimes. In the uniformly elliptic case with time-inhomogeneous coefficients, a purely Brownian perturbation yields an explicit positive integral representation for $D_\Theta X_t$, and hence $X^{\ast}_T$ admits a density without truncating the jump component. In a Brownian-degenerate pure-jump model with a bounded deterministic time-dependent jump weight $\kappa(t)$ that may vanish on subintervals, we prove absolute continuity under the minimal nondegeneracy-in-time condition $\int_0^t \kappa(s)^2\,ds>0$ for every $t>0$ and infinite activity of the L\'evy measure. A weighted Poisson positivity lemma is the key new input. Finally, we show that silent initial intervals can create atoms and we derive an explicit atom--density decomposition.
Given a strongly convex function $u$, equip $R^d$ with a Riemannian metric given by the Hessian $\nabla^2 u$. This is a so-called Hessian manifold. Given a probability density $\mu$ one may run a Langevin diffusion intrinsic to the manifold with stationary distribution $\mu$. Such (Hessian) manifold-valued Langevin diffusions are called Mirror Langevin diffusions (MLD) which have recently become popular. One of the questions we explore is whether, given $\mu$, one can choose $u$ to get an exponential convergence to equilibrium for the MLD, especially if $\mu$ is not strongly log-concave. Our results are based on Lyapunov function methods and give sufficient conditions for a Poincar\'e or a log-Sobolev inequality to hold for the MLD. These, in turn, imply exponential convergence. We also introduce a Markov chain approximation to the MLD given by a two step Gibbs sampler with stationary distribution $\mu$. This Markov chain is a variant of the Sinkhorn Markov chain introduced in arXiv:2307.16421 that is conjectured to converge to a time-inhomogeneous generalization of the MLD. Under suitable assumptions, we prove that the Markov chain has a guaranteed convergence rate in $\chi^2$ that is consistent with the diffusion time scale. Our proofs are based on ideas from entropic optimal transport and strong data processing inequalities.
Benjamin Capdeville, Young-Heon Kim, Soumik Pal· 0 citations
We consider the Langevin diffusion $dX_t = - \beta \nabla V(X_t) dt + \sqrt{2} dB_t$ for a general nonnegative real-analytic potential $V$ and a large parameter $\beta$. In the large-$\beta$ limit the process is confined to the zero set of $V$, assuming that it starts there. We derive a candidate limiting evolution on the zero set. To do so, the zero set is partitioned into strata according to a measure of local codimension known as the local learning coefficient and its multiplicity. It is then shown that the Dirichlet form associated with $X$ converges in a certain sense to a hierarchy of Dirichlet forms corresponding to a stochastic evolution on the strata. This evolution is strongly biased toward higher-dimensional, or"more singular", strata. This result is motivated by a question from Watanabe's singular learning theory regarding the learning dynamics of overparameterized statistical models and the generalization puzzle in deep learning. The result suggests a mechanism for the observation that stochastic gradient methods tend to be biased toward singular solutions that generalize well.
For any finite family of Poisson multiple integrals and any finite $p\geq2$, we construct a common increasing filtration generated by finitely many exact Poisson counts such that the associated conditional expectations converge in $L^p$, remain in their original chaoses, and have bounded step kernels with finite-measure support. This finite-count martingale core allows regular fixed-chaos identities and estimates to be extended under the sole assumption of a finite fourth moment. In particular, if $F$ lives in a Poisson chaos with unit variance and finite fourth moment, we prove that the Kolmogorov distance between $F$ and a standard normal is bounded by $15.6(\mathbb{E}[F^4]-3)^{1/2}$. This removes Assumptions $\mathbf A$ and $\mathbf A^{\textbf{loc}}$ from the Kolmogorov bound of D\"obler and Peccati (Ann. Probab., 2018). We also obtain quantitative $L^4$ estimates for all iterated Malliavin derivatives and, for $F$ in a Poisson chaos, the fourth moment assumption of $F$ forces the $L^4$-integrability of its kernel.
