arXiv++ Combinatorics

We prove new small-ball inequalities for boolean matrix-series. The leading example is $\mathbb E_s[{\text{det}(I-S^2)^β\,\mathbf 1_{\{\|S\|<1\}}}]\ge e^{-O(βτ)}$, which holds for boolean matrix-series $S=\sum_i s_iA_i$ formed using symmetric matrices $A_1,\dots,A_n$ and uniformly random signs $s\in\{\pm1\}^n$. Specifically, this inequality holds for all $β\ge1$ with $τ=\sum_i\text{Tr} A_i^2$, as soon as the maximum of $(\text{Tr} A_i^2)_{i=1}^n$ and a certain variance term are bounded above by universal constants. The proof combines the Gaussian reciprocal estimate of (Akbas and Sra 2026), the directional-variation signing theorem of (Guo, Fang, and Lu 2026), and a replica argument that turns existence into a Gibbs law on good signings. Most notably, boolean small-ball delivers a new, interlacing-free proof of Kadison-Singer (most general case); it also recovers Matrix Spencer and Komlós as quick corollaries, while yielding more than six almost immediate proofs of an assortment of discrepancy theoretic problems.

We give an FPRAS for the permanent of an $n\times n$ $0/1$ matrix with running time $\widetilde{O}(n^{3.5}\varepsilon^{-2})$. Our algorithm extends to a strongly polynomial FPRAS for arbitrary nonnegative matrices, as in previous works. Jerrum, Sinclair, and Vigoda (2004) gave the first FPRAS for the permanent of a nonnegative matrix. The running time was subsequently improved to $\widetilde{O}(n^7)$ by Bezáková, Štefankovič, Vazirani, and Vigoda (2008), and recently to $\widetilde{O}(n^6)$ by Chen, Vigoda, and Yang (2026). We introduce a multicommodity-flow bound inspired by electrical flows, replacing the usual path-length factor by routing energy. For a boosted version of the classical JSV chain, we prove a relaxation-time bound of $O(n^3\log n)$ and show that stationary trajectories of this length estimate all stationary hole-pattern probabilities, yielding an $\widetilde O(n^5)$-time FPRAS algorithm. Our new hole-weighted slide (HWS) chain improves both bounds to $O(n^2\log n)$, yielding an $\widetilde O(n^4)$-time algorithm. Finally, we obtain the claimed $\widetilde O(n^{3.5})$ running time by using a subset of $\widetilde{O}(\sqrt{n})$ checkpoint temperatures in an iterated sequence of warm-starts to obtain initializations at every temperature.

We prove that the height-level path ensemble of a uniform alternating sign matrix converges to the Airy line ensemble near every interior point of the north-west arctic arc. Under the standard bijection, this is equivalently a limit theorem for the osculating paths of the domain-wall six-vertex model at the ice point. The proof has two main inputs. The integrable input is a new Pfaffian formula for rectangular frozen-corner probabilities, from which we obtain one-point convergence of the top path to the GUE Tracy--Widom distribution. The probabilistic input is an exact resampling law and accompanying bridge estimates for a strictly ordered midpoint encoding of the paths; these yield tightness and the Brownian Gibbs property for every subsequential limit. Aggarwal and Huang's strong characterization then identifies each such limit as the Airy line ensemble.

We prove a sharp concentration inequality for the spectral norm of sparse random tensors with independent Bernoulli entries. Let $T$ be an order-$k$ tensor of dimension $n\times\cdots\times n$ with independent Bernoulli$(p)$ entries, where $k$ is fixed. For any $c,r>0$, we show that $\|T-\mathbb E T\|\le C_{k,r,c}\sqrt{np}$ with probability at least $1-n^{-r}$ whenever $np\ge c\log n$. We extend this bound to inhomogeneous Bernoulli sampling with deterministic entrywise weights. This removes the logarithmic factor in the work of Zhou and Zhu (2021). The proof follows the Kahn--Szemerédi light--heavy decomposition with a refined estimate on the heavy tuple part. We also obtain a log-free second eigenvalue bound for the random hypergraph model of Friedman and Wigderson (1995).

