tree
6737 papers tagged with this keyword
Gallai-Ramsey multiplicity for rainbow small trees
Let $G, H$ be two non-empty graphs and $k$ be a positive integer. The Gallai-Ramsey number $\operatorname{gr}_k(G:H)$ is defined as the minimum positive integer $N$ such that for all $n\geq N$, every $k$-edge-coloring of $K_n$ contains either a rainbow subgraph $G$ or a monochromatic subgraph $H$. The Gallai-Ramsey multiplicity $\operatorname{GM}_k(G:H)$ is defined as the minimum total number of rainbow subgraphs $G$ and monochromatic subgraphs $H$ for all $k$-edge-colored $K_{\operatorname{gr}_k(G:H)}$. In this paper, we get some exact values of the Gallai-Ramsey multiplicity for rainbow small trees versus general monochromatic graphs under a sufficiently large number of colors. We also study the bipartite Gallai-Ramsey multiplicity.
The additive-multiplicative distance matrix of a graph, and a novel third invariant
Graham showed with Pollak and Hoffman-Hosoya that for any directed graph $G$ with strong blocks $G_e$, the determinant $\det(D_G)$ and cofactor-sum $cof(D_G)$ of the distance matrix $D_G$ can be computed from the same quantities for the blocks $G_e$. This was extended to trees - and in our recent work to any graph - with multiplicative and $q$-distance matrices. For trees, we went further and unified all previous variants with weights in a unital commutative ring, into a distance matrix with additive and multiplicative edge-data.
In this work: (1) We introduce the additive-multiplicative distance matrix $D_G$ of every strongly connected graph $G$, using what we term the additive-multiplicative block-datum $\mathcal{G}$. This subsumes the previously studied additive, multiplicative, and $q$-distances for all graphs. (2) We introduce an invariant $κ(D_G)$ that seems novel to date, and use it to show "master" Graham-Hoffman-Hosoya (GHH) identities, which express $\det(D_G), cof(D_G)$ in terms of the blocks $G_e$. We show how these imply all previous variants. (3) We show $\det(.), cof(.), κ(.)$ depend only on the block-data for not just $D_G$, but also several minors of $D_G$. This was not studied in any setting to date; we show it in the "most general" additive-multiplicative setting, hence in all known settings. (4) We compute $D_G^{-1}$ in closed-form; this specializes to all known variants. In particular, we recover our previous formula for $D_T^{-1}$ for additive-multiplicative trees (which itself specializes to a result of Graham-Lovasz and answers a 2006 question of Bapat-Lal-Pati.) (5) We also show that not the Laplacian, but a closely related matrix is the "correct" one to use in $D_G^{-1}$ - for the most general additive-multiplicative matrix $D_G$ of each $G$. As examples, we compute in closed form $\det(D_G), cof(D_G), κ(D_G), D_G^{-1}$ for hypertrees.
Inhomogeneous order 1 iterative functional equations with applications to combinatorics
We show that if a Laurent series $f\in\mathbb{C}((t))$ satisfies a particular kind of linear iterative equation, then $f$ is either a rational function or it is differentially transcendental over $\mathbb{C}(t)$. This condition is more precisely stated as follows: We consider $R,b\in \mathbb{C}(t)$ with $R(0)=0$, such that $f(R(t))=f(t)+b(t)$. If either $R'(0)=0$ or $R'(0)$ is a root of unity, then either $f$ is a rational function, or $f$ does not satisfy a polynomial differential equation. More generally a solution of a functional equation of the form $f(R(t))=a(t)f(t)+b(t)$ will be either differentially trascendental or the solution of an inhomogeneous linear differential equation of order $1$ with rational coefficients.
We illustrate how to apply these results to deduce the differential transcendence of combinatorial generating functions by considering three examples: the ordinary generating function for a family of complete trees; the Green function for excursions on the Sierpinski graph; and a series related to the enumeration of permutations avoiding the consecutive pattern 1423.
The proof strategy is inspired by the Galois theory of functional equations and relies on the property of the dynamics of $R$.
Limit-closed Profiles
Tangle-tree theorems are an important tool in structural graph theory, and abstract separation systems are a very general setting in which tangle-tree theorems can still be formulated and proven. For infinite abstract separation systems, so far tangle-tree theorems have only been shown for special cases of separation systems, in particular when the separation system arises from a (locally finite) infinite graph. We present a tangle-tree theorem for infinite separation systems where we do not place restrictions on the separation system itself but on the tangles to be arranged in a tree.
Two involutions on binary trees and generalizations
This paper investigates two involutions on binary trees. One is the mirror symmetry of binary trees which combined with the classical bijection $\varphi$ between binary trees and plane trees answers an open problem posed by Bai and Chen. This involution can be generalized to weakly increasing trees, which admits to merge two recent equidistributions found by Bai--Chen and Chen--Fu, respectively. The other one is constructed to answer a bijective problem on di-sk trees asked by Fu--Lin--Wang and can be generalized naturally to rooted labeled trees. This second involution combined with $\varphi$ leads to a new statistic on plane trees whose distribution gives the Catalan's triangle. Moreover, a quadruple equidistribution on plane trees involving this new statistic is proved via a recursive bijection.
Eccentric graph of trees and their Cartesian products
Let $G$ be an undirected simple connected graph. We say a vertex $u$ is eccentric to a vertex $v$ in $G$ if $d(u,v)=\max\{d(v,w): w\in V(G)\}$. The eccentric graph, $E(G)$ of $G$ is a graph defined on the same vertex set as of $G$ and two vertices are adjacent if one is eccentric to the other. We find the structure and the girth of the eccentric graph of trees and see that the girth of the eccentric graph of a tree can either be zero, three, or four. Further, we study the structure of the eccentric graph of the Cartesian product of graphs and prove that the girth of the eccentric graph of the Cartesian product of trees can only be zero, three, four or six. Furthermore, we provide a comprehensive classification when the eccentric girth assumes these values. We also give the structure of the eccentric graph of the grid graphs and the Cartesian product of cycles. Finally, we determine the conditions under which the eccentricity matrix of the Cartesian product of trees becomes invertible.
Pattern Avoidance in Weak Ascent Sequences
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:1, Permutation Patterns 2023, Special issues (August 21, 2024) dmtcs:12273
• View Publication
• BIB
In this paper, we study pattern avoidance in weak ascent sequences, giving some results for patterns of length 3. This is an analogous study to one given by Duncan and Steingrímsson (2011) for ascent sequences. More precisely, we provide systematically the generating functions for the number of weak ascent sequences avoiding the patterns $001, 011, 012, 021$, and $102$. Additionally, we establish bijective connections between pattern-avoiding weak ascent sequences and other combinatorial objects, such as compositions, upper triangular 01-matrices, and plane trees.
Classification of normal phylogenetic varieties for tripods
We provide a complete classification of normal phylogenetic varieties coming from tripods, and more generally, from trivalent trees. Let $G$ be an abelian group. We prove that the group-based phylogenetic variety $X_{G,\mathcal{T}}$, for any trivalent tree $\mathcal{T}$, is projectively normal if and only if $G\in \{\mathbb{Z}_2, \mathbb{Z}_3, \mathbb{Z}_2\times\mathbb{Z}_2, \mathbb{Z}_4, \mathbb{Z}_5, \mathbb{Z}_7\}$.
The number of $1$-nearly independent vertex subsets
Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$. A subset $I$ of $V(G)$ is an independent vertex subset if no two vertices in $I$ are adjacent in $G$. We study the number, $σ_1(G)$, of all subsets of $v(G)$ that contain exactly one pair of adjacent vertices. We call those subsets 1-nearly independent vertex subsets. Recursive formulas of $σ_1$ are provided, as well as some cases of explicit formulas. We prove a tight lower (resp. upper) bound on $σ_1$ for graphs of order $n$. We deduce as a corollary that the star $K_{1,n-1}$ (the tree with degree sequence $(n-1,1,\dots,1)$) is the $n$-vertex tree with smallest $σ_1$, while it is well known that $K_{1,n-1}$ is the $n$-vertex tree with largest number of independent subsets.
On the triviality of the shocked map
The (non-spanning) tree-decorated quadrangulation is a random pair formed by a quadrangulation and a subtree chosen uniformly over the set of pairs with prescribed size. In this paper we study the tree-decorated quadrangulation in the critical regime: when the number of faces of the map, $f$, is proportional to the square of the size of the tree. We show that with high probability in this regime, the diameter of the tree is between $o(f^{1/4})$ and $f^{1/4}/\log^α(f)$, for $α>1$. Thus after scaling the distances by $f^{-1/4}$, the critical tree-decorated quadrangulation converges to a Brownian disk where the boundary has been identified to a point. These results imply the triviality of the shocked map: the metric space generated by gluing a Brownian disk with a continuous random tree.
Depth of powers of edge ideals of Cohen-Macaulay trees
Let $I$ be the edge ideal of a Cohen-Macaulay tree of dimension $d$ over a polynomial ring $S = \mathrm{k}[x_1,\ldots,x_{d},y_1,\ldots,y_d]$. We prove that for all $t \ge 1$,
$$\operatorname{depth} (S/I^t) = \operatorname{max} \{d -t + 1, 1 \}.$$
Branching points in the planar Gilbert--Steiner problem have degree 3
Gilbert--Steiner problem is a generalization of the Steiner tree problem on a specific optimal mass transportation.
We show that every branching point in a solution of the planar Gilbert--Steiner problem has degree 3.
Induced subgraphs and tree decompositions XI. Local structure in even-hole-free graphs of large treewidth
We prove a conjecture of Sintiari and Trotignon that every even-hole-free graph of sufficiently large treewidth contains a four-vertex induced subgraph with at least five edges (that is, either the four-vertex complete graph or the unique four-vertex graph with five edges, also known as the diamond).
In fact, we prove two stronger results: (a) For every $K_4$-free chordal graph $H$, every even-hole-free graph of sufficiently large treewidth contains either a four-vertex complete subgraph or an induced subgraph isomorphic to $H$ (when $H$ is the diamond, this yields their conjecture); and (b) For every $K_3$-free chordal graph $H$ (equivalently, for every forest $H$) and every $t \in \mathbb{N}$, every even-hole-free graph of sufficiently large treewidth contains either a $t$-vertex complete subgraph or an induced subgraph obtained from $H$ by adding a universal vertex (when $t=4$ and $H$ is the three-vertex path, this yields their conjecture).
The choice of $H$ in both result is best possible: (a) fails for every graph $H$ that is not $K_4$-free and chordal, and (b) fails for every graph $H$ that is not a forest.
Non-Clashing Teaching Maps for Balls in Graphs
Recently, Kirkpatrick et al. [ALT 2019] and Fallat et al. [JMLR 2023] introduced non-clashing teaching and showed it is the most efficient machine teaching model satisfying the Goldman-Mathias collusion-avoidance criterion. A teaching map $T$ for a concept class $\mathcal{C}$ assigns a (teaching) set $T(C)$ of examples to each concept $C \in \mathcal{C}$. A teaching map is non-clashing if no pair of concepts are consistent with the union of their teaching sets. The size of a non-clashing teaching map (NCTM) $T$ is the maximum size of a teaching set $T(C)$, $C \in \mathcal{C}$. The non-clashing teaching dimension NCTD$(\mathcal{C})$ of $\mathcal{C}$ is the minimum size of an NCTM for $\mathcal{C}$. NCTM$^+$ and NCTD$^+(\mathcal{C})$ are defined analogously, except the teacher may only use positive examples.
We study NCTMs and NCTM$^+$s for the concept class $\mathcal{B}(G)$ consisting of all balls of a graph $G$. We show that the associated decision problem B-NCTD$^+$ for NCTD$^+$ is NP-complete in split, co-bipartite, and bipartite graphs. Surprisingly, we even prove that, unless the ETH fails, B-NCTD$^+$ does not admit an algorithm running in time $2^{2^{o(\text{vc})}}\cdot n^{O(1)}$, nor a kernelization algorithm outputting a kernel with $2^{o(\text{vc})}$ vertices, where vc is the vertex cover number of $G$. We complement these lower bounds with matching upper bounds. These are extremely rare results: it is only the second problem in NP to admit such a tight double-exponential lower bound parameterized by vc, and only one of very few problems to admit such an ETH-based conditional lower bound on the number of vertices in a kernel. For trees, interval graphs, cycles, and trees of cycles, we derive NCTM$^+$s or NCTMs for $\mathcal{B}(G)$ of size proportional to its VC-dimension, and for Gromov-hyperbolic graphs, we design an approximate NCTM$^+$ of size 2.
Kemeny's constant and enumerating Braess edges in trees
We study the problem of enumerating Braess edges for Kemeny's constant in trees. We obtain bounds and asympotic results for the number of Braess edges in some families of trees.
The Three Tree Theorem
We prove that every 2-sphere graph different from a prism can be vertex 4-colored in such a way that all Kempe chains are forests. This implies the following three tree theorem: the arboricity of a discrete 2-sphere is 3. Moreover, the three trees can be chosen so that each hits every triangle. A consequence is a result of an exercise in the book of Bondy and Murty based on work of A. Frank, A. Gyarfas and C. Nash-Williams: the arboricity of a planar graph is less or equal than 3.
On the third ABC index of trees and unicyclic graphs
Let $G=(V,E)$ be a simple connected graph with vertex set $V(G)$ and edge set $E(G)$. The third atom-bond connectivity index, $ABC_3$ index, of $G$ is defined as $ABC_3(G)=\sum\limits_{uv\in E(G)}\sqrt{\frac{e(u)+e(v)-2}{e(u)e(v)}}$, where eccentricity $e(u)$ is the largest distance between $u$ and any other vertex of $G$, namely $e(u)=\max\{d(u,v)|v\in V(G)\}$. This work determines the maximal $ABC_3$ index of unicyclic graphs with any given girth and trees with any given diameter, and characterizes the corresponding graphs.
A combinatorial view on star moments of regular directed graphs and trees
We investigate the method of moments for $d$-regular digraphs and the limiting $d$-regular directed tree $T_d$ as the number of vertices tends to infinity, in the same spirit as McKay (Linear Algebra Appl., 1981) for the undirected setting. In particular, we provide a combinatorial derivation of the formula for the star moments (from a root vertex $o\in T_d$) $$M_d(w)\qquad:=\sum_{\substack{v_0,v_1\ldots,v_{k-1},v_k\in T_d\\v_0=v_k=o}} A^{w_1}(v_0,v_1)A^{w_2}(v_1,v_2) \cdots A^{w_k}(v_{k-1},v_k)$$ with $A$ the adjacency matrix of $T_d$, where $w:=w_1\cdots w_k$ is any word on the alphabet $\{1,{*}\}$ and $A^*$ is the adjoint matrix of $A$. Our analysis highlights a connection between the non-zero summands of $M_d(w)$ and the non-crossing partitions of $\{1,\ldots,k\}$ which are in some sense compatible with $w$.
Inertia and spectral symmetry of the eccentricity matrices of a class of bi-block graphs
The eccentricity matrix of a simple connected graph G is obtained from the distance matrix of G by retaining the largest non-zero distance in each row and column, and the remaining entries are defined to be zero. A bi-block graph is a simple connected graph whose blocks are all complete bipartite graphs with possibly different orders. In this paper, we study the eccentricity matrices of a subclass B (which includes trees) of bi-block graphs. We first find the inertia of the eccentricity matrices of graphs in B, and thereby we characterize graphs in B with odd diameters. Precisely, if G in B with diameter of G greater than three, then we show that the eigenvalues of the eccentricity matrix of G are symmetric with respect to the origin if and only if the diameter of G is odd. Further, we prove that the eccentricity matrices of graphs in B are irreducible.
Resolving vertices of graphs with differences
The classical (vertex) metric dimension of a graph G is defined as the cardinality of a smallest set S in V (G) such that any two vertices x and y from G have different distances to least one vertex from S: The k-metric dimension is a generalization of that notion where it is required that any pair of vertices has different distances to at least k vertices from S: In this paper, we introduce the weak k-metric dimension of a graph G; which is defined as the cardinality of a smallest set of vertices S such that the sum of the distance differences from any pair of vertices to all vertices of S is at least k: This dimension is "stronger" than the classical metric dimension, yet "weaker" than k-metric dimension, and it can be formulated as an ILP problem. The maximum k for which the weak k-metric dimension is defined is denoted by kappa(G). We first prove several properties of the weak k-metric dimension regarding the presence of true or false twin vertices in a graph. Using those properties, the kappa(G) is found for some basic graph classes, such as paths, stars, cycles, and complete (bipartite) graphs. We also find kappa(G) for trees and grid graphs using the observation that the distance difference increases by the increase of the cardinality of a set S. For all these graph classes we further establish the exact value of the weak k-metric dimension for all k <= kappa(G).