Peer Revenue Publish or profit

Papers

Fresh from arXiv, typeset properly. Highlighted words trade on the market.

Mathematics Probability

math.PR Watch Probability (sign in to use)

Sunday 4 October

Probability · Cross-listed from math.ST

Exact finite-sample bias, variance, and MSE of normalized scale-invariant inequality indices under Gamma mixture models

We study the finite-sample properties of estimators of a broad class of normalized scale-invariant inequality indices (NSIIs) under finite Gamma mixture models. The class includes the Gini coefficient, the $m$th Gini index, the Extended $m$th Gini index, linear order-statistic inequality indices, and several entropy- and dispersion-based measures. Building on the Gamma–Dirichlet representation, we derive exact expressions for the expectation and finite-sample bias of the natural estimator of an NSII based on a $U$-statistic when the population follows a finite Gamma mixture with a common rate parameter. The resulting bias formula explicitly characterizes the effects of the mixture weights and component shape parameters. We also establish that the bias converges to zero as the sample size increases, yielding asymptotic unbiasedness. Furthermore, we derive exact finite-sample expressions for the variance and mean squared error of the estimator by accounting for the overlap structure among the subsets entering the $U$-statistic. In addition, we establish strong consistency and asymptotic normality. When the mixture degenerates to a single Gamma distribution, the finite-sample bias vanishes, recovering the exact unbiasedness result previously obtained for NSIIs under the Gamma model. Numerical illustrations and simulation studies are provided to investigate the finite-sample behavior of the estimator and to illustrate the theoretical findings. Overall, the proposed framework provides a unified characterization of finite-sample estimation under heterogeneous Gamma populations and quantifies the effects of mixture heterogeneity on bias, variance, and mean squared error.
Read the full abstract

Probability

Geometric and stochastic framework for a regularized $p(x)$-Laplacian

For a prescribed classical profile and a fixed positive regularization parameter, we construct an Itô diffusion whose interior generator reproduces the regularized $p(x)$-Laplacian when applied to that profile. We determine the exact tangent spectra of the unregularized and regularized fluxes, characterize their behavior at zero gradient, and establish quantitative ellipticity bounds on bounded gradient ranges. The full divergence expansion identifies a covariance equal to twice the gradient derivative of the regularized flux, evaluated at the profile gradient, and a logarithmic drift generated by spatial variation of the variable exponent $p(x)$. Under explicit classical regularity assumptions, we establish boundedness and local Lipschitz continuity of the coefficients and prove strong existence and pathwise uniqueness up to domain exit. We identify the interior generator of the boundary-stopped process and verify the profile-reproduction identity. Further consequences include initial-point stability for a fixed global extension, localized martingale identities, and Dynkin's formula at bounded stopping times. An explicit nonconstant exponent example illustrates the construction at a critical point, and the coefficient selection is shown to be canonical under the flux-based prescriptions rather than determined uniquely by profile reproduction alone.
Read the full abstract

Probability · Cross-listed from cs.LG

An equality condition for the Dobrushin bound on attention rollout and how often it holds in trained transformers

The Dobrushin coefficient of each attention-rollout factor satisfies $\kappa(\frac12(I+A))\le\frac12(1+\kappa(A))$, and multiplying these inequalities over layers bounds the coefficient of the whole rollout. We characterise exactly when the layerwise bound is tight: equality holds if and only if some token pair attaining $\kappa(A)$ is mutually self-dominant - each of the two attends to itself at least as strongly as the other attends to it. The condition is far from automatic: uniformly random stochastic matrices satisfy it only 24-30% of the time. When tested on the head-averaged attention of each individual input and restricted to content tokens - image patches, words or tabular features, excluding cls, register and separator tokens - the condition holds for essentially every input at every layer of DINOv2 (three model sizes), RoBERTa and DistilBERT. In the supervised models DeiT-B and ViT-B/16 it holds for 91% and 64% of input-layer pairs respectively, with all failures occurring late in depth. In FT-Transformer trained on two standard tabular benchmarks it holds for only 11-44% of input-layer pairs. The special tokens account for almost all failures in DINOv2 and the language models: when they are included, the condition holds for only 82-97% of input-layer pairs.
Read the full abstract

