tree
6861 papers tagged with this keyword
Treelike decompositions for transductions of sparse graphs
Published
• View Publication
• BIB
We give new decomposition theorems for classes of graphs that can be transduced in first-order logic from classes of sparse graphs -- more precisely, from classes of bounded expansion and from nowhere dense classes. In both cases, the decomposition takes the form of a single colored rooted tree of bounded depth where, in addition, there can be links between nodes that are not related in the tree. The constraint is that the structure formed by the tree and the links has to be sparse. Using the decomposition theorem for transductions of nowhere dense classes, we show that they admit low-shrubdepth covers of size $O(n^\varepsilon)$, where $n$ is the vertex count and $\varepsilon>0$ is any fixed~real. This solves an open problem posed by Gajarský et al. (ACM TOCL '20) and also by Briański et al. (SIDMA '21).
The Polyhedral Tree Complex
Published in Combinatorial Theory, 2(3) 2022
• View Publication
• BIB
The tree complex is a simplicial complex defined in recent work of Belk, Lanier, Margalit, and Winarski with natural applications to mapping class groups and complex dynamics. In this article, we connect this setting with the study of certain convex polytopes: associahedra and cyclohedra. Specifically, we describe a characterization of these polytopes using planar embeddings of trees and show that the tree complex is the barycentric subdivision of a polyhedral cell complex for which the cells are products of associahedra and cyclohedra.
Characterizing Planar Tanglegram Layouts and Applications to Edge Insertion Problems
Published
• View Publication
• BIB
Tanglegrams are formed by taking two rooted binary trees $T$ and $S$ with the same number of leaves and uniquely matching each leaf in $T$ with a leaf in $S$. They are usually represented using layouts, which embed the trees and the matching of the leaves into the plane as in Figure 1. Given the numerous ways to construct a layout, one problem of interest is the Tanglegram Layout Problem, which is to efficiently find a layout that minimizes the number of crossings. This parallels a similar problem involving drawings of graphs, where a common approach is to insert edges into a planar subgraph. In this paper, we will explore inserting edges into a planar tanglegram. Previous results on planar tanglegrams include a Kuratowski Theorem, enumeration, and an algorithm for drawing a planar layout. We start by building on these results and characterizing all planar layouts of a planar tanglegram. We then apply this characterization to construct a quadratic-time algorithm that inserts a single edge optimally. Finally, we generalize some results to multiple edge insertion.
Trees, graphs and aggregates: a categorical perspective on combinatorial surface topology, geometry, and algebra
Taking a Feynman categorical perspective, several key aspects of the geometry of surfaces are deduced from combinatorial constructions with graphs. This provides a direct route from combinatorics of graphs to string topology operations via topology, geometry and algebra.
In particular, the inclusion of trees into graphs and the dissection of graphs into aggregates yield a concise formalism for cyclic and modular operads as well as their polycyclic and surface type generalizations. The latter occur prominently in two-dimensional topological field theory and in string topology. The categorical viewpoint allows us to use left Kan extensions of Feynman operations as an efficient computational tool. The computations involve the study of certain categories of structured graphs which are expected to be of independent interest.
On the Homomorphism Order of Oriented Paths and Trees
Published in In: Extended Abstracts EuroComb 2021. Trends in Mathematics, vol 14. Birkhäuser, Cham (2021)
• View Publication
• BIB
A partial order is universal if it contains every countable partial order as a suborder. In 2017, Fiala, Hubička, Long and Nešetřil showed that every interval in the homomorphism order of graphs is universal, with the only exception being the trivial gap $[K_1,K_2]$. We consider the homomorphism order restricted to the class of oriented paths and trees. We show that every interval between two oriented paths or oriented trees of height at least 4 is universal. The exceptional intervals coincide for oriented paths and trees and are contained in the class of oriented paths of height at most 3, which forms a chain.
Counting Power Domination Sets in Complete m-ary Trees
Published
• View Publication
• BIB
Motivated by the question of computing the probability of successful power domination by placing k monitors uniformly at random, in this paper we give a recursive formula to count the number of power domination sets of size k in a labeled complete m-ary tree. As a corollary we show that the desired probability can be computed in exponential with linear exponent time.
Degenerations and multiplicity-free formulas for products of $ψ$ and $ω$ classes on $\overline{M}_{0,n}$
Published
• View Publication
• BIB
We consider products of $ψ$ classes and products of $ω$ classes on $\overline{M}_{0,n+3}$. For each product, we construct a flat family of subschemes of $\overline{M}_{0,n+3}$ whose general fiber is a complete intersection representing the product, and whose special fiber is a generically reduced union of boundary strata. Our construction is built up inductively as a sequence of one-parameter degenerations, using an explicit parametrized collection of hyperplane sections. Combinatorially, our construction expresses each product as a positive, multiplicity-free sum of classes of boundary strata. These are given by a combinatorial algorithm on trees we call 'slide labeling'. As a corollary, we obtain a combinatorial formula for the $κ$ classes in terms of boundary strata.
For degree-$n$ products of $ω$ classes, the special fiber is a finite reduced union of (boundary) points, and its cardinality is one of the multidegrees of the corresponding embedding $Ω_n: \overline{M}_{0,n+3}\to \mathbb{P}^1\times \cdots \times \mathbb{P}^n$. In the case of the product $ω_1\cdots ω_n$, these points exhibit a connection to permutation pattern avoidance. Finally, we show that in certain cases, a prior interpretation of the multidegrees via tournaments can also be obtained by degenerations.
On off-diagonal ordered Ramsey numbers of nested matchings
Published
• View Publication
• BIB
For two graphs $G^<$ and $H^<$ with linearly ordered vertex sets, the ordered Ramsey number $r_<(G^<,H^<)$ is the minimum $N$ such that every red-blue coloring of the edges of the ordered complete graph on $N$ vertices contains a red copy of $G^<$ or a blue copy of $H^<$.
For a positive integer $n$, a nested matching $NM^<_n$ is the ordered graph on $2n$ vertices with edges $\{i,2n-i+1\}$ for every $i=1,\dots,n$. We improve bounds on the ordered Ramsey numbers $r_<(NM^<_n,K^<_3)$ obtained by Rohatgi, we disprove his conjecture by showing $4n+1 \leq r_<(NM^<_n,K^<_3) \leq (3+\sqrt{5})n$ for every $n \geq 6$, and we determine the numbers $r_<(NM^<_n,K^<_3)$ exactly for $n=4,5$. As a corollary, this gives stronger lower bounds on the maximum chromatic number of $k$-queue graphs for every $k \geq 3$. We also prove $r_<(NM^<_m,K^<_n)=Θ(mn)$ for arbitrary $m$ and $n$.
We expand the classical notion of Ramsey goodness to the ordered case and we attempt to characterize all connected ordered graphs that are $n$-good for every $n\in\mathbb{N}$. In particular, we discover a new class of ordered trees that are $n$-good for every $n \in \mathbb{N}$, extending all the previously known examples.
Eigenvalues of signed graphs
Signed graphs have their edges labeled either as positive or negative. $ρ(M)$ denote the $M$-spectral radius of $Σ$, where $M=M(Σ)$ is a real symmetric graph matrix of $Σ$. Obviously, $ρ(M)=\mbox{max}\{λ_1(M),-λ_n(M)\}$. Let $A(Σ)$ be the adjacency matrix of $Σ$ and $(K_n,H^-)$ be a signed complete graph whose negative edges induce a subgraph $H$. In this paper, we first focus on a central problem in spectral extremal graph theory as follows: Which signed graph with maximum $ρ(A(Σ))$ among $(K_n,T^-)$ where $T$ is a spanning tree? To answer the problem, we characterize the extremal signed graph with maximum $λ_1(A(Σ))$ and minimum $λ_n(A(Σ))$ among $(K_n,T^-)$, respectively. Another interesting graph matrix of a signed graph is distance matrix, i.e. $D(Σ)$ which was defined by Hameed, Shijin, Soorya, Germina and Zaslavsky [8]. Note that $A(Σ)=D(Σ)$ when $Σ\in (K_n,T^-)$. In this paper, we give upper bounds on the least distance eigenvalue of a signed graph $Σ$ with diameter at least 2. This result implies a result proved by Lin [11] was originally conjectured by Aouchiche and Hansen [1].
Shuffles of deformed permutahedra, multiplihedra, constrainahedra, and biassociahedra
Published in Ann. Henri Lebesgue, 7:1535-1601, 2024
• View Publication
• BIB
We introduce the shuffle of deformed permutahedra (a.k.a. generalized permutahedra), a simple associative operation obtained as the Cartesian product followed by the Minkowski sum with the graphical zonotope of a complete bipartite graph. Besides preserving the class of graphical zonotopes (the shuffle of two graphical zonotopes is the graphical zonotope of the join of the graphs), this operation is particularly relevant when applied to the classical permutahedra and associahedra. First, the shuffle of an $m$-permutahedron with an $n$-associahedron gives the $(m,n)$-multiplihedron, whose face structure is encoded by $m$-painted $n$-trees, generalizing the classical multiplihedron. We show in particular that the graph of the $(m,n)$-multiplihedron is the Hasse diagram of a lattice generalizing the weak order on permutations and the Tamari lattice on binary trees. Second, the shuffle of an $m$-associahedron with an $n$-associahedron gives the $(m,n)$-constrainahedron, whose face structure is encoded by $(m,n)$-cotrees, and reflects collisions of particles constrained on a grid. Third, the shuffle of an $m$-anti-associahedron with an $n$-associahedron gives the $(m,n)$-biassociahedron, whose face structure is encoded by $(m,n)$-bitrees, with relevant connections to bialgebras up to homotopy. We provide explicit vertex, facet, and Minkowski sum descriptions of these polytopes, as well as summation formulas for their $f$-polynomials based on generating functionology of decorated trees.
Automated Counting and Statistical Analysis of Labeled Trees with Degree Restrictions
Arthur Cayley famously proved that there are n to the power n-2 labeled trees on n vertices. Here we go much further and show how to enumerate, fully automatically, labeled trees such that every vertex has a number of neighbors that belongs to a specified finite set, and also count trees where the number of neighbors is not allowed to be in a given finite set. We also give detailed statistical analysis, and show that in the sample space of labeled trees with n vertices, the random variable "number of vertices with d neighbors" is asymptotically normal, and for any different degrees, are jointly asymptotically normal, but of course, not independently so (except for the pair (1,3), i.e. the number of leaves and the number of degree-3 vertices, where there are asymptotically independent). We also give new proofs to Amram Meir and John Noon's expressions for the limiting expectation and variance for these, and derive an explicit expression for the covariance.
On Strict Brambles
Published
• View Publication
• BIB
A strict bramble of a graph $G$ is a collection of pairwise-intersecting connected subgraphs of $G.$ The order of a strict bramble ${\cal B}$ is the minimum size of a set of vertices intersecting all sets of ${\cal B}.$ The strict bramble number of $G,$ denoted by ${\sf sbn}(G),$ is the maximum order of a strict bramble in $G.$ The strict bramble number of $G$ can be seen as a way to extend the notion of acyclicity, departing from the fact that (non-empty) acyclic graphs are exactly the graphs where every strict bramble has order one. We initiate the study of this graph parameter by providing three alternative definitions, each revealing different structural characteristics. The first is a min-max theorem asserting that ${\sf sbn}(G)$ is equal to the minimum $k$ for which $G$ is a minor of the lexicographic product of a tree and a clique on $k$ vertices (also known as the lexicographic tree product number). The second characterization is in terms of a new variant of a tree decomposition called lenient tree decomposition. We prove that ${\sf sbn}(G)$ is equal to the minimum $k$ for which there exists a lenient tree decomposition of $G$ of width at most $k.$ The third characterization is in terms of extremal graphs. For this, we define, for each $k,$ the concept of a $k$-domino-tree and we prove that every edge-maximal graph of strict bramble number at most $k$ is a $k$-domino-tree. We also identify three graphs that constitute the minor-obstruction set of the class of graphs with strict bramble number at most two. We complete our results by proving that, given some $G$ and $k,$ deciding whether ${\sf sbn}(G) \leq k$ is an ${\sf NP}$-complete problem.
On Toeplitz graphs being line graphs
A Toeplitz graph $T_n \langle t_1,t_2,\ldots,t_k\rangle$ is a simple graph with the vertex set $[n]$ such that two vertices $v$ and $w$ are adjacent if and only if $|v-w| = t_i$ for some $i \in [k]$.
In this paper, we investigate line Toeplitz graphs, which are Toeplitz graphs that happen to be line graphs.
We first show that for a sufficiently large $n$, the family of claw-free Toeplitz graphs of order $n$ is $T_n \langle t,2t,\ldots,kt\rangle$ for some nonnegative integers $t$ and $k$.
Interestingly, this family consists of a union of Toeplitz graphs each of which is isomorphic to a $k$-tree the notion of which was introduced by Patil in 1986.
Then we completely characterize $T_n \langle t,2t,\ldots,kt\rangle$ for any positive integer $n$ that is a line graph.
Furthermore, we provide a comprehensive description of a line Toeplitz graph $T_n \langle t_1,t_2\rangle$ and $T_n \langle t_1,t_2,t_3\rangle$.
In general, line Toeplitz graph seems very challenging to characterize completely. Even for $T_n \langle t_1,t_2,t_3\rangle$, it was not easy to do so.
It is also worth mentioning that there is a line Toeplitz graph that is not in the form $T_n \langle t,2t,3t\rangle$.
The Ramsey Number for a Forest versus Disjoint Union of Complete Graphs
Published
• View Publication
• BIB
Given two graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the minimum integer $N$ such that any coloring of the edges of $K_N$ in red or blue yields a red $G$ or a blue $H$. Let $v(G)$ be the number of vertices of $G$ and $χ(G)$ be the chromatic number of $G$. Let $s(G)$ denote the chromatic surplus of $G$, the cardinality of a minimum color class taken over all proper colorings of $G$ with $χ(G)$ colors. Burr showed that for a connected graph $G$ and a graph $H$ with $v(G)\geq s(H)$, $R(G,H) \geq (v(G)-1)(χ(H)-1)+s(H)$. A connected graph $G$ is called $H$-good if $R(G,H)=(v(G)-1)(χ(H)-1)+s(H)$. In this paper, we mainly confirm the Ramsey number for any tree $T_n$ versus $K_m\cup K_l$. Our result yields that $T_n$ is $K_m\cup K_l$-good.
The non-$\ell$-part of the number of spanning trees in abelian $\ell$-towers of multigraphs
Published
• View Publication
• BIB
Let $\ell$ and $p$ be two distinct primes. We study the $p$-adic valuation of the number of spanning trees in an abelian $\ell$-tower of connected multigraphs. This is analogous to the classical theorem of Washington--Sinnott on the growth of the $p$-part of the class group in a cyclotomic $\mathbb{Z}_\ell$-extension of abelian extensions of $\mathbb{Q}$. Furthermore, we show that under certain hypotheses, the number of primes dividing the number of spanning trees is unbounded in such a tower.
An extension on neighbor sum distinguishing total coloring of graphs
Let $f: V(G)\cup E(G)\rightarrow \{1,2,\dots,k\}$ be a non-proper total $k$-coloring of $G$. Define a weight function on total coloring as $$φ(x)=f(x)+\sum\limits_{e\ni x}f(e)+\sum\limits_{y\in N(x)}f(y),$$ where $N(x)=\{y\in V(G)|xy\in E(G)\}$. If $φ(x)\neq φ(y)$ for any edge $xy\in E(G)$, then $f$ is called a neighbor full sum distinguishing total $k$-coloring of $G$. The smallest value $k$ for which $G$ has such a coloring is called the neighbor full sum distinguishing total chromatic number of $G$ and denoted by fgndi$_{\sum}(G)$. The coloring is an extension of neighbor sum distinguishing non-proper total coloring. In this paper we conjecture that fgndi$_{\sum}(G)\leq 3$ for any connected graph $G$ of order at least three. We prove that the conjecture is true for (i) paths and cycles; (ii) 3-regular graphs and (iii) stars, complete graphs, trees, hypercubes, bipartite graphs and complete $r$-partite graphs. In particular, complete graphs can achieve the upper bound for the above conjecture.
Incidence and Laplacian matrices of wheel graphs and their inverses
Published
• View Publication
• BIB
It has been an open problem to find the Moore-Penrose inverses of the incidence, Laplacian, and signless Laplacian matrices of families of graphs except trees and unicyclic graphs. Since the inverse formulas for an odd unicyclic graph and an even unicyclic graph are quite different, we consider wheel graphs as they are formed from odd or even cycles. In this article solve the open problem for wheel graphs. This work has an interesting connection to inverses of circulant matrices.
Counting the numbers of paths of all lengths in dendrimers and its applications
Published
• View Publication
• BIB
For positive integers $n$ and $k$, the dendrimer $T_{n, k}$ is defined as the rooted tree of radius $n$ whose all vertices at distance less than $n$ from the root have degree $k$. The dendrimers are higly branched organic macromolecules having repeated iterations of branched units that surroundes the central core. Dendrimers are used in a variety of fields including chemistry, nanotechnology, biology. In this paper, for any positive integer $\ell$, we count the number of paths of length $\ell$ of $T_{n, k}$. As a consequence of our main results, we obtain the average distance of $T_{n, k}$ which we can establish an alternate proof for the Wiener index of $T_{n, k}$. Further, we generalize the concept of medium domination, introduced by Vargör and Dündar in 2011, of $T_{n, k}$.
Spanning trees of $K_{1,4}$-free graphs with a bounded number of leaves and branch vertices
Published
• View Publication
• BIB
Let $T$ be a tree. A vertex of degree one is a \emph{leaf} of $T$ and a vertex of degree at least three is a \emph{branch vertex} of $T$. A graph is said to be \emph{$K_{1,4}$-free} if it does not contain $K_{1,4}$ as an induced subgraph. In this paper, we study the spanning trees with a bounded number of leaves and branch vertices of $K_ {1,4}$-free graphs. Applying the main results, we also give some improvements of previous results on the spanning tree with few branch vertices for the case of $K_{1,4}$-free graphs.
Disproof of a conjecture on the main spectrum of generalized Bethe trees
Published
• View Publication
• BIB
An eigenvalue of the adjacency matrix of a graph is said to be main if the all-ones vector is not orthogonal to its associated eigenspace. A generalized Bethe tree with $k$ levels is a rooted tree in which vertices at the same level have the same degree. França and Brondani [On the main spectrum of generalized Bethe trees, Linear Algebra Appl., 628 (2021) 56-71] recently conjectured that any generalized Bethe tree with $k$ levels has exactly $k$ main eigenvalues whenever $k$ is even. We disprove the conjecture by constructing a family of counterexamples for even integers $k\ge 6$.