https://arxiv.org/api/fh4PiwB0RL9wA4S4oOGsagEvDBs 2026-03-26T09:54:48Z 64730 165 15 http://arxiv.org/abs/2603.20329v1 2026-03-20T04:01:41Z

We study forward and inverse problems for time-dependent probability measures in Bayes--Hilbert spaces. On the forward side, we show that each sufficiently regular Bayes--Hilbert path admits a canonical dynamical realization: a weighted Neumann problem transforms the log-density variation into the unique gradient velocity field of minimum kinetic energy. This construction induces a transport form on Bayes--Hilbert tangent directions, which measures the dynamical cost of realizing prescribed motions, and yields a flow-matching interpretation in which the canonical velocity field is the minimum-energy execution of the prescribed path. On the inverse side, we formulate reconstruction directly on Bayes--Hilbert path space from time-dependent indirect observations. The resulting variational problem combines a data-misfit term with the transport action induced by the forward geometry. In our infinite-dimensional setting, however, this transport geometry alone does not provide sufficient compactness, so we add explicit temporal and spatial regularization to close the theory. The linearized observation operator induces a complementary observability form, which quantifies how strongly tangent directions are seen through the data. Under explicit Sobolev regularity and observability assumptions, we prove existence of minimizers, derive first-variation formulas, establish local stability of the observation map, and deduce recovery of the evolving law, its score, and its canonical velocity field under the strong topologies furnished by the compactness theory.

2026-03-20T04:01:41Z S. David Mis Maarten V. de Hoop http://arxiv.org/abs/2603.19577v1 2026-03-20T02:40:13Z

Many biological processes exhibit oscillatory behavior. Among these, glycolytic oscillations have been extensively studied due to their well-characterized biochemical reaction networks. However, the complexity of these networks necessitates low-dimensional ordinary differential equation (ODE) models to identify core mechanisms and perform stability analysis. While previous studies proposed reduced ODE models, these were typically introduced from deterministic descriptions rather than the underlying stochastic dynamics, which more accurately represent discrete reaction events occurring at random times. In this paper, we develop a rigorous probabilistic framework for deriving a reduced Othmer-Aldridge model of the glycolytic pathway from its stochastic formulation. The full system is modeled as a multiscale continuous-time Markov chain with different time and abundance scales. Under an appropriate scaling regime and specific structural conditions, we prove that the dynamics of the slow components are approximated by a two-dimensional ODE. The proof is technically involved due to the network's complexity and strong coupling between its components. We further consider the problem of parameter estimation when observations are limited to the slow species: fructose-6-phosphate and ADP. The reduced system yields a tractable loss function depending solely on these variables. We prove that the resulting estimators are statistically consistent when the data originate from the full stochastic reaction network. Together, these results provide a mathematically rigorous framework linking stochastic biochemical reaction networks, reduced deterministic dynamics, and statistically reliable parameter estimation.

2026-03-20T02:40:13Z 33 pages, 2 figures Arnab Ganguly Hye-Won Kang http://arxiv.org/abs/2603.19528v1 2026-03-19T23:46:52Z

We show that any $L^2$-bounded rational function in free semicircular random variables is a bounded operator, which implies the coincidence of the usual spectrum and $L^2$-spectrum for rational functions. Based on this observation, we also compute the spectra of several polynomials in free circular random variables.

2026-03-19T23:46:52Z 22 pages and 4 figures Akihiro Miyagawa http://arxiv.org/abs/2603.19493v1 2026-03-19T21:44:37Z

We investigate the behaviour of five classical centrality measures--Jordan, rumor, betweenness, degree, and closeness centralities--in the setting of uniform random recursive trees. Motivated by applications in network archaeology, we focus on two fundamental questions: (i) the birth index (time of arrival) of the most central vertex, and (ii) the relative centrality of the root. We quantify the probability that the root is the most central vertex, analyze its expected rank under each centrality measure, and determine the expected birth index of a central vertex. In addition, we characterize the typical size of the set of top-ranked vertices that contains the root with high probability. Finally, for each centrality notion, we study the persistence properties of the center and the asymptotic behaviour of the root's rank.

2026-03-19T21:44:37Z Richard Coll Josifov Luc Devroye Gabor Lugosi http://arxiv.org/abs/2603.19463v1 2026-03-19T20:53:20Z