Probability

Large deviations of the spectral radius of iid subgaussian random matrices

We study large deviations of the spectral radius of $X_n=n^{-1/2}(\xi_{ij})_{i,j=1}^n$, where the entries are iid, centered, variance-one, and subgaussian, with zero pseudovariance in the complex case. We write $\rho(X_n)$ for its spectral radius, i.e. the largest modulus among its eigenvalues. For every fixed $r>1$, we prove $$ \liminf_{n\to\infty}\frac1n\log\mathbb{P}\{\rho(X_n)>r\} \ge -\frac\beta2\bigl(r^2-1-2\log r\bigr), $$ where $\beta=1$ for real entries and $\beta=2$ for complex entries. We prove a matching upper bound for real symmetric laws with Gaussian-dominated even moments and for complex laws satisfying the sharp Gaussian Laplace-transform bound. These classes include discrete distributions. In the complex sharp class, we also identify the exponential rate for an eigenvalue to enter a fixed disk outside the unit disk. We then turn to lower deviations and establish a quadratic-speed bound. Under the additional assumption that the entry law $\mu$ has a bounded density, we prove $$ \mathbb{P}\{\rho(X_n)\le r\}\le e^{-c_{\mu,r}n^2} $$ for every fixed $0<r<1$ and all sufficiently large $n$, where $c_{\mu,r}>0$. For the matching upper-tail classes with a bounded density, these bounds give a full speed-$n$ large deviation principle, with the displayed upper-tail rate for $r\ge1$ and infinite rate for $r<1$. The upper-tail proof uses a change of measure that preserves the entry support and creates an outlying eigenvalue. The lower-tail proof develops a weighted comparison for adaptive orthonormal observations and applies it to Arnoldi residuals.
Read the full abstract

Probability · Cross-listed from cs.LG

Universality and Convergence of Generative Flows

Generative flows sample from an unnormalized target by training a flow to be balanced, and the training loss is the signal a practitioner watches. We ask what that signal is worth: whether a small loss certifies an accurate sampler, whether the loss can be driven to zero, and how fast gradient descent does so. The loss decides the first. Losses that compare the two sides of the balance by their difference bound, in total variation, the error of the sampler the flow implies, with explicit constants that do not involve the policy; flow-matching losses that compare them through a ratio admit no such bound, already on a single cycle, whenever their generator is continuous at balance. On graphs, the backward policy decides the other two. Once it is frozen, balance becomes invariance under the backward chain, so that existence is free on finite graphs, and one constant — the norm of that chain's Green operator, which plays the role of an inverse spectral gap — fixes the order of the curvature of the loss around the balanced flow, from above and below, and sets a floor under the rate at which training converges near it. The mechanism is that gradient descent diffuses the flow along the backward policy. For the squared-logarithm generator of detailed and trajectory balance, training the balance loss on states converges globally on every finite path-connected graph, from every positive initialization. The constant can be infinite while backward trajectories are short on average, and exact flow matching can then fail. The bounds and rates are tested by exact computation on enumerable state spaces, and every theorem carries a certification status computed from a Lean~4 development.
Read the full abstract

Probability · Cross-listed from math.FA

Presenting a proof of the Kannan-Lovasz-Simonovits conjecture

Together with Bourgain's slicing problem and the variance conjecture, the Kannan-Lovász-Simonovits (KLS) conjecture has been a driving force for mathematical developments in high dimensional geometry in recent decades. We present here a proof of this conjecture. The crucial step in the proof is the very recent criterion from Song and Zhang involving high-order derivatives of tilt averages.
Read the full abstract

Probability · Cross-listed from math.ST

Measuring the roughness of a signal

