Spanning subdivisions in Dirac graphs

Matías Pavez-Signé

2023-09-12

Abstract:We show that for every $n\in\mathbb N$ and $\log n\le d\le n$, if a graph $G$ has $N=\Theta(dn)$ vertices and minimum degree $(1+o(1))\frac{N}{2}$, then it contains a spanning subdivision of every $n$-vertex $d$-regular graph.

Combinatorics

What problem does this paper attempt to address?

Spanning subdivisions in dense digraphs

Hyunwoo Lee

2023-06-11

Abstract:We prove that an $n$-vertex digraph $D$ with minimum semi-degree at least $\left(\frac{1}{2} + \varepsilon \right)n$ and $n = \Omega_{\varepsilon}(m)$ contains a subdivision of all $m$-arc digraphs. This is the best possible and settles a conjecture raised by Pavez-Singé in a stronger form.

Combinatorics
Spanning $H$-subdivisions and perfect $H$-subdivision tilings in dense digraphs

Yangyang Cheng,Zhilan Wang,Jin Yan

2024-11-12

Abstract:Given a digraph $H$, we say a digraph $H^\prime$ is an $H$-subdivision if $H^\prime$ is obtained from $H$ by replacing one or more arcs from $H$ with internally vertex-disjoint path(s). In this paper, we prove that for any digraph $H$ with $h$ arcs and no isolated vertices, there is a constant $C_0>0$ such that the following hold. $(1)$ For any integer $C\geq C_0$ and every digraph $D$ on $n\geq Ch$ vertices, if the minimum in- and out-degree of $D$ is at least $n/2$, then it contains an $H$-subdivision covering all vertices of $D$. $(2)$ For any integer partition $n=n_1+\cdots+n_m$ such that the sum of the $n_i$ less than $\alpha n$ is no more than $\beta n$, if a digraph $D$ has the order $n\geq Cm$ and the minimum in- and out-degree at least $\sum_{i=1}^m\lceil\frac{n_i}{2}\rceil$, then it contains $m$ disjoint $H$-subdivisions, where the order of these $H$-subdivisions is $n_1, \ldots, n_m$, respectively. The result of $(1)$ settles the conjecture raised by Pavez-Singé \cite{Pavez} in a stronger form, and ameliorate the result of Lee \cite{Lee}. Also, the conclusion of $(2)$ partly answers of the conjecture of Lee \cite{Lee1} and generalizes the recent work of Lee \cite{Lee1}.

Combinatorics
Large Degree Vertices in Longest Cycles of Graphs, II

Binlong Li,Liming Xiong,Jun Yin

DOI: https://doi.org/10.5614/ejgta.2019.7.2.7

2015-01-01

Discussiones Mathematicae Graph Theory

Abstract:In this paper, we consider the least integer d such that every k-connected graph G of order n (and of independent number α) has a longest cycle containing all vertices of degree at least d. We completely determine the d when k = 2. We propose a conjecture for those k-connected graph, where k ≥ 3.
Dirac's theorem for graphs of bounded bandwidth

Alberto Espuny Díaz,Pranshu Gupta,Domenico Mergoni Cecchelli,Olaf Parczyk,Amedeo Sgueglia

2024-07-08

Abstract:We provide an optimal sufficient condition, relating minimum degree and bandwidth, for a graph to contain a spanning subdivision of the complete bipartite graph $K_{2,\ell}$. This includes the containment of Hamilton paths and cycles, and has applications in the random geometric graph model. Our proof provides a greedy algorithm for constructing such structures.

Combinatorics
Minimum degree $k$ and $k$-connectedness usually arrive together

Sahar Diskin,Anna Geisler

2024-09-24

Abstract:Let $d,n\in \mathbb{N}$ be such that $d=\omega(1)$, and $d\le n^{1-a}$ for some constant $a>0$. Consider a $d$-regular graph $G=(V, E)$ and the random graph process that starts with the empty graph $G(0)$ and at each step $G(i)$ is obtained from $G(i-1)$ by adding uniformly at random a new edge from $E$. We show that if $G$ satisfies some (very) mild global edge-expansion, and an almost optimal edge-expansion of sets up to order $O(d\log n)$, then for any constant $k\in \mathbb{N}$ in the random graph process on $G$, typically the hitting times of minimum degree at least $k$ and of $k$-connectedness are equal. This, in particular, covers both $d$-regular high dimensional product graphs and pseudo-random graphs, and confirms a conjecture of Joos from 2015. We further demonstrate that this result is tight in the sense that there are $d$-regular $n$-vertex graphs with optimal edge-expansion of sets up to order $\Omega(d)$, for which the probability threshold of minimum degree at least one is different than the probability threshold of connectivity.

