random
6952 papers tagged with this keyword
Lipschitz functions on weak expanders
Given a connected finite graph $G$, an integer-valued function $f$ on $V(G)$ is called $M$-Lipschitz if the value of $f$ changes by at most $M$ along the edges of $G$. In 2013, Peled, Samotij, and Yehudayoff showed that random $M$-Lipschitz functions on graphs with sufficiently good expansion typically exhibit small fluctuations, giving sharp bounds on the typical range of such functions, assuming $M$ is not too large. We prove that the same conclusion holds under a relaxed expansion condition and for larger $M$, (partially) answering questions of Peled et al. Our techniques involve a combination of Sapozhenko's graph container methods and entropy methods from information theory.
Maximum induced trees and forests of bounded degree in random graphs
Asymptotic behaviour of maximum sizes of induced trees and forests has been studied extensively in last decades, though the overall picture is far from being complete. In this paper, we close several significant gaps: 1) We prove $2$-point concentration of the maximum sizes of an induced forest and an induced tree with maximum degree at most $Δ$ in dense binomial random graphs $G(n,p)$ with constant probability $p$. 2) We show concentration in an explicit interval of size $o(1/p)$ for the maximum size of an induced forest with maximum degree at most $Δ$ for $1/n\ll p=o(1)$. Our proofs rely on both the second moment approach, with the probabilistic part involving Talagrand's concentration inequality and the analytical part involving saddle-point analysis, and new results on enumeration of labelled trees and forests that might be of their own interest.
On a question of Erdős and Gimbel on the cochromatic number
Published in Electron. J. Comb. 31(4), P4.72, 2024
• View Publication
• BIB
In this note, we show that the difference between the chromatic and the cochromatic number of the random graph $G_{n,1/2}$ is not whp bounded by $n^{1/2-o(1)}$, addressing a question of Erdős and Gimbel.
Palette Sparsification via FKNP
A random set $S$ is $p$-spread if, for all sets $T$, $$\mathbb{P}(S \supseteq T) \leq p^{|T|}.$$ There is a constant $C>1$ large enough that for every graph $G$ with maximum degree $D$, there is a $C/D$-spread distribution on $(D+1)$-colorings of $G$. Making use of a connection between thresholds and spread distributions due to Frankston, Kahn, Narayanan, and Park, a palette sparsification theorem of Assadi, Chen, and Khanna follows.
Blowups of triangle-free graphs
Published in Advances in Combinatorics 2025:10, 23pp
• View Publication
• BIB
A highly influential result of Nikiforov states that if an $n$-vertex graph $G$ contains at least $γn^h$ copies of a fixed $h$-vertex graph $H$, then $G$ contains a blowup of $H$ of order $Ω_{γ,H}(\log n)$. While the dependence on $n$ is optimal, the correct dependence on $γ$ is unknown; all known proofs yield bounds that are polynomial in $γ$, but the best known upper bound, coming from random graphs, is only logarithmic in $γ$. It is a major open problem to narrow this gap. We prove that if $H$ is triangle-free, then the logarithmic behavior of the upper bound is the truth. That is, under the assumptions above, $G$ contains a blowup of $H$ of order $Ω_H (\log n/{\log(1/γ)})$. This is the first non-trivial instance where the optimal dependence in Nikiforov's theorem is known. As a consequence, we also prove an upper bound on multicolor Ramsey numbers of blowups of triangle-free graphs, proving that the dependence on the number of colors is polynomial once the blowup is sufficiently large. This shows that, from the perspective of multicolor Ramsey numbers, blowups of fixed triangle-free graphs behave like bipartite graphs.
A phase transition for the cokernels of random band matrices over the p-adic integers
Let $\mathbf{B}_n$ be an $n\times n$ Haar-uniform band matrix over $\mathbb{Z}_p$ with band width $w_n$. We prove that $\text{cok}(\mathbf{B}_n)$ has Cohen-Lenstra limiting distribution if and only if \[\lim_{n\to\infty} \left(w_n-\log_p(n)\right)=+\infty.\]
An Exceptional Convolutional Recurrence
A quadratic recurrence of Faltung type, arising via ancestral path lengths of random binary trees, turns out to be related to the Painlevé I differential equation.
The distribution of the length of the longest path in random acyclic orientations of a complete bipartite graph
Randomly sampling an acyclic orientation on the complete bipartite graph $K_{n,k}$ with parts of size $n$ and $k$, we investigate the length of the longest path. We provide a probability generating function for the distribution of the longest path length, and we use Analytic Combinatorics to perform asymptotic analysis of the probability distribution in the case of equal part sizes $n = k$ tending toward infinity. We show that the distribution is asymptotically Gaussian, and we obtain precise asymptotics for the mean and variance. These results address a question asked by Peter J. Cameron.
Keywords: bipartite graph, directed graph, random graph, acyclic orientation, poly-Bernoulli numbers, lonesum matrices, generating function, analytic combinatorics, asymptotics.
Fixation of leadership in non-Markovian growth processes
Consider a model where $N$ equal agents possess `values', belonging to $\mathbb{N}_0$, that are subject to incremental growth over time. More precisely, the values of the agents are represented by $N$ independent, increasing $\mathbb{N}_0$ valued processes with random, independent waiting times between jumps. We show that the event that a single agent possesses the maximum value for all sufficiently large values of time (called `leadership') occurs with probability zero or one, and provide necessary and sufficient conditions for this to occur. Under mild conditions we also provide criteria for a single agent to become the unique agent of maximum value for all sufficiently large times, and also conditions for the emergence of a unique agent having value that tends to infinity before `explosion' occurs (i.e. conditions for `strict leadership' or `monopoly' to occur almost surely). The novelty of this model lies in allowing non-exponentially distributed waiting times between jumps in value. In the particular case when waiting times are mixtures of exponential distributions, we improve a well-established result on the `balls in bins' model with feedback, removing the requirement that the feedback function be bounded from below and also allowing random feedback functions. As part of the proofs we derive necessary and sufficient conditions for the distribution of a convergent series of independent random variables to have an atom on the real line, a result which we believe may be of interest in its own right.
The Reverse Littlewood--Offord problem of Erdős
Let $ε_{1},\ldots,ε_{n}$ be a sequence of independent Rademacher random variables. We prove that there is a constant $c>0$ such that for any unit vectors $v_1,\ldots,v_n\in \mathbb{R}^2$,
$$\Pr\left[||ε_1 v_1+\ldots+ε_n v_n||_2 \leq \sqrt{2}\right]\geq \frac{c}{n}.$$
This resolves the only remaining conjecture from the seminal paper of Erdős on the Littlewood--Offord problem, and it is sharp both in the sense that the constant $\sqrt{2}$ cannot be reduced and that the magnitude $n^{-1}$ is best possible. We also prove polynomial bounds for the analogous problem in higher dimensions.
Realizability of hypergraphs and high-dimensional contingency tables with random degrees and marginals
A result of Deza, Levin, Meesum, and Onn shows that the problem of deciding if a given sequence is the degree sequence of a 3-uniform hypergraph is NP complete. We tackle this problem in the random case and show that a random integer partition can be realized as the degree sequence of a $3$-uniform hypergraph with high probability. These results are in stark contrast with the case of graphs, where a classical result of Erdős and Gallai provides an efficient algorithm for checking if a sequence is a degree sequence of a graph and a result of Pittel shows that with high probability a random partition is not the degree sequence of a graph.
By the same method, we address analogous realizability problems about high-dimensional binary contingency tables. We prove that if $(λ,μ,ν)$ are three independent random partitions then with high probability one can construct a three-dimensional binary contingency table with marginals $(λ,μ,ν)$. Conversely, if one insists that the contingency table forms a pyramid shape, then we show that with high probability one cannot construct such a contingency table. These two results confirm two conjectures of Pak and Panova.
When invariance implies exchangeability (and applications to invariant Keisler measures)
We study the problem of when, given a countable homogeneous structure $M$ and a space $S$ of expansions of $M$, every $\mathrm{Aut}(M)$-invariant probability measure on $S$ is exchangeable (i.e. invariant under all permutations of the domain). We show, for example, that if $M$ is a finitely bounded homogeneous $3$-hypergraph with free amalgamation (including the generic tetrahedron-free $3$-hypergraph), all $\mathrm{Aut}(M)$-invariant random expansions by graphs are exchangeable. Moreover, we extend and recover both the work of Angel, Kechris, and Lyons on invariant random orderings and some of the work of Crane and Towsner, and Ackerman on relative exchangeability.
In the second part of the paper, we apply our results to the study of invariant Keisler measures, which we prove to be particular invariant random expansions. Thus, we describe the spaces of invariant Keisler measures of various homogeneous structures, obtaining the first results of this kind since the work of Albert and Ensley. We also show there are $2^{\aleph_0}$ supersimple homogeneous ternary structures for which there are non-forking formulas which are universally measure zero.
A logical limit law for the sequential model of preferential attachment graphs
For a sequence of random graphs, the limit law we refer to is the existence of a limiting probability of any graph property that can be expressed in terms of predicate logic. A zero-one limit law is shown by Shelah and Spencer for Erdös-Renyi graphs given that the connection rate has an irrational exponent. We show a limit law for preferential attachment graphs which admit a Pólya urn representation. The two extreme cases of the parametric model, the uniform attachment graph and the sequential Barabási-Albert model, are covered separately as they exhibit qualitative differences regarding the distribution of cycles of bounded length in the graph.
Probability graphons and P-variables: two equivalent viewpoints for dense weighted graph limits
We develop further the graph limit theory for dense weighted graph sequences. In particular, we consider probability graphons, which have recently appeared in graph limit theory as continuum representations of weighted graphs, and we introduce P-variables, which also appear in the context of the Aldous-Hoover theorem for exchangeable infinite random arrays, as an alternative continuum representation for weighted graphs. In particular, we explain how P-variables are related to probability graphons in a similar way in which random variables are related to probability measures. We define a metric for P-variables (inspired by action convergence in the graph limit theory of sparse graph sequences) and show that convergence of P-variables in this metric is equivalent to probability graphons convergence. We exploit this equivalence to translate several results from the theory of probability graphons to P-variables. In addition, we prove several properties of P-variables convergence, thus showing new properties also for probability graphons convergence and demonstrating the power of the connection between probability graphons and P-variables. Furthermore, we show how P-variables convergence can be easily modified and generalised to cover other combinatorial structures such as bipartite graphs and hypergraphs.
Clique structure and other network properties of the tensor product of Erdős-Rényi graphs
We analyze the number of cliques of given size and the size of the largest clique in tensor product $G \times H$ of two Erdős-Rényi graphs $G$ and $H$. Then an extended clustering coefficient is introduced and is studied for $G \times H$. Restriction to the standard clustering coefficient has a direct relation to the local efficiency of the graph, and the results are also interpreted in terms of the efficiency. As a last statistic of interest, the number of isolated vertices is analyzed for $G \times H$. The paper is concluded with a discussion of the modular product of random graphs, and the relation to the maximum common subgraph problem.
Poisson approximation for large permutation groups
Published in Advances in Applied Mathematics Volume 167, Article 102883 (2025)
• View Publication
• BIB
Let $G_{k,n}$ be a group of permutations of $kn$ objects which permutes things independently in disjoint blocks of size $k$ and then permutes the blocks. We investigate the probabilistic and/or enumerative aspects of random elements of $G_{k,n}$. This includes novel limit theorems for fixed points, cycles of various lengths, number of cycles and inversions. The limits are compound Poisson distributions with interesting dependence structure.
From Maximum Cut to Maximum Independent Set
The Maximum Cut (Max-Cut) problem could be naturally expressed either in a Quadratic Unconstrained Binary Optimization (QUBO) formulation, or as an Ising model. It has long been known that the Maximum Independent Set (MIS) problem could also be related to a specific Ising model. Therefore, it would be natural to attack MIS with various Max-Cut/Ising solvers. It turns out that this strategy greatly improves the approximation for the independence number of random Erdős-Rényi graphs. It also exhibits perfect performance on a benchmark arising from coding theory. These results pave the way for further development of approximate quantum algorithms on MIS, and specifically on the corresponding coding problems.
Normal approximation for subgraph count in random hypergraphs
A non-uniform and inhomogeneous random hypergraph model is considered, which is a straightforward extension of the celebrated binomial random graph model $\mathbb G(n, p)$. We establish necessary and sufficient conditions for small hypergraph count to be asymptotically normal, and complement them with convergence rate in both the Wasserstein and Kolmogorov distances. Next we narrow our attention to the homogeneous model and relate the obtained results to the fourth moment phenomenon. Additionally, a short proof of necessity of aforementioned conditions is presented, which seems to be absent in the literature even in the context of the model $\mathbb G(n, p)$.
Analysis of Clustering and Degree Index in Random Graphs and Complex Networks
The purpose of this paper is to analyze the degree index and clustering index in random graphs. The degree index in our setup is a certain measure of degree irregularity whose basic properties are well studied in the literature, and the corresponding theoretical analysis in a random graph setup turns out to be tractable. On the other hand, the clustering index, based on a similar reasoning, is first introduced in this manuscript. Computing exact expressions for the expected clustering index turns out to be more challenging even in the case of Erdős-Rényi graphs, and our results are on obtaining relevant upper bounds. These are also complemented with observations based on Monte Carlo simulations. Besides the Erdős-Rényi case, we also do simulation-based analysis for random regular graphs, the Barabási-Albert model and the Watts-Strogatz model.
Infinite Cliques in Simple and Stable Graphs
Published in Model Th. 4 (2025) 231-249
• View Publication
• BIB
Suppose that $G$ is a graph of cardinality $μ^+$ with chromatic number $χ(G)\geq μ^+$. One possible reason that this could happen is if $G$ contains a clique of size $μ^+$. We prove that this is indeed the case when the edge relation is stable. When $G$ is a random graph (which is simple but not stable), this is not true. But still if in general the complete theory of $G$ is simple, $G$ must contain finite cliques of unbounded sizes.