On spectral gap decomposition for Markov chains

2026-09-10T17:54:08Z

Multiple works regarding convergence analysis of Markov chains have led to spectral gap decomposition formulas of the form \[ \mathrm{Gap}(S) \geq c_0 \left[\inf_z \mathrm{Gap}(Q_z)\right] \mathrm{Gap}(\bar{S}), \] where $c_0$ is a constant, $\mathrm{Gap}$ denotes the right spectral gap of a reversible Markov operator, $S$ is the Markov transition kernel (Mtk) of interest, $\bar{S}$ is an idealized or simplified version of $S$, and $\{Q_z\}$ is a collection of Mtks characterizing the differences between $S$ and $\bar{S}$. This type of relationship has been established in various contexts, including: 1. decomposition of Markov chains based on a finite cover of the state space, 2. hybrid Gibbs samplers, and 3. spectral independence and localization schemes. We show that multiple key decomposition results across these domains can be connected within a unified framework, rooted in a simple sandwich structure of $S$. Within the general framework, we establish new instances of spectral gap decomposition for hybrid hit-and-run samplers and hybrid data augmentation algorithms with two intractable conditional distributions. Additionally, we explore several other properties of the sandwich structure, and derive extensions of the spectral gap decomposition formula.

$β$-Skewed Maximal Spanning Forests

2026-09-10T17:33:24Z

The Free $\mathbf{w}$-Maximal Spanning Forest (FMaxSF) is a weighted generalization of the classical Free Minimal Spanning Forest (FMSF) that is able to detect nonhyperfiniteness in percolation on nonunimodular graphs. We introduce a parameterized family of invariant random spanning forests that interpolates between these models. For every finite positive value of the parameter $β$, the construction retains many of the desired properties of FMaxSF while also admitting the finite-subtree forcing property of FMSF. We study local limits of these forests and, in particular, show that the small-$β$ limit of the wired variant coincides with FMSF if and only if $p_h=p_u$, where $p_h$ is the threshold for the existence of heavy clusters and $p_u$ is the uniqueness threshold for Bernoulli$(p)$ percolation. Finally, we show that the Free and the Wired $\mathbf{w}$-Maximal Spanning Forests may coincide even if $p_h

Free-Probabilistic State Evolution and Random Matrix Discrepancy

2026-09-10T17:28:09Z

Let $A_1,\ldots,A_n$ be independent $d \times d$ real symmetric Gaussian random matrices, and consider the linear operator $A(x) = n^{-1/2}\sum_{i=1}^n x_i A_i$, $x\in \mathbb{R}^n$. We construct an iterative algorithm in the Approximate Message Passing family which iterates over $A$ and its adjoint $A^*$, and establish a state evolution result which characterizes its behavior in the limit $d\rightarrow \infty, 2n/d^2 \rightarrow α$ in terms of a correlated Gaussian-semicircular process in a free probability space, in the sense of strong convergence of operators. We then apply this iteration to the random matrix discrepancy problem which asks for a binary vector $x \in \{-1,+1\}^n$ such that $A(x)$ has a small operator norm. Our algorithm achieves an operator norm $2σ(α)$, for an explicit expression of the standard deviation $σ(α)<1$ for all $0<α<α_* \simeq 5.74$. This resolves the algorithmic question of Kunisky-Zhang (2023) and Maillard (2025) in this interval.

Strategic Interview Positioning under Uncertain Self-Rank

2026-09-10T17:22:40Z

We study interview positioning in the secretary problem when an applicant is uncertain about their own absolute rank. The employer uses a given rejection threshold, and the applicant's self-rank distribution is truncated geometric. We show that the applicant need only compare the first eligible position with the final position and that, for finite $n$, a unique critical value exists precisely when $r(r+1)>n-1$. If $r_n$ is the employer's rejection threshold and $r_n/n\toα\in(0,1)$ as $n\to\infty$, then \[ \lim_{n\to\infty}q_c(n,r_n) = q_c(α) = \frac{1-α}{1-α+α^2}. \] Thus uncertainty about absolute rank produces an explicit asymptotic phase transition in optimal interview positioning.

Capital Asset Pricing Model with Size Factor and Normalizing by Volatility Index

2026-09-10T16:49:55Z

