arXiv++ Combinatorics

We prove a two-parameter skew Littlewood identity for stable spin Hall--Littlewood symmetric functions, generalizing Warnaar's identity. This identity yields a half-space extension of the Yang--Baxter random field of Bufetov and Petrov. Using their stochastic Yang--Baxter move together with the skew Littlewood identity, we construct explicit bulk and boundary sampling rules and characterize the two boundary regimes in which these rules admit autonomous projections onto the first $R$ column lengths for every $R\ge1$. In these regimes, the partition-length fields agree, after explicit coordinate and parameter changes, with the half-space stochastic six-vertex model of Barraquand, Borodin, Corwin and Wheeler and a subfamily of He's model. The two-column projections retain spin dependence and converge, under the respective continuous-time scalings, to the same two-layer exclusion process whose first layer is open ASEP. We also prove that the joint distributions of partition lengths in ascending processes are independent of spin throughout the nonnegative parameter range. Using this spin independence and the distributional comparisons with half-space six-vertex heights, we transfer He's asymptotic results to diagonal partition lengths, obtaining Tracy--Widom GSE and GOE limits, Gaussian limits, and a GSE--GOE crossover under boundary tuning. The GOE limit also holds at the even-column specialization. Finally, the first-layer particle count of the continuous-time process has GOE fluctuations.

Let a random permutation $W\in S_n$ represent the order of $n$ distinct cards. After each guess, the player learns the actual card, and the objective is to maximize the expected total number of correct guesses. Diaconis, Fulman, and Holmes conjectured that, after a single uniform, unbiased shelf shuffle, the direction-tracking strategy is optimal: first guess the smallest card, and thereafter choose the nearest remaining card in the direction of the most recent rise or fall. We prove a more general theorem: if \[ \mathbb P(W=w)=\frac{f(v(w))}{\sum_{σ\in S_n}f(v(σ))}, \] where $v(w)$ is the number of interior valleys of the permutation, $f$ is nonnegative and nonincreasing, and the denominator is positive, then direction tracking maximizes the conditional probability of correctly guessing the next card after every history of positive probability. It therefore maximizes the expected total number of correct guesses among all complete-feedback strategies. Here an interior valley is a position $2\le i\le n-1$ satisfying $w_{i-1}>w_i<w_{i+1}$. Combined with the known shelf-shuffling probability formula, this theorem proves the conjecture for every deck size and number of shelves. The key to the proof is a swap of adjacent remaining values that preserves the revealed prefix: starting from the preferred candidate, the swap leaves the valley count unchanged or increases it by one, thereby turning monotonicity of the weights into a conditional probability ordering after every history.

We study the minimum and maximum expected scores over all adaptive strategies in sequential card guessing with yes/no feedback. A deck contains $n$ labels, each appearing $m$ times, and is shuffled uniformly. The cards are guessed one at a time, and after each guess the player is told only whether it was correct. Always guessing the same label gives exactly $m$ points. How far can the expected score depart from $m$ if all previous feedback is used either to seek or to avoid correct guesses? Diaconis, Graham, and Spiro conjectured that the minimum expectation is $m-o(m)$ as $m\to\infty$ with $n$ sufficiently large in terms of $m$, and that, for each fixed $m$, the limit superior of the maximum expectation as $n\to\infty$ is at most $(e-1)m$. Writing these extrema as $P^-_{m,n}$ and $P^+_{m,n}$, we prove \[ 0\le m-P^-_{m,n}\le3m^{3/4} \qquad(n\ge m\ge1), \] and the finite-parameter bound \[ \frac{P^+_{m,n}}m\le\sum_{k=1}^{n}\frac1{k!}<e-1 \] for all positive integers $m,n$. The first bound gives a first-order asymptotic uniform in $n\ge m$; the universal constant $e-1$ in the second cannot be reduced. Thus both conjectures follow. The lower bound combines a switching comparison for restricted permutations with martingale second-moment estimates. For the upper bound, we represent the repeated cards as a random interleaving of independent decks of distinct cards and prove that the optimal expectation is additive when the component-deck labels are revealed.

The Möbius function of a partition lattice can be used to define interactions of probability measures. We call a lower set a symmetric partition lattice when it is invariant under permutations of the variables. We characterize these lattices through integer partitions and obtain a recursion for their Möbius coefficients at the top element. By constructing probability measures whose partition products are linearly independent, we show that permutation invariance of an interaction is equivalent to that of its underlying lower set, provided the coordinate spaces are sufficiently large. We also characterize the partitions on a lower set that force an interaction to vanish for every probability measure, and construct indecomposable distributions with zero interaction. We define the order of a symmetric partition lattice and relate it to vanishing marginals. We study generalized Lancaster and define the Streitberg and size-limited partition lattices, obtaining explicit Möbius coefficients for them. Finally, we express interaction equations in terms of characteristic functions. For Gaussian distributions, we show that an interaction vanishes exactly when the distribution factorizes according to a nontrivial partition in the underlying lower set. We also give a nonvanishing criterion for radial characteristic functions generated by Bernstein functions.