We prove that a path maximizes the expected range of a uniformly chosen graph homomorphism into the integers, with one vertex pinned at zero, among all connected bipartite graphs of the same order. This establishes the expectation form of the Benjamini--Häggström--Mossel conjecture. The proof restricts and rescales a homomorphism on each bipartition class, then contracts the edges on which the resulting height function is constant. A quantitative estimate for the rank of these zero edges compensates for a parity term in the expected range of a simple random walk, allowing an induction on the number of vertices. We then prove that the BHM inequality implies the Loebl--Ne\v set\v ril--Reed inequality for uniformly chosen integer 1-Lipschitz functions on arbitrary connected graphs, and hence obtain the LNR conjecture as a corollary of BHM. The proof was obtained through interaction with OpenAI GPT-6 Astra and verified by the author. The main results have also been formalized and checked in Lean~4.

We give an efficient algorithm with improved algorithmic guarantees for the (offline) Beck--Fiala problem when the sets have bounded size. Let $A$ be an arbitrary matrix $A\in\{0,1\}^{m\times n}$ with at most $d$ ones per column and at most $s$ ones per row. Let $\log^*$ denote the iterated logarithm and $\ell_j$ denote the $j$-fold composition of log. Assume $s\le\exp(O(\sqrt d))$. We provide an efficient algorithm that, for arbitrary sparsity $d$, gives $O(\sqrt d(1+\log^*n))$ discrepancy. Moreover, if $d\ge\ell_j(n)$ for a fixed integer $j\ge1$, the algorithm gives $O_j(\sqrt d)$ discrepancy. The proof is a bootstrapping scheme using the Bansal-Jiang algorithm.

Local-to-global techniques for establishing spectral gaps have played a central role in the modern theory of Markov chain mixing times and the theory of high-dimensional expanders. One of the most striking results in this burgeoning literature is that a spectral gap for the global down-up walk on the facets of a pure simplicial complex can be reduced to sufficiently strong spectral expansion of just the codimension-2 links of the complex, a phenomenon colloquially referred to as "trickle-down". These types of theorems have had many important applications, including rapid mixing of the exchange walk on the bases of any matroid. In this primarily expository article, we give streamlined proofs of two such theorems in the literature, one by Oppenheim (2018) and one by Leake and Oveis Gharan (2025), via an integrated Bochner method. Moreover, in the latter setting, we quantitatively strengthen the dependence of the global spectral gap on the dimension of the complex and the spectral influence, resolving an open question of Leake and Oveis Gharan. Disclaimer: The proofs were developed through a couple of rounds of interaction with GPT-5.6 Sol Ultra. We later discovered that Guo and Zhang (2026) had independently proven the same strengthening of the trickle-down theorem of Leake and Oveis Gharan using an extremely similar argument, also found by GPT-5.6 Sol Ultra. The focus of their paper is the complexity of approximating the partition function of spin systems on planar graphs, not on the trickle-down phenomenon itself. In contrast, our motivation is primarily expository, and we hope to bring Bochner-type methods and their connections with the trickle-down phenomenon to the attention of a wider community of researchers.

We develop finite free information theory for real-rooted polynomials, establishing finite free analogues of entropy and Fisher information monotonicity, as well as the Stam and entropy power inequalities. These results resolve conjectures by Shlyakhtenko and Gribinski and recover inequalities in free probability in the large-degree limit. Equivalently, our results may be interpreted as potential-theoretic inequalities for the zeros of real-rooted polynomials under differential operators which preserve real-rootedness. Our proofs leverage a new connection between score vectors and Jacobians of root maps, combined with convexity results for hyperbolic polynomials. We further characterize the equality cases in our inequalities, which arise from Hermite polynomials.

This work analyzes and compares the asymptotic properties of the covariance matrices of vectors of volume power functionals of random Vietoris-Rips complexes, as the intensity of the underlying homogeneous Poisson point process grows. Several key results are established which, in particular, generalize well-known facts on random graphs. Findings regarding rank, definiteness, determinant, eigenspaces, and related decompositions are presented within three distinct regimes. Moreover, we derive stochastic applications of these algebraic properties, leading to interesting results for vectors of volume power functionals.

