tree
6737 papers tagged with this keyword
Hamiltonian Complete Number of Some Variants of Caterpillar Graphs
A graph $G$ is said to be Hamiltonian if it contains a spanning cycle. In this work, we investigate the Hamiltonian completeness of certain classes of caterpillar graphs, which are trees with a central path to which all other vertices are adjacent. For a non-Hamiltonian graph $G$, the Hamiltonian complete number $λ_H(G)$ is the minimum number of edges that must be added to $G$ to make it Hamiltonian. We focus on both regular and irregular caterpillar graphs, deriving explicit formulas for $λ_H(G)$ in various cases. Specifically, we show that for a regular caterpillar graph $G_{n(k)}$ where each vertex on the central path is adjacent to $k$ leaves, $λ_H(G_{n(k)}) = n(k-1)$. We also explore irregular caterpillar graphs, where the number of leaves adjacent to each vertex on the central path varies, and provide bounds for $λ_H(G)$ in these cases. Our results contribute to the understanding of Hamiltonian properties in tree-like structures and have potential applications in network design and optimization.
On stability of spanning tree degree enumerators
Published
• View Publication
• BIB
We show that the spanning tree degree enumerator polynomial of a connected graph $G$ is a real stable polynomial if and only if $G$ is distance-hereditary.
On Redundant Locating-Dominating Sets
Published
• View Publication
• BIB
A locating-dominating set in a graph G is a subset of vertices representing "detectors" which can locate an "intruder" given that each detector covers its closed neighborhood and can distinguish its own location from its neighbors. We explore a fault-tolerant variant of locating-dominating sets called redundant locating-dominating sets, which can tolerate one detector malfunctioning (going offline or being removed). In particular, we characterize redundant locating-dominating sets and prove that the problem of determining the minimum cardinality of a redundant locating-dominating set is NP-complete. We also determine tight bounds for the minimum density of redundant locating-dominating sets in several classes of graphs including paths, cycles, ladders, k-ary trees, and the infinite hexagonal and triangular grids. We find tight lower and upper bounds on the size of minimum redundant locating-dominating sets for all trees of order $n$, and characterize the family of trees which achieve these two extremal values, along with polynomial time algorithms to classify a tree as minimum extremal or not.
A Proof of the Alternate Thomassé Conjecture for Countable $NE$-Free Posets
Published
• View Publication
• BIB
An $N$-free poset is a poset whose comparability graph does not embed an induced path with four vertices. We use the well-quasi-order property of the class of countable $N$-free posets and some labelled ordered trees to show that a countable $N$-free poset has one or infinitely many siblings, up to isomorphism. This, partially proves a conjecture stated by Thomassé for this class.
On Infinitely Many Siblings for Locally Finite Trees with Parabolic Embeddings
Parabolic (resp. hyperbolic) self-embeddings of trees are those which do not fix a non-empty finite subtree and preserve precisely one (resp. two) end(s). We prove that a locally finite tree having a parabolic self-embedding is mutually embeddable with infinitely many pairwise non-isomorphic trees, unless the tree is a one-way infinite path. As a result, we conclude that two important properties identified by Bonato-Tardif and Tyomkyn hold for locally finite trees not having any hyperbolic self-embedding.
Graphs which satisfy a Vizing-like bound for power domination of Cartesian products
Power domination is a two-step observation process that is used to monitor power networks and can be viewed as a combination of domination and zero forcing. Given a graph $G$, a subset $S\subseteq V(G)$ that can observe all vertices of $G$ using this process is known as a power dominating set of $G$, and the power domination number of $G$, $γ_P(G)$, is the minimum number of vertices in a power dominating set. We introduce a new partition on the vertices of a graph to provide a lower bound for the power domination number. We also consider the power domination number of the Cartesian product of two graphs, $G \Box H$, and show certain graphs satisfy a Vizing-like bound with regards to the power domination number. In particular, we prove that for any two trees $T_1$ and $T_2$, $γ_P(T_1)γ_P(T_2) \leq γ_P(T_1 \Box T_2)$.
Power domination in cubic graphs and Cartesian products
Published
• View Publication
• BIB
The power domination problem focuses on finding the optimal placement of phase measurement units (PMUs) to monitor an electrical power network. In the context of graphs, the power domination number of a graph $G$, denoted $γ_P(G)$, is the minimum number of vertices needed to observe every vertex in the graph according to a specific set of observation rules. In \cite{ZKC_cubic}, Zhao et al. proved that if $G$ is a connected claw-free cubic graph of order $n$, then $γ_P(G) \leq n/4$. In this paper, we show that if $G$ is a claw-free diamond-free cubic graph of order $n$, then $γ_P(G) \le n/6$, and this bound is sharp. We also provide new bounds on $γ_P(G \Box H)$ where $G\Box H$ is the Cartesian product of graphs $G$ and $H$. In the specific case that $G$ and $H$ are trees whose power domination number and domination number are equal, we show the Vizing-like inequality holds and $γ_P(G \Box H) \ge γ_P(G)γ_P(H)$.
Explicit statement of a conjecture on resultantal varieties
The paper [GLZ] "L-functions of Carlitz modules, resultantal varieties and rooted binary trees" is devoted to a description of some resultantal varieties related to L-functions of Carlitz modules. It contains a conjecture that some of these varieties coincide. This conjecture can be formulated in terms of polynomials, namely, in terms of a fact that an explicitly defined polynomial belongs to the radical of the ideal generated by some other polynomials. We give an explicit statement of this conjecture and a numerical result.
The signless Laplacian spectral radius of graphs without trees
Let $Q(G)=D(G)+A(G)$ be the signless Laplacian matrix of a simple graph of order $n$, where $D(G)$ and $A(G)$ are the degree diagonal matrix and the adjacency matrix of $G$, respectively. In this paper, we present a sharp upper bound for the signless spectral radius of $G$ without any tree and characterize all extremal graphs which attain the upper bound, which may be regarded as a spectral extremal version for the famous Erdős-Sós conjecture.
Trees maximizing the number of almost-perfect matchings
Published
• View Publication
• BIB
We characterize the extremal trees that maximize the number of almost-perfect matchings, which are matchings covering all but one or two vertices, and those that maximize the number of strong almost-perfect matchings, which are matchings missing only one or two leaves. We also determine the trees that minimize the number of maximal matchings. We apply these results to extremal problems on the weighted Hosoya index for several choices of vertex-degree-based weight function.
Activity from matroids to rooted trees and beyond
The interior and exterior activities of bases of a matroid are well-known notions that for instance permit one to define the Tutte polynomial. Recently, we have discovered correspondences between the regions of gainic hyperplane arrangements and coloredlabeled rooted trees. Here we define a general activity theory that applies in particular to no-broken circuit (NBC) sets and labeled colored trees. The special case of activity \textsf{0} was our motivating case. As a consequence, in a gainic hyperplane arrangement the number of bounded regions is equal to the number of the corresponding colored labeled rooted trees of activity \textsf{0}.
Spectral faux trees
Published in Involve 17 (2024) 651-668
• View Publication
• BIB
A spectral faux tree with respect to a given matrix is a graph which is not a tree but is cospectral with a tree for the given matrix. We consider the existence of spectral faux trees for several matrices, with emphasis on constructions.
For the Laplacian matrix, there are no spectral faux trees. For the adjacency matrix, almost all trees are cospectral with a faux tree. For the signless Laplacian matrix, spectral faux trees can only exist when the number of vertices is of the form $n=4k$. For the normalized adjacency, spectral faux trees exist when the number of vertices $n\ge 4$, and we give an explicit construction for a family whose size grows exponentially with $k$ for $n=αk+1$ where $α$ is fixed.
Toric Ideals of Characteristic Imsets via Quasi-Independence Gluing
Published in Alg. Stat. 14 (2023) 109-131
• View Publication
• BIB
Characteristic imsets are 0-1 vectors which correspond to Markov equivalence classes of directed acyclic graphs. The study of their convex hull, named the characteristic imset polytope, has led to new and interesting geometric perspectives on the important problem of causal discovery. In this paper we begin the study of the associated toric ideal. We develop a new generalization of the toric fiber product, which we call a quasi-independence gluing, and show that under certain combinatorial homogeneity conditions, one can iteratively compute a Gröbner basis via lifting. For faces of the characteristic imset polytope associated to trees, we apply this technique to compute a Gröbner basis for the associated toric ideal. We end with a study of the characteristic ideal of the cycle and propose directions for future work.
New equidistributions on plane trees and decompositions of $132$-avoiding permutations
Published in Electronic Journal of Combinatorics, 31(3) (2024), P3.24
• View Publication
• BIB
Our main results in this paper are new equidistributions on plane trees and $132$-avoiding permutations, two closely related objects. As for the former, we discover a characteristic for vertices of plane trees that is equally distributed as the height for vertices. The latter is concerned with four distinct ways of decomposing a $132$-avoiding permutation into subsequences. We show combinatorially that the subsequence length distributions of the four decompositions are mutually equivalent, and there is a way to group the four into two groups such that each group is symmetric and the joint length distribution of one group is the same as that of the other. Some consequences are discussed. For instance, we provide a new refinement of the equidistribution of internal vertices and leaves, and present new sets of $132$-avoiding permutations that are counted by the Motzkin numbers and their refinements.
On the conjecture about the exponential reduced Sombor index
Let $G=(V(G),E(G))$ be a graph and $d(v)$ be the degree of the vertex $v\in V(G)$. The exponential reduced Sombor index of $G$, denoted by $e^{SO_{red}}(G)$, is defined as $$e^{SO_{red}}(G)=\sum_{uv\in E(G)}e^{\sqrt{(d(u)-1)^2+(d(v)-1)^2}}.$$ We obtain a characterization of extremal trees with the maximal exponential reduced Sombor index among all chemical trees of order $n$. This result shows the conjecture on the exponential reduced Sombor index proposed by Liu, You, Tang and Liu [On the reduced Sombor index and its applications, MATCH Commun. Math. Comput. Chem. 86 (2021) 729--753] is negative.
On the algebraic connectivity of token graphs
We study the algebraic connectivity (or second Laplacian eigenvalue) of token graphs, also called symmetric powers of graphs. The $k$-token graph $F_k(G)$ of a graph $G$ is the graph whose vertices are the $k$-subsets of vertices from $G$, two of which being adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$. Recently, it was conjectured that the algebraic connectivity of $F_k(G)$ equals the algebraic connectivity of $G$. In this paper, we prove the conjecture for new infinite families of graphs, such as trees and graphs with maximum degree large enough.
Shooting Stars in Simple Drawings of $K_{m,n}$
Published
• View Publication
• BIB
Simple drawings are drawings of graphs in which two edges have at most one common point (either a common endpoint, or a proper crossing). It has been an open question whether every simple drawing of a complete bipartite graph $K_{m,n}$ contains a plane spanning tree as a subdrawing. We answer this question to the positive by showing that for every simple drawing of $K_{m,n}$ and for every vertex $v$ in that drawing, the drawing contains a shooting star rooted at $v$, that is, a plane spanning tree containing all edges incident to $v$.
Simpler and efficient characterizations of tree t-spanners for graphs with few P4's and (k, l)-graphs
Published
• View Publication
• BIB
A tree $t$-spanner of a graph $G$ is a spanning tree $T$ in which the distance between any two adjacent vertices of $G$ is at most $t$. The smallest $t$ for which $G$ has a tree $t$-spanner is called tree stretch index. The $t$-admissibility problem aims to decide whether the tree stretch index is at most $t$. Regarding its optimization version, the smallest $t$ for which $G$ is $t$-admissible is the stretch index of $G$, denoted by $σ_T(G)$. Given a graph with $n$ vertices and $m$ edges, the recognition of $2$-admissible graphs can be done $O(n+m)$ time, whereas $t$-admissibility is NP-complete for $σ_T(G) \leq t$, $t \geq 4$ and deciding if $t = 3$ is an open problem, for more than 20 years. Since the structural knowledge of classes can be determinant to classify $3$-admissibility's complexity, in this paper we present simpler and faster algorithms to check $2$ and $3$-admissibility for families of graphs with few $P_4$'s and $(k,\ell)$-graphs. Regarding $(0,\ell)$-graphs, we present lower and upper bounds for the stretch index of these graphs and characterize graphs whose stretch indexes are equal to the proposed upper bound. Moreover, we prove that $t$-admissibility is NP-complete even for line graphs of subdivided graphs.
Minimizers for the energy of eccentricity matrices of trees
Published
• View Publication
• BIB
The eccentricity matrix of a connected graph $G$, denoted by $\mathcal{E}(G)$, is obtained from the distance matrix of $G$ by keeping the largest nonzero entries in each row and each column and leaving zeros in the remaining ones. The eigenvalues of $\mathcal{E}(G)$ are the $\mathcal{E}$-eigenvalues of $G$. The eccentricity energy (or the $\mathcal{E}$-energy) of $G$ is the sum of the absolute values of all $\mathcal{E}$-eigenvalues of $G$. In this article, we determine the unique tree with the minimum second largest $\mathcal{E}$-eigenvalue among all trees on $n$ vertices other than the star. Also, we characterize the trees with minimum $\mathcal{E}$-energy among all trees on $n$ vertices.
On the distribution of eigenvalues of the reciprocal distance Laplacian matrix of graphs
Published
• View Publication
• BIB
The reciprocal distance Laplacian matrix of a connected graph $G$ is defined as $RD^L(G)=RT(G)-RD(G)$, where $RT(G)$ is the diagonal matrix of reciprocal distance degrees and $RD(G)$ is the Harary matrix. Since $RD^L(G)$ is a real symmetric matrix, we denote its eigenvalues as
$λ_1(RD^L(G))\geq λ_2(RD^L(G))\geq \dots \geq λ_n(RD^L(G))$. The largest eigenvalue $λ_1(RD^L(G))$ of $RD^L(G)$ is called the reciprocal distance Laplacian spectral radius. In this article, we prove that the multiplicity of $n$ as a reciprocal distance Laplacian eigenvalue of $RD^L(G)$ is exactly one less than the number of components in the complement graph $\bar{G}$ of $G$. We show that the class of the complete bipartite graphs maximize the reciprocal distance Laplacian spectral radius among all the bipartite graphs with $n$ vertices. Also, we show that the star graph $S_n$ is the unique graph having the maximum reciprocal distance Laplacian spectral radius in the class of trees with $n$ vertices. We determine the reciprocal distance Laplacian spectrum of several well known graphs. We prove that the complete graph $K_n$, $K_n-e$, the star $S_n$, the complete balanced bipartite graph $K_{\frac{n}{2},\frac{n}{2}}$ and the complete split graph $CS(n,α)$ are all determined from the $RD^L$-spectrum.