Combinatorics,Probability
Spanning spheres in Dirac hypergraphs

Freddie Illingworth,Richard Lang,Alp Müyesser,Olaf Parczyk,Amedeo Sgueglia

2024-07-09

Abstract:We show that a $k$-uniform hypergraph on $n$ vertices has a spanning subgraph homeomorphic to the $(k - 1)$-dimensional sphere provided that $H$ has no isolated vertices and each set of $k - 1$ vertices supported by an edge is contained in at least $n/2 + o(n)$ edges. This gives a topological extension of Dirac's theorem and asymptotically confirms a conjecture of Georgakopoulos, Haslegrave, Montgomery, and Narayanan. Unlike typical results in the area, our proof does not rely on the Absorption Method, the Regularity Lemma or the Blow-up Lemma. Instead, we use a recently introduced framework that is based on covering the vertex set of the host graph with a family of complete blow-ups.

Combinatorics
Dirac-type conditions for spanning bounded-degree hypertrees

Matías Pavez-Signé,Nicolás Sanhueza-Matamala,Maya Stein

2023-06-09

Abstract:We prove that for fixed $k$, every $k$-uniform hypergraph on $n$ vertices and of minimum codegree at least $n/2+o(n)$ contains every spanning tight $k$-tree of bounded vertex degree as a sub\-graph. This generalises a well-known result of Komlós, Sárközy and Szemerédi for graphs. Our result is asymptotically sharp. We also prove an extension of our result to hypergraphs that satisfy some weak quasirandomness conditions.

Combinatorics
The Spectral Distribution of Random Graphs with Given Degree Sequences

Shuyi Wang,Kevin Li,Jiaoyang Huang

2024-12-03

Abstract:In this article, we study random graphs with a given degree sequence $d_1, d_2, \cdots, d_n$ from the configuration model. We show that under mild assumptions of the degree sequence, the spectral distribution of the normalized Laplacian matrix of such random graph converges in distribution to the semicircle distribution as the number of vertices $n\rightarrow \infty$. This extends work by McKay (1981) and Tran, Vu and Wang (2013) which studied random regular graphs ($d_1=d_2=\cdots=d_n=d$). Furthermore, we extend the assumption to show that a slightly more general condition is equivalent to the weak convergence to semicircle distribution. The equivalence is also illustrated by numerical simulations.

Probability
Nonregular graphs with a given maximum degree attaining maximum spectral radius

Zejun Huang,Jiahui Liu,Chenxi Yang

2024-11-26

Abstract:Let $G$ be a connected nonregular graphs of order $n$ with maximum degree $\Delta$ that attains the maximum spectral radius. Liu and Li (2008) proposed a conjecture stating that $G$ has a degree sequence $(\Delta,\ldots,\Delta,\delta)$ with $\delta<\Delta$. For $\Delta=3$ and $\Delta=4$, Liu (2024) confirmed this conjecture by characterizing the structure of such graphs. Liu also proposed a modified version of the conjecture for fixed $\Delta$ and sufficiently large $n$, stating that the above $\delta=\Delta-1$ if $\Delta$ and $n$ are both odd, $\delta=1$ if $\Delta$ is odd and $n$ is even, and $\delta=\Delta-2$ if $\Delta$ is even. For the cases where $\Delta=n-2$ with $n\ge 5$, and $\Delta=n-3$ with $n\ge 59$, we fully characterize the structure of $G$.

Combinatorics
Twin-width of sparse random graphs

Kevin Hendrey,Sergey Norin,Raphael Steiner,Jérémie Turcotte

2023-12-07

Abstract:We show that the twin-width of every $n$-vertex $d$-regular graph is at most $n^{\frac{d-2}{2d-2}+o(1)}$ and that almost all $d$-regular graphs attain this bound. More generally, we obtain bounds on the twin-width of sparse Erdős-Renyi and regular random graphs, complementing the bounds in the denser regime due to Ahn, Chakraborti, Hendrey, Kim and Oum.

Combinatorics,Discrete Mathematics
Regular bipartite decompositions of pseudorandom graphs

Asaf Ferber,Bryce Frederickson,Dingjia Mao,Liana Yepremyan,Yizhe Zhu

