tree
6737 papers tagged with this keyword
Nonexistence of Efficient Dominating Sets in the Cayley Graphs Generated by Transposition Trees of Diameter 3
Published
• View Publication
• BIB
Let $d,n$ be positive integers such that $d<n$, and let $X^d_n$ be a Cayley graph generated by a transposition tree of diameter $d$. It is known that every $X^d_n$ with $d<3$ splits into efficient dominating sets. The main result of this paper is that $X^3_n$ does not have efficient dominating sets.
Exact distance coloring in trees
Published in Combinatorics, Probability and Computing 28(2) (2019), 177-186
• View Publication
• BIB
For an integer $q\ge 2$ and an even integer $d$, consider the graph obtained from a large complete $q$-ary tree by connecting with an edge any two vertices at distance exactly $d$ in the tree. This graph has clique number $q+1$, and the purpose of this short note is to prove that its chromatic number is $Θ\big(\tfrac{d \log q}{\log d}\big)$. It was not known that the chromatic number of this graph grows with $d$. As a simple corollary of our result, we give a negative answer to a problem of van den Heuvel and Naserasr, asking whether there is a constant $C$ such that for any odd integer $d$, any planar graph can be colored with at most $C$ colors such that any pair of vertices at distance exactly $d$ have distinct colors. Finally, we study interval coloring of trees (where vertices at distance at least $d$ and at most $cd$, for some real $c>1$, must be assigned distinct colors), giving a sharp upper bound in the case of bounded degree trees.
Configuration spaces of graphs with certain permitted collisions
Published
• View Publication
• BIB
If $G$ is a graph with vertex set $V$, let Conf$_n^{\text{sink}}(G,V)$ be the space of $n$-tuples of points on $G$, which are only allowed to overlap on elements of $V$. We think of Conf$_n^{\text{sink}}(G,V)$ as a configuration space of points on $G$, where points are allowed to collide on vertices. In this paper, we attempt to understand these spaces from two separate, but closely related, perspectives. Using techniques of combinatorial topology we compute the fundamental groups and homology groups of Conf$_n^{\text{sink}}(G,V)$ in the case where $G$ is a tree. Next, we use techniques of asymptotic algebra to prove statements about Conf$_n^{\text{sink}}(G,V)$, for general graphs $G$, whenever $n$ is sufficiently large. It is proven that, for general graphs, the homology groups exhibit generalized representation stability in the sense of previous work of the author.
On packing chromatic number of subcubic outerplanar graphs
Published
• View Publication
• BIB
Although it has recently been proved that the packing chromatic number is unbounded on the class of subcubic graphs, there exists subclasses in which the packing chromatic number is finite (and small). These subclasses include subcubic trees, base-3 Sierpi{ń}ski graphs and hexagonal lattices.In this paper we are interested in the packing chromatic number of subcubic outerplanar graphs. We provide asymptotic bounds depending on structural properties of the outerplanar graphs and determine sharper bounds for some classes of subcubic outerplanar graphs.
Non-crossing Monotone Paths and Binary Trees in Edge-ordered Complete Geometric Graphs
Published
• View Publication
• BIB
An edge-ordered graph is a graph with a total ordering of its edges. A path $P=v_1v_2\ldots v_k$ in an edge-ordered graph is called increasing if $(v_iv_{i+1}) > (v_{i+1}v_{i+2})$ for all $i = 1,\ldots,k-2$; it is called decreasing if $(v_iv_{i+1}) < (v_{i+1}v_{i+2})$ for all $i = 1,\ldots,k-2$. We say that $P$ is monotone if it is increasing or decreasing. A rooted tree $T$ in an edge-ordered graph is called monotone if either every path from the root of to a leaf is increasing or every path from the root to a leaf is decreasing.
Let $G$ be a graph. In a straight-line drawing $D$ of $G$, its vertices are drawn as different points in the plane and its edges are straight line segments. Let $\overlineα(G)$ be the maximum integer such that every edge-ordered straight-line drawing of $G$ %under any edge labeling contains a monotone non-crossing path of length $\overlineα(G)$. Let $\overlineτ(G)$ be the maximum integer such that every edge-ordered straight-line drawing of $G$ %under any edge labeling contains a monotone non-crossing complete binary tree of size $\overlineτ(G)$. In this paper we show that $\overline α(K_n) = Ω(\log\log n)$, $\overline α(K_n) = O(\log n)$, $\overline τ(K_n) = Ω(\log\log \log n)$ and $\overline τ(K_n) = O(\sqrt{n \log n})$.
On trees with real rooted independence polynomial
Published
• View Publication
• BIB
The independence polynomial of a graph $G$ is \[I(G,x)=\sum\limits_{k\ge 0}i_k(G)x^k,\] where $i_k(G)$ denotes the number of independent sets of $G$ of size $k$ (note that $i_0(G)=1$). In this paper we show a new method to prove real-rootedness of the independence polynomials of certain families of trees.
In particular we will give a new proof of the real-rootedness of the independence polynomials of centipedes (Zhu's theorem), caterpillars (Wang and Zhu's theorem), and we will prove a conjecture of Galvin and Hilyard about the real-rootedness of the independence polynomial of the so-called Fibonacci trees.
On enumeration of tree-rooted planar cubic maps. II
In the work [4] tree-rooted planar cubic maps with marked directed edge (not in this tree) were enumerated. The number of such objects with $2n$ vertices is $C_{2n}\cdot C_{n+1}$, where $C_k$ is Catalan number. In this work a marked directed edge is not demanded, i.e. we enumerate tree-rooted planar cubic maps. Formulas are more complex, of course, but not significantly.
Positive Geometries and Canonical Forms
Published
• View Publication
• BIB
Recent years have seen a surprising connection between the physics of scattering amplitudes and a class of mathematical objects--the positive Grassmannian, positive loop Grassmannians, tree and loop Amplituhedra--which have been loosely referred to as "positive geometries". The connection between the geometry and physics is provided by a unique differential form canonically determined by the property of having logarithmic singularities (only) on all the boundaries of the space, with residues on each boundary given by the canonical form on that boundary. In this paper we initiate an exploration of "positive geometries" and "canonical forms" as objects of study in their own right in a more general mathematical setting. We give a precise definition of positive geometries and canonical forms, introduce general methods for finding forms for more complicated positive geometries from simpler ones, and present numerous examples of positive geometries in projective spaces, Grassmannians, and toric, cluster and flag varieties. We also illustrate a number of strategies for computing canonical forms which yield interesting representations for the forms associated with wide classes of positive geometries, ranging from the simplest Amplituhedra to new expressions for the volume of arbitrary convex polytopes.
Toward an enumeration of unlabeled trees
We present an algorithm that, on input $n$, lists every unlabeled tree of order $n$.
A trinity of duality: non-separable planar maps, $β$-(1,0) trees and synchronized intervals
Published in Adv. Appl. Math. 95 (2018) 1-30
• View Publication
• BIB
The dual of a map is a fundamental construction on combinatorial maps, but many other combinatorial objects also possess their notion of duality. For instance, the Tamari lattice is isomorphic to its order dual, which induces an involution on the set of so-called "synchronized intervals" introduced by Préville-Ratelle and the present author. Another example is the class of $β$-(1,0) trees, which has a mysterious involution $h$ proposed by Claesson, Kitaev and Steingrímsson (2009). These two classes of combinatorial objects are all in bijection with the class of non-separable planar maps, which is closed by map duality. In this article, we show that we can identify the notions of duality in these three classes of objects using previously known natural bijections, which leads to a bijective proof of a result from Kitaev and de Mier (2013). We also discuss how various statistics are transferred by duality and by the bijections we used.
The $(p,q)$ property in families of $d$-intervals and $d$-trees
Given integers $p\ge q>1$, a family of sets satisfies the $(p,q)$ property if among any $p$ members of it some $q$ intersect. We prove that for any fixed integer constants $p\ge q>1$, a family of $d$-intervals satisfying the $(p,q)$ property can be pierced by $O(d^{\frac{q}{q-1}})$ points, with constants depending only on $p$ and $q$. This extends results of Tardos, Kaiser and Alon for the case $q=2$, and of Kaiser and Rabinovich for the case $p=q=\lceil log_2(d+2) \rceil$. We further show that similar bounds hold in families of subgraphs of a tree or a graph of bounded tree-width, each consisting of at most $d$ connected components, extending results of Alon for the case $q=2$. Finally, we prove an upper bound of $O(d^{\frac{1}{p-1}})$ on the fractional piercing number in families of $d$-intervals satisfying the $(p,p)$ property, and show that this bound is asymptotically sharp.
Equitable Colorings of $K\_4$-minor-free Graphs
Published
• View Publication
• BIB
We demonstrate that for every positive integer $Δ$, every K\_4-minor-free graph with maximum degree $Δ$ admits an equitable coloring with k colors wherek $\ge$ ($Δ$+3)/2. This bound is tight and confirms a conjecture by Zhang and Whu. We do not use the discharging method but rather exploit decomposition trees of K 4-minor-free graphs.
Maximal entries of elements in certain matrix monoids
Published in Integers 20 (2020), Paper No. A31, 35 pp
• Search Publication
Let $L_u=\begin{bmatrix}1 & 0\\u & 1\end{bmatrix}$ and $R_v=\begin{bmatrix}1 & v\\0 & 1\end{bmatrix}$ be matrices in $SL_2(\mathbb Z)$ with $u, v\geq 1$. Since the monoid generated by $L_u$ and $R_v$ is free, we can associate a depth to each element based on its product representation. In the cases where $u=v=2$ and $u=v=3$, Bromberg, Shpilrain, and Vdovina determined the depth $n$ matrices containing the maximal entry for each $n\geq 1$. By using ideas from our previous work on $(u,v)$-Calkin-Wilf trees, we extend their results for any $u, v\geq 1$ and in the process we recover the Fibonacci and some Lucas sequences. As a consequence we obtain bounds which guarantee collision resistance on a family of hashing functions based on $L_u$ and $R_v$.
Volume computation for sparse boolean quadric relaxations
Published
• View Publication
• BIB
Motivated by understanding the quality of tractable convex relaxations of intractable polytopes, Ko et al. gave a closed-form expression for the volume of a standard relaxation $\mathscr{Q}(G)$ of the boolean quadric polytope (also known as the (full) correlation polytope) $\mathscr{P}(G)$ of the complete graph $G=K_n$. We extend this work to structured sparse graphs, giving: (i) an efficient algorithm for $vol(\mathscr{Q}(G))$ when $G$ has bounded tree width, (ii) closed-form expressions (and asymptotic behaviors) for $vol(\mathscr{Q}(G))$ for all stars, paths, and cycles, and (iii) a closed-form expression for $vol(\mathscr{P}(G))$ for all cycles. Further, we demonstrate that when $G$ is a cycle, the simple relaxation $\mathscr{Q}(G)$ is a very close model for the much more complicated $\mathscr{P}(G)$. Additionally, we give some computational results demonstrating that this behavior of the cycle seems to extend to more complicated graphs. Finally, we speculate on the possibility of extending some of our results to cactii or even series-parallel graphs.
Eulerian idempotent, pre-Lie logarithm and combinatorics of trees
The aim of this paper is to bring together the three objects in the title. Recall that, given a Lie algebra $\mathfrak{g}$, the Eulerian idempotent is a canonical projection from the enveloping algebra $U(\mathfrak{g})$ to $\mathfrak{g}$. The Baker-Campbell-Hausdorff product and the Magnus expansion can both be expressed in terms of the Eulerian idempotent, which makes it interesting to establish explicit formulas for the latter. We show how to reduce the computation of the Eulerian idempotent to the computation of a logarithm in a certain pre-Lie algebra of planar, binary, rooted trees. The problem of finding formulas for the pre-Lie logarithm, which is interesting in its own right -- being related to operad theory, numerical analysis and renormalization -- is addressed using techniques inspired by umbral calculus. As a consequence of our analysis, we find formulas both for the Eulerian idempotent and the pre-Lie logarithm in terms of the combinatorics of trees.
Exact Localisations of Feedback Sets
Published
• View Publication
• BIB
The feedback arc (vertex) set problem, shortened FASP (FVSP), is to transform a given multi digraph $G=(V,E)$ into an acyclic graph by deleting as few arcs (vertices) as possible. Due to the results of Richard M. Karp in 1972 it is one of the classic NP-complete problems. An important contribution of this paper is that the subgraphs $G_{\mathrm{el}}(e)$, $G_{\mathrm{si}}(e)$ of all elementary cycles or simple cycles running through some arc $e \in E$, can be computed in $\mathcal{O}\big(|E|^2\big)$ and $\mathcal{O}(|E|^4)$, respectively. We use this fact and introduce the notion of the essential minor and isolated cycles, which yield a priori problem size reductions and in the special case of so called resolvable graphs an exact solution in $\mathcal{O}(|V||E|^3)$. We show that weighted versions of the FASP and FVSP possess a Bellman decomposition, which yields exact solutions using a dynamic programming technique in times $\mathcal{O}\big(2^{m}|E|^4\log(|V|)\big)$ and $\mathcal{O}\big(2^{n}Δ(G)^4|V|^4\log(|E|)\big)$, where $m \leq |E|-|V| +1$, $n \leq (Δ(G)-1)|V|-|E| +1$, respectively. The parameters $m,n$ can be computed in $\mathcal{O}(|E|^3)$, $\mathcal{O}(Δ(G)^3|V|^3)$, respectively and denote the maximal dimension of the cycle space of all appearing meta graphs, decoding the intersection behavior of the cycles. Consequently, $m,n$ equal zero if all meta graphs are trees. Moreover, we deliver several heuristics and discuss how to control their variation from the optimum. Summarizing, the presented results allow us to suggest a strategy for an implementation of a fast and accurate FASP/FVSP-SOLVER.
Cross-Multiplicative Coalescent Processes and Applications
Published
• View Publication
• BIB
We introduce and analyze a novel type of coalescent processes called cross-multiplicative coalescent that models a system with two types of particles, $A$ and $B$. The bonds are formed only between the pairs of particles of opposite types with the same rate for each bond, producing connected components made of particles of both types. We analyze and solve the Smoluchowski coagulation system of equations obtained as a hydrodynamic limit of the corresponding Marcus-Lushnikov process. We establish that the cross-multiplicative kernel is a gelling kernel, and find the gelation time. As an application, we derive the limiting mean length of a minimal spanning tree on a complete bipartite graph $K_{α[n], β[n]}$ with partitions of sizes $α[n]=αn +o(\sqrt{n})$ and $β[n]=βn +o(\sqrt{n})$ and independent edge weights, distributed uniformly over $[0, 1]$.
Residues modulo powers of two in the Young-Fibonacci lattice
We study the subgraph of the Young-Fibonacci graph induced by elements with odd $f$-statistic (the $f$-statistic of an element $w$ of a differential graded poset is the number of saturated chains from the minimal element of the poset to $w$). We show that this subgraph is a binary tree. Moreover, the odd residues of the $f$-statistics in a row of this tree equidistibute modulo any power two. This is equivalent to a purely number theoretic result about the equidistribution of residues modulo powers of two among the products of distinct odd numbers less than a fixed number.
Protection Number in Plane Trees
Published in Appl. Anal. Discrete Math. 11 (2017), pp. 314--326
• View Publication
• BIB
The protection number of a plane tree is the minimal distance of the root to a leaf; this definition carries over to an arbitrary node in a plane tree by considering the maximal subtree having this node as a root. We study the the protection number of a uniformly chosen random tree of size $n$ and also the protection number of a uniformly chosen node in a uniformly chosen random tree of size $n$. The method is to apply singularity analysis to appropriate generating functions. Additional results are provided as well.
The perimeter cascade in critical Boltzmann quadrangulations decorated by an $O(n)$ loop model
Published in Ann. Inst. Henri Poincaré D, 7(4):535-584, 2020
• View Publication
• BIB
We study the branching tree of the perimeters of the nested loops in critical $O(n)$ model for $n \in (0,2)$ on random quadrangulations. We prove that after renormalization it converges towards an explicit continuous multiplicative cascade whose offspring distribution $(x_i)_{i \ge 1}$ is related to the jumps of a spectrally positive $α$-stable Lévy process with $α= \frac{3}{2} \pm \frac{1}π \arccos(n/2)$ and for which we have the surprisingly simple and explicit transform $$ \mathbb E\left[\sum_{i \ge 1} (x_i)^θ\right] = \frac{\sin(π(2-α))}{\sin (π(θ- α))} \quad \mbox{for }θ\in (α, α+1).$$ An important ingredient in the proof is a new formula of independent interest on first moments of additive functionals of the jumps of a left-continuous random walk stopped at a hitting time. We also identify the scaling limit of the volume of the critical $O(n)$-decorated quadrangulation using the Malthusian martingale associated to the continuous multiplicative cascade.