random
6950 papers tagged with this keyword
Hamiltonicity of regular sublinear expanders
We say that a $d$-regular graph is a $γ$-expander if for every not too large set of vertices $S$, there are at least $γd |S|$ edges leaving $S$, and we say that a graph $G$ is $γ$-far from bipartite if at least $γe(G)$ edges need to be removed to make it bipartite. We prove that there exists an absolute constant $K$ such that any $n$-vertex $d$-regular $γ$-expander with $d \ge (γ^{-1} \log n)^K$ is Hamiltonian, provided that it is bipartite or $γ$-far from bipartite. As applications, we obtain highly robust versions of recent important results on the Hamiltonicity of Cayley graphs and Kneser graphs. As part of our proof, we prove a random connecting lemma for sublinear expanders which might be of independent interest.
The Rényi entropy of the order of a random permutation
We study the distribution of the order of a random permutation of $[n]$ through the lens of Rényi entropy. In particular, we obtain an asymptotic for the Rényi $q$-entropy of the order in the full range $1 \leq q \leq \infty$. For $q > 1$, our results are quantitatively optimal and reveal a tight connection between the asymptotic behaviour of the Rényi $q$-entropy and arithmetic properties of $n$. Of particular interest are the cases $q = \infty$ and $q = 2$, which correspond to the maximum probability of achieving a particular order and the probability that two independent random permutations have equal orders, respectively. In the former case, we show that the probability in question is asymptotic to $1/n$ and additionally characterise the maximiser for sufficiently large $n$. In the latter case, we determine a minimal and maximal order for the probability as a function of $n$, of respective forms $c/n^2$ and $\log^*n/n^2$. Our results provide an essentially complete answer to a set of questions raised by Acan, Burnette, Eberhard, Schmutz and Thomas, some of which go back to work of Erdős and Turán from the 1960s.
The critical activation density in graph bootstrap percolation
In graph bootstrap percolation, edges of an Erdős-Rényi random graph ${\mathcal G}_{n,p}$ are initially active. Activation spreads to other edges of the complete graph $K_n$ by an iterative process governed by a fixed graph $H$, whereby an edge becomes active whenever it is the only inactive edge in a copy of $H$. If all edges of $K_n$ are eventually activated, we say the process $H$-percolates. The case $H=K_3$ corresponds to the classical sharp threshold for connectivity in ${\mathcal G}_{n,p}$. When $H=K_4$, there are close connections with $2$-neighbor bootstrap percolation from statistical physics. Varying $H$ produces a wide range of behaviors.
In this work, for every graph $H$, we locate the critical $H$-percolation threshold $p_c(n,H)$, answering a question of Balogh, Bollobás, and Morris. Our general methods recover and improve several previous results. The location of $p_c(n,H)$ is related to a critical limiting density $ρ(H)$ of graphs that most efficiently activate a given edge. Introducing the parameter $ρ(H)$ raises several questions. For instance, it remains open whether $ρ(H)$ is computable in general, and its expression appears to indicate when the $H$-percolation threshold is sharp.
On Tournament Anti-Sidorenko Orientations of Trees
An oriented graph $\vec{H}$ is said to be tournament anti-Sidorenko if the homomorphism density of $\vec{H}$ in any tournament $\vec{T}$ is bounded above by the homomorphism density of $\vec{H}$ in a large uniformly random tournament. We prove the following:
(1) Every oriented path with at least three arcs and exactly one non-leaf source or sink vertex is tournament anti-Sidorenko.
(2) An oriented path is tournament anti-Sidorenko if the distance between any leaf vertex and any source or sink vertex is at least two and the distance between any pair of non-leaf source or sink vertices is a multiple of four.
(3) Every spider with exactly three legs admits a tournament anti-Sidorenko orientation.
The first result proves a conjecture posed by He, Mani, Nie, Tung and Wei. The third resolves a problem from the same paper, in fact establishing a substantially more general statement, and provides evidence in support of a conjecture of Fox, Himwich, Mani and Zhou. The second yields the first family of tournament anti-Sidorenko oriented paths which is exponentially large with respect to the number of arcs.
Generalization and Probabilistic Proofs of Some Combinatorial Identities
Using a probabilistic approach, we derive some interesting combinatorial identities involving gamma and beta functions. These results generalize certain well-known combinatorial identities involving binomial coefficients and special functions. In particular, by studying moments of the difference of two gamma and beta random variables, both in the dependent and independent cases, we obtain new combinatorial identities. This approach provides a systematic method to derive further combinatorial identities from probabilistic transformations.
Eventual sign coherence
The sign coherence of $c$-vectors is one of the fundamental theorems of cluster algebras with principal coefficients. In 2019, Gekhtman and Nakanishi posed the asymptotic sign coherence conjecture for arbitrary cluster algebras of geometric type, which says sign coherence should eventually hold in any sufficiently generic infinite mutation sequence. We prove that their conjecture holds almost always for skew-symmetric cluster algebras of arbitrary rank. That is, we prove that with probability $1$, the sequence of $c$-vectors obtained by random mutation of an arbitrary quiver eventually becomes sign-coherent. Our results also establish the conjecture in full generality for many families of quivers by studying a new class of brog quivers.
An algebraic-combinatorial framework for finding the average hitting times in graphs with high regularity
For any given vertices $u$ and $v$ in a graph, the hitting time of a random walk on a finite graph is the number of steps it takes for a random walk to reach vertex $v$ starting at vertex $u$. The expected value of the hitting time is the average hitting time. In this paper, we present an algebraic-combinatorial method for calculating the average hitting time between vertices of finite graphs exhibiting high regularity, along with its applications to multiple graph classes. Our approach exploits a novel connection between maximal-entropy random walks and weight-equitable partitions, providing a unifying framework that strengthens and extends several known results, including Rao's method [Statistics \& Probability Letters, 2013] for computing the hitting time from a vertex to a neighbor under certain symmetries of the starting vertex.
Large $N$ factorization of families of tensor trace-invariants
It was recently proven that, in contrast to their matrix analogues, the moments of a real Gaussian tensor of size N do not in general factorize over their connected components in the asymptotic large N limit. While the original proof of this rather surprising result was not constructive, explicit examples of non-factorizing moments, which are expectation values of trace-invariants, have since then been discovered. We explore further aspects of this problem, with a focus on Haar-distributed (or Gaussian) complex random tensors, which are more directly relevant to quantum information. We start out by exhibiting an explicit example of non-factorizing trace-invariant, thereby filling a gap in the recent literature. We then turn to the opposite question: that of finding interesting families of trace-invariants that do in fact factorize at large N. We establish three main theorems in this regard. The first one provides a sufficient combinatorial bound ensuring large N factorization, that is also simple enough to be applicable to various cases of practical relevance. Our second main result shows that the expectation value of any compatible trace-invariant is dominated by certain tree-like combinatorial structures at large N, which we refer to as tree-like dominant pairings. Our third main theorem establishes that any trace-invariant admitting tree-like dominant pairings does actually factorize at large N. In this way, we are able to prove that various families of trace-invariants that have been previously studied in the literature do factorize at large N. We apply our findings to the theory of multipartite quantum entanglement: to any trace-invariant is associated a multipartite generalization of Rényi entanglement entropy, whose typical expectation value in the uniform random quantum state can be explicitly computed assuming large N factorization.
On Talagrand's Convexity Conjecture
We prove that any centered $1$-subgaussian random vector in $\mathbb{R}^{n}$ can be written as the sum of a universal number of standard Gaussian vectors. Following the work of the second-named author, this solves M. Talagrand's convexity problem, which in turn implies a combinatorial analogue of the problem.
Average Hitting Times and Recurrence STRUCTURES I: Powers of Cycle Graphs
We investigate the average hitting times of simple random walks on the $k$-th power graph $C_N^k$ of the cycle graph $C_N$. First, we show that the average hitting times are characterized by a difference equation corresponding to the graph Laplacian. Next, by using the cyclic symmetry of $C_N^k$, we derive a spectral representation via Fourier analysis. Furthermore, by applying factorization and partial fraction decomposition of the corresponding difference operator, we obtain an explicit formula for the average hitting times consisting of a quadratic term and finitely many correction terms. These correction terms are described by second-order linear recurrence sequences associated with the characteristic polynomials, and can be regarded as natural generalizations of Fibonacci-type sequences. As a consequence, our formulas recover the known results for cycle graphs and squares of cycle graphs in a unified way. Moreover, from the formulas obtained for average hitting times, we derive explicit formulas for the effective resistances, the numbers of spanning trees, the numbers of two-component spanning forests, and the numbers of spanning trees of vertex-identified graphs. In particular, for the third power graph $C_N^3$ of the cycle graph, all of these quantities are written explicitly in terms of complex conjugate Fibonacci-type sequences. Our results clarify structural relations between random walk quantities and combinatorial quantities on cycle power graphs.
Benjamini-Schramm convergence and subtrees of trees
In this paper, we study the asymptotic behaviour of the number of subtrees and the subtree density for a sequence of trees that converges in the Benjamini-Schramm sense. Benjamini-Schramm convergence, also called local weak convergence, describes the local behaviour of a sequence of graphs. Here we show that for a Benjamini-Schramm-convergent sequence of trees, the subtree entropy, i.e., the logarithm of the number of subtrees divided by the order, converges to a constant depending only on the limit. The same holds true for the subtree density, i.e., the probability of a uniformly random vertex being contained in a uniformly random subtree, provided that long paths are ruled out in the limit. Related to this, we show that the subtree density and the average subtree entropy are dense in different parts of the unit interval $[0,1]$ for both general trees and series-reduced trees.
Algorithmic Phase Transition for Large Independent Sets in Dense Hypergraphs
We study the algorithmic tractability of finding large independent sets in dense random hypergraphs. In the sparse regime, much of the natural algorithms can be formulated within either the local or the low-degree polynomial (LDP) framework, and a rich literature has subsequently identified nearly sharp algorithmic thresholds within these classes by exploiting their stability. In the dense setting, however, the algorithmic paradigms are fundamentally different: they are online and thus need not be stable. Perhaps more crucially, even for the classical Erdős-Rényi random graph $G(n,p)$, LDPs are conjectured to fail in the 'easy' regime accessible to online algorithms, thereby challenging their viability for dense models.
Our focus is on two models: (i) finding large independent sets in dense $r$-uniform Erdős-Rényi hypergraphs, and (ii) the more challenging problem of finding large $γ$-balanced independent sets in dense $r$-uniform $r$-partite hypergraphs, where the $i$-th coordinate of $γ\in\mathbb{Q}^r$ specifies the proportion of vertices from $V_i$ in the independent set. For both models, we pinpoint the size of the largest independent set and design online algorithms that achieve a multiplicative approximation factor of $r^{1/(r-1)}$ in the uniform and $(\max_i γ_i)^{-1/(r-1)}$ in the $r$-partite model. Furthermore, we establish matching algorithmic lower bounds, showing that these computational gaps are sharp: no online algorithms can breach these gaps.
Leap generators for composition schemes
Leap generators have been introduced in [Duchon et al.'04] for exact-size random generation of structures in a class of the form $\mathcal{C}=\mathrm{Seq}(\mathcal{B})$ (sequence construction), in the supercritical case. We extend these generators to supercritical composition schemes $\mathcal{C}=\mathcal{A}\circ\mathcal{B}$. Compared to the sequence construction, the obtained exact-size random generator for $\mathcal{C}$ still has linear time complexity (under conditions on the sampling complexity in $\mathcal{A}$ and $\mathcal{B}$), but perfect uniformity of the distribution is lost in general. However the distribution on $\mathcal{C}_n$, called leap distribution, is asymptotically uniform, the total variation distance from the uniform distribution being $(c+o(1))n^{-1/2}$ for an explicit constant $c$. These generators are simple to implement and can be applied to several classes of walks and trees, in particular Pólya trees. Leap generators can also be given for certain critical composition schemes, those relating planar map families, where this time the total variation distance to the uniform distribution is $\sim c\,n^{-1/3}$ for an explicit constant $c$.
Small values of signed harmonic sums and logarithmic means of multiplicative functions
We construct sequences $\{a_n\}_{n\in\mathbb{N}}\in\{-1,1\}^{\mathbb{N}}$ with small values of signed harmonic sums \[ \sum_{n\in\mathcal{A}\cap[1,N]}\frac{a_n}{n}, \] for any reasonably dense subsets $\mathcal{A}\subset\mathbb{N}.$ We apply these methods to further construct completely multiplicative functions $f:\mathbb{N}\to\{-1,1\}$ with unusually small logarithmic partial sums, that is, \[ \sum_{n \leq N}\frac{f(n)}{n} \ll \exp\left(-c_0 \frac{N^{1/3}}{(\log N)^{1/3}} \right) \] holds for infinitely many $N\to\infty$. The proofs combine careful analysis of the small-scale distribution of random harmonic sums over subsets of $\mathbb{N}$, together with deterministic inductive arguments inspired by the ``anatomy" of integers.
Thinned Quantile Shares are Universally Feasible
Quantile shares, introduced by Babichenko, Feldman, Holzman, and Narayan [STOC 2024], offer an ordinal, self-maximizing, and interpretable benchmark for fair division of indivisible goods, but their universal feasibility is known only conditional on the rainbow Erdős matching conjecture (EMC). Specifically, Babichenko et al. showed that assuming the rainbow EMC in the near-perfect matching regime, the $(1/2e)$-quantile share is universally feasible. In contrast, a simple argument shows that the $q$-quantile share can be infeasible for any $q > 1/e$. We introduce a one-parameter refinement of quantile shares, the $c$-thinned quantile share, obtained by thinning the inclusion probability in the random benchmark bundle by a factor of $c$ for a fixed constant $c\in(0,1]$. Our main result is that there exists a universal constant $c >0$ for which the $c$-thinned $e^{-c}$-quantile share is unconditionally universally feasible; this is best possible in the sense that for any $c \in (0,1]$, the $c$-thinned $q$-quantile share can be infeasible for any $q > e^{-c}$. Prior to this work, the only nontrivial share known to be universally feasible was Feige's residual maximin share. The thinning viewpoint also lets us remove the factor-two loss in the conditional result for the original quantile share: assuming the rainbow EMC, the $(1/e)$-quantile share is universally feasible.
Asymptotic properties of random monomial ideals
Published in ISSAC 2026
• View Publication
• BIB
This paper focuses on asymptotic properties of random monomial ideals through a statistical viewpoint. It extends the study of redundancy in monomial ideals by analyzing the poset density of the LCM-lattice. We explore how this density behaves across random algebraic models and structured networks. Experimental data reveal that the LCM-lattice exhibits sharp threshold behavior rather than changing smoothly. We observe a strong negative correlation between the number of generators and LCM-lattice density, abruptly separating three distinct regimes: a low-density Taylor-like regime, a high-density redundant regime, and a narrow transition window. We show that increasing the generator degree causes this density drop to occur at lower probability thresholds. We conclude by conjecturing that for equigenerated squarefree ideals, the LCM-lattice density undergoes a sharp phase transition, analogous to the emergence of giant components in hypergraphs. This suggests that the classical, ideal-by-ideal role of the LCM-lattice as a combinatorial invariant also admits a statistical/asymptotic counterpart: in natural random families, redundancy and resolution-complexity indicators concentrate into distinct typical regimes separated by a narrow transition window.
The Distribution Of Subtrees In Dense Graphs And The Roots Of The Subtree Polynomial
For a graph $G$ with $n$ vertices and a positive integer $k \leq n$, let $s_k(G)$ be the number of subtrees (subgraphs that are trees, not necessarily induced) of $G$ with $k$ vertices. The subtree polynomial of $G$ is $S(G;x) = \sum_{k=1}^n s_k(G) x^k$. In this paper, we consider dense connected graphs with a minimum degree that is linear in the number of vertices. We prove that the number of missing vertices in a random subtree is asymptotically Poisson-distributed and deduce that all the roots of the subtree polynomial have to be close to $0$.
Optimal Hardness of Online Algorithms for Large Common Induced Subgraphs
We study the problem of efficiently finding large common induced subgraphs of two independent Erdős--Rényi random graphs $G_1, G_2 \sim \mathbb{G}(n,1/2)$. Recently, Chatterjee and Diaconis showed that the largest common induced subgraph of $G_1$ and $G_2$ has size $(4-o(1))\log_2 n$ with high probability. We first show that a simple greedy online algorithm finds a common induced subgraph of $G_1$ and $G_2$ of size $(2-o(1)) \log_2 n$ with high probability. Our main result shows that no online algorithm can find a common induced subgraph of $G_1$ and $G_2$ of size at least $(2+\varepsilon) \log_2 n$ with probability bounded away from $0$ as $n \to \infty$. Together, these results provide evidence that this problem exhibits a computation-to-optimization gap. To prove the impossibility result, we show that the solution space of the problem exhibits a version of the (multi) overlap gap property (OGP), and utilize an interpolation argument recently developed by Gamarnik, Kizildağ, and Warnke that connects OGP and online algorithms.
A universal dichotomy for concentration in randomly colored graphs
Let $ζ$ be Euclidean norm of the degree sequence of a graph normalized by the graph size. We prove that when the vertices of a graph are randomly colored with $s$ colors such that the fraction of vertices in each color class is bounded away from zero, only two asymptotic regimes emerge. If $ζ=o(1)$, then the sizes of the subgraphs induced by the color classes concentrate around their expected values. If $ζ=Θ(1)$, then concentration depends on the color balance: for colorings with persisting imbalance, the total number $M$ of monochromatic edges stays bounded away from its mean with positive probability; otherwise, for vanishing imbalance, $M$ still concentrates. The same dichotomy holds for a broad class of randomly colored random graphs.
Properties of tensorial free cumulants
In the past two years, several points of view have been proposed to address the question of the generalization of the theory of free probability to random tensors with different invariances, and it is unclear at this point whether they lead to the same notions of tensorial free cumulants and freeness. One way to approach this problem, developed by Collins, Gurau and the second named author for local unitary invariant random tensors, relies on finite size quantities involving averages over the invariance group, and whose asymptotics naturally possess the properties expected for tensorial generalizations of free cumulants of arbitrary orders. At this point, this approach has only been carried out for certain distributions, and for a subset of the moments that define such theories, and a more systematic and exhaustive study is lacking.
This is the program initiated in this paper: we link this approach to the one proposed by Nechita and Park; extend a number of their results as well as those of the aforementioned paper to arbitrary orders of fluctuations, thereby generalizing higher order free cumulants; push further the study of distributions with larger invariance groups; detail the link with the asymptotics of the free-energies of the tensor HCIZ and BGW integrals; and provide formulae for tensorial free cumulants of products of tensors.
Another important question is that of the definition of concrete distributions whose tensorial free-cumulants take non-trivial values. We compute the tensorial free cumulants for Gaussian random tensors with non-trivial covariances, and show that they provide such examples.