arXiv++ Combinatorics

Browse math.CO papers from arXiv

tree

6737 papers tagged with this keyword
2010-11-08 v4
L-cumulants, L-cumulant embeddings and algebraic statistics
Published • View PublicationBIB
Focusing on the discrete probabilistic setting we generalize the combinatorial definition of cumulants to L-cumulants. This generalization keeps all the desired properties of the classical cumulants like semi-invariance and vanishing for independent blocks of random variables. These properties make L-cumulants useful for the algebraic analysis of statistical models. We illustrate this for general Markov models and hidden Markov processes in the case when the hidden process is binary. The main motivation of this work is to understand cumulant-like coordinates in algebraic statistics and to give a more insightful explanation why tree cumulants give such an elegant description of binary hidden tree models. Moreover, we argue that L-cumulants can be used in the analysis of certain classical algebraic varieties.
2010-11-06 v4
A first order phase transition in the threshold-$θ\ge 2$ contact process on random $r$-regular graphs and $r$-trees
Published in Stochastic Processes and Their Applications 123 (2013), no. 2, 561-578 • View PublicationBIB
We consider the discrete-time threshold-$θ\ge 2$ contact process on a random r-regular graph on n vertices. In this process, a vertex with at least θoccupied neighbors at time t will be occupied at time t+1 with probability p, and vacant otherwise. We show that if $θ\ge 2$ and $r \ge θ+2$, $ε_1$ is small and p is at least $p_1(ε_1)$, then starting from all vertices occupied the fraction of occupied vertices stays above $1-2ε_1$ up to time $\exp(γ_1(r)n)$ with probability at least $1 - \exp(-γ_1(r)n)$. In the other direction, we show that for $p_2 < 1$ there is an $ε_2(p_2)>0$ so that if $p \le p_2$ and the number of occupied vertices in the initial configuration is at most $ε_2(p_2)n$, then with high probability all vertices are vacant at time $C_2(p_2) \log(n)$. These two conclusions imply that on the random r-regular graph there cannot be a quasi-stationary distribution with density of occupied vertices between 0 and $ε_2(p_1)$, and allow us to conclude that the process on the r-tree has a first order phase transition.
Segment representation of a subclass of co-planar graphs
Published • View PublicationBIB
A graph is said to be a segment graph if its vertices can be mapped to line segments in the plane such that two vertices have an edge between them if and only if their corresponding line segments intersect. Kratochvíl and Kuběna [``On intersection representations of co-planar graphs'', Discrete Mathematics, 178(1-3):251-255, 1998] asked the question of whether the complements of planar graphs are segment graphs. We show here that the complements of all partial 2-trees are segment graphs.
2010-11-03
Spectral characterization of a specific class of trees
In this paper, it is shown that the graph $T_4(p,q,r)$ is determined by its Laplacian spectrum and there are no two non-isomorphic such graphs which are cospectral with respect to adjacency spectrum.
2010-11-03
Enumeration of snakes and cycle-alternating permutations
Published in Australasian Journal of Combinatorics 60(3) (2014), 279--305 • Search Publication
Springer numbers are an analog of Euler numbers for the group of signed permutations. Arnol'd showed that they count some objects called snakes, that generalize alternating permutations. Hoffman established a link between Springer numbers, snakes, and some polynomials related with the successive derivatives of trigonometric functions. The goal of this article is to give further combinatorial properties of derivative polynomials, in terms of snakes and other objects: cycle-alternating permutations, weighted Dyck or Motzkin paths, increasing trees and forests. We obtain the generating functions, in terms of trigonometric functions for exponential ones and in terms of J-fractions for ordinary ones. We also define natural q-analogs, make a link with normal ordering problems and combinatorial theory of differential equations.
2010-10-29
On strong rainbow connection number
A path in an edge-colored graph, where adjacent edges may be colored the same, is a rainbow path if no two edges of it are colored the same. For any two vertices $u$ and $v$ of $G$, a rainbow $u-v$ geodesic in $G$ is a rainbow $u-v$ path of length $d(u,v)$, where $d(u,v)$ is the distance between $u$ and $v$. The graph $G$ is strongly rainbow connected if there exists a rainbow $u-v$ geodesic for any two vertices $u$ and $v$ in $G$. The strong rainbow connection number of $G$, denoted $src(G)$, is the minimum number of colors that are needed in order to make $G$ strong rainbow connected. In this paper, we first investigate the graphs with large strong rainbow connection numbers. Chartrand et al. obtained that $G$ is a tree if and only if $src(G)=m$, we will show that $src(G)\neq m-1$, so $G$ is not a tree if and only if $src(G)\leq m-2$, where $m$ is the number of edge of $G$. Furthermore, we characterize the graphs $G$ with $src(G)=m-2$. We next give a sharp upper bound for $src(G)$ according to the number of edge-disjoint triangles in graph $G$, and give a necessary and sufficient condition for the equality.
2010-10-28 v3
Two-lit trees for lit-only sigma-game
Published • View PublicationBIB
A configuration of the lit-only $σ$-game on a finite graph $Γ$ is an assignment of one of two states, on or off, to all vertices of $Γ.$ Given a configuration, a move of the lit-only $σ$-game on $Γ$ allows the player to choose an on vertex $s$ of $Γ$ and change the states of all neighbors of $s.$ Given any integer $k$, we say that $Γ$ is $k$-lit if, for any configuration, the number of on vertices can be reduced to at most $k$ by a finite sequence of moves. Assume that $Γ$ is a tree with a perfect matching. We show that $Γ$ is 1-lit and any tree obtained from $Γ$ by adding a new vertex on an edge of $Γ$ is 2-lit.
2010-10-28
Ordering trees having small reverse Wiener indices
Published in Filomat 26 (2012) 637-648 • View PublicationBIB
The reverse Wiener index of a connected graph $G$ is a variation of the well-known Wiener index $W(G)$ defined as the sum of distances between all unordered pairs of vertices of $G$. It is defined as $Λ(G)=\frac{1}{2}n(n-1)d-W(G)$, where $n$ is the number of vertices, and $d$ is the diameter of $G$. We now determine the second and the third smallest reverse Wiener indices of $n$-vertex trees and characterize the trees whose reverse Wiener indices attain these values for $n\ge 6$ (it has been known that the star is the unique tree with the smallest reverse Wiener index).
On the size of identifying codes in triangle-free graphs
Published in Discrete Applied Mathematics 160, 10-11 (2012) 1532-1546 • View PublicationBIB
In an undirected graph $G$, a subset $C\subseteq V(G)$ such that $C$ is a dominating set of $G$, and each vertex in $V(G)$ is dominated by a distinct subset of vertices from $C$, is called an identifying code of $G$. The concept of identifying codes was introduced by Karpovsky, Chakrabarty and Levitin in 1998. For a given identifiable graph $G$, let $\M(G)$ be the minimum cardinality of an identifying code in $G$. In this paper, we show that for any connected identifiable triangle-free graph $G$ on $n$ vertices having maximum degree $Δ\geq 3$, $\M(G)\le n-\tfrac{n}{Δ+o(Δ)}$. This bound is asymptotically tight up to constants due to various classes of graphs including $(Δ-1)$-ary trees, which are known to have their minimum identifying code of size $n-\tfrac{n}{Δ-1+o(1)}$. We also provide improved bounds for restricted subfamilies of triangle-free graphs, and conjecture that there exists some constant $c$ such that the bound $\M(G)\le n-\tfrac{n}Δ+c$ holds for any nontrivial connected identifiable graph $G$.
2010-10-27
Exterior Pairs and Up Step Statistics on Dyck Paths
Published • View PublicationBIB
Let $\C_n$ be the set of Dyck paths of length $n$. In this paper, by a new automorphism of ordered trees, we prove that the statistic `number of exterior pairs', introduced by A. Denise and R. Simion, on the set $\C_n$ is equidistributed with the statistic `number of up steps at height $h$ with $h\equiv 0$ (mod 3)'. Moreover, for $m\ge 3$, we prove that the two statistics `number of up steps at height $h$ with $h\equiv 0$ (mod $m$)' and `number of up steps at height $h$ with $h\equiv m-1$ (mod $m$)' on the set $\C_n$ are `almost equidistributed'. Both results are proved combinatorially.
2010-10-21
An approximate version of Sumner's universal tournament conjecture
Published in Journal of Combinatorial Theory, Series B, 101 (2011), 415-447 • View PublicationBIB
Sumner's universal tournament conjecture states that any tournament on $2n-2$ vertices contains a copy of any directed tree on $n$ vertices. We prove an asymptotic version of this conjecture, namely that any tournament on $(2+o(1))n$ vertices contains a copy of any directed tree on $n$ vertices. In addition, we prove an asymptotically best possible result for trees of bounded degree, namely that for any fixed $Δ$, any tournament on $(1+o(1))n$ vertices contains a copy of any directed tree on $n$ vertices with maximum degree at most $Δ$.
2010-10-21
A proof of Sumner's universal tournament conjecture for large tournaments
Published in Proceedings of the London Mathematical Society, 102 (2011), 731-766 • View PublicationBIB
Sumner's universal tournament conjecture states that any tournament on $2n-2$ vertices contains any directed tree on $n$ vertices. In this paper we prove that this conjecture holds for all sufficiently large $n$. The proof makes extensive use of results and ideas from a recent paper by the same authors, in which an approximate version of the conjecture was proved.
2010-10-20 v5
Minimum vertex covers and the spectrum of the normalized Laplacian on trees
Published in Linear Algebra Appl., 437 (2012), pp. 1089-1101 • View PublicationBIB
We show that, in the graph spectrum of the normalized graph Laplacian on trees, the eigenvalue 1 and eigenvalues near 1 are strongly related to minimum vertex covers. In particular, for the eigenvalue 1, its multiplicity is related to the size of a minimum vertex cover, and zero entries of its eigenvectors correspond to vertices in minimum vertex covers; while for eigenvalues near 1, their distance to 1 can be estimated from minimum vertex covers; and for the largest eigenvalue smaller than 1, the sign graphs of its eigenvectors take vertices in a minimum vertex cover as representatives.
2010-10-19 v5
A circular order on edge-coloured trees and RNA m-diagrams
Published in Advances in Applied Mathematics, 54, (2014), pp. 11-26 • View PublicationBIB
We study a circular order on labelled, m-edge-coloured trees with k vertices, and show that the set of such trees with a fixed circular order is in bijection with the set of RNA m-diagrams of degree k, combinatorial objects which can be regarded as RNA secondary structures of a certain kind. We enumerate these sets and show that the set of trees with a fixed circular order can be characterized as an equivalence class for the transitive closure of an operation which, in the case m=3, arises as an induction in the context of interval exchange transformations.
2010-10-16 v2
Spectrally degenerate graphs: Hereditary case
It is well known that the spectral radius of a tree whose maximum degree is D cannot exceed 2sqrt{D-1}. Similar upper bound holds for arbitrary planar graphs, whose spectral radius cannot exceed sqrt{8D}+10, and more generally, for all d-degenerate graphs, where the corresponding upper bound is sqrt{4dD}. Following this, we say that a graph G is spectrally d-degenerate if every subgraph H of G has spectral radius at most sqrt{d.Delta(H)}. In this paper we derive a rough converse of the above-mentioned results by proving that each spectrally d-degenerate graph G contains a vertex whose degree is at most 4dlog_2(D/d) (if D>=2d). It is shown that the dependence on D in this upper bound cannot be eliminated, as long as the dependence on d is subexponential. It is also proved that the problem of deciding if a graph is spectrally d-degenerate is co-NP-complete.
2010-10-14
Fast embedding of spanning trees in biased Maker-Breaker games
Published • View PublicationBIB
Given a tree $T=(V,E)$ on $n$ vertices, we consider the $(1 : q)$ Maker-Breaker tree embedding game ${\mathcal T}_n$. The board of this game is the edge set of the complete graph on $n$ vertices. Maker wins ${\mathcal T}_n$ if and only if he is able to claim all edges of a copy of $T$. We prove that there exist real numbers $α, ε> 0$ such that, for sufficiently large $n$ and for every tree $T$ on $n$ vertices with maximum degree at most $n^ε$, Maker has a winning strategy for the $(1 : q)$ game ${\mathcal T}_n$, for every $q \leq n^α$. Moreover, we prove that Maker can win this game within $n + o(n)$ moves which is clearly asymptotically optimal.
The Tutte Polynomial of the Schreier graphs of the Grigorchuk group and the Basilica group
Published in Ischia Group Theory 2010 (Proceedings of the Conference) (M. Bianchi, P. Longobardi, M. Maj and C. M. Scoppola editors), World Scientific 2011, 45-68 • View PublicationBIB
We study the Tutte polynomial of two infinite families of finite graphs. These are the Schreier graphs associated with the action of two well-known self-similar groups acting on the binary rooted tree by automorphisms: the first Grigorchuk group of intermediate growth, and the iterated monodromy group of the complex polynomial $z^2-1$ known as the Basilica group. For both of them, we describe the Tutte polynomial and we compute several special evaluations of it, giving further information about the combinatorial structure of these graphs.
2010-10-02 v3
Combinatorial Models of Creation-Annihilation
Published in Seminaire Lotharingien de Combinatoire 65, Art. B65c (2011) • Search Publication
Quantum physics has revealed many interesting formal properties associated with the algebra of two operators, A and B, satisfying the partial commutation relation AB-BA=1. This study surveys the relationships between classical combinatorial structures and the reduction to normal form of operator polynomials in such an algebra. The connection is achieved through suitable labelled graphs, or "diagrams", that are composed of elementary "gates". In this way, many normal form evaluations can be systematically obtained, thanks to models that involve set partitions, permutations, increasing trees, as well as weighted lattice paths. Extensions to q-analogues, multivariate frameworks, and urn models are also briefly discussed.
Cover-Decomposition and Polychromatic Numbers
A colouring of a hypergraph's vertices is polychromatic if every hyperedge contains at least one vertex of each colour; the polychromatic number is the maximum number of colours in such a colouring. Its dual, the cover-decomposition number, is the maximum number of disjoint hyperedge-covers. In geometric hypergraphs, there is extensive work on lower-bounding these numbers in terms of their trivial upper bounds (minimum hyperedge size and degree); our goal here is to broaden the study beyond geometric settings. We obtain algorithms yielding near-tight bounds for three families of hypergraphs: bounded hyperedge size, paths in trees, and bounded VC-dimension. This reveals that discrepancy theory and iterated linear program relaxation are useful for cover-decomposition. Finally, we discuss the generalization of cover-decomposition to sensor cover.
2010-09-24
Balanced binary trees in the Tamari lattice
Published in Formal Power Series and Algebraic Combinatorics 2010 • View PublicationBIB
We show that the set of balanced binary trees is closed by interval in the Tamari lattice. We establish that the intervals [T0, T1] where T0 and T1 are balanced trees are isomorphic as posets to a hypercube. We introduce tree patterns and synchronous grammars to get a functional equation of the generating series enumerating balanced tree intervals.