We study the non-parametric estimation of the roughness of a path from discretely sampled observations. Our approach is based on the concept of normalized power variation of a path. The estimator identifies a variation index by comparing coarse increments with local sums of fine increments. We prove pathwise consistency under Hölder regularity, nondegenerate coarse critical power sums, uniform local bounds on fine critical power sums, and separation of the two sampling scales and obtain a convergence rate for the estimator. Neither convergence of critical variation nor monotonicity of the finite-sample statistic is required. The result applies to fractional Brownian motion under an explicit dyadic sampling rule and to Schauder series with bounded coefficients bounded away from zero. For signed Takagi–Landsberg functions we obtain a uniform asymptotic formula and a quantitative bound for every root of the estimating equation in a fixed parameter interval. We illustrate the results with numerical experiments for Takagi– Landsberg functions and fractional Brownian motion.
Read the full abstract

Probability

Majorization, Entropy and Concentration Inequalities for Discrete $\alpha$-Concave Random Variables

We establish a maximum-variance inequality for discrete $\alpha$-concave random variables in the regime $-1/3<\alpha<0$, extending corresponding results beyond the discrete log-concave setting. As applications, we obtain a reverse entropy power inequality and bounds for the Lévy concentration function. We further establish polynomial-type concentration inequalities, reflecting the heavy-tailed nature of the class. A main tool in our approach is a convex majorization principle that reduces the relevant extremal problems to suitable $\alpha$-affine distributions.
Read the full abstract

Probability · Cross-listed from math.AP

Homogenization of some viscous Hamilton–Jacobi equations using variational arguments on probability spaces

This work studies the asymptotic behavior of a class of viscous Hamilton–Jacobi equations with oscillatory periodic potentials, already studied by other authors in the PDE framework, and described in terms of an effective Hamiltonian. A novel variational approach is introduced, based on the classical stochastic control representation involving a Brownian motion, which allows the problem to be reformulated in terms of functionals defined on probability spaces. The core result is the identification of a homogenized Lagrangian obtained via a $\Gamma$-convergence procedure adapted to random processes, where filtrations and Brownian motions are treated as variables. The effective Hamiltonian is then recovered as the Legendre transform of this homogenized Lagrangian. The analysis provides both lower and upper bounds by means of blow-up arguments and the construction of stochastic correctors, yielding a complete characterization of the homogenized limit. This approach allows for a stability result with respect to the addition of some localized defects embedded in the periodic background.
Read the full abstract

Probability

Walk/Zeta correspondence for quantum walks on path graphs: a pre-geometric structure implied by a generalized reflection principle

We establish a local Konno-Sato correspondence for reflected random and Szegedy walks on a finite path graph. A generalized reflection principle, using explicit involutions rather than point reflections in the asymmetric case, yields exact zeta factorizations into a boundary factor and local factors indexed by the infinite dihedral group. After symmetrization, the classical and quantum local factors correspond for each group element. The identity contribution determines the normalized thermodynamic limits. In the symmetric case, diffusive and ballistic scalings recover the Gaussian Poisson summation formula and the Dirac comb identity, respectively. Under a double scaling of the asymmetry and spectral parameter, the quantum factorization yields a massive Dirac-type limit: nonidentity even words produce the periodic-orbit factor, the identity produces the free-field factor, and odd words together with the boundary produce a finite boundary correction.
Read the full abstract

All authors Jiro Akahori, Riki Kitano, Norio Konno, Iwao Sato

Probability

Stochastic PDE construction of some non-local or non-translation-invariant Anderson operators in the full subcritical regime

We construct Anderson-type operators in the full subcritical regime via a SPDE argument. Our work encompasses perturbations by a Gaussian noise of the fractional Laplacian on the torus or on the full space, and of the harmonic oscillator on the full space. In every case, we are able to derive an optimal estimate on the difference between the solution and the deterministic heat flow, which allows us to get a Weyl law for the fractional case on the torus and for the harmonic oscillator case, and so in the full subcritical regime. For the non-translation-invariant operator, the main novelty is that we develop a general argument in order to prove how to renormalise the operator with some constants. The SPDE argument uses the flow approach introduced by Duch. To construct the operators, we use the Hille-Yosida theorem for the fractional Laplacian on the torus and the harmonic oscillator, and the Klein-Landau theorem for the fractional Laplacian in the full space.
Read the full abstract

