Probability · Cross-listed from math.ST
Exact finite-sample bias, variance, and MSE of normalized scale-invariant inequality indices under Gamma mixture models
Roberto Vila and Felipe Quintino
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
Mustafa Avci
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
Przemysław Rola
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
Yi Han
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
Leo Brunswic
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
Pierre Bizeul, Boaz Klartag and Joseph Lehec
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
Rama Cont and Purba Das
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
Abdulmajeed Alqasem, Heshan Aravinda and Arnaud Marsiglietti
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
Andrea Braides, Gianni Dal Maso and Claude Le Bris
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
Jiro Akahori, Riki Kitano, Norio Konno et al. (+1 more)
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
Léonard Ferdinand, Samaël Mackowiak and Aurélien Minguella
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
Mahmoud Khabou, Joanna Marks, Joshua Corneck et al. (+1 more)
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
Lu Chen, Nguyen Lam and Guozhen Lu
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
Nian Yao
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
Jianping Jiang and Sike Lang
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
Ngan Le and Huateng Zhu
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
Christian Kipp and Ádám Sagmeister
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
Jun Maeda
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
Meng Wang and Wangjun Yuan
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
Juan J. Jiménez
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
Thu Le-Anh and Tuan Phung-Duc
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
Yimin Zhong
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 ▾