We give a simple exposition of the Matrix Spencer theorem due to Akbas and Sra [AS26].

We investigate scaling and local limits of random trees biased according to their number of descents. A descent in a rooted labeled tree $t$ is a parent-child pair such that the label of the parent is greater than the label of the child, and the total number of descents is denoted by $\mathrm{des}(t)$. For $n \geq 1$ and $q_n \geq 0$, we consider the probability measure on trees of size $n$ where each tree $t$ is chosen with a probability proportional to $q_n^{\mathrm{des}(t)}$. We study the resulting random tree $\mathcal{T}_n^{(q_n)}$ properly rescaled as $n \to \infty$, and focus on two regimes for the bias parameter $q_n$. When $q_n = q \in (0,1]$ is fixed, we prove that $\mathcal{T}_n^{(q)}$ converges in distribution to the Brownian Continuum Random Tree. When $q_n = a/n$ for some fixed $a > 0$, we prove that $\mathcal{T}_n^{(q_n)}$ converges in distribution to a random non-trivial dendron constructed from a Poisson-Dirichlet sequence. We complement these results with a description of the Benjamini-Schramm local limit of $\mathcal{T}_n^{(q_n)}$ in all regimes of parameters. Our proofs rely on analytic combinatorics to find the asymptotics of certain statistics of the tree, and on a probabilistic analysis of the structure of descent-biased random trees.

Let $H$ be a fixed $d$-regular graph with $d\ge2$, and let $t(H,\cdot)$ denote its homomorphism density. We study the upper-tail event $t(H,G(n,p))\ge r^{|E(H)|}$ for fixed $0<p<r<1$ in a dense Erdős--Rényi random graph $G(n,p)$. Near the Lubetzky--Zhao replica-symmetric phase boundary and away from the exceptional target density $(d-1)/d$, we prove that the optimizer of the Chatterjee--Varadhan variational problem on the symmetry-breaking side is bipodal (two-block) and unique up to relabeling. Its block parameters depend analytically on $(p,r)$. To treat the exceptional boundary point, where the nonexceptional theory degenerates, we construct an analytic curve approaching that point from the symmetry-breaking side along which the unique optimizers are nonconstant rank-one bipodal graphons. In both settings, we derive asymptotic expansions of the edge-density deficit and the rate function that governs the exponential decay of the upper-tail probability. Moreover, the conditioned random graph converges in cut distance to the corresponding bipodal optimizer as $n\to\infty$. As $(p,r)$ approaches the phase boundary from the symmetry-breaking side, the optimizers converge to their constant limits through two distinct mechanisms. For each fixed nonexceptional target density, one block shrinks to zero measure, giving convergence in $L^1$ but not in $L^\infty$. Along the exceptional curve, both blocks remain macroscopic: their sizes tend to $1/2$ and all three block densities tend to $(d-1)/d$, yielding convergence in $L^\infty$.

Consider the task of online vector balancing for stochastic arrivals $X_1,\ldots,{X_T}$, where the $X_i$ are independent uniformly random $d$--sparse binary vectors in $\{0,1\}^n$. This is a random analogue of the online Beck--Fiala problem. We show that uniformly for $2\le d\le n/2$ and $T = Θ(n)$, the optimal online prefix discrepancy $\max\limits_{t\leq T}\left\|\sum_{i=1}^tσ_i X_i\right\|_\infty$ is of order \[ Θ\big(\max\{\sqrt d,\log\log n\}\big). \] The upper bound is achieved by an efficient online algorithm. Thus, for $d\le(\log\log n)^2$, the optimal discrepancy is $Θ(\log\log n)$ and is independent of the sparsity up to constant factors, whereas above this scale it is $Θ(\sqrt d)$, matching the order of the offline discrepancy. This identifies the threshold at which sparsity begins to govern the online discrepancy of the random Beck--Fiala model.