Probability · Cross-listed from math.ST

Poisson Autoregression on a Large Network with a Stochastic Block Model Structure

We consider multivariate Poisson autoregressive processes evolving on random networks generated by a Stochastic Block Model. This framework extends existing network Poisson autoregressions by incorporating latent community structure and allowing for non-Markovian dependence, both excitatory and inhibitory. We establish a mean-field approximation and prove that the finite system converges to its limit at the optimal rate $N^{-1/2}$ in the quenched setting with overwhelming probability, both on average and in uniform norm. Our analysis yields quantitative error bounds that are explicit in the time horizon and, under suitable stability conditions, remain polynomial or uniform in time, thereby avoiding the exponential growth typically associated with Grönwall-type arguments. As a consequence, the mean-field approximation is shown to hold uniformly over any time horizon. We further demonstrate how the approximation can be exploited to reduce the computational complexity of parametric inference from $\mathcal{O}(N^2T^2)$ to $\mathcal{O}(NT^2)$. The results provide a theoretical foundation for the analysis and inference of count-valued processes on large random networks with community structure.
Read the full abstract

All authors Mahmoud Khabou, Joanna Marks, Joshua Corneck, Edward A. K. Cohen

Probability · Cross-listed from math.AP

Sharp uniform stability of the logarithmic Sobolev inequality on finite cycles and stability of the cubic Sobolev inequality

We determine the sharp uniform constant in the quartic stability estimate for the logarithmic Sobolev inequality on finite cycles. We equip $C_{n}=\mathbb{Z}/n\mathbb{Z}$ with the uniform probability measure, and we let $\mathcal{E}_{n}$ be the Dirichlet form of the simple random walk on $C_{n}$, normalized so that its spectral gap is one. Frank and Ivanisvili recently proved the sharp logarithmic Sobolev inequality $2\mathcal{E}_{n}(u)\geq \mathrm{Ent}(u^{2})$ for all $n\geq 4$. We prove that $2\mathcal{E}_{n}(u)-\mathrm{Ent}(u^{2})\geq \frac{1}{3}\Vert u-1\Vert _{2}^{4}$ for all $n\geq 4$ and all nonnegative $u$ with $\Vert u\Vert _{2}=1$. This is the sharp form, uniformly in $n$, of the quartic stability estimate of Xie and Zhang, who obtained the constant $\frac{1}{12}$. The same estimate holds on the circle and for the word-length energy on $C_{n}$. Among these models, the four-cycle is the only extremal one: on $C_{4}$ the constant $\frac{1}{3}$ is sharp but not attained, while on $C_{n}$ with $n\geq 5$ and on the circle the sharp constant is at least $\frac{1}{3}+c$, where $c>0$ does not depend on $n$. We also give explicit upper bounds for these sharp constants. Our second main result is a stability estimate for the cubic Sobolev inequality of Frank and Ivanisvili, which is the main step in their proof. It gives the quantitative version of this inequality expected by Frank and Ivanisvili, with the optimal powers of $\Vert u-1\Vert _{2}$: four on $C_{n}$ with $n\geq 5$ and on the circle, and six on $C_{4}$. Two key new ingredients of the proofs are a bound for the first Fourier coefficient of $u$ in terms of its mean, which holds because $u$ is nonnegative, and a sharp stability estimate for Gross's two-point logarithmic Sobolev inequality, with sharp constants in both the fourth and the sixth powers of the distance.
Read the full abstract

Probability

Moderate Deviations for Random-Indexed Cluster Counts in Hierarchical Pitman-Yor Models

