tree
6737 papers tagged with this keyword
Progress in distributive homology: from q-polynomial of rooted trees to Yang-Baxter homology
This is an extended abstract of the talk given at the Oberwolfach Workshop
"Algebraic Structures in Low-Dimensional Topology", 25 May -- 31 May 2014. My goal was to describe progress in distributive homology from the previous Oberwolfach Workshop June 3 - June 9, 2012, in particular my work on Yang-Baxter homology; however I concentrated my talk on my recent discovery of q-polynomial of a rooted tree; the appropriate topic as my talk was on May 30, 2014, the 30 anniversary of the Jones polynomial, and the polynomial has its roots in the Kauffman bracket approach to the Jones polynomial.
A combinatorial Hopf algebra for nonlinear output feedback control systems
Published in Journal of Algebra, Vol 453, (2016) 609-643
• View Publication
• BIB
In this work a combinatorial description is provided of a Faa di Bruno type Hopf algebra which naturally appears in the context of Fliess operators in nonlinear feedback control theory. It is a connected graded commutative and non-cocommutative Hopf algebra defined on rooted circle trees. A cancellation free forest formula for its antipode is given.
The Bernardi process and torsor structures on spanning trees
Published
• View Publication
• BIB
Let G be a ribbon graph, i.e., a connected finite graph G together with a cyclic ordering of the edges around each vertex. By adapting a construction due to O. Bernardi, we associate to any pair (v,e) consisting of a vertex v and an edge e adjacent to v a bijection between spanning trees of G and elements of the set Pic^g(G) of degree g divisor classes on G, where g is the genus of G. Using the natural action of the Picard group Pic^0(G) on Pic^g(G), we show that the Bernardi bijection gives rise to a simply transitive action β_v of Pic^0(G) on the set of spanning trees which does not depend on the choice of e.
A plane graph has a natural ribbon structure (coming from the counterclockwise orientation of the plane), and in this case we show that β_v is independent of v as well. Thus for plane graphs, the set of spanning trees is naturally a torsor for the Picard group. Conversely, we show that if β_v is independent of v then G together with its ribbon structure is planar. We also show that the natural action of Pic^0(G) on spanning trees of a plane graph is compatible with planar duality.
These findings are formally quite similar to results of Holroyd et al. and Chan-Church-Grochow, who used rotor-routing to construct an action r_v of Pic^0(G) on the spanning trees of a ribbon graph G, which they show is independent of v if and only if G is planar. It is therefore natural to ask how the two constructions are related. We prove that β_v = r_v for all vertices v of G when G is a planar ribbon graph, i.e. the two torsor structures (Bernardi and rotor-routing) on the set of spanning trees coincide. In particular, it follows that the rotor-routing torsor is compatible with planar duality. We conjecture that for every non-planar ribbon graph G, there exists a vertex v with β_v \neq r_v.
Sandpiles, spanning trees, and plane duality
Published
• View Publication
• BIB
Let G be a connected, loopless multigraph. The sandpile group of G is a finite abelian group associated to G whose order is equal to the number of spanning trees in G. Holroyd et al. used a dynamical process on graphs called rotor-routing to define a simply transitive action of the sandpile group of G on its set of spanning trees. Their definition depends on two pieces of auxiliary data: a choice of a ribbon graph structure on G, and a choice of a root vertex. Chan, Church, and Grochow showed that if G is a planar ribbon graph, it has a canonical rotor-routing action associated to it, i.e., the rotor-routing action is actually independent of the choice of root vertex.
It is well-known that the spanning trees of a planar graph G are in canonical bijection with those of its planar dual G*, and furthermore that the sandpile groups of G and G* are isomorphic. Thus, one can ask: are the two rotor-routing actions, of the sandpile group of G on its spanning trees, and of the sandpile group of G* on its spanning trees, compatible under plane duality? In this paper, we give an affirmative answer to this question, which had been conjectured by Baker.
Labeled Fibonacci Trees
Published in Legendre S. 2015. Labeled Fibonacci trees. The Fibonacci Quarterly 53: 152-167
• View Publication
• BIB
The study describes a class of integer labelings of the Fibonacci tree, the tree of descent introduced by Fibonacci. In these labelings, Fibonacci sequences appear along ascending branches of the tree, and it is shown that the labels at any level are consecutive integers. The set of labeled trees is a commutative group isomorphic to $\mathbb{Z}^2$, and is endowed with an order relation. Properties of the Wythoff array are recovered as a special instance, and further properties of the labeled Fibonacci trees are described. These trees can be viewed as generalizations of the Wythoff array.
On large girth regular graphs and random processes on trees
Published
• View Publication
• BIB
We study various classes of random processes defined on the regular tree $T_d$ that are invariant under the automorphism group of $T_d$. Most important ones are factor of i.i.d. processes (randomized local algorithms), branching Markov chains and a new class that we call typical processes. Using Glauber dynamics on processes we give a sufficient condition for a branching Markov chain to be factor of i.i.d. Typical processes are defined in a way that they create a correspondence principle between random $d$-reguar graphs and ergodic theory on $T_d$. Using this correspondence principle together with entropy inequalities for typical processes we prove a family of combinatorial statements about random $d$-regular graphs.
The approximate Loebl-Komlos-Sos conjecture and embedding trees in sparse graphs
Published in Electron. Res. Announc. Math. Sci. 22 (2015), 1-11
• View Publication
• BIB
Loebl, Komlós and Sós conjectured that every $n$-vertex graph $G$ with at least $n/2$ vertices of degree at least $k$ contains each tree $T$ of order $k+1$ as a subgraph. We give a sketch of a proof of the approximate version of this conjecture for large values of $k$.
For our proof, we use a structural decomposition which can be seen as an analogue of Szemerédi's regularity lemma for possibly very sparse graphs. With this tool, each graph can be decomposed into four parts: a set of vertices of huge degree, regular pairs (in the sense of the regularity lemma), and two other objects each exhibiting certain expansion properties. We then exploit the properties of each of the parts of $G$ to embed a given tree $T$.
The purpose of this note is to highlight the key steps of our proof. Details can be found in [arXiv:1211.3050].
On random trees obtained from permutation graphs
Published
• View Publication
• BIB
A permutation $\boldsymbol w$ gives rise to a graph $G_{\boldsymbol w}$; the vertices of $G_{\boldsymbol w}$ are the letters in the permutation and the edges of $G_{\boldsymbol w}$ are the inversions of $\boldsymbol w$. We find that the number of trees among permutation graphs with $n$ vertices is $2^{n-2}$ for $n\ge 2$. We then study $T_n$, a uniformly random tree from this set of trees. In particular, we study the number of vertices of a given degree in $T_n$, the maximum degree in $T_n$, the diameter of $T_n$, and the domination number of $T_n$. Denoting the number of degree-$k$ vertices in $T_n$ by $D_k$, we find that $(D_1,\dots,D_m)$ converges to a normal distribution for any fixed $m$ as $n\to \infty$. The vertex domination number of $T_n$ is also asymptotically normally distributed as $n\to \infty$. The diameter of $T_n$ shifted by $-2$ is binomially distributed with parameters $n-3$ and $1/2$. Finally, we find the asymptotic distribution of the maximum degree in $T_n$, which is concentrated around $\log_2n$.
Ascent sequences avoiding pairs of patterns
Published
• View Publication
• BIB
Ascent sequences were introduced by Bousquet-Melou et al. in connection with (2+2)-avoiding posets and their pattern avoidance properties were first considered by Duncan and Steingrimsson. In this paper, we consider ascent sequences of length $n$ avoiding two patterns of length 3, and we determine an exact enumeration for 16 different pairs of patterns. Methods include simple recurrences, bijections to other combinatorial objects (including Dyck paths and pattern-avoiding permutations), and generating trees. We also provide an analogue of the Erdos-Szekeres Theorem to prove that any sufficiently long ascent sequence contains either many copies of the same number or a long increasing subsequence, with a precise bound.
An extension of Tamari lattices
Published
• View Publication
• BIB
For any finite path $v$ on the square grid consisting of north and east unit steps, starting at (0,0), we construct a poset Tam$(v)$ that consists of all the paths weakly above $v$ with the same number of north and east steps as $v$. For particular choices of $v$, we recover the traditional Tamari lattice and the $m$-Tamari lattice.
Let $\overleftarrow{v}$ be the path obtained from $v$ by reading the unit steps of $v$ in reverse order, replacing the east steps by north steps and vice versa. We show that the poset Tam$(v)$ is isomorphic to the dual of the poset Tam$(\overleftarrow{v})$. We do so by showing bijectively that the poset Tam$(v)$ is isomorphic to the poset based on rotation of full binary trees with the fixed canopy $v$, from which the duality follows easily. This also shows that Tam$(v)$ is a lattice for any path $v$. We also obtain as a corollary of this bijection that the usual Tamari lattice, based on Dyck paths of height $n$, is a partition of the (smaller) lattices Tam$(v)$, where the $v$ are all the paths on the square grid that consist of $n-1$ unit steps.
We explain possible connections between the poset Tam$(v)$ and (the combinatorics of) the generalized diagonal coinvariant spaces of the symmetric group.
Abstract Separation Systems
Published
• View Publication
• BIB
Abstract separation systems provide a simple general framework in which both tree-shape and high cohesion of many combinatorial structures can be expressed, and their duality proved. Applications range from tangle-type duality and tree structure theorems in graphs, matroids or CW-complexes to, potentially, image segmentation and cluster analysis.
This paper is intended as a concise common reference for the basic definitions and facts about abstract separation systems in these and any future papers using this framework.
A combinatorial interpretation of the $κ^{\star}_{g}(n)$ coefficients
Studying the virtual Euler characteristic of the moduli space of curves, Harer and Zagier compute the generating function $C_g(z)$ of unicellular maps of genus $g$. They furthermore identify coefficients, $κ^{\star}_{g}(n)$, which fully determine the series $C_g(z)$. The main result of this paper is a combinatorial interpretation of $κ^{\star}_{g}(n)$. We show that these enumerate a class of unicellular maps, which correspond $1$-to-$2^{2g}$ to a specific type of trees, referred to as O-trees. O-trees are a variant of the C-decorated trees introduced by Chapuy, Féray and Fusy. We exhaustively enumerate the number $s_{g}(n)$ of shapes of genus $g$ with $n$ edges, which is a specific class of unicellular maps with vertex degree at least three. Furthermore we give combinatorial proofs for expressing the generating functions $C_g(z)$ and $S_g(z)$ for unicellular maps and shapes in terms of $κ^{\star}_{g}(n)$, respectively. We then prove a two term recursion for $κ^{\star}_{g}(n)$ and that for any fixed $g$, the sequence $\{κ_{g,t}\}_{t=0}^g$ is log-concave, where $κ^{\star}_{g}(n)= κ_{g,t}$, for $n=2g+t-1$.
m-dendriform algebras
The Fuss-Catalan numbers are a generalization of the Catalan numbers. They enumerate a large class of objects and in particular m-Dyck paths and m+1-ary trees. Recently, F. Bergeron defined an analogue for generic m of the Tamari order on classical Dyck words. The author and J.-Y. Thibon showed that the combinatorial Hopf algebras related to these m-Tamari orders are defined thanks to the same monoid, the sylvester monoid, as in the m=1 case and that all related Hopf algebras also have m analogues.
We present here the m-generalization of another construction on Catalan sets: the dendriform algebras. These algebras are presented in two different ways: first by relations between the m+1 operations, relations that are very similar to the classical relations; and then by explicit operations splitting the classical dendriform operations defined on words into new operations. We then investigate their dual and show they are Koszul.
F-Saturation Games
Published
• View Publication
• BIB
We study F-saturation games, first introduced by Füredi, Reimer and Seress in 1991, and named as such by West. The main question is to determine the length of the game whilst avoiding various classes of graph, playing on a large complete graph. We show lower bounds on the length of path-avoiding games, and more precise results for short paths. We show sharp results for the tree avoiding game and the star avoiding game.
Rooted trees, non-rooted trees and hamiltonian B-series
Published
• View Publication
• BIB
We explore the relationship between (non-planar) rooted trees and free trees, i.e. without root. We give in particular, for non-rooted trees, a substitute for the Lie bracket given by the antisymmetrization of the pre-Lie product.
Restricted frame graphs and a conjecture of Scott
Published in Electronic Journal of Combinatorics 23(1) (2016), #P1.30
• View Publication
• BIB
Scott proved in 1997 that for any tree $T$, every graph with bounded clique number which does not contain any subdivision of $T$ as an induced subgraph has bounded chromatic number. Scott also conjectured that the same should hold if $T$ is replaced by any graph $H$. Pawlik et al. recently constructed a family of triangle-free intersection graphs of segments in the plane with unbounded chromatic number (thereby disproving an old conjecture of Erdős). This shows that Scott's conjecture is false whenever $H$ is obtained from a non-planar graph by subdividing every edge at least once.
It remains interesting to decide which graphs $H$ satisfy Scott's conjecture and which do not. In this paper, we study the construction of Pawlik et al. in more details to extract more counterexamples to Scott's conjecture. For example, we show that Scott's conjecture is false for any graph obtained from $K_4$ by subdividing every edge at least once. We also prove that if $G$ is a 2-connected multigraph with no vertex contained in every cycle of $G$, then any graph obtained from $G$ by subdividing every edge at least twice is a counterexample to Scott's conjecture.
A linear algorithm for the grundy number of a tree
Published in International Journal of Computer Science & Information Technology (IJCSIT) Vol 6, No 1, February 2014
• View Publication
• BIB
A coloring of a graph G = (V,E) is a partition {V1, V2, . . ., Vk} of V into independent sets or color classes. A vertex v Vi is a Grundy vertex if it is adjacent to at least one vertex in each color class Vj . A coloring is a Grundy coloring if every color class contains at least one Grundy vertex, and the Grundy number of a graph is the maximum number of colors in a Grundy coloring. We derive a natural upper bound on this parameter and show that graphs with sufficiently large girth achieve equality in the bound. In particular, this gives a linear time algorithm to determine the Grundy number of a tree.
Randić Incidence Energy of Graphs
Let $G$ be a simple graph with vertex set $V(G) = \{v_1, v_2,\ldots, v_n\}$ and edge set $E(G) = \{e_1, e_2,\ldots, e_m\}$. Similar to the Randić matrix, here we introduce the Randić incidence matrix of a graph $G$, denoted by $I_R(G)$, which is defined as the $n\times m$ matrix whose $(i, j)$-entry is $(d_i)^{-\frac{1}{2}}$ if $v_i$ is incident to $e_j$ and $0$ otherwise. Naturally, the Randić incidence energy $I_RE$ of $G$ is the sum of the singular values of $I_R(G)$. We establish lower and upper bounds for the Randić incidence energy. Graphs for which these bounds are best possible are characterized. Moreover, we investigate the relation between the Randić incidence energy of a graph and that of its subgraphs. Also we give a sharp upper bound for the Randić incidence energy of a bipartite graph and determine the trees with the maximum Randić incidence energy among all $n$-vertex trees. As a result, some results are very different from those for incidence energy.
The tree of decomposition of a biconnected graph
Published
• View Publication
• BIB
The tree of decomposition of a $k$-connected graph by a set $\mathfrak S$ of pairwise independent $k$-vertex cutsets is defined as follows. The vertices of this tree are cutsets of $\mathfrak S$ and parts of decomposition of the graph by the set $\mathfrak S$, each cutset is adjacent to all parts that contain it. We prove, that the graph described above is a tree.
The tree of decomposition of a biconnected graph is a particular case of this construction: it is the tree of decomposition of a biconnected graph by the set of all its single cutsets (i.e. 2-vertex cutsets, that are independent with all other 2-vertex cutsets).
We show that this tree has much in common with the classic tree of blocks and cutpoints of a connected graph. With the help of the tree of decomposition of a biconnected graph we prove a planarity criterium and find some upper bounds on the chromatic number of this graph. Finally, we study the structure of critical biconnected graphs and prove that each such graph has at least four vertices of degree 2.
Multivariate Eulerian polynomials and exclusion processes
Published in Combinator. Probab. Comp. 25 (2016) 486-499
• View Publication
• BIB
We give a new combinatorial interpretation of the stationary distribution of the (partially) asymmetric exclusion process on a finite number of sites in terms of decorated alternative trees and colored permutations. The corresponding expressions of the multivariate partition functions are then related to multivariate generalizations of Eulerian polynomials for colored permutations considered recently by N. Williams and the third author, and others. We also discuss stability-- and negative dependence properties satisfied by the partition functions.