We develop deep learning-based approximation methods for fully nonlinear second-order PDEs on separable Hilbert spaces, such as HJB equations for infinite-dimensional control, by parameterizing solutions via Hilbert--Galerkin Neural Operators (HGNOs). We prove the first Universal Approximation Theorems (UATs) which are sufficiently powerful to address these problems, based on novel topologies for Hessian terms and corresponding novel continuity assumptions on the fully nonlinear operator. These topologies are non-sequential and non-metrizable, making the problem delicate. In particular, we prove UATs for functions on Hilbert spaces, together with their Fréchet derivatives up to second order, and for unbounded operators applied to the first derivative, ensuring that HGNOs are able to approximate all the PDE terms. For control problems, we further prove UATs for optimal feedback controls in terms of our approximating value function HGNO. We develop numerical training methods, which we call Deep Hilbert--Galerkin and Hilbert Actor-Critic (reinforcement learning) Methods, for these problems by minimizing the $L^2_μ(H)$-norm of the residual of the PDE on the whole Hilbert space, not just a projected PDE to finite dimensions. This is the first paper to propose such an approach. The models considered arise in many applied sciences, such as functional differential equations in physics and Kolmogorov and HJB PDEs related to controlled PDEs, SPDEs, path-dependent systems, partially observed stochastic systems, and mean-field SDEs. We numerically solve examples of Kolmogorov and HJB PDEs related to the optimal control of deterministic and stochastic heat and Burgers' equations, demonstrating the promise of our deep learning-based approach.

2026-03-19T20:53:20Z Samuel N. Cohen Filippo de Feo Jackson Hebner Justin Sirignano http://arxiv.org/abs/2603.19411v1 2026-03-19T19:08:09Z

Self-interacting jump processes (SIJPs) describe systems with non-Markovian stochastic dynamics in which transition rates depend on empirical observables of the process, which gives rise to long-range memory and feedback. We derive the ``level-2.5'' large deviation (LD) principle governing the joint fluctuations of empirical occupation measure and the flux matrix for a broad class of SIJPs with general functional dependence on an empirical observable. The derivation is based on an exponential tilting construction and reveals a separation between a faster timescale of the microscopic dynamics and a slower timescale of the memory-driven evolution of transition rates, which is expressed through an exponentially discounted LD rate functional. Using this variational framework, we derive kinetic and thermodynamic uncertainty relations that extend classical Markovian bounds to non-Markovian systems, and illustrate their performance with simple examples.

2026-03-19T19:08:09Z 19 pages, 5 figures Francesco Coghi Juan P. Garrahan http://arxiv.org/abs/2104.07431v3 2026-03-19T17:57:28Z

We show that several new classes of groups are measure strongly treeable. In particular, finitely generated groups admitting planar Cayley graphs, elementarily free groups, and the group of isometries of the hyperbolic plane and all its closed subgroups. This provides the first examples of one-ended nonamenable groups which are measure strongly treeable. In higher dimensions, we also prove a dichotomy that the fundamental group of a closed aspherical 3-manifold is either amenable or has strong ergodic dimension 2. Our main technical tool is a method for finding measurable treeings of Borel planar graphs by constructing one-ended spanning subforests in their planar dual. Our techniques for constructing one-ended spanning subforests also give a complete classification of the locally finite pmp graphs which admit Borel a.e. one-ended spanning subforests.

2021-04-15T13:03:03Z Various typos fixed. Small changes according to referees suggestions. 47 pages, 2 x 2 figures Clinton T. Conley Damien Gaboriau Andrew S. Marks Robin D. Tucker-Drob http://arxiv.org/abs/2603.19071v1 2026-03-19T15:58:36Z

We establish upper bounds for the weak and strong error resulting from a perturbation of the noise driving the stochastic Burgers equation, where we assume the noise to be additive and of trace class and the initial value to be sufficiently regular. More specifically, replacing the covariance operator of the driving noise $Q_1 \in \mathcal{L}_1(L^2)$ in the Burgers equation by a covariance operator $Q_2 \in \mathcal{L}_1(L^2)$ results in a weak error of $\mathcal{O}\big(\| (-A)^{-1^{-} } (Q_1-Q_2) \|_{\mathcal{L}_1(L^2)}\big)$ and a strong error of $\mathcal{O}\big(\big\| (-A)^{-1/2^{-}}\big|Q_1^{1/2} -Q_2^{1/2}\big| \big\|_{\mathcal{L}_2(L^2)}\big)$. Here $\|\cdot \|_{\mathcal{L}_1}$ is the trace class norm, $\|\cdot \|_{\mathcal{L}_2}$ is the Hilbert-Schmidt norm, and $A$ is the one-dimensional Dirichlet Laplacian that represents the leading term in the Burgers equation. In particular, our results provide upper bounds for the weak and strong error arising when approximating the trace class noise by finite-dimensional noise; the rates we obtain reflect the general philosophy that the weak convergence rate should be twice the strong rate.

