tree
6861 papers tagged with this keyword
The Catalan combinatorics of the hereditary artin algebras
Published
• View Publication
• BIB
This is a survey on the categorification of the poset of generalized non-crossing partitions, using the representation theory of a hereditary artin algebra H, looking at the set P of exceptional subcategories in mod H. This categorification is due to Ingalls and Thomas, and a subsequent paper by Igusa and Schiffler.
Starting point is a refinement of the classical tilting theory for mod H, replacing torsion pairs by torsion triples, thus putting it into the realm of the stability theory of King. The torsion pairs in mod H correspond nicely to the perpendicular pairs of exceptional subcategories and there is a wealth of bijections, the Ingalls-Thomas bijections, between sets of modules and subcategories.
If H is representation-finite, one may look at the corresponding numbers of modules or subcategories. Such Dynkin functions (they attach to a Dynkin diagram an integer) are displayed in chapter 1. In a mysterious way, many Dynkin functions can be described using the exponents of the Weyl group. According to Shapiro and Kostant, the exponents are given by the height partition of the root poset. A recent result of Abe-Barakat-Cuntz-Hoge-Terao allows to determine them inductively, going up in a chain of ideals in the root poset, looking at the corresponding hyperplane arrangements.
Chapter 4 deals with the case of the linearly oriented quiver of Dynkin type A. Here P is identified with the lattice NC of non-crossing partitions as introduced by Kreweras (now an important tool in several parts of mathematics, for example in free probability theory). We review some classical problems which are related to the maximal chains in NC: to count labeled trees as well as parking functions. The combinatorics of the Dynkin case A is just the combinatorics of the Catalan numbers; in an appendix, we discuss the nature of classical Catalan combinatorics.
Catching a mouse on a tree
In this paper we consider a pursuit-evasion game on a graph. A team of cats, which may choose any vertex of the graph at any turn, tries to catch an invisible mouse, which is constrained to moving along the vertices of the graph. Our main focus shall be on trees. We prove that $\lceil (1/2)\log_2(n)\rceil$ cats can always catch a mouse on a tree of order $n$ and give a collection of trees where the mouse can avoid being caught by $ (1/4 - o(1))\log_2(n)$ cats.
Combinatorial Restrictions on the Tree Class of the Auslander-Reiten Quiver of a Triangulated Category
Published
• View Publication
• BIB
We show that if a connected, Hom-finite, Krull-Schmidt triangulated category has an Auslander-Reiten quiver component with Dynkin tree class then the category has Auslander-Reiten triangles and that component is the entire quiver. This is an analogue for triangulated categories of a theorem of Auslander, and extends a previous result of Scherotzke. We also show that if there is a quiver component with extended Dynkin tree class, then other components must also have extended Dynkin class or one of a small set of infinite trees, provided there is a non-zero homomorphism between the components. The proofs use the theory of additive functions.
How to Hunt an Invisible Rabbit on a Graph
Published
• View Publication
• BIB
We investigate Hunters & Rabbit game, where a set of hunters tries to catch an invisible rabbit that slides along the edges of a graph. We show that the minimum number of hunters required to win on an (n\times m)-grid is \lfloor min{n,m}/2\rfloor+1. We also show that the extremal value of this number on n-vertex trees is between Ω(log n/log log n) and O(log n).
Decomposition of Sparse Graphs into Forests: The Nine Dragon Tree Conjecture for $k \le 2$
Published
• View Publication
• BIB
For a loopless multigraph $G$, the fractional arboricity $Arb(G)$ is the maximum of $\frac{|E(H)|}{|V(H)|-1}$ over all subgraphs $H$ with at least two vertices. Generalizing the Nash-Williams Arboricity Theorem, the Nine Dragon Tree Conjecture asserts that if $Arb(G)\le k+\frac{d}{k+d+1}$, then $G$ decomposes into $k+1$ forests with one having maximum degree at most $d$. The conjecture was previously proved for $d=k+1$ and for $k=1$ when $d \le 6$. We prove it for all $d$ when $k \le 2$, except for $(k,d)=(2,1)$.
Dual Ramsey theorem for trees
Published
• View Publication
• BIB
The classical Ramsey theorem was generalized in two major ways: to the dual Ramsey theorem, by Graham and Rothschild, and to Ramsey theorems for trees, initially by Deuber and Leeb. Bringing these two lines of thought together, we prove the dual Ramsey theorem for trees. Galois connections between partial orders are used in formulating this theorem, while the abstract approach to Ramsey theory, we developed earlier, is used in its proof.
Spread of Influence in Weighted Networks under Time and Budget Constraints
Published
• View Publication
• BIB
Given a network represented by a weighted directed graph G, we consider the problem of finding a bounded cost set of nodes S such that the influence spreading from S in G, within a given time bound, is as large as possible. The dynamic that governs the spread of influence is the following: initially only elements in S are influenced; subsequently at each round, the set of influenced elements is augmented by all nodes in the network that have a sufficiently large number of already influenced neighbors. We prove that the problem is NP-hard, even in simple networks like complete graphs and trees. We also derive a series of positive results. We present exact pseudo-polynomial time algorithms for general trees, that become polynomial time in case the trees are unweighted. This last result improves on previously published results. We also design polynomial time algorithms for general weighted paths and cycles, and for unweighted complete graphs.
On the Strong Roman Domination Number of Graphs
Published
• View Publication
• BIB
Based on the history that the Emperor Constantine decreed that any undefended place (with no legions) of the Roman Empire must be protected by a "stronger" neighbor place (having two legions), a graph theoretical model called Roman domination in graphs was described. A Roman dominating function for a graph $G=(V,E)$, is a function $f:V\rightarrow \{0,1,2\}$ such that every vertex $v$ with $f(v)=0$ has at least a neighbor $w$ in $G$ for which $f(w)=2$. The Roman domination number of a graph is the minimum weight, $\sum_{v\in V}f(v)$, of a Roman dominating function.
In this paper we initiate the study of a new parameter related to Roman domination, which we call strong Roman domination number and denote it by $γ_{StR}(G)$. We approach the problem of a Roman domination-type defensive strategy under multiple simultaneous attacks and begin with the study of several mathematical properties of this invariant. In particular, we first show that the decision problem regarding the computation of the strong Roman domination number is NP-complete, even when restricted to bipartite graphs. We obtain several bounds on such a parameter and give some realizability results for it. Moreover, we prove that for any tree $T$ of order $n\ge 3$, $γ_{StR}(T)\le 6n/7$ and characterize all extremal trees.
Reassembling trees for the traveling salesman
Published
• View Publication
• BIB
Many recent approximation algorithms for different variants of the traveling salesman problem (asymmetric TSP, graph TSP, s-t-path TSP) exploit the well-known fact that a solution of the natural linear programming relaxation can be written as convex combination of spanning trees. The main argument then is that randomly sampling a tree from such a distribution and then completing the tree to a tour at minimum cost yields a better approximation guarantee than simply taking a minimum cost spanning tree (as in Christofides' algorithm). We argue that an additional step can help: reassembling the spanning trees before sampling. Exchanging two edges in a pair of spanning trees can improve their properties under certain conditions. We demonstrate the usefulness for the metric s-t-path TSP by devising a deterministic polynomial-time algorithm that improves on Sebő's previously best approximation ratio of 8/5.
New bounds on the signed total domination number of graphs
Published in Discussiones Mathematicae Graph Theory, 36 (2016), 467-477
• View Publication
• BIB
In this paper, we study the signed total domination number in graphs and present new sharp lower and upper bounds for this parameter. For example by making use of the classic theorem of Turan, we present a sharp lower bound on this parameter for graphs with no complete graph of order r+1 as a subgraph. Also, we prove that n-2(s-s') is an upper bound on the signed total domination number of any tree of order n with s support vertices and s' support vertives of degree two. Moreover, we characterize all trees attainig this bound.
Combinatorial Heat and Wave Equations on Certain Classes of Infinite Cayley and Coset Graphs
The combinatorial heat and wave equations on all finite Cayley and coset graphs with discrete time variable was solved by Lal {\it et al}. In this paper, the results of the above paper are extended for infinite Cayley and coset graphs, whenever the associated groups are discrete, abelian and finitely generated. Furthermore, we study the solution of the combinatorial heat and wave equations on a $k$-regular tree whose associated group is a non-abelian free group on $k$ generators, each of order~$2$. It turns out that in case of Cayley graphs the solutions to combinatorial heat and wave equations are weighted sum of the initial functions over balls of certain radius which are dependent on the discrete time variable.
Minimizing Wiener Index for Vertex-Weighted Trees with Given Weight and Degree Sequences
Published in MATCH Commun. Math. Comput. Chem., Volume 75 (2016) number 1, pp. 3-27
• Search Publication
In 1997 Klavžar and Gutman suggested a generalization of the Wiener index to vertex-weighted graphs. We minimize the Wiener index over the set of trees with the given vertex weights' and degrees' sequences and show an optimal tree to be the, so-called, Huffman tree built in a bottom-up manner by sequentially connecting vertices of the least weights.
Simple Alcohols with the Lowest Normal Boiling Point Using Topological Indices
Published in MATCH Commun. Math. Comput. Chem., Volume 75 (2016) number 1, pp. 29-56
• Search Publication
We find simple saturated alcohols with the given number of carbon atoms and the minimal normal boiling point. The boiling point is predicted with a weighted sum of the generalized first Zagreb index, the second Zagreb index, the Wiener index for vertex-weighted graphs, and a simple index caring for the degree of a carbon atom being incident to the hydroxyl group. To find extremal alcohol molecules we characterize chemical trees of order $n$, which minimize the sum of the second Zagreb index and the generalized first Zagreb index, and also build chemical trees, which minimize the Wiener index over all chemical trees with given vertex weights.
Constructing Near Spanning Trees with Few Local Inspections
Published
• View Publication
• BIB
Constructing a spanning tree of a graph is one of the most basic tasks in graph theory. Motivated by several recent studies of local graph algorithms, we consider the following variant of this problem. Let G be a connected bounded-degree graph. Given an edge $e$ in $G$ we would like to decide whether $e$ belongs to a connected subgraph $G'$ consisting of $(1+ε)n$ edges (for a prespecified constant $ε>0$), where the decision for different edges should be consistent with the same subgraph $G'$. Can this task be performed by inspecting only a {\em constant} number of edges in $G$? Our main results are:
(1) We show that if every $t$-vertex subgraph of $G$ has expansion $1/(\log t)^{1+o(1)}$ then one can (deterministically) construct a sparse spanning subgraph $G'$ of $G$ using few inspections. To this end we analyze a "local" version of a famous minimum-weight spanning tree algorithm.
(2) We show that the above expansion requirement is sharp even when allowing randomization. To this end we construct a family of $3$-regular graphs of high girth, in which every $t$-vertex subgraph has expansion $1/(\log t)^{1-o(1)}$.
The vertex-rainbow index of a graph
Published
• View Publication
• BIB
The $k$-rainbow index $rx_k(G)$ of a connected graph $G$ was introduced by Chartrand, Okamoto and Zhang in 2010. As a natural counterpart of the $k$-rainbow index, we introduced the concept of $k$-vertex-rainbow index $rvx_k(G)$ in this paper. For a graph $G=(V,E)$ and a set $S\subseteq V$ of at least two vertices, \emph{an $S$-Steiner tree} or \emph{a Steiner tree connecting $S$} (or simply, \emph{an $S$-tree}) is a such subgraph $T=(V',E')$ of $G$ that is a tree with $S\subseteq V'$. For $S\subseteq V(G)$ and $|S|\geq 2$, an $S$-Steiner tree $T$ is said to be a \emph{vertex-rainbow $S$-tree} if the vertices of $V(T)\setminus S$ have distinct colors. For a fixed integer $k$ with $2\leq k\leq n$, the vertex-coloring $c$ of $G$ is called a \emph{$k$-vertex-rainbow coloring} if for every $k$-subset $S$ of $V(G)$ there exists a vertex-rainbow $S$-tree. In this case, $G$ is called \emph{vertex-rainbow $k$-tree-connected}. The minimum number of colors that are needed in a $k$-vertex-rainbow coloring of $G$ is called the \emph{$k$-vertex-rainbow index} of $G$, denoted by $rvx_k(G)$. When $k=2$, $rvx_2(G)$ is nothing new but the vertex-rainbow connection number $rvc(G)$ of $G$. In this paper, sharp upper and lower bounds of $srvx_k(G)$ are given for a connected graph $G$ of order $n$,\ that is, $0\leq srvx_k(G)\leq n-2$. We obtain the Nordhaus-Guddum results for $3$-vertex-rainbow index, and show that $rvx_3(G)+rvx_3(\overline{G})=4$ for $n=4$ and $2\leq rvx_3(G)+rvx_3(\overline{G})\leq n-1$ for $n\geq 5$. Let $t(n,k,\ell)$ denote the minimal size of a connected graph $G$ of order $n$ with $rvx_k(G)\leq \ell$, where $2\leq \ell\leq n-2$ and $2\leq k\leq n$. The upper and lower bounds for $t(n,k,\ell)$ are also obtained.
Counting vertices in plane and $k$-ary trees with given outdegree
Published in Graphs and Combinatorics, 35 (2019), no. 1, 221-229
• View Publication
• BIB
We count the number of vertices in plane trees and $k$-ary trees with given outdegree, and prove that the total number of vertices of outdegree $i$ over all plane trees with $n$ edges is ${2n-i-1 \choose n-1}$, and the total number of vertices of outdegree $i$ over all $k$-ary trees with $n$ edges is ${k\choose i}{kn\choose n-i}$. For both results we give bijective proofs as well as generating function proofs.
Counting Homomorphisms to Square-Free Graphs, Modulo 2
We study the problem HomsTo$H$ of counting, modulo 2, the homomorphisms from an input graph to a fixed undirected graph $H$. A characteristic feature of modular counting is that cancellations make wider classes of instances tractable than is the case for exact (non-modular) counting, so subtle dichotomy theorems can arise. We show the following dichotomy: for any $H$ that contains no 4-cycles, HomsTo$H$ is either in polynomial time or is $\oplus P$-complete. This confirms a conjecture of Faben and Jerrum that was previously only known to hold for trees and for a restricted class of treewidth-2 graphs called cactus graphs. We confirm the conjecture for a rich class of graphs including graphs of unbounded treewidth. In particular, we focus on square-free graphs, which are graphs without 4-cycles. These graphs arise frequently in combinatorics, for example in connection with the strong perfect graph theorem and in certain graph algorithms. Previous dichotomy theorems required the graph to be tree-like so that tree-like decompositions could be exploited in the proof. We prove the conjecture for a much richer class of graphs by adopting a much more general approach.
Generalized Catalan Numbers and the Enumeration of Planar Embeddings
The Raney numbers $R_{p,r}(n)$ are a two-parameter generalization of the Catalan numbers that were introduced by Raney in his investigation of functional composition patterns \cite{Raney}. We give a new combinatorial interpretation for all Raney numbers in terms of planar embeddings of certain collections of trees, a construction that recovers the usual interpretation of the $p$-Catalan numbers in terms of $p$-ary trees via the specialization $R_{p,1}(n) =_{p} c_n$. Our technique leads to several combinatorial identities involving the Raney numbers and ordered partitions. We then give additional combinatorial interpretations of specific Raney numbers, including an identification of $R_{p^2,p}(n)$ with oriented trees whose vertices satisfy the "source or sink property". We close with comments applying these results to the enumeration of connected (non-elliptic) $A_2$ webs that lack an internal cycle.
Matching trees for simplicial complexes and homotopy type of devoid complexes of graphs
Published
• View Publication
• BIB
We generalize some homotopy calculation techniques such as splittings and matching trees that are introduced for the computations in the case of the independence complexes of graphs to arbitrary simplicial complexes, and exemplify their efficiency on some simplicial complexes, the devoid complexes of graphs, which are simplicial complexes parametrized by graphs. Additionally, we compute the homotopy type of dominance complexes of chordal graphs.
Conditions on Ramsey non-equivalence
Published
• View Publication
• BIB
Given a graph H, a graph G is called a Ramsey graph of H if there is a monochromatic copy of H in every coloring of the edges of G with two colors. Two graphs G, H are called Ramsey equivalent if they have the same set of Ramsey graphs. Fox et al. [J. Combin. Theory Ser. B 109 (2014), 120--133] asked whether there are two non-isomorphic connected graphs that are Ramsey equivalent. They proved that a clique is not Ramsey equivalent to any other connected graph. Results of Nesetril et al. showed that any two graphs with different clique number [Combinatorica 1(2) (1981), 199--202] or different odd girth [Comment. Math. Univ. Carolin. 20(3) (1979), 565--582] are not Ramsey equivalent. These are the only structural graph parameters we know that "distinguish" two graphs in the above sense. This paper provides further supportive evidence for a negative answer to the question of Fox et al. by claiming that for wide classes of graphs, chromatic number is a distinguishing parameter. In addition, it is shown here that all stars and paths and all connected graphs on at most 5 vertices are not Ramsey equivalent to any other connected graph. Moreover two connected graphs are not Ramsey equivalent if they belong to a special class of trees or to classes of graphs with clique-reduction properties.