Consider a simple undirected graph $G$ on $N$ vertices, with each vertex holding an opinion from one of two options. Starting from the initial opinions on day 1, we run majority dynamics: on each subsequent day, all vertices simultaneously adopt the majority opinion among their neighbors, retaining their current opinion in case of a tie. A well-studied conjecture of Benjamini, Chan, O'Donnell, Tamuz, and Tan states that if $G$ is drawn from the random binomial model $\mathbb{G}(N,p)$, and if the starting opinions are chosen uniformly at random, then as long as $pN \to \infty$ the network will converge to 99% consensus with high probability. We confirm this conjecture as long as $pN \ge N^{\varepsilon}$ for any fixed $\varepsilon > 0$, showing that full unanimity is reached with high probability in $O(1/\varepsilon)$ days. This result improves on a line of results by Fountoulakis, Kang, and Makai, who achieve $\varepsilon = 1/2$; Chakraborti, Kim, Lee, and Tran, who achieve $\varepsilon = 2/5$; and Jaffe, who achieves $\varepsilon = 1/3$. The proof technique involves iteratively revealing the "opinion histories" for each vertex through time, keeping track of the degrees between every vertex and each of $2^k$ opinion history classes on day $k$. Our analysis of this process requires intricate estimates for degree-constrained random graph models using graph enumeration tools from the work of McKay and Wormald as well as Canfield, Greenhill, and McKay, and their extensions by Liebenau and Wormald. In doing so, we connect the discrete dynamics to a deterministic idealized process, whose leading-order behavior is described by conditional Gaussian probabilities and expectations.

We give a self-contained proof, in the bounded variation setting, of the Hambly--Lyons uniqueness theorem, which states that (total) signature identifies the path up to tree-like equivalences. The argument is organized around two key geometric observations. First, tree-like paths have trivial signature because factorization over a loop in a tree $τ:[0,1]\to T$ is preserved under signature lifts, which follows from an elementary property of planar curves. Second, a path with trivial total signature contains a nontrivial subpath with trivial total signature (the sub-interval lemma). This is proven by applying a winding-number argument to a two-dimensional projection of the signature lift. Collapsing all trivial-signature sub-intervals then defines a compact metric tree $T$ through which the original path factors by virtue of the sub-interval lemma.

We consider the second class particle in half-line open TASEP under two different initial conditions with shock discontinuities. The exact formulas for the distribution of the second class particle can be derived by using the color-position symmetry theorem of colored half-space TASEP. We study the asymptotic distribution of second class particles under the constant scaling and KPZ-type scaling.

In this paper we obtain the critical probability $p_c(Q_{k,n},r)$ for bootstrap percolation with the infection threshold $r=\frac{N}{2}$ on the generalized $n$-dimensional hypercube $Q_{k,n}$ with vertex set $V(Q_{k,n})=\{0,1\}^n$ and edges connecting the pairs at Hamming distance $1,2,\dots,k$, where $k\ge 2$ and $N=\sum_{i=1}^k\binom{n}{i}$. More precisely, we obtain the exact first-order and second-order terms of $p_c(Q_{k,n},\frac{N}{2})$ by extending the main theorem of Balogh, Bollob{á}s, and Morris (2009).

Inspect the vertices of a finite simple graph in uniformly random order, accepting each vertex if none of its neighbors has previously been accepted. Let $X_G$ be the number of accepted vertices. For every triangle-free graph with $n\ge2$ vertices and $e$ edges, we prove $\operatorname{Var}(X_G)\le e((n-2)/n)^2$, with equality precisely for edgeless graphs and connected stars. In particular, among trees of a given order, the star uniquely maximizes the variance, with value $(n-1)(n-2)^2/n^2$. Known expected vertex-deletion stability already yields the elementary baseline $\operatorname{Var}(X_G)\le e$. We obtain the sharp finite-order refinement by combining a stronger centered first-choice estimate with a triangle-free edge-count identity in the law of total variance.

We prove the Colomo-Pronko conjecture for alternating sign matrices with a prescribed square of zeros at a corner, for all matrix sizes and freezing parameters. A known multiple-integral formula for the frozen-corner count yields determinant representations built from fixed polynomial kernels. We relate these kernels to the conjectured determinant through an inverse identity for the commutator of a signed Pascal matrix with reversal. In odd dimension, the comparison uses the one-dimensional nullspace and projection along it to eliminate the central coordinate. Combined with the asymptotic analysis of Colomo and Pronko, our result removes the conjectural assumption from their GUE Tracy-Widom fluctuation theorem for the intersection of the frozen boundary with the main diagonal in uniformly random alternating sign matrices. The finite-dimensional algebraic core of the proof has been formalized in Lean 4.

For fixed $k\ge3$, we determine the critical law of totally isotropic $r$-spaces for a uniform random map $Θ_N:Λ^k\mathbb {F}_q^N\to\mathbb {F}_q^m$. At the exact balance $m\binom rk=r(N-r)$, the entire null configuration is asymptotically an independent Bernoulli subset of $\operatorname{Gr}(r,\mathbb {F}_q^N)$ in total variation, uniformly in $q$ and $m$. Consequently, the counting measure $Ξ_r$ is asymptotically a Poisson point process, and its total mass $X_{N,r}$ is asymptotically Poisson. An exterior-rank stability theorem shows that near-extremal families decompose into Grassmann clusters with uniformly controlled span deficiency. We obtain quantitative rates and identify the first exterior-dependence scale. We also show that rare null $(r+1)$-spaces force high-order factorial-moment divergence, while the fixed-target bilinear cases $m=1,2$ exhibit non-Poisson critical behavior.