2024-10-17

Abstract:In 1972, Kotzig proved that for every even $n$, the complete graph $K_n$ can be decomposed into $\lceil\log_2n\rceil$ edge-disjoint regular bipartite spanning subgraphs, which is best possible. In this paper, we study regular bipartite decompositions of $(n,d,\lambda)$-graphs, where $n$ is an even integer and $d_0\leq d\leq n-1$ for some absolute constant $d_0$. With a randomized algorithm, we prove that such an $(n,d,\lambda)$-graph with $\lambda\leq d/12$ can be decomposed into at most $\log_2 d + 36$ regular bipartite spanning subgraphs. This is best possible up to the additive constant term. As a consequence, we also improve the best known bounds on $\lambda = \lambda(d)$ by Ferber and Jain (2020) to guarantee that an $(n,d,\lambda)$-graph on an even number of vertices admits a $1$-factorization, showing that $\lambda \leq cd$ is sufficient for some absolute constant $c > 0$.

Combinatorics
Balanced subdivisions of a large clique in graphs with high average degree

Yan Wang

DOI: https://doi.org/10.48550/arXiv.2107.06583

2023-02-08

Abstract:In 1984, Thomassen conjectured that for every constant $k \in \mathbb{N}$, there exists $d$ such that every graph with average degree at least $d$ contains a balanced subdivision of a complete graph on $k$ vertices, i.e. a subdivision in which each edge is subdivided the same number of times. Recently, Liu and Montgomery confirmed Thomassen's conjecture. We show that for every constant $0<c<1/2$, every graph with average degree at least $d$ contains a balanced subdivision of a complete graph of size at least $\Omega(d^{c})$. Note that this bound is almost optimal. Moreover, we show that every sparse expander with minimum degree at least $d$ contains a balanced subdivision of a complete graph of size at least $\Omega(d)$.

Combinatorics
Spanning trees in the square of pseudorandom graphs

Matías Pavez-Signé

2023-11-06

Abstract:We show that for every $\Delta\in\mathbb N$, there exists a constant $C$ such that if $G$ is an $(n,d,\lambda)$-graph with $d/\lambda\ge C$ and $d$ is large enough, then $G^2$ contains every $n$-vertex tree with maximum degree bounded by $\Delta$. This answers a question of Krivelevich.

Combinatorics
A Dirac-Type Theorem for Uniform Hypergraphs

Yue Ma,Xinmin Hou,Jun Gao

DOI: https://doi.org/10.1007/s00373-024-02802-8

2024-06-03

Graphs and Combinatorics

Abstract:Dirac (Proc Lond Math Soc (3) 2:69–81, 1952) proved that every connected graph of order with minimum degree more than k contains a path of length at least . In this article, we give a hypergraph extension of Dirac's theorem: Given positive integers n , k and r , let H be a connected n -vertex r -graph with no Berge path of length . (1) If and , then . Furthermore, there exist hypergraphs and such that the equality holds if and only if or ; (2) If and , then . As an application of (1), we give a better lower bound of the minimum degree than the ones in the Dirac-type results for Berge Hamiltonian cycle given by Bermond et al. (Hypergraphes Hamiltoniens. In: Problémes combinatoires et théorie des graphes (Colloq. Internat. CNRS, Univ. Orsay, Orsay, 1976). Colloq. Internat. CNRS, vol. 260, pp. 39–43. CNRS, Paris, 1976) or Clemens et al. (Electron Notes Discrete Math 54:181–186, 2016), respectively.

mathematics
Twin-width of subdivisions of multigraphs

Jungho Ahn,Debsoumya Chakraborti,Kevin Hendrey,Sang-il Oum

2024-06-04

Abstract:For each $d\leq3$, we construct a finite set $F_d$ of multigraphs such that for each graph $H$ of girth at least $5$ obtained from a multigraph $G$ by subdividing each edge at least two times, $H$ has twin-width at most $d$ if and only if $G$ has no minor in $F_d$. This answers a question of Bergé, Bonnet, and Déprés asking for the structure of graphs $G$ such that each long subdivision of $G$ has twin-width $4$. As a corollary, we show that the $7\times7$ grid has twin-width $4$, which answers a question of Schidler and Szeider.

Combinatorics,Discrete Mathematics
A note on the singularity probability of random directed $d$-regular graphs

Hoi H. Nguyen,Amanda Pan

2023-08-12

