tree
6861 papers tagged with this keyword
On the number of unary-binary tree-like structures with restrictions on the unary height
Published
• View Publication
• BIB
We consider various classes of Motzkin trees as well as lambda-terms for which we derive asymptotic enumeration results. These classes are defined through various restrictions concerning the unary nodes or abstractions, respectively: We either bound their number or the allowed levels of nesting. The enumeration is done by means of a generating function approach and singularity analysis. The generating functions are composed of nested square roots and exhibit unexpected phenomena in some of the cases. Furthermore, we present some observations obtained from generating such terms randomly and explain why usually powerful tools for random generation, such as Boltzmann samplers, face serious difficulties in generating lambda-terms.
Permanent index of matrices associated with graphs
Published
• View Publication
• BIB
A total weighting of a graph $G$ is a mapping $f$ which assigns to each element $z \in V(G) \cup E(G)$ a real number $f(z)$ as its weight. The vertex sum of $v$ with respect to $f$ is $φ_f(v)=\sum_{e \in E(v)}f(e)+f(v)$. A total weighting is proper if $φ_f(u) \ne φ_f(v)$ for any edge $uv$ of $G$. A $(k,k')$-list assignment is a mapping $L$ which assigns to each vertex $v$ a set $L(v)$ of $k$ permissible weights, and assigns to each edge $e$ a set $L(e)$ of $k'$ permissible weights. We say $G$ is $(k,k')$-choosable if for any $(k,k')$-list assignment $L$, there is a proper total weighting $f$ of $G$ with $f(z) \in L(z)$ for each $z \in V(G) \cup E(G)$. It was conjectured in [T. Wong and X. Zhu, Total weight choosability of graphs, J. Graph Theory 66 (2011), 198-212] that every graph is $(2,2)$-choosable and every graph with no isolated edge is $(1,3)$-choosable. A promising tool in the study of these conjectures is Combinatorial Nullstellensatz. This approach leads to conjectures on the permanent indices of matrices
$A_G$ and $B_G$ associated to a graph $G$. In this paper, we establish a method that reduces the study of permanent of matrices associated to a graph $G$ to the study of permanent of matrices associated to induced subgraphs of $G$. Using this reduction method, we show that if $G$ is a subcubic graph, or a $2$-tree, or a Halin graph, or a grid, then $A_G$ has permanent index $1$. As a consequence, these graphs are $(2,2)$-choosable. \end{abstract} {\small \noindent{{\bf Key words: } Permanent index, matrix, total weighting}
A zero-free interval for chromatic polynomials of graphs with 3-leaf spanning trees
Published
• View Publication
• BIB
It is proved that if $G$ is a graph containing a spanning tree with at most three leaves, then the chromatic polynomial of $G$ has no roots in the interval $(1,t_1]$, where $t_1 \approx 1.2904$ is the smallest real root of the polynomial $(t-2)^6 +4(t-1)^2(t-2)^3 -(t-1)^4$. We also construct a family of graphs containing such spanning trees with chromatic roots converging to $t_1$ from above. We employ the Whitney $2$-switch operation to manage the analysis of an infinite class of chromatic polynomials.
On trees with the same restricted U-polynomial and the Prouhet-Tarry-Escott problem
This paper focuses on the well-known problem due to Stanley of whether two non-isomorphic trees can have the same $U$-polynomial (or, equivalently, the same chromatic symmetric function). We consider the $U_k$-polynomial, which is a restricted version of $U$-polynomial, and construct with the help of solutions of the Prouhet-Tarry-Escott problem, non-isomorphic trees with the same $U_k$-polynomial for any given $k$. By doing so, we also find a new class of trees that are distinguished by the $U$-polynomial up to isomorphism.
Distances and Trees in Dense Subsets of $\mathbb{Z}^d$
Published
• View Publication
• BIB
In \cite{FKW} Katznelson and Weiss establish that all sufficiently large distances can always be attained between pairs of points from any given measurable subset of $\mathbb{R}^2$ of positive upper (Banach) density. A second proof of this result, as well as a stronger "pinned variant", was given by Bourgain in \cite{B} using Fourier analytic methods. In \cite{M1} the second author adapted Bourgain's Fourier analytic approach to established a result analogous to that of Katznelson and Weiss for subsets $\mathbb{Z}^d$ provided $d\geq 5$. We present a new direct proof of this discrete distance set result and generalize this to arbitrary trees. Using appropriate discrete spherical maximal function theorems we ultimately establish the natural "pinned variants" of these results.
A weighted cellular matrix-tree theorem, with applications to complete colorful and cubical complexes
Published in J. Combin. Theory Ser. A. 158 (2018), 362-386
• View Publication
• BIB
We present a version of the weighted cellular matrix-tree theorem that is suitable for calculating explicit generating functions for spanning trees of highly structured families of simplicial and cell complexes. We apply the result to give weighted generalizations of the tree enumeration formulas of Adin for complete colorful complexes, and of Duval, Klivans and Martin for skeleta of hypercubes. We investigate the latter further via a logarithmic generating function for weighted tree enumeration, and derive another tree-counting formula using the unsigned Euler characteristics of skeleta of a hypercube and the Crapo $β$-invariant of uniform matroids.
The combinatorics of Green's functions in planar field theories
Published in Springer's Frontiers of Physics, 11(6), 110310 (2016)
• View Publication
• BIB
The aim of this work is to outline in some detail the use of combinatorial algebra in planar quantum field theory. Particular emphasis is given to the relations between the different types of planar Green's functions. The key object is a Hopf algebra which is naturally defined on non-commuting sources, and the fact that its genuine unshuffle coproduct splits into left- and right unshuffle half-coproduts. The latter give rise to the notion of unshuffle bialgebra. This setting allows to describe the relation between planar full and connected Green's functions by solving a simple linear fixed point equation. A modification of this linear fixed point equation gives rise to the relation between planar connected and one-particle irreducible Green's functions. The graphical calculus that arises from this approach also leads to a new understanding of functional calculus in planar QFT, whose rules for differentiation with respect to non-commuting sources can be translated into the language of growth operations on planar rooted trees. We also include a brief outline of our approach in the framework of non-planar theories.
Postnikov-Shapiro Algebras, Graphical Matroids and their generalizations
In this paper we consider the original and different generalizations of Postnikov-Shapiro algebra which enumerate forests and trees of graphs, see~\cite{PSh}. Our main result is that the algebra counting forests depends only on graphical matroid and converse. Also we generalize algebras for a hypergraph. For this, we define spanning forests and trees of a hypergraph and the corresponding "hypergraphical" matroid. We present $3$ different equivalent definitions of spanning forests and trees, which can be read independently from other parts of the paper.
Definability Equals Recognizability for $k$-Outerplanar Graphs
One of the most famous algorithmic meta-theorems states that every graph property that can be defined by a sentence in counting monadic second order logic (CMSOL) can be checked in linear time for graphs of bounded treewidth, which is known as Courcelle's Theorem. These algorithms are constructed as finite state tree automata, and hence every CMSOL-definable graph property is recognizable. Courcelle also conjectured that the converse holds, i.e. every recognizable graph property is definable in CMSOL for graphs of bounded treewidth. We prove this conjecture for $k$-outerplanar graphs, which are known to have treewidth at most $3k-1$.
Caminos de Dyck contenidos en un diagrama de Ferrers
We consider the problem of counting subset of Dyck paths contained in a Ferrers diagram. This enumeration concerns to find the number of the elements in a branch of the Kréwéras tree. Using the Ferrers diagrams associated with Dyck paths, we have developed methods of comparison and decomposition diagrams to obtain enumerative formulas in terms of Catalan numbers. These methods have been developed in the form of algorithms and SAGE coded for verification.
-----
Se considerara el problema de contar el subconjunto de caminos de Dyck contenido en un diagrama de Ferrers. Esta enumeración atañe al conteo de los elementos en una rama del árbol de Kréwéras. Mediante el uso de diagramas de Ferrers asociados a los caminos de Dyck, hemos desarrollado métodos de comparación y de descomposición de diagramas para obtener fórmulas enumerativas en términos de números de Catalan. Estos métodos han sido desarrollados en forma de algoritmos y codificados en SAGE para su verificación.
Decomposing highly edge-connected graphs into paths of any given length
Published
• View Publication
• BIB
In 2006, Barát and Thomassen posed the following conjecture: for each tree $T$, there exists a natural number $k_T$ such that, if $G$ is a $k_T$-edge-connected graph and $|E(G)|$ is divisible by $|E(T)|$, then $G$ admits a decomposition into copies of $T$. This conjecture was verified for stars, some bistars, paths of length $3$, $5$, and $2^r$ for every positive integer $r$. We prove that this conjecture holds for paths of any fixed length.
Gray coding planar maps
Published
• View Publication
• BIB
The idea of (combinatorial) Gray codes is to list objects in question in such a way that two successive objects differ in some pre-specified small way. In this paper, we utilize beta-description trees to cyclicly Gray code three classes of cubic planar maps, namely, bicubic planar maps, 3-connected cubic planar maps, and cubic non-separable planar maps.
On the spectrum of the normalized Laplacian of iterated triangulations of graphs
Published in Applied Mathematics and Computation, 2016, 273:1123-1129
• View Publication
• BIB
The eigenvalues of the normalized Laplacian of a graph provide information on its topological and structural characteristics and also on some relevant dynamical aspects, specifically in relation to random walks. In this paper we determine the spectra of the normalized Laplacian of iterated triangulations of a generic simple connected graph. As an application, we also find closed-forms for their multiplicative degree-Kirchhoff index, Kemeny's constant and number of spanning trees.
On the Stanley depth of powers of edge ideals
Published
• View Publication
• BIB
Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Let $G$ be a graph with $n$ vertices. Assume that $I=I(G)$ is the edge ideal of $G$ and $p$ is the number of its bipartite connected components. We prove that for every positive integer $k$, the inequalities ${\rm sdepth}(I^k/I^{k+1})\geq p$ and ${\rm sdepth}(S/I^k)\geq p$ hold. As a consequence, we conclude that $S/I^k$ satisfies the Stanley's inequality for every integer $k\geq n-1$. Also, it follows that $I^k/I^{k+1}$ satisfies the Stanley's inequality for every integer $k\gg 0$. Furthermore, we prove that if (i) $G$ is a non-bipartite graph, or (ii) at least one of the connected components of $G$ is a tree with at least one edge, then $I^k$ satisfies the Stanley's inequality for every integer $k\geq n-1$. Moreover, we verify a conjecture of the author in special cases.
Noetherianity and rooted trees
Let T be the category whose objects are rooted trees and morphisms are order embeddings preserving the root. We prove that finitely generated representations of T are Noetherian using techniques developed by Sam and Snowden which generalize classical Grobner theory. The proof uses a relative version of Kruskals tree Theorem.
Counting tanglegrams with species
Published
• View Publication
• BIB
A tanglegram is a pair of binary trees with the same set of leaves. Unlabeled tanglegrams were counted recently by Billey, Konvalinka, and Matsen, who also proposed the problem of counting several variations of unlabeled tanglegrams (unordered and unrooted tanglegrams). We use the theory of combinatorial species to solve these problems.
A Chip-Firing Game on the Product of Two Graphs and the Tropical Picard Group
Published in The Electronic Journal of Combinatorics 24.4 (2017): P4.14
• View Publication
• BIB
In his preprint https://arxiv.org/abs/1308.3813, Cartwright introduced the notion of a weak tropical complex in order to generalize the concepts of divisors and the Picard group on graphs from Baker and Norine's paper Riemann-Roch and Abel-Jacobi Theory on a Finite Graph. A tropical complex $Γ$ is a $Δ$-complex equipped with certain algebraic data. Divisors in a tropical complex are formal linear combinations of ridges, and piecewise-linear functions on a tropical complex give rise in a natural way to divisors. Divisors that arise from PL-functions are called principal, and divisors that are locally principal are called Cartier. Two divisors that differ by a principal divisor are said to be linearly equivalent. The linear equivalence classes of Cartier divisors on a tropical complex $Γ$ form a group called the Picard group of $Γ$, by analogy to the definition of the Picard group of a variety in algebraic geometry.
Every graph has a unique tropical complex structure. If $G$ and $H$ are graphs, and $Γ$ is a triangulation of their product, then $Γ$ has a weak tropical complex structure that is compatible with the tropical complex structures on $G$ and $H$. Thus, divisors on $Γ$ can be thought of as states in a higher-dimensional chip-firing game on $Γ$. Cartwright conjectured that the Picard groups of $Γ$, $G$, and $H$ were closely related. Let $Pic(Γ)$ be the tropical Picard group of $Γ$, and $Pic(G)$ and $Pic(H)$ be the tropical Picard groups of $G$ and $H$. Then, it was conjectured that there is a map $γ: Pic(G) \times Pic(H) \to Pic(Γ)$ that is always injective and is surjective if at least one of $G$ or $H$ is a tree.
In this paper, we prove the conjecture. In preparation, we discuss some basic properties of tropical complexes, along with some properties specific to the product-of-graphs case.
On edge-decomposition of cubic graphs into copies of the double-star with four edges
A tree containing exactly two non-pendant vertices is called a double-star. Let $k_1$ and $k_2$ be two positive integers. The double-star with degree sequence $(k_1+1, k_2+1, 1, \ldots, 1)$ is denoted by $S_{k_1, k_2}$. If $G$ is a cubic graph and has an $S$-decomposition, for a double-star $S$, then $S$ is isomorphic to $S_{1,1}$, $S_{1,2}$ or $S_{2,2}$. It is known that a cubic graph has an $S_{1,1}$-decomposition if and only if it contains a perfect matching. In this paper we study the $S_{1,2}$-decomposition of cubic graphs. First, we present some necessary conditions for the existence of an $S_{1,2}$-decomposition in cubic graphs. Then we prove that every $\{C_3, C_5, C_7\}$-free cubic graph of order $n$ with $α(G)= \frac{3n}{8}$ has an $S_{1,2}$-decomposition, where $α(G)$ denotes the independence number of $G$. Finally, we obtain some results on the $S_{1,r-1}$-decomposition of $r$-regular graphs.
Nested Recurrence Relations With Conolly-Like Solutions
Published in SIAM J. Discrete Mathematics, 26 2012, pp. 206-238 (33 pages)
• View Publication
• BIB
A nondecreasing sequence of positive integers is $(α,β)$-Conolly, or Conolly-like for short, if for every positive integer $m$ the number of times that $m$ occurs in the sequence is $α+ βr_m$, where $r_m$ is $1$ plus the 2-adic valuation of $m$. A recurrence relation is $(α, β)$-Conolly if it has an $(α, β)$-Conolly solution sequence. We discover that Conolly-like sequences often appear as solutions to nested (or meta-Fibonacci) recurrence relations of the form $A(n) = \sum_{i=1}^k A(n-s_i-\sum_{j=1}^{p_i} A(n-a_{ij}))$ with appropriate initial conditions. For any fixed integers $k$ and $p_1,p_2,\ldots, p_k$ we prove that there are only finitely many pairs $(α, β)$ for which $A(n)$ can be $(α, β)$-Conolly. For the case where $α=0$ and $β=1$, we provide a bijective proof using labelled infinite trees to show that, in addition to the original Conolly recurrence, the recurrence $H(n)=H(n-H(n-2)) + H(n-3-H(n-5))$ also has the Conolly sequence as a solution. When $k=2$ and $p_1=p_2$, we construct an example of an $(α,β)$-Conolly recursion for every possible ($α,β)$ pair, thereby providing the first examples of nested recursions with $p_i>1$ whose solutions are completely understood. Finally, in the case where $k=2$ and $p_1=p_2$, we provide an if and only if condition for a given nested recurrence $A(n)$ to be $(α,0)$-Conolly by proving a very general ceiling function identity.
Dimensionally Exponential Lower Bounds on the $L^p$ Norms of the Spherical Maximal Operator for Cartesian Powers of Finite Trees and Related Graphs
Let $T$ be a finite tree graph, $T^N$ be the Cartesian power graph of $T$, and $d^N$ be the graph distance metric on $T^N$. Also let \[ \mathbb S_r^N(x) := \{v \in T^N: d^N(x,v) = r\} \] be the sphere of radius $r$ centered at $x$ and $M$ be the spherical maximal averaging operator on $T^N$ given by \[ Mf(x) := \sup_{\substack{r \geq 0 \\ \mathbb S_r^N(x) \neq \emptyset}} \frac{1}{|\mathbb S_r^N(x)|} |\sum_{\mathbb S_r^N(x)} f(y)|. \] We will show that for any fixed $1 \leq p \leq \infty$, the $L^p$ operator norm of $M$, i.e. \[ \|M\|_p := \sup_{\|f\|_p = 1} \|Mf\|_p, \] grows exponentially in the dimension $N$. In particular, if $r$ is the probability that a random vertex of $T$ is a leaf, then $\|M\|_p \geq r^{-N/p}$, although this is not a sharp bound.
This exponential growth phenomenon extends to a class of graphs strictly larger than trees, which we will call \emph{global antipode graphs}. This growth result stands in contrast to the work of Greenblatt, Harrow, Kolla, Krause, and Schulman that proved that the spherical maximal $L^p$ bounds (for $p > 1$) are dimension-independent for finite cliques.