Consider a sample of size $N$ from a two-layer hierarchical Pitman–Yor model, and let $\xi(N)$ denote the random number of clusters generated at the first layer of the hierarchy. We study moderate deviation principles for partition statistics evaluated at the random sample size $\xi(N)$. In particular, we establish moderate deviation principles for the total number of clusters $K_{\xi(N)}$ and for the frequency count $M_{l,\xi(N)}$, the number of upper-level clusters represented by exactly $l$ first-level clusters. Our analysis combines fixed-sample-size small-tilt asymptotics with a moderate deviation principle for the random index $\xi(N)$. A uniform small-tilt argument, together with exponentially weighted tail estimates, allows us to pass from deterministic sample sizes to the hierarchical random-index setting. We obtain explicit deviation speeds and good rate functions on a family of intermediate scales between the typical growth order $N^{\alpha_1\alpha_2}$ and the linear scale $N$. The resulting rate functions exhibit a common power-law structure governed by the product $\alpha_1\alpha_2$, revealing a multiplicative effect of the two levels of the hierarchy.
Read the full abstract

Probability

Phase transition in the antiferromagnetic Ising model with external field

Consider the nearest-neighbor antiferromagnetic Ising model on $\mathbb{Z}^d$, $d\ge2$, at inverse temperature $\beta$ and in a uniform external field $h$. Let $\beta_c(d)$ be the critical inverse temperature of the zero-field Ising model. We prove that for every $\beta>\beta_c(d)$, the Gibbs state is not unique whenever $|h|$ is sufficiently small. This extends a previous result of Dobrushin (1968) from sufficiently large $\beta$ to every $\beta>\beta_c(d)$.
Read the full abstract

Probability · Cross-listed from math.NA

Convergence and error analysis for numerical approximations of stochastic Leray-Lions equations

We analyse a divergence form stochastic differential equation featuring a Leray-Lions flux function that satisfies standard Carathéodory, growth, monotonicity, and coercivity conditions. We consider two types of noise: multiplicative Lipschitz continuous noise and a transport noise. Our approach utilises the gradient discretisation method, a generic framework encompassing various numerical schemes such as conforming and nonconforming finite element methods, hybrid mimetic mixed methods, and hybrid high order methods. For both types of noise, we propose a stable generic scheme, prove that scheme solutions converge to a strong solution in the probabilistic sense. For the multiplicative Lipschitz continuous noise, we establish the rate of convergence.
Read the full abstract

Probability · Cross-listed from math.MG

Random convergence of generalized Steiner processes

It is well-known that a random Steiner process converges almost surely to a Euclidean ball. On the other hand, as we show in this article, a planar random shaking process converges almost surely to a triangle (in the Banach-Mazur distance). Asking whether these phenomena are generic or exceptional, we study random iterations of an operation called $\lambda$-Steiner symmetrization, which includes Steiner symmetrization and shaking as special cases. We establish abstract criteria for almost sure convergence and divergence of such processes, obtaining criteria for many other symmetrization operations from convex geometry as a byproduct. Based on a joint characterization of ellipses and triangles, we give a full resolution to our question in the planar case.
Read the full abstract

Probability · Cross-listed from q-fin.MF

Buying at Support: The Entry Problem under Multi-Skew Brownian Motion

We study when to buy a share that will later be sold optimally, when the price follows a geometric multi-skew Brownian motion whose skew levels model support and resistance. The reward for buying is the exit premium of the liquidation problem solved in a companion paper. This premium is strictly $r$-subharmonic inside the exit continuation region, so buying is optimal only at levels where the price is pushed upward, and the entry problem reduces to a finite one whose value is an upper concave hull of finitely many points. With one support and one resistance, the optimal rule is to buy exactly at the support, in every exit regime, with an explicit value.
Read the full abstract

Probability

Central limit theorems for stochastic heat equation driven by Gaussian noise with heat-kernel covariance