The Capital Asset Pricing Model (CAPM) relates a well-diversified stock portfolio to a benchmark portfolio, usually taken to be the S\&P 500. We insert size effect in the CAPM, capturing a real-life feature that on average, small stocks (measured by market capitalization) have higher risk and return than large stocks. Testing CAPM involves fitting linear regressions. Our goal is to ensure that regression residuals are independent identically distributed Gaussian. In some cases, we find that including the Volatility Index as a multiplicative factor by these residuals makes them closer to that ideal. In this article, we combine these ideas to create a new discrete-time model, which includes volatility, size factor, and the CAPM. We fit this model using real-world data, prove the long-term stability of this model, and analyze the resulting capital distribution curves.

Small-Ball Marginals Do Not Control Restricted Eigenvalues by Euclidean Gaussian Width

2026-09-10T16:47:32Z

Banerjee, Chen, and Sivakumar asked at COLT 2015 whether a uniform small-ball condition on the rows of a random design matrix forces a restricted-eigenvalue lower bound whose sample complexity is governed by the ordinary Euclidean Gaussian width of an arbitrary spherical subset. We give a negative answer to the natural distribution-free formulation of that question. For every sample size $n$, we construct a centered, genuinely heavy-tailed row distribution in dimension $p=4^n+1$ and a set $A=C\cap\mathbb{S}^{p-1}$, where $C$ is a closed polyhedral convex cone, such that \[ \inf_{v\ne 0}\mathbb{P}\!\left( \left|\left\langle Z,v\right\rangle\right| \ge \frac{\left\lVert v\right\rVert_2}{\sqrt{2}} \right)\ge \frac{1}{12} \quad\text{and}\quad w(A)<2. \] Nevertheless, for the matrix $X$ with $n$ independent copies of $Z$ as rows, \[ \mathbb{P}\!\left( \inf_{u\in A}\left\lVert Xu\right\rVert_2^2=0 \right) \ge 1-\exp(-2^n). \] Thus no positive constants depending only on the fixed small-ball parameters can yield a lower bound of the proposed form $c_1n-c_2w(A)^2$ with high probability. The construction isolates the obstruction: a marginal small-ball lower bound controls every fixed direction, but does not control the distribution-dependent complexity of searching over many directions. We state the quantifiers explicitly and discuss why isotropic or upper-tail assumptions lead to a different, still meaningful problem.

Circular Rearrangement Inequality and Optimal Cyclic Birth and Death Chains

2026-09-10T16:28:13Z

We prove a generalized circular rearrangement inequality: among all circular arrangements of a finite collection of positive numbers, the greedy arrangement simultaneously maximizes the sums of products of $k$ consecutive entries for every $k$. This resolves a 2023 conjecture of Holmes-Holroyd-Ramírez and extends the classical circular rearrangement inequality for products of adjacent entries. As an application, we show that the greedy ordering minimizes the speed of a cyclic birth-and-death chain, resolving another conjecture of the same authors.

Fourier decay of Gaussian multiplicative chaos and boundary geometry

2026-09-10T16:17:10Z

In this paper, we develop a new approach to studying the Fourier transform of Gaussian multiplicative chaos. We determine the Fourier dimension of these random measures on tori for every smooth log-correlated covariance and in every dimension, and prove sharp bounds and exact formulas for chaos on natural classes of bounded sets and hypersurfaces in Euclidean space. These results highlight how boundary geometry and multifractal concentration jointly govern Fourier decay, including regimes in which the boundary strictly reduces the Fourier dimension. In the circle setting, this gives a substantially simpler new proof of a conjecture of Garban and Vargas.

Coupling for one-dimensional subcritical and critical CBI processes with jumps

2026-09-10T16:11:05Z

We develop a cluster representation for one-dimensional CBI processes with jumps. Using this representation, we establish total variation convergence under conditions on the branching Lévy measure. In the subcritical case, we obtain polynomial and exponential rates under distinct regularity assumptions, while the strong Feller property is also established. In the critical case, we derive an explicit bound involving the cumulant integral. Our proofs use a coupling method that has proved effective for establishing ergodicity of Ornstein--Uhlenbeck processes.

Tilting Billingsley's model toward a giant prime: two phase transitions

2026-09-10T15:52:26Z

