tree
6860 papers tagged with this keyword
Uniquely labelled geodesics of Coxeter groups
Studying geodesics in Cayley graphs of groups has been a very active area of research over the last decades. We introduce the notion of a uniquely labelled geodesic, abbreviated with u.l.g. These will be studied first in finite Coxeter groups of type $A_n$. Here we introduce a generating function, and hence are able to precisely describe how many u.l.g.'s we have of a certain length and with which label combination. These results generalize several results about unique geodesics in Coxeter groups. In the second part of the paper, we expand our investigation to infinite Coxeter groups described by simply laced trees. We show that any u.l.g. of finite branching index has finite length. We use the example of the group $\widetilde{D}_6$ to show the existence of infinite u.l.g.'s in groups which do not have any infinite unique geodesics. We conclude by exhibiting a detailed description of the geometry of such u.l.g.'s and their relation to each other in the group $\widetilde{D}_6$.
The permuton limit of strong-Baxter and semi-Baxter permutations is the skew Brownian permuton
Published in Electronic Journal of Probability, vol. 27, 2022, pp. 1-53
• View Publication
• BIB
We recently introduced a new universal family of permutons, depending on two parameters, called skew Brownian permuton. For some specific choices of the parameters, the skew Brownian permuton coincides with some previously studied permutons: the biased Brownian separable permuton and the Baxter permuton. The latter two permutons are degenerate cases of the skew Brownian permuton.
In the present paper we prove the first convergence result towards a non-degenerate skew Brownian permuton. Specifically, we prove that strong-Baxter permutations converge in the permuton sense to the skew Brownian permuton for a non-degenerate choice of the two parameters. In order to do that, we develop a robust technique to prove convergence towards the skew Brownian permuton for various families of random constrained permutations. This technique relies on generating trees for permutations, allowing an encoding of permutations with multi-dimensional walks in cones. We apply this technique also to semi-Baxter permutations.
Completing the enumeration of inversion sequences avoiding triples of relations
An inversion sequence of length $n$ is an integer sequence $(a_1, \ldots, a_n)$ such that $0 \le a_i < i$ for all $i$. The study of pattern-avoiding inversion sequences was initiated in 2015 by Mansour and Shattuck and in 2016 by Corteel, Martinez, Savage and Weselcouch. Martinez and Savage later defined a new type of pattern, a triple of binary relations, of which there are currently 14 uncounted avoidance classes. We complete the enumeration for all of these classes using generating tree methods "growing on the left" and "growing on the right". For many of these classes we are able to find algebraic generating functions. We also discuss the asymptotic behaviour of the counting sequences.
A sandwich theorem for the spectrum of graph coverings
We show that all normal covers of a fixed finite graph $G$ sitting between the universal and maximal abelian covers share the same atomic part of their spectral measures. We give an explicit double formula for the mass of atoms which generalises and unifies known results on universal covering trees and maximal abelian covers. It also proves an extension of a conjecture in physics literature on hyperbolic lattices. Moreover, we also establish the logarithmic Hölder regularity of the continuous part of the spectral measures. Our proof combines techniques from von Neumann algebras, matching theory and the monotone labelling method.
In an appendix, we prove a converse generalised Gallai-Edmonds structural theorem which might be of independent interest.
Very sharp distance and range transitions for random walk bridges on Ramanujan graphs
For vertex-transitive Ramanujan graphs with logarithmic girth, a simple random walk bridge of length of order $\log N$, where $N$ is the size of the graph, has a maximum distance that changes from order $\sqrt{\log N}$ to order $\log N$ in a bounded critical window. We prove this by separating bridges whose lifts to the regular tree close from those whose lifts do not. A uniform two-term return estimate determines the probabilities of these two cases and the real-valued critical center. In the same $O(1)$ window, the normalized range has a two-point limiting law whose mixture weights vary nontrivially across the window.
A Turán-type extremal problem for the number of spanning trees in $C_4$-free graphs
For a graph \(F\), the Turán number \(\ex(n,F)\) is the maximum number of edges in an \(F\)-free graph on \(n\) vertices. Let \(q\ge 2\) be an integer and set \(n=q^{2}+q+1\). Brown and Erdős, Rényi and Sós independently proved that $\ex(n,C_{4})\ge \frac12 q(q+1)^{2}$ for every prime power \(q\), and Füredi subsequently established the upper bound $\frac12 q(q+1)^{2}$ for $\ex(n,C_{4})$ whenever \(q\notin\{1, 7,9,11,13\}\). In this article, we prove that every \(C_{4}\)-free graph \(G\) on \(n\) vertices with at most \(\frac12 q(q+1)^{2}\) edges satisfies $τ(G)\le n^{(n-3)/2}$, where \(τ(G)\) denotes the number of spanning trees of \(G\). In particular, for every prime power $q\notin\{7,9,11,13\}$, the above upper bound on $τ(G)$ is attained precisely by the orthogonal polarity graphs, thereby proving London's conjecture for all such $q$.
Tight bounds on the Carathéodory and exchange numbers in $\triangle$-convexity
The $\triangle$-convexity space on a finite, simple graph $G = (V,E)$ is the collection $\mathcal{C}$ of subsets $S \subseteq V(G)$ such that whenever $x \in V(G)$ forms a triangle with two vertices in $S$, we have $x \in S$. The members of $\mathcal{C}$ are called convex sets, and the convex hull of a set $S \subseteq V(G)$, denoted $\operatorname{Hull}(S)$, is the smallest member of $\mathcal{C}$ that contains $S$. The Carathéodory (resp., exchange) number, $c_{\triangle}(G)$ (resp., $e_{\triangle}(G)$), is the size of a largest Carathéodory (resp., exchange) independent subset of $V(G)$. It was shown by Anand et al. (JCMCC 126, 2025, 11--27) that $c_{\triangle}(G) \leq t(G)+1$ and $e_{\triangle}(G) \leq t(G) + 2$, where $t(G)$ is the number of triangles in $G$, and that these bounds are tight. They also computed $c_{\triangle}(G)$ and $e_{\triangle}(G)$ for a block graph $G$ in terms of the number and arrangement of non-$K_2$ blocks in $G$.
In this paper, we point out a gap in the proof in Anand et al. of the first inequality, $c_{\triangle}(G) \leq t(G)+1$, which has consequences for the proof of the second inequality, $e_{\triangle}(G) \leq t(G) + 2$, as well. Moreover, the tightness results are inadvertently applied as characterizations of the extremal graphs, leading to incorrect computations of the Carathéodory and exchange numbers of block graphs in certain cases. We fix these gaps by giving a full proof of the first inequality via a different route from that in Anand et al. Together with the argument in Anand et al., this also completes the proof of the second inequality. Our proof also leads to a characterization of the extremal graphs for each bound, which we use to compute the Carathéodory and exchange numbers of block graphs and to identify the extremal block graphs. We also determine $e_{\triangle}(G)$ exactly for $k$-trees for every $k \geq 2$.
Curvature Diffusion of Inverse-weight Lin--Lu--Yau Ricci Flow on Finite Trees
We study the inverse-weight Lin--Lu--Yau Ricci flow on finite trees, and prove the convergence of the curvature on every edge via its diffusion equation. Moreover, the limiting curvature is the unique minimum-norm point of a polyhedron determined by the tree. We characterize possible limits of the normalized edge weights, give criteria for their convergence, and show that different positive initial metrics have equivalent omega-limit sets.
Uniform integrability of the distance to the nearest leaf in random trees
We study the distance from the root to the nearest leaf, the analogous quantity for a uniformly chosen vertex, and its protection number, in size-conditioned simply generated trees. We prove a uniform exponential tail bound for each of these quantities, valid for arbitrary offspring distributions. As a consequence, these random variables are uniformly integrable of every order. This yields convergence of all moments to those of the corresponding local limit. The argument is probabilistic and unified across the three quantities.
Defective chromatic polynomials
For a graph $G$ and an integer $d\geq 0$, the defective chromatic polynomial $χ_d(G;k)$ counts the $k$-colorings of $G$ in which each vertex has at most $d$ neighbors of its own color. We investigate which structural properties of $G$ are determined by the full family $\{χ_d(G;k)\}_{d\geq 0}$. We establish a contraction formula expressing $χ_d(G;k)$ as a sum of ordinary chromatic polynomials of the edge contractions of $G$. As a first application, we prove that for triangle-free graphs, the full family determines the degree sequence. For trees, we show further that the family $\{χ_d(T;k)\}_{d\geq 0}$ determines the path-subgraph counts $N(P_j,T)$ for $j=1,2,3,4$, but not for $j=5$. For each $n\geq 9$, we construct a pair of nonisomorphic trees of order $n$ that share the same defective chromatic polynomials for every $d\geq 0$.
Introducing irrational enumeration: analytic combinatorics for objects of irrational size
Published in Electron. J. Combin. 33(3): P3.15, 2026
• View Publication
• BIB
We extend the scope of analytic combinatorics to classes containing objects that have irrational sizes. The generating function for such a class is a power series that admits irrational exponents (which we call a Ribenboim series). A transformation then yields a generalised Dirichlet series from which the asymptotics of the coefficients can be extracted by singularity analysis using an appropriate Tauberian theorem. In practice, the asymptotics can often be determined directly from the original generating function. We illustrate the technique with a variety of applications, including tilings with tiles of irrational area, ordered integer factorizations, lattice walks enumerated by Euclidean length, and plane trees with vertices of irrational size. We also explore phase transitions in the asymptotics of families of irrational combinatorial classes.
This revision contains a correction to the proof of Proposition 13 that appears in the published version.
Sedentary quantum walks on bipartite and planar graphs
If a quantum walk starting on a vertex tends to stay at home, then that vertex is said to be sedentary. We prove that almost all planar graphs and almost all trees contain at least two sedentary vertices for any assignment of edge weights --- a result that suggests vertex sedentariness is a common phenomenon in trees and planar graphs. For weighted bipartite graphs, we show that a vertex is not sedentary whenever 0 does not belong to its eigenvalue support. Consequently, each vertex in a nonsingular weighted bipartite graph is not sedentary, a stark contrast to weighted trees and weighted planar graphs. A corollary of this result is that every vertex in a bipartite graph with a unique perfect matching is not sedentary for any assignment of edge weights. We also construct new families of weighted bipartite graphs with sedentary vertices using the bipartite double, subdivision operation, and corona product. Finally, we show that unweighted paths and unweighted even cycles contain no sedentary vertices.
Edge-Defect Spectral Methods for Higher-Order Rankings of Spanning Tree Counts
In this paper, we study the higher-order ranking, by spanning-tree count, of graphs obtained from a complete graph by deleting a fixed number of edges. Using the edge-defect matrix determined by the deleted edges and the interaction number measuring the local overlap among them, we derive a stability inequality that quantitatively estimates the decrease in the number of spanning trees from the matching-deletion case. Combining this stability estimate with a classification of deletion graphs having small interaction number, we determine, up to isomorphism, the nine deletion graphs with the largest spanning-tree counts for $p\geq6$ and $n\geq2p$. We also clarify the relation between the interaction number, the local structure of the deletion graph, and the decrease in the number of spanning trees through a logarithmic expansion of the normalized spanning-tree count.
Polynomial Compressibility and Forbidden Oriented Forests
For a nonempty acyclic oriented graph $H$, let $p(H)$ be the order of a longest directed path and let $τ(H)$ be the least positive integer $n$ such that $H$ admits a homomorphism to every tournament of order $n$. For all $p\ge3$ and $g\ge1$, we construct a connected acyclic oriented graph $H$ with underlying girth greater than $g$, absolute and relative oriented clique numbers equal to three, and \[
p(H)=p,\qquad τ(H)=r_{\mathrm{tr}}(p), \] where $r_{\mathrm{tr}}(p)=2^{Θ(p)}$ is the tournament Ramsey number for a transitive $p$-vertex tournament. This disproves the conjectured polynomial bounds under bounded absolute or relative oriented clique number. It also shows that a forbidden graph can yield a polynomially $τ$-bounded class only if its underlying graph is a forest. For fixed $g$, the least order of these examples is bounded by a polynomial in $p$. A separate construction gives maximum in- and outdegree $O(p^2)$, uniformly in $g$. For $p=4$, the least order is $2^{Θ(g)}$. We also establish polynomial $τ$-boundedness for every orientation of the two four-vertex trees. The pure-claw case follows from the known $O(p^4)$ bound. We obtain the bound $2p-2$ for mixed claws and one-turn orientations of $P_4$ when $p\ge2$, and bounds $4$ and $3p-2$ for the directed and alternating orientations of $P_4$, respectively. In the alternating case, $τ(H)=p(H)$ when the underlying graph is triangle-free.
A Hopf Algebraic Theory of the Quantum Magnusian
We develop a Hopf-algebraic theory of the graph coefficients arising in the quantum Magnus expansion. At the classical level, the graph expansion is governed by directed trees, whereas its quantum counterpart involves loop graphs, multiple edges, and different types of edge data. We introduce a contraction Hopf algebra of mixed quivers containing these physical diagrams and closed under contraction.
On the Hopf subalgebra spanned by quivers, we define a character $e$ from normalized linear-extension data and a tadpole prescription, and let $ω$ be its convolution inverse. Our main result is a universal closed formula for the connected function $ω_c$ on every finite quiver. The formula is a finite sum over ordered set partitions of the vertex set and is valid without acyclicity or simplicity assumptions. We also give a local characterization: a two-vertex contraction identity, together with tadpole factorization, vanishing on disconnected graphs, and boundary data, determines $ω_c$ uniquely.
For acyclic quivers, the general formula reduces to a permutation formula whose coefficients depend only on descent numbers. We derive the same formula independently from the quantum Magnus expansion via operator products and Wick contractions, showing that its physical graph coefficients are governed by the convolution structure of the contraction Hopf algebra. As further consequences, we obtain a refined quantum Murua formula and orientation-sum identities related to Tutte and chromatic polynomials.
Bipartite Turán Numbers of Trees and Star Forests
The bipartite Turán number of a graph $H$, denoted $\text{ex}(m, n; H)$, is the maximum
number of edges in any $H$-free bipartite graph $G = (A, B; E)$ with parts of size $|A| = m$ and $|B| = n$. We study this problem for two families. For a tree $T = T(r, s)$ with parts $R$ and $S$ of sizes $|R| = r \le s = |S|$, we prove
\[
(r - 1) n \;\le\; \text{ex}(m, n; T(r, s)) \;\le\; (r - 1) n + C(m,r,s)
\]
for $n$ sufficiently large compared to $m$, $r$, and $s$, where $C(m,r,s)$ does not depend on $n$, determining the leading-order term exactly (with the star case $r = 1$ solved with an exact formula). For a star forest $F = \bigcup_{i=1}^k S_{d_i}$ with $d_1 \ge \cdots \ge d_k$, we determine the exact value $\text{ex}(m, n; F) = (k - 1) n + (d_k - 1)(m - k + 1)$ for $n$ sufficiently large, and characterize the unique extremal graph.
Extremal Spanning Trees in Product Grid Graphs
We compare spanning-tree counts at a fixed number of vertices for Cartesian products of paths $P_r$, $r\ge1$, or cycles $C_s$, $s\ge3$. With the number $d$ of factors fixed, an equal-volume tuple that is more balanced in the logarithmic majorization order has at least as many spanning trees, with equality only for permutations. This comparison persists after adjoining any fixed finite connected Cartesian factor; equal-sided blocks therefore uniquely maximize the count at admissible block volume $n^d$. We prove the comparison through strict log-convexity of one-dimensional heat traces in logarithmic length. The Hartman--Watson representation expresses the cycle interpolation as a positive mixture of theta functions, and the path case follows from it. The same heat-trace order decreases every positive inverse-power sum of the nonzero Laplacian eigenvalues, and hence the total effective resistance. Cylinders behave differently: square balancing can fail. For $P_r\square C_s$ of area $N=rs$, extending the product formula to real height and optimizing over integer circumferences $3\le s\le N$ yields an optimum on the scale $N^{1/3}$. Along areas having a divisor asymptotic to that optimum, quantitative estimates place every graph-maximizing circumference on the same scale. For two-dimensional tori, balancing remains optimal, but the gain in the logarithmic spanning-tree count admits no positive uniform lower bound proportional to the decrease in the side sum.
Families of Eliahou semigroups linked to Farey intervals
We describe a way to explore the numerical semigroup tree to find all Eliahou semigroups of conductor up to 200 (and conjecturally up to 400) thanks to a new way of representing the semigroups and pruning off unwanted branches. This proves that Wilf's conjecture holds for conductor up to 200.
Based on this list, we describe new classes of numerical semigroups, with a Farey interval as a crucial parameter. We show that these semigroups probably all satisfy Wilf's conjecture. We explicitly construct many families of Eliahou semigroups belonging to these classes, encompassing families described by Delgado, Eliahou and Fromentin, and Bras-Amorós.
The diameter of recoloring graphs under a maximum average degree bound
For a graph $G$, we write $\mathrm{mad}(G)$ for its maximum average degree and $\mathrm{diam} G$ for its diameter. Let $R_k(G)$ be the graph whose vertices are the proper colorings of $G$ with $k$ colors, where two colorings are adjacent when they differ at one vertex. Feghali (JCTB, 2021) proved that, for fixed integers $d,k\ge 1$ with $k\ge d+1$ and every $\varepsilon>0$, every $n$-vertex graph $G$ satisfying $\mathrm{mad}(G)\le d-\varepsilon$ has $\mathrm{diam} R_k(G)=O_{d,k,\varepsilon}(n(\log n)^{d-1})$. In this article, we prove that \[
\mathrm{diam} R_k(G)=O_{d,k,\varepsilon}\!\left(
n(\log n)^{\left\lfloor (d-1)/(k-d)\right\rfloor}
\right), \] which extends the result proved by Feghali directly. The proof uses a partition into independent layers and removes $k-d$ colors at each recursive stage. We also improve the bound on the number of layers and determine the best possible linear coefficient in the forest case. More precisely, for $0<\varepsilon<2$, every $n$-vertex graph $G$ with $\mathrm{mad}(G)\le2-\varepsilon$ satisfies $\mathrm{diam} R_3(G)\leρ_M n$, where $M=\lfloor2/\varepsilon\rfloor$, $ρ_M=\max_{1\le m\le M}D_m/m$, and $D_m$ is the largest diameter of $R_3(T)$ over all trees $T$ on $m$ vertices. Moreover, the coefficient $ρ_M$ is best possible.
Minimal transitive factorizations supported on quasi-threshold graphs
We study the number of minimal transitive factorizations of the identity permutation in $S_n$ into transpositions supported on a quasi-threshold graph. We show that this number is always divisible by $(2n-2)!/n!$, which is the factorization count for a star graph, as shown by Irving and Rattan. To prove this, we give a combinatorial formula for the number of such factorizations as a weighted sum over a subset of the $n^{n-2}$ factorization trees, which are edge-weighted spanning trees satisfying certain flow constraints.