tree
6912 papers tagged with this keyword
Asymptotics of Random-Lattice Enumeration: Beyond HKZ via Dense Sublattices
To bridge the gap between worst-case and heuristic analyses of lattice enumeration, we study the sizes of (unpruned) enumeration trees on $n$-dimensional Haar-random lattices. Writing $n^{cn+o(n)}$ for the tree size at the shortest vector radius, we investigate the asymptotic scaling of $c$, and which bases minimize it.
For quasi-HKZ bases, we rigorously analyze the random-lattice HKZ geometry and establish $c=1/(2e)\approx 0.1839$. This matches the worst-case enumeration exponent of Hanrot-Stehlé and confirms earlier predictions for the geometry of HKZ bases on random lattices.
Searching beyond quasi-HKZ bases, we prove that with high probability, the minimum achievable tree size exponent $c$ over all bases of a random lattice satisfies: \begin{align} 0.1464 \approx \frac{2-\sqrt{2}}{4}\leq c<0.1474. \end{align}
For the lower bound, we use Kim's mean-value formula for nested chains of primitive sublattices to rule out bases with small prefix determinants. This strengthens the earlier Rankin-based heuristic lower bound exponent $c \geq 1/8$, discussed by Nguyen and Hanrot-Stehlé, and rules out the existence of random-lattice bases with trees as small as predicted by the geometric series assumption.
For the upper bound, we show that with high probability a dense primitive half-rank sublattice exists with determinant at most $n^{n/8 + o(n)}$. Combining dual HKZ on this sublattice with HKZ on its quotient gives a basis with $c \leq 1/(4\sqrt{e}) \approx 0.1516$. Recursively splitting each half lowers the upper bound below $0.1474$, and under a natural heuristic assumption we prove that the lower bound is tight.
Combined with the collision search of Feng-Gao-Liu, our two-block construction gives a polynomial-space algorithm solving the closest vector problem with preprocessing (CVPP) on random lattices in query time $n^{0.0892 n + o(n)}$ for arbitrary targets.
A nearly linear bound for the Lovász conjecture
The celebrated conjecture of Lovász from 1969 asks whether every connected vertex-transitive graph has a Hamiltonian path. Bucić, Christoph, Pokrovskiy and Steiner recently proved that every such graph on $n$ vertices contains a cycle of length $n^{2/3-o(1)}$.
In this paper, we improve this bound to $n^{1-o(1)}$. Our proof uses a structure theorem of Tessera and Tointon to first obtain a partition of the vertex set into sets of small diameter in the original graph. When the parts are large, we repeatedly traverse a spanning tree of maximum degree at most three in the quotient graph, and use the Lovász local lemma to join random short paths along this traversal and extract a long path in the original graph. When the parts are small, we apply Babai's contraction lemma to reduce the problem to finding a long path in a connected Cayley graph of a nilpotent group with boundedly many generators and bounded nilpotency class, and then show that such a Cayley graph on $m$ vertices contains a path on $m^{1-o(1)}$ vertices.
Connectivity keeping trees in triangle-free graphs
In 2012, Mader conjectured that for any tree $T$ of order $m$, every $k$-connected graph $G$ with minimum degree at least $\lfloor \frac{3k}{2}\rfloor+m-1$ contains a subtree $T'\cong T$ such that $G-V(T')$ remains $k$-connected. In 2022, Luo, Tian, and Wu considered an analogous problem for bipartite graphs and conjectured that for any tree $T$ with bipartition $(X,Y)$, every $k$-connected bipartite graph $G$ with minimum degree at least $k+\max\{|X|,|Y|\}$ contains a subtree $T'\cong T$ such that $G-V(T')$ remains $k$-connected. In this paper, we relax the bipartite assumption by considering triangle-free graphs and prove that for any tree $T$ of order $m$, every $k$-connected triangle-free graph $G$ with minimum degree at least $2k+3m-4$ contains a subtree $T' \cong T$ such that $G-V(T')$ remains $k$-connected. Furthermore, we establish refined results for specific subclasses such as bipartite graphs or graphs with girth at least five.
A quotient of the Bruhat-Tits building classifying maximal matrix orders over curves
In a previous work, we defined a quotient graph of the Bruhat-Tits tree associated to the degree two special linear group over a local field whose vertex set is in correspondence with the maximal orders in a certain number of spinor genera. This graph has been applied to the study of the structure of some arithmetic groups, their presentations and their (co)homology groups. The genera of Eichler orders, which, for instance, are related to the problem of finding a basis that simultaneously splits two vector bundles with the same generic fiber, can often be described in terms of simpler genera via quotients. Furthermore, some embedding problems of orders can be studied via quotient graphs. These results provide a geometric framework for the study of maximal orders over function fields.
In this article, we extend that construction to a higher dimensional setting through the use of singular chain complexes. Then we describe the set of vertices in this quotient that correspond to split maximal orders and the topology of the corresponding region of the quotient complex. More precisely, we show that these ``split vertices'' fall into a finite number of quotients of apartments by suitable subgroups of the corresponding Weyl group, the symmetric group. We relate these ``quotient apartments'' with the cuspidal sectors defined by previous authors who studied the quotient by the group of integral points of the special linear group. Both quotients are indeed related by a ramified cover that is unramified on cusps, as proved here.
Nim heaps in the Game of Cycles: the parity conjecture fails on trees
The Game of Cycles, invented by Francis Su, is a two-player game in which the players take turns drawing arrows on the edges of a plane graph, never creating a sink or a source. On a tree only the sink-source rule matters, and the player who makes the last move wins. Several authors conjectured that on a tree the second player wins exactly when the number of markable edges is even. We show that this parity conjecture is false, and we explain why. The explanation is a hidden game of Nim: a path segment that is blocked by an arrow at one end and free at the other behaves exactly like a nim heap whose size is its length. Combined with a calculus for cutting and gluing trees at vertices next to leaves, this shows that the conjecture fails as soon as a single tree has Grundy value at least 2. The smallest counterexamples have 15 vertices. Trees with Grundy values 2 and 4 first appear at 17 vertices, and every value up to 63 occurs, which answers a question of Fokkink and Zandee. We also refute a related conjecture of Zandee. We then look closely at spiders. The spiders S(2,3,z) violate the conjecture for every z >= 14. The Grundy values of S(1,2j,z) are given by an exact formula governed by binary carries. For 99 pairs (x,y), the value of S(x,y,z) is eventually the parity of z. On the positive side, the conjecture holds for all trees in which every thread has at most two edges, and this bound is sharp. Along the way we prove a twin-branch reduction, give an algorithm that is polynomial for spiders with a fixed number of legs, and collect the questions that we could not answer. The boldest asks whether every non-negative integer is the Grundy value of some tree.
Pairwise Compatibility Graphs of Unweighted Caterpillars
In this paper we study pairwise compatibility graphs whose witness tree is required to be an unweighted caterpillar. This is a natural restriction of PCGs, in the same line of research as the study of star witnesses, which led to the class of double-threshold graphs. In the caterpillar case, we show that this restriction is equivalent to a one-dimensional difference-labelling problem: a graph admits such a representation if and only if its vertices can be assigned integer labels so that adjacency is determined exactly by whether the absolute difference of two labels belongs to a given interval.
Using this characterization, we derive structural properties of the class, including bounded twin-width, and study its relation with familiar graph families. We show that the class contains cycles and two-dimensional grids, while it excludes natural obstructions such as the subdivided star $S_{2,2,2,2,2}$, the cube graph $Q_3$, the wheel $W_6$, and the complement of the $3$-sunlet. We also consider restricted representations, including centipede witnesses and representations with a given interval and we give a polynomial-time recognition algorithm when the interval is fixed.
Sub-quorum colorings of graphs
A sub-quorum coloring is a partial vertex coloring in which every colored vertex sees at least half of its colored closed neighborhood in its own color. We study the maximum number of colors $\psq(G)$ from structural, algorithmic and extremal viewpoints. Every $2$-independent set yields a sub-quorum coloring, so $\psq(G)\geβ_2(G)$. We prove the degree bound $\psq(G)\le Δ(G)|V(G)|/(Δ(G)+δ(G)-1)$ for $δ(G)\ge2$, and obtain an exact matching characterization for graphs of maximum degree at most three. Consequently every cubic graph of order $n$ satisfies $n/2\le\psq(G)\le3n/5$, with a stability identity at the upper endpoint. For trees we give an edge representation and a linear-time dynamic program that computes both $\psq(T)$ and an optimal coloring; we also show on the double star $S_{2,2}$ that $\psq$ can exceed the dissociation number even on trees. We prove NP-completeness even for bipartite graphs and determine exact values for several classical families. For rectangular grids, we formulate the conjecture $\psq(G_{m,n})=β_2(G_{m,n})=F(m,n)$, recover the dissociation-number formula from known $3$-path vertex-cover results, prove the ladder case directly, and verify the conjecture for every fixed width $2\le m\le11$; widths $3$ through $11$ use exact transfer certificates. For hypercubes we prove $\psq(Q_n)=β_2(Q_n)=2^{n-1}$ for every $n\ge2$. Finally, a Nordhaus--Gaddum argument gives $\psq(G)+\psq(\overline G)>\log_2 |V(G)|$ and leads to a complementary upper-bound problem.
The size-Ramsey numbers of $k$-uniform relaxed $\ell$-trees
The size-Ramsey number $\widehat{R}_k(\mathcal G)$ of a $k$-uniform hypergraph $\mathcal G$ is the minimum number of edges in a $k$-uniform hypergraph $\mathcal H$ such that every $2$-edge-coloring of $\mathcal H$ contains a monochromatic copy of $\mathcal G$. Fox asked whether, for fixed $2\le \ell<k$, the size-Ramsey number of every $k$-uniform relaxed $\ell$-tree on $n$ vertices is bounded by a polynomial in $n$, as recorded by Dudek, La Fleur, Mubayi and Rödl.
We give a negative answer when $\ell+1\le k\le 2\ell-2$. More precisely, for every sufficiently large $n$, we construct a $k$-uniform relaxed $\ell$-tree $\bar{\mathcal T}_{n,\ell}^{(k)}$ on exactly $n$ vertices such that \[ \widehat{R}_k\bigl(\bar{\mathcal T}_{n,\ell}^{(k)}\bigr) \ge 2^{c_{k,\ell}n^{\,1-1/(2\ell-k)}}, \] where $c_{k,\ell}>0$ depends only on $k$ and $\ell$. Moreover, any two distinct edges of the construction intersect in at most $2\ell-k-1$ vertices. In contrast, for $k\ge 2\ell$, we prove that every $k$-uniform relaxed $\ell$-tree $\bar{\mathcal T}_{n,\ell}^{(k)}$ on $n$ vertices satisfies \[ \widehat{R}_k\bigl(\bar{\mathcal T}_{n,\ell}^{(k)}\bigr) =O_{k,\ell}(n^{2k}). \]
Random $2$-SAT: The set of atoms of the limiting empirical marginal distribution
We show that the set of atoms of the limiting empirical marginal distribution in the random $2$-SAT model is $\mathbb Q \cap (0,1)$, for all clause-to-variable densities up to the satisfiability threshold. While for densities up to $1/2$, the measure is purely discrete, we additionally establish the existence of a nontrivial continuous part for any density in $(1/2, 1)$. Our proof is based on the construction of a random variable with the correct distribution as the the root marginal of a multi-type Galton-Watson tree, along with a subsequent analysis of the resulting almost sure recursion.
Counting with Hiccup Sequences
The $(0,x,1,2)$-hiccup sequence starts at $x$ and increases by 1 when the current index has already appeared as a value, and by 2 otherwise. We prove directly that for $x\geq3$ the gaps between its missing values are $1,2,3,\ldots$, each repeated $x-2$ times, and we derive closed formulas, an explicit error bound, and a generating function in terms of Ramanujan's theta functions. The counting functions of the complements satisfy nested recurrences. The sequences of missing values are the partial complements of polygonal numbers. In particular, the $(x-2)$-fold composition of the enumeration of the positive integers that are not $x$-gonal is the hiccup sequence minus 1. We extend the nested recurrence and a tree interpretation to every miss increment $z\geq2$ and every initial value $x\geq2$. Further interpretations involve polyomino vertices, monochromatic pairs, and, by a theorem of Bickle, Ramsey core numbers.
Degree similar and net-degree similar signed graphs
Two graphs are degree similar if their adjacency matrices and their degree matrices are simultaneously similar, a notion recently introduced by Godsil and Sun. We extend it to signed graphs in two ways, degree similarity and net-degree similarity, according to whether the degree or the net-degree matrix is used. We prove that signed trees are determined by their degree similarity class, but not by their net-degree similarity class. We then develop constructions of (net-)degree similar signed graphs, based on a signed version of Godsil--McKay switching, on partial transposition and on block extensions. As a byproduct, we obtain infinite families both of pairs of net-degree similar unicyclic signed graphs with non-isomorphic underlying graphs, and of unicyclic signed graphs, not necessarily regular, which are not determined by their degree similarity class. This settles the net-degree version of a problem of Godsil and Sun on unicyclic graphs.
Completely mobile robots in graphs with a resolving property
This work extends the study of mobile resolvability in connected graphs by introducing completely mobile resolving sets. As with mobile resolving sets, we consider stationing a collection of robots at the vertices in a resolving set of a graph. Robots may move one at a time to any adjacent vertex as long as set of occupied vertices remains a resolving set. In this new variant, we ask that every robot can traverse every vertex in the graph through a sequence of permitted moves. Graphs possessing at least one completely mobile resolving set are termed mobile-resolvable. We completely characterise the non-mobile-resolvable graphs as paths of order at least three and subdivided stars with three or more leaves and at most two subdivided edges. For trees, we explicitly determine the completely mobile metric dimension, showing that it exceeds the classical metric dimension by one for most mobile-resolvable trees, and by two for certain subdivided stars. Furthermore, we evaluate this parameter across fundamental graph classes-including cycles, complete bipartite graphs, grid graphs, and circulant graphs.
The Order Mass Identity of Rooted Forests, with a Direct Proof of the Extended Aldous--Broder Theorem
Random spanning forests provide probability models for partitions and Monte Carlo methods on graphs. In these applications, the distribution produced by a sampler determines which forest functionals can be estimated. The Aldous--Broder algorithm constructs a spanning tree from the first-entrance edges of a covering random walk. Its distribution is known, but a direct calculation requires summing over all orders in which a fixed tree can be discovered. We evaluate this sum through an identity for rooted forests and real matrices with zero row sums. Under a nonsingularity condition on the principal submatrices encountered during growth, the sum of products of harmonic extension entries equals a principal cofactor of a matrix on the roots. With one root, the sum is one. The identity gives a direct proof of the extended Aldous--Broder theorem for every finite irreducible Markov chain started at a fixed state, without assuming reversibility or bidirectional transition support. It also gives the conditional distribution of the discovery order and the law of the forest obtained by stopping after all nonroot vertices have been visited. A completion weight describes the difference between this stopped-walk law and the weight-proportional forest law, including the support restriction needed for importance correction. Numerical examples illustrate the sampling implications. The identity, the Aldous--Broder theorem, and the stopped-forest law are formalized in Lean4.
Connectivity, toughness, and hamiltonicity of simplicial polytopes
For every $d\ge4$, every prescribed connectivity $r\ge d$, and every $\varepsilon>0$, we construct a simplicial $d$-polytope whose graph has connectivity exactly $r$, is nontraceable, and has toughness less than $\varepsilon$. Thus the classical theorems of Whitney (1931) and Tutte (1956), which guarantee hamiltonicity under sufficiently high connectivity in dimension three, have no higher-dimensional counterpart. This answers a question posed by Bojan Mohar in 2001 on whether sufficiently high connectivity guarantees hamiltonicity of $4$-polytopal graphs and the connectivity questions raised by Ikegami, Maezawa, and Zamfirescu in 2021.
For fixed $d\ge4$, $r\ge d$, and integer $k\ge2$, the examples can be chosen to have no closed spanning walk with at most $k$ visits per vertex, no spanning tree with degrees at most $k$, and nontraceable prisms.
For fixed $d$ and $r$, we obtain graphs on $n$ vertices whose longest paths and cycles contain $O(\sqrt n)$ vertices. Consequently, the family of simplicial $d$-polytopes with connectivity exactly $r$ has Grünbaum--Walther shortness coefficient zero and shortness exponent at most $1/2$.
The stacking number of a tree
Csernák and Soukup introduced the stacking number of a graph: the least integer $t\ge2$ such that every configuration of $t$ pebbles can be transformed by pebbling moves into a configuration supported on one vertex. They conjectured an explicit formula for the stacking number of a tree in terms of the degrees of its vertices and their distances from a chosen root. We prove this conjecture for every finite tree with at least two vertices. We also show that whether a configuration on a tree can be stacked at a given vertex is decided exactly by the sign of an integer score built from recursive branch messages; consequently, stackability can be tested with a linear number of arithmetic operations. The proof combines this criterion with an explicit zero-score obstruction and a weighted cancellation argument for arbitrary nonstackable configurations. The main theorem and the stackability criterion are formalized in Lean 4, and the main theorem has passed Palomar mechanical verification; it is publicly registered as PALOMAR-2026-09-25-000010.
Faster and simpler traversal of 0/1-polytopes
Recently, Merino and Mütze (FOCS'23+SICOMP'24) presented an algorithm for computing a Hamilton path on the skeleton of any 0/1-polytope ${\rm conv}(X)$, where $X\subseteq\{0,1\}^n$. The algorithm uses as a black box an algorithm for solving the classical linear optimization problem $\min\{w\cdot x\mid x\in X\}$ for some weight vector $w\in\mathbb{R}^n$. The resulting delay per visited vertex on the Hamilton path is only by a $\log n$ factor larger than the time to solve one instance of the optimization algorithm. In this paper, we make the Hamilton path algorithm simpler and faster. Namely, we obtain an amortized delay that is only by a constant factor larger than the running time of the optimization algorithm, thus removing the $\log n$ factor. As concrete results, this yields improved algorithms for generating bases and independent sets in a matroid, spanning trees, forests, matchings and maximum matchings in a graph, vertex covers, minimum vertex covers, independent sets and maximum independent sets in a bipartite graph, and antichains, maximum antichains and ideals in a poset. All of these listings correspond to Hamilton paths on the corresponding polytopes. Furthermore, we obtain an $\mathcal{O}(t_{\rm LP})$ amortized delay algorithm for the vertex enumeration problem on 0/1-polytopes $\{x\in\mathbb{R}^n\mid Ax\leq b\}$, where $A\in \mathbb{R}^{m\times n}$ and $b\in\mathbb{R}^m$, and $t_{\rm LP}$ is the time needed to solve the linear program $\min\{w\cdot x\mid Ax\leq b\}$. This improves upon the $\mathcal{O}(t_{\rm LP} \log n)$ delay algorithm of Merino and Mütze, and the previous $\mathcal{O}(t_{\rm LP}\,n)$ delay algorithm of Bussieck and Lübbecke from 1998.
Butcher series for Hamiltonian Poisson integrators through symplectic groupoids
We exhibit a new pre-Lie algebra in the framework of symplectic groupoids and, in turn, use Butcher trees to compute the Taylor series of a solution of a Hamilton-Jacobi equation on any symplectic groupoid $\mathcal{G} \rightrightarrows M.$ The impact of this new algebraic approach is twofold. On the geometric side, it yields algebraic operations to approximate Lagrangian bisections of $\mathcal{G}$ using the Butcher-Connes-Kreimer Hopf algebra and, in turn, aims at a better understanding of the group of Hamiltonian diffeomorphisms of $M.$ On the computational side, we define a new class of Poisson integrators for Hamiltonian dynamics on Poisson manifolds.
Trees with Prescribed Maximum Degree and Spectral Radius
It is well known that the spectral radius $ρ(T)$ of a tree $T$ with at least $3$ vertices satisfies $\frac 14ρ(T)^2+1<Δ(T)\le ρ(T)^2$, where $Δ(T)$ is the maximum degree of $T$. Let $\mathbb{P}$ denote the set of spectral radii of all non-trivial trees. We ask whether, for every $α\in \mathbb{P}\setminus \{1\}$ and every integer $r$ satisfying $\frac 14α^2+1<r\le α^2$, there exists a tree $T$ such that $Δ(T)=r$ and $ρ(T)=α$.
For a positive integer $r$ and a positive real number $α$, let ${\mathscr W}_r(α)$ be the smallest subset of $[0,\infty)$ containing $α$ and closed under the following operation: if $q_1,\ldots,q_s$ are positive elements of ${\mathscr W}_r(α)$, not necessarily distinct, and $q=α-\sum_{i=1}^{s}q_i^{-1}$, then $q\in{\mathscr W}_r(α)$ whenever either $1\le s<r$ and $q\ge0$, or $s=r$ and $q=0$. We prove that $0\in {\mathscr W}_r(α)$ if and only if there exists a tree $T$ with $Δ(T)\le r$ and $ρ(T)=α$. Moreover, there exists a tree $T$ with $Δ(T)=r$ and $ρ(T)=α$ if and only if there are positive elements $q_1,\ldots,q_r\in\mathscr W_r(α)$, not necessarily distinct, satisfying $\sum_{i=1}^{r}q_i^{-1}=α$. Consequently, $\mathbb{P}=\{α\geq1:0\in {\mathscr W}_{\lfloorα^2\rfloor}(α)\}.$ As an application, we show that for integers $k,r\ge 2$, there exists a tree $T$ with $Δ(T)=r$ and $ρ(T)=\sqrt k$ if and only if $\frac 14 k+1<r\le k$.
Product approximations for uniform spanning trees and determinantal processes
We prove that for every finite connected simple graph $G$ on $n$ vertices with minimum degree $k\geq 2$, there is a coupling of its uniform spanning tree and its random $1$-out subgraph under which the expected number of differing edges is $O(n\log (k)/\sqrt{k})$.
More generally, we establish analogous couplings between a wide class of determinantal processes and their corresponding $1$-out processes, including Kalai's determinantal hypertrees, with expected symmetric difference negligible compared to the size of the determinantal set. While the graphical case admits a surprisingly short and elegant proof, the more general result requires establishing an asymptotic equipartition property for the determinantal measures in this class, from which we also derive exponential growth rates for the homology torsion of determinantal hyperforests in higher-dimensional regular high-degree complexes.
Hecke Triangle Groups and Dessins d'Enfants
We study finite-index subgroups of the Hecke triangle group $H_q$ of signature $(2,q,\infty)$ through the finite-edge tessellation, special polygons, and the associated dessins. The quotient finite-edge graph is a connected bipartite ribbon graph in which even vertices have degree $1$ or $2$ and odd vertices may have any degree $d\mid q$; geometrically, degree $d$ records a $d$-cluster and an elliptic stabilizer of order $q/d$. We determine two finite ambiguities that arise when one passes from this quotient graph to a special polygon. First, all tree diagrams obtained from a fixed ribbon graph are classified by the possible spanning-tree cuts modulo graph automorphisms. Second, at a proper cluster one must record which cyclic gap contains the omitted branches of the universal $q$-star; every such choice develops to a special polygon. Combining the two gives an explicit finite description of all polygon orbits over a fixed dessin, together with a separate count of normalized realizations in the fixed tessellation. Concrete examples for $H_5$, $H_6$, and $H_7$ illustrate the geometry, and two arithmetic corollaries concern level-$2$ cusp labels and Galois orbits of principal congruence dessins.