In this article, we study the spatial fluctuations of the Skorohod solution to a stochastic heat equation on $\mathbb R^d$ for $d<4$, driven by multiplicative Gaussian noise with the non-separable covariance kernel $p_{|t-s|}(x-y)$. We prove that the solution is strictly stationary and spatially ergodic at every fixed time. For the centered spatial integral $F_R(t)=\int_{\{|x|<R\}}(u(t,x)-1)dx,$ we show that $\mathbb E[F_R(t)F_R(s)]\sim K(t,s)R^d$ as $R\to\infty$. Using moment estimates for the first two Malliavin derivatives and a second-order Gaussian Poincaré inequality, we establish a quantitative central limit theorem in total variation distance with rate $R^{-d/2}$. We also prove a functional central limit theorem for the process $\{R^{-d/2}F_R(t)\}_{t\geq0}$.
Read the full abstract

Probability

Stochastic heat equations with non-Lipschitz coefficients driven by symmetric $\alpha$-stable Lévy white noise

We study the stochastic heat equation on a bounded interval with zero Dirichlet boundary conditions, driven by symmetric $\alpha$-stable space–time Lévy white noise, where $1<\alpha<2$. Both the drift and noise coefficients are continuous and have at most linear growth. For bounded deterministic initial data and every $r>1/2$, we construct a weak solution with càdlàg paths in the negative Sobolev space $\mathbb{H}_{-r}$. We also construct a predictable mild solution on the same stochastic basis and with the same noise. At each fixed deterministic time, this mild solution is a density of the distribution-valued weak solution.
Read the full abstract

Probability · Cross-listed from cs.PF

Energy-performance tradeoffs in server farms with batch services and setup times

Data centers consume a large amount of energy, much of which is wasted due to idle servers. Turning off idle servers might be an effective power-saving solution; however, there is a trade-off between energy savings and system performance. Hence, we propose a setup queueing model with a batching policy that allows servers to process a set of jobs simultaneously to minimize power consumption while maintaining acceptable performance. We consider an M/M/c/SET–BATCH queue, a multi-server batch service queue with a fixed batch size and setup times, and some variants, including systems in which idle servers delay before turning off or systems in which the batch size is dynamic. We analyze the steady-state probabilities and system performance of the M/M/c/SET–BATCH system and its variants. Our analysis of the M/M/c/SET–BATCH system with lower computational complexity is made possible by utilizing the special structure of the model. In addition, we use simulations to compare the M/M/c/SET–BATCH model with some other variants with different setup time distributions. The results suggest that the model performs better when the setup time has a larger coefficient of variation. Our results indicate that the batching policy enhances the system performance, especially when we allow servers to be idle before turning them off.
Read the full abstract

Probability

When the noncommutative AM-GM inequality holds

In this note, we prove that the noncommutative AM-GM inequality holds if $n\ge 2\lceil m/2 \rceil^2$. The motivation comes from counterexamples constructed in [De Sa, Random reshuffling is not always better, NeurIPS2020]. The proof constructs a vertex measure based on the Chebyshev nodes on the Boolean cube to extract the distinct indices. The main difficulty is that the measure is not positive on non-integer nodes. The key technique comes from [Grigoriev, Complexity of Positivstellensatz proofs for the knapsack, Computational Complexity (2001)] and eventually transforms the problem into a quadrature estimate.
Read the full abstract

Saturday 3 October

Probability

A subquadratic upper bound for the mixing time of the Thorp shuffle

Let $n=2^d$. We prove that the worst-start total-variation mixing time of the full labelled Thorp shuffle satisfies, for every fixed $0<\varepsilon<1$, \[ t_{\mathrm{mix}}(\varepsilon) \le C_* d^{5/3}+O_\varepsilon\!\left(d^{4/3}\log(d+2)\right), \qquad C_*=5.1536951454\ldots . \] Time is measured in ordinary Thorp shuffles. This improves the previously published full-deck upper bound $O(d^3)$ of Morris. The geometric starting point is elementary: label the $n=2^d$ positions by binary strings. One physical Thorp shuffle is a random swap layer on one coordinate matching of the $d$-dimensional cube, followed by a deterministic cyclic rotation of the coordinates. In a rotating frame that deterministic rotation disappears, so $d$ successive physical shuffles become one sweep: one independent random swap layer in each coordinate direction. The proof then combines five ingredients. First, a collision-graph representation and negative dependence give pointwise smoothing for ordered marked cards. Second, an entropy argument is sharpened by moving an endpoint moment up to the critical exponent $\beta_c=\log_2(3/2)$, yielding an entropy-preparation clock $s^2/(2\log(3/2))+O(s\log s)$. Third, exact multiplicities in the ordered $h$-tuple permutation representation amplify marked-card bounds into Fourier operator and energy estimates on low representation levels. Fourth, entropy truncation produces a positive mixture whose regular component retains the marked-card budget. Finally, only two long blocks need this entropy regularization: a shorter third block is used solely for additional low-level smoothing. Optimizing the three block lengths gives the constant above.
Read the full abstract

