tree
6737 papers tagged with this keyword
VC Set Systems in Minor-free (Di)Graphs and Applications
A recent line of work on VC set systems in minor-free (undirected) graphs, starting from Li and Parter, who constructed a new VC set system for planar graphs, has given surprising algorithmic results. In this work, we initialize a more systematic study of VC set systems for minor-free graphs and their applications in both undirected graphs and directed graphs (a.k.a digraphs). More precisely:
- We propose a new variant of Li-Parter set system for undirected graphs.
- We extend our set system to $K_h$-minor-free digraphs and show that its VC dimension is $O(h^2)$.
- We show that the system of directed balls in minor-free digraphs has VC dimension at most $h-1$.
- On the negative side, we show that VC set system constructed from shortest path trees of planar digraphs does not have a bounded VC dimension.
The highlight of our work is the results for digraphs, as we are not aware of known algorithmic work on constructing and exploiting VC set systems for digraphs.
Strong spatial mixing for colorings on trees and its algorithmic applications
Strong spatial mixing (SSM) is an important quantitative notion of correlation decay for Gibbs distributions arising in statistical physics, probability theory, and theoretical computer science. A longstanding conjecture is that the uniform distribution on proper $q$-colorings on a $Δ$-regular tree exhibits SSM whenever $q \ge Δ+1$. Moreover, it is widely believed that as long as SSM holds on bounded-degree trees with $q$ colors, one would obtain an efficient sampler for $q$-colorings on all bounded-degree graphs via simple Markov chain algorithms. It is surprising that such a basic question is still open, even on trees, but then again it also highlights how much we still have to learn about random colorings. In this paper, we show the following:
(1) For any $Δ\ge 3$, SSM holds for random $q$-colorings on trees of maximum degree $Δ$ whenever $q \ge Δ+ 3$. Thus we almost fully resolve the aforementioned conjecture. Our result substantially improves upon the previously best bound which requires $q \ge 1.59Δ+γ^*$ for an absolute constant $γ^* > 0$.
(2) For any $Δ\ge 3$ and girth $g = Ω_Δ(1)$, we establish optimal mixing of the Glauber dynamics for $q$-colorings on graphs of maximum degree $Δ$ and girth $g$ whenever $q \ge Δ+3$. Our approach is based on a new general reduction from spectral independence on large-girth graphs to SSM on trees that is of independent interest.
Using the same techniques, we also prove near-optimal bounds on weak spatial mixing (WSM), a closely-related notion to SSM, for the antiferromagnetic Potts model on trees.
Maximum Agreement Subtrees and Hölder homeomorphisms between Brownian trees
We prove that the size of the largest common subtree between two uniform, independent, leaf-labelled random binary trees of size $n$ is typically less than $n^{1/2-\varepsilon}$ for some $\varepsilon>0$. Our proof relies on the coupling between discrete random trees and the Brownian tree and on a recursive decomposition of the Brownian tree due to Aldous. Along the way, we also show that almost surely, there is no $(1-\varepsilon)$-Hölder homeomorphism between two independent copies of the Brownian tree.
Planar site percolation via tree embeddings
We prove that if $G$ is an infinite, connected, planar graph properly embedded in $\mathbb{R}^2$ with minimum degree at least $7$, then i.i.d.\ Bernoulli$(p)$ site percolation on $G$ almost surely has infinitely many infinite open (1-)clusters for every \[ p \in \bigl(p_c^{\mathrm{site}},\, 1-p_c^{\mathrm{site}}\bigr). \] Moreover, we show that $p_c^{\mathrm{site}}<\tfrac12$, so this non-uniqueness interval is nonempty. This verifies Conjecture~7 of Benjamini and Schramm~\cite{bs96} for this class of properly embedded planar graphs.
Our proof introduces a new construction of embedded trees in $G$. These trees yield infinitely many infinite clusters for percolation parameters near $\tfrac12$, and they also enable exponential decay of two-point connection probabilities by partitioning $G$ using infinitely many disjoint trees. Variants of this approach were later used in~\cite{ZL26} to construct a counterexample to Conjecture~7 of~\cite{bs96} for planar graphs with uncountably many ends.
Finally, the methods developed here have further applications: in~\cite{perc24} they are used to prove a vertex-cut characterization of $p_c^{\mathrm{site}}$ (conjectured by Kahn in~\cite{JK03}) and to refute an edge-cut characterization proposed by Lyons and Peres~\cite{LP16} and Tang (\cite{Tang2023}).
Slow Coloring of 3k-Connected Graphs
The slow coloring game was introduced by Mahoney, Puleo, and West and it is played by two players, Lister and Painter, on a graph \(G\). In round \(i\), Lister marks a nonempty subset \(M\) of \(V(G)\). By doing this he scores \(|M|\) points. Painter responds by deleting a maximal independent subset of \(M\). This process continues until all vertices are deleted. Lister aims to maximize the score, while Painter aims to minimize it. The best score that both players can guarantee is called the \textit{slow coloring number} or \textit{sum-color cost} of \(G\), denoted \(\spo{(G)}\).
Puleo and West found that for an \(n\)-vertex tree \(T\), the slow coloring number is at most \(\lfloor \frac{3n}{2} \rfloor\), and that the maximum can be reached when \(T\) contains a spanning forest with vertices of degree 1 or 3. This implies that every n-vertex graph \(G\) having a perfect matching satisfies \(\spo(G) \geq \lfloor{\frac{3n}{2}}\rfloor\). In this paper, we prove that for \(3k\)-connected graphs with \(|V(G)| \geq 4k\) and with a perfect matching the lower bound is higher: \(\spo(G) \geq \frac{3n}{2} + k\).
A problem equivalent to counting directed acyclic graphs on labeled vertices
An encoding of directed acyclic graphs (DAGs) on labeled vertices is proposed, which is a generalisation of the Prüfer code for labeled trees, if a certain orienation on the edges of the tree is introduced. Hence it is shown that the number of sequences $S_1, S_2, \ldots, S_{n-1}$ of subsets of $\{1, 2, \ldots, n\}$ with the property that $|\bigcup_{i=1}^kS_i|\leq k$ for every $1\leq k \leq n-1$, is equal to the number of DAGs on $n$ labeled vertices.
Zero loci of nullvectors and skew zero forcing in graphs and hypergraphs
There is interesting internal structure in the nullspaces of graph and hypergraph adjacency matrices, especially for trees, bipartite graphs, and related combinatorial classes. The zero loci of nullvectors, i.e., their zero coordinates' indices, encode information about matchings, coverings, and edges' influence on rank. This set system is the lattice of flats of a ``kernel matroid'', a subsystem of which are the ``stalled'' sets closed under skew zero forcing (SZF), a graph percolation/infection model known to have connections with rank and nullity. For a wide variety of graphs, the lattice of SZF-closed sets is also a matroid, a fact which can be used to obtain a polynomial-time algorithm for computing the skew zero forcing number. This contrasts with the general case, where we show that the corresponding decision problem is NP-hard. We also define skew zero forcing for hypergraphs, and show that, for linear hypertrees, the poset of SZF-closed sets is dual to the lattice of ideals of the hypergraph's nullvariety; while, for complete hypergraphs, the SZF-closed sets and the zero loci of nullvectors are more loosely related.
Phylogenetic degrees for claw trees
Group-based models appear in algebraic statistics as mathematical models coming from evolutionary biology, respectively the study of mutations of organisms. Both theoretically and in terms of applications, we are interested in determining the algebraic degrees of the phylogenetic varieties coming from these models. These algebraic degrees are called phylogenetic degrees. In this paper, we compute the phylogenetic degree of the variety $X_{G, n}$ with $G\in\{\mathbb{Z}_2,\mathbb{Z}_2\times\mathbb{Z}_2, \mathbb{Z}_3\}$ and any $n$-claw tree. As these varieties are toric, computing their phylogenetic degree relies on computing the volume of their associated polytopes $P_{G,n}$. We apply combinatorial methods and we give concrete formulas for them.
Graphs with queue number three and unbounded stack number
We prove that the graphs $T\boxslash P$ have unbounded stack number and queue number $3$, where $T$ is a tree and $P$ is a path, and $\boxslash$ denotes the graph strong product but with one of the directions removed. The previous best known results is that graphs with queue number $4$ can have unbounded stack number.
Complete non-ambiguous trees and associated permutations: new enumerative results
We study a link between complete non-ambiguous trees (CNATs) and permutations exhibited by Daniel Chen and Sebastian Ohlig in recent work. In this, they associate a certain permutation to the leaves of a CNAT, and show that the number of $n$-permutations that are associated with exactly one CNAT is $2^{n-2}$. We connect this to work by the first author and co-authors linking complete non-ambiguous trees and the acyclic orientation number of the associated permutation graph. This allows us to prove a number of conjectures by Chen and Ohlig on the number of $n$-permutations that are associated with exactly $k$ CNATs for various $k > 1$, via various bijective correspondences between such permutations. We also exhibit a new bijection between $(n-1)$-permutations and CNATs whose permutation is the decreasing permutation $n(n-1)\cdots1$. This bijection maps the left-to-right minima of the permutation to dots on the top row of the corresponding CNAT, and descents of the permutation to empty rows of the CNAT.
The Excluded Tree Minor Theorem Revisited
Published in Combinatorics, Probability and Computing (2024), 33, pp. 85--90
• View Publication
• BIB
We prove that for every tree $T$ of radius $h$, there is an integer $c$ such that every $T$-minor-free graph is contained in $H\boxtimes K_c$ for some graph $H$ with pathwidth at most $2h-1$. This is a qualitative strengthening of the Excluded Tree Minor Theorem of Robertson and Seymour (GM I). We show that radius is the right parameter to consider in this setting, and $2h-1$ is the best possible bound.
Grand Schnyder Woods
We define a far-reaching generalization of Schnyder woods which encompasses many classical combinatorial structures on planar graphs.
Schnyder woods are defined for planar triangulations as certain triples of spanning trees covering the triangulation and crossing each other in an orderly fashion. They are of theoretical and practical importance, as they are central to the proof that the order dimension of any planar graph is at most 3, and they are also underlying an elegant drawing algorithm. In this article we extend the concept of Schnyder wood well beyond its original setting: for any integer d>2 we define a ``grand-Schnyder'' structure for (embedded) planar graphs which have faces of degree at most d and non-facial cycles of length at least d. We prove the existence of grand-Schnyder structures, provide a linear construction algorithm, describe 4 different incarnations (in terms of tuples of trees, corner labelings, weighted orientations, and marked orientations), and define a lattice for the set of grand Schnyder structures of a given planar graph. We show that the grand-Schnyder framework unifies and extends several classical constructions: Schnyder woods and Schnyder decompositions, regular edge-labelings (a.k.a. transversal structures), and Felsner woods.
The generalized $4$-connectivity of bubble-sort graphs
For $S\subseteq V(G)$ with $|S|\ge 2$, let $κ_G (S)$ denote the maximum number of internally disjoint trees connecting $S$ in $G$. For $2\le k\le n$, the generalized $k$-connectivity $κ_k(G)$ of an $n$-vertex connected graph $G$ is defined to be $κ_k(G)=\min \{κ_G(S): S\in V(G) \mbox{ and } |S|=k\}$. The generalized $k$-connectivity can serve for measuring the fault tolerance of an interconnection network. The bubble-sort graph $B_n$ for $n\ge 2$ is a Cayley graph over the symmetric group of permutations on $[n]$ generated by transpositions from the set $\{[1,2],[2,3],\dots, [n-1,n]\}$. In this paper, we show that for the bubble-sort graphs $B_n$ with $n\ge 3$, $κ_4(B_n)=n-2$.
Finding a good tree to burn
The burning number of a graph $G$ is the smallest positive integer $k$ such that the vertex set of $G$ can be covered with balls of radii $0, 1, \dots, k-1$. A well-known conjecture by Bonato, Janssen and Roshabin states that any connected graph on $n$ vertices has burning number at most $\lceil \sqrt{n} \rceil$. It was recently shown by Norin and Turcotte that the conjecture holds up to a factor of $1+o(1)$. In this note, we demonstrate how this result can be applied to determine the asymptotic value of the burning number for graph classes with given minimum degree. This is based on an observation about connected $2$-hop dominating sets, which may be of independent interest.
Sharp threshold for embedding balanced spanning trees in random geometric graphs
A rooted tree is balanced if the degree of a vertex depends only on its distance to the root. In this paper we determine the sharp threshold for the appearance of a large family of balanced spanning trees in the random geometric graph $\mathcal{G}(n,r,d)$. In particular, we find the sharp threshold for balanced binary trees. More generally, we show that all sequences of balanced trees with uniformly bounded degrees and height tending to infinity appear above a sharp threshold, and none of these appears below the same value. Our results hold more generally for geometric graphs satisfying a mild condition on the distribution of their vertex set, and we provide a polynomial time algorithm to find such trees.
Counting orbits under Kreweras complementation
The Kreweras complementation map is an anti-isomorphism on the lattice of noncrossing partitions. We consider an analogous operation for plane trees motivated by the molecular biology problem of RNA folding. In this context, we explicitly count the orbits of Kreweras' map according to their length as the number of appropriate symmetry classes of trees in the plane. These enumeration results are consolidated into a single implicit formula under the cyclic sieving phenomenon.
A new result similar to the Graham-Pollak theorem
Let $n>1$ be an integer, and let $T$ be a tree with $n+1$ vertices $v_1,\ldots,v_{n+1}$, where $v_1$ and $v_{n+1}$ are two leaves of $T$. For each edge $e$ of $T$, assign a complex number $w(e)$ as its weight. We obtain that $$\det[x+d(v_{j+1},v_k)]_{1\le j,k\le n}=2^{n-2}\prod_{e\in E(T)}w(e),$$ where $d(v_{j+1},v_k)$ is the weighted distance between $v_{j+1}$ and $v_k$ in the tree $T$. This is similar to the celebrated Graham-Pollak theorem on determinants of distance matrices for trees. Actually, a more general result is deduced in this paper.
On Sign-Invertible Graphs
Let $G$ be a graph and $A$ be its adjacency matrix. A graph $G$ is invertible if its adjacency matrix $A$ is invertible and the inverse of $G$ is a weighted graph with adjacency matrix $A^{-1}$. A signed graph $(G,σ)$ is a weighted graph with a special weight function $σ: E(G)\to \{-1,1\}$. A graph is sign-invertible (or sign-invertible) if its inverse is a signed graph. A sign-invertible graph is always unimodular. The inverses of graphs have interesting combinatorial interests. In this paper, we study inverses of graphs and provide a combinatorial description for sign-invertible graphs, which provides a tool to characterize sign-invertible graphs. As applications, we complete characterize sign-invertible bipartite graphs with a unique perfect matching, and sign-invertible graphs with cycle rank at most two. As corollaries of these characterizations, some early results on trees (Buckley, Doty and Harary in 1982) and unicyclic graphs with a unique perfect matching (Kalita and Sarma in 2022) follow directly.
On the Homotopy Type of the Polyhedral Join over the Independence Complex of a Forest
We consider a certain class of simplicial complexes which includes the independence complexes of forests. We show that if a simplicial complex $K$ belongs to this class, then the polyhedral join $\mathcal{Z}^*_{K}(\underline{X}, \emptyset)$ is homotopy equivalent to a wedge sum of CW complexes of the form $Σ^r X_{i_1} * X_{i_2} * \cdots * X_{i_k}$, where $\underline{X}$ is a family $\{X_i\}_{i \in V(K)}$ of CW complexes and $Σ$ denotes the unreduced suspension. This result is applied to study the homotopy type of the independence complex of the lexicographic product $G[H]$ of a graph $H$ over a forest $G$. We denote by $L_m$ a tree on $m$ vertices with no branches. We show that the geometric realization of the independence complex of $L_m [H]$ is homotopy equivalent to a wedge sum of spheres if $m \neq 2,3$ and the geometric realization of the independence complex of $H$ is homotopy equivalent to a wedge sum of same dimensional spheres.
Identifiability of the Rooted Tree Parameter under the Cavender-Farris-Neyman Model with a Molecular Clock
Identifiability of the discrete tree parameter is a key property for phylogenetic models since it is necessary for statistically consistent estimation of the tree from sequence data. Algebraic methods have proven to be very effective at showing that tree and network parameters of phylogenetic models are identifiable, especially when the underlying models are group-based. However, since group-based models are time-reversible, only the unrooted tree topology is identifiable and the location of the root is not. In this note we show that the rooted tree parameter of the Cavender-Farris-Neyman Model with a Molecular Clock is generically identifiable by using the invariants of the model which were characterized by Coons and Sullivant.