random
6950 papers tagged with this keyword
On supersaturation in the Erdős--Sós problem
The following classical question in extremal set theory is due to Erd\H os and Sós: what is the size of the largest family $\mathcal F\subset {[n]\choose k}$ with no two sets $F_1,F_2\in \mathcal F$ such that $|F_1\cap F_2| = t$? In this paper, we address a supersaturation question for this extremal function. For a family $\mathcal F\subset {[n]\choose k}$ of a fixed size $\ell$, what is the smallest number of pairs $F_1,F_2\in \mathcal F$ with $|F_1\cap F_2|=t$ it may induce? For fixed $k$ and $n\to \infty$, we find the exact threshold when the minimum number of pairs matches the expected number of pairs in a random $\ell$-element family up to a constant factor. We also find an exact answer for $\ell$ slightly above the extremal function.
Boltzmann sampling and optimal exact-size sampling for directed acyclic graphs
We propose two efficient algorithms for generating uniform random directed acyclic graphs, including an asymptotically optimal exact-size sampler that performs $\frac{n^2}{2} + o(n^2)$ operations and requests to a random generator. This was achieved by extending the Boltzmann model for graphical generating functions and by using various decompositions of directed acyclic graphs. The presented samplers improve upon the state-of-the-art algorithms in terms of theoretical complexity and offer a significant speed-up in practice.
Almost All Vectorial Functions Have No Extended-Affine Symmetries
We prove that asymptotically almost all vectorial functions over finite fields have trivial extended-affine stabilizers. As a consequence, the number of EA-equivalence classes is asymptotically equal to the naive estimate, namely the total number of functions divided by the size of the EA-group, with vanishing relative error. Furthermore, we derive upper bounds on collision probabilities for both extended-affine and CCZ equivalences. For EA-equivalence, we leverage the trivial-stabilizer result to establish a matching lower bound, yielding a tight asymptotic formula that shows two independently sampled functions are EA-equivalent with super-exponentially small probability. The results validate random sampling strategies for cryptographic primitive design and show that functions with nontrivial EA-symmetries form an exponentially rare subset.
Almost all graphs are vertex-minor universal
Answering a question of Claudet, we prove that the uniformly random graph $G\sim \mathbb G(n, 1/2)$ is $Ω(\sqrt n)$-vertex-minor universal with high probability. That is, for some constant $α\approx 0.911$, any graph on any $α\sqrt n$ specified vertices of $G$ can be obtained as a vertex-minor of $G$. This has direct implications for quantum communications networks: an $n$-vertex $k$-vertex-minor universal graph corresponds to an $n$-qubit $k$-stabilizer universal graph state, which has the property that one can induce any stabilizer state on any $k$ qubits using only local operations and classical communications.
We further employ our methods in two other contexts. We obtain a bipartite pivot-minor version of our main result, and we use it to derive a universality statement for minors in random binary matroids. We also introduce the vertex-minor Ramsey number $R_{\mathrm{vm}}(k)$ to be the smallest value $n$ such that every $n$-vertex graph contains an independent set of size $k$ as a vertex-minor. Supported by our main result, we conjecture that $R_{\mathrm{vm}}(k)$ is polynomial in $k$. We prove $Ω(k^2) \leq R_{\mathrm{vm}}(k) \leq 2^k - 1$.
An Erdős problem on random subset sums in finite abelian groups
Let $f(N)$ denote the least integer $k$ such that, if $G$ is an abelian group of order $N$ and $A \subseteq G$ is a uniformly random $k$-element subset, then with probability at least $\tfrac12$ the subset-sum set $\{ \sum_{x \in S} x : S \subseteq A \}$ equals $G$. In 1965, Erdős and Rényi proved that for all $N$, $$ f(N) \le \log_2 N + \left(\frac{1}{\log 2}+o(1)\right)\log\log N. $$ Erdős later conjectured that this bound cannot be improved to $f(N)\le \log_2 N+o(\log\log N)$. In this paper we confirm this conjecture by showing that, for primes $p$, $$ f(p)\ge \log_2 p+\left(\frac{1}{2\log 2}+o(1)\right)\log\log p. $$ This work is an outcome of human--AI collaboration: the original qualitative proof was generated autonomously by ChatGPT-5.2 Pro, while the quantitative refinement was developed by the authors.
On oriented Turán problems
The oriented Turán number of a given oriented graph $\overrightarrow{F}$, denoted by $\exo(n,\overrightarrow{F})$, is the largest number of arcs in $n$-vertex $\overrightarrow{F}$-free oriented graphs. This concept could be seen as an oriented version of the classical Turán number.
In this paper, we first prove several propositions that give exact results for several oriented graphs. In particular, we determine all exact values of $\exo(n,\overrightarrow{F})$ for every oriented graph $\overrightarrow{F}$ with at most three arcs and sufficiently large $n$. After that, we prove a stability result and use it to determine the Turán number of an orientation of $C_4$. Finally, we prove oriented versions of the random zooming theorem by Fernández, Hyde, Liu, Pikhurko and Wu and the almost regular subgraph theorem by Erdős and Simonovits, and use them to obtain an oriented version of the Füredi-Alon-Krivelevich-Sudakov Theorem, which generalizes the famous KST Theorem.
Winning in the Limit: Average-Case Committee Selection with Many Candidates
We study the committee selection problem in the canonical impartial culture model with a large number of voters and an even larger candidate set. Here, each voter independently reports a uniformly random preference order over the candidates. For a fixed committee size $k$, we ask when a committee can collectively beat every candidate outside the committee by a prescribed majority level $α$. We focus on two natural notions of collective dominance, $α$-winning and $α$-dominating sets, and we identify sharp threshold phenomena for both of them using probabilistic methods, duality arguments, and rounding techniques.
We first consider $α$-winning sets. A set $S$ of $k$ candidates is $α$-winning if, for every outside candidate $a \notin S$, at least an $α$-fraction of voters rank some member of $S$ above $a$. We show a sharp threshold at \[ α_{\mathrm{win}}^\star = 1 - \frac{1}{k}. \] Specifically, an $α$-winning set of size $k$ exists with high probability when $α< α_{\mathrm{win}}^\star$, and is unlikely to exist when $α> α_{\mathrm{win}}^\star$.
We then study the stronger notion of $α$-dominating sets. A set $S$ of $k$ candidates is $α$-dominating if, for every outside candidate $a \notin S$, there exists a single committee member $b \in S$ such that at least an $α$-fraction of voters prefer $b$ to $a$. Here we establish an analogous sharp threshold at \[ α_{\mathrm{dom}}^\star = \frac{1}{2} - \frac{1}{2k}. \] As a corollary, our analysis yields an impossibility result for $α$-dominating sets: for every $k$ and every $α> α_{\mathrm{dom}}^\star = 1 / 2 - 1 / (2k)$, there exist preference profiles that admit no $α$-dominating set of size $k$. This corollary improves the best previously known bounds for all $k \geq 2$.
Vigemers: on the number of $k$-mers sharing the same XOR-based minimizer
In bioinformatics, minimizers have become an inescapable method for handling $k$-mers (words of fixed size $k$) extracted from DNA or RNA sequencing, whether for sampling, storage, querying or partitioning. According to some fixed order on $m$-mers ($m<k$), the minimizer of a $k$-mer is defined as its smallest $m$-mer -- and acts as its fingerprint. Although minimizers are widely used for partitioning purposes, there is almost no theoretical work on the quality of the resulting partitions. For instance, it has been known for decades that the lexicographic order empirically leads to highly unbalanced partitions that are unusable in practice, but it was not until very recently that this observation was theoretically substantiated. The rejection of the lexicographic order has led the community to resort to (pseudo-)random orders using hash functions. In this work, we extend the theoretical results relating to the partitions obtained by the lexicographical order, departing from it to a (exponentially) large family of hash functions, namely where the $m$-mers are XORed against a fixed key. More precisely, provided a key $γ$ and a $m$-mer $w$, we investigate the function that counts how many $k$-mers admit $w$ as their minimizer (i.e. where $w\oplusγ$ is minimal among all $m$-mers of said $k$-mers). This number, denoted by $π_k^γ(w)$, represents the maximum size of the bucket associated with $w$, if all possible $k$-mers were to be seen and partitioned. We adapt the (lexicographical order) method of the literature to our framework and propose combinatorial equations that allow to compute, using dynamic programming, $π_k^γ(w)$ in $O(km^2)$ time and $O(km)$ space.
Minimum Number of Monochromatic Subgraphs of a Random Graph
We consider the problem of minimizing the number of monochromatic subgraphs of a random graph, when each node of the host graph is assigned one of the two colors. Using a recently discovered contiguity between appearance of strictly balanced subgraphs $F$ in a random graph, and random hypergraphs where copies of $F$ are generated independently, we show that the minimum value converges to a limit, when the expected number of copies of $F$ is linear in the number of nodes $|V|$. Furthermore, using the connections with mean field spin glass models, we obtain an asymptotic expression for this limit as the normalized expected number of copies of $F$ and the size of $F$ diverge to infinity.
On the distribution of additive energy revisited
This paper extends the investigation of energy distribution in finite settings, which is related to the results established in [H]. We analyze the distribution of multiplicative energies using Fourier analytical methods and random structures. Our results provide new structural insights into energy phenomena in finite fields, complementing the earlier discrete analysis. Additionally, we provide an estimate for the smallest $k$ such that the $k$-fold product set $A^k$ covers the entire field $\mathbb{F}$, given that $A$ has small doubling.
A note on multicolour Ramsey numbers and random sphere graphs
The Ramsey number $r(t;\ell)$ is the smallest $n$ such that every $\ell$-coloring of the edges of $K_n$ gives a monochromatic $K_{t}$. In recent years, there have been several improvements on asymptotic lower bounds for these numbers when $\ell\geq 3$. This started with a breakthrough result of Conlon and Ferber, followed by further improvements of Wigderson and then Sawin. Building on the previous approaches, Sawin used blowups of an unbalanced binomial random graph to show that there is some explicit constant $δ_*\approx 0.383796$ such that $r(t;\ell)\geq 2^{δ_*(\ell-2)t+t/2+o(t)}$. In this short note, we show that one can get an exponential improvement in this bound by replacing the use of a binomial random graph with a random sphere graph, a model which which has recently been applied by Ma, Shen and Xie in a breakthrough on lower bounds for (2-colour) Ramsey numbers in the (slightly) off-diagonal setting.
On the strength of connectedness of unions of random graphs
Let $G_1,\dots, G_m$ be independent identically distributed random subgraphs of the complete graph ${\cal K}_n$. We analyse the threshold behaviour of the strength of connectedness of the union $\cup_{i=1}^mG_i$ defined on the vertex set of ${\cal K}_n$. Let $a=\min\{t\ge 1:\, {\bf P}\{δ(G_1)=t>0\}\}$ be the minimal non zero vertex degree attained with positive probability. Given $k\ge 0$ let $λ(k)=\ln n+k\ln\frac{m}{n}-\frac{m}{n} {\bf E} X$, where $X$ stands for the number of non isolated vertices of $G_1$. Letting $n,m\to+\infty$ we show that ${\bf P}\{\cup_{i=1}^mG_i$ is $a(k+1)$-connected$\} \to 1 $ for $λ(k)\to -\infty$, and ${\bf P}\{\cup_{i=1}^mG_i$ is $ak+1$-connected$\} \to 0 $ for $λ(k)\to +\infty$. In particular, the connectivity strength of the union graph $\cup_{i=1}^mG_i$ increases in steps of size $a$. Our results are obtained in a more general setting where the contributing random subgraphs do not need to be identically distributed.
Lecture Notes on Edge Universality for Random Regular Graphs
The purpose of this note is to explain the structure, general strategy, and main ideas of the proof in the work of Huang, McKenzie, and Yau (2024) on the Ramanujan property and edge universality of random regular graphs. The core of the argument is the derivation of self-consistent equations and a microscopic version of the loop equations for random $d$-regular graphs. We first recall the local law for random $d$-regular graphs, and then illustrate the main ideas behind the derivation of the self-consistent equations and the first loop equation.
Natural graph spectra
In 2003, van Dam and Haemers posed a fundamental question in spectral graph theory: does there exist a ``sensible'' matrix whose spectrum determines a random graph up to isomorphism? This paper introduces the class of {\em natural graph matrices}, which are matrices defined by applying a fixed sequence of elementary operations to the adjacency matrix. This class includes many standard matrices such as the adjacency matrix, the Seidel matrix, the Laplacian matrix, and the distance matrix. We give an affirmative answer to the question of van Dam and Haemers by proving the existence of a natural graph matrix whose spectrum determines random graphs up to isomorphism. The proof introduces a new algebraic framework called {\em double algebras}, which provides a simple sufficient condition for spectral determination. This sufficient condition is then shown to hold for random graphs.
Exact cospectrality probabilities for uniform random matrices
We study the conjugation action of orthogonal matrices on symmetric random matrices. Given a fixed orthogonal matrix over an algebraic number field and a random matrix with entries sufficiently uniform in the ring of integers, we wonder what the probability is that the conjugate is again integral. Our main result establishes an exact formula for this probability in terms of the Smith ideals associated to the orthogonal matrix.
As an illustrative application, we establish exact formulas for the expected number of rational orthogonal matrices that preserve the integrality of a random matrix for every fixed denominator in dimensions two and three. Notably, the dependence on the denominator turns out to be non-monotone due to number-theoretic fluctuations. We also prove bounds on the probability of rational cospectrality with bounded but arbitrarily large denominator.
Thresholds vs. expectation thresholds for non-spanning graphs
The threshold $p_c(H)$ for the event that the binomial random graph $G_{n,p}$ contains a copy of a graph $H$ is the unique $p$ for which $\mathbb{P}(H \subseteq G_{n,p}) = 1/2$, and the fractional expectation threshold $q_f(H)$ is roughly the best lower bound on $p_c(H)$ using simple expectation considerations. All previously known $H$'s with $p_c(H)$ substantially larger than $q_f(H)$ have the property that $v_H > n/2$ (where $v_H$ is the number of vertices of $H$). We construct small graphs whose threshold for containment in $G_{n,p}$ is of different order than their corresponding fractional expectation threshold: there is a constant $c > 0$ such that for any $m \; (\leq n)$, there is a graph $H$ with $v_H = m$ and $p_c(H) > q_f(H) c \log^{1/2}(v_H).$
Community detection in network using Szegedy quantum walk
In a network, the vertices with similar characteristics construct communities. The vertices in a community are well-connected. Detecting the communities in a network is a challenging and important problem in the theory of complex networks. One approach to solving this problem uses the classical random walks on graphs. In quantum computing, quantum walks are the quantum mechanical counterparts of classical random walks. In this article, we employ a variant of Szegedy's quantum walk to develop a procedure for discovering the communities in networks. The limiting probability distribution of quantum walks assists us in determining the inclusion of a vertex in a community. We apply our community detection procedure to a variety of graphs and social networks, including the relaxed caveman graph, $l$-partition graph, Karate club graph, and the dolphin's social network, among others.
Comparability in Bruhat orders
We determine the sharp asymptotic scale of the probability that two uniformly random permutations are comparable in weak Bruhat order, showing that $\mathbb{P}(σ_1 \preceq_W σ_2)=\exp\Bigl(\bigl(-\tfrac12+o(1)\bigr)\,n\log n\Bigr)$. This significantly improves both of the best known bounds, due to Hammett and Pittel, which placed this probability between $\exp((-1+o(1))n\log n)$ and $\exp(-Θ(n))$. We also improve the best known lower bound for strong Bruhat-order comparability, due to the same authors, by proving a subexponential lower bound. The Bruhat orders are natural partial orders on the symmetric group, appearing in wide-reaching settings including the geometry of flag manifolds, the representation theory of $\mathfrak{S}_{n}$, and the combinatorics of the permutohedron. To analyze weak Bruhat order, we combine classic analytic, tableau-theoretic, and poset-theoretic tools, including the Plancherel measure and the RSK bijection. For strong Bruhat order we construct large families where members are comparable with high probability. Our proof that members are comparable combines the tableau criterion with an associated random-walk-type deviation process.
$q$-deformations of the Tsetlin library
The Tsetlin library is a random shuffling process on permutations of $n$ letters, where each letter $i$ can be interpreted as a book; book $i$ is brought to the front of the bookshelf with an assigned probability $x_i$. We define a $q$-deformation of the Tsetlin library by replacing the symmetric group action on permutations by the action of the type $A$ Iwahori-Hecke algebra. We compute the stationary distribution and spectrum of this Markov chain by relating it to a Markov chain on complete flags over the finite field vector space $\mathbb{F}_q^n$ and applying techniques from semigroup theory. We also generalize the $q$-Tsetlin library to words (with repeated letters), and compute its stationary distribution and spectrum.
Inverse Theorems for Point-Sphere Incidences over Finite Fields
We prove the first inverse theorem for point--sphere incidence bounds over finite fields in dimensions $d \ge 3$, showing that near-extremality forces algebraic rigidity. While sharp upper bounds have been known for over a decade, the structural characterization of configurations that nearly saturate these bounds has remained completely open.
Specifically, if a configuration of points $P \subset \mathbb{F}_q^d$ and spheres $\mathscr{S}$ exceeds the random incidence baseline by a factor $K$ in the moderate-sphere regime, then there exists a subset $P' \subset P$ of size \[ |P'| \gtrsim K q^{(d-1)/2} \] contained in the zero set of a polynomial $F$ of degree at most $C K^C$. This yields a one-sided result: we identify necessary algebraic obstructions to extremality, without asserting sufficiency.
The proof introduces a new rigidity mechanism for finite-field incidence geometry. Near-extremality manifests as persistent overlap among bisector hyperplanes. We prove that such persistent coincidence cannot occur without forcing the emergence of bounded-complexity algebraic certificates. The argument proceeds by isolating high-overlap layers via energy stratification, followed by a projective polynomial dichotomy applied to the set of normal directions.
As applications, we obtain the first inverse-type results for pinned distance and dot-product problems over finite fields, resolving structural questions inaccessible to standard polynomial or Fourier-analytic methods.