Probability · Cross-listed from math.CA

Equilibria of Inverse-Square Repulsion on the Line Are Arithmetic Progressions

Benjamini asked whether every configuration of points on the real line that is in equilibrium under the inverse-square repulsive force must be an arithmetic progression. Georgakopoulos and Kolountzakis proved this when some gap between consecutive points has maximal or minimal length, and described the general (aperiodic) case as open. We show that the answer is yes. More generally, let $1<s\le2$, and let $X\subset\mathbb{R}$ be a locally finite set with at least two points such that, for every $x\in X$, the total force $\sum_{y\in X\setminus\{x\}}|y-x|^{-s}$ is finite and the net force $\sum_{y\in X\setminus\{x\}}\operatorname{sgn}(y-x)\,|y-x|^{-s}$ is zero. Then $X$ is an arithmetic progression. No a priori assumption on the gaps is needed. Subtracting the equilibrium equations of two consecutive points shows that the gaps $g_n$ form a positive harmonic function for an explicit reversible random walk on $\mathbb{Z}$ with long-range jumps. Equilibrium also bounds the ratio of consecutive gaps, by $1.5386\ldots$ when $s=2$. With this bound, an energy estimate shows that the Doob transform of the walk by $g$ is recurrent. Since $1/g$ is a positive harmonic function of the transformed walk, it is constant.
Read the full abstract

Probability

Uniform Bessel bounds for magnetization crossings in finite Ising chains

In a finite zero-field Ising chain, the all-up configuration and zero magnetization become equally likely at a single coupling. This crossing has recently been described as a thermal transition of the finite chain, an analogue of a first-order transition temperature, and approximated by an analytic estimate and a numerical fit. We find its asymptotics, with explicit constants, for free and for periodic ends. The coupling at the crossing grows like half the logarithm of the length of the chain, minus half the logarithm of that logarithm. So the correlation length at the crossing is a vanishing fraction of the chain. Periodic ends lower the coupling at the crossing by an amount that decays like the inverse logarithm of the length. The earlier approximations lack the doubly logarithmic term, which explains why a fit on chains of moderate length finds a slope below one half. The proofs treat the magnetization as the position of a persistent random walk and compare its central probability with a modified Bessel function, with a relative error bound that is explicit for every length. For free ends this traps the crossing in an explicit interval at every length. The proof is analytic for long chains and uses exact integer arithmetic for short ones. We also locate, for each smaller magnetization, the coupling at which it becomes as likely as full magnetization.
Read the full abstract

2610.06935 · 3 Oct · 29 pages, 5 figures. v2: recast for the zero-field Ising chain, with the coupling at the crossing for free and periodic ends (Corollary 5.4, Table 3, Figure 5). Code, certificates and Lean proofs at https://github.com/apemm/Kagey-Problems (tag paperA-arxiv-v2)

Probability · Cross-listed from stat.CO

Efficient Mass Matrix Estimation with Gaussian Cooling

