random
7100 papers tagged with this keyword
Asymptotic distribution of the number of zeros in random polynomials in a given equivalence class over a finite field
Published
• View Publication
• BIB
Hayes equivalence is defined on monic polynomials over a finite field $\fq$ in terms of the prescribed leading coefficients and the residue classes modulo a given monic polynomial $Q$. We study the distribution of the number of zeros in a random polynomial over finite fields in a given Hayes equivalence class. It is well known that the number of distinct zeros of a random polynomial over $\fq$ is asymptotically Poisson with mean 1. We show that this is also true for random polynomials in any given Hayes equivalence class. Asymptotic formulas are also given for the number of such polynomials when the degree of such polynomials is proportional to $q$ and the degree of $Q$ and the number of prescribed leading coefficients are bounded by $\sqrt{q}$. When $Q=1$, the problem is equivalent to the study of the distance distribution in Reed-Solomon codes. Our asymptotic formulas extend some earlier results and imply that all words for a large family of Reed-Solomon codes are ordinary, which further supports the well-known {\em Deep-Hole} Conjecture.
Moser-Tardos Algorithm with small number of random bits
We study a variant of the parallel Moser-Tardos Algorithm. We prove that if we restrict attention to a class of problems whose dependency graphs have subexponential growth, then the expected total number of random bits used by the algorithm is constant; in particular, it is independent from the number of variables. This is achieved by using the same random bits to resample variables which are far enough in the dependency graph.
There are two corollaries. First, we obtain a deterministic algorithm for finding a satisfying assignment, which for any class of problems as in the previous paragraph runs in time O(n), where n is the number of variables. Second, we present a Borel version of the Lovász Local Lemma.
Edge and Pair Queries -- Random Graphs and Complexity
Published
• View Publication
• BIB
We investigate two types of query games played on a graph, pair queries and edge queries. We concentrate on investigating the two associated graph parameters for binomial random graphs, and showing that determining any of the two parameters is NP-hard for bounded degree graphs.
Sparse recovery properties of discrete random matrices
Published in Combinatorics, Probability and Computing, 32(2), 316-325, 2023
• View Publication
• BIB
Motivated by problems from compressed sensing, we determine the threshold behavior of a random $n\times d$ $\pm 1$ matrix $M_{n,d}$ with respect to the property "every $s$ columns are linearly independent". In particular, we show that for every $0<δ<1$ and $s=(1-δ)n$, if $d\leq n^{1+1/2(1-δ)-o(1)}$ then with high probability every $s$ columns of $M_{n,d}$ are linearly independent, and if $d\geq n^{1+1/2(1-δ)+o(1)}$ then with high probability there are some $s$ linearly dependent columns.
The least singular value of a random symmetric matrix
Published
• View Publication
• BIB
Let $A$ be a $n \times n$ symmetric matrix with $(A_{i,j})_{i\leq j} $, independent and identically distributed according to a subgaussian distribution. We show that $$\mathbb{P}(σ_{\min}(A) \leq \varepsilon/\sqrt{n}) \leq C \varepsilon + e^{-cn},$$ where $σ_{\min}(A)$ denotes the least singular value of $A$ and the constants $C,c>0 $ depend only on the distribution of the entries of $A$. This result confirms a folklore conjecture on the lower-tail asymptotics of the least singular value of random symmetric matrices and is best possible up to the dependence of the constants on the distribution of $A_{i,j}$. Along the way, we prove that the probability $A$ has a repeated eigenvalue is $e^{-Ω(n)}$, thus confirming a conjecture of Nguyen, Tao and Vu.
Asymptotics of the hypergraph bipartite Turán problem
For positive integers $s,t,r$, let $K_{s,t}^{(r)}$ denote the $r$-uniform hypergraph whose vertex set is the union of pairwise disjoint sets $X,Y_1,\dots,Y_t$, where $|X| = s$ and $|Y_1| = \dots = |Y_t| = r-1$, and whose edge set is $\{\{x\} \cup Y_i: x \in X, 1\leq i\leq t\}$. The study of the Turán function of $K_{s,t}^{(r)}$ received considerable interest in recent years. Our main results are as follows. First, we show that
\begin{equation}
\mathrm{ex}(n,K_{s,t}^{(r)}) = O_{s,r}(t^{\frac{1}{s-1}}n^{r - \frac{1}{s-1}})
\end{equation}
for all $s,t\geq 2$ and $r\geq 3$, improving the power of $n$ in the previously best bound and resolving a question of Mubayi and Verstraëte about the dependence of $\mathrm{ex}(n,K_{2,t}^{(3)})$ on $t$. Second, we show that this upper bound is tight when $r$ is even and $t \gg s$. This disproves a conjecture of Xu, Zhang and Ge. Third, we show that the above upper bound is not tight for $r = 3$, namely that $\mathrm{ex}(n,K_{s,t}^{(3)}) = O_{s,t}(n^{3 - \frac{1}{s-1} - \varepsilon_s})$ (for all $s\geq 3$). This indicates that the behaviour of $\mathrm{ex}(n,K_{s,t}^{(r)})$ might depend on the parity of $r$. Lastly, we prove a conjecture of Ergemlidze, Jiang and Methuku on the hypergraph analogue of the bipartite Turán problem for graphs with bounded degrees on one side. Our tools include a novel twist on the dependent random choice method as well as a variant of the celebrated norm graphs constructed by Kollár, Rónyai and Szabó.
Uniform estimates for smooth polynomials over finite fields
We establish new estimates for the number of $m$-smooth polynomials of degree $n$ over a finite field $\mathbb{F}_q$, where the main term involves the number of $m$-smooth permutations on $n$ elements.
Our estimates imply that the probability that a random polynomial of degree $n$ is $m$-smooth is asymptotic to the probability that a random permutation on $n$ elements is $m$-smooth, uniformly for $m\ge (2+\varepsilon)\log_q n$ as $q^n \to \infty$. This should be viewed as an unconditional analogue of works of Hildebrand and of Saias in the integer setting, which assume the Riemann Hypothesis. Moreover, we show that the range $m \ge (2+\varepsilon)\log_q n$ is sharp; this should be viewed as a resolution of a (polynomial analogue of a) conjecture of Hildebrand.
As an application of our estimates, we determine the rate of decay in the asymptotic formula for the expected degree of the largest prime factor of a random polynomial.
The number of occurrences of patterns in a random tree or forest permutation
Published
• View Publication
• BIB
The classes of tree permutations and forest permutations were defined by Acan and Hitczenko (2016). We study random permutations of a given length from these classes, and in particular the number of occurrences of a fixed pattern in one of these random permutations. The main results show that the distributions of these numbers are asymptotically normal.
The proof uses representations of random tree and forest permutations that enable us to express the number of occurrences of a pattern by a type of $U$-statistics; we then use general limit theorems for the latter.
Fluctuations of Quadratic Chaos
Published in Commun. Math. Phys. 405, 237 (2024)
• View Publication
• BIB
In this paper we characterize all distributional limits of the random quadratic form $T_n =\sum_{1\le u< v\le n} a_{u, v} X_u X_v$, where $((a_{u, v}))_{1\le u,v\le n}$ is a $\{0, 1\}$-valued symmetric matrix with zeros on the diagonal and $X_1, X_2, \ldots, X_n$ are i.i.d.~ mean $0$ variance $1$ random variables with common distribution function $F$. In particular, we show that any distributional limit of $S_n:=T_n/\sqrt{\mathrm{Var}[T_n]}$ can be expressed as the sum of three independent components: a Gaussian, a (possibly) infinite weighted sum of independent centered chi-squares, and a Gaussian mixture with a random variance. As a consequence, we prove a fourth moment theorem for the asymptotic normality of $S_n$, which applies even when $F$ does not have finite fourth moment. More formally, we show that $S_n$ converges to $N(0, 1)$ if and only if the fourth moment of $S_n$ (appropriately truncated when $F$ does not have finite fourth moment) converges to 3 (the fourth moment of the standard normal distribution).
On a random model of forgetting
Published
• View Publication
• BIB
Georgiou, Katkov and Tsodyks considered the following random process. Let $x_1,x_2,\ldots $ be an infinite sequence of independent, identically distributed, uniform random points in $[0,1]$. Starting with $S=\{0\}$, the elements $x_k$ join $S$ one by one, in order. When an entering element is larger than the current minimum element of $S$, this minimum leaves $S$. Let $S(1,n)$ denote the content of $S$ after the first $n$ elements $x_k$ join. Simulations suggest that the size $|S(1,n)|$ of $S$ at time $n$ is typically close to $n/e$. Here we first give a rigorous proof that this is indeed the case, and that in fact the symmetric difference of $S(1,n)$ and the set $\{x_k\ge 1-1/e: 1 \leq k \leq n \}$ is of size at most $\tilde{O}(\sqrt n)$ with high probability. Our main result is a more accurate description of the process implying, in particular, that as $n$ tends to infinity $ n^{-1/2}\big( |S(1,n)|-n/e \big) $ converges to a normal random variable with variance $3e^{-2}-e^{-1}$. We further show that the dynamics of the symmetric difference of $S(1,n)$ and the set $\{x_k\ge 1-1/e: 1 \leq k \leq n \}$ converges with proper scaling to a three dimensional Bessel process.
On the Maximum $F_5$-free Subhypergraphs of a Random Hypergraph
Published
• View Publication
• BIB
Denote by $F_5$ the $3$-uniform hypergraph on vertex set $\{1,2,3,4,5\}$ with hyperedges $\{123,124,345\}$. Balogh, Butterfield, Hu, and Lenz proved that if $p > K \log n / n$ for some large constant $K$, then every maximum $F_5$-free subhypergraph of $G^3(n,p)$ is tripartite with high probability, and showed that if $p_0 = 0.1\sqrt{\log n} / n$, then with high probability there exists a maximum $F_5$-free subhypergraph of $G^3(n,p_0)$ that is not tripartite. In this paper, we sharpen the upper bound to be best possible up to a constant factor. We prove that if $p > C \sqrt{\log n} / n $ for some large constant $C$, then every maximum $F_5$-free subhypergraph of $G^3(n, p)$ is tripartite with high probability.
What is a random surface?
Published
• View Publication
• BIB
Given $2n$ unit equilateral triangles, there are finitely many ways to glue each edge to a partner. We obtain a random sphere-homeomorphic surface by sampling uniformly from the gluings that produce a topological sphere. As $n$ tends to infinity, these random surfaces (appropriately scaled) converge in law. The limit is a "canonical" sphere-homeomorphic random surface, much the way Brownian motion is a canonical random path.
Depending on how the surface space and convergence topology are specified, the limit is the Brownian sphere, the peanosphere, the pure Liouville quantum gravity sphere, or a certain conformal field theory. All of these objects have concise definitions, and are all in some sense equivalent, but the equivalence is highly non-trivial, building on hundreds of math and physics papers over the past half century.
More generally, the "continuum random surface embedded in $d$-dimensional Euclidean space" makes a kind of sense for $d \in (-\infty, 25)$ even when $d$ is not a positive integer; and this can be extended to higher genus surfaces, surfaces with boundary, and surfaces with marked points or other decoration.
These constructions have deep roots in both mathematics and physics, drawing from classical graph theory, complex analysis, probability and representation theory, as well as string theory, planar statistical physics, random matrix theory and a simple model for two-dimensional quantum gravity.
We present here an informal, colloquium-level overview of the subject, which we hope will be accessible to both newcomers and experts. We aim to answer, as cleanly as possible, the fundamental question. What is a random surface?
Modularity of the ABCD Random Graph Model with Community Structure
The Artificial Benchmark for Community Detection (ABCD) graph is a random graph model with community structure and power-law distribution for both degrees and community sizes. The model generates graphs with similar properties as the well-known LFR one, and its main parameter $ξ$ can be tuned to mimic its counterpart in the LFR model, the mixing parameter $μ$.
In this paper, we investigate various theoretical asymptotic properties of the ABCD model. In particular, we analyze the modularity function, arguably, the most important graph property of networks in the context of community detection. Indeed, the modularity function is often used to measure the presence of community structure in networks. It is also used as a quality function in many community detection algorithms, including the widely used Louvain algorithm.
Measurable tilings by abelian group actions
Let $X$ be a measure space with a measure-preserving action $(g,x) \mapsto g \cdot x$ of an abelian group $G$. We consider the problem of understanding the structure of measurable tilings $F \odot A = X$ of $X$ by a measurable tile $A \subset X$ translated by a finite set $F \subset G$ of shifts, thus the translates $f \cdot A$, $f \in F$ partition $X$ up to null sets. Adapting arguments from previous literature, we establish a "dilation lemma" that asserts, roughly speaking, that $F \odot A = X$ implies $F^r \odot A = X$ for a large family of integer dilations $r$, and use this to establish a structure theorem for such tilings analogous to that established recently by the second and fourth authors. As applications of this theorem, we completely classify those random tilings of finitely generated abelian groups that are "factors of iid", and show that measurable tilings of a torus $\mathbb{T}^d$ can always be continuously (in fact linearly) deformed into a tiling with rational shifts, with particularly strong results in the low-dimensional cases $d=1,2$ (in particular resolving a conjecture of Conley, the first author, and Pikhurko in the $d=1$ case).
Subcritical monotone cellular automata
Published
• View Publication
• BIB
We study monotone cellular automata (also known as $\mathcal{U}$-bootstrap percolation) in $\mathbb{Z}^d$ with random initial configurations. Confirming a conjecture of Balister, Bollobás, Przykucki and Smith, who proved the corresponding result in two dimensions, we show that the critical probability is non-zero for all subcritical models.
Weighted domination models and randomized heuristics
Published
• View Publication
• BIB
We consider the minimum weight and smallest weight minimum-size dominating set problems in vertex-weighted graphs and networks. The latter problem is a two-objective optimization problem, which is different from the classic minimum weight dominating set problem that requires finding a dominating set of the smallest weight in a graph without trying to optimize its cardinality. In other words, the objective of minimizing the size of the dominating set in the two-objective problem can be considered as a constraint, i.e. a particular case of finding Pareto-optimal solutions. First, we show how to reduce the two-objective optimization problem to the minimum weight dominating set problem by using Integer Linear Programming formulations. Then, under different assumptions, the probabilistic method is applied to obtain upper bounds on the minimum weight dominating sets in graphs. The corresponding randomized algorithms for finding small-weight dominating sets in graphs are described as well. Computational experiments are used to illustrate the results for two different types of random graphs.
Tail bounds for detection times in mobile hyperbolic graphs
Published
• View Publication
• BIB
Motivated by Krioukov et al.'s model of random hyperbolic graphs for real-world networks, and inspired by the analysis of a dynamic model of graphs in Euclidean space by Peres et al., we introduce a dynamic model of hyperbolic graphs in which vertices are allowed to move according to a Brownian motion maintaining the distribution of vertices in hyperbolic space invariant. For different parameters of the speed of angular and radial motion, we analyze tail bounds for detection times of a fixed target and obtain a complete picture, for very different regimes, of how and when the target is detected: as a function of the time passed, we characterize the subset of the hyperbolic space where particles typically detecting the target are initially located.
We overcome several substantial technical difficulties not present in Euclidean space, and provide a complete picture on tail bounds. On the way, we obtain also new results for the time more general continuous processes with drift and reflecting barrier spent in certain regions, and we also obtain improved bounds for independent sums of Pareto random variables.
On Some General Operators of Hypergraphs
Published in Linear Algebra and its Applications 667 (2023)
• View Publication
• BIB
Here we introduce connectivity operators, namely, diffusion operators, general Laplacian operators, and general adjacency operators for hypergraphs. These operators are generalisations of some conventional notions of apparently different connectivity matrices associated with hypergraphs. In fact, we introduce here a unified framework for studying different variations of the connectivity operators associated with hypergraphs at the same time. Eigenvalues and corresponding eigenspaces of the general connectivity operators associated with some classes of hypergraphs are computed. Applications such as random walks on hypergraphs, dynamical networks, and disease transmission on hypergraphs are studied from the perspective of our newly introduced operators. We also derive spectral bounds for the weak connectivity number, degree of vertices, maximum cut, bipartition width, and isoperimetric constant of hypergraphs.
The oriented chromatic number of random graphs of bounded degree
Published
• View Publication
• BIB
The chromatic number of the random graph $\mathcal{G}(n,p)$ has long been studied and has inspired several landmark results. In the case where $p = d/n$, Achlioptas and Naor showed the chromatic number is asymptotically concentrated at $k_d$ or $k_d+1$, where $k_d$ is the smallest integer such that $d < 2k_d\log k_d$. Kemkes et al. later proved the same result holds for $\mathcal{G}(n,d)$, the random $d$-regular graph. We consider the oriented chromatic number of the directed models $\vec{\mathcal{G}}(n,p)$ and $\vec{\mathcal{G}}(n,d)$, improving the best known upper bound from $O(d^2 2^d)$ to $O(\sqrt{e}^d)$.
Bounding threshold dimension: realizing graphic Boolean functions as the AND of majority gates
Published
• View Publication
• BIB
A graph $G$ on $n$ vertices is a \emph{threshold graph} if there exist real numbers $a_1,a_2, \ldots, a_n$ and $b$ such that the zero-one solutions of the linear inequality $\sum \limits_{i=1}^n a_i x_i \leq b$ are the characteristic vectors of the cliques of $G$. Introduced in [Chv{á}tal and Hammer, Annals of Discrete Mathematics, 1977], the \emph{threshold dimension} of a graph $G$, denoted by $\dimth(G)$, is the minimum number of threshold graphs whose intersection yields $G$. Given a graph $G$ on $n$ vertices, in line with Chv{á}tal and Hammer, $f_G\colon \{0,1\}^n \rightarrow \{0,1\}$ is the Boolean function that has the property that $f_G(x) = 1$ if and only if $x$ is the characteristic vector of a clique in $G$. A Boolean function $f$ for which there exists a graph $G$ such that $f=f_G$ is called a \emph{graphic} Boolean function. It follows that for a graph $G$, $\dimth(G)$ is precisely the minimum number of \emph{majority} gates whose AND (or conjunction) realizes the graphic Boolean function $f_G$. The fact that there exist Boolean functions which can be realized as the AND of only exponentially many majority gates motivates us to study threshold dimension of graphs. We give tight or nearly tight upper bounds for the threshold dimension of a graph in terms of its treewidth, maximum degree, degeneracy, number of vertices, size of a minimum vertex cover, etc. We also study threshold dimension of random graphs and graphs with high girth.