Adapted Wasserstein Barycenters of Gaussian Processes

2026-07-16T15:12:43Z

We study barycenters of filtered Gaussian processes in adapted Wasserstein space. The adapted Wasserstein distance refines classical optimal transport by requiring transport plans to respect the temporal flow of information, making it the natural metric for stochastic systems with filtration constraints, as in stochastic control, mathematical finance, and sequential decision problems. We prove that the \emph{unrestricted} barycenter problem for weighted Fréchet means of filtered Gaussian inputs admits a solution with Gaussian underlying law, representable as an enlarged filtered Gaussian process but not necessarily as an ordinary one. The problem decomposes into finitely many classical Bures--Wasserstein barycenter problems for the covariance contributions of the successive innovations. We then treat the \emph{restricted} problem, in which the barycenter is required to be an ordinary filtered Gaussian process, giving a rank and common-noise criterion for when the two problems agree, sufficient conditions for uniqueness, and first order optimality and regularity results. Under a martingale constraint we obtain an explicit solution via martingale projection and Bures--Wasserstein barycenters of the Gaussian increments. Beyond their intrinsic theoretical interest, our results provide a principled way to build representative models from collections of Gaussian stochastic systems, with applications to stochastic optimization, robust finance, and sequential statistical analysis.

Strongly convergent matrix models for $q$-Gaussian algebras

2026-07-16T15:11:00Z

We construct strongly convergent finite-dimensional random matrix models for finite $q$-Gaussian family in the range $\vert q \vert < \sqrt{2}-1$. The construction has two stages. First, we show that normalized sums of graph-product semicirculars over an Erdos-Renyi graph satisfy the $q$-Toeplitz relations up to an operator norm error converging to zero in probability. Using ultraproduct methods, this yields complete strong convergence, uniformly over all matrix coefficient dimensions, for noncommutative polynomials with bounded degree. Second, we use a quantitative tensor-GUE for graph-product semicirculars to convert these operator models into finite-dimensional random matrices. For every fixed polynomial degree, the convergence is uniform over coefficient dimensions that may be larger than the dimension of the random matrices. As applications, in the above range of $q$, the C$^\ast$-algebra generated by a finite $q$-Gaussian family is MF, and the Brown-Douglas-Fillmore extension semigroup of the nontrivial C$^\ast$-algebra generated by a finite $q$-Gaussian family is not a group.

Existence and convergence of discrete-time Kyle models with multiple insiders

2026-07-16T14:32:13Z

We extend the limited participation model in Basak and Cuoco (1998) to allow for traders with different time-preference coefficients but identical constant relative risk-aversion coefficients. Our main result gives parameter restrictions which ensure the existence of a Radner equilibrium. As an application, we give further parameter restrictions which ensure all traders survive in the long run.

Towards realistic large random models of labeled transition systems and their 0-1 laws

2026-07-16T14:13:19Z