We find necessary and sufficient conditions for the Law of Large Numbers for random discrete $N$-particle systems with the deformation (inverse temperature) parameter $θ$, as their size $N$ tends to infinity simultaneously with the inverse temperature going to zero. Our conditions are expressed in terms of the Jack generating functions, and our analysis is based on the asymptotics of the action of Cherednik operators obtained via Hecke relations. We apply the general framework to obtain the LLN for a large class of Markov chains of $N$ nonintersecting particles with interaction of log-gas type, and the LLN for the multiplication of Jack polynomials, as the inverse temperature tends to zero. We express the answer in terms of novel one-parameter deformations of cumulants and their description provided by us recovers previous work by Bufetov--Gorin on quantized free cumulants when $θ=1$, and by Benaych-Georges--Cuenca--Gorin after a deformation to continuous space of random matrix eigenvalues. Our methods are robust enough to be applied to the fixed temperature regime, where we recover the LLN of Huang.

Consider a sequence of i.i.d.~trials $X=\{X_1, X_2, \ldots, X_n\}$ where $p(X_i=j)={1}/{d}; j=1,2,\ldots, d$, or more generally $p(X_i=j)=p_j; \sum_{1\le j\le d}p_j=1$. We consider the variable $D$ that counts the number of distinct substrings of all lengths,$1\le k\le n$ in $X$ and prove results concerning $E(D)$.

We prove Chvátal's conjecture, posed in 1972: every hereditary family of subsets of a finite set has a largest intersecting subfamily that is a star. More generally, we prove a sharp correlation inequality for increasing Boolean functions $f,g:\{0,1\}^n\to\{0,1\}$. Writing $g^*(x)=1-g(1-x)$, we show that $$ \sum_{\varnothing\ne S\subseteq[n]}\hat{g}(S)^2\max_{i\in S}\mathrm{Inf}_i[f]\le\frac{2\mathrm{Cov}(f,g)\mathrm{Cov}(f,g^*)}{\mathrm{Cov}(f,g)+\mathrm{Cov}(f,g^*)}. $$ When $g$ is antipodal, that is, $g=g^*$, this yields $\mathrm{Cov}(f,g)\ge\frac{1}{4}\min_{i\in[n]}\mathrm{Inf}_i[f]$, the correlation formulation of Chvátal's conjecture due to Friedgut, Kahn, Kalai and Keller.

We explain how to derive the Robinson-Schensted-Knuth (RSK) correspondence, a fundamental bijection in algebraic combinatorics, from the Yang-Baxter equation. The Yang-Baxter equation arose in the study of quantum many-body systems and later became a cornerstone of the theory of solvable lattice models, particularly vertex models. In a vertex model, arrows occupy the edges of a grid, and each vertex carries a Boltzmann weight determined by the arrows on the four edges meeting at it. The weight of a configuration is the product of these local weights, and a partition function is the sum of the weights of all configurations with prescribed boundary conditions. For a vertex model whose partition functions are the Schur polynomials, the two sides of each instance of the Yang-Baxter equation admit exactly one weight-preserving matching of their summands. Carried across a grid, this forced matching is the classical RSK correspondence in the form of Fomin's growth diagrams. In natural coordinates the local matching becomes the combinatorial three-dimensional R, a set-theoretic solution of the Zamolodchikov tetrahedron equation. Its periodic closure returns the combinatorial R-matrices of one-row crystals. The forced matching is special to the Schur weights. For the Hall-Littlewood and q-Whittaker deformations and their spin versions, at generic parameter values no deterministic matching works for all boundary data. Reading each instance of the Yang-Baxter equation probabilistically, we replace the matching by a coupling of the two sides - a bijectivization, or probabilistic bijection - and obtain Markov operators that transport probability measures attached to vertex models. Iterated over the grid, these operators produce randomized RSK-type dynamics and interacting particle systems, including q-PushTASEP and the stochastic six-vertex model.

Recently, C. Li posted a preprint that resolves the fractional version of Talagrand's discrete convexity problem. In this note, we use the method of C. Li to answer another problem of Talagrand.

