tree
6737 papers tagged with this keyword
Embedding bounded degree spanning trees in random graphs
We prove that if a tree $T$ has $n$ vertices and maximum degree at most $Δ$, then a copy of $T$ can almost surely be found in the random graph $\mathcal{G}(n,Δ\log^5 n/n)$.
Sharp threshold for embedding combs and other spanning trees in random graphs
When $k|n$, the tree $\mathrm{Comb}_{n,k}$ consists of a path containing $n/k$ vertices, each of whose vertices has a disjoint path length $k-1$ beginning at it. We show that, for any $k=k(n)$ and $ε>0$, the binomial random graph $\mathcal{G}(n,(1+ε)\log n/ n)$ almost surely contains $\mathrm{Comb}_{n,k}$ as a subgraph. This improves a recent result of Kahn, Lubetzky and Wormald. We prove a similar statement for a more general class of trees containing both these combs and all bounded degree spanning trees which have at least $εn/ \log^9n$ disjoint bare paths length $\lceil\log^9 n\rceil$.
We also give an efficient method for finding large expander subgraphs in a binomial random graph. This allows us to improve a result on almost spanning trees by Balogh, Csaba, Pei and Samotij.
Matching measure, Benjamini-Schramm convergence and the monomer-dimer free energy
Published
• View Publication
• BIB
We define the matching measure of a lattice L as the spectral measure of the tree of self-avoiding walks in L. We connect this invariant to the monomer-dimer partition function of a sequence of finite graphs converging to L.
This allows us to express the monomer-dimer free energy of L in terms of the measure. Exploiting an analytic advantage of the matching measure over the Mayer series then leads to new, rigorous bounds on the monomer-dimer free energies of various Euclidean lattices. While our estimates use only the computational data given in previous papers, they improve the known bounds significantly.
Decay of Correlations for the Hardcore Model on the $d$-regular Random Graph
Published
• View Publication
• BIB
A key insight from statistical physics about spin systems on random graphs is the central role played by Gibbs measures on trees. We determine the local weak limit of the hardcore model on random regular graphs asymptotically until just below its condensation threshold, showing that it converges in probability locally in a strong sense to the free boundary condition Gibbs measure on the tree. As a consequence we show that the reconstruction threshold on the random graph, indicative of the onset of point to set spatial correlations, is equal to the reconstruction threshold on the $d$-regular tree for which we determine precise asymptotics. We expect that our methods will generalize to a wide range of spin systems for which the second moment method holds.
Distant parents in complete binary trees
Published in Math. Scientist 38(1) (2013), 1--10
• Search Publication
There is a unique path from the root of a tree to any other vertex. Every vertex, except the root, has a parent: the adjoining vertex on this unique path. This is the conventional definition of the parent vertex. For complete binary trees, however, we show that it is useful to define another parent vertex, called a \emph{distant parent}. The study of distant parents leads to novel connections with dyadic rational numbers. Moreover, we apply the concepts of close and distant parent vertices to deduce an apparently new sense in which continued fractions are `best' rational approximations.
The constant objective value property for combinatorial optimization problems
Given a combinatorial optimization problem, we aim at characterizing the set of all instances for which every feasible solution has the same objective value.
Our central result deals with multi-dimensional assignment problems. We show that for the axial and for the planar $d$-dimensional assignment problem instances with constant objective value property are characterized by sum-decomposable arrays. We provide a counterexample to show that the result does not carry over to general $d$-dimensional assignment problems.
Our result for the axial $d$-dimensional assignment problem can be shown to carry over to the axial $d$-dimensional transportation problem. Moreover, we obtain characterizations when the constant objective value property holds for the minimum spanning tree problem, the shortest path problem and the minimum weight maximum cardinality matching problem.
Isomorphism of Weighted Trees and Stanley's Conjecture for Caterpillars
Published
• View Publication
• BIB
This paper contributes to a programme initiated by the first author: `How much information about a graph is revealed in its Potts partition function?'. We show that the $W$-polynomial distinguishes non-isomorphic weighted trees of a \emph{good} family. The framework developed to do so also allows us to show that the $W$-polynomial distinguishes non-isomorphic caterpillars. This establishes Stanley's isomorphism conjecture for caterpillars, an extensively studied problem.
Linear relations for a generalized Tutte polynomial
Published
• View Publication
• BIB
Brylawski proved the coefficients of the Tutte polynomial of a matroid satisfy a set of linear relations. We extend these relations to a generalization of the Tutte polynomial that includes greedoids and antimatroids. This leads to families of new identities for antimatroids, including trees, posets, chordal graphs and finite point sets in $\mathbb{R}^n$. It also gives a "new" linear relation for matroids that is implied by Brylawski's identities.
On the smallest eigenvalues of the line graphs of some trees
Published in Linear Algebra and its Applications 466 (2015) 501-511
• View Publication
• BIB
In this paper, we study the characteristic polynomials of the line graphs of generalized Bethe trees. We give an infinite family of such graphs sharing the same smallest eigenvalue. Our family generalizes the family of coronas of complete graphs discovered by Cvetković and Stevanović.
Enumeration of polyominoes defined in terms of pattern avoidance or convexity constraints
In this thesis, we consider the problem of characterizing and enumerating sets of polyominoes described in terms of some constraints, defined either by convexity or by pattern containment. We are interested in a well known subclass of convex polyominoes, the k-convex polyominoes for which the enumeration according to the semi-perimeter is known only for k=1,2. We obtain, from a recursive decomposition, the generating function of the class of k-convex parallelogram polyominoes, which turns out to be rational. Noting that this generating function can be expressed in terms of the Fibonacci polynomials, we describe a bijection between the class of k-parallelogram polyominoes and the class of planted planar trees having height less than k+3. In the second part of the thesis we examine the notion of pattern avoidance, which has been extensively studied for permutations. We introduce the concept of pattern avoidance in the context of matrices, more precisely permutation matrices and polyomino matrices. We present definitions analogous to those given for permutations and in particular we define polyomino classes, i.e. sets downward closed with respect to the containment relation. So, the study of the old and new properties of the redefined sets of objects has not only become interesting, but it has also suggested the study of the associated poset. In both approaches our results can be used to treat open problems related to polyominoes as well as other combinatorial objects.
Matchings in Benjamini-Schramm convergent graph sequences
Published in Trans. Amer. Math. Soc. 368 (2016), no. 6, 4197--4218
• Search Publication
We introduce the matching measure of a finite graph as the uniform distribution on the roots of the matching polynomial of the graph. We analyze the asymptotic behavior of the matching measure for graph sequences with bounded degree.
A graph parameter is said to be estimable if it converges along every Benjamini-Schramm convergent sparse graph sequence. We prove that the normalized logarithm of the number of matchings is estimable. We also show that the analogous statement for perfect matchings already fails for d-regular bipartite graphs for any fixed d at least 3. The latter result relies on analyzing the probability that a randomly chosen perfect matching contains a particular edge.
However, for any sequence of d-regular bipartite graphs converging to the d-regular tree, we prove that the normalized logarithm of the number of perfect matchings converges. This applies to random d-regular bipartite graphs. We show that the limit equals to the exponent in Schrijver's lower bound on the number of perfect matchings.
Our analytic approach also yields a short proof for the Nguyen-Onak (also Elek--Lippner) theorem saying that the matching ratio is estimable. In fact, we prove the slightly stronger result that the independence ratio is estimable for claw-free graphs.
The Game Saturation Number of a Graph
Published
• View Publication
• BIB
Given a family ${\mathcal F}$ and a host graph $H$, a graph $G\subseteq H$ is ${\mathcal F}$-saturated relative to $H$ if no subgraph of $G$ lies in ${\mathcal F}$ but adding any edge from $E(H)-E(G)$ to $G$ creates such a subgraph. In the ${\mathcal F}$-saturation game on $H$, players Max and Min alternately add edges of $H$ to $G$, avoiding subgraphs in ${\mathcal F}$, until $G$ becomes ${\mathcal F}$-saturated relative to $H$. They aim to maximize or minimize the length of the game, respectively; $\textrm{sat}_g({\mathcal F};H)$ denotes the length under optimal play (when Max starts).
Let ${\mathcal O}$ denote the family of all odd cycles and ${\mathcal T}$ the family of $n$-vertex trees, and write $F$ for ${\mathcal F}$ when ${\mathcal F}=\{F\}$. Our results include $\textrm{sat}_g({\mathcal O};K_{2k})=k^2$, $\textrm{sat}_g({\mathcal T};K_n)=\binom{n-2}{2}+1$ for $n\ge6$, $\textrm{sat}_g(K_{1,3};K_n)=2\lfloor n/2 \rfloor$ for $n\ge8$, $\textrm{sat}_g(K_{1,r+1};K_n)=\frac{rn}{2}-\frac{r^2}{8}+O(1)$, and $|\textrm{sat}_g(P_4;K_n)-(4n-1)/5|\le 1$. We also determine $\textrm{sat}_g(P_4;K_{m,n})$; with $m\ge n$, it is $n$ when $n$ is even, $m$ when $n$ is odd and $m$ is even, and $m+\lfloor n/2 \rfloor$ when $mn$ is odd. Finally, we prove the lower bound $\textrm{sat}_g(C_4;K_{n,n})\ge\frac{1}{10.4}n^{13/12}-O(n^{35/36})$. The results are very similar when Min plays first, except for the $P_4$-saturation game on $K_{m,n}$.
Combinatorics of Linked Systems of Quartet Trees
Published
• View Publication
• BIB
We apply classical quartet techniques to the problem of phylogenetic decisiveness and find a value $k$ such that all collections of at least $k$ quartets are decisive. Moreover, we prove that this bound is optimal and give a lower-bound on the probability that a collection of quartets is decisive.
Representing Partitions on Trees
Published
• View Publication
• BIB
In evolutionary biology, biologists often face the problem of constructing a phylogenetic tree on a set $X$ of species from a multiset $Π$ of partitions corresponding to various attributes of these species. One approach that is used to solve this problem is to try instead to associate a tree (or even a network) to the multiset $Σ_Π$ consisting of all those bipartitions $\{A,X-A\}$ with $A$ a part of some partition in $Π$. The rational behind this approach is that a phylogenetic tree with leaf set $X$ can be uniquely represented by the set of bipartitions of $X$ induced by its edges. Motivated by these considerations, given a multiset $Σ$ of bipartitions corresponding to a phylogenetic tree on $X$, in this paper we introduce and study the set $P(Σ)$ consisting of those multisets of partitions $Π$ of $X$ with $Σ_Π=Σ$. More specifically, we characterize when $P(Σ)$ is non-empty, and also identify some partitions in $P(Σ)$ that are of maximum and minimum size. We also show that it is NP-complete to decide when $P(Σ)$ is non-empty in case $Σ$ is an arbitrary multiset of bipartitions of $X$. Ultimately, we hope that by gaining a better understanding of the mapping that takes an arbitrary partition system $Π$ to the multiset $Σ_Π$, we will obtain new insights into the use of median networks and, more generally, split-networks to visualize sets of partitions.
Pomax games - a family of partizan games played on posets
We introduce the following class of partizan games, called pomax games. Given a partially ordered set whose elements are colored black or white, the players Black and White take turns removing any maximal element of their own color. If there is no such element, the player loses.
We prove that pomax games are always integer-valued and for colored tree posets and chess-colored Young diagram posets we give a simple formula for the value of the game. However, for pomax games on general posets of height 3 we show that the problem of deciding the winner is PSPACE-complete and for posets of height 2 we prove NP-hardness.
Pomax games are just a special case of a larger class of integer-valued games that we call element-removal games, and we pose some open questions regarding element-removal games that are not pomax games.
Intersection Graphs of L-Shapes and Segments in the Plane
Published
• View Publication
• BIB
An L-shape is the union of a horizontal and a vertical segment with a common endpoint. These come in four rotations: L, Γ, LE{} and \eeG. A $k$-bend path is a simple path in the plane, whose direction changes $k$ times from horizontal to vertical. If a graph admits an intersection representation in which every vertex is represented by an L, an L{} or Γ, a $k$-bend path, or a segment, then this graph is called an $\{L\}$-graph, $\{L,Γ\}$-graph, $B_k$-VPG-graph or SEG-graph, respectively. Motivated by a theorem of Middendorf and Pfeiffer [Discrete Mathematics, 108(1):365--372, 1992], stating that every $\{L,Γ\}$-graph is a SEG-graph, we investigate several known subclasses of SEG-graphs and show that they are $\{L\}$-graphs, or $B_k$-VPG-graphs for some small constant $k$. We show that all planar $3$-trees, all line graphs of planar graphs, and all full subdivisions of planar graphs are $\{L\}$-graphs. Furthermore we show that all complements of planar graphs are $B_{17}$-VPG-graphs and all complements of full subdivisions are $B_2$-VPG-graphs. Here a full subdivision is a graph in which each edge is subdivided at least once.
Minimizing Degree-based Topological Indices for Trees with Given Number of Pendent Vertices + Erratum
Published in MATCH Commun. Math. Comput. Chem. 71 (1) (2014) 33-46 + Erratum in V. 72 (3) (2014) 633-639
• Search Publication
We derive sharp lower bounds for the first and the second Zagreb indices ($M_1$ and $M_2$ respectively) for trees and chemical trees with the given number of pendent vertices and find optimal trees. $M_1$ is minimized by a tree with all internal vertices having degree 4, while $M_2$ is minimized by a tree where each "stem" vertex is incident to 3 or 4 pendent vertices and one internal vertex, while the rest internal vertices are incident to 3 other internal vertices. The technique is shown to generalize to the weighted first Zagreb index, the zeroth order general Randić index, as long as to many other degree-based indices.
Later the erratum was added: Theorem 3 says that the second Zagreb index $M_2$ cannot be less than $11n-27$ for a tree with $n\ge 8$ pendent vertices. Yet the tree exists with $n=8$ vertices (the two-sided broom) violating this inequality. The reason is that the proof of Theorem 3 relays on a tacit assumption that an index-minimizing tree contains no vertices of degree 2. This assumption appears to be invalid in general. In this erratum we show that the inequality $M_2 \ge 11n-27$ still holds for trees with $n\ge 9$ vertices and provide the valid proof of the (corrected) Theorem 3.
Cycle/cocycle oblique projections on oriented graphs
Published in Lett. Math. Phys. 105 , 89-107 (2015)
• View Publication
• BIB
It is well known that the edge vector space of an oriented graph can be decomposed in terms of cycles and cocycles (alias cuts, or bonds), and that a basis for the cycle and the cocycle spaces can be generated by adding and removing edges to an arbitrarily chosen spanning tree. In this paper we show that the edge vector space can also be decomposed in terms of cycles and the generating edges of cocycles (called cochords), or of cocycles and the generating edges of cycles (called chords). From this observation follows a construction in terms of oblique complementary projection operators. We employ this algebraic construction to prove several properties of unweighted Kirchhoff-Symanzik matrices, encoding the mutual superposition between cycles and cocycles. In particular, we prove that dual matrices of planar graphs have the same spectrum (up to multiplicities). We briefly comment on how this construction provides a refined formalization of Kirchhoff's mesh analysis of electrical circuits, which has lately been applied to generic thermodynamic networks.
A Characterization of Substar Graphs
Published
• View Publication
• BIB
The intersection graphs of stars in some tree are known as substar graphs. In this paper we give a characterization of substar graphs by the list of minimal forbidden induced subgraphs. This corrects a flaw in the main result of Chang, Jacobson, Monma and West (Subtree and substar intersection numbers, Discrete Appl. Math. 44, 205-220 (1993)) and this leads to a different list of minimal forbidden induced subgraphs.
Sandpile groups of generalized de Bruijn and Kautz graphs and circulant matrices over finite fields
Published in Journal of Algebra (2015), pp. 268-295
• View Publication
• BIB
A maximal minor $M$ of the Laplacian of an $n$-vertex Eulerian digraph $Γ$ gives rise to a finite group $\mathbb{Z}^{n-1}/\mathbb{Z}^{n-1}M$ known as the sandpile (or critical) group $S(Γ)$ of $Γ$. We determine $S(Γ)$ of the generalized de Bruijn graphs $Γ=\mathrm{DB}(n,d)$ with vertices $0,\dots,n-1$ and arcs $(i,di+k)$ for $0\leq i\leq n-1$ and $0\leq k\leq d-1$, and closely related generalized Kautz graphs, extending and completing earlier results for the classical de Bruijn and Kautz graphs.
Moreover, for a prime $p$ and an $n$-cycle permutation matrix $X\in\mathrm{GL}_n(p)$ we show that $S(\mathrm{DB}(n,p))$ is isomorphic to the quotient by $\langle X\rangle$ of the centralizer of $X$ in $\mathrm{PGL}_n(p)$. This offers an explanation for the coincidence of numerical data in sequences A027362 and A003473 of the OEIS, and allows one to speculate upon a possibility to construct normal bases in the finite field $\mathbb{F}_{p^n}$ from spanning trees in $\mathrm{DB}(n,p)$.