tree
6860 papers tagged with this keyword
A tree version of Konig's theorem
Published
• View Publication
• BIB
Konig's theorem states that the covering number and the matching number of a bipartite graph are equal. We prove a generalisation of this result, in which each point in one side of the graph is replaced by a subtree of a given tree. The proof uses a recent extension of Hall's theorem to families of hypergraphs, by the first author and P. Haxell.
The Intersection of All Maximum Stable Sets of a Tree and its Pendant Vertices
Published
• View Publication
• BIB
One theorem of Nemhauser and Trotter ensures that, under certain conditions, a stable set of a graph G can be enlarged to a maximum stable set of this graph. For example, any stable set consisting of only simplicial vertices is contained in a maximum stable set of G. In this paper we demonstrate that an inverse assertion is true for trees of order greater than one, where, in fact, all the simplicial vertices are pendant. Namely, we show that any maximum stable set of such a tree contains at least one pendant vertex. Moreover, we prove that if T does not own a perfect matching, then a stable set, consisting of at least two pendant vertices, is included in the intersection of all its maximum stable sets. For trees, the above assertion is also a strengthening of one result of Hammer, Hansen, and Simeone, stating that if half of order of G is less than the cardinality of a maximum stable set of G, then the intersection of all its maximum stable sets is non-empty.
On $α^{+}$-Stable Koenig-Egervary Graphs
Published
• View Publication
• BIB
The stability number of a graph G, is the cardinality of a stable set of maximum size in G. If the stability number of G remains the same upon the addition of any edge, then G is called $α^{+}$-stable. G is a König-Egervary graph if its order equals the sum of its stability number and the cardinality of a maximum matching. In this paper we characterize $α^{+}$-stable König-Egervary graphs, generalizing some previously known results on bipartite graphs and trees. Namely, we prove that a König-Egervary graph is $α^{+}$-stable if and only if either the set of vertices belonging to no maximum stable set is empty, or the cardinality of this set equals one, and G has a perfect matching. Using this characterization we obtain several new findings on general König-Egervary graphs, for example, the equality between the cardinalities of the set of vertices belonging to all maximum stable sets and the set of vertices belonging to no maximum stable set of G is a necessary and sufficient condition for a König-Egervary graph G to have a perfect matching.
On the Structure of $α$-Stable Graphs
Published
• View Publication
• BIB
The stability number of a graph G is the cardinality of a stability system of G (that is of a stable set of maximum size of G). A graph is alpha-stable if its stability number remains the same upon both the deletion and the addition of any edge. Trying to generalize some stable trees properties, we show that there does not exist any alpha-stable chordal graph, and we prove that: if G is a connected bipartite graph, then the following assertions are equivalent: G is alpha-stable; G can be written as a vertex disjoint union of connected bipartite graphs, each of them having exactly two stability systems covering its vertex set; G has perfect matchings and no edge belongs to all its perfect matchings; from each vertex of G are issuing at least two edges contained in some perfect matchings of G; any vertex of G lies on a cycle, whose edges are alternately in and not in some perfect matching; no vertex belongs to all stability systems of G, and no edge belongs to all its perfect matchings.
A q-analogue of the path length of binary search trees
Published
• View Publication
• BIB
A reformulation of the path length of binary search trees is given in terms of permutations, allowing to extend the definition to the instance of words, where the letters are obtained by independent geometric random variables (with parameter q). In this way, expressions for expectation and variance are obtained which in the limit for $q\to1$ are the classical expressions.
A generalization of the q-Saalschutz sum and the Burge transform
Published in in: Physical Combinatorics, M. Kashiwara and T. Miwa (eds.), Birkhäuser Boston, Cambridge, MA, 2000, pp. 163-183.
• View Publication
• BIB
A generalization of the q-(Pfaff)-Saalschutz summation formula is proved. This implies a generalization of the Burge transform, resulting in an additional dimension of the ``Burge tree''. Limiting cases of our summation formula imply the (higher-level) Bailey lemma, provide a new decomposition of the q-multinomial coefficients, and can be used to prove the Lepowsky and Primc formula for the A_1^{(1)} string functions.
Zeta Functions Of Discrete Groups Acting On Trees
Published
• View Publication
• BIB
This paper generalizes Bass' work on zeta functions for uniform tree lattices. Using the theory of von Neumann algebras, machinery is developed to define the zeta function of a discrete group of automorphisms of a bounded degree tree. The main theorems relate the zeta function to determinants of operators defined on edges or vertices of the tree. A zeta function associated to a non-uniform tree lattice with appropriate Hilbert representation is defined. Zeta functions are defined for infinite graphs with a cocompact or finite covolume group action.
A polytope related to empirical distributions, plane trees, parking functions, and the associahedron
Published
• View Publication
• BIB
We define an n-dimensional polytope Pi_n(x), depending on parameters x_i>0, whose combinatorial properties are closely connected with empirical distributions, plane trees, plane partitions, parking functions, and the associahedron. In particular, we give explicit formulas for the volume of Pi_n(x) and, when the x_i's are integers, the number of integer points in Pi_n(x). We give two polyhedral decompositions of Pi_n(x), one related to order cones of posets and the other to the associahedron.
On some extremal problems in graph theory
In this paper we are concerned with various graph invariants (girth, diameter, expansion constants, eigenvalues of the Laplacian, tree number) and their analogs for weighted graphs -- weighing the graph changes a combinatorial problem to one in analysis. We study both weighted and unweighted graphs which are extremal for these invariants. In the unweighted case we concentrate on finding extrema among all (usually) regular graphs with the same number of vertices; we also study the relationships between such graphs.
Sparse Random Matrices and Statistics of Rooted Trees
Published in Corrected and amended version: Adv. Appl. Probab. 33 (2001) 124-140
• View Publication
• BIB
We consider the ensemble of N-dimensional random symmetric matrices A that have, in average, p non-zero elements per row. We study the asymptotic behavior of the norm of A in the limit of infinitely increasing N and p. We prove that the value p= log N is the critical one for the norm to be either bounded or not. The arguments are based on the calculus of the tree-type graphs. Asymptotic properties of sparse random matrices essentially depend on the typical degree of a tree vertex that we show to be finite.
Coloring of Trees with Minimum Sum of Colors
Published
• View Publication
• BIB
The chromatic sum of a graph is the smallest sum of colors among all proper colorings with natural numbers. The strength is the minimum number of colors needed to achieve the chromatic sum. We construct for each positive integer k a tree with strength k that has maximum degree only 2k-2. The result is best possible.
Relative moduli spaces of complex structures: an example
Let M and N be even-dimensional oriented real manifolds, and $u:M \to N$ be a smooth mapping. A pair of complex structures at M and N is called u-compatible if the mapping u is holomorphic with respect to these structures. The quotient of the space of u-compatible pairs of complex structures by the group of u-equivariant pairs of diffeomorphisms of M and N is called a moduli space of u-equivariant complex structures. The paper contains a description of the fundamental group G of this moduli space in the following case: $N = CP^1, M \subset CP^2$ is a hyperelliptic genus g curve given by the equation $y^2 = Q(x)$ where Q is a generic polynomial of degree 2g+1, and $u(x,y) = y^2$. The group G is a kernel of several (equivalent) actions of the braid-cyclic group $BC_{2g}$ on 2g strands. These are: an action on the set of trees with 2g numbered edges, an action on the set of all splittings of a (4g+2)-gon into numbered nonintersecting quadrangles, and an action on a certain set of subgroups of the free group with 2g generators. $G_{2g} \subset BC_{2g}$ is a subgroup of the index $(2g+1)^{2g-2}$.
Key words: Teichmüller spaces, Lyashko-Looijenga map, braid group.
Trees and Matchings
Published in Electronic Journal of Combinatorics, 7(1):R25, 2000
• View Publication
• BIB
In this article, Temperley's bijection between spanning trees of the square grid on the one hand, and perfect matchings (also known as dimer coverings) of the square grid on the other, is extended to the setting of general planar directed (and undirected) graphs, where edges carry nonnegative weights that induce a weighting on the set of spanning trees. We show that the weighted, directed spanning trees (often called arborescences) of any planar graph G can be put into a one-to-one weight-preserving correspondence with the perfect matchings of a related planar graph H.
One special case of this result is a bijection between perfect matchings of the hexagonal honeycomb lattice and directed spanning trees of a triangular lattice. Another special case gives a correspondence between perfect matchings of the ``square-octagon'' lattice and directed weighted spanning trees on a directed weighted version of the cartesian lattice.
In conjunction with results of Kenyon, our main theorem allows us to compute the measures of all cylinder events for random spanning trees on any (directed, weighted) planar graph. Conversely, in cases where the perfect matching model arises from a tree model, Wilson's algorithm allows us to quickly generate random samples of perfect matchings.
Tree Structures: A Variational Approach to Shannon--Wiener Information
Published in "Trends in Quantum Physics", editors Krasnoholovets, Volodymyr; Columbus, Frank. ISBN: 1-59454-000-4. Pub. Date 2004
• Search Publication
Entanglement measures based on a logarithmic functional form naturally emerge in any attempt to quantify the degree of entanglement in the state of a multipartite quantum system. These measures can be regarded as generalizations of the classical Shannon-Wiener information of a probability distribution into the quantum regime. In the present work we introduce a previously unknown approach to the Shannon-Wiener information which provides an intuitive interpretation for its functional form as well as putting all entanglement measures with a similar structure into a new context: By formalizing the process of information gaining in a set-theoretical language we arrive at a mathematical structure which we call ''tree structures'' over a given set. On each tree structure, a tree function can be defined, reflecting the degree of splitting and branching in the given tree. We show in detail that the minimization of the tree function on, possibly constrained, sets of tree structures renders the functional form of the Shannon-Wiener information. This finding demonstrates that entropy-like information measures may themselves be understood as the result of a minimization process on a more general underlying mathematical structure, thus providing an entirely new interpretational framework to entropy-like measures of information and entanglement. We suggest three natural axioms for defining tree structures, which turn out to be related to the axioms describing neighbourhood topologies on a topological space. The same minimization that renders the functional form of the Shannon-Wiener information from the tree function then assigns a preferred topology to the underlying set, hinting at a deep relation between entropy-like measures and neighbourhood topologies.
Renormalization automated by Hopf algebra
Published in J.Symb.Comput. 27 (1999) 581
• View Publication
• BIB
It was recently shown that the renormalization of quantum field theory is organized by the Hopf algebra of decorated rooted trees, whose coproduct identifies the divergences requiring subtraction and whose antipode achieves this. We automate this process in a few lines of recursive symbolic code, which deliver a finite renormalized expression for any Feynman diagram. We thus verify a representation of the operator product expansion, which generalizes Chen's lemma for iterated integrals. The subset of diagrams whose forest structure entails a unique primitive subdivergence provides a representation of the Hopf algebra ${\cal H}_R$ of undecorated rooted trees. Our undecorated Hopf algebra program is designed to process the 24,213,878 BPHZ contributions to the renormalization of 7,813 diagrams, with up to 12 loops. We consider 10 models, each in 9 renormalization schemes. The two simplest models reveal a notable feature of the subalgebra of Connes and Moscovici, corresponding to the commutative part of the Hopf algebra ${\cal H}_T$ of the diffeomorphism group: it assigns to Feynman diagrams those weights which remove zeta values from the counterterms of the minimal subtraction scheme. We devise a fast algorithm for these weights, whose squares are summed with a permutation factor, to give rational counterterms.
Intersection representation of digraphs in trees with few leaves
Published
• View Publication
• BIB
The leafage of a digraph is the minimum number of leaves in a host tree in which it has a subtree intersection representation. We discuss bounds on the leafage in terms of other parameters (including Ferrers dimension), obtaining a string of sharp inequalities.
The leafage of a chordal graph
Published in Discussiones Mathematicae - Graph Theory 18(1998), 23-48
• View Publication
• BIB
The leafage l(G) of a chordal graph G is the minimum number of leaves of a tree in which G has an intersection representation by subtrees. We obtain upper and lower bounds on l(G) and compute it on special classes. The maximum of l(G) on n-vertex graphs is n - lg n - (1/2) lg lg n + O(1). The proper leafage l*(G) is the minimum number of leaves when no subtree may contain another; we obtain upper and lower bounds on l*(G). Leafage equals proper leafage on claw-free chordal graphs. We use asteroidal sets and structural properties of chordal graphs.
Spanning trees and a conjecture of Kontsevich
Published
• View Publication
• BIB
Kontsevich conjectured that the number f(G,q) of zeros over the finite field with q elements of a certain polynomial connected with the spanning trees of a graph G is polynomial function of q. We have been unable to settle Kontsevich's conjecture. However, we can evaluate f(G,q) explicitly for certain graphs G, such as the complete graph. We also point out the connection between Kontsevich's conjecture and such topics as the Matrix-Tree Theorem and orthogonal geometry.
The Wiener polynomial of a graph
Published in Internat. J. of Quantum Chem. 60 (1996), 959-969
• View Publication
• BIB
The Wiener index is a graphical invariant that has found extensive application in chemistry. We define a generating function, which we call the Wiener polynomial, whose derivative is a q-analog of the Wiener index. We study some of the elementary properties of this polynomial and compute it for some common graphs. We then find a formula for the Wiener polynomial of a dendrimer, a certain highly regular tree of interest to chemists, and show that it is unimodal. Finally, we point out a connection with the Poincare polynomial of a finite Coxeter group.
Deformations of Coxeter hyperplane arrangements
Published
• View Publication
• BIB
We investigate several hyperplane arrangements that can be viewed as deformations of Coxeter arrangements. In particular, we prove a conjecture of Linial and Stanley that the number of regions of the arrangement x_i - x_j = 1, 1 \leq i<j \leq n, is equal to the number of alternating trees on n+1 vertices. Remarkably, these numbers have several additional combinatorial interpretations in terms of binary trees, partially ordered sets, and tournaments. More generally, we give formulae for the number of regions and the Poincar'e polynomial of certain finite subarrangements of the affine Coxeter arrangement of type A_{n-1}. These formulae enable us to prove a "Riemann hypothesis" on the location of zeros of the Poincar'e polynomial. We also consider some generic deformations of Coxeter arrangements of type A_{n-1}.