We resolve a conjecture on the law of large numbers for coherent measures on Young diagrams associated with Macdonald-nonnegative specializations of the algebra of symmetric functions for all $0\le q,t<1$. We prove that row and column lengths divided by the diagram size converge to the corresponding specialization parameters. The proof combines a monomial estimate for skew Macdonald polynomials with exponential tilting and binomial decompositions obtained from the branching rule for the polynomials.

Recently, sharp matrix concentration inequalities~\cite{BBvH23,BvH24} were developed using the theory of free probability. In this work, we design polynomial time deterministic algorithms to construct outcomes that satisfy the guarantees of these inequalities. As direct consequences, we obtain polynomial time deterministic algorithms for the matrix Spencer problem~\cite{BJM23} and for constructing near-Ramanujan graphs. Our proofs show that the concepts and techniques in free probability are useful not only for mathematical analyses but also for efficient computations.

We study the mixing behavior of three q-deformed card shuffles on $\mathcal{H}_q(S_n)$: the short systematic scan introduced in \cite{DiaconisRam2000}, the $q$--deformed random--to--random shuffle introduced in \cite{AxelrodFreedBraunerChiangComminsLang2024}, and the $q$--deformed $k$--star transposition shuffle, whose $q=1$ counterpart was studied in \cite{ArfaeeNestoridi}. The first two chains were diagonalized in \cite{DiaconisRam2000} and \cite{AxelrodFreedBraunerChiangComminsLang2024}, respectively. Here, we diagonalize the $q$--deformed $k$--star transposition shuffle and use the spectra of the three chains to study their mixing behavior. For fixed $q>1$, we prove that all three exhibit total variation and $\ell^2$ cutoff. For the short systematic scan, these improve both the upper and lower bounds of Diaconis and Ram \cite{DiaconisRam2000}.

Let $P_n$ be the matrix of a random permutation of $n$ symbols and let $M_n=\log\max_{|z|=1}|\det(I-zP_n)|$. Cook and Zeitouni proved that $M_n/\log n$ converges in probability to a constant $x_0$ for a uniform permutation. We show that the $\sqrt{\log n}$ fluctuations of $M_n$ are carried entirely by the number of cycles $K_n$. Write $λ(s)=\log\{Γ(1+s)/Γ(1+s/2)^2\}$, let $s_κ$ minimize $(1+κλ(s))/s$ on $(0,\infty)$, and put $v(κ)=κλ'(s_κ)$ and $a_θ=λ(s_θ)/s_θ$. Under the Ewens measure with any fixed parameter $θ>0$ we prove $M_n=v(θ)\log n+a_θ(K_n-θ\log n)+O_P(\log\log n)$, so that the standardized pair $(K_n,M_n)$ converges jointly to $(G,G)$ with $G$ standard normal: the maximum and the cycle count are asymptotically perfectly aligned. This is deduced from a statement about the exact conditional law, which does not depend on $θ$: for every compact $[κ_-,κ_+]\subset(0,\infty)$ there is a finite $C$ such that $P(|M_n-v(k/\log n)\log n|>C\log\log n \mid K_n=k)$ tends to $0$ uniformly over integers $k$ with $κ_-\log n\le k\leκ_+\log n$, that is, over exact and possibly atypical cycle counts. The proof keeps the size and the cycle count simultaneously in a two-variable coefficient extraction. Cycles longer than $n/(\log n)^4$ are reserved as an analytic factor whose coefficients are flat under every size shift produced by the shorter cycles; positivity then converts a scalar coefficient asymptotic into a relative comparison of the entire path-constrained measure, with an error that does not degrade with the number of constraints or with the rarity of the event. The constrained lower bound comes from pointwise saddle estimates for killed convolutions along a dyadic chain of endpoint boxes.

Finding large lattice subgraphs in sparse Erdős--Rényi random graphs is a classical problem at the interface of random graph theory and algorithms. General bounded-degree embedding and universality theorems give powerful results for broad graph families, but when specialized to square grids they operate at densities substantially larger than the grid-emergence scale. In this paper we exploit the specific geometry of the square grid. We introduce the Quarantined Local Search, a three-phase local algorithm that separates the construction of an initial boundary from the later corner-closure process and controls adaptive negative exposure through bounded pair-test histories. We prove that, for every fixed $δ\in (0,1)$, there exists $C_δ>0$ such that the algorithm embeds a $k\times k$ square grid with $k^2\le (1-δ)n$ in $G(n,p)$ with high probability whenever $p\ge C_δ\sqrt{\ln k/n}$. Thus, for $k^2=Θ(n)$, a density of order $\sqrt{\log n/n}$ is sufficient, a factor of order $\sqrt{\log n}$ above the corresponding $n^{-1/2}$ emergence scale.