Model checking is the automated verification of properties (specified in some modal logic) in labeled transition systems (LTSs); it is an essential tool in ensuring software systems function as intended. State spaces of software grow exponentially, and heuristics are needed to ensure model checking remains feasible in real-world applications. Heuristics, in turn, require a good understanding on the typical behaviour of LTSs. In this paper, we use random graph theory to create a probabilistic model of large LTSs. From a theoretical analysis of the creation of large LTSs, backed by empirical data from the Model Checking Contest, we endow these models with realistic parameter values. Then, we analyze the asymptotic behaviour of this model under LTL and CTL, two modal logics popular in model checking. We show that, depending on the precise model, as the size grows to infinity we either have a convergence law (for every formula, the probability that it holds converges to a limit) or a 0-1 law (...and this limit is 0 or 1). We also discuss the theoretical complexity of determining these limits, and give algorithms for doing so. These results are the starting point towards a deep theoretical understanding of typical LTS behaviour, and highlight the promising applicability of random graph theory to model checking. \keywords{Model checking \and Random graphs \and 0-1 laws

The ergodicity of nonlinear McKean-Vlasov stochastic differential equations with common noise

2026-07-16T14:02:32Z

This paper focuses on the ergodicity of McKean-Vlasov (MV) stochastic differential equations (SDEs) with common noise (wCN), where coefficients depend on both the state and the measure. A major challenge in this setting is that the underlying Markov operator loses the semigroup property, precluding standard ergodic analyses. To circumvent this issue, we lift the system by considering the joint flow of the solution and its conditional distribution. We first construct a semigroup associated with the measure pair of the solution and its conditional distribution. Under polynomial growth conditions, we prove the existence and uniqueness of the invariant measure for the lifted system by a coupling method and obtain an explicit exponential convergence rate. We subsequently derive the strong law of large numbers by a decoupling approach. Building on these results, we establish the uniform-in-time propagation of chaos for the associated mean-field interacting particle system. Furthermore, we establish the convergence of the distribution of a single particle and the empirical measure of the particle system to the marginals of the invariant measure. Finally, illustrative examples are provided to verify the theoretical findings.

Gluing methods for quantitative stability of optimal transport maps

2026-07-16T13:51:55Z

We establish quantitative stability bounds for the quadratic optimal transport map $T_μ$ between a fixed probability density $ρ$ and a probability measure $μ$ on $\mathbb{R}^d$. Under general assumptions on $ρ$, we prove that the map $μ\mapsto T_μ$ is bi-Hölder continuous, with dimension-free Hölder exponents. The linearized optimal transport metric $W_{2,ρ}(μ,ν)=\|T_μ-T_ν\|_{L^2(ρ)}$ is therefore bi-Hölder equivalent to the $2$-Wasserstein distance, which justifies its use in applications. We show this property in the following cases: (i) for any log-concave density $ρ$ with full support in $\mathbb{R}^d$, and any log-bounded perturbation thereof; (ii) for $ρ$ bounded away from $0$ and $+\infty$ on a John domain (e.g., on a bounded Lipschitz domain), while the only previously known result of this type assumed convexity of the domain; (iii) for some important families of probability densities on bounded domains which decay or blow-up polynomially near the boundary. Concerning the sharpness of point (ii), we also provide examples of non-John domains for which the Brenier potentials do not satisfy any Hölder stability estimate. Our proofs rely on local variance inequalities for the Brenier potentials in small convex subsets of the support of $ρ$, which are glued together to deduce a global variance inequality. This gluing argument is based on two different strategies of independent interest: one of them leverages the properties of the Whitney decomposition in bounded domains, the other one relies on spectral graph theory.

Sharp phase transition for percolation with short-range dependencies

2026-07-16T13:44:35Z

We show sharpness of the phase transition for a nearest-neighbour percolation model on $\mathbb Z^d$, where vertices carry independent types and the percolation probability of edges depends on the type of the adjacent vertices. Our proof uses the OSSS inequality and adapts to our setup the method developed in Duminil-Copin et al. (2017) for the random cluster model. Additionally, we provide a more extensive study of the special case of combined Bernoulli bond and site percolation featuring a phase transition with two parameters.

Computing Barycentres of Measures for Generic Transport Costs

2026-07-16T13:44:20Z

Wasserstein barycentres represent average distributions between multiple probability measures for the Wasserstein distance. The numerical computation of Wasserstein barycentres is notoriously challenging. A common approach is to use Sinkhorn iterations, where an entropic regularisation term is introduced to make the problem more manageable. Another approach involves using fixed-point methods, akin to those employed for computing Fréchet means on manifolds. The convergence of such methods for 2-Wasserstein barycentres, specifically with a quadratic cost function and absolutely continuous measures, was studied by Alvarez-Esteban et al. (2016). In this paper, we delve into the main ideas behind this fixed-point method and explore how it can be generalised to accommodate more diverse transport costs and generic probability measures, thereby extending its applicability to a broader range of problems. We show convergence results for this approach and illustrate its numerical behaviour on several barycentre problems.

Time-changed Markov processes and space-time coupled non-local equations

2026-07-16T13:28:32Z

In this paper we study coupled fully non-local equations, where a linear non-local operator jointly acts on the time and space variables. We establish existence and uniqueness of the solution. A maximum principle is proved and used to derive uniqueness. Existence is established by providing a stochastic representation based on anomalous processes constructed as a time change via the undershooting of an independent subordinator. This leads to general non-stepped processes with intervals of constancy representing a sticky or trapping effect. Our theory allows these intervals to be dependent on the immediately subsequent jump. These processes include scaling limit of suitable coupled continuous time random walks previously studied in applications, in particular in the context of anomalous diffusion and option pricing. Here we exploit our general theory to obtain a non-local analog of the Black and Scholes equation, addressing the problem of determining the seasoned price of a derivative security, in case the price fluctuations are described by a process whose jumps are dependent on the previous interval.

Seasonal Statistics of Shannon Rate in a Dynamical Poisson-Voronoi Cellular Network

2026-07-16T13:16:40Z

In this work we consider a dynamical cellular communication network in which mobile base stations (BSs) are modeled as a homogeneous Poisson point process on $\mathbb{R}^2$. Each base station moves at a constant speed in a random direction. A typical user connects to the nearest base station and it experiences variable signal and interference powers depending on the distance of all the stations. Along the motion of the stations, the user swaps its serving station, and such an event is called a {\em handover}. We are interested in the performance evaluation of the system under some classical and tropical metrics of interest at different time of events, inducing handovers, maximal proximity of serving station, nearest interferer at closest or farthest distance with respect to the user or at any typical time epoch. The main results of the paper are closed or integral form expressions for the basic metrics of interest, in particular coverage probability and Shannon rate at these epochs. We can make an analogy with ``seasons'' based on the fluctuations of signal and interference power. Strong or mild signal or interference power correspond to different seasons of Shannon rate along the evolution of the system. We also provide a complete comparison study of the metrics at interest at these epochs.

Graph alignment in sparse inhomogeneous models via self-overlap

2026-07-16T12:57:28Z

We develop a general framework for understanding when graph alignment is information-theoretically feasible in sparse inhomogeneous random graph models, by studying the set of vertices on which the underlying matching can be recovered. Our main theorem gives a general lower bound on this set by leveraging the balanced load function introduced by Hajek (1990). The corresponding obstruction is captured by a new graph parameter, the self-overlap, which measures the extent to which a graph can imitate itself under a non-trivial relabelling. We then show that this criterion is sharp in a broad class of sparse inhomogeneous models, recovering known Erdős--Rényi phenomena and yielding sharp thresholds for Chung--Lu graphs and stochastic block models.

Causal Inference for Sequential Settings under Interference and Latent Confounding

2026-07-16T12:51:45Z

We study causal inference under outcome interference for sequential, observational settings. Specifically, we consider settings where the binary outcomes over N units are Markovian across T time steps. At each time step, the outcomes of N units have dependencies captured through an Ising model; each outcome is also impacted through an external field capturing the effects of its treatment as well as latent confounders. Similar to panel data literature, these latent confounders are modeled to have a low-rank factor structure. Our data is a single sample from this high-dimensional distribution. To estimate causal quantities of interest, we provide a computationally efficient method based on Maximum Pseudo-Likelihood Estimation (MPLE) for learning the model parameters. Under mild assumptions, we establish non-asymptotic consistency for parameter estimation and show this translates to faithful estimation of causal quantities of interest after sampling from the learned model. We demonstrate the efficacy of the method through synthetic experiments as well as a real-world case-study investigating causal effects of vaccine rates on COVID-19 death rates within US counties nationwide.

A functional law of large numbers for a spatial model of Muller's ratchet

2026-07-16T12:30:57Z

The spatial Muller's ratchet is a model introduced by Foutel-Rodier and Etheridge to study the impact of cooperation and competition on the fitness of an expanding asexual population. The model is an interacting particle system consisting of particles performing symmetric random walks that reproduce and die with rates that depend on the local number of particles. For each particle, we keep track of the number of deleterious mutations that it carries, and after each birth event, with some positive probability, the offspring particle can acquire an additional mutation that gives it a lower reproduction rate than its parent. We show that, under an appropriate scaling, the process converges weakly to the solution of an infinite system of partial differential equations (PDEs), confirming non-rigorous computations of Foutel-Rodier and Etheridge. Combining the weak convergence with analytical results for the limiting PDE system, we derive quantitative lower and upper bounds on the proportion of particles with mutations that hold with high probability for the particle system. A key obstacle is the absence of uniform bounds on the number of particles per site, together with the presence of infinitely many types of particle and the nonlinear interactions. To address this, we establish a new tightness criterion for interacting particle systems in general Lp spaces based only on local properties of the dynamics.

Finite-Dimensional Feedback Stabilization of Nonautonomous Stochastic Parabolic Equations

2026-07-16T12:29:18Z

We investigate finite-dimensional feedback stabilization for nonlinear nonautonomous stochastic parabolic equations driven by $Q$-Wiener, covering both additive and multiplicative perturbations. The control is given by a finite linear combination of localized indicator-type actuators whose supports are selected as part of the construction and may have arbitrarily small total measure. The feedback law is constructed by means of oblique projections onto suitable finite-dimensional subspaces. Within the variational Gelfand triple framework, we prove well-posedness of the closed-loop system under standard coercivity, growth, and global Lipschitz assumptions. By appropriately choosing the actuator configuration and feedback strength, we establish exponential mean-square stabilization of the stochastic dynamics and, for pure multiplicative noise, almost-sure stabilization. A fully discrete three-layer implementation complements the theoretical results. Numerical experiments illustrate the influence of number of actuators, noise intensity, and nonlinear effects on the closed-loop stabilization behavior.

Rank deficiency of Bernoulli random matrices for growing corank

2026-07-16T11:48:11Z

Let A be an n x n Bernoulli random matrix whose entries are i.i.d. Bernoulli(p) random variables. In this paper, we determine the probability that the corank of A is at least k when k is of order o(sqrt(log n)): P(corank A >= k) = (1-p+o_n(1))^(kn).