Billingsley's theorem states that the normalized logarithms of the prime factors of a uniform random integer in $[1,x]$ converge to the Poisson--Dirichlet law $PD(1)$, while weighting an integer $n$ by the generalized divisor function $d_θ(n)$ gives $PD(θ)$. We ask what remains of this picture when the integer is also rewarded according to its largest prime factor $P^+(n)$. For fixed $θ,β>0$ and $γ\ge0$, we sample $N_x=n\le x$ with probability proportional to $d_θ(n)\exp\{βH_γ(n)\}$, where $H_γ(n)=(\log P^+(n))^γ$ for $γ>0$, while $H_0(1)=0$ and $H_0(n)=1$ for $n\ge2$. Two phase transitions occur. At $γ=0$ the $PD(θ)$ partition survives, whereas every fixed $γ>0$ forces one prime to carry asymptotically all logarithmic mass. The second transition, at $γ=1$, concerns the cofactor $R_x=N_x/P^+(N_x)$. With $a_x=βγ(\log x)^{γ-1}$, its law is asymptotic in total variation to $Q_{a_x}(m)=d_θ(m)m^{-1-a_x}/ζ(1+a_x)^θ$. Thus, for $0<γ<1$, $a_x\log R_x$ has a $Gamma(θ,1)$ limit, with shape $θ$ and rate one, and the normalized logarithmic prime factors of $R_x$ have an independent $PD(θ)$ limit; at $γ=1$, $R_x$ has a nondegenerate discrete limit; and for $γ>1$, $R_x=1$ with high probability. We also determine the joint limits involving $N_x/x$ and the normalizing constants, which include the classical Alladi--Erdős asymptotic as a special case.

Generalization Analysis of Distributed Kernel-based Robust Gradient Descent Algorithms

2026-09-10T15:30:01Z

In this paper, we investigate the generalization performance of distributed gradient descent algorithms in a reproducing kernel Hilbert space under a robust loss function $l_σ$. By exploiting the spectral characterization of gradient descent together with the intrinsic properties of robust loss functions, we establish optimal learning rates for the distributed kernel-based robust gradient descent (DKRGD) algorithm with an appropriately chosen scale parameter $σ$. The proposed parameter choice of $σ$ simultaneously alleviates the saturation phenomenon and guarantees statistical robustness. A key technical contribution is a novel error analysis that provides substantially sharper bounds for products of operators, thereby significantly relaxing existing restrictions on the maximum number of local machines while retaining optimal learning rates. Finally, we develop a communication-efficient strategy that further improves the convergence performance of DKRGD.

On the maximum visibility in a ball through the vacant set of Poissonian obstacles

2026-09-10T15:16:58Z

We study the maximum visibility in a ball inside the vacant set of three obstacle models in $\mathbb R^d$ with slow decay of spatial correlations and disparate obstacle geometries: Poisson Boolean models with general i.i.d. radii distributions, Poisson cylinders and Brownian interlacements. Let $M_r$ be the maximum distance between points $x$ and $y$ in the ball $B(r)$ such that $x$ is visible from $y$. We prove that $M_r$ divided by $q_r$ converges in probability to an explicit model dependent constant, where $q_r=\log r$, except for the Brownian interlacements in dimension $d=3$, where $q_r = \log r\log\log r$.

The Central Limit Theorem and Berry--Esseen bound for logarithmic law of random determinants

2026-09-10T15:16:13Z

Let $A=(A_n)_{n\ge2}$ be a triangular array of random matrices, where $A_n=(a_{ij})_{1\le i,j\le n}$ is an $n\times n$ random matrix with independent real entries satisfying $\mathbb E a_{ij}=0$ and $\mathbb Ea_{ij}^2=1$, and put $\mathcal L_n=\log|\det A_n|$ and \[ W_n^{\mathrm d}(A_n):=\frac{\mathcal L_n - \frac12\log(n-1)!}{\sqrt{\frac12\log n}},\quad W_n^{\mathrm e}(A_n):= \frac{\mathcal L_n-\mathbb E \mathcal L_n}{\sqrt{\frac12\log n}}. \] We prove that $W_n^{\mathrm d}(A_n) \Rightarrow \mathcal N(0,1)$, whenever the family $\left\{\frac{|a_{ij}|^{4}}{\sqrt{\log(e+|a_{ij}|)}} \right\}_{n\geq 2;1\leq i,j\leq n}$ is uniformly integrable. If, in addition, the entries have uniformly bounded densities, then $W_n^{\mathrm e}(A_n) \Rightarrow \mathcal N(0,1)$ whenever the family $\left\{\frac{|a_{ij}|^{4}}{\log(e+|a_{ij}|)}\right\}_{n\geq 2;1\leq i,j\leq n} $ is uniformly integrable. These two conditions are optimal at the level of universal moment assumptions. We further establish the corresponding Berry--Esseen bounds, and show that for $0<δ\le\tfrac12$, if $\sup\limits_{n}\max\limits_{1\le i,j\le n}\mathbb E \frac{|a_{ij}|^4} {\{\log(e+|a_{ij}|)\}^{1/2-δ}}<\infty$, then \begin{align*} d_{\mathrm K}(W_n^{\mathrm d}(A_n),\mathcal N(0,1))\le C(\log n)^{-δ}. \end{align*} For $0<γ\le1$, if $\sup\limits_{n}\max\limits_{1\le i,j\le n}\mathbb E \frac{|a_{ij}|^4} {\{\log(e+|a_{ij}|)\}^{1-γ}}<\infty$ and the entries have uniformly bounded densities, then \begin{align*} d_{\mathrm K}(W_n^{\mathrm e}(A_n),\mathcal N(0,1))\le C(\log n)^{-γ}. \end{align*} When $δ= 1/2$ and $γ= 1$, the bounds $(\log n)^{-1/2}$ and $(\log n)^{-1}$ are optimal, respectively. Our results improve the earlier Central Limit Theorem by \cite{BaoPanZhou2015} and the Berry--Esseen bound by \cite{NguyenVu2014}.

