tree
6861 papers tagged with this keyword
Basis of totally primitive elements of WQSym
Published in Seminaire Lotharingien de Combinatoire - FPSAC 2020 Issue 84B [84B.74]
• Search Publication
By Foissy's work, the bidendriform structure of the Word Quasisymmetric Functions Hopf algebra (WQSym) implies that it is isomorphic to its dual. However, the only known explicit isomorphism does not respect the bidendriform structure. This structure is entirely determined by so-called totally primitive elements (elements such that the two half-coproducts are 0). In this paper, we construct a basis indexed by a new combinatorial family called biplane forests in bijection with packed words. In this basis, primitive elements are indexed by biplane trees and totally primitive elements by a certain subset of trees. Thus we obtain the first explicit basis for the totally primitive elements of WQSym.
List star edge coloring of generalized Halin graphs
Published
• View Publication
• BIB
A star $k$-edge coloring is a proper edge coloring such that there are no bichromatic paths or cycles of length four. The smallest integer $k$ such that $G$ admits a star $k$-edge coloring is the star chromatic index of $G$. Deng \etal \cite{MR2933839}, and Bezegov{á} \etal \cite{MR3431294} independently proved that the star chromatic index of a tree is at most $\lfloor \frac{3Δ}{2} \rfloor$, and the bound is sharp. Han \etal \cite{MR3924408} strengthened the result to list version of star chromatic index, and proved that $\lfloor \frac{3Δ}{2} \rfloor$ is also the sharp upper bound for the list star chromatic index of trees. A generalized Halin graph is a plane graph that consists of a plane embedding of a tree $T$ with $Δ(T) \geq 3$, and a cycle $C$ connecting all the leaves of the tree such that $C$ is the boundary of the exterior face. In this paper, we prove that if $H := T \cup C$ is a generalized Halin graph with $|C| \neq 5$, then its list star chromatic index is at most \[ \max\left\{\left\lfloor\frac{θ(T) + Δ(T)}{2}\right\rfloor, 2 \left\lfloor\frac{Δ(T)}{2}\right\rfloor + 7\right\}, \] where $θ(T) = \max_{xy \in E(T)}\{d_{T}(x) + d_{T}(y)\}$. As a consequence, if $H$ is a (generalized) Halin graph with maximum degree $Δ\geq 13$, then the list star chromatic index is at most $\lfloor \frac{3Δ}{2} \rfloor$. Moreover, the upper bound for the list star chromatic index is sharp.
A zero forcing technique for bounding sums of eigenvalue multiplicities
Published
• View Publication
• BIB
Given a graph $G$, one may ask: "What sets of eigenvalues are possible over all weighted adjacency matrices of $G$?" (The weight of an edge is positive or negative, while the diagonal entries can be any real numbers.) This is known as the Inverse Eigenvalue Problem for graphs (IEP-$G$). A mild relaxation of this question considers the multiplicity list instead of the exact eigenvalues themselves. That is, given a graph $G$ on $n$ vertices and an ordered partition $\mathbf{m}= (m_1, \ldots, m_\ell)$ of $n$, is there a weighted adjacency matrix where the $i$-th distinct eigenvalue has multiplicity $m_i$? This is known as the ordered multiplicity IEP-$G$. Recent work solved the ordered multiplicity IEP-$G$ for all graphs on 6 vertices.
In this work, we develop zero forcing methods for the ordered multiplicity IEP-$G$ in a multitude of different contexts. Namely, we utilize zero forcing parameters on powers of graphs to achieve bounds on consecutive multiplicities. We are able to provide general bounds on sums of multiplicities of eigenvalues for graphs. This includes new bounds on the the sums of multiplicities of consecutive eigenvalues as well as more specific bounds for trees. Using these results, we verify the previous results above regarding the IEP-$G$ on six vertices. In addition, applying our techniques to skew-symmetric matrices, we are able to determine all possible ordered multiplicity lists for skew-symmetric matrices for connected graphs on five vertices.
Grundy domination of forests and the strong product conjecture
Published in The Electronic Journal of Combinatorics 28(2) (2021), #P2.12
• View Publication
• BIB
A maximum sequence $S$ of vertices in a graph $G$, so that every vertex in $S$ has a neighbor which is independent, or is itself independent, from all previous vertices in $S$, is called a Grundy dominating sequence. The Grundy domination number, $γ_{gr}(G)$, is the length of $S$. We show that for any forest $F$, $γ_{gr}(F)=|V(T)|-|\mathcal{P}|$ where $\mathcal{P}$ is a minimum partition of the non-isolate vertices of $F$ into caterpillars in which if two caterpillars of $\mathcal{P}$ have an edge between them in $F$, then such an edge must be incident to a non-leaf vertex in at least one of the caterpillars. We use this result to show the strong product conjecture of B. Brešar, Cs. Bujtás, T. Gologranc, S. Klavžar, G. Košmrlj, B. Patkós, Zs. Tuza, and M. Vizer, Dominating sequences in grid-like and toroidal graphs, Electron. J. Combin. 23(4): P4.34 (2016), for all forests. Namely, we show that for any forest $G$ and graph $H$, $γ_{gr}(G \boxtimes H) = γ_{gr}(G) γ_{gr}(H)$. We also show that every connected graph $G$ has a spanning tree $T$ so that $γ_{gr}(G)\le γ_{gr}(T)$ and that every non-complete connected graph contains a Grundy dominating set $S$ so that the induced subgraph of $S$ contains no isolated vertices.
On the locating chromatic number of infinite trees
The locating chromatic number of a graph is the smallest integer $n$ such that there is a proper $n$-coloring $c$ and every vertex has a unique vector of distances to colors in $c$. We explore the necessary conditions and provide sufficient conditions for an infinite tree to have a finite locating chromatic number. We also give an algorithm for computing the locating coloring of trees that works for both finite and infinite trees.
Hopf algebra structure on free Rota-Baxter algebras by angularly decorated rooted trees
Published
• View Publication
• BIB
By means of a new notion of subforests of an angularly decorated rooted forest, we give a combinatorial construction of a coproduct on the free Rota-Baxter algebra on angularly decorated rooted forests. We show that this coproduct equips the Rota-Baxter algebra with a bialgebra structure and further a Hopf algebra structure.
On a conjecture of Lin and Kim concerning a refinement of Schröder numbers
Published
• View Publication
• BIB
In this paper, we compute the distribution of the first letter statistic on nine avoidance classes of permutations corresponding to two pairs of patterns of length four. In particular, we show that the distribution is the same for each class and is given by the entries of a new Schröder number triangle. This answers in the affirmative a recent conjecture of Lin and Kim. We employ a variety of techniques to prove our results, including generating trees, direct bijections and the kernel method. For the latter, we make use of in a creative way what we are trying to show in three cases to aid in solving a system of functional equations satisfied by the associated generating functions.
On the first Banhatti-Sombor index
Let $d_v$ be the degree of the vertex $v$ in a connected graph $G$. The first Banhatti-Sombor index of $G$ is defined as $BSO(G) =\sum_{uv\in E(G)}\sqrt{\frac{1}{d^2_u}+\frac{1}{d^2_v}}$, which is a new vertex-degree-based topological index introduced by Kulli. In this paper, the mathematical relations between the first Banhatti-Sombor index and some other well-known vertex-degree-based topological indices are established. In addition, the trees extremal with respect to the first Banhatti-Sombor index on trees and chemical trees are characterized, respectively.
Eternal distance-k domination on graphs
Published
• View Publication
• BIB
Eternal domination is a dynamic process by which a graph is protected from an infinite sequence of vertex intrusions. In eternal distance-$k$ domination, guards initially occupy the vertices of a distance-$k$ dominating set. After a vertex is attacked, guards ``defend'' by each moving up to distance $k$ to form a distance-$k$ dominating set, such that some guard occupies the attacked vertex. The eternal distance-$k$ domination number of a graph is the minimum number of guards needed to defend against any sequence of attacks. The process is well-studied for the situation where $k=1$. We introduce eternal distance-$k$ domination for $k > 1$.
Determining whether a given set is an eternal distance-$k$ domination set is in EXP, and in this paper we provide a number of results for paths and cycles, and relate this parameter to graph powers and domination in general. For trees we use decomposition arguments to bound the eternal distance-$k$ domination numbers, and solve the problem entirely in the case of perfect $m$-ary trees.
A Sharp Upper Bound for the Boundary Independence Broadcast Number of a Tree
A broadcast on a nontrivial connected graph G with vertex set V is a function f from V to {0,1,...,diam(G)} such that f(v) is at most the eccentricity of v for all vertices v. The weight of f is the sum of the function values taken over V. A vertex u hears f from v if f(v) is positive and d(u,v) is at most f(v). A broadcast f is boundary independent if, for any vertex w that hears f from vertices v_{1},...,v_{k}, where k is at least 2, d(w,v_{i}) equals f(v_{i}) for each i. The maximum weight of a boundary independent broadcast on G is denoted by α_{bn}(G). We prove a sharp upper bound on α_{bn}(T) for a tree T in terms of its order and number of branch vertices of a certain type.
The combinatorics of a tree-like functional equation for connected chord diagrams
Published
• View Publication
• BIB
We build on recent work of Yeats, Courtiel, and others involving connected chord diagrams. We first derive from a Hopf-algebraic foundation a class of tree-like functional equations and prove that they are solved by weighted generating functions of two different subsets of weighted connected chord diagrams: arbitrary diagrams and diagrams forbidding so-called top cycle subdiagrams. These equations generalize the classic specification for increasing ordered trees and their solution uses a novel decomposition, simplifying and generalizing previous results. The resulting tree perspective on chord diagrams leads to new enumerative insights through the study of novel diagram classes. We present a recursive bijection between connected top-cycle-free diagrams with $n$ chords and triangulations of a disk with $n+1$ vertices, thereby counting the former. This connects to combinatorial maps, Catalan intervals, and uniquely sorted permutations, leading to new conjectured bijective relationships between diagram classes defined by forbidding graphical subdiagrams and imposing connectedness properties and a variety of other rich combinatorial objects. We conclude by exhibiting and studying a direct bijection between diagrams of size $n$ with a single terminal chord and diagrams of size $n-1$.
The sum of powers of subtree sizes for conditioned Galton-Watson trees
Published
• View Publication
• BIB
We study the additive functional $X_n(α)$ on conditioned Galton-Watson trees given, for arbitrary complex $α$, by summing the $α$th power of all subtree sizes. Allowing complex $α$ is advantageous, even for the study of real $α$, since it allows us to use powerful results from the theory of analytic functions in the proofs.
For $\Reα< 0$, we prove that $X_n(α)$, suitably normalized, has a complex normal limiting distribution; moreover, as processes in $α$, the weak convergence holds in the space of analytic functions in the left half-plane. We establish, and prove similar process-convergence extensions of, limiting distribution results for $α$ in various regions of the complex plane. We focus mainly on the case where $\Reα> 0$, for which $X_n(α)$, suitably normalized, has a limiting distribution that is not normal but does not depend on the offspring distribution $ξ$ of the conditioned Galton-Watson tree, assuming only that $E[ξ] = 1$ and $0 < \mathrm{Var} [ξ] < \infty$. Under a weak extra moment assumption on $ξ$, we prove that the convergence extends to moments, ordinary and absolute and mixed, of all orders.
At least when $\Reα> \frac12$, the limit random variable $Y(α)$ can be expressed as a function of a normalized Brownian excursion.
Spined categories: generalizing tree-width beyond graphs
Published
• View Publication
• BIB
Tree-width is an invaluable tool for computational problems on graphs. But often one would like to compute on other kinds of objects (e.g. decorated graphs or even algebraic structures) where there is no known tree-width analogue. Here we define an abstract analogue of tree-width which provides a uniform definition of various tree-width-like invariants including graph tree-width, hypergraph tree-width, complemented tree-width and even new constructions such as the tree-width of modular quotients. We obtain this generalization by developing a general theory of categories that admit abstract analogues of both tree decompositions and tree-width; we call these pseudo-chordal completions and the triangulation functor respectively.
Rational Dyck paths and decompositions
We study combinatorial properties of a rational Dyck path by decomposing it into a tuple of Dyck paths. The combinatorial models such as $b$-Stirling permutations, $(b+1)$-ary trees, parenthesis presentations, and binary trees play central roles to establish a correspondence between the rational Dyck path and the tuple of Dyck paths. We reinterpret two orders, the Young and the rotation orders, on rational Dyck paths in terms of the tuple of Dyck paths by use of the decomposition. As an application, we show a duality between $(a,b)$-Dyck paths and $(b,a)$-Dyck paths in terms of binary trees.
Extremal Graphs for a Spectral Inequality on Edge-Disjoint Spanning Trees
Liu, Hong, Gu, and Lai proved if the second largest eigenvalue of the adjacency matrix of graph $G$ with minimum degree $δ\ge 2m+2 \ge 4$ satisfies $λ_2(G) < δ- \frac{2m+1}{δ+1}$, then $G$ contains at least $m+1$ edge-disjoint spanning trees, which verified a generalization of a conjecture by Cioabă and Wong. We show this bound is essentially the best possible by constructing $d$-regular graphs $\mathcal{G}_{m,d}$ for all $d \ge 2m+2 \ge 4$ with at most $m$ edge-disjoint spanning trees and $λ_2(\mathcal{G}_{m,d}) < d-\frac{2m+1}{d+3}$. As a corollary, we show that a spectral inequality on graph rigidity by Cioabă, Dewar, and Gu is essentially tight.
Dyck tilings of type $D$
We introduce and study cover-inclusive and cover-exclusive Dyck tilings of type $D$. It is shown that the generating functions of Dyck tilings of type $D$ are expressed in terms of the generating function of ballot tilings of type $B$. We introduce link patterns of type $D$ and plane trees for a ballot path, and construct a map from trees to $\mathbb{Z}[q]$. This map gives the generating function of cover-inclusive Dyck tilings of type $D$ associated to the ballot path.
Revisiting regular sequences in light of rational base numeration systems
Published
• View Publication
• BIB
Regular sequences generalize the extensively studied automatic sequences. Let $S$ be an abstract numeration system. When the numeration language $L$ is prefix-closed and regular, a sequence is said to be $S$-regular if the module generated by its $S$-kernel is finitely generated.
In this paper, we give a new characterization of such sequences in terms of the underlying numeration tree $T(L)$ whose nodes are words of $L$. We may decorate these nodes by the sequence of interest following a breadth-first enumeration. For a prefix-closed regular language $L$, we prove that a sequence is $S$-regular if and only if the tree $T(L)$ decorated by the sequence is linear, i.e., the decoration of a node depends linearly on the decorations of a fixed number of ancestors.
Next, we introduce and study regular sequences in a rational base numeration system, whose numeration language is known to be highly non-regular. We motivate and comment our definition that a sequence is $\frac{p}{q}$-regular if the underlying numeration tree decorated by the sequence is linear. We give the first few properties of such sequences, we provide a few examples of them, and we propose a method for guessing $\frac{p}{q}$-regularity. Then we discuss the relationship between $\frac{p}{q}$-automatic sequences and $\frac{p}{q}$-regular sequences. We finally present a graph directed linear representation of a $\frac{p}{q}$-regular sequence. Our study permits us to highlight the places where the regularity of the numeration language plays a predominant role.
Parking functions: From combinatorics to probability
Published
• View Publication
• BIB
Suppose that $m$ drivers each choose a preferred parking space in a linear car park with $n$ spots. In order, each driver goes to their chosen spot and parks there if possible, and otherwise takes the next available spot if it exists. If all drivers park successfully, the sequence of choices is called a parking function. Classical parking functions correspond to the case $m=n$; we study here combinatorial and probabilistic aspects of this generalized case.
We construct a family of bijections between parking functions $\text{PF}(m, n)$ with $m$ cars and $n$ spots and spanning forests $\mathscr{F}(n+1, n+1-m)$ with $n+1$ vertices and $n+1-m$ distinct trees having specified roots. This leads to a bijective correspondence between $\text{PF}(m, n)$ and monomial terms in the associated Tutte polynomial of a disjoint union of $n-m+1$ complete graphs. We present an identity between the "inversion enumerator" of spanning forests with fixed roots and the "displacement enumerator" of parking functions. The displacement is then related to the number of graphs on $n+1$ labeled vertices with a fixed number of edges, where the graph has $n+1-m$ disjoint rooted components with specified roots.
We investigate various probabilistic properties of a uniform parking function, giving a formula for the law of a single coordinate. As a side result we obtain a recurrence relation for the displacement enumerator. Adapting known results on random linear probes, we further deduce the covariance between two coordinates when $m=n$.
Metric spaces and sparse graphs
Many concrete problems are formulated in terms of a finite set of points in $R^n$ which, via the ambient Euclidean metric, becomes a finite metric space. To obtain information from such a space, it is often useful to associate a graph to it, and do mathematics on the graph, rather than on the space.
Connected graphs become finite metric spaces (rather, their set of vertices) via the path-metric. We consider different types of connected graphs that can be associated to a metric space. In turn, the metric spaces obtained from these graphs recover, in some cases, identically the initial space, while they, more often, only "approximate" it. In this last category, we construct a connected sparse graph, denoted CS, that seems to be new. We show that the "general case" for CS is to be a tree, a result of clear practical importance.
The path minimises the average size of a connected induced subgraph
Published in Discrete Mathematics Discrete Mathematics, Volume 345, Issue 5, May 2022, 112799
• View Publication
• BIB
We prove that among all graphs of order n, the path uniquely minimises the average order of its connected induced subgraphs. This confirms a conjecture of Kroeker, Mol and Oellermann, and generalises a classical result of Jamison for trees, as well as giving a new, shorter proof of the latter. While this paper was being prepared, a different proof was given by Andrew Vince.