tree
6860 papers tagged with this keyword
A Unified Spectral Framework for Weighted Adjacency-Degree Matrices of Dendrimer and Bethe Trees
We introduce a weighted adjacency-degree matrix \(A_{fg}(G)\) with edge weights \(f(d_i,d_j)\) and diagonal entries \(g(d_i)\), unifying adjacency, Laplacian, signless Laplacian, \(A_α\), ABC, Randić, Sombor and related matrices. For dendrimer trees \(D_{n,k}\) and Bethe trees \(B_{n,k}\), the characteristic polynomial is factorized through one recursive sequence \(P_{fg,n}\). When \(f^2(1,k)=f^2(k,k)\), this sequence admits a Chebyshev reduction to \( U_{j+1}(x)+δU_j(x)=0, \) covering \(L/L^+\) and \(A_α\); explicit cosine spectra occur only in special cases, such as the adjacency matrix and the \(L/L^+\) end factor of \(B_{n,k}\). We derive positive-semidefinite energy formulas, Gershgorin criteria, spectral-gap estimates, interlacing and non-interlacing results, partial eigenvalue-coincidence information, and McClelland- and Koolen--Moulton-type bounds. Several known results are recovered as special cases of this unified framework.
Asymptotic connectivity, hamiltonicity and toughness
We define coarse variants of the notions of connectivity, hamiltonicity, toughness, and spanning trees. Our notions are invariant under quasi-isometries, and they obey the same relationships between them as their classical analogs. We pose several open problems that are coarse versions of classical results and conjectures about hamiltonicity.
The Almost Stacked Hypothesis: A Conjectural Analogue of Sjöstrand's Cover Pebbling Theorem
We study two graph pebbling parameters, the stacking number and the clearing number, through the Almost Stacked Hypothesis (ASH). This hypothesis asserts that these thresholds can be determined by testing only configurations in which at most one vertex carries more than one pebble. We prove that every almost stacked configuration of size $2^{n+1}-1$ on $C_{2n}$ is stackable and that every almost stacked configuration of size $3\cdot 2^n-2$ on $C_{2n+1}$ is clearable. Together with the known lower bounds, these results show that ASH implies $\operatorname{stack}(C_{2n})=2^{n+1}-1$ and $\operatorname{clear}(C_{2n+1})=3\cdot 2^n-2$. For a finite tree $T$, we introduce an explicit invariant $\operatorname{estim}(T)$. We prove unconditionally that $\operatorname{stack}(T)\geq\operatorname{estim}(T)$ and prove the reverse inequality under ASH. Consequently, ASH yields $\operatorname{stack}(T)=\operatorname{estim}(T)$, and we conjecture that this equality holds unconditionally. Finally, we study perfectly pebblable graphs: finite connected non-bipartite graphs whose clearing number has the minimum possible value $\operatorname{clear}(G)=|V(G)|+1$. Every complete graph with at least three vertices is perfectly pebblable, which might suggest that perfect pebblability requires high edge density. Assuming ASH, however, we show that this is not the case. We give a sufficient criterion involving strong edge-triangulation and Hamiltonian-path and path-cover conditions in vertex-deleted subgraphs and use it to construct two explicit infinite families of perfectly pebblable graphs with edge density tending to zero, one of which has only a linear number of edges.
Graph Sensitivity of Cartesian Products with Matched Bridges
For a graph $G$, let $f_t(G)$ denote the minimum of the maximum degree of an induced subgraph with $α(G)+t$ vertices, where $α(G)$ is the independence number, and write $f(G)=f_1(G)$. Huang's theorem gives $f(Q_k)\ge\lceil\sqrt{k}\rceil$ for the $k$-dimensional hypercube $Q_k$. We extend this lower bound to Cartesian products of $k$ bipartite graphs with perfect matchings and prove that equality holds when the factors are connected and each has a matched bridge. In particular, we prove that $f(T_1\Box\cdots\Box T_k)=\lceil\sqrt{k}\rceil$ whenever each $T_i$ is a tree with a perfect matching. We determine the sensitivity of every Cartesian product of paths, settling the even-path case left open by Zeng and Hou [J. Graph Theory 107 (2024), 169--180]. For these tree products, with $D=\lceil\sqrt{k}\rceil$, we also prove that $f_t(T_1\Box\cdots\Box T_k)=D$ whenever $1\le t\le 2^{D-\lceil\log_2D\rceil-1}$. When $t=2$, this equality holds for all $k\ge 2$, provided that at least one factor is not $K_2$. Matching cuts give an additional exact range for products of even-order paths. Finally, we prove that $f_2(Q_k)=\lceil\sqrt{k}\rceil$ for every $k\ge 2$ with $k\not\in \{4,9\}$, whereas $f_2(Q_4)=3$ and $3\le f_2(Q_9)\le 4$.
Characterizing chordal $\llcorner$-EPG graphs via admissible clique tree orientations
A $k$-bend path is a non-self-intersecting polyline that lies on a grid and consists of at most $k+1$ axis-parallel line segments. An $\llcorner$-EPG graph is a graph whose vertices can be represented by 1-bend paths on a grid, where each path is either $\llcorner$, $\shortmid$, or $\text{-}$, such that two vertices are adjacent if and only if the corresponding paths share at least one grid edge. Characterizing chordal $\llcorner$-EPG graphs was explicitly posed as an open problem by Cameron, Chaplick, and Hoàng. We resolve this by giving two equivalent characterizations of connected chordal $\llcorner$-EPG graphs. The first assigns to every connected chordal $\llcorner$-EPG graph an ordered clique partition tree of its vertex set, where the underlying tree is the bipartite incidence graph of the horizontal and vertical edge-intersection components. The second is stated purely in terms of maximal cliques: a connected chordal graph is $\llcorner$-EPG if and only if some clique tree admits an admissible partial orientation. A reduction lemma replaces local clique labels by maximal cliques, linking the two characterizations. For a prescribed clique tree, the existence of an admissible partial orientation reduces to 2-SAT and is decided in $O(nM^2)$ time, where $n$ and $M$ are the numbers of vertices and maximal cliques. Finally, we show that strong chordality is not sufficient: we exhibit a strongly chordal graph that is a minimal forbidden induced subgraph for $\llcorner$-EPG, and a family of split graphs with a unique clique tree for which membership in $\llcorner$-EPG reduces to a neighborhood condition.
Tree packing and the graphic Additive Base Conjecture
Tutte's flow conjectures ask when a graph has a nowhere-zero flow with small integer values. We approach these questions through spanning-tree packing and an analytic minimization argument of Alon, Bucić, and Davies. For every integer $q\ge2$, we prove that $q$ edge-disjoint spanning trees suffice to realize every compatible outdegree prescription modulo $q$. For odd prime moduli this proves the graphic Additive Base Conjecture. More generally, integer intervals of edge values realize every prescribed boundary when their widths satisfy the corresponding tree-packing inequalities. We strengthen this condition by allowing a deficit of two in every partition inequality, provided every cut has total width at least $q-1$. The allowance of two is sharp for $q\ge3$. Consequently, five-edge-connected graphs with at most ten odd-degree vertices are $\mathbb Z_3$-connected, and three-edge-connected graphs with at most fourteen odd-degree vertices are $\mathbb Z_5$-connected. Every orientation of a nine-edge-connected graph with at most fourteen odd-degree vertices admits an antisymmetric $\mathbb Z_5$-flow. The refinement also gives sharp bounds for extending preorientations after deleting edges or vertices, including the boundary case of $2q$-edge-connectivity. The same argument recovers Seymour's six-flow theorem, the three-flow theorem for six-edge-connected graphs, and the four-flow theorem for graphs with two edge-disjoint spanning trees. It also gives sharp circular-flow bounds and a cycle-rank bound strictly below six. We examine a five-flow reformulation obtained by tripling the edges of cubic graphs. A $46$-vertex graph of fractional packing number $41/9$ with no modulo-five orientation shows that packing greater than $9/2$ alone does not guarantee such an orientation in arbitrary graphs.
Rainbow spanning configurations in uniformly coloured pseudorandom graphs
We prove a quantitative palette-transference principle for rainbow spanning configurations in uniformly edge-coloured pseudorandom graphs. The input to our transference principle is an embedding result of a spanning configuration in an appropriately bijumbled graph $H$ with sufficiently large minimum degree. The output of our transference principle is the asymptotically almost sure existence of a rainbow copy of the same configuration in a uniformly edge-coloured graph $G$ whose bijumbledness and minimum are comparable and sometimes coincide with those of $H$.
We then apply our transference principle in order to asymptotically almost surely obtain $K_k$-factors, including perfect matchings, Hamilton cycles, and a prescribed bounded-degree spanning tree in bijumbled graphs with appropriate parameters. In all of our results, the palette size exceeds the size of the target configuration by $\varepsilon n$, where $\varepsilon > 0$ is arbitrarily small yet fixed, and $n$ is the order of the configuration.
Entropy and the growth rate of universal covering trees
This work studies the relation between two graph parameters, $ρ$ and $Λ$. For an undirected graph $G$, $ρ(G)$ is the growth rate of its universal covering tree, while $Λ(G)$ is a weighted geometric average of the vertex degree minus one, corresponding to the rate of entropy growth for the non-backtracking random walk (NBRW). It is well known that $ρ(G) \geq Λ(G)$ for all graphs, and that graphs with $ρ=Λ$ exhibit some special properties. In this work we derive an easy to check, necessary and sufficient condition for the equality to hold. Furthermore, we show that the variance of the number of random bits used by a length $\ell$ NBRW is $O(1)$ if $ρ= Λ$ and $Ω(\ell)$ if $ρ> Λ$. As a consequence we exhibit infinitely many non-trivial examples of graphs with $ρ= Λ$.
On the complexity of the single-move labeled token routing problem
In neutral-atom quantum computers, atoms are moved to target positions along paths of empty positions, and a target position may be reserved for one species of atom. Motivated by this task, we introduce Single-Move Labeled Token Routing: every source and every target vertex of a graph is assigned a set of labels, and tokens occupy the sources. A solution consists of a matching that assigns each source to a compatible target (one whose label set intersects its own), a route for each matched pair, and a movement order in which, when a token is moved, its route contains no other token.
The problem is known to be polynomial-time solvable when every source is compatible with every target, and $\mathsf{NP}$-complete on grid graphs when each source is compatible with exactly one target. We prove that the latter case remains $\mathsf{NP}$-complete on grids and on planar graphs of maximum degree four even when some solution has pairwise edge-disjoint routes.
On trees, the problem is known to be $\mathsf{NP}$-complete even for maximum degree three. We study trees through the solution edge multiplicity, the largest number of routes of a solution sharing an edge, and the candidate edge multiplicity, the largest number of compatible pairs whose paths share an edge. We prove that on trees of maximum degree three, the problem is $\mathsf{W}[1]$-hard parameterized by a bound on the solution edge multiplicity, even when a movement order is given, and that on trees of unbounded degree, it is $\mathsf{NP}$-complete even when the candidate edge multiplicity is at most eight. We show that on trees the problem is fixed-parameter tractable parameterized by the maximum degree together with the candidate edge multiplicity, and also by the candidate vertex multiplicity, the same count at vertices. Unless $\mathsf{P}=\mathsf{NP}$, neither the maximum degree nor the candidate edge multiplicity can be omitted.
Distinguishing graphs with simple spectrum by homomorphism counts
We study which graph classes determine every graph with simple spectrum up to isomorphism by homomorphism counts from their members. We show that such a class has unbounded treewidth and Euler genus and contains a graph with the complete graph on seven vertices as a minor. To prove these conditions, we construct pairs of non-isomorphic cospectral graphs with simple spectrum, each bipartite, nonsingular and of maximum degree at most six. The construction attaches rooted trees to Cai-Furer-Immerman graphs and preserves homomorphism indistinguishability over every minor-closed class. We then prove that subcubic homomorphism counts determine every graph whose adjacency matrix has kernel dimension at most one. This extends the known result for nonsingular graphs and applies to all graphs with simple spectrum. We also prove that two graphs have the same subcubic homomorphism counts if and only if they have the same number of vertices and there is a bijective linear isometry between the images of their adjacency matrices that intertwines the adjacency operators and preserves the coordinatewise trilinear forms. Finally, we prove that homomorphism counts from the single-vertex graph and from subdivisions of any sequence of connected cubic graphs have the same distinguishing power as subcubic homomorphism counts if every complete graph is a minor of some member of the sequence.
Optimal Bounds on Spanning Tree Embeddings
We prove that the number of labelled embeddings of any $n$-vertex tree $T$ into an $n$-vertex graph $G$ of maximum degree $d$ satisfies $$ \mathrm{inj}(T,G) \leq (d/e)^n \exp(o_d(1) n). $$ The bound is sharp up to determining $o_d(1)$, even for paths, and the dependence of the error $\exp(o_d(1)n)$ on $d$ is necessary. As an immediate corollary, we obtain an optimal anticoncentration bound for the isomorphism class of a uniformly random spanning tree in a connected $d$-regular graph, answering a conjecture of H. Lee. The proof combines Brégman's inequality with entropy methods.
On Hypergraph Colorings and Completely Independent Spanning Trees in Chordal Graphs
In this paper, we study the existence problem of completely independent spanning trees (CIST) in chordal graphs through appropriate hypergraph representations and their panchromatic and bipanchromatic colorings. First, we disprove a conjecture stating an exact relationship between the panchromatic number, the bipanchromatic number, and the minimum number of unique colors in an optimal panchromatic coloring of a hypergraph. Then, by relating CIST to panchromatic and bipanchromatic colorings of the associated hypergraphs, we derive structural conditions for their existence in chordal graphs and specifically strictly chordal graphs.
Encoding level-3 semi-directed phylogenetic networks by quarnets and quinnets
Phylogenetic networks generalize phylogenetic trees as models of evolutionary history, allowing lineages to merge as well as to diverge. For many types of genetic data the root position of such a network cannot be recovered, so that only a semi-directed network can be inferred: a mixed graph in which only the edges entering a reticulation vertex are directed. A common strategy for inferring such a network is to first infer the subnetwork it induces on each set of $k\geq 3$ of its leaves, called a $k$-net, and then to assemble these pieces. This can only succeed if the $k$-nets determine the network, in which case that network is said to be encoded by its $k$-nets. Semi-directed networks of level-1 and 2, those whose biconnected components contain at most one, respectively two, reticulations, are known to be encoded by their $4$-nets, or quarnets, whereas level-3 networks are not. Even so, in this paper we show that level-3 semi-directed networks are encoded by their $5$-nets, or quinnets, and we characterize the limitation of quarnets exactly: we show that a single previously reported counterexample captures the only obstruction, every other level-3 network being encoded by its quarnets. Our proofs rest on a collection of encoding results for individual structural features of a network, which we establish for networks of arbitrary level and which are of independent interest.
Shuffle Squares in Differentiable Words
Experiments on binary run-length differentiability lead to sharp computer-assisted criteria for shuffle squares. Every $C^3$-word of length greater than $16$ is a shuffle square exactly when both letter multiplicities are even. All $34$ nonempty even-Parikh exceptions are smooth and persist in every higher differentiability class. For $C^2$ the sharp threshold is $48$, with $212$ nonempty exceptions. At level $C^1$ no global parity threshold exists, but every even-Parikh non-shuffle-square of length at least $36$ has proper nonempty shuffle-square prefixes and suffixes. Exactly $230$ nonempty even-Parikh $C^1$-words have no nonempty shuffle-square prefix. The full tree avoiding such prefixes eventually consists of $422$ periodic rays. Consequently, a nonempty Kolakoski prefix is a shuffle square exactly when both multiplicities are even, apart from lengths $4$ and $8$. We also characterize classes of morphisms reflecting shuffle squares. For doubly binary words, we determine the exact deletion distance and largest twins, and prove sharp bounds for single local repairs. Exact recurrences, residual-state checks, and separate Python programs make the finite computations reproducible.
Oriented trees in digraphs without short non-directed cycles
The girth of a graph $G$ is the length of a shortest cycle of $G$. Jiang (JCT-B, 2001) showed that every graph $G$ with girth at least $2\ell+1$ and minimum degree at least $k/\ell$ contains every tree with $k$ edges whose maximum degree does not exceed the minimum degree of $G$. In this paper, we extend Jiang's result to digraphs by proving that every digraph $D$ with no non-directed cycle of length between $3$ and $2\ell$ and minimum semidegree at least $k/\ell$ contains every oriented tree with $k$ edges whose maximum degree does not exceed the minimum semidegree of $D$. This answers a question raised by Stein and Trujillo-Negrete in the affirmative.
Combinatorial twisted bialgebras and combinatorial twisted double bialgebras
We provide in this text a new framework for a family of combinatorial Hopf algebras. We adopt for this the language of species and twisted bialgebras (also known as Hopf monoids). We define the category of combinatorial twisted bialgebras (briefly, CTBs), a class of twisted bialgebras satisfying strong combinatorial conditions of compatibilities of the product and the coproduct with the underlying combinatorial structure. The considered morphisms also have to respect the combinatorial structure, in some sense. Many classical examples fit into this framework, including Hopf algebras of graphs, rooted trees, posets, hypergraphs, symmetric functions, boolean maps, etc. Most of known combinatorial Hopf algebras can be obtained from a CTB by application of a Fock functor, or by duality. A central result is the introduction of a universal CTB denoted by $\mathbf{Exch}$, built from collections of compositions satisfying a certain exchange condition. It has a special character $ε$, such that the pair $(\mathbf{Exch},ε)$ plays a role analogous to that of quasi-symmetric functions for graded and connected Hopf algebras: it is the terminal object in the category of CTBs equipped with combinatorial characters. This leads to universal morphisms that encode important information about the combinatorial structure of coproducts. The natural order on the set of compositions on a fixed set is used to define three important sub-objects $\mathbf{Exch}\_-$, $\mathbf{Exch}\_+$ and $\mathbf{Exch}\_{+\hspace{-2mm}+}$ of $\mathbf{Exch}$. We also studies polynomial invariants associated with CTBs. It establishes a correspondence between characters and polynomial invariants. Well-known invariants such as the chromatic polynomial of graphs and the Ehrhart polynomials of posets arise naturally within this framework. We show that, for a given degree, only finitely many polynomial invariants can occur. We show that these universal polynomial invariants can be used to give cancellation-free formulas for the antipode or the Eulerian idempotent, under conditions on the CTB, and use this for an example based on rooted trees, coming from a Hopf algebra used in linguistics. Results are also obtained for families of polynomial invariants with the alternating sign condition, or satisfying a reciprocity principle. We also extend the theory to combinatorial twisted double bialgebras (briefly, CTDBs), which involve two interacting coproduct structures. These generalize previously known examples arising from graphs, posets, hypergraphs, and rooted trees. The twisted approach preserves the combinatorial richness of these structures while providing a unified algebraic framework. We show that not any CTB can be made a CTDB, leading to the introduction of the notion of quasi-cocommutativity. In particular, we show that $\mathbf{Exch}\_+$ is not a CTDB, and construct a sub-object which is, in a unique way, and maximal for the inclusion. In the cocommutative case, simplifications naturally occur, and we show that in this case, a CTB of hypergraphs plays a central role, especially two sub-objects based on connectedness systems and antichain covers. We also show that, in the cocommutative case, the universal polynomial invariants are always chromatic polynomials of hypergraphs, no matter which CTB is considered. Finally, forgetting the combinatorial underlying structure, we study the algebraic structure of $\mathrm{Exch}$, with the help of a twisted version of Loday and Ronco's rigidity theorem for infinitesimal bialgebras.
Sharp planar Turán bounds for quasi-double stars
We study $W$-free planar graphs for $W\in\{W_{2,4},W_{2,5},W_{3,4}\}$, where the quasi-double star $W_{h,k}$ is obtained from a three-vertex path by attaching $h$ leaves to one endpoint and $k$ leaves to the other. We prove that every $W_{2,4}$-free planar graph on $n$ vertices has at most $9n/4$ edges, and the bound is attained whenever $8\mid n$. This determines the planar Turán density of $W_{2,4}$ as $9/4$. We also establish the sharp upper bound $5n/2$ for $W_{2,5}$. Combined with known constructions of planar graphs of maximum degree five, it yields $\ex_{\PP}(n,W_{2,5})=\lfloor5n/2\rfloor$ for every $n\ge15$. These results close the two corresponding coefficient gaps in the bounds of Liu et~al. Our proofs use structural restrictions on high-degree vertices, local deletions, and degree deficits in neighborhoods of radius two. For $W_{3,4}$, we characterize the planar graphs with a dominating vertex that avoid this tree and determine their exact extremal number, $\lfloor(5n-7)/2\rfloor$, for every $n\ge10$. Finally, $W$-free planar triangulations have at most eight, twelve, and eleven vertices for $W=W_{2,4},W_{2,5},W_{3,4}$, respectively; the first two bounds are sharp.
A Decomposition of the Hitting Time Index Using the Kirchhoff Index and an Asymmetry Term
We study the hitting time index, a graph invariant defined in terms of expected hitting times of simple random walks on finite connected graphs, through its relation with the Kirchhoff index. Using the commute time identity and Tetali's formula, we decompose the hitting time index into a Kirchhoff-index term and a nonnegative asymmetry term expressed by degree-weighted effective resistance sums. We derive lower and upper bounds for the asymmetry term, together with their equality conditions, and obtain a lower bound for the hitting time index in terms of the range of the degree-weighted resistance sums. For trees, we obtain lower and upper bounds for the asymmetry term, with the upper bound expressed in terms of the Wiener index, and characterize the equality case in the lower bound. In particular, we show that among all trees of fixed order, the hitting time index is minimized uniquely by the star graph.
Finally, we apply the decomposition to complete bipartite graphs, paths, and graphs obtained by conjoining complete graphs, and recover several known hitting-time formulas.
On the Average Sizes of Ideals and Antichains in Some Infinite Families of Posets
We study the average sizes of ideals and antichains in several families of posets arising from rooted unlabeled trees. For ideals, we encode order ideals by coloring vertices red, with the condition that every descendant of a red vertex is also red. Using generating functions and singularity analysis, we show that for every family governed by a quadratic root decomposition, the average number of red vertices in a tree of size $n$ is asymptotic to $n/3$. This includes binary plane trees, plane 1-2 trees, plane 2-trees, and 0-1-trees, while unrestricted rooted plane trees instead have average ideal size asymptotic to $2n/5$. For antichains, represented by pairwise incomparable blue vertices, the corresponding asymptotic constants depend on the particular branching function; for example, binary plane trees have average antichain size asymptotic to $n/6$. We also consider plane trees in which every vertex has at most $k$ children and prove that the asymptotic proportion of red vertices increases strictly with $k$, from $1/3$ when $k=2$ to the limiting value $2/5$ for unrestricted rooted plane trees. The asymptotic proportion of blue vertices also increases strictly with $k$, tending to $3/10$. The proofs are based on bivariate generating functions together with the analytic implicit-function and smooth implicit-function methods of analytic combinatorics.
Prime Labelings of Trees
A prime labeling of a graph labels its vertices bijectively with the integers from one to the number of vertices, so that adjacent vertices receive coprime labels. I prove the Entringer-Tout conjecture that every tree admits a prime labeling, extending the result of Haxell, Pikhurko, and Taraz from sufficiently large trees to all orders. My proof combines structural decompositions of trees, arithmetic organization of the labels, and matching arguments. I reduce the labeling problem to a structured bipartite matching problem by separating a small part of the tree, distributing labels according to their divisibility properties, and applying Hall's theorem to complete the labeling. I handle the finite and intermediate ranges using exact computer-assisted certificates whose validity is justified mathematically, while the remaining range is covered by analytic estimates. Together, these ingredients yield a proof for trees of every order.