tree
6737 papers tagged with this keyword
On the location of roots of the independence polynomial of bounded degree graphs
In [1] Peters and Regts confirmed a conjecture by Sokal by showing that for every $Δ\in \mathbb{Z}_{\geq 3}$ there exists a complex neighborhood of the interval $\left[0, \frac{\left(Δ- 1\right)^{Δ- 1}}{\left(Δ-2\right)^Δ}\right)$ on which the independence polynomial is nonzero for all graphs of maximum degree $Δ$. Furthermore, they gave an explicit neighborhood $U_Δ$ containing this interval on which the independence polynomial is nonzero for all finite rooted Cayley trees with branching number $Δ$. The question remained whether $U_Δ$ would be zero-free for the independence polynomial of all graphs of maximum degree $Δ$. In this paper it is shown that this is not the case.
[1] Han Peters and Guus Regts, On a conjecture of sokal concerning roots of the independence polynomial, Michigan Math. J. (2019), Advance publication.
Generalization of the cover pebbling number on trees
A pebbling move on a graph consists of taking two pebbles off from one vertex and add one pebble on an adjacent vertex, the $t$-pebbling number of a graph $G$ is the minimum number of pebbles so that we can move $t$ pebbles on any vertex on $G$ regardless the original distribution of pebbles. Let $ω$ be a positive function on $V(G)$, the $ω$-cover pebbling number of a graph $G$ is the minimum number of pebbles so that we can reach a distribution with at least $ω(v)$ pebbles on $v$ for all $v\in V(G)$. In this paper, we give the $ω$-cover pebbling number of trees for nonnegative function $ω$, which generalized the $t$-pebbling number and the traditional weighted cover pebbling number of trees.
Linear algebraic techniques for spanning tree enumeration
Published in The American Mathematical Monthly, 127:4, 297-307 (2020)
• View Publication
• BIB
Kirchhoff's Matrix-Tree Theorem asserts that the number of spanning trees in a finite graph can be computed from the determinant of any of its reduced Laplacian matrices. In many cases, even for well-studied families of graphs, this can be computationally or algebraically taxing. We show how two well-known results from linear algebra, the Matrix Determinant Lemma and the Schur complement, can be used to elegantly count the spanning trees in several significant families of graphs.
Decompositions into isomorphic rainbow spanning trees
A subgraph of an edge-coloured graph is called rainbow if all its edges have distinct colours. Our main result implies that, given any optimal colouring of a sufficiently large complete graph $K_{2n}$, there exists a decomposition of $K_{2n}$ into isomorphic rainbow spanning trees. This settles conjectures of Brualdi--Hollingsworth (from 1996) and Constantine (from 2002) for large graphs.
Equality cases for a bound on the chromatic number
It is known that the inequality $$ \frac{χ(G)(χ(G)-1)}{2} + |V| - χ(G) \leq |E|$$ holds for all connected graphs, where $χ(G)$ denotes the chromatic number of $G$. We prove that equality holds whenever the graph consists of a complete graph or an odd cycle, together with finitely many trees attached to its vertices.
Optimal proper connection of graphs
An edge-colored graph $G$ is called properly colored if no two adjacent edges share a color in $G$. An edge-colored connected graph $G$ is called properly connected if between every pair of distinct vertices, there exists a path that is properly colored. In this paper, we discuss how to make a connected graph properly connected efficiently. More precisely, we consider the problem to convert a given monochromatic graph into properly connected by recoloring $p$ edges with $q$ colors so that $p+q$ is as small as possible. We discuss how this can be done efficiently for some restricted graphs, such as trees, complete bipartite graphs and graphs with independence number $2$.
Well-indumatched Trees and Graphs of Bounded Girth
A graph G is called well-indumatched if all of its maximal induced matchings have the same size. In this paper we characterize all well-indumatched trees. We provide a linear time algorithm to decide if a tree is well-indumatched or not. Then, we characterize minimal well-indumatched graphs of girth at least 9 and show subsequently that for an odd integer g greater than or equal to 9 and different from 11, there is no well-indumatched graph of girth g. On the other hand, there are infinitely many well-indumatched unicyclic graphs of girth k, where k is in {3, 5, 7} or k is an even integer greater than 2. We also show that, although the recognition of well-indumatched graphs is known to be co-NP-complete in general, one can recognize in polynomial time well-indumatched graphs where the size of maximal induced matchings is fixed.
An aperiodic monotile that forces nonperiodicity through dendrites
We introduce a new type of aperiodic hexagonal monotile; a prototile that admits infinitely many tilings of the plane, but any such tiling lacks any translational symmetry. Adding a copy of our monotile to a patch of tiles must satisfy two rules that apply only to adjacent tiles. The first is inspired by the Socolar--Taylor monotile, but can be realised by shape alone. The second is a local growth rule; a direct isometry of our monotile can be added to any patch of tiles provided that a tree on the monotile connects continuously with a tree on one of its neighbouring tiles. This condition forces tilings to grow along dendrites, which ultimately results in nonperiodic tilings. Our local growth rule initiates a new method to produce tilings of the plane.
Enumeration and Asymptotic Formulas for Rectangular Partitions of the Hypercube
Published in Journal of Integer Sequences 23 (2020) Article 20.1.4
• Search Publication
We study a two-parameter generalization of the Catalan numbers: $C_{d,p}(n)$ is the number of ways to subdivide the $d$-dimensional hypercube into $n$ rectangular blocks using orthogonal partitions of fixed arity $p$. Bremner \& Dotsenko introduced $C_{d,p}(n)$ in their work on Boardman--Vogt tensor products of operads; they used homological algebra to prove a recursive formula and a functional equation. We express $C_{d,p}(n)$ as simple finite sums, and determine their growth rate and asymptotic behaviour. We give an elementary proof of the functional equation, using a bijection between hypercube decompositions and a family of full $p$-ary trees. Our results generalize the well-known correspondence between Catalan numbers and full binary trees.
Tree series and pattern avoidance in syntax trees
Published in Journal of Combinatorial Theory, Series A, 176, 2020
• View Publication
• BIB
A syntax tree is a planar rooted tree where internal nodes are labeled on a graded set of generators. There is a natural notion of occurrence of contiguous pattern in such trees. We describe a way, given a set of generators $\mathfrak{G}$ and a set of patterns $\mathcal{P}$, to enumerate the trees constructed on $\mathfrak{G}$ and avoiding $\mathcal{P}$. The method is built around inclusion-exclusion formulas forming a system of equations on formal power series of trees, and composition operations of trees. This does not require particular conditions on the set of patterns to avoid. We connect this result to the theory of nonsymmetric operads. Syntax trees are the elements of such free structures, so that any operad can be seen as a quotient of a free operad. Moreover, in some cases, the elements of an operad can be seen as trees avoiding some patterns. Relying on this, we use operads as devices for enumeration: given a set of combinatorial objects we want enumerate, we endow it with the structure of an operad, understand it in term of trees and pattern avoidance, and use our method to count them. Several examples are provided.
On the spectral properties of Feigenbaum graphs
Published
• View Publication
• BIB
A Horizontal Visibility Graph (HVG) is a simple graph extracted from an ordered sequence of real values, and this mapping has been used to provide a combinatorial encryption of time series for the task of performing network based time series analysis. While some properties of the spectrum of these graphs --such as the largest eigenvalue of the adjacency matrix-- have been routinely used as measures to characterise time series complexity, a theoretic understanding of such properties is lacking. In this work we explore some algebraic and spectral properties of these graphs associated to periodic and chaotic time series. We focus on the family of Feigenbaum graphs, which are HVGs constructed in correspondence with the trajectories of one-parameter unimodal maps undergoing a period-doubling route to chaos (Feigenbaum scenario). For the set of values of the map's parameter $μ$ for which the orbits are periodic with period $2^n$, Feigenbaum graphs are fully characterised by two integers (n,k) and admit an algebraic structure. We explore the spectral properties of these graphs for finite n and k, and among other interesting patterns we find a scaling relation for the maximal eigenvalue and we prove some bounds explaining it. We also provide numerical and rigorous results on a few other properties including the determinant or the number of spanning trees. In a second step, we explore the set of Feigenbaum graphs obtained for the range of values of the map's parameter $μ$ for which the system displays chaos. We show that in this case, Feigenbaum graphs form an ensemble for each value of $μ$ and the system is typically weakly self-averaging. Unexpectedly, we find that while the largest eigenvalue can distinguish chaos from an iid process, it is not a good measure to quantify the chaoticity of the process, and that the eigenvalue density does a better job.
Strict Superstablity and Decidability of Certain Generic Graphs
Published in Bull. Iran. Math. Soc. 45, 1839 -1854 (2019)
• View Publication
• BIB
We show that the Hrushovski-\fraisse limit of certain classes of trees lead to strictly superstable theories of various U-ranks. In fact, for each $ α\inω+1\backslash\{0\} $ we introduce a strictly superstable theory of U-rank $ α. $ Furthermore, we show that these theories are decidable and pseudofinite.
Conflict-free (vertex)-connection numbers of graphs with small diameters
A path in an(a) edge(vertex)-colored graph is called a conflict-free path if there exists a color used on only one of its edges(vertices). An(A) edge(vertex)-colored graph is called conflict-free (vertex-)connected if for each pair of distinct vertices, there is a conflict-free path connecting them. For a connected graph $G$, the conflict-free (vertex-)connection number of $G$, denoted by $cfc(G)(\text{or}~vcfc(G))$, is defined as the smallest number of colors that are required to make $G$ conflict-free (vertex-)connected. In this paper, we first give the exact value $cfc(T)$ for any tree $T$ with diameters $2,3$ and $4$. Based on this result, the conflict-free connection number is determined for any graph $G$ with $diam(G)\leq 4$ except for those graphs $G$ with diameter $4$ and $h(G)=2$. In this case, we give some graphs with conflict-free connection number $2$ and $3$, respectively. For the conflict-free vertex-connection number, the exact value $vcfc(G)$ is determined for any graph $G$ with $diam(G)\leq 4$.
A note on general epidemic region for infinite regular graphs
Published in Information Processing Letters, Volume 143, Pages 41-46 (2019)
• View Publication
• BIB
We study the contagion game with the bilingual option on infinite regular graphs introduced and modeled mathematically in [N. Immorlica et al. (2007)]. In the reference, Immorlica et al. studied conditions for an innovation to become epidemic over infinite regular trees, the grid, and the infinite thick-lines in terms of payoff enhancement and cost of the bilingual option. We improved their results by showing that the class of infinite regular trees make an innovation least advantageous to become epidemic considering the whole class of infinite regular graphs. Moreover, we show that any infinite $Δ$-regular graph containing the infinite $Δ$-tree structure is also least advantageous to be epidemic. Also, we construct an infinite family of infinite $Δ$-regular graphs (including the thick $Δ$-line) that is the most advantageous to be epidemic as known so far.
On the Area Requirements of Planar Straight-Line Orthogonal Drawings of Ternary Trees
In this paper, we study the area requirements of planar straight-line orthogonal drawings of ternary trees. We prove that every ternary tree admits such a drawing in sub-quadratic area. Further, we present upper bounds, the outcomes of an experimental evaluation, and a conjecture on the area requirements of planar straight-line orthogonal drawings of complete ternary trees. Finally, we present a polynomial lower bound on the length of the minimum side of any planar straight-line orthogonal drawing of a complete ternary tree.
Triangulations with homogeneous zigzags
We investigate zigzags in triangulations of connected closed $2$-dimensional surfaces and show that there is a one-to-one correspondence between triangulations with homogeneous zigzags and closed $2$-cell embeddings of directed Eulerian graphs in surfaces. A triangulation is called $z$-knotted if it has a single zigzag. We construct a family of tree structured $z$-knotted spherical triangulations whose zigzags are homogeneous.
Linear algebraic techniques for weighted spanning tree enumeration
Published in Linear Algebra and its Applications, Volume 582, 2019, Pages 391-402
• View Publication
• BIB
The weighted spanning tree enumerator of a graph $G$ with weighted edges is the sum of the products of edge weights over all the spanning trees in $G$. In the special case that all of the edge weights equal $1$, the weighted spanning tree enumerator counts the number of spanning trees in $G$. The Weighted Matrix-Tree Theorem asserts that the weighted spanning tree enumerator can be calculated from the determinant of a reduced weighted Laplacian matrix of $G$. That determinant, however, is not always easy to compute. In this paper, we show how two well-known results from linear algebra, the Matrix Determinant Lemma and the method of Schur complements, can be used to elegantly compute the weighted spanning tree enumerator for several families of graphs.
An example for a nontrivial irreducible geodesic net in the plane
We construct a geodesic net in the plane with four unbalanced (boundary) vertices that has 16 balanced vertices and does not contain proper geodesic subnets. This is the first example of an irreducible geodesic net in the Euclidean plane with 4 boundary vertices that is not a tree.
On the bi-Lipschitz geometry of lamplighter graphs
Published
• View Publication
• BIB
In this article we start a systematic study of the bi-Lipschitz geometry of lamplighter graphs. We prove that lamplighter graphs over trees bi-Lipschitzly embed into Hamming cubes with distortion at most~$6$. It follows that lamplighter graphs over countable trees bi-Lipschitzly embed into $\ell_1$. We study the metric behaviour of the operation of taking the lamplighter graph over the vertex-coalescence of two graphs. Based on this analysis, we provide metric characterizations of superreflexivity in terms of lamplighter graphs over star graphs or rose graphs. Finally, we show that the presence of a clique in a graph implies the presence of a Hamming cube in the lamplighter graph over it. An application is a characterization in terms of a sequence of graphs with uniformly bounded degree of the notion of trivial Bourgain-Milman-Wolfson type for arbitrary metric spaces, similar to Ostrovskii's characterization previously obtained in \cite{ostrovskii:11}.
Find Subtrees of Specified Weight and Cycles of Specified Length in Linear Time
We apply the Euler tour technique to find subtrees of specified weight as follows. Let $k, g, N_1, N_2 \in \mathbb{N}$ such that $1 \leq k \leq N_2$, $g + h > 2$ and $2k - 4g - h + 3 \leq N_2 \leq 2k + g + h - 2$, where $h := 2N_1 - N_2$. Let $T$ be a tree of $N_1$ vertices and let $c : V(T) \rightarrow \mathbb{N}$ be vertex weights such that $c(T) := \sum_{v \in V(T)} c(v) = N_2$ and $c(v) \leq k$ for all $v \in V(T)$. We prove that a subtree $S$ of $T$ of weight $k - g + 1 \leq c(S) \leq k$ exists and can be found in linear time. We apply it to show, among others, the following: (i) Every planar hamiltonian graph $G = (V(G), E(G))$ with minimum degree $δ\geq 4$ has a cycle of length $k$ for every $k \in \{\lfloor \frac{|V(G)|}{2} \rfloor, \dots, \lceil \frac{|V(G)|}{2} \rceil + 3\}$ with $3 \leq k \leq |V(G)|$. (ii) Every $3$-connected planar hamiltonian graph $G$ with $δ\geq 4$ and $|V(G)| \geq 8$ even has a cycle of length $\frac{|V(G)|}{2} - 1$ or $\frac{|V(G)|}{2} - 2$. Each of these cycles can be found in linear time if a Hamilton cycle of the graph is given. This work was partially motivated by conjectures of Bondy and Malkevitch on cycle spectra of 4-connected planar graphs.