We introduce an algorithm for efficiently preconditioning log-concave and log-smooth distributions that scales logarithmically with the condition number of the underlying distribution. Based on Gaussian cooling, our multistage method approximately samples from a sequence of well-conditioned distributions to construct a preconditioner for each subsequent stage of the cooling schedule. This method is motivated by existing practical approaches for mass matrix estimation in Markov chain Monte Carlo (MCMC), in which an effective preconditioner for the target distribution is estimated from samples produced during a warm-up period. However, our approach is conceptually distinct from existing approaches and moreover permits theoretical analysis. Our algorithmic framework is flexible, allowing essentially any log-concave sampling algorithm to act as the subroutine within each cooling stage. For instance, using first-order rejection sampling (FORS) as the sampler, the first-order query complexity of our method is $\tilde{O}(d^{4/3} \log \kappa)$ for a large class of log-concave and log-smooth distributions with condition number $\kappa$ and $\tilde{O}(d^{1/3} \log \kappa)$ for translation-invariant distributions. In the translation-invariant setting, we provide numerical experiments for the lattice $\phi^4$ model, a simple lattice field theory.
Read the full abstract

Probability

The constant speed random walk on dynamical conductances

In this paper we study the constant speed, biased random walk in dynamical random conductances. In certain regimes of the parameters of the model, we prove that the random walk is ballistic. We show annealed and quenched CLT in the full parameter range. Furthermore, as a consequence of the non-reversible nature of this model, we show that the classical Einstein relation does not hold.
Read the full abstract

Probability

Exact temporal variations and parameter estimation for space–time fractional stochastic heat equations driven by multiplicative noise

We establish exact limits for the normalized temporal power variations of every fixed real order \(\gamma\geq2\) for the mild solution to a one-dimensional space–time fractional stochastic heat equation driven by multiplicative space–time white noise. The results include the exact normalized quadratic variation and the critical power variation of order \(2\alpha/(\alpha-\beta)\) as special cases. We also obtain the corresponding spatially averaged temporal variations. As applications, we construct consistent estimators for the drift parameter and for the ratio \(\beta/\alpha\).
Read the full abstract

Probability

Optimal Gaussian approximation for complex Wiener-Itô integrals

We study density regularity and optimal Gaussian approximation for complex multiple Wiener-Itô integrals. We first give a kernel criterion for absolute continuity and derive explicit formulas for the density and its derivatives, together with finite-order Sobolev estimates. Our main quantitative result shows that the sum of an intrinsic non-Gaussian term and the covariance mismatch gives the optimal rate simultaneously in every fixed Sobolev norm and in total variation, Kolmogorov and $1$-Wasserstein distances. The intrinsic term is determined by two complex third-order moments and the complex fourth-moment defect, and is equivalently described by complex kernel contractions. No additional Malliavin non-degeneracy assumption is imposed in these asymptotic results. As an application, we obtain explicit optimal rates for the normalized numerator in the least-squares estimator of a complex fractional Ornstein–Uhlenbeck process.
Read the full abstract

Probability

The broadcast voter model: Stationary measures

The classical voter model is dual to coalescing random walks, in much the same way that the Kingman coalescent describes genealogies through binary mergers. Motivated by the passage from the Kingman to the~\(\Lambda\)-coalescent, where multiple mergers are allowed, we introduce the~\(\Lambda\)-broadcast voter model, in which a voter may transmit its opinion simultaneously to several neighbors according to a mechanism governed by a finite measure~\(\Lambda\) on~\([0,1]\); the classical voter model is recovered when~\(\Lambda=\delta_0\). We show that our model is well-defined on general graphs with bounded degrees, and we construct a family of stationary measures~\({\mu_{\alpha,\Lambda}}\), parametrized by bounded harmonic functions, that characterize the extremal stationary measures according to the finite or infinite collision property of the underlying random walk. We then study the dependence of the stationary measures on the broadcasting measure $\Lambda$ through a finite number of its moments. We give general conditions under which different moment profiles yield different stationary measures and obtain, in particular, a complete characterization on trees with bounded degrees and on nearest-neighbour~\(\mathbb Z^d\),~\(d\ge3\). We also prove continuity of the stationary measures with respect to the moment profile. Our main tool is a dual system of coordinated coalescing random walks, whose individual particles are simple random walks but which may jump and coalesce simultaneously; a coupling with independent random walks allows us to relate their long-time behaviour to ordinary random walk collision properties.
Read the full abstract