We consider the random graph $G_{n, {\bf d}}$ chosen uniformly at random from the set of all graphs with a given sparse degree sequence ${\bf d}$. We assume ${\bf d}$ has minimum degree at least 4, at most a power law tail, and place one more condition on its tail. For $k\ge 2$ define $β_k(G) = \max e(A, B) + k(|A|-|B|) - d(A)$, with the maximum taken over disjoint vertex sets $A, B$. It is shown that the problem of determining if $G_{n, {\bf d}}$ contains a Hamilton cycle reduces to calculating $β_2(G_{n, {\bf d}})$. If $k\ge 2$ and $δ\ge k+2$, the problem of determining if $G_{n, {\bf d}}$ contains a $k$-factor reduces to calculating $β_k(G_{n, {\bf d}})$.
We show that for any fixed $α>0$, cherry-quasirandom 3-graphs of positive density and sufficiently large order $n$ with minimum vertex degree $α\binom n2$ have a tight Hamilton cycle. This solves a conjecture of Aigner-Horev and Levy.
We study Hamiltonicity in random subgraphs of the hypercube $\mathcal{Q}^n$. Our first main theorem is an optimal hitting time result. Consider the random process which includes the edges of $\mathcal{Q}^n$ according to a uniformly chosen random ordering. Then, with high probability, as soon as the graph produced by this process has minimum degree $2k$, it contains $k$ edge-disjoint Hamilton cycles, for any fixed $k\in\mathbb{N}$. Secondly, we obtain a perturbation result: if $H\subseteq\mathcal{Q}^n$ satisfies $δ(H)\geqαn$ with $α>0$ fixed and we consider a random binomial subgraph $\mathcal{…
Let $\mathcal{G}(n,r,s)$ denote a uniformly random $r$-regular $s$-uniform hypergraph on $n$ vertices, where $s$ is a fixed constant and $r=r(n)$ may grow with $n$. An $\ell$-overlapping Hamilton cycle is a Hamilton cycle in which successive edges overlap in precisely $\ell$ vertices, and 1-overlapping Hamilton cycles are called loose Hamilton cycles. When $r,s\geq 3$ are fixed integers, we establish a threshold result for the property of containing a loose Hamilton cycle. This partially verifies a conjecture of Dudek, Frieze, Rucinski and Sileikis (2015). In this setting, we also find the asy…
Dirac's theorem (1952) is a classical result of graph theory, stating that an $n$-vertex graph ($n \geq 3$) is Hamiltonian if every vertex has degree at least $n/2$. Both the value $n/2$ and the requirement for every vertex to have high degree are necessary for the theorem to hold. In this work we give efficient algorithms for determining Hamiltonicity when either of the two conditions are relaxed. More precisely, we show that the Hamiltonian cycle problem can be solved in time $c^k \cdot n^{O(1)}$, for some fixed constant $c$, if at least $n-k$ vertices have degree at least $n/2$, or if all v…
A {\it weak (Berge) cycle} is an alternating sequence of vertices and (hyper)edges $C=(v_0, e_1, v_1, ..., v_{\ell-1}, e_\ell, v_{\ell}=v_0)$ such that the vertices $v_0, ..., v_{\ell-1}$ are distinct with $v_k, v_{k+1} \in e_{k}$ for each $k$, but the edges $e_1, ..., e_\ell$ are not necessarily distinct. We prove that the main barrier to the random $d$-uniform hypergraph $H_d(n,p),$ where each of the potential edges of cardinality $d$ is present with probability $p$, developing a weak Hamilton cycle is the presence of isolated vertices. In particular, for $d \geq 3$ fixed and $p=(d-1)! \frac…
We study two types of two player, perfect information games with no chance moves, played on the edge set of the binomial random graph ${\mathcal G}(n,p)$. In each round of the $(1 : q)$ Waiter-Client Hamiltonicity game, the first player, called Waiter, offers the second player, called Client, $q+1$ edges of ${\mathcal G}(n,p)$ which have not been offered previously. Client then chooses one of these edges, which he claims, and the remaining $q$ edges go back to Waiter. Waiter wins this game if by the time every edge of ${\mathcal G}(n,p)$ has been claimed by some player, the graph consisting of…
Trotter and Erdös found conditions for when a directed $m \times n$ grid graph on a torus is Hamiltonian. We consider the analogous graphs on a two-holed torus, and study their Hamiltonicity. We find an $\mathcal{O}(n^4)$ algorithm to determine the Hamiltonicity of one of these graphs and an $\mathcal{O}(\log(n))$ algorithm to find the number of diagonals, which are sets of vertices that force the directions of edges in any Hamiltonian cycle. We also show that there is a periodicity pattern in the graphs' Hamiltonicities if one of the sides of the grid is fixed; and we completely classify whic…
Sharp threshold for Hamilton cycles in randomly perturbed sparse graphs
Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)（上海数学与交叉学科研究院）；Research institute of Intelligent Complex Systems, Fudan University（复旦大学智能复杂系统研究院）；ECOPRO, Institute for Basic Science（基础科学研究院 ECOPRO）
For integers $k\geq 1$ and $n\geq 2k+1$, the Kneser graph $K(n,k)$ is the graph whose vertices are the $k$-element subsets of $\{1,\ldots,n\}$ and whose edges connect pairs of subsets that are disjoint. The Kneser graphs of the form $K(2k+1,k)$ are also known as the odd graphs. We settle an old problem due to Meredith, Lloyd, and Biggs from the 1970s, proving that for every $k\geq 3$, the odd graph $K(2k+1,k)$ has a Hamilton cycle. This and a known conditional result due to Johnson imply that all Kneser graphs of the form $K(2k+2^a,k)$ with $k\geq 3$ and $a\geq 0$ have a Hamilton cycle. We als…
We introduce a natural generalization of the Erdős-Rényi random graph model in which random instances of a fixed motif are added independently. The binomial random motif graph $G(H,n,p)$ is the random (multi)graph obtained by adding an instance of a fixed graph $H$ on each of the copies of $H$ in the complete graph on $n$ vertices, independently with probability $p$. We establish that every monotone property has a threshold in this model, and determine the thresholds for connectivity, Hamiltonicity, the existence of a perfect matching, and subgraph appearance. Moreover, in the first three case…
Let $(G_t)_{t \geq 0}$ be the random graph process ($G_0$ is edgeless and $G_t$ is obtained by adding a uniformly distributed new edge to $G_{t-1}$), and let $τ_k$ denote the minimum time $t$ such that the $k$-core of $G_t$ (its unique maximal subgraph with minimum degree at least $k$) is nonempty. For any fixed $k\geq 3$ the $k$-core is known to emerge via a discontinuous phase transition, where at time $t=τ_k$ its size jumps from 0 to linear in the number of vertices with high probability. It is believed that for any $k\geq 3$ the core is Hamiltonian upon creation w.h.p., and Bollobás, Coope…
Consider the upper tail probability that the homomorphism count of a fixed graph $H$ within a large sparse random graph $G_n$ exceeds its expected value by a fixed factor $1+δ$. Going beyond the Erdős-Rényi model, we establish here explicit, sharp upper tail decay rates for sparse random $d_n$-regular graphs (provided $H$ has a regular $2$-core), and for sparse uniform random graphs. We further deal with joint upper tail probabilities for homomorphism counts of multiple graphs $H_1,\ldots, H_k$ (extending the known results for $k=1$), and for inhomogeneous graph ensembles (such as the stochast…
In 1981, Duffus, Gould, and Jacobson showed that every connected graph either has a Hamiltonian path, or contains a claw ($K_{1,3}$) or a net (a fixed six-vertex graph) as an induced subgraph. This implies that subject to being connected, these two are the only minimal (under taking induced subgraphs) graphs with no Hamiltonian path. Brousek (1998) characterized the minimal graphs that are $2$-connected, non-Hamiltonian and do not contain the claw as an induced subgraph. We characterize the minimal graphs that are $2$-connected and non-Hamiltonian for two classes of graphs: (1) split graphs, (…
In this paper we prove the semi-circular law for the eigenvalues of regular random graph $G_{n,d}$ in the case $d\rightarrow \infty$, complementing a previous result of McKay for fixed $d$. We also obtain a upper bound on the infinity norm of eigenvectors of Erdős-Rényi random graph $G(n,p)$, answering a question raised by Dekel-Lee-Linial.
We prove that the empirical spectral distribution of a (d_L, d_R)-biregular, bipartite random graph, under certain conditions, converges to a symmetrization of the Marčenko-Pastur distribution of random matrix theory. This convergence is not only global (on fixed-length intervals) but also local (on intervals of increasingly smaller length). Our method parallels the one used previously by Dumitriu and Pal (2012).
We review some recent results in the generic rigidity theory of planar frameworks with forced symmetry, giving a uniform treatment to the topic. We also give new combinatorial characterizations of minimally rigid periodic frameworks with fixed-area fundamental domain and fixed-angle fundamental domain.
We study the k-wise independent relaxation of the usual model G(N,p) of random graphs where, as in this model, N labeled vertices are fixed and each edge is drawn with probability p, however, it is only required that the distribution of any subset of k edges is independent. This relaxation can be relevant in modeling phenomena where only k-wise independence is assumed to hold, and is also useful when the relevant graphs are so huge that handling G(N,p) graphs becomes infeasible, and cheaper random-looking distributions (such as k-wise independent ones) must be used instead. Unfortunately, many…
Consider the set of vectors over a field having non-zero coefficients only in a fixed sparse set and multiplication defined by convolution, or the set of integers having non-zero digits (in some base $b$) in a fixed sparse set. We show the existence of an optimal (resp. almost-optimal in the latter case) `magic' multiplier constant that provides a perfect hash function which transfers the information from the given sparse coefficients into consecutive digits. Studying the convolution case we also obtain a result of non-degeneracy for Schur functions as polynomials in the elementary symmetric f…
The degree-diameter problem asks for the maximum number of vertices in a graph with maximum degree $Δ$ and diameter $k$. For fixed $k$, the answer is $Θ(Δ^k)$. We consider the degree-diameter problem for particular classes of sparse graphs, and establish the following results. For graphs of bounded average degree the answer is $Θ(Δ^{k-1})$, and for graphs of bounded arboricity the answer is $Θ(Δ^{\floor{k/2}})$, in both cases for fixed $k$. For graphs of given treewidth, we determine the the maximum number of vertices up to a constant factor. More precise bounds are given for graphs of given t…
We prove that if $G$ is a sparse graph --- it belongs to a fixed class of bounded expansion $\mathcal{C}$ --- and $d\in \mathbb{N}$ is fixed, then the $d$th power of $G$ can be partitioned into cliques so that contracting each of these clique to a single vertex again yields a sparse graph. This result has several graph-theoretic and algorithmic consequences for powers of sparse graphs, including bounds on their subchromatic number and efficient approximation algorithms for the chromatic number and the clique number.
It has been conjectured that asymptotically almost all matroids are sparse paving, i.e. that $s(n) \sim m(n)$, where $m(n)$ denotes the number of matroids on a fixed groundset of size $n$, and $s(n)$ the number of sparse paving matroids. In an earlier paper, we showed that $\log s(n) \sim \log m(n)$. The bounds that we used for that result were dominated by matroids of rank $r\approx n/2$. In this paper we consider the relation between the number of sparse paving matroids $s(n,r)$ and the number of matroids $m(n,r)$ on a fixed groundset of size $n$ of fixed rank $r$. In particular, we show tha…
We prove asymptotic upper bounds on the number of $d$-partitions (paving matroids of fixed rank) and partial Steiner systems (sparse paving matroids of fixed rank), using a mixture of entropy counting, sparse encoding, and the probabilistic method.
We construct a fixed parameter algorithm parameterized by d and k that takes as an input a graph G' obtained from a d-degenerate graph G by complementing on at most k arbitrary subsets of the vertex set of G and outputs a graph H such that G and H agree on all but f(d,k) vertices. Our work is motivated by the first order model checking in graph classes that are first order interpretable in classes of sparse graphs. We derive as a corollary that if G_0 is a graph class with bounded expansion, then the first order model checking is fixed parameter tractable in the class of all graphs that can ob…
For fixed integers $r\ge 3, e\ge 3$, and $v\ge r+1$, let $f_r(n,v,e)$ denote the maximum number of edges in an $n$-vertex $r$-uniform hypergraph in which the union of arbitrary $e$ distinct edges contains at least $v+1$ vertices. In 1973, Brown, Erdős and Sós proved that $f_r(n,er-(e-1)k,e)=Θ(n^k)$ and conjectured that the limit $\lim_{n\rightarrow\infty}\frac{f_3(n,e+2,e)}{n^2}$ always exists for all fixed integers $e\ge 3$. In 2020 Shangguan and Tamo conjectured that the limit $\lim_{n\rightarrow\infty}\frac{f_r(n,er-(e-1)k,e)}{n^k}$ always exists for all fixed integers $r>k\ge 2$ and $e\ge …
Let $r \geq 2$ be a fixed integer. For infinitely many $n$, let $\boldsymbol{k} = (k_1,..., k_n)$ be a vector of nonnegative integers such that their sum $M$ is divisible by $r$. We present an asymptotic enumeration formula for simple $r$-uniform hypergraphs with degree sequence $k$. (Here "simple" means that all edges are distinct and no edge contains a repeated vertex.) Our formula holds whenever the maximum degree $k_{\mathrm{max}}$ satisfies $k_{\mathrm{max}}^3 = o(M)$.
Characterizations of monadically dependent tree-ordered weakly sparse structures
Université Paris Cité（巴黎西岱大学）；CNRS（法国国家科学研究中心）；IRIF（信息与随机研究所）；Centre d'Analyse et de Mathématique Sociales CNRS UMR 8557（社会分析与数学中心）；Southeast University（东南大学）；Computer Science Institute of Charles University (IUUK)（查理大学计算机科学研究所）；University of Bremen（不来梅大学）
