tree
6737 papers tagged with this keyword
Linear bounds on nowhere-zero group irregularity strength and nowhere-zero group sum chromatic number of graphs
Published in Applied Mathematics and Computation Volume 343, 15 February 2019, Pages 149-155
• View Publication
• BIB
We investigate the \textit{group irregularity strength}, $s_g(G)$, of a graph, i.e. the least integer $k$ such that taking any Abelian group $\mathcal{G}$ of order $k$, there exists a function $f:E(G)\rightarrow \mathcal{G}$ so that the sums of edge labels incident with every vertex are distinct. So far the best upper bound on $s_g(G)$ for a general graph $G$ was exponential in $n-c$, where $n$ is the order of $G$ and $c$ denotes the number of its components. In this note we prove that $s_g(G)$ is linear in $n$, namely not greater than $2n$. In fact, we prove a stronger result, as we additionally forbid the identity element of a group to be an edge label or the sum of labels around a vertex.
We consider also locally irregular labelings where we require only sums of adjacent vertices to be distinct. For the corresponding graph invariant we prove the general upper bound: $Δ(G)+{\rm col}(G)-1$ (where ${\rm col}(G)$ is the coloring number of $G$) in the case when we do not use the identity element as an edge label, and a slightly worse one if we additionally forbid it as the sum of labels around a vertex. In the both cases we also provide a sharp upper bound for trees and a constant upper bound for the family of planar graphs.
An Analog of Matrix Tree Theorem for Signless Laplacians
Published
• View Publication
• BIB
A spanning tree of a graph is a connected subgraph on all vertices with the minimum number of edges. The number of spanning trees in a graph $G$ is given by Matrix Tree Theorem in terms of principal minors of Laplacian matrix of $G$. We show a similar combinatorial interpretation for principal minors of signless Laplacian $Q$. We also prove that the number of odd cycles in $G$ is less than or equal to $\frac{\det(Q)}{4}$, where the equality holds if and only if $G$ is a bipartite graph or an odd-unicyclic graph.
On Arbitrarily Long Periodic Orbits of Evolutionary Games on Graphs
Published
• View Publication
• BIB
A periodic behavior is a well observed phenomena in biological and economical systems. We show that evolutionary games on graphs with imitation dynamics can display periodic behavior for an arbitrary choice of game theoretical parameters describing social-dilemma games. We construct graphs and corresponding initial conditions whose trajectories are periodic with an arbitrary minimal period length. We also examine a periodic behavior of evolutionary games on graphs with the underlying graph being an acyclic (tree) graph. Astonishingly, even this acyclic structure allows for arbitrary long periodic behavior.
Signature Catalan Combinatorics
Published
• View Publication
• BIB
The Catalan numbers constitute one of the most important sequences in combinatorics. Catalan objects have been generalized in various directions, including the classical Fuss-Catalan objects and the rational Catalan generalization of Armstrong-Rhoades-Williams. We propose a wider generalization of these families indexed by a composition $s$ which is motivated by the combinatorics of planar rooted trees; when $s=(2,...,2)$ and $s=(k+1,...,k+1)$ we recover the classical Catalan and Fuss-Catalan combinatorics, respectively. Furthermore, to each pair $(a,b)$ of relatively prime numbers we can associate a signature that recovers the combinatorics of rational Catalan objects. We present explicit bijections between the resulting $s$-Catalan objects, and a fundamental recurrence that generalizes the fundamental recurrence of the classical Catalan numbers. Our framework allows us to define signature generalizations of parking functions which coincide with the generalized parking functions studied by Pitman-Stanley and Yan, as well as generalizations of permutations which coincide with the notion of Stirling multipermutations introduced by Gessel-Stanley. Some of our constructions differ from the ones of Armstrong-Rhoades-Williams, however as a byproduct of our extension, we obtain the additional notions of rational permutations and rational trees.
Packing and domination parameters in digraphs
Published in Discrete Applied Mathematics, 269 (2019), 184-192
• View Publication
• BIB
Given a digraph $D=(V,A)$, a set $B\subset V$ is a packing set in $D$ if there are no arcs joining vertices of $B$ and for any two vertices $x,y\in B$ the sets of in-neighbors of $x$ and $y$ are disjoint. The set $S$ is a dominating set (an open dominating set) in $D$ if every vertex not in $S$ (in $V$) has an in-neighbor in $S$. Moreover, a dominating set $S$ is called a total dominating set if the subgraph induced by $S$ has no isolated vertices. The packing sets of maximum cardinality and the (total, open) dominating sets of minimum cardinality in digraphs are studied in this article. We prove that the two optimal sets concerning packing and domination achieve the same value for directed trees, and give some applications of it. We also show analogous equalities for all connected contrafunctional digraphs, and characterize all such digraphs $D$ for which such equalities are satisfied. Moreover, sharp bounds on the maximum and the minimum cardinalities of packing and dominating sets, respectively, are given for digraphs. Finally, we present solutions for two open problems, concerning total and open dominating sets of minimum cardinality, pointed out in [Australas. J. Combin. 39 (2007), 283--292].
The Cavender-Farris-Neyman Model with a Molecular Clock
Published
• View Publication
• BIB
We give a combinatorial description of the toric ideal of invariants of the Cavender-Farris-Neyman model with a molecular clock (CFN-MC) on a rooted binary phylogenetic tree and prove results about the polytope associated to this toric ideal. Key results about the polyhedral structure include that the number of vertices of this polytope is a Fibonacci number, the facets of the polytope can be described using the combinatorial "cluster" structure of the underlying rooted tree, and the volume is equal to an Euler zig-zag number. The toric ideal of invariants of the CFN-MC model has a quadratic Groebner basis with squarefree initial terms. Finally, we show that the Ehrhart polynomial of these polytopes, and therefore the Hilbert series of the ideals, depends only on the number of leaves of the underlying binary tree, and not on the topology of the tree itself. These results are analogous to classic results for the Cavender-Farris-Neyman model without a molecular clock. However, new techniques are required because the molecular clock assumption destroys the toric fiber product structure that governs group-based models without the molecular clock.
On the $α$-spectral radius of graphs
For $0\le α\le 1$, Nikiforov proposed to study the spectral properties of the family of matrices $A_α(G)=αD(G)+(1-α)A(G)$ of a graph $G$, where $D(G)$ is the degree diagonal matrix and $A(G)$ is the adjacency matrix. The $α$-spectral radius of $G$ is the largest eigenvalue of $A_α(G)$. We give upper bounds for $α$-spectral radius for unicyclic graphs $G$ with maximum degree $Δ\ge 2$, connected irregular graphs with given maximum degree and and some other graph parameters, and graphs with given domination number, respectively. We determine the unique tree with second maximum $α$-spectral radius among trees, and the unique tree with maximum $α$-spectral radius among trees with given diameter. For a graph with two pendant paths at a vertex or at two adjacent vertex, we prove results concerning the behavior of the $α$-spectral radius under relocation of a pendant edge in a pendant path. We also determine the unique graphs such that the difference between the maximum degree and the $α$-spectral radius is maximum among trees, unicyclic graphs and non-bipartite graphs, respectively.
The $ν$-Tamari lattice via $ν$-trees, $ν$-bracket vectors, and subword complexes
Published
• View Publication
• BIB
We give new interpretations of the $ν$-Tamari lattice of Préville-Ratelle and Viennot. First, we describe it as a rotation lattice of $ν$-trees, which uncovers the relation with known combinatorial objects such as tree-like tableaux and north-east fillings. Then, using a formulation in terms of bracket vectors of $ν$-trees and componentwise order, we provide a simple description of the lattice property. We also show that the $ν$-Tamari lattice is isomorphic to the increasing-flip poset of a suitably chosen subword complex, and settle a special case of Rubey's lattice conjecture concerning the poset of pipe dreams defined by chute moves. Finally, this point of view generalizes to multi $ν$-Tamari complexes, and gives (conjectural) insight on their geometric realizability via polytopal subdivisions of multiassociahedra.
Brussels Sprouts, Noncrossing Trees, and Parking Functions
Published
• View Publication
• BIB
We consider a variant of the game of Brussels Sprouts that, like Conway's original version, ends in a predetermined number of moves. We show that the endstates of the game are in natural bijection with noncrossing trees and that the game histories are in natural bijection with both parking functions and factorizations of a cycle of $S_n$.
An analogue of Edmonds' Branching Theorem for infinite digraphs
Published
• View Publication
• BIB
We extend Edmonds' Branching Theorem to locally finite infinite digraphs. As examples of Oxley or Aharoni and Thomassen show, this cannot be done using ordinary arborescences, whose underlying graphs are trees. Instead we introduce the notion of pseudo-arborescences and prove a corresponding packing result. Finally, we verify some tree-like properties for these objects, but give also an example that their underlying graphs do in general not correspond to topological trees in the Freudenthal compactification of the underlying multigraph of the digraph.
Domination Cover Number of Graphs
Published
• View Publication
• BIB
A set $D \subseteq V$ for the graph $G=(V, E)$ is called a dominating set if any vertex $v\in V\setminus D$ has at least one neighbor in $D$. Fomin et al.[9] gave an algorithm for enumerating all minimal dominating sets with $n$ vertices in $O(1.7159^n)$ time. It is known that the number of minimal dominating sets for interval graphs and trees on $n$ vertices is at most $3^{n/3} \approx 1.4422^n$. In this paper, we introduce the domination cover number as a new criterion for evaluating the dominating sets in graphs. The domination cover number of a dominating set $D$, denoted by $\mathcal{C}_D(G)$, is the summation of the degrees of the vertices in $D$. Maximizing or minimizing this parameter among all minimal dominating sets have interesting applications in many real-world problems, such as the art gallery problem. Moreover, we investigate this concept for different graph classes and propose some algorithms for finding the domination cover number in trees, block graphs.
The generalized connectivity of $(n,k)$-bubble-sort graphs
Published
• View Publication
• BIB
Let $S\subseteq V(G)$ and $κ_{G}(S)$ denote the maximum number $r$ of edge-disjoint trees $T_1, T_2, \cdots, T_r$ in $G$ such that $V(T_i)\bigcap V(T_{j})=S$ for any $i, j \in \{1, 2, \cdots, r\}$ and $i\neq j$. For an integer $k$ with $2\leq k\leq n$, the {\em generalized $k$-connectivity} of a graph $G$ is defined as $κ_{k}(G)= min\{κ_{G}(S)|S\subseteq V(G)$ and $|S|=k\}$. The generalized $k$-connectivity is a generalization of the traditional connectivity. In this paper, the generalized $3$-connectivity of the $(n,k)$-bubble-sort graph $B_{n,k}$ is studied for $2\leq k\leq n-1$. By proposing an algorithm to construct $n-1$ internally disjoint paths in $B_{n-1,k-1}$, we show that $κ_{3}(B_{n,k})=n-2$ for $2\leq k\leq n-1$, which generalizes the known result about the bubble-sort graph $B_{n}$ [Applied Mathematics and Computation 274 (2016) 41-46] given by Li $et$ $al.$, as the bubble-sort graph $B_{n}$ is the special $(n,k)$-bubble-sort graph for $k=n-1$.
On the maximum number of maximum independent sets
Published
• View Publication
• BIB
We give a very short and simple proof of Zykov's generalization of Turán's theorem, which implies that the number of maximum independent sets of a graph of order $n$ and independence number $α$ with $α<n$ is at most $\left\lceil\frac{n}α\right\rceil^{n\,{\rm mod}\,α} \left\lfloor\frac{n}α\right\rfloor^{α-(n\,{\rm mod}\,α)}$. Generalizing a result of Zito, we show that the number of maximum independent sets of a tree of order $n$ and independence number $α$ is at most $2^{n-α-1}+1$, if $2α=n$, and, $2^{n-α-1}$, if $2α>n$, and we also characterize the extremal graphs. Finally, we show that the number of maximum independent sets of a subcubic tree of order $n$ and independence number $α$ is at most $\left(\frac{1+\sqrt{5}}{2}\right)^{2n-3α+1}$, and we provide more precise results for extremal values of $α$.
Non-Monochromatic and Conflict-Free Coloring on Tree Spaces and Planar Network Spaces
Published
• View Publication
• BIB
It is well known that any set of n intervals in $\mathbb{R}^1$ admits a non-monochromatic coloring with two colors and a conflict-free coloring with three colors. We investigate generalizations of this result to colorings of objects in more complex 1-dimensional spaces, namely so-called tree spaces and planar network spaces.
A Ramsey theorem for pairs in trees
Published
• View Publication
• BIB
We prove a sharp structural result concerning finite colorings of pairs in well-founded trees.
Tree-like distance colouring for planar graphs of sufficient girth
Published
• View Publication
• BIB
Given a multigraph $G$ and a positive integer $t$, the distance-$t$ chromatic index of $G$ is the least number of colours needed for a colouring of the edges so that every pair of distinct edges connected by a path of fewer than $t$ edges must receive different colours. Let $π'_t(d)$ and $τ'_t(d)$ be the largest values of this parameter over the class of planar multigraphs and of (simple) trees, respectively, of maximum degree $d$. We have that $π'_t(d)$ is at most and at least a non-trivial constant multiple larger than $τ'_t(d)$. (We conjecture $\limsup_{d\to\infty}π'_2(d)/τ'_2(d) =9/4$ in particular.) We prove for odd $t$ the existence of a quantity $g$ depending only on $t$ such that the distance-$t$ chromatic index of any planar multigraph of maximum degree $d$ and girth at least $g$ is at most $τ'_t(d)$ if $d$ is sufficiently large. Such a quantity does not exist for even $t$. We also show a related, similar phenomenon for distance vertex-colouring.
Coset decision trees and the Fourier algebra
Published
• View Publication
• BIB
We show that if G is a finite group and f is a {0,1}-valued function on G with Fourier algebra norm at most M then f may be computed by a coset decision tree (that is a decision tree in which at each vertex we query membership of a given coset) having at most \exp(\exp(\exp(O(M^2)))) leaves. A short calculation shows that any {0,1}-valued function which may be computed by a coset decision tree with m leaves has Fourier algebra norm at most \exp(O(m)).
Sidorenko's conjecture for higher tree decompositions
This is a companion note to our paper 'Some advances on Sidorenko's conjecture', elaborating on a remark in that paper that the approach which proves Sidorenko's conjecture for strongly tree-decomposable graphs may be extended to a broader class, comparable to that given in work of Szegedy, through further iteration.
Sound Colless-like balance indices for multifurcating trees
Published
• View Publication
• BIB
The Colless index is one of the most popular and natural balance indices for bifurcating phylogenetic trees, but it makes no sense for multifurcating trees. In this paper we propose a family of Colless-like balance indices $\mathfrak{C}_{D,f}$, which depend on a dissimilarity $D$ and a function $f:\mathbb{N}\to \mathbb{R}_{\geq 0}$, that generalize the Colless index to multifurcating phylogenetic trees. We provide two functions $f$ such that the most balanced phylogenetic trees according to the corresponding indices $\mathfrak{C}_{D,f}$ are exactly the fully symmetric ones. Next, for each one of these two functions $f$ and for three popular dissimilarities $D$ (the variance, the standard deviation, and the mean deviation from the median), we determine the range of values of $\mathfrak{C}_{D,f}$ on the sets of phylogenetic trees with a given number $n$ of leaves. We end the paper by assessing the performance of one of these indices on TreeBASE and using it to show that the trees in this database do not seem to follow either the uniform model for multifurcating trees or the $α$-$γ$-model, for any values of $α$ and $γ$.
Resistors in dual networks
Published
• View Publication
• BIB
Let $G$ be a finite plane multigraph and $G'$ its dual. Each edge $e$ of $G$ is interpreted as a resistor of resistance $R_e$, and the dual edge $e'$ is assigned the dual resistance $R_{e'}:=1/R_e$. Then the equivalent resistance $r_e$ over $e$ and the equivalent resistance $r_{e'}$ over $e'$ satisfy $r_e/R_e+r_{e'}/R_{e'}=1$. We provide a graph theoretic proof of this relation by expressing the resistances in terms of sums of weights of spanning trees in $G$ and $G'$ respectively.