Cubic spectral cancellation and random geometric graph detection: a quadratic-kernel counterexample

2026-09-10T15:04:11Z

We study whether an observed graph can distinguish a random graph generated by latent geometry from one with independent edges. In the geometric model, vertex positions are independent and uniform on a high-dimensional sphere. Conditional on these positions, edges occur independently, with probabilities determined by a connection function $K$ of the inner products of their endpoints. The comparison model is an Erdős-Rényi graph with the same edge density. A general spectral conjecture asserts that if the cubic spectral trace, which corresponds to the signed triangle mean, is sufficiently small in the sense that \[ n^3[\operatorname{tr}(κ^3)]^2\longrightarrow0, \] where $n$ is the number of vertices and $κ$ is the centered and standardized spherical kernel operator, then the total variation distance between the two graph distributions tends to zero. Consequently, the lower limit of the sum of the two error probabilities of any sequence of tests is at least one. We give a counterexample to the formulation allowing dimension-dependent connection functions without monotonicity or a common-sign condition on the spectrum. Our quadratic connection functions are uniformly bounded away from zero and one. Their cubic trace vanishes identically through cancellation between positive and negative eigenvalues, whereas their quartic trace is strictly positive. When $d=\max\{3,\lfloor n^{1/20}\rfloor\}$, a signed four-cycle test has a sum of error probabilities tending to zero, and the total variation distance instead tends to one. A perturbation making the cubic trace strictly nonzero still satisfies the stated cubic-trace condition and yields strong detection. The construction and detection result follow, respectively, from a finite-rank spectral decomposition of the spherical kernel and estimates of the mean and variance of the four-cycle statistic.

Quantitative Asymptotics for Time-Inhomogeneous Lévy-Driven SDEs with Asymptotically Vanishing Drifts

2026-09-10T15:01:46Z

In this work, we are concerned with a class of multi-dimensional time-inhomogeneous stochastic differential equations (SDEs) on $\R^d$ driven by pure-jump Lévy processes, where the drift coefficient $b(t,x)$ satisfies $\lim_{t\to \infty}b(t,x) =0$ for every $x\in \R^d$. On account of three regimes associated with the index $α$ of large jumps corresponding to the driven Lévy noise, we investigate the quantitative asymptotics of the corresponding rescaled processes. More precisely, for $α\in (0,2)$, we prove that the rescaled processes, governed by time-inhomogeneous SDEs subject to additive processes, converge with respect to suitably chosen Wasserstein distances to time-homogeneous SDEs driven by symmetric $α$-stable processes. Notably, the driven noise in the limiting SDEs depends only on large jumps of the underlying additive processes. In case of $α\ge2$, a phase transition occurs and a diffusive phenomenon arises. In particular, in the setting $α>2$, we establish the ergodicity of the rescaled process by means of asymptotic pseudotrajectories. The resulting time-homogeneous limiting SDEs are driven by Brownian motions, even though the transformed time-inhomogeneous SDEs are driven by (discontinuous) additive processes, and the effective noise intensity is determined by the entire Lévy measure of the original pure-jump process. As far as the critical case $α=2 $ is concerned, we demonstrate that the noise intensity of the limiting SDEs driven by Brownian motions relies merely on the large-jump part of the Lévy measure.