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

What problem does this paper attempt to address?

Spanning trees in pseudorandom graphs via sorting networks

Joseph Hyde,Natasha Morrison,Alp Müyesser,Matías Pavez-Signé

2023-11-06

Abstract:We show that $(n,d,\lambda)$-graphs with $\lambda=O(d/\log^3 n)$ are universal with respect to all bounded degree spanning trees. This significantly improves upon the previous best bound due to Han and Yang of the form $\lambda=d/\exp{(O(\sqrt{\log n}))}$, and makes progress towards a problem of Alon, Krivelevich, and Sudakov from 2007. Our proof relies on the existence of sorting networks of logarithmic depth, as given by a celebrated construction of Ajtai, Komlós and Szemerédi. Using this construction, we show that the classical vertex-disjoint paths problem can be solved for a set of vertices fixed in advance.

Combinatorics
Spanning trees in graphs without large bipartite holes

Jie Han,Jie Hu,Lidan Ping,Guanghui Wang,Yi Wang,Donglei Yang

DOI: https://doi.org/10.1017/s0963548323000378

2023-11-14

Abstract:Abstract We show that for any $\varepsilon \gt 0$ and $\Delta \in \mathbb{N}$ , there exists $\alpha \gt 0$ such that for sufficiently large $n$ , every $n$ -vertex graph $G$ satisfying that $\delta (G)\geq \varepsilon n$ and $e(X, Y)\gt 0$ for every pair of disjoint vertex sets $X, Y\subseteq V(G)$ of size $\alpha n$ contains all spanning trees with maximum degree at most $\Delta$ . This strengthens a result of Böttcher, Han, Kohayakawa, Montgomery, Parczyk, and Person.
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
Randomly perturbed digraphs also have bounded-degree spanning trees

Patryk Morawski,Kalina Petrova

2024-08-20

Abstract:We show that a randomly perturbed digraph, where we start with a dense digraph $D_\alpha$ and add a small number of random edges to it, will typically contain a fixed orientation of a bounded degree spanning tree. This answers a question posed by Araujo, Balogh, Krueger, Piga and Treglown and generalizes the corresponding result for randomly perturbed graphs by Krivelevich, Kwan and Sudakov. More specifically, we prove that there exists a constant $c = c(\alpha, \Delta)$ such that if $T$ is an oriented tree with maximum degree $\Delta$ and $D_\alpha$ is an $n$-vertex digraph with minimum semidegree $\alpha n$, then the graph obtained by adding $cn$ uniformly random edges to $D_\alpha$ will contain $T$ with high probability.

Combinatorics
Completely independent spanning trees in the hypercube

Benedict Randall Shaw

2024-12-16

Abstract:We say two spanning trees of a graph are completely independent if their edge sets are disjoint, and for each pair of vertices, the paths between them in each spanning tree do not have any other vertex in common. Pai and Chang constructed two such spanning trees in the hypercube $Q_n$ for sufficiently large $n$, while Kandekar and Mane recently showed there are $3$ pairwise completely independent spanning trees in hypercubes $Q_n$ for sufficiently large $n$. We prove that for each $k$, there exist $k$ completely independent spanning trees in $Q_n$ for sufficiently large $n$. In fact, we show that there are $(\frac{1}{12}+o(1))n$ spanning trees in $Q_n$, each with diameter $(2+o(1))n$. As the minimal diameter of any spanning tree of $Q_n$ is $2n-1$, this diameter is asymptotically optimal. We prove a similar result for the powers $H^n$ of any fixed graph $H$.

Combinatorics,Discrete Mathematics
Number of Vertices of Degree Three in Spanning 3-Trees in Square Graphs.

Win Min Aye,Tao Tian,Liming Xiong

DOI: https://doi.org/10.1016/j.amc.2019.03.062

IF: 4.397

2019-01-01

Applied Mathematics and Computation

Abstract:In this paper, we show that the square graph of a tree T has a spanning tree of maximum degree at most three and with at most max{0,∑x∈W≥3(T)(tT(x)−2)−2} vertices of degree three, where W≥3(T)={x∈V(T): there are at least three edge-disjoint paths of length at least two that start x} and tT(x) is the number of edge-disjoint paths with length at least two that start at a vertex x.
Minimum Spanning Trees with Bounded Degrees of Vertices in a Specified Stable Set

Christoph Brause,Jochen Harant,Florian Hörsch,Samuel Mohr

2024-05-30