2026-03-19T15:58:36Z Sonja Cox Matas Urbonas http://arxiv.org/abs/2510.20660v4 2026-03-19T15:40:18Z

In this paper, we prove that under the domination condition: \begin{equation*} {\cal{E}}^{-μ,-ν}[-ξ|{\cal{F}}_t]\leqρ_t(ξ)\leq{\cal{E}}^{μ,ν}[-ξ|{\cal{F}}_t],\quad \forallξ\in \mathcal{L}^{\exp}_T\ (\text{resp.}\ L^2(\mathcal{F}_T)),\ \forall t\in[0,T], \end{equation*} where ${\cal{E}}^{μ,ν}$ is the $g$-expectation with generator $μ|z|+ν|z|^2, μ\geq0, ν\geq0$, the dynamic convex (resp. coherent) risk measure $ρ$ admits a representation as a $g$-expectation, whose generator $g$ is convex (resp. sublinear) in the variable $z$ and has a quadratic (resp. linear) growth. As an application, we show that such dynamic convex (resp. coherent) risk measure $ρ$ admits a dual representation, where the penalty term (resp. the set of probability measures) is characterized by the corresponding generator $g$.

2025-10-23T15:33:42Z 29 pages. Remark 2.1 has been revised to correct a critical typo Shiqiu Zheng http://arxiv.org/abs/2603.19038v1 2026-03-19T15:37:13Z

We consider site (vertex) percolation on $d$-regular graphs, for both constant-degree and growing-degree cases. We give sufficient, and relatively tight, conditions for the emergence of the ``Erdős-Rényi component phenomenon" in the supercritical regime $p=\frac{1+ε}{d-1}$: namely, the appearance of a unique giant component of order $n/d$ in the percolated subgraph, with all other components being of size $O(\log n)$. Our main results apply both to the $d$-dimensional hypercube and to pseudo-random graphs, and resolve two open questions in these cases. We further discuss differences (and similarities) between bond (edge) percolation setting and site percolation setting.

2026-03-19T15:37:13Z Sahar Diskin Michael Krivelevich Itay Markbreit http://arxiv.org/abs/2603.19003v1 2026-03-19T15:06:25Z

Consider a finite graph $G=(V(G),E(G))$ and two continuous weight distributions $ω$ and $ξ$, for which we only assume that $ξ$ is lower bounded. Next, independently draw weights $(w(e))_{e \in E(G)}$ with distribution $ω$ on edges and $(x(v))_{v \in V(G)}$ with distribution $ξ$ on vertices. The ground state of the monomer-dimer model on the weighted graph $G$ is a collection of edges (dimers) and vertices (monomers) such that every vertex is included in at most one monomer or dimer, and such that the sum of weights on its dimers and monomers is maximised. Take $(G_n,o_n)_{n \in \mathbb{N}}$ to be a sequence of random rooted weighted graphs that converges locally to an independently weighted unimodular Bienaymé-Galton-Watson tree $(\mathbb{T},o)$ with vertex-weight distribution $ξ$ and edge-weight distribution $ω$ . By proving that the ground state of the monomer-dimer model on the tree $(\mathbb{T},o)$ is almost surely unique and locally approximable, we prove that the ground state of the monomer-dimer model on $(G_n,o_n)$ must converge locally to the ground state of the monomer-dimer model on $(\mathbb{T},o)$. This also implies a strong decorrelation property on monomer-dimer models on unimodular Bienaymé-Galton-Watson trees.

2026-03-19T15:06:25Z 17pages, 3 figures Mihyun Kang Mike Liu http://arxiv.org/abs/2412.15746v2 2026-03-19T14:59:56Z

We propose a method to bound the expectation of the supremum of the price process in stochastic volatility models. It can be applied, for example, to the rough Bergomi model, avoiding the need to discuss finiteness of higher moments. Our motivation stems from the theory of American option pricing, as an integrable supremum implies the existence of an optimal stopping time for any linearly bounded payoff. Moreover, we survey the literature on martingales with non-integrable supremum, and give a new construction that yields uniformly integrable martingales with this property.

