random
6952 papers tagged with this keyword
Common Pairs of Graphs
Published
• View Publication
• BIB
A graph $H$ is said to be common if the number of monochromatic labelled copies of $H$ in a red/blue edge colouring of a large complete graph is asymptotically minimized by a random colouring with an equal proportion of each colour. We extend this notion to an asymmetric setting. That is, we define a pair $(H_1,H_2)$ of graphs to be $(p,1-p)$-common if a particular linear combination of the density of $H_1$ in red and $H_2$ in blue is asymptotically minimized by a random colouring in which each edge is coloured red with probability $p$ and blue with probability $1-p$. We extend many of the results on common graphs to this asymmetric setting. In addition, we obtain several novel results for common pairs of graphs with no natural analogue in the symmetric setting. We also obtain new examples of common graphs in the classical sense and propose several open problems.
Cluster Statistics in Expansive Combinatorial Structures
We develop a simple and unified approach to investigate several aspects of the cluster statistics of random expansive (multi-)sets. In particular, we determine the limiting distribution of the size of the smallest and largest clusters, we establish all moments of the distribution of the number of clusters, and we prove a local limit theorem for that distribution. Our proofs combine effectively two simple ingredients: an application of the saddle-point method through the well-known framework of $H$-admissibility, and an ingenious idea by Erdős and Lehner that utilizes the elementary inclusion/exclusion principle.
Two-Point Concentration of the Independence Number of the Random Graph
Published
• View Publication
• BIB
We show that the independence number of $ G_{n,p}$ is concentrated on two values if $ n^{-2/3+ ε} < p \le 1$. This result is roughly best possible as an argument of Sah and Sawhney shows that the independence number is not, in general, concentrated on 2 values for $ p = o \left( (\log(n)/n)^{2/3} \right)$. The extent of concentration of the independence number of $ G_{n,p}$ for $ ω(1/n) <p \le n^{-2/3}$ remains an interesting open question.
Hamilton cycles in a semi-random graph model
We show that with high probability we can build a Hamilton cycle after at most $1.85 n$ rounds in a particular semi-random model. In this model, in one round, we are given a {uniform random} $v\in[n]$ and then we can add an {arbitrary} edge $\{v,w\}$. Our result improves on $2.016 n$ in a recent paper of Gao, MacRury, and Pralat.
Sharp Thresholds in Adaptive Random Graph Processes
Published
• View Publication
• BIB
The $\mathcal{D}$-process is a single player game in which the player is initially presented the empty graph on $n$ vertices. In each step, a subset of edges $X$ is independently sampled according to a distribution $\mathcal{D}$. The player then selects one edge $e$ from $X$, and adds $e$ to its current graph. For a fixed monotone increasing graph property $\mathcal{P}$, the objective of the player is to force the graph to satisfy $\mathcal{P}$ in as few steps as possible. Through appropriate choices of $\mathcal{D}$, the $\mathcal{D}$-process generalizes well-studied adaptive random graph processes, such as the Achlioptas process and the semi-random graph process
We prove a sufficient condition for the existence of a sharp threshold for $\mathcal{P}$ in the $\mathcal{D}$-process. For the semi-random process, we use this condition to prove the existence of a sharp threshold when $\mathcal{P}$ corresponds to being Hamiltonian or to containing a perfect matching. These are the first results for the semi-random graph process which show the existence of a sharp threshold when $\mathcal{P}$ corresponds to containing a sparse spanning graph. Using a separate analytic argument, we show that each sharp threshold is of the form $C_{\mathcal{P}}n$ for some fixed constant $C_{\mathcal{P}}>0$. This answers two of the open problems proposed by Ben-Eliezer et al. (SODA 2020) in the affirmative. Unlike similar results which establish sharp thresholds for certain distributions and properties, we establish the existence of sharp thresholds without explicitly identifying asymptotically optimal strategies.
Connectivity of friends-and-strangers graphs on random pairs
Published in Discrete Math. (2023) 113266
• View Publication
• BIB
Consider two graphs $X$ and $Y$, each with $n$ vertices. The friends-and-strangers graph $\mathsf{FS}(X,Y)$ of $X$ and $Y$ is a graph with vertex set consisting of all bijections $σ:V(X) \mapsto V(Y)$, where two bijections $σ$, $σ'$ are adjacent if and only if they differ precisely on two adjacent vertices of $X$, and the corresponding mappings are adjacent in $Y$. The most fundamental question that one can ask about these friends-and-strangers graphs is whether or not they are connected. Alon, Defant, and Kravitz showed that if $X$ and $Y$ are two independent random graphs in $\mathcal{G}(n,p)$, then the threshold probability guaranteeing the connectedness of $\mathsf{FS}(X,Y)$ is $p_0=n^{-1/2+o(1)}$, and suggested to investigate the general asymmetric situation, that is, $X\in \mathcal{G}(n,p_1)$ and $Y\in \mathcal{G}(n,p_2)$. In this paper, we show that if $p_1 p_2 \ge p_0^2=n^{-1+o(1)}$ and $p_1, p_2 \ge w(n) p_0$, where $w(n)\rightarrow 0$ as $n\rightarrow \infty$, then $\mathsf{FS}(X,Y)$ is connected with high probability, which extends the result on $p_1=p_2=p$, due to Alon, Defant, and Kravitz.
Topology and chromatic number of random $ε$-distance graphs on spheres
Given $0<α\leqπ$, $ε>0$ and $n$, we define random graphs on the $d$-dimensional sphere by drawing $n$ i.i.d. uniform random points for the vertices, and edges $u {\sim} v$ whenever the geodesic distance between $u$ and $v$ is $ε$-close to $α$. This model generalizes distance graphs on spheres, and also random Borsuk graphs. Topological tools are known to give tight bounds for the chromatic number of Borsuk graphs. We now study the efficiency of one of these topological invariants, namely the connectivity of Lóvasz's neighborhood complex, to bound the chromatic number of this model of random graphs. We show that, in general, this bound performs badly, however, it still produces some useful bounds in dimensions $d=1$ and 2.
Sharp thresholds for Ramsey properties
Published
• View Publication
• BIB
In this work, we develop a unified framework for establishing sharp threshold results for various Ramsey properties. To achieve this, we view such properties as non-colourability of auxiliary hypergraphs. Our main technical result gives sufficient conditions on a sequence of such hypergraphs that guarantee that this non-colourability property has a sharp threshold in subhypergraphs induced by random subsets of the vertices.
Furthermore, we verify these conditions in several cases of interest. In the classical setting of Ramsey theory for graphs, we show that the property of being Ramsey for a graph $H$ in $r$ colours has a sharp threshold in $G_{n,p}$, for all $r \ge 2$ and all $H$ in a class of graphs that includes all cliques and cycles. In the arithmetic setting, we establish sharpness of thresholds for the properties corresponding to van der Waerden's theorem and Schur's theorem, also in any number of colours.
Discrete Laplace and transition operators over non-Archimedean ordered fields
Published
• View Publication
• BIB
We investigate properties of spectrum of normalized Laplacian $\mathcal L$ for finite graphs over non-Archimedean ordered fields. We prove a Cheeger's inequality for first non-zero eigenvalue. Then we describe properties of the operator $\mathcal P=I-\mathcal L$, which is a generalization of transition operator. We show that Cheeger estimate $α_1\preceq \sqrt{1-h^2}$ for the second largest eigenvalue of $\mathcal P$ is crucial for investigation of the convergence of analogue of random walk to equilibrium over a non-Archimedean ordered fields. We consider examples over the Levi-Civita field.
Short Synchronizing Words for Random Automata
Published
• View Publication
• BIB
We prove that a uniformly random automaton with $n$ states on a 2-letter alphabet has a synchronizing word of length $O(n^{1/2}\log n)$ with high probability (w.h.p.). That is to say, w.h.p. there exists a word $ω$ of such length, and a state $v_0$, such that $ω$ sends all states to $v_0$. Prior to this work, the best upper bound was the quasilinear bound $O(n\log^3n)$ due to Nicaud (2016). The correct scaling exponent had been subject to various estimates by other authors between $0.5$ and $0.56$ based on numerical simulations, and our result confirms that the smallest one indeed gives a valid upper bound (with a log factor).
Our proof introduces the concept of $w$-trees, for a word $w$, that is, automata in which the $w$-transitions induce a (loop-rooted) tree. We prove a strong structure result that says that, w.h.p., a random automaton on $n$ states is a $w$-tree for some word $w$ of length at most $(1+ε)\log_2(n)$, for any $ε>0$. The existence of the (random) word $w$ is proved by the probabilistic method. This structure result is key to proving that a short synchronizing word exists.
Mixing times of a Burnside process Markov chain on set partitions
Published
• View Publication
• BIB
Let $X$ be a finite set and let $G$ be a finite group acting on $X$. The group action splits $X$ into disjoint orbits. The Burnside process is a Markov chain on $X$ which has a uniform stationary distribution when the chain is lumped to orbits. We consider the case where $X = [k]^n$ with $k \geq n$ and $G = S_k$ is the symmetric group on $[k]$, such that $G$ acts on $X$ by permuting the value of each coordinate. The resulting Burnside process gives a novel algorithm for sampling a set partition of $[n]$ uniformly at random. We obtain bounds on the mixing time and show that the chain is rapidly mixing. For the case $k < n$, the algorithm corresponds to sampling a set partition of $[n]$ with at most $k$ blocks, and we obtain a mixing time bound which is independent of $n$. Along the way, we obtain explicit formulas for the transition probabilities and bounds on the second largest eigenvalue for both the original process and the lumped chain.
On random irregular subgraphs
Published
• View Publication
• BIB
Let $G$ be a $d$-regular graph on $n$ vertices. Frieze, Gould, Karoński and Pfender began the study of the following random spanning subgraph model $H=H(G)$. Assign independently to each vertex $v$ of $G$ a uniform random number $x(v) \in [0,1]$, and an edge $(u,v)$ of $G$ is an edge of $H$ if and only if $x(u)+x(v) \geq 1$. Addressing a problem of Alon and Wei, we prove that if $d = o(n/(\log n)^{12})$, then with high probability, for each nonnegative integer $k \leq d$, there are $(1+o(1))n/(d+1)$ vertices of degree $k$ in $H$.
Finding Maximum Cliques in Large Networks
There are many methods to find a maximum (or maximal) clique in large networks. Due to the nature of combinatorics, computation becomes exponentially expensive as the number of vertices in a graph increases. Thus, there is a need for efficient algorithms to find a maximum clique. In this paper, we present a graph reduction method that significantly reduces the order of a graph, and so enables the identification of a maximum clique in graphs of large order, that would otherwise be computational infeasible to find the maximum. We find bounds of the maximum (or maximal) clique using this reduction. We demonstrate our method on real-life social networks and also on Erdös-Renyi random graphs.
Evasive sets, covering by subspaces, and point-hyperplane incidences
Published
• View Publication
• BIB
Given positive integers $k\leq d$ and a finite field $\mathbb{F}$, a set $S\subset\mathbb{F}^{d}$ is $(k,c)$-subspace evasive if every $k$-dimensional affine subspace contains at most $c$ elements of $S$. By a simple averaging argument, the maximum size of a $(k,c)$-subspace evasive set is at most $c |\mathbb{F}|^{d-k}$. When $k$ and $d$ are fixed, and $c$ is sufficiently large, the matching lower bound $Ω(|\mathbb{F}|^{d-k})$ is proved by Dvir and Lovett. We provide an alternative proof of this result using the random algebraic method. We also prove sharp upper bounds on the size of $(k,c)$-evasive sets in case $d$ is large, extending results of Ben-Aroya and Shinkar.
The existence of optimal evasive sets has several interesting consequences in combinatorial geometry. We show that the minimum number of $k$-dimensional linear hyperplanes needed to cover the grid $[n]^{d}\subset \mathbb{R}^{d}$ is $Ω_{d}\big(n^{\frac{d(d-k)}{d-1}}\big)$, which matches the upper bound proved by Balko, Cibulka, and Valtr, and settles a problem proposed by Brass, Moser, and Pach. Furthermore, we improve the best known lower bound on the maximum number of incidences between points and hyperplanes in $\mathbb{R}^{d}$ assuming their incidence graph avoids the complete bipartite graph $K_{c,c}$ for some large constant $c=c(d)$.
Robustness of Excitations in the Random Dimer Model
The ground state solution of the random dimer model is at a critical point after, which has been shown with random link excitations. In this paper we test the robustness of the random dimer model to the random link excitation by imposing the maximum weight excitation. We numerically compute the scaling exponents of the curves arising in the model as well as the fractal dimension. Although strong finite size corrections are present, the results are compatible with that of the random link excitation. Furthermore, another form of excitation, the ε - coupling excitation is studied. We find that near-optimal configurations belong to the same universality class as the travelling salesman problem. Thus, we confirm a conjecture on the scaling properties of combinatorial optimisation problems, for the specific case of minimum weight perfect matchings on 2-dimensional lattices. This document was submitted as my thesis project for the MSc Complex Systems Modelling course at King's College London in 2021. In particular, I would like to thank my supervisor, Dr Gabriele Sicuro for his insights and guidance.
Scaling limit of graph classes through split decomposition
We prove that Aldous' Brownian CRT is the scaling limit, with respect to the Gromov--Prokhorov topology, of uniform random graphs in each of the three following families of graphs: distance-hereditary graphs, $2$-connected distance-hereditary graphs and $3$-leaf power graphs. Our approach is based on the split decomposition and on analytic combinatorics.
Rank-k random graphs and finite type branching processes
In this note, we investigate fundamental relations between exploration processes in random graphs, and branching processes. We formulate a class of models that we call {\em rank-$k$ random graphs}, and that are special in that their neighborhood explorations can be obtained by a {\em thinning} of multi-type branching processes. We show that any rank-2 random graph can be described in terms of thinning of a 2-type branching process, while for higher rank, it is not clear how many types are needed.
Monotone Subsequences in Locally Uniform Random Permutations
A locally uniform random permutation is generated by sampling $n$ points independently from some absolutely continuous distribution $ρ$ on the plane and interpreting them as a permutation by the rule that $i$ maps to $j$ if the $i$th point from the left is the $j$th point from below. As $n$ tends to infinity, decreasing subsequences in the permutation will appear as curves in the plane, and by interpreting these as level curves, a union of decreasing subsequences give rise to a surface. We show that, under the correct scaling, for any $r\ge0$, the largest union of $\lfloor r\sqrt{n}\rfloor$ decreasing subsequences approaches a limit surface as $n$ tends to infinity, and the limit surface is a solution to a specific variational problem. As a corollary, we prove the existence of a limit shape for the Young diagram associated to the random permutation under the Robinson-Schensted correspondence. In the special case where $ρ$ is the uniform distribution on the diamond $|x|+|y|<1$ we conjecture that the limit shape is triangular, and assuming the conjecture is true we find an explicit formula for the limit surfaces of a uniformly random permutation and recover the famous limit shape of Vershik, Kerov and Logan, Shepp.
A very sharp threshold for first order logic distinguishability of random graphs
In this paper we find an integer $h=h(n)$ such that the minimum number of variables of a first order sentence that distinguishes between two independent uniformly distributed random graphs of size $n$ with the asymptotically largest possible probability $\frac{1}{4}-o(1)$ belongs to $\{h,h+1,h+2,h+3\}$. We also prove that the minimum (random) $k$ such that two independent random graphs are distinguishable by a first order sentence with $k$ variables belongs to $\{h,h+1,h+2\}$ with probability $1-o(1)$.
Ramsey-Turán Problems with small independence numbers
Published
• View Publication
• BIB
Given a graph $H$ and a function $f(n)$, the Ramsey-Turán number $RT(n,H,f(n))$ is the maximum number of edges in an $n$-vertex $H$-free graph with independence number at most $f(n)$. For $H$ being a small clique, many results about $RT(n,H,f(n))$ are known and we focus our attention on $H=K_s$ for $s\leq 13$. By applying Szemerédi's Regularity Lemma, the dependent random choice method and some weighted Turán-type results, we prove that these cliques have the so-called phase transitions when $f(n)$ is around the inverse function of the off-diagonal Ramsey number of $K_r$ versus a large clique $K_n$ for some $r\leq s$.