Abstract:Given a graph $G$ and sets $\{\alpha_v~|~v \in V(G)\}$ and $\{\beta_v~|~v \in V(G)\}$ of non-negative integers, it is known that the decision problem whether $G$ contains a spanning tree $T$ such that $\alpha_v \le d_T (v) \le \beta_v $ for all $v \in V(G)$ is $NP$-complete. In this article, we relax the problem by demanding that the degree restrictions apply to vertices $v\in U$ only, where $U$ is a stable set of $G$. In this case, the problem becomes tractable. A. Frank presented a result characterizing the positive instances of that relaxed problem. Using matroid intersection developed by J. Edmonds, we give a new and short proof of Frank's result and show that if $U$ is stable and the edges of $G$ are weighted by arbitrary real numbers, then even a minimum-cost tree $T$ with $\alpha_v \le d_T (v) \le \beta_v $ for all $v \in U$ can be found in polynomial time if such a tree exists.

Combinatorics,Discrete Mathematics
Beyond the Pseudoforest Strong Nine Dragon Tree Theorem

Sebastian Mies,Benjamin Moore,Evelyne Smith Roberge

2023-10-02

Abstract:The pseudoforest version of the Strong Nine Dragon Tree Conjecture states that if a graph $G$ has maximum average degree $\text{mad}(G) = 2 \max_{H \subseteq G} \frac{e(G)}{v(G)}$ at most $2(k + \frac{d}{k+d+1})$, then it has a decomposition into $k+1$ pseudoforests where in one pseudoforest $F$ the components of $F$ have at most $d$ edges. This was proven in 2020. We strengthen this theorem by showing that we can find such a decomposition where additionally $F$ is acyclic, the diameter of the components of $F$ is at most $2\ell + 2$, where $\ell = \lfloor\frac{d-1}{k+1} \rfloor$, and at most $2\ell + 1$ if $d \equiv 1 \bmod k+1$. Furthermore, for any component $K$ of $F$ and any $z \in \mathbb N$, we have $diam(K) \leq 2z$ if $e(K) \geq d - z(k-1) + 1$. We also show that both diameter bounds are best possible as an extension for both the Strong Nine Dragon Tree Conjecture for pseudoforests and its original conjecture for forests. In fact, they are still optimal even if we only enforce $F$ to have any constant maximum degree, instead of enforcing every component of $F$ to have at most $d$ edges.

Combinatorics
The pseudoforest analogue for the Strong Nine Dragon Tree Conjecture is true

Logan Grout,Benjamin Moore

DOI: https://doi.org/10.1016/j.jctb.2020.07.001

2020-11-01

Abstract:We prove that for any positive integers k and d, if a graph G has maximum average degree at most <math>2k+2dd+k+1</math>, then G decomposes into <math>k+1</math> pseudoforests <math>C1,…,Ck+1</math> so that for at least one of the pseudoforests, each connected component has at most d edges.

mathematics
Spanning tree-connected subgraphs with small degrees

Morteza Hasanvand

2024-08-22

Abstract:Let $G$ be a graph with a spanning subgraph $F$, let $m$ be a positive integer, and let $f$ be a positive integer-valued function on $V(G)$. In this paper, we show that if for all $S\subseteq V(G)$, $$\Omega_m(G\setminus S)\le \sum_{v\in S}\big(f(v)-2m\big)+m+\Omega_m(G[S]),$$ then $G$ has a spanning $m$-tree-connected subgraph $H$ containing $F$ such that for each vertex $ v$, $d_H(v)\le f(v)+\max\{0,d_F(v)-m\}$, where $G[S]$ denotes the induced subgraph of $G$ with the vertex set $S$ and $\Omega_m(G_0)$ is a parameter to measure $m$-tree-connectivity of a given graph $G_0$. By applying this result, we show that every $k$-edge-connected graph $G$ with $k\ge 2m$ has a spanning $m$-tree-connected subgraph $H$ such that $d_H(v)\le \big\lceil \frac{m}{k}(d_G(v)-2m)\big\rceil+2m$ for each $v\in V(H)$; moreover, if $G$ is $k$-tree-connected and $k\ge m$, then $G$ has a spanning $m$-tree-connected subgraph $H$ such that $d_H(v)\le \big\lceil \frac{m}{k}(d_G(v)-m)\big\rceil+m$ for each $v\in V(H)$. As a consequence, we conclude that every $(r-2m)$-edge-connected graph with $r\ge 4m$ admits a spanning $m$-tree-connected subgraph with maximum degree at most $3m$. Next, we prove that a graph $G$ admits a spanning $m$-tree-connected subgraph $H$ satisfying $\Delta(H) \le 2m+1$, if for all $S\subseteq V(G)$, $$ \omega(G\setminus S)+\small {\frac{m+1}{2}}\, iso(G\setminus S) \le \frac{1}{m}|S|+1,$$ where $\omega(G\setminus S)$ and $iso(G\setminus S)$ denote the number of components and the number of isolated vertices of $G\setminus S$, respectively. As a consequence, we conclude that every $m(n-1)$-connected $K_{1, n}$-free simple graph with a sufficiently large minimum degree and $n\ge 3$ admits a spanning $m$-tree-connected subgraph with maximum degree at most $2m+1$.