2024-12-20T10:06:23Z Stefan Gerhold Julian Pachschwöll Johannes Ruf http://arxiv.org/abs/2603.18944v1 2026-03-19T14:19:13Z

We study numerical schemes for Stochastic Partial Differential Equations (SPDEs). We introduce a general method of proof of non-asymptotic uniform in time error bounds on numerical integrators for SPDEs, ensuring the schemes capture both the transient and the long term dynamics faithfully. We then consider SPDEs with non-globally Lipshitz nonlinearities, which include for example the stochastic Allen-Cahn equation and some stochastic advection-diffusion equations. For the case of Allen-Cahn type SPDEs we show that the classic semi-implicit Euler time-discretization can exhibit finite time blow up. This motivates analysing other schemes which do not suffer from this blow-up problem. We consider three numerical schemes for SPDEs with non globally Lipshitz nonlinearity: a fully implicit scheme and two tamed schemes. For these schemes we prove non-asymptotic uniform in time error bounds by leveraging our general criterion, and provide numerical comparisons. While the main emphasis in this paper is on the properties of the time-discretization, the schemes we consider are full space-time discretization of the SPDE.

2026-03-19T14:19:13Z 57 pages, 11 figures Can Huang Michela Ottobre Gideon Simpson http://arxiv.org/abs/2603.18937v1 2026-03-19T14:14:29Z

In classical information theory, both the form and performance of the optimal detector for additive noise channels can be precisely derived, based on the assumption that the channel noise follows a specific probability distribution or a mixture of known distributions, or that the exact distribution exists but is unknown. In this paper, we extend the analyses of detectors for additive noise channel to the situation where the probability model for analyzing channels is uncertain, utilizing nonlinear expectation theory. We consider two types of distribution uncertainties: one with no mean uncertainty but with variance uncertainty, and another with both mean and variance uncertainties. We derive the optimal detectors for binary input additive noise channel under the nonlinear expectation optimal criterion for both scenarios and provide their explicit forms. Our findings reveal that mean uncertainty significantly influences the form of the optimal detector, whereas variance uncertainty does not. Additionally, we propose an estimation method for the uncertain parameters of the channel noise. Finally, we present theoretical analyses and simulated performance results of the newly derived optimal detectors, and compare these results with the performance of optimal detector under classical information theory, which assumes a deterministic probability model. The results of experiments show that our new detection methods outperform conventional methods in most scenarios with uncertain probability models, showing the practical relevance of our theoretical contributions.

2026-03-19T14:14:29Z 24 pages, 4 figures Wen-Xuan Lang Guiying Yan Zhi-Ming Ma http://arxiv.org/abs/2511.21670v3 2026-03-19T14:03:12Z

We derive an intensity doubling feature of critical Brownian loop-soups on the cable-graphs of ${\mathbb Z}^d$ for $d \ge 7$ that can be described as follows: In the box $[-N, N]^d$ (and with a probability that goes to $1$ as $N$ goes to infinity), the set of all clusters of Brownian loops that do contain proper self-avoiding cycles of diameter comparable to $N$ can be decomposed into two identically distributed families: (a) The collection of clusters that do contain a large Brownian loop from the loop-soup (and therefore do automatically contain such a large cycle) (b) The collection of clusters that contain no macroscopic loop from the loop-soup (more specifically, no loop of diameter greater than $N^β$ when $β> 4/ (d-2)$ is fixed) but nevertheless contain a large cycle. In particular, due to the fact that these two families are asymptotically identically distributed, large cycles formed in case (b) by chains of small Brownian loops (i.e., all of diameter much smaller than $N$) will look like large Brownian loops themselves, and form a second independent "ghost" critical loop-soup in the scaling limit. Reformulated in terms of the Gaussian free field on such cable-graphs, this shows that large cycles in the collection of its sign clusters will converge in the scaling limit to a Brownian loop-soup with twice the usual critical intensity. This result had been conjectured by the first author in arXiv:2209.07901 [math.PR] ; our proof builds heavily on the second author's switching property for such loop-soups from arXiv:2502.06754 [math.PR] .

2025-11-26T18:50:19Z V3: Expanded introduction and very minor changes Titus Lupu Wendelin Werner