tree
6737 papers tagged with this keyword
Packing the largest trees in the tree packing conjecture
The famous tree packing conjecture of Gyárfás from 1976 says that any sequence of trees $T_1,\ldots,T_n$ such that $|T_i|=i$ for each $i\in [n]$ packs into the complete $n$-vertex graph $K_n$. Packing even just the largest trees in such a sequence has proven difficult, with Bollobás drawing attention to this in 1995 by conjecturing that, for each $k$, if $n$ is sufficiently large then the largest $k$ trees in any such sequence can be packed into $K_n$. This has only been shown for $k\leq 5$, by Żak, despite many partial results and much related work on the full tree packing conjecture. We prove Bollobás's conjecture, by showing that, moreover, a linear number of the largest trees can be packed in the tree packing conjecture.
The absence of monochromatic triangle implies various properly colored spanning trees
An edge-colored graph $G$ is called properly colored if every two adjacent edges are assigned different colors. A monochromatic triangle is a cycle of length 3 with all the edges having the same color. Given a tree $T_0$, let $\mathcal{T}(n,T_0)$ be the collection of $n$-vertex trees that are subdivisions of $T_0$. It is conjectured that for each fixed tree $T_0$, there is a function $f(T_0)$ such that for each integer $n\geq f(T_0)$ and each $T\in \mathcal{T}(n,T_0)$, every edge-colored complete graph $K_n$ without containing monochromatic triangle must contain a properly colored copy of $T$. We confirm the conjecture in the case that $T_0$ is a star. A weaker version of the above conjecture is also obtained. Moreover, to get a nice quantitative estimation of $f(T_0)$ when $T_0$ is a star requires determining the constraint Ramsey number of a monochromatic triangle and a rainbow star, which is of independent interest.
$λ$-shaped random matrices, $λ$-plane trees, and $λ$-Dyck paths
Published in Electron. J. Probab. 30: 1-24, #11 (2025)
• View Publication
• BIB
We consider random matrices whose shape is the dilation $Nλ$ of a self-conjugate Young diagram $λ$. In the large-$N$ limit, the empirical distribution of the squared singular values converges almost surely to a probability distribution $F^λ$. The moments of $F^λ$ enumerate two combinatorial objects: $λ$-plane trees and $λ$-Dyck paths, which we introduce and show to be in bijection. We also prove that the distribution $F^λ$ is algebraic, in the sense of Rao and Edelman. In the case of fat hook shapes we provide explicit formulae for $F^λ$ and we express it as a free convolution of two measures involving a Marchenko-Pastur and a Bernoulli distribution.
Conditions of positivity on a shadow Markoff Tree
Published in Journal of Integer Sequences, Vol. 27 (2024), 1 47 23 11 2 3 6 Article 24.8.3
• Search Publication
An analogue of the Markoff equation has recently been introduced by the author and Valentin Ovsienko. A conjecture about the necessary and sufficient conditions for positivity of solutions to this equation is formulated and discussed.
Progressive and Rushed Dyck Paths
Published in EPTCS 403, 2024, pp. 29-34
• View Publication
• BIB
We call progressive paths and rushed paths two families of Dyck paths studied by Asinowski and Jelinek, which have the same enumerating sequence (OEIS entry A287709). We present a bijection proving this fact. Rushed paths turn out to be in bijection with one-sided trees, introduced by Durhuus and Unel, which have an asymptotic enumeration involving a stretched exponential. We conclude by presenting several other classes of related lattice paths and directed animals that may have similar asymptotic properties.
Tight bound for the Erdős-Pósa property of tree minors
Published in Combinatorics, Probability and Computing, 34:321--325, 2025
• View Publication
• BIB
Let $T$ be a tree on $t$ vertices. We prove that for every positive integer $k$ and every graph $G$, either $G$ contains $k$ pairwise vertex-disjoint subgraphs each having a $T$ minor, or there exists a set $X$ of at most $t(k-1)$ vertices of $G$ such that $G-X$ has no $T$ minor. The bound on the size of $X$ is best possible and improves on an earlier $f(t)k$ bound proved by Fiorini, Joret, and Wood (2013) with some fast growing function $f(t)$. Moreover, our proof is short and simple.
Connectivity of $3$-distance graphs
For a simple graph $G$, the $3$-distance graph, $D_3(G)$, is a graph with the vertex set $V(G)$ and two vertices are adjacent if and only if their distance is $3$ in the graph $G$. For a connected graph $G$, we provide some conditions for the connectedness of $D_3(G)$. Also, we characterize all trees and unicyclic graphs with connected $3$-distance graph.
A direct proof of well-definedness for the polymatroid Tutte polynomial
For a polymatroid $P$ over $[n]$, Bernardi, Kálmán and Postnikov [\emph{Adv. Math.} 402 (2022) 108355] introduced the polymatroid Tutte polynomial $\mathscr{T}_{P}$ relying on the order $1<2<\cdots<n$ of $[n]$, which generalizes the classical Tutte polynomial from matroids to polymatroids. They proved the independence of this order by the fact that $\mathscr{T}_{P}$ is equivalent to another polynomial that only depends on $P$. In this paper, similar to the Tutte's original proof of the well-definedness of the Tutte polynomial defined by the summation over all spanning trees using activities depending on the order of edges, we give a direct and elementary proof of the well-definedness of the polymatroid Tutte polynomial.
A full Halin grid theorem
Halin's well-known grid theorem states that a graph $G$ with a thick end must contain a subdivision of the hexagonal half-grid. We obtain the following strengthening when $G$ is vertex-transitive and locally finite. Either $G$ is quasi-isometric to a tree (and therefore has no thick end), or it contains a subdivision of the full hexagonal grid.
The Strong Nine Dragon Tree Conjecture is True for $d \leq 2(k+1)$
The arboricity $Γ(G)$ of an undirected graph $G =(V,E)$ is the minimal number $k$ such that $E$ can be partitioned into $k$ forests on $V$. Nash-Williams' formula states that $k = \lceil γ(G) \rceil$, where $γ(G)$ is the maximum of $\frac{|E_{H}|}{|V_{H}|-1}$ over all subgraphs $(V_H , E_H )$ of $G$ with $|V_H | \geq 2$. The Strong Nine Dragon Tree Conjecture states that if $γ(G) \leq k + \frac{d}{d+k+1}$ for $k, d \in \mathbb{N}$, then there is a partition of the edge set of $G$ into $k + 1$ forests on $V$ such that one forest has at most $d$ edges in each connected component. Here we prove the Strong Nine Dragon Tree Conjecture when $d \leq 2(k +1)$, which is a new result for all $(k, d)$ such that $d > k + 1$. In fact, we prove a stronger theorem. We prove that a weaker sparsity notion, called $(k, d)$-sparseness, suffices to give the decomposition, under the assumption that the graph decomposes into $k+1$ forests. This is a new result for all $(k, d)$ where $d > 1$, and improves upon the recent resolution of the Overfull Nine Dragon Tree Theorem for all $(k, d)$ when $d \leq 2(k +1)$. As a corollary, we obtain that planar graphs of girth five decompose into a forest and a forest where every component has at most four edges, and by duality, we obtain that $5$-edge-connected planar graphs have a $\frac{4}{5}$-thin tree, improving a result of the authors that $5$-edge-connected planar graphs have a $\frac{5}{6}$-thin tree
An alternate form of Merino-Mička-Mütze's approach to a combinatorial generation problem of Knuth
A modification of Merino-Mička-Mütze's solution to a combinatorial generation problem of Knuth is proposed in this survey. The resulting alternate form to such solution is compatible with a reinterpretation by the author of a proof of existence of Hamilton cycles in the middle-levels graphs. Such reinterpretation is given in terms of a dihedral quotient graph associated to each middle-levels graph. The vertices of such quotient graph represent Dyck words and their associated ordered trees. Those Dyck words are linearly ordered via a rooted tree that covers all their tight, or irreducible, forms, offering an universal reference point of view to express and integrate the periodic paths, or blocks, whose concatenation leads to Hamilton cycles resulting from the said solution.
On the multicolor Ramsey numbers of balanced double stars
The balanced double star on $2n+2$ vertices, denoted $S_{n,n}$, is the tree obtained by joining the centers of two disjoint stars each having $n$ leaves. Let $R_r(G)$ be the smallest integer $N$ such that in every $r$-coloring of the edges of $K_N$ there is a monochromatic copy of $G$, and let $R_r^{\mathrm{bip}}(G)$ be the smallest integer $N$ such that in every $r$-coloring of the edges of $K_{N,N}$ there is a monochromatic copy of $G$. It is known that $R_2(S_{n,n})=3n+2$ and $R_2^{\mathrm{bip}}(S_{n,n})=2n+1$ \cite{HJ}, but very little is known about $R_r(S_{n,n})$ and $R^{\mathrm{bip}}_r(S_{n,n})$ when $r\geq 3$ (other than the bounds which follow from considerations on the number of edges in the majority color class).
In this paper we prove the following for all $n\geq 1$ (where the lower bounds are adapted from existing examples): \[(r-1)2n+1\leq R_r(S_{n,n})\leq (r-\frac{1}{2})(2n+2)-1,\]and
\[(2r-4)n+1\leq R^{\mathrm{bip}}_r(S_{n,n})\leq (2r-3+\frac{2}{r}+O(\frac{1}{r^2}))n.\] These bounds are similar to the best known bounds on $R_r(P_{2n+2})$ and $R_r^{\mathrm{bip}}(P_{2n+2})$, where $P_{2n+2}$ is a path on $2n+2$ vertices (which is also a balanced tree). We also give an example which improves the lower bound on $R^{\mathrm{bip}}_r(S_{n,n})$ when $r=3$ and $r=5$.
On a family of relations of rooted tree maps
This paper is devoted to proving an infinite sequence of relations for rooted tree maps. On the way, we also give a basis for the space of rooted tree maps.
Algorithms and complexity for path covers of temporal DAGs: when is Dilworth dynamic?
In this paper, we study a dynamic analogue of the Path Cover problem, which can be solved in polynomial-time in directed acyclic graphs. A temporal digraph has an arc set that changes over discrete time-steps, if the underlying digraph (the union of all the arc sets) is acyclic, then we have a temporal DAG. A temporal path is a directed path in the underlying digraph, such that the time-steps of arcs are strictly increasing along the path. Two temporal paths are temporally disjoint if they do not occupy any vertex at the same time. A temporal (resp. temporally disjoint) path cover is a collection of (resp. temporally disjoint) temporal paths that covers all vertices. In this paper, we study the computational complexities of the problems of finding a temporal (disjoint) path cover with minimum cardinality, denoted as Temporal Path Cover (TPC) and Temporally Disjoint Path Cover (TD-PC). We show that both problems are NP-hard even when the underlying DAG is planar, bipartite, subcubic, and there are only two arc-disjoint time-steps. Moreover, TD-PC remains NP-hard even on temporal oriented trees. In contrast, we show that TPC is polynomial-time solvable on temporal oriented trees by a reduction to Clique Cover for (static undirected) weakly chordal graphs (a subclass of perfect graphs for which Clique Cover admits an efficient algorithm). This highlights an interesting algorithmic difference between the two problems. Although it is NP-hard on temporal oriented trees, TD-PC becomes polynomial-time solvable on temporal oriented lines and temporal rooted directed trees. We also show that TPC (resp. TD-PC) admits an XP (resp. FPT) time algorithm with respect to parameter tmax + tw, where tmax is the maximum time-step, and tw is the treewidth of the underlying static undirected graph.
Scalar extensions of quiver representations over $\mathbb{F}_1$
Published
• View Publication
• BIB
Let $V$ and $W$ be quiver representations over $\mathbb{F}_1$ and let $K$ be a field. The scalar extensions $V^K$ and $W^K$ are quiver representations over $K$ with a distinguished, very well-behaved basis. We construct a basis of $\mathrm{Hom}_{KQ}(V^K,W^K)$ generalising the well-known basis of the morphism spaces between string and tree modules. We use this basis to give a combinatorial characterisation of absolutely indecomposable representations. Furthermore, we show that indecomposable representations with finite nice length are absolutely indecomposable. This answers a question of Jun and Sistko.
Largest common subgraph of two forests
A common subgraph of two graphs $G_1$ and $G_2$ is a graph that is isomorphic to subgraphs of $G_1$ and $G_2$. In the largest common subgraph problem the task is to determine a common subgraph for two given graphs $G_1$ and $G_2$ that is of maximum possible size ${\rm lcs}(G_1,G_2)$. This natural problem generalizes the well-studied graph isomorphism problem, has many applications, and remains NP-hard even restricted to unions of paths. We present a simple $4$-approximation algorithm for forests, and, for every fixed $ε\in (0,1)$, we show that, for two given forests $F_1$ and $F_2$ of order at most $n$, one can determine in polynomial time a common subgraph $F$ of $F_1$ and $F_2$ with at least ${\rm lcs}(F_1,F_2)-εn$ edges. Restricted to instances with ${\rm lcs}(F_1,F_2)\geq cn$ for some fixed positive $c$, this yields a polynomial time approximation scheme. Our approach relies on the approximation of the given forests by structurally simpler forests that are composed of copies of only $O(\log (n))$ different starlike rooted trees and iterative quantizations of the options for the solutions.
Monotonicity, Topology, and Convexity of Recurrence in Random Walks
We consider non-homogeneous random walks on the two-dimensional positive quadrant $\mathbb{N}^2$ and the one-dimensional slab $\{0,1,\dots,k\}\times\mathbb{N}$. In the 1960's the following question was asked for $\mathbb{N}^2$: is it true if such a random walk $X$ is recurrent and $Y$ is another random walk that at every point is more likely to go down and more likely to go left than $Y$, then $Y$ is also recurrent?
We provide an example showing that the answer is negative. We also show, via a coupling argument, that if either the random walk $X$ or $Y$ is sufficiently homogeneous then the answer is in fact positive. In addition, we show using the Rayleigh monotonicity principle that the analogous question for random walks on trees is positive.
These results show that the subset of parameter space that yields recurrent random walks possesses some geometric properties, in this case the structure of an order ideal. Motivated by this perspective, we consider the more symmetric setting of homogeneous random walks on finitely generated abelian groups, and ask when this subset possesses other geometric properties, namely various topological properties and convexity. We answer some of these questions: in particular, we show that this subset is closed, and under a symmetric support condition, show it is path-connected and additionally show it is convex if and only if its effective dimension is at most 2. We also show its complement is in some sense typically path-connected but not convex. We finally propose some related open problems.
The Ramsey numbers for trees of order $n$ with maximum degree at least $n-5$ versus the wheel graph of order nine
The Ramsey numbers $R(T_n,W_8)$ are determined for each tree graph $T_n$ of order $n\geq 7$ and maximum degree $Δ(T_n)$ equal to either $n-4$ or $n-5$. These numbers indicate strong support for the conjecture, due to Chen, Zhang and Zhang and to Hafidh and Baskoro, that $R(T_n,W_m) = 2n-1$ for each tree graph $T_n$ of order $n\geq m-1$ with $Δ(T_n)\leq n-m+2$ when $m\geq 4$ is even.
e-injective coloring: injective and 2-distance colorings conjectures
An injective coloring of a given graph G = (V, E) is a vertex coloring of G such that any two vertices with common neighbor receive distinct colors. An e-injective coloring of a graph G is a vertex coloring of G such that any two vertices with common edge neighbor receive distinct colors; in the other words, if u and v are the end of a path P4 in a graph G, then they are assigned with different labels. With this new definition, we want to take a review at injective coloring of a graph from the new point of view. For this purpose, we will have a comparison between e-injective coloring with usual coloring, injective coloring, and 2-distance coloring. As well, we review the conjectures raised so far in the literature of injective coloring and 2-distance coloring, from the new approach, e-injective coloring. Finally, we precisely investigate the e-injective coloring of trees, join of two graphs, a family of standard graphs, grid graphs, cylinder graphs and tori graphs.
Binary search trees of permuton samples
Published in Advances in Applied Mathematics, Volume 162, January 2025, 102774
• View Publication
• BIB
Binary search trees (BST) are a popular type of data structure when dealing with ordered data. Indeed, they enable one to access and modify data efficiently, with their height corresponding to the worst retrieval time. From a probabilistic point of view, binary search trees associated with data arriving in a uniform random order are well understood, but less is known when the input is a non-uniform random permutation. We consider here the case where the input comes from i.i.d. random points in the plane with law $μ$, a model which we refer to as a permuton sample. Our results show that the asymptotic proportion of nodes in each subtree depends on the behavior of the measure $μ$ at its left boundary, while the height of the BST has a universal asymptotic behavior for a large family of measures $μ$. Our approach involves a mix of combinatorial and probabilistic tools, namely combinatorial properties of binary search trees, coupling arguments, and deviation estimates.