arXiv++ Combinatorics

In this paper we prove a generalisation of the concentration-of-measure phenomenon in the discrete cube. In this setting, the concentration-of-measure phenomenon states that for every subset $\mathcal{A}$ of the discrete cube, its sum with a Hamming ball of suitably large radius $r$ -- or equivalently, its $r$-expansion -- results in a substantial increase in measure. We define a notion of `$(γ,C)$-well-spread' for subsets of the discrete cube $\{0,1\}^n$ for which the following holds: for all $ε$, there exist constants $γ$ and $C$ such that for every $\mathcal{A}$ with $|\mathcal{A}| \geq \epsilon2^n$ and every $(γ,C)$-well-spread $S$, $|\mathcal{A} + S|$ is at least $(1-ε)2^n$. We use this result to prove new non-trivial upper bounds to two intersection problems: how many subsets (or subgraphs) can one take from $[n]$ or $[\binom{n}{2}]$ such that every pair's intersection contains some given substructure? We prove non-trivial upper bounds for the $C_4$-intersection problem and the $4$-AP-intersection problem. We also give upper bounds that tend to $0$ for the $H$-intersection problem and $k$-AP-intersection problem as the number of edges and $k$ tend to infinity. Previously, non-trivial upper bounds were only known for non-bipartite $H$ and nothing was known for the $k$-AP-intersection problem.

We consider a random recursive DAG $G_n$ on the vertex set $[n]$ where every vertex $i\geq 2$ has out-degree $d$, with the targets chosen uniformly at random among the earlier $i-1$ vertices. For this model, we propose a novel way to investigate the descendants of $n$ (which have recently been studied in a paper by Janson) through what we call ancestry processes. The ancestor process $a_i(n)$ of a vertex $i$ is defined as the number of ancestors of $i$ in $G_n$, and is closely related to the evolutions of multi-draw Pólya urns. Results on the descendants can then be obtained via asymptotic results on functionals of the ancestry processes, generally leading to technical integral expressions. This method yields the answer to two questions posed by Janson, the first on the size of the joint descendants of vertices $n$ and $n+1$, and the other on the location of the earliest non-descendant. We further prove limit theorems for the ancestry processes $a_i(n)$ depending on $i$, determine the location of the earliest source node, and provide an alternative proof of a first-moment result contained in Janson's work.

A graph homomorphism is an integer-valued function on the vertex set of a graph that assigns values differing by exactly one to adjacent vertices. We consider uniformly random homomorphisms on general finite trees, conditioned to take the value zero at all leaves, and study the distribution of the value at the root. Our main result is a stochastic comparison, both from above and below, between the absolute values of the homomorphism value at the root and certain discrete Gaussian-like random variables. In particular, we obtain a subgaussian tail bound valid for all deviations, a matching lower bound that holds up to a certain threshold, and upper and lower variance bounds that differ by a constant factor. These bounds depend solely on the effective resistance between the root and the leaves in the associated electrical network. As a consequence, in the setting of infinite locally finite trees, we obtain that the homomorphism model is localized on transient trees and delocalized on recurrent trees. Analogous results are obtained for random integer-valued Lipschitz functions. Our results extend previous results of Benjamini--Häggström--Mossel on homomorphisms on regular trees, of Peled--Samotij--Yehudayoff on Lipschitz functions on regular trees, and of Lammers--Toninelli on homomorphisms on trees of minimum degree at least three.

We study the $p$-colored top-$m$-to-random shuffle on $C_p\wr S_n$ when the block size $m=m_n$ grows with $n$. Let $E_{k_n}^{(m_n)}$ be the number of labels never touched after $k_n$ independent uniform $m_n$-subset draws, and set $b_n=n-m_n$, $q_n=b_n/n$, and $λ_n=nq_n^{k_n}$. We prove that if $λ_n\toλ\in(0,\infty)$ and $b_n\to\infty$, then $E_{k_n}^{(m_n)}\Rightarrow\mathrm{Poisson}(λ)$. Combining this with the exact nested-set reduction for colored top-$m$-to-random shuffles, we obtain growing-block total variation, separation, and integrated likelihood-ratio profiles. In particular, if $Q_{n,p}^{(m_n)}$ is the one-step law and $U_{n,p}$ is uniform on $C_p\wr S_n$, then the separation distance from $(Q_{n,p}^{(m_n)})^{*k_n}$ to $U_{n,p}$ tends to $1-e^{-λ}(1+λ)$ for $p=1$ and to $1-e^{-λ}$ for $p\ge2$. The criterion applies to small blocks, proportional blocks, and near-full blocks.

We study the siblings version of the coupon collector problem. A main collector stops when every coupon type has appeared at least once, duplicates are passed successively to later siblings, and $U_j^N$ denotes the number of empty spaces in collector $j$'s album at the main completion time. We prove three results. First, for every fixed $N$ and $j\ge2$, $\E U_j^N$ is uniquely maximized over positive coupon distributions by the uniform distribution; in fact it decreases strictly along every nonconstant ray from the uniform vector. Second, in the uniform model, $U_j^N$ is stochastically increasing in $N$, and we construct an increasing coupling using top spacings of exponential order statistics. Third, for fixed album indices $2,\ldots,J$, the naturally normalized vector converges jointly to $(W,\ldots,W)$, where $W$ is exponential with mean one. We also derive exact Poissonized and alternating-subset formulae and give a transfer principle for leading expectation asymptotics.

In this paper, we study the so-called log-convergence of graphs defined by Balázs Szegedy (arXiv:1504.00858). We answer his Question 4 affirmatively: the sequence of incidence graphs of projective planes over finite fields log-converges, and the limit coincides with that of a particular random graph model.

We solve large-$N$ Yang--Mills theory on $\mathbb{Z}^d$, for every $d\geq2$, at strong coupling, for structure group $\mathrm{U}(N)$ and for the heat-kernel action. More precisely, we prove that normalized Wilson loop expectations have infinite-volume large-$N$ limits, factorize at leading order, and admit an all-order $1/N$-expansion with exponentially local coefficients, whose leading order characterizes the master field. We also prove an area-law upper bound for the heat-kernel master field, with a stronger coefficientwise version. The proof is based on a rooted heat-kernel master loop equation. Unlike the Wilson-action equation or the two-dimensional Makeenko--Migdal equation, this equation does not close on Wilson loop observables alone; it closes on an extended space of loop observables coupled to compactly supported plaquette decorations. We prove a strong-coupling, order-truncated rooted trajectory expansion and then identify its leading term with the master field. The main inputs are the universal finite-$N$ duality formulas developed in the companion paper \cite{Lem26a} and large-$N$ heat-kernel estimates from \cite{LemMai25,LM2}.

We study the inhomogeneous random graph with preferential attachment kernel and degree distribution with power-law exponent $τ\in(2,3)$ as a representative of the class of graphs of preferential attachment type with infinite variance degrees. Under bond percolation with a positive retention probability independent of the size $n$ of the graph there is a unique macroscopic component with high probability. We therefore investigate percolation probabilities $p_n\downarrow0$. We identify a moving critical window at $p_c \sim βn^{(τ-3)/(2τ-2)}$. Above this window, when $p_n \gg p_c$, the maximal component has size of order $n p^{_{(τ-1)/(3-τ)}}_{_n}$ and it is unique. Below this window, when $n^{1/(1-τ)} \ll p_n \ll p_c$, it is non-unique, star-shaped and has size of order $n^{1/(τ-1)} p_n$. In the critical window itself, the largest component scaled by $\sqrt{n}$ converges in distribution to a positive random variable with a law given in terms of a subcritical Norros-Reittu graph. This behaviour is markedly different from that seen for other classes of scale-free graphs and is conjectured to persist throughout the broad class of growing graphs with infinite variance.

We study the coupon collector's problem in a generalized setting where each draw reveals a fixed number of coupons and the sampling mechanism is required to be \emph{fair}, meaning that every coupon appears with the same frequency among the admissible draws. Grunbaum and Yaakobi conjectured that, among all fair mechanisms with fixed parameters, the fully random model maximizes the expected time to complete coverage. We disprove this conjecture by exhibiting explicit counterexamples arising from finite geometry. In particular, we show that the line set of the Fano plane yields a fair mechanism whose expected coverage time exceeds that of the full model. Further exact and computational results are obtained for projective planes of higher order. In addition, we analyze a simple infinite family of fair mechanisms, the star mechanism, for which the expected coverage time admits a closed form. Depending on the scaling regime, this mechanism can be asymptotically slower or faster than the full model, showing that no universal extremality principle holds for fair mechanisms without additional structural assumptions.

We study the distance between two uniformly chosen points on a uniform random triangulation whose genus g is proportional to the number of faces 2n. We show that the distance rescaled by log(n) converges in probability to a deterministic constant, which answers a conjecture of Budzinski, Chapuy and Louf. The proof relies on the precise study of the volume growth of the ball of radius r for r of order log(n). The main ingredients are the recent local convergence results for uniform triangulations with boundaries and the isoperimetric inequalities obtained by Budzinski and Louf.

We study a general class of self-repelling polymers on $\mathbb Z^2$, including the simple random walk, the self-avoiding walk and the repulsive Domb-Joyce model, in the presence of a constant force field acting on each monomer. Conditioning the polymer to have fixed length and fixed endpoints, we identify the limiting free energy and prove that typical trajectories concentrate exponentially near a deterministic macroscopic shape. This shape is characterized as the unique minimizer of a variational problem and can be interpreted as a geodesic of a height-dependent Finsler metric. We also analyze two limiting regimes with universal features: for small field strength, in the symmetric case, the geodesic is close to a classical catenary, while for large field strength it converges to a universal polygonal shape governed by the nearest-neighbor lattice constraint.

We introduce a new family of balance indices for phylogenetic networks: the $H_α$ indices, where $α$ is a positive real number. This family includes the $B_2$ index as a special case ($α= 1$) and provides a natural extension of the Sackin index to phylogenetic networks. We show that the $H_α$ indices share many structural properties with the $B_2$ index, most notably a "grafting property" that makes it possible to express the $H_α$ index of a network in terms of the $H_α$ indices of its biconnected components. These properties allow us to identify networks that minimize / maximize $H_α$ for various classes of phylogenetic networks, and to study its distribution for several models of random trees and networks (in particular, Galton-Watson trees and binary Markov branching trees, with a focus on the Yule and PDA models). Finally, we show how local limits can be used to analyze the asymptotic behavior of $H_α$ for large trees and networks, and we obtain general results for the moments of $H_α$ for a broad class of random phylogenetic networks known as blowups of Galton-Watson trees.

We prove an inverse-polynomial spectral-gap bound for the lazy swap chain on binary matrices with prescribed row and column sums. This chain is a standard sampler for fixed-margin null models in ecology, statistics, and network analysis, and its rapid mixing for arbitrary feasible margins was conjectured by Kannan, Tetali, and Vempala in 1997. We show that for every feasible set of margins on an $m\times n$ binary matrix, the lazy swap chain has spectral gap at least $$ \binom{m}{2}^{-1}\binom{n}{2}^{-1}, $$ which is tight in the worst case. The proof compares the swap chain with a two-row heat-bath chain, reduces the analysis from arbitrary $m\times n$ matrices to the case of three rows, and proves the resulting three-row inequality by decomposing functions according to the column-count variable and the associated Johnson harmonic sectors. The proof itself was generated by ChatGPT 5.5 Pro. ChatGPT proposed the whole proof strategy, including the comparison with the two-row heat-bath chain, the reduction to the three-row case, and the decomposition of the three-row function space into the count sector and the Johnson harmonic sectors. It also generated all the technical lemmas and initial proofs. The author's role was to pose the problem, guide the search direction, evaluate the AI-generated arguments, rewrite the proof, and take responsibility for the final form and validity of the result.

We derive a determinantal expression for the inhomogeneous asymmetric five vertex model in a rectangular geometry with arbitrary boundary conditions at the bottom and top. Standard non-intersecting lattice path, or free fermion, approaches are not applicable and the determinantal form thus is not immediate.

In this short article we consider a preferential attachment random graph model with edge steps, studied by Alves, Ribeiro and Sanchis. Starting with an initial graph $\mathbb{G}_1$ formed by a vertex with a self-loop attached to it, the model evolves as follows. At every subsequent (discrete) time step, either with probability $p$ we add a vertex to the graph and connect it to exactly one of the older vertices selected with probability proportional to its degree, or with probability $1-p$ we add one edge between two existing vertices, both selected (independently) with probability proportional to their degrees. Let $ω(\mathbb{G})$ be the clique number of a graph $\mathbb{G}$, i.e.\ the number of vertices in a largest complete subgraph of $\mathbb{G}_{}$. Alves, Ribeiro and Sanchis showed that, for any given $\varepsilon>0$, we have $ω(\mathbb{G}_{2t})\geq t^{\frac{1-p}{2-p}(1-\varepsilon)}$ with high probability (i.e.\ with probability tending to $1$ as $t\rightarrow \infty$). Here we strengthen this bound by showing that, for any function $f:\mathbb{N}\mapsto \mathbb{N}$ that satisfies $f(t)\rightarrow \infty$ as $t\rightarrow \infty$, with high probability \[ω(\mathbb{G}_{2t}) = Ω\left(t^{\frac{1-p}{2-p}}\Big(\log^{\frac{1}{2-p}}(t)f(t)\Big)^{-1}\right).\]

Let us consider a random infinite lower triangular matrix, where the entries on and below the diagonal are i.i.d. uniform random elements of a fixed finite field. We investigate the evolution of the span of the first $n$ rows of this matrix as $n$ grows. Many properties of this evolving subspace can be captured with the help of the verbose persistence diagram, which is a standard tool in stochastic topology and topological data analysis. We give an explicit formula for the distribution of the persistence diagram. We prove a law of large numbers for the distribution of lifetimes. We also describe the fluctuations of the persistent Betti numbers.

For a graph $G$ put $h_r(G)=\max{χ(H):H\subseteq G,\operatorname{girth}(H)\ge r}.$ Erdős and Hajnal asked whether $h_r(G)\to\infty$ as $χ(G)\to\infty$, for every fixed $r\ge4$. We prove this in every fixed polynomial edge-density regime: for all $r\ge4$, $k\ge2$, $P,C>0$, there is $M=M_{r,k}(P,C)$ such that $χ(G)\ge M,\ e(G)\le Cχ(G)^P\Longrightarrow h_r(G)\ge k.$ Quantitatively, after replacing $P$ by $P\vee2$ and $C$ by $C\vee2$, $M_{r,k}(P,C)\le \exp!\left(O_{r,k}\bigl((P+2+\log(C\vee2))^2\bigr)\right),$ and consequently the same conclusion holds throughout the quasi-polynomial range $e(G)\le \exp\bigl(C_0(\logχ(G))^a\bigr),\ 1 < a < 3/2,$ for all sufficiently large $χ(G)$. In each fixed polynomial-density regime we also obtain $f_{P,C}(k,r)\le k^{O_{r,P,C}(1)}.$ The proof combines a chromatic-defect random extraction lemma, compact and near-quadratic sparse-core bases, and a peeling/thinning bootstrap increasing the admissible edge exponent by $1/(r-1)$. We also prove structural saturation results for possible counterexamples, including Moore-strength exact-cycle packings and quadratic saturation in projected colour-pair space. Finally, writing $h_r^{\mathrm f}(G)=\max{χ_{\mathrm f}(H):H\subseteq G,\operatorname{girth}(H)\ge r},$ we develop a fractional random-extraction framework based on Mohar-Wu preservation. We prove sufficient cheap-cycle-killing criteria and verify them for several structured families, including clique-organised families, line graphs of incidence graphs of equal-order generalized quadrangles and generalized hexagons, and the Bohman-Keevash tracking-time triangle-free-process graph. We also isolate a density-free obstruction that any proof using this fractional surgery route must overcome.

We study the asymptotic enumeration of labelled connected multitype graphs in the sparse regime, where both the number of vertices and edges grow linearly and the excess is proportional to the size of the graph. Extending the classical theory of connected graph enumeration to the multitype setting, we consider graphs with prescribed numbers of vertices of each type and prescribed edge counts between each pair of types. Our approach is probabilistic and relies on the theory of inhomogeneous random graphs. In particular, we exploit large-deviation principles and asymptotic estimates for connectedness probabilities to relate the counting problem to the emergence of giant components in suitably tuned supercritical random graphs. From large deviation asymptotics of connected components of inhomogeneous random graphs, we recognize that a connected graph with a given edge statistics corresponds to the (unique) giant component of larger inhomogeneous random graph with a suitably chosen connection kernel. This correspondence allows us to derive the leading exponential asymptotics for the number of connected multitype graphs with fixed type profile and edge matrix. The resulting formula generalizes the asymptotic enumeration results of Bender, Canfield, and McKay for connected sparse graphs to the multitype framework. More broadly, the paper illustrates how probabilistic techniques can provide transparent and effective tools for addressing new combinatorial enumeration problems.

We determine the precise asymptotic number of unlabelled cubic planar graphs with $n$ vertices. Our approach blends generating series methods with computational bounds and probabilistic local large deviation theorems.

A mechanical shuffler consists of $m$ shelves. A deck of $n$ cards, arranged in increasing order, is dealt from the bottom sequentially. Each card is assigned a shelf uniformly at random and placed on the top (bottom) of the existing pile with probability $p$ ($1-p$) independently. We refer to this as asymmetric shelf-shuffle. We find the law $ν_{n, m}^{(p)}$ of the permutation induced by the asymmetric shelf-shuffle and show that the pair consisting of the number of descents and the number of valleys is a sufficient statistic. This generalizes a result of Diaconis, Fulman, and Holmes (Ann. Appl. Prob., 2013) corresponding to the case $p=1/2$. For $p=1/2$, Chen and Ottolini (ECP, 2025) established the cutoff in the total variation distance near $\lfloor n^{5/4}\rfloor$. We establish the cutoff for the asymmetric shelf shuffle. Let $ν_n$ be the uniform measure on the set of all permutations $S_n$ of $\{1, \ldots, n\}$. For a fixed $p\neq 1/2$ and $c>0$, we show that \[\TV\left(ν_{n, \lfloor cn^{3/2}\rfloor }^{(p)}, ν_n\right)=1-2Φ\left(-\frac{|2p-1|}{4\sqrt{3}c}\right)+O_{c, p}(n^{-1/2})\;.\] We also establish the cutoff in the separation distance near $m\approx n^{2}$ and in the relative entropy near $m=n^{3/2}$. In both cases, we also obtain the cutoff profile explicitly.