We consider $n\times n$ covariance matrices $M=\frac{1}{n}XX^*$ where $X=(x_{i,j})$ is a matrix whose entries are independent complex random variables with $\mathbb{E}(x_{i,j})=0$ and $\mathbb{E}(|x_{i,j}|^2)=1$. We derive a $\frac{1}{n}$ expansion of the mixed moments, $\frac{1}{n}\mathbb{E}(\Tr(M^{(r_1)}\cdots M^{(r_q)}))$, of the form $a_0+a_1\frac{1}{n}+O(\frac{1}{n^2})$. This permits us to find explicit formulas for the moments and infinitesimal moments of several covariance matrices where we allow repetition. As an application of our formulas, we derive asymptotic freeness and infinitesimal freeness of independent covariance matrices under a fourth-moment condition. This generalizes previous results for the Wishart ensemble in which $x_{i,j}$ is complex Gaussian.

Majority bootstrap percolation is a monotone cellular automaton that can be thought of as a model of infection spreading in networks. Starting with an initially infected set, new vertices become infected once at least half of their neighbours are infected. The average case behaviour of this process was studied on the $n$-dimensional hypercube by Balogh, Bollobás and Morris, who showed that there is a phase transition as the typical density of the initially infected set increases: For small enough densities the spread of infection is typically local, whereas for large enough densities typically the whole graph eventually becomes infected. Perhaps surprisingly, they showed that the critical window in which this phase transition occurs does not contain $p=1/2$, and they gave bounds on its width on a finer scale. In this paper we consider the majority bootstrap percolation process on a class of high-dimensional geometric graphs which includes many of the graph families on which percolation processes are typically considered, such as grids, tori and Hamming graphs, as well as other well-studied families of graphs such as (bipartite) Kneser graphs, including the odd graph and the middle layer graph. We show similar quantitative behaviour in terms of the location and width of the critical window for the majority bootstrap percolation process on this class of graphs.

For any fixed $k$, we prove a lower bound on the $k$th largest modulus of an eigenvalue of the non-backtracking matrix $B$. Specifically, consider any deterministic or random family of graphs that converges locally to the unimodular Galton-Watson tree with root degree distribution $D$, and set $κ:=\mathbb E[D(D-1)]/\mathbb E[D]$. Given $κ>1$ and an exponential-moment bound on the empirical degree distributions, we show that $|λ_k(B)|\geq\sqrtκ-o_N(1)$, where $N$ is the number of vertices. When restricted to locally tree-like regular graphs, this recovers a well-known consequence of the Ihara-Bass formula. In the specific case where the graph is generated through the Erdős-Rényi model with expected degree $d>1$, this proves a conjecture of Bordenave, Lelarge, and Massoulié. To do this, we show that the normalized log-determinant of the Bethe-Hessian of the graph is bounded by that of the Bethe-Hessian of its local limit. This bound is violated if the eigenvalues of the non-backtracking matrix are too small. We establish this using an effective-conductance interpretation of the tree Green's function recursion.

We determine exactly how harmonic sums, taken over integers with a given number of occurrences of a fixed block of digits, depend on that number of occurrences. Language factorizations, combined with stochastic radix expansions, relate these harmonic sums to the iteration of an operator whose eigenvectors are the Lebesgue measure and distributional derivatives of singular measures. The dual picture is given by a Riesz basis of eigenpolynomials in a suitable Hardy space. The resulting modal expansion admits a natural interpretation as a block-directed Euler-Maclaurin formula interpolating between Euler-Maclaurin and Taylor expansions.

In this note we announce the limiting shape for the height function of a uniformly distributed alternating sign matrix (equivalently, a six-vertex model with equal weights and domain-wall boundary conditions)

Cladograms of size $n$ are unrooted binary trees whose leaves are labelled from 1 to $n$. Aldous introduced in 2000 a Markov chain on cladograms, a step of which consists of removing a leaf uniformly at random and reinserting it on a uniformly chosen edge. We introduce a coupling for this walk, which follows multiple colored subtrees in parallel. We go around the lack of independence of the colored components by finding a relevant statistic, namely the sum of the squares of the sizes of all colored components, which we prove has a drift. We deduce that the mixing time of the walk is of order $n^2$, solving a conjecture of Aldous.