Combinatorics
Spanning even trees of graphs

Bill Jackson,Kiyoshi Yoshimoto

DOI: https://doi.org/10.1002/jgt.23115

2024-05-09

Journal of Graph Theory

Abstract:A tree T is said to be even if all pairs of vertices of degree one in T are joined by a path of even length. We conjecture that every r ‐regular nonbipartite connected graph G has a spanning even tree and verify this conjecture when G has a 2‐factor. Well‐known results of Petersen and Hanson et al. imply that the only remaining unsolved case is when r is odd and G has at least r bridges. We investigate this case further and propose some related conjectures.

mathematics
Embedding Nearly Spanning Trees

Bruce Reed,Maya Stein

2024-05-25

Abstract:The Erdős-Sós Conjecture states that every graph with average degree exceeding $k-1$ contains every tree with $k$ edges as a subgraph. We prove that there are $\delta>0$ and $k_0\in\mathbb N$ such that the conjecture holds for every tree $T$ with $k \ge k_0$ edges and every graph $G$ with $|V(G)| \le (1+\delta)|V(T)|$.

Combinatorics
The Bandwidth Theorem in Sparse Graphs

Peter Allen,Julia Böttcher,Julia Ehrenmüller,Anusch Taraz

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

2020-05-12

Abstract:The bandwidth theorem [Mathematische Annalen, 343(1):175--205, 2009] states that any $n$-vertex graph $G$ with minimum degree $\big(\tfrac{k-1}{k}+o(1)\big)n$ contains all $n$-vertex $k$-colourable graphs $H$ with bounded maximum degree and bandwidth $o(n)$. We provide sparse analogues of this statement in random graphs as well as pseudorandom graphs. More precisely, we show that for $p\gg \big(\tfrac{\log n}{n}\big)^{1/\Delta}$ asymptotically almost surely each spanning subgraph $G$ of $G(n,p)$ with minimum degree $\big(\tfrac{k-1}{k}+o(1)\big)pn$ contains all $n$-vertex $k$-colourable graphs $H$ with maximum degree $\Delta$, bandwidth $o(n)$, and at least $C p^{-2}$ vertices not contained in any triangle. A similar result is shown for sufficiently bijumbled graphs, which, to the best of our knowledge, is the first resilience result in pseudorandom graphs for a rich class of spanning subgraphs. Finally, we provide improved results for $H$ with small degeneracy, which in particular imply a resilience result in $G(n,p)$ with respect to the containment of spanning bounded degree trees for $p\gg \big(\tfrac{\log n}{n}\big)^{1/3}$.

Combinatorics
Almost spanning distance trees in subsets of finite vector spaces

Debsoumya Chakraborti,Ben Lund

DOI: https://doi.org/10.1112/blms.13022

IF: 1.036

2024-03-10

Bulletin of the London Mathematical Society

Abstract:For d⩾2 and an odd prime power q , consider the vector space Fqd over the finite field Fq , where the distance between two points (x1,...,xd) and (y1,...,yd) is defined as ∑i=1d(xi−yi)2 . A distance graph is a graph associated with a nonzero distance to each of its edges. We show that large subsets of vector spaces over finite fields contain every nearly spanning distance tree with bounded degree in each distance. This quantitatively improves results by Bennett, Chapman, Covert, Hart, Iosevich, and Pakianathan on finding distance paths, and results by Pham, Senger, Tait, and Thu on finding distance trees. A key ingredient in proving our main result is to obtain a colorful generalization of a classical result of Haxell about finding nearly spanning bounded‐degree trees in an expander.

mathematics
On $\mathbb{Z}_{\ell}^{d}$-towers of graphs

Sage DuBose,Daniel Vallières

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

2022-07-05

