tree
6861 papers tagged with this keyword
Small resolutions of moduli spaces of scaled curves
Published in International Mathematics Research Notices, Volume 2025, Issue 13, July 2025, rnaf196
• View Publication
• BIB
We construct small resolutions of the moduli space $\overline{Q}_n$ of stable scaled $n$-marked lines of Ziltener and Ma'u--Woodward and of the moduli space $\overline{P}_n$ of stable $n$-marked ${\mathbb G}_a$-rational trees introduced in earlier work. The resolution of $\overline{P}_n$ is the augmented wonderful variety corresponding to the graphic matroid of the complete graph. The resolution of $\overline{Q}_n$ is a further blowup, also a wonderful model of an arrangement in ${\mathbb P}^{n-1}$.
Disproof of a conjecture on the minimum Wiener index of signed trees
Published
• View Publication
• BIB
The Wiener index of a connected graph is the sum of distances between all unordered pairs of vertices. Sam Spiro [The Wiener index of signed graphs, Appl. Math. Comput., 416(2022)126755] recently introduced the Wiener index for a signed graph and conjectured that the path $P_n$ with alternating signs has the minimum Wiener index among all signed trees with $n$ vertices. By constructing an infinite family of counterexamples, we prove that the conjecture is false whenever $n$ is at least 30.
Pattern-Avoiding Fishburn Permutations and Ascent Sequences
A Fishburn permutation is a permutation which avoids the bivincular pattern $(231, \{1\}, \{1\})$, while an ascent sequence is a sequence of nonnegative integers in which each entry is less than or equal to one more than the number of ascents to its left. Fishburn permutations and ascent sequences are linked by a bijection $g$ of Bousquet-Mélou, Claesson, Dukes, and Kitaev. We write $F_n(σ_1,\ldots,σ_k)$ to denote the set of Fishburn permutations of length $n$ which avoid each of $σ_1,\ldots,σ_k$ and we write $A_n(α_1,\ldots,α_k)$ to denote the set of ascent sequences which avoid each of $α_1,\ldots,α_k$. We settle a conjecture of Gil and Weiner by showing that $g$ restricts to a bijection between $F_n(3412)$ and $A_n(201)$. Building on work of Gil and Weiner, we use elementary techniques to enumerate $F_n(123)$ with respect to inversion number and number of left-to-right maxima, obtaining expressions in terms of $q$-binomial coefficients, and to enumerate $F_n(123,σ)$ for all $σ$. We use generating tree techniques to study the generating functions for $F_n(321, 1423)$, $F_n(321,3124)$, and $F_n(321,2143)$ with respect to inversion number and number of left-to-right maxima. We use these results to show $|F_n(321,1423)| = |F_n(321,3124)| = F_{n+2} - n - 1$, where $F_n$ is a Fibonacci number, and $|F_n(321,2143)| = 2^{n-1}$. We conclude with a variety of conjectures and open problems.
Two New Characterizations of Path Graphs
Published
• View Publication
• BIB
Path graphs are intersection graphs of paths in a tree. We start from the characterization of path graphs by Monma and Wei [C.L.~Monma,~and~V.K.~Wei, Intersection Graphs of Paths in a Tree, J. Combin. Theory Ser. B, 41:2 (1986) 141--181] and we reduce it to some 2-colorings subproblems, obtaining the first characterization that directly leads to a polynomial recognition algorithm. Then we introduce the collection of the attachedness graphs of a graph and we exhibit a list of minimal forbidden 2-edge colored subgraphs in each of the attachedness graph.
The Schwarzian octahedron recurrence (dSKP equation) I: explicit solutions
Published
• View Publication
• BIB
We prove an explicit expression for the solutions of the discrete Schwarzian octahedron recurrence, also known as the discrete Schwarzian KP equation (dSKP), as the ratio of two partition functions. Each one counts weighted oriented dimer configurations of an associated bipartite graph, and is equal to the determinant of a Kasteleyn matrix. This is in the spirit of Speyer's result on the dKP equation, or octahedron recurrence [Spe07]. One consequence is that dSKP has zero algebraic entropy, meaning that the growth of the degrees of the polynomials involved is only polynomial. There are cancellations in the partition function, and we prove an alternative, cancellation free explicit expression involving complementary trees and forests. Using all of the above, we show several instances of the Devron property for dSKP, i.e., that certain singularities in initial data repeat after a finite number of steps. This has many applications for discrete geometric systems and is the subject of the companion paper [AdTM22]. We also prove limit shape results analogous to the arctic circle of the Aztec diamond. Finally, we discuss the combinatorics of all the other octahedral equations in the classification of Adler, Bobenko and Suris [ABS12].
The number of bounded-degree spanning trees
Published
• View Publication
• BIB
For a graph $G$, let $c_k(G)$ be the number of spanning trees of $G$ with maximum degree at most $k$. For $k \ge 3$, it is proved that every connected $n$-vertex $r$-regular graph $G$ with $r \ge \frac{n}{k+1}$ satisfies $$ c_k(G)^{1/n} \ge (1-o_n(1)) r \cdot z_k $$ where $z_k > 0$ approaches $1$ extremely fast (e.g. $z_{10}=0.999971$). The minimum degree requirement is essentially tight as for every $k \ge 2$ there are connected $n$-vertex $r$-regular graphs $G$ with $r=\lfloor n/(k+1) \rfloor -2$ for which $c_k(G)=0$. Regularity may be relaxed, replacing $r$ with the geometric mean of the degree sequence and replacing $z_k$ with $z_k^* > 0$ that also approaches $1$, as long as the maximum degree is at most $n(1-(3+o_k(1))\sqrt{\ln k/k})$. The same holds with no restriction on the maximum degree as long as the minimum degree is at least $\frac{n}{k}(1+o_k(1))$.
A Dual Ramsey theorem for trees
We prove a dualization of the Graham--Rothschild Theorem for variable words indexed by homogeneous trees.
Burnability of Double Spiders and Path Forests
Published
• View Publication
• BIB
The burning number of a graph can be used to measure the spreading speed of contagion in a network. The burning number conjecture is arguably the main unresolved conjecture related to this graph parameter, which can be settled by showing that every tree of order $m^2$ has burning number at most $m$. This is known to hold for many classes of trees, including spiders - trees with exactly one vertex of degree greater than two. In fact, it has been verified that certain spiders of order slightly larger than $m^2$ also have burning numbers at most $m$, a result that has then been conjectured to be true for all trees. The first focus of this paper is to verify this slightly stronger conjecture for double spiders - trees with two vertices of degrees at least three and they are adjacent. Our other focus concerns the burning numbers of path forests, a class of graphs in which their burning numbers are naturally related to that of spiders and double spiders. Here, our main result shows that a path forest of order $m^2$ with a sufficiently long shortest path has burning number exactly $m$, the smallest possible for any path forest of the same order.
Short Synchronizing Words for Random Automata
Published
• View Publication
• BIB
We prove that a uniformly random automaton with $n$ states on a 2-letter alphabet has a synchronizing word of length $O(n^{1/2}\log n)$ with high probability (w.h.p.). That is to say, w.h.p. there exists a word $ω$ of such length, and a state $v_0$, such that $ω$ sends all states to $v_0$. Prior to this work, the best upper bound was the quasilinear bound $O(n\log^3n)$ due to Nicaud (2016). The correct scaling exponent had been subject to various estimates by other authors between $0.5$ and $0.56$ based on numerical simulations, and our result confirms that the smallest one indeed gives a valid upper bound (with a log factor).
Our proof introduces the concept of $w$-trees, for a word $w$, that is, automata in which the $w$-transitions induce a (loop-rooted) tree. We prove a strong structure result that says that, w.h.p., a random automaton on $n$ states is a $w$-tree for some word $w$ of length at most $(1+ε)\log_2(n)$, for any $ε>0$. The existence of the (random) word $w$ is proved by the probabilistic method. This structure result is key to proving that a short synchronizing word exists.
Moore-Penrose inverse of distance Laplacians of trees are Z matrices
We show that all off-diagonal entries in the Moore-Penrose inverse of the distance Laplacian matrix of a tree are non-positive.
Turán number for odd-ballooning of trees
Published
• View Publication
• BIB
The Turán number $ex(n,H)$ is the maximum number of edges in an $H$-free graph on $n$ vertices. Let $T$ be any tree. The odd-ballooning of $T$, denoted by $T_o$, is a graph obtained by replacing each edge of $T$ with an odd cycle containing the edge, and all new vertices of the odd cycles are distinct. In this paper, we determine the exact value of $ex(n,T_o)$ for sufficiently large $n$ and $T_o$ being good, which generalizes all the known results on $ex(n,T_o)$ for $T$ being a star, due to Erdős et al. (1995), Hou et al. (2018) and Yuan (2018), and provides some counterexamples with chromatic number 3 to a conjecture of Keevash and Sudakov (2004), on the maximum number of edges not in any monochromatic copy of $H$ in a $2$-edge-coloring of a complete graph of order $n$.
Tree decompositions and many-sided separations
A separation of a graph $G$ is a partition $(A_1, A_2, C)$ of $V(G)$ such that $A_1$ is anticomplete to $A_2$. A classic result from Robertson and Seymour's Graph Minors Project states that there is a correspondence between tree decompositions and laminar collections of separations. A many-sided separation of a graph $G$ is a partition $(A_1, \ldots, A_k, C)$ of $V(G)$ such that $A_i$ is anticomplete to $A_j$ for all $1 \leq i < j \leq k$. In this note, we show a correspondence between tree decompositions with a certain parity property, called deciduous tree decompositions, and laminar collections of many-sided separations.
Computing Tree Decompositions with Small Independence Number
Published
• View Publication
• BIB
The independence number of a tree decomposition is the maximum of the independence numbers of the subgraphs induced by its bags. The tree-independence number of a graph is the minimum independence number of a tree decomposition of it. Several NP-hard graph problems, like maximum weight independent set, can be solved in time n^{O(k)} if the input n-vertex graph is given together with a tree decomposition of independence number k. Yolov, in [SODA 2018], gave an algorithm that, given an n-vertex graph G and an integer k, in time n^{O(k^3)} either constructs a tree decomposition of G whose independence number is O(k^3) or correctly reports that the tree-independence number of G is larger than k.
In this paper, we first give an algorithm for computing the tree-independence number with a better approximation ratio and running time and then prove that our algorithm is, in some sense, the best one can hope for. More precisely, our algorithm runs in time 2^{O(k^2)} n^{O(k)} and either outputs a tree decomposition of G with independence number at most $8k$, or determines that the tree-independence number of G is larger than k. This implies 2^{O(k^2)} n^{O(k)}-time algorithms for various problems, like maximum weight independent set, parameterized by the tree-independence number k without needing the decomposition as an input. Assuming Gap-ETH, an n^{Ω(k)} factor in the running time is unavoidable for any approximation algorithm for the tree-independence number.
Our second result is that the exact computation of the tree-independence number is para-NP-hard: We show that for every constant k \ge 4 it is NP-hard to decide if a given graph has the tree-independence number at most k.
Fractons on Graphs and Complexity
Published
• View Publication
• BIB
We introduce two exotic lattice models on a general spatial graph. The first one is a matter theory of a compact Lifshitz scalar field, while the second one is a certain rank-2 $U(1)$ gauge theory of fractons. Both lattice models are defined via the discrete Laplacian operator on a general graph. We unveil an intriguing correspondence between the physical observables of these lattice models and graph theory quantities. For instance, the ground state degeneracy of the matter theory equals the number of spanning trees of the spatial graph, which is a common measure of complexity in graph theory ("GSD = complexity"). The discrete global symmetry is identified as the Jacobian group of the graph. In the gauge theory, superselection sectors of fractons are in one-to-one correspondence with the divisor classes in graph theory. In particular, under mild assumptions on the spatial graph, the fracton immobility is proven using a graph-theoretic Abel-Jacobi map.
Fast construction on a restricted budget
Published
• View Publication
• BIB
We introduce a model of a controlled random graph process. In this model, the edges of the complete graph $K_n$ are ordered randomly and then revealed, one by one, to a player called Builder. He must decide, immediately and irrevocably, whether to purchase each observed edge. The observation time is bounded by parameter $t$, and the total budget of purchased edges is bounded by parameter $b$. Builder's goal is to devise a strategy that, with high probability, allows him to construct a graph of purchased edges possessing a target graph property $\mathcal{P}$, all within the limitations of observation time and total budget. We show the following: (a) Builder has a strategy to achieve $k$-vertex-connectivity at the hitting time for this property by purchasing at most $c_kn$ edges for an explicit $c_k<k$; and a strategy to achieve minimum degree $k$ (slightly) after the threshold for minimum degree $k$ by purchasing at most $(1+\varepsilon)kn/2$ edges (which is optimal). (b) Builder has a strategy to create a Hamilton cycle at the hitting time for Hamiltonicity by purchasing at most $Cn$ edges for an absolute constant $C>1$; this is optimal in the sense that $C$ cannot be arbitrarily close to $1$. This substantially extends the classical hitting time result for Hamiltonicity due to Ajtai--Komlós--Szemerédi and Bollobás. (c) Builder has a strategy to create a perfect matching by time $(1+\varepsilon)n\log{n}/2$ while purchasing at most $(1+\varepsilon)n/2$ edges (which is optimal). (d) Builder has a strategy to create a copy of a given $k$-vertex tree if $t\ge b\gg\max\{(n/t)^{k-2},1\}$, and this is optimal; (e) For $\ell=2k+1$ or $\ell=2k+2$, Builder has a strategy to create a copy of a cycle of length $\ell$ if $b\gg\max \{n^{k+2}/t^{k+1},n/\sqrt{t}\}$, and this is optimal.
On the distribution of Iwasawa invariants associated to multigraphs
Published in Nagoya Math. J. 253 (2024), pp. 48-90
• View Publication
• BIB
Let $\ell$ be a prime number. The Iwasawa theory of multigraphs is the systematic study of growth patterns in the number of spanning trees in abelian $\ell$-towers of multigraphs. In this context, growth patterns are realized by certain analogues of Iwasawa invariants, which depend on the prime $\ell$ and the abelian $\ell$-tower of multigraphs. We formulate and study statistical questions about the behaviour of the Iwasawa $μ$ and $λ$ invariants.
More on minors of Hermitian (quasi-)Laplacian matrix of the second kind for mixed graphs
Published
• View Publication
• BIB
A mixed graph $M_{G}$ is the graph obtained from an unoriented simple graph $G$ by giving directions to some edges of $G$, where $G$ is often called the underlying graph of $M_{G}$. In this paper, we introduce two classes of incidence matrices of the second kind of $M_{G}$, and discuss the determinants of these two matrices for rootless mixed trees and unicyclic mixed graphs. Applying these results, we characterize the explicit expressions of various minors for Hermitian (quasi-)Laplacian matrix of the second kind of $M_{G}$. Moreover, we give two sufficient conditions that the absolute values of all the cofactors of Hermitian (quasi-)Laplacian matrix of the second kind are equal to the number of spanning trees of the underlying graph $G$.
Strictly monotone sequences of lower and upper bounds on Perron values and their combinatorial applications
Published
• View Publication
• BIB
In this paper, we present monotone sequences of lower and upper bounds on the Perron value of a nonngeative matrix, and we study their strict monotonicity. Using those sequences, we provide two combinatorial applications. One is to improve bounds on Perron values of rooted trees in combinatorial settings, in order to find characteristic sets of trees. The other is to generate log-concave and log-convex sequences through the monotone sequences.
Structured Decompositions: Structural and Algorithmic Compositionality
We introduce structured decompositions, category-theoretic structures which simultaneously generalize notions from graph theory (including treewidth, layered treewidth, co-treewidth, graph decomposition width, tree independence number, hypergraph treewidth and H-treewidth), geometric group theory (specifically Bass-Serre theory), and dynamical systems (e.g. hybrid dynamical systems). We define width functors, which provide a compositional way to analyze and relate different structural complexity measures, and establish a general duality between decompositions and completions of objects.
Trees with many leaves in tournaments
Published
• View Publication
• BIB
Sumner's universal tournament conjecture states that every $(2n-2)$-vertex tournament should contain a copy of every $n$-vertex oriented tree. If we know the number of leaves of an oriented tree, or its maximum degree, can we guarantee a copy of the tree with fewer vertices in the tournament? Due to work initiated by Häggkvist and Thomason (for number of leaves) and Kühn, Mycroft and Osthus (for maximum degree), it is known that improvements can be made over Sumner's conjecture in some cases, and indeed sometimes an $(n+o(n))$-vertex tournament may be sufficient.
In this paper, we give new results on these problems. Specifically, we show
i) for every $α>0$, there exists $n_0\in\mathbb{N}$ such that, whenever $n\geqslant n_0$, every $((1+α)n+k)$-vertex tournament contains a copy of every $n$-vertex oriented tree with $k$ leaves, and
ii) for every $α>0$, there exists $c>0$ and $n_0\in\mathbb{N}$ such that, whenever $n\geqslant n_0$, every $(1+α)n$-vertex tournament contains a copy of every $n$-vertex oriented tree with maximum degree $Δ(T)\leqslant cn$.
Our first result gives an asymptotic form of a conjecture by Havet and Thomassé, while the second improves a result of Mycroft and Naia which applies to trees with polylogarithmic maximum degree.