Abstract:In this note we show that the singular probability of the adjacency matrix of a random $d$-regular graph on $n$ vertices, where $d$ is fixed and $n \to \infty$, is bounded by $n^{-1/3+o(1)}$. This improves a recent bound by Huang. Our method is based on the study of the singularity problem modulo a prime together with an inverse-type result on the decay of the characteristic function. The latter is related to the inverse Kneser's problem in combinatorics.

Probability,Combinatorics
Large matchings and nearly spanning, nearly regular subgraphs of random subgraphs

Sahar Diskin,Joshua Erde,Mihyun Kang,Michael Krivelevich

2024-07-23

Abstract:Given a graph $G$ and $p\in [0,1]$, the random subgraph $G_p$ is obtained by retaining each edge of $G$ independently with probability $p$. We show that for every $\epsilon>0$, there exists a constant $C>0$ such that the following holds. Let $d\ge C$ be an integer, let $G$ be a $d$-regular graph and let $p\ge \frac{C}{d}$. Then, with probability tending to one as $|V(G)|$ tends to infinity, there exists a matching in $G_p$ covering at least $(1-\epsilon)|V(G)|$ vertices. We further show that for a wide family of $d$-regular graphs $G$, which includes the $d$-dimensional hypercube, for any $p\ge \frac{\log^5d}{d}$ with probability tending to one as $d$ tends to infinity, $G_p$ contains an induced subgraph on at least $(1-o(1))|V(G)|$ vertices, whose degrees are tightly concentrated around the expected average degree $dp$.

Combinatorics,Probability
On a property of $2$-connected graphs and Dirac's Theorem

Alexandr Kostochka,Ruth Luo,Grace McCourt

2023-08-24

Abstract:We refine a property of $2$-connected graphs described in the classical paper of Dirac from 1952 and use the refined property to somewhat shorten Dirac's proof of the fact that each $2$-connected $n$-vertex graph with minimum degree at least $k$ has a cycle of length at least $\min\{n,2k\}$.

Combinatorics
On the degrees of regular nut graphs

Nino Bašić,Ivan Damnjanović,Patrick W. Fowler

2024-10-18

Abstract:A nut graph is a simple graph for which the adjacency matrix has a single zero eigenvalue such that all non-zero kernel eigenvectors have no zero entry. It is known that infinitely many $d$-regular nut graphs exist for $3 \leq d \leq 12$ and for $d \geq 4$ such that $d \equiv 0 \pmod{4}$. Here it is shown that infinitely many $d$-regular nut graphs exist for each degree $d \geq 3$.

Combinatorics
Edge Universality of Random Regular Graphs of Growing Degrees

Jiaoyang Huang,Horng-Tzer Yau

2023-06-09

Abstract:We consider the statistics of extreme eigenvalues of random $d$-regular graphs, with $N^{\mathfrak c}\leq d\leq N^{1/3-{\mathfrak c}}$ for arbitrarily small ${\mathfrak c}>0$. We prove that in this regime, the fluctuations of extreme eigenvalues are given by the Tracy-Widom distribution. As a consequence, about 69% of $d$-regular graphs have all nontrivial eigenvalues bounded in absolute value by $2\sqrt{d-1}$.

Probability,Combinatorics

Spanning subdivisions in Dirac graphs

Spanning subdivisions in dense digraphs

Spanning $H$-subdivisions and perfect $H$-subdivision tilings in dense digraphs

Large Degree Vertices in Longest Cycles of Graphs, II

Dirac's theorem for graphs of bounded bandwidth

Minimum degree $k$ and $k$-connectedness usually arrive together

Spanning spheres in Dirac hypergraphs

Dirac-type conditions for spanning bounded-degree hypertrees

The Spectral Distribution of Random Graphs with Given Degree Sequences

Nonregular graphs with a given maximum degree attaining maximum spectral radius

Twin-width of sparse random graphs

Regular bipartite decompositions of pseudorandom graphs

Balanced subdivisions of a large clique in graphs with high average degree

Spanning trees in the square of pseudorandom graphs

A Dirac-Type Theorem for Uniform Hypergraphs

Twin-width of subdivisions of multigraphs

A note on the singularity probability of random directed $d$-regular graphs

Large matchings and nearly spanning, nearly regular subgraphs of random subgraphs

On a property of $2$-connected graphs and Dirac's Theorem

On the degrees of regular nut graphs

Edge Universality of Random Regular Graphs of Growing Degrees