tree
6737 papers tagged with this keyword
On the coalition number of trees
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set $V$ and of order $n = |V|$, and let $δ(G)$ and $Δ(G)$ be the minimum and maximum degree of $G$, respectively. Two disjoint sets $V_1, V_2 \subseteq V$ form a coalition in $G$ if none of them is a dominating set of $G$ but their union $V_1\cup V_2$ is. A vertex partition $Ψ=\{V_1,\ldots, V_k\}$ of $V$ is a coalition partition of $G$ if every set $V_i\in Ψ$ is either a dominating set of $G$ with the cardinality $|V_i|=1$, or is not a dominating set but for some $V_j\in Ψ$, $V_i$ and $V_j$ form a coalition. The maximum cardinality of a coalition partition of $G$ is the coalition number $\mathcal{C}(G)$ of $G$. Given a coalition partition $Ψ= \{V_1, \ldots, V_k\}$ of $G$, a coalition graph $\CG(G, Ψ)$ is associated on $Ψ$ such that there is a one-to-one correspondence between its vertices and the members of $Ψ$, where two vertices of $\CG(G, Ψ)$ are adjacent if and only if the corresponding sets form a coalition in $G$. In this paper, we partially solve one of the open problems posed in Haynes et al. \cite{coal0} and we solve two open problems posed by Haynes et al. \cite{coal1}. We characterize all graphs $G$ with $δ(G) \le 1$ and $\mathcal{C}(G)=n$, and we characterize all trees $T$ with $\mathcal{C}(T)=n-1$. We determine the number of coalition graphs that can be defined by all coalition partitions of a given path. Furthermore, we show that there is no universal coalition path, a path whose coalition partitions defines all possible coalition graphs.
Higher dimensional digraphs from cube complexes and their spectral theory
Published
• View Publication
• BIB
We define $k$-dimensional digraphs and initiate a study of their spectral theory. The $k$-dimensional digraphs can be viewed as generating graphs for small categories called $k$-graphs. Guided by geometric insight, we obtain several new series of $k$-graphs using cube complexes covered by Cartesian products of trees, for $k \geq 2$. These $k$-graphs can not be presented as virtual products, and constitute novel models of such small categories. The constructions yield rank-$k$ Cuntz-Krieger algebras for all $k\geq 2$. We introduce Ramanujan $k$-graphs satisfying optimal spectral gap property, and show explicitly how to construct the underlying $k$-digraphs.
Sharp bound on the threshold metric dimension of trees
Published
• View Publication
• BIB
The threshold-$k$ metric dimension ($\mathrm{Tmd}_k$) of a graph is the minimum number of sensors -- a subset of the vertex set -- needed to uniquely identify any vertex in the graph, solely based on its distances from the sensors, when the measuring radius of a sensor is $k$. We give a sharp lower bound on the $\mathrm{Tmd}_k$ of trees, depending only on the number of vertices $n$ and the measuring radius $k$. This sharp lower bound grows linearly in $n$ with leading coefficient $3/(k^2+4k+3+\mathbf{1}\{k\equiv 1\pmod 3\})$, disproving earlier conjectures by Tillquist et al. in arXiv:2106.14314 that suspected $n/(\lfloor k^2/4\rfloor +2k)$ as main order term. We provide a construction for the largest possible trees with a given $\mathrm{Tmd}_k$ value. The proof that our optimal construction cannot be improved relies on edge-rewiring procedures of arbitrary (suboptimal) trees with arbitrary resolving sets, which reveal the structure of how small subsets of sensors measure and resolve certain areas in the tree that we call the attraction of those sensors. The notion of `attraction of sensors' might be useful in other contexts beyond trees to solve related problems. We also provide an improved lower bound on the $\mathrm{Tmd}_k$ of arbitrary trees that takes into account the structural properties of the tree, in particular, the number and length of simple paths of degree-two vertices terminating in leaf vertices. This bound complements arXiv:2106.14314, where only trees without degree-two vertices were considered, except the simple case of a single path.
Metric dimension on sparse graphs and its applications to zero forcing sets
Published
• View Publication
• BIB
The metric dimension dim(G) of a graph $G$ is the minimum cardinality of a subset $S$ of vertices of $G$ such that each vertex of $G$ is uniquely determined by its distances to $S$. It is well-known that the metric dimension of a graph can be drastically increased by the modification of a single edge. Our main result consists in proving that the increase of the metric dimension of an edge addition can be amortized in the sense that if the graph consists of a spanning tree $T$ plus $c$ edges, then the metric dimension of $G$ is at most the metric dimension of $T$ plus $6c$. We then use this result to prove a weakening of a conjecture of Eroh et al. The zero forcing number $Z(G)$ of $G$ is the minimum cardinality of a subset $S$ of black vertices (whereas the other vertices are colored white) of $G$ such that all the vertices will turned black after applying finitely many times the following rule: a white vertex is turned black if it is the only white neighbor of a black vertex. Eroh et al. conjectured that, for any graph $G$, $dim(G)\leq Z(G) + c(G)$, where $c(G)$ is the number of edges that have to be removed from $G$ to get a forest. They proved the conjecture is true for trees and unicyclic graphs. We prove a weaker version of the conjecture: $dim(G)\leq Z(G)+6c(G)$ holds for any graph. We also prove that the conjecture is true for graphs with edge disjoint cycles, widely generalizing the unicyclic result of Eroh et al.
Takagi Function Identities on Dyadic Rationals
Published in Journal of Integer Sequences, Vol. 27 (2024), Article 24.2.7
• Search Publication
The number of unbalanced interior nodes of divide-and-conquer trees on $n$ leaves is known to form a sequence of dilations of the Takagi function on dyadic rationals. We use this fact to derive identities on the Takagi function and on the Hamming weight of an integer in terms of the Takagi function.
Rooted quasi-Stirling permutations of general multisets
Published
• View Publication
• BIB
Given a general multiset $\mathcal{M}=\{1^{m_1},2^{m_2},\ldots,n^{m_n}\}$, where $i$ appears $m_i$ times, a multipermutation $π$ of $\mathcal{M}$ is called {\em quasi-Stirling}, if it contains no subword of the form $abab$ with $a\neq b$. We designate exactly one entry of $π$, say $k\in \mathcal{M}$, which is not the leftmost entry among all entries with the same value, by underlining it in $π$, and we refer to the pair $(π,k)$ as a quasi-Stirling multipermutation of $\mathcal{M}$ rooted at $k$. By introducing certain vertex and edge labeled trees, we give a new bijective proof of an identity due to Yan, Yang, Huang and Zhu, which links the enumerator of rooted quasi-Stirling multipermutations by the numbers of ascents, descents, and plateaus, with the exponential generating function of the {\em bivariate Eulerian polynomials}. This identity can be viewed as a natural extension of Elizalde's result on $k$-quasi-Stirling permutations, and our bijective approach to proving it enables us to: (1) prove bijectively a Carlitz type identity involving quasi-Stirling polynomials on multisets that was first obtained by Yan and Zhu; (2) confirm a recent partial $γ$-positivity conjecture due to Lin, Ma and Zhang, and find a combinatorial interpretation of the $γ$-coefficients in terms of two new statistics defined on quasi-Stirling multipermutations called sibling descents and double sibling descents.
Vertex and Mixed $k$-Diameter Component Connectivity
Published
• View Publication
• BIB
n the $k$-diameter component connectivity model a network is consider operational if there is a component with diameter at least $k$. Therefore, a network is in a failure state if every component has diameter less than $k$. In this paper we find the vertex variant of the $k$-diameter component connectivity parameter, which is the minimum number of vertex deletions in order to put a network into a failure state, for particular classes of graphs. We also show the mixed variant by allowing vertex and edge failures within the network. We show results for paths, cycles, complete, and complete bipartite graphs for both variants as well as perfect $r$-ary trees for the vertex variant.
On the structure of Laplace characteristic polynomial for circulant foliation
Published
• View Publication
• BIB
In this paper, we describe the structure of the Laplace characteristic polynomial $χ_n(λ)$ for the infinite family of graphs $H_n=H_n(G_1,\,G_2,\ldots,G_m)$ obtained as a circulant foliation over a graph $H$ on $m$ vertices with fibers $G_1,\,G_2,\ldots,G_m.$ Each fiber $G_i=C_n(s_{i,1},\,s_{i,2},\ldots,s_{i,k_i})$ of this foliation is the circulant graph on $n$ vertices with jumps $s_{i,1},\,s_{i,2},\ldots,s_{i,k_i}.$ This family includes the family of generalized Petersen graphs, $I$-graphs, sandwiches of circulant graphs, discrete torus graphs and others. We show that the characteristic polynomial for such graphs can be decomposed into a finite product of algebraic functions evaluated at the roots of a linear combination of Chebyshev polynomials. Also, we prove that the characteristic polynomial can be represented in the form $χ_n(λ)=p(λ)\,χ_H(λ)a(n)^2,$ where $a(n)$ is a sequence of integer polynomials and $p(λ)$ is a prescribed integer polynomial. Moreover, we use the obtained results to produce analytic formulas for spectral graph invariants, such as the number of spanning trees and the number of spanning rooted forests.
On Jacobian group and complexity of the Y-graph
In the present paper we suggest a simple approach for counting Jacobian group of the $Y$-graph $Y(n; k, l, m).$ In the case $Y(n; 1, 1, 1)$ the structure of the Jacobian group will be find explicitly. Also, we obtain a closed formula for the number of spanning trees of $Y$-graph in terms of Chebyshev polynomials and give its asymtotics.
Defining binary phylogenetic trees using parsimony
Published
• View Publication
• BIB
Phylogenetic (i.e. leaf-labeled) trees play a fundamental role in evolutionary research. A typical problem is to reconstruct such trees from data like DNA alignments (whose columns are often referred to as characters), and a simple optimization criterion for such reconstructions is maximum parsimony. It is generally assumed that this criterion works well for data in which state changes are rare. In the present manuscript, we prove that each phylogenetic tree $T$ with $n\geq 20 k$ leaves is uniquely defined by the set $A_k(T)$, which consists of all characters with parsimony score $k$ on $T$. This can be considered as a promising first step towards showing that maximum parsimony as a tree reconstruction criterion is justified when the number of changes in the data is relatively small.
Treewidth versus clique number. II. Tree-independence number
Published
• View Publication
• BIB
In 2020, we initiated a systematic study of graph classes in which the treewidth can only be large due to the presence of a large clique, which we call $(\mathrm{tw},ω)$-bounded. While $(\mathrm{tw},ω)$-bounded graph classes are known to enjoy some good algorithmic properties related to clique and coloring problems, it is an interesting open problem whether $(\mathrm{tw},ω)$-boundedness also has useful algorithmic implications for problems related to independent sets.
We provide a partial answer to this question by means of a new min-max graph invariant related to tree decompositions. We define the independence number of a tree decomposition $\mathcal{T}$ of a graph as the maximum independence number over all subgraphs of $G$ induced by some bag of $\mathcal{T}$. The tree-independence number of a graph $G$ is then defined as the minimum independence number over all tree decompositions of $G$. Generalizing a result on chordal graphs due to Cameron and Hell from 2006, we show that if a graph is given together with a tree decomposition with bounded independence number, then the Maximum Weight Independent Packing problem can be solved in polynomial time.
Applications of our general algorithmic result to specific graph classes will be given in the third paper of the series [Dallard, Milanič, and Štorgel, Treewidth versus clique number. III. Tree-independence number of graphs with a forbidden structure].
The Gessel Correspondence and the Partial $γ$-Positivity of the Eulerian Polynomials on Multiset Stirling Permutations
Published
• View Publication
• BIB
Pondering upon the grammatical labeling of 0-1-2 increasing plane trees, we come to the realization that the grammatical labels play a role as records of chopped off leaves of
the original increasing binary trees. While such an understanding is purely psychological, it does give rise to an efficient apparatus to tackle the partial $γ$-positivity of the Eulearian polynomials on multiset Stirling permutations, as long as we bear in mind the combinatorial meanings of the labels $x$ and $y$ in the Gessel representation of a $k$-Stirling permutation by means of an increasing $(k+1)$-ary tree. More precisely, we introduce a Foata-Strehl action on the Gessel trees resulting in an interpretation of the partial $γ$-coefficients of the aforementioned Eulerian polynomials, different from the ones found by Lin-Ma-Zhang and Yan-Huang-Yang. In particular, our strategy can be adapted to deal with the partial $γ$-coefficients of the second order Eulerian polynomials, which in turn can be readily converted to the combinatorial formulation due to Ma-Ma-Yeh in connection with certain statistics of Stirling permutations.
High-ordered spectral characterizations of graphs
Published
• View Publication
• BIB
The spectrum of the $k$-power hypergraph of a graph $G$ is called the $k$-ordered spectrum of $G$.If graphs $G_1$ and $G_2$ have same $k$-ordered spectrum for all positive integer $k\geq2$, $G_1$ and $G_2$ are said to be high-ordered cospectral. If all graphs who are high-ordered cospectral with the graph $G$ are isomorphic to $G$, we say that $G$ is determined by the high-ordered spectrum.In this paper, we use the high-ordered spectrum of graphs to study graph isomorphism and show that all Smith's graphs are determined by the high-ordered spectrum.And we give infinitely many pairs of trees with same spectrum but different high-ordered spectrum by high-ordered cospectral invariants of trees,it means that we can determine that these cospectral trees are not isomorphism by the high-ordered spectrum.
Relating the total domination number and the annihilation number for quasi-trees and some composite graphs
Published
• View Publication
• BIB
The total domination number $γ_{t}(G)$ of a graph $G$ is the cardinality of a smallest set $D\subseteq V(G)$ such that each vertex of $G$ has a neighbor in $D$. The annihilation number $a(G)$ of $G$ is the largest integer $k$ such that there exist $k$ different vertices in $G$ with the degree sum at most $m(G)$. It is conjectured that $γ_{t}(G)\leq a(G)+1$ holds for every nontrivial connected graph $G$. The conjecture has been proved for graphs with minimum degree at least $3$, trees, certain tree-like graphs, block graphs, and cactus graphs. In the main result of this paper it is proved that the conjecture holds for quasi-trees. The conjecture is verified also for some graph constructions including bijection graphs, Mycielskians, and the newly introduced universally-identifying graphs.
Algorithms and data structures for first-order logic with connectivity under vertex failures
We introduce a new data structure for answering connectivity queries in undirected graphs subject to batched vertex failures. Precisely, given any graph G and integer k, we can in fixed-parameter time construct a data structure that can later be used to answer queries of the form: ``are vertices s and t connected via a path that avoids vertices $u_1,..., u_k$?'' in time $2^{2^{O(k)}}$. In the terminology of the literature on data structures, this gives the first deterministic data structure for connectivity under vertex failures where for every fixed number of failures, all operations can be performed in constant time.
With the aim to understand the power and the limitations of our new techniques, we prove an algorithmic meta theorem for the recently introduced separator logic, which extends first-order logic with atoms for connectivity under vertex failures. We prove that the model-checking problem for separator logic is fixed-parameter tractable on every class of graphs that exclude a fixed topological minor. We also show a weak converse. This implies that from the point of view of parameterized complexity, under standard complexity assumptions, the frontier of tractability of separator logic is almost exactly delimited by classes excluding a fixed topological minor.
The backbone of our proof relies on a decomposition theorem of Cygan et al. [SICOMP '19], which provides a tree decomposition of a given graph into bags that are unbreakable. Crucially, unbreakability allows to reduce separator logic to plain first-order logic within each bag individually. We design our model-checking algorithm using dynamic programming over the tree decomposition, where the transition at each bag amounts to running a suitable model-checking subprocedure for plain first-order logic. This approach is robust enough to provide also efficient enumeration of queries expressed in separator logic.
A Modification of the Random Cutting Model
Published
• View Publication
• BIB
We propose a modification to the random destruction of graphs: Given a finite network with a distinguished set of sources and targets, remove (cut) vertices at random, discarding components that do not contain a source node. We investigate the number of cuts required until all targets are removed, and the size of the remaining graph. This model interpolates between the random cutting model going back to Meir and Moon and site percolation. We prove several general results, including that the size of the remaining graph is a tight family of random variables for compatible sequences of expander-type graphs, and determine limiting distributions for binary caterpillar trees and complete binary trees.
Computational thresholds for the fixed-magnetization Ising model
Published
• View Publication
• BIB
The ferromagnetic Ising model is a model of a magnetic material and a central topic in statistical physics. It also plays a starring role in the algorithmic study of approximate counting: approximating the partition function of the ferromagnetic Ising model with uniform external field is tractable at all temperatures and on all graphs, due to the randomized algorithm of Jerrum and Sinclair. Here we show that hidden inside the model are hard computational problems. For the class of bounded-degree graphs we find computational thresholds for the approximate counting and sampling problems for the ferromagnetic Ising model at fixed magnetization (that is, fixing the number of $+1$ and $-1$ spins). In particular, letting $β_c(Δ)$ denote the critical inverse temperature of the zero-field Ising model on the infinite $Δ$-regular tree, and $η_{Δ,β,1}^+$ denote the mean magnetization of the zero-field $+$ measure on the infinite $Δ$-regular tree at inverse temperature $β$, we prove, for the class of graphs of maximum degree $Δ$:
1. For $β< β_c(Δ)$ there is an FPRAS and efficient sampling scheme for the fixed-magnetization Ising model for all magnetizations $η$.
2. For $β> β_c(Δ)$, there is an FPRAS and efficient sampling scheme for the fixed-magnetization Ising model for magnetizations $η$ such that $|η| >η_{Δ,β,1}^+ $.
3. For $β> β_c(Δ)$, there is no FPRAS for the fixed-magnetization Ising model for magnetizations $η$ such that $|η| <η_{Δ,β,1}^+ $ unless NP=RP\@.
Monotone Cumulant-Moment Formula and Schröder Trees
Published in SIGMA 18 (2022), 073, 22 pages
• View Publication
• BIB
We prove a formula to express multivariate monotone cumulants of random variables in terms of their moments by using a Hopf algebra of decorated Schröder trees.
Burning Graph Classes
Published
• View Publication
• BIB
The Burning Number Conjecture, that a graph on $n$ vertices can be burned in at most $\lceil \sqrt{n} \ \rceil$ rounds, has been of central interest for the past several years. Much of the literature toward its resolution focuses on two directions: tightening a general upper bound for the burning number, and proving the conjecture for specific graph classes. In the latter, most of the developments work within a specific graph class and exploit the intricacies particular to it. In this article, we broaden this approach by developing systematic machinery that can be used as test beds for asserting that graph classes satisfy the conjecture. We show how to use these to resolve the conjecture for several classes of graphs including triangle-free graphs with degree lower bounds, graphs with certain linear lower bounds on $r$-neighborhood sizes, all trees whose non-leaf vertices have degree at least $4$, trees whose non-leaf vertices have degree at least $3$ (on at least $81$ vertices), trees whose non-leaf vertices are less than $\frac{2}{3}$ concentrated in degree $2$, and trees with a low concentration of high degree non-leaf vertices (the last two results holding for sufficiently many non-leaf vertices).
Arithmetic subtrees in large subsets of products of trees
Published
• View Publication
• BIB
Furstenberg-Weiss have extended Szemerédi's theorem on arithmetic progressions to trees by showing that a large subset of the tree contains arbitrarily long arithmetic subtrees. We study higher dimensional versions that analogously extend the multidimensional Szemerédi theorem by demonstrating the existence of certain arithmetic structures in large subsets of a cartesian product of trees.