arXiv++ Combinatorics

Browse math.CO papers from arXiv

tree

6861 papers tagged with this keyword
Reductions of Binary Trees and Lattice Paths induced by the Register Function
Published in Theoretical Computer Science 705 (2018), pp. 31-57 • View Publication • BIB
The register function (or Horton-Strahler number) of a binary tree is a well-known combinatorial parameter. We study a reduction procedure for binary trees which offers a new interpretation for the register function as the maximal number of reductions that can be applied to a given tree. In particular, the precise asymptotic behavior of the number of certain substructures ("branches") that occur when reducing a tree repeatedly is determined. In the same manner we introduce a reduction for simple two-dimensional lattice paths from which a complexity measure similar to the register function can be derived. We analyze this quantity, as well as the (cumulative) size of an (iteratively) reduced lattice path asymptotically.
2016-12-20 v2
Completion of tree metrics and rank-2 matrices
Published • View Publication • BIB
Motivated by applications to low-rank matrix completion, we give a combinatorial characterization of the independent sets in the algebraic matroid associated to the collection of $m\times n$ rank-2 matrices and $n\times n$ skew-symmetric rank-2 matrices. Our approach is to use tropical geometry to reduce this to a problem about phylogenetic trees which we then solve. In particular, we give a combinatorial description of the collections of pairwise distances between several taxa that may be arbitrarily prescribed while still allowing the resulting dissimilarity map to be completed to a tree metric.
Octal Games on Graphs: The game 0.33 on subdivided stars and bistars
Published • View Publication • BIB
Octal games are a well-defined family of two-player games played on heaps of counters, in which the players remove alternately a certain number of counters from a heap, sometimes being allowed to split a heap into two nonempty heaps, until no counter can be removed anymore. We extend the definition of octal games to play them on graphs: heaps are replaced by connected components and counters by vertices. Thus, an octal game on a path P\_n is equivalent to playing the same octal game on a heap of n counters. We study one of the simplest octal games, called 0.33, in which the players can remove one vertex or two adjacent vertices without disconnecting the graph. We study this game on trees and give a complete resolution of this game on subdivided stars and bistars.
2016-12-17
Inverse Limits and Topologies of Infinite Graphs
Two of the natural topologies for infinite graphs with edge-ends are Etop and Itop. In this paper, we study and characterize them. We show that Itop can be constructed by inverse limits of inverse systems of graphs with finitely many vertices. Furthermore, as an application of the inverse limit approach, we construct a topological spanning tree in Itop
2016-12-16 v4
Fundamental polytopes of metric trees via parallel connections of matroids
Published in European Journal of Combinatorics 2020 • View Publication • BIB
We tackle the problem of a combinatorial classification of finite metric spaces via their fundamental polytopes, as suggested by Vershik in 2010. In this paper we consider a hyperplane arrangement associated to every split pseudometric and, for tree-like metrics, we study the combinatorics of its underlying matroid. We give explicit formulas for the face numbers of fundamental polytopes and Lipschitz polytopes of all tree-like metrics, and we characterize the metric trees for which the fundamental polytope is simplicial.
2016-12-15
Two short proofs of the Perfect Forest Theorem
Published • View Publication • BIB
A perfect forest is a spanning forest of a connected graph $G$, all of whose components are induced subgraphs of $G$ and such that all vertices have odd degree in the forest. A perfect forest generalised a perfect matching since, in a matching, all components are trees on one edge. Scott first proved the Perfect Forest Theorem, namely, that every connected graph of even order has a perfect forest. Gutin then gave another proof using linear algebra. We give here two very short proofs of the Perfect Forest Theorem which use only elementary notions from graph theory. Both our proofs yield polynomial-time algorithms for finding a perfect forest in a connected graph of even order.
2016-12-14 v3
Online Sum-Paintability: Slow-Coloring of Trees
Published • View Publication • BIB
The slow-coloring game is played by Lister and Painter on a graph $G$. On each round, Lister marks a nonempty subset $M$ of the remaining vertices, scoring $|M|$ points. Painter then gives a color to a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. Painter's goal is to minimize the total score; Lister seeks to maximize it. The score that each player can guarantee doing no worse than is the sum-color cost of $G$, written $\mathring{\rm s}(G)$. We develop a linear-time algorithm to compute $\mathring{\rm s}(G)$ when $G$ is a tree, enabling us to characterize the $n$-vertex trees with the largest and smallest values. Our algorithm also computes on trees the interactive sum choice number, a parameter recently introduced by Bonamy and Meeks.
2016-12-12 v3
Abstract matrix-tree theorem
The classical matrix-tree theorem discovered by G.Kirchhoff in 1847 relates the principal minor of the nxn Laplace matrix to a particular sum of monomials of matrix elements indexed by directed trees with n vertices and a single sink. In this paper we consider a generalization of this statement: for any k \ge n we define a degree k polynomial det_{n,k} of matrix elements and prove that this polynomial applied to the Laplace matrix gives a sum of monomials indexed by acyclic graphs with n vertices and k edges.
2016-12-11
On Jacobian group and complexity of the generalized Petersen graph GP(n,k) through Chebyshev polynomials
Published • View Publication • BIB
In the present paper we find a simple algorithm for counting Jacobian group of the generalized Petersen graph GP(n,k). Also, we obtain a closed formula for the number of spanning trees of this graph in terms of Chebyshev polynomials.
2016-12-08 v2
Limits of random tree-like discrete structures
Published • View Publication • BIB
We study a model of random $\mathcal{R}$-enriched trees that is based on weights on the $\mathcal{R}$-structures and allows for a unified treatment of a large family of random discrete structures. We establish distributional limits describing local convergence around fixed and random points in this general context, limit theorems for component sizes when $\mathcal{R}$ is a composite class, and a Gromov--Hausdorff scaling limit of random metric spaces patched together from independently drawn metrics on the $\mathcal{R}$-structures. Our main applications treat a selection of examples encompassed by this model. We consider random outerplanar maps sampled according to arbitrary weights assigned to their inner faces, and classify in complete generality distributional limits for both the asymptotic local behaviour near the root-edge and near a uniformly at random drawn vertex. We consider random connected graphs drawn according to weights assigned to their blocks and establish a Benjamini--Schramm limit. We also apply our framework to recover in a probabilistic way a central limit theorem for the size of the largest $2$-connected component in random graphs from planar-like classes. We prove Benjamini--Schramm convergence of random $k$-dimensional trees and establish both scaling limits and local weak limits for random planar maps drawn according to Boltzmann-weights assigned to their $2$-connected components.
Center, centroid and subtree core of trees
Published • View Publication • BIB
For $n\geq 5$ and $2\leq g\leq n-3,$ consider the tree $P_{n-g,g}$ on $n$ vertices which is obtained by adding $g$ pendant vertices to one degree $1$ vertex of the path $P_{n-g}$. We call the trees $P_{n-g,g}$ as path-star trees. We prove that over all trees on $n\geq 5$ vertices, the distance between center and subtree core and the distance between centroid and subtree core are maximized by some path-star trees. We also prove that the tree $P_{n-g_0,g_0}$ maximizes both the distances among all path-star trees on $n$ vertices, where $g_0$ is the smallest positive integer such that $2^{g_0}+g_0>n-1.$
2016-12-06
Tree Matchings
Published • View Publication • BIB
An $(s,t)$-matching in a bipartite graph $G=(U,V,E)$ is a subset of the edges $F$ such that each component of $G[F]$ is a tree with at most $t$ edges and each vertex in $U$ has $s$ neighbours in $G[H]$. We give sharp conditions for a bipartite graph to contain an $(s,t)$-matching. As a special case, we prove a conjecture of Bonacina, Galesi, Huynh and Wollan \cite{CNF}.
2016-12-05 v2
Extremal regular graphs: the case of the infinite regular tree
In this paper we study the following problem. Let $A$ be a fixed graph, and let $\hom(G,A)$ denote the number of homomorphisms from a graph $G$ to $A$. Furthermore, let $v(G)$ denote the number of vertices of $G$, and let $\mathcal{G}_d$ denote the family of $d$--regular graphs. The general problem studied in this paper is to determine $$\inf_{G\in \mathcal{G}_d}\hom(G,A)^{1/v(G)}.$$ It turns out that in many instances the infimum is not achieved by a finite graph, but a sequence of graphs with girth (i. e., length of the shortest cycle) tending to infinity. In other words, the optimization problem is solved by the infinite $d$--regular tree. We prove this type of results for the number of independent sets of bipartite graphs, evaluations of the Tutte-polynomial, Widom-Rowlinson configurations, and many more graph parameters. Our main tool will be a transformation called $2$-lift.
The Bandwidth Theorem in Sparse Graphs
Published in Advances in Combinatorics, 2020:6, 60pp • View Publication • BIB
The bandwidth theorem [Mathematische Annalen, 343(1):175--205, 2009] states that any $n$-vertex graph $G$ with minimum degree $\big(\tfrac{k-1}{k}+o(1)\big)n$ contains all $n$-vertex $k$-colourable graphs $H$ with bounded maximum degree and bandwidth $o(n)$. We provide sparse analogues of this statement in random graphs as well as pseudorandom graphs. More precisely, we show that for $p\gg \big(\tfrac{\log n}{n}\big)^{1/Δ}$ asymptotically almost surely each spanning subgraph $G$ of $G(n,p)$ with minimum degree $\big(\tfrac{k-1}{k}+o(1)\big)pn$ contains all $n$-vertex $k$-colourable graphs $H$ with maximum degree $Δ$, bandwidth $o(n)$, and at least $C p^{-2}$ vertices not contained in any triangle. A similar result is shown for sufficiently bijumbled graphs, which, to the best of our knowledge, is the first resilience result in pseudorandom graphs for a rich class of spanning subgraphs. Finally, we provide improved results for $H$ with small degeneracy, which in particular imply a resilience result in $G(n,p)$ with respect to the containment of spanning bounded degree trees for $p\gg \big(\tfrac{\log n}{n}\big)^{1/3}$.
A robust generalization of the Legendre transform for QFT
Published in Journal of Physics A: Mathematical and Theoretical, Volume 50, Number 22, 2017 • View Publication • BIB
Although perturbative quantum field theory is highly successful, it possesses a number of well-known analytic problems, from ultraviolet and infrared divergencies to the divergence of the perturbative expansion itself. As a consequence, it has been difficult, for example, to prove with full rigor that the Legendre transform of the quantum effective action is the generating functional of connected graphs. Here, we give a rigorous proof of this central fact. To this end, we show that the Legendre transform can be re-defined purely combinatorially and that it ultimately reduces to a simple homological relation, the Euler characteristic for tree graphs. This result suggests that, similarly, also the quantum field theoretic path integral, being a Fourier transform, may be reducible to an underlying purely algebraic structure.
Monochromatic trees in random graphs
Published in Math. Proc. Camb. Phil. Soc. 166 (2019) 191-208 • View Publication • BIB
Bal and DeBiasio [Partitioning random graphs into monochromatic components, Electron. J. Combin. 24 (2017), Paper 1.18] put forward a conjecture concerning the threshold for the following Ramsey-type property for graphs $G$: every $k$-colouring of the edge set of $G$ yields $k$ pairwise vertex disjoint monochromatic trees that partition the whole vertex set of $G$. We determine the threshold for this property for two colours.
2016-11-29 v2
Geometry of $ν$-Tamari lattices in types $A$ and $B$
Published • View Publication • BIB
In this paper, we exploit the combinatorics and geometry of triangulations of products of simplices to derive new results in the context of Catalan combinatorics of $ν$-Tamari lattices. In our framework, the main role of "Catalan objects" is played by $(I,\overline{J})$-trees: bipartite trees associated to a pair $(I,\overline{J})$ of finite index sets that stand in simple bijection with lattice paths weakly above a lattice path $ν=ν(I,\overline{J})$. Such trees label the maximal simplices of a triangulation whose dual polyhedral complex gives a geometric realization of the $ν$-Tamari lattice introduced by Prévile-Ratelle and Viennot. In particular, we obtain geometric realizations of $m$-Tamari lattices as polyhedral subdivisions of associahedra induced by an arrangement of tropical hyperplanes, giving a positive answer to an open question of F.~Bergeron. The simplicial complex underlying our triangulation endows the $ν$-Tamari lattice with a full simplicial complex structure. It is a natural generalization of the classical simplicial associahedron, alternative to the rational associahedron of Armstrong, Rhoades and Williams, whose $h$-vector entries are given by a suitable generalization of the Narayana numbers. Our methods are amenable to cyclic symmetry, which we use to present type $B$ analogues of our constructions. Notably, we define a partial order that generalizes the type $B$ Tamari lattice, introduced independently by Thomas and Reading, along with corresponding geometric realizations.
2016-11-28 v2
Nordhaus-Gaddum-type theorem for total proper connection number of graphs
Published • View Publication • BIB
A graph is said to be \emph{total-colored} if all the edges and the vertices of the graph are colored. A path $P$ in a total-colored graph $G$ is called a \emph{total-proper path} if $(i)$ any two adjacent edges of $P$ are assigned distinct colors; $(ii)$ any two adjacent internal vertices of $P$ are assigned distinct colors; $(iii)$ any internal vertex of $P$ is assigned a distinct color from its incident edges of $P$. The total-colored graph $G$ is \emph{total-proper connected} if any two distinct vertices of $G$ are connected by a total-proper path. The \emph{total-proper connection number} of a connected graph $G$, denoted by $tpc(G)$, is the minimum number of colors that are required to make $G$ total-proper connected. In this paper, we first characterize the graphs $G$ on $n$ vertices with $tpc(G)=n-1$. Based on this, we obtain a Nordhaus-Gaddum-type result for total-proper connection number. We prove that if $G$ and $\overline{G}$ are connected complementary graphs on $n$ vertices, then $6\leq tpc(G)+tpc(\overline{G})\leq n+2$. Examples are given to show that the lower bound is sharp for $n\geq 4$. The upper bound is reached for $n\geq 5$ if and only if $G$ or $\overline{G}$ is the tree with maximum degree $n-2$.
2016-11-28
Trees with distinguishing number two
Published • View Publication • BIB
The distinguishing number $D(G)$ of a graph $G$ is the least integer $d$ such that $G$ has a vertex labeling with $d$ labels that is preserved only by a trivial automorphism. In this paper we characterize all trees with radius at most three and distinguishing number two. Also we present a necessary condition for trees with distinguishing number two and radius more than three.
2016-11-27
Extremal Restraints for Graph Colourings
Published in J. Combin. Math. Combin. Comput. 93 (2015), pp. 297-304 • Search Publication
A {\em restraint} on a (finite undirected) graph $G = (V,E)$ is a function $r$ on $V$ such that $r(v)$ is a finite subset of ${\mathbb N}$; a proper vertex colouring $c$ of $G$ is {\em permitted} by $r$ if $c(v) \not\in r(v)$ for all vertices $v$ of $G$ (we think of $r(v)$ as the set of colours {\em forbidden} at $v$). Given a large number of colors, for restraints $r$ with exactly one colour forbidden at each vertex the smallest number of colorings is permitted when $r$ is a constant function, but the problem of what restraints permit the largest number of colourings is more difficult. We determine such extremal restraints for complete graphs and trees.