Abstract:Let $\ell$ be a rational prime. We show that an analogue of a conjecture of Greenberg in graph theory holds true. More precisely, we show that when $n$ is sufficiently large, the $\ell$-adic valuation of the number of spanning trees at the $n$th layer of a $\mathbb{Z}_{\ell}^{d}$-tower of graphs is given by a polynomial in $\ell^{n}$ and $n$ with rational coefficients of total degree at most $d$ and of degree in $n$ at most one.

Combinatorics,Number Theory
Random minimum spanning tree and dense graph limits

Jan Hladký,Gopal Viswanathan

2024-10-19

Abstract:A theorem of Frieze from 1985 asserts that the total weight of the minimum spanning tree of the complete graph $K_n$ whose edges get independent weights from the distribution $UNIFORM[0,1]$ converges to Apéry's constant in probability, as $n\to\infty$. We generalize this result to sequences of graphs $G_n$ that converge to a graphon $W$. Further, we allow the weights of the edges to be drawn from different distributions (subject to moderate conditions). The limiting total weight $\kappa(W)$ of the minimum spanning tree is expressed in terms of a certain branching process defined on $W$, which was studied previously by Bollobás, Janson and Riordan in connection with the giant component in inhomogeneous random graphs.

Combinatorics,Probability
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
Colouring the Square of the Cartesian Product of Trees

David R. Wood

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

2010-08-13

Abstract:We prove upper and lower bounds on the chromatic number of the square of the cartesian product of trees. The bounds are equal if each tree has even maximum degree.

Combinatorics
Packing and finding paths in sparse random graphs

Vesna Iršič,Julien Portier,Leo Versteegen

2024-09-04

Abstract:Let $G\sim G(n,p)$ be a (hidden) Erdős-Rényi random graph with $p=(1+ \varepsilon)/n$ for some fixed constant $ \varepsilon >0$. Ferber, Krivelevich, Sudakov, and Vieira showed that to reveal a path of length $\ell=\Omega\left(\frac{\log(1/ \varepsilon)}{ \varepsilon}\right)$ in $G$ with high probability, one must query the adjacency of $\Omega\left(\frac{\ell}{p \varepsilon\log(1/ \varepsilon)}\right)$ pairs of vertices in $G$, where each query may depend on the outcome of all previous queries. Their result is tight up to the factor of $\log(1/ \varepsilon)$ in both $\ell$ and the number of queries, and they conjectured that this factor could be removed. We confirm their conjecture. The main ingredient in our proof is a result about path-packings in random labelled trees of independent interest. Using this, we also give a partial answer to a related question of Ferber, Krivelevich, Sudakov, and Vieira. Namely, we show that when $\ell=o\left((t/\log t)^{1/3}\right)$, the maximum number of vertices covered by edge-disjoint paths of length at least $\ell$ in a random labelled tree of size $t$ is $\Theta(t/\ell)$ with high probability.

Combinatorics
On Decomposing Graphs Into Forests and Pseudoforests

Logan Grout,Benjamin Moore

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

2019-04-29

Combinatorics

Abstract:We prove that for $k \in \mathbb{N}$ and $d \leq 2k+2$, if a graph has maximum average degree at most $2k + \frac{2d}{d+k+1}$, then $G$ decomposes into $k+1$ pseudoforests, where one of the pseudoforests has all connected components having at most $d$ edges.

Spanning trees in the square of pseudorandom graphs

Spanning trees in pseudorandom graphs via sorting networks

Spanning trees in graphs without large bipartite holes

Dirac-type conditions for spanning bounded-degree hypertrees

Randomly perturbed digraphs also have bounded-degree spanning trees

Completely independent spanning trees in the hypercube

Number of Vertices of Degree Three in Spanning 3-Trees in Square Graphs.

Minimum Spanning Trees with Bounded Degrees of Vertices in a Specified Stable Set

Beyond the Pseudoforest Strong Nine Dragon Tree Theorem

The pseudoforest analogue for the Strong Nine Dragon Tree Conjecture is true

Spanning tree-connected subgraphs with small degrees

Spanning even trees of graphs

Embedding Nearly Spanning Trees

The Bandwidth Theorem in Sparse Graphs

Almost spanning distance trees in subsets of finite vector spaces

On $\mathbb{Z}_{\ell}^{d}$-towers of graphs

Random minimum spanning tree and dense graph limits

Regular bipartite decompositions of pseudorandom graphs

Colouring the Square of the Cartesian Product of Trees

Packing and finding paths in sparse random graphs

On Decomposing Graphs Into Forests and Pseudoforests