tree
6860 papers tagged with this keyword
Resolutions of two conjectures on the spectral diameter
Let $λ_1(G) \geq \dots \geq λ_n(G)$ be the adjacency spectrum of a graph $G$ on $n$ vertices. The spectral distance $σ(G,H)$ between $n$-vertex graphs $G$ and $H$ is the Manhattan distance between their spectra, i.e. $σ(G,H) = \sum_{i=1}^n |λ_i(G) - λ_i(H)|$. Given a set $\mathcal{G}$ of pairwise non-isomorphic graphs of order $n$, the spectral diameter of $\mathcal{G}$ is defined as $\mathrm{sdiam}(\mathcal{G}) = \max\{\mathrm{secc}_{\mathcal{G}}(G) : G \in \mathcal{G}\}$, where $\mathrm{secc}_{\mathcal{G}}(G) = \max\{σ(G,H) : H \in \mathcal{G}\}$ is the spectral eccentricity of $G \in \mathcal{G}$. Among six conjectures on spectral distances posed by Z. Stanić in 2012, two conjectures related to the spectral diameter of certain graph classes remained open. One of them concerns the spectral diameter of the set $\mathcal{B}_n$ of all connected bipartite graphs of order $n$, while the other, of the set $\mathcal{T}_n$ of all trees of order $n$. More precisely, Stanić conjectured that $\mathrm{sdiam}(\mathcal{T}_n) = σ(P_n, K_{1,n-1})$, where $P_n$ is the path graph, while $K_{1,n-1}$ is the star, and that $\mathrm{sdiam}(\mathcal{B}_n) = \mathrm{secc}_{\mathcal{B}_n}(K_{\lceil n/2 \rceil, \lfloor n/2 \rfloor})$, where $K_{\lceil n/2 \rceil, \lfloor n/2 \rfloor}$ is the complete bipartite graph. In this paper, both of these conjectures are disproved.
The scaling limit of fair Peano paths
We study random Peano paths on planar square grids that arise from fair random spanning trees. These are trees that are sampled in such a way as to have the same (if possible) edge probabilities. In particular, we are interested in identifying the scaling limit as the mesh-size of the grid tends to zero. It is known \cite{lawler-schramm-werner2002} that if the trees are sampled uniformly, then the scaling limit exists and equals ${\rm SLE}_8$. We show that if we simply follow the same steps as in \cite{lawler-schramm-werner2002}, then fair Peano paths have a deterministic scaling limit.
Well-quasi-orders on finite trees and transfinite sequences
Published
• View Publication
• BIB
We study the well-quasi-order (wqo) consisting of the set of finite trees with leaf labels coming from an arbitrary wqo $Q$, ordered by tree homomorphisms which respect the order on the labels. This is a variant of the usual Kruskal tree ordering without infima preservation. We calculate the precise maximal order types of this class of wqos as a function of the maximal order type of the labels $Q$. In the process, we sharpen some recent results of Friedman and Weiermann. Furthermore, we show a correspondence with indecomposable transfinite sequences with finite range, over elements of the wqo $Q$, of length less than $ω^ω$. Nash-Williams proved that arbitrary transfinite sequences with finite range are also well-quasi-ordered, but there are no known methods to extract bounds on the maximal order type from the proof. More concrete proofs for sequences of length less than $α$ for some $α< ω^ω$ were given by Erdős and Rado. Using the correspondence, we obtain precise bounds for the entire collection of transfinite sequences with finite range of length less than $ω^ω$.
Extremal Lin--Lu--Yau Curvature: Graph Density, Girth, and Short Cycles
We develop a variational framework for extremal Lin--Lu--Yau curvature under positive edge reweighting with the combinatorial metric fixed. For a connected locally finite graph $G$, define \[ \Kmax(G) := \sup_{w>0}\inf_{e\in E(G)}κ_{\LLY}^w(e). \] This invariant relates edgewise discrete curvature to global combinatorial and topological data. In the high-girth regime, we prove for every connected locally finite graph the exact identity \[ \Kmax(G)=\frac4{\mad(G)}-2, \] with the convention $1/\infty=0$. The formula is also equivalent to a normalized Euler-characteristic density: \[ \Kmax(G) =
\inf_{\substack{H\subseteq G\text{ finite}\\E(H)\ne\varnothing}} \frac{2(c(H)-β(H))}{|E(H)|}. \] For arbitrary locally finite graphs, a nonnegative short-cycle surplus yields girth-dependent density bounds, with rigidity results in the finite case. We also classify the locally finite graphs of girth at least $6$ admitting a positive edge weight with nonnegative curvature on every edge: they are precisely the trees and the finite cycles.
Less is Moore
A Moore graph simultaneously asks for two things that normally pull in opposite directions: every vertex should have many neighbors, while every pair of vertices should remain close. For diameter two and degree $k$, the Moore bound is $k^2+1$, and equality forces a remarkably rigid graph: it is strongly regular with parameters $(k^2+1,k,0,1)$. Hoffman and Singleton showed that such a graph can exist only for $k=2,3,7$, and possibly 57. The degree-57 case on 3,250 vertices remains open.
This paper is not an attempt to settle that open problem. Instead, we ask a more algorithmic question: How efficiently can the defining Moore structure itself be searched exactly? We begin from a human-developed exhaustive search based on the radius-two Moore tree. Leaves fall into $k$ groups of size $k-1$, and the edges between every pair of such groups form a perfect matching - a permutation. For efficiency, a partial construction is abandoned immediately when it creates a triangle or quadrangle.
We then describe a sequence of exact algorithm-engineering improvements developed through a human-guided AI process and accepted only after mathematical checking and controlled regression tests. The main steps are reversible short-cycle forbid counters, bit-parallel domains, minimum-remaining-value branching, singleton propagation, matching-based AllDifferent filtering, balanced replayable parallel frontiers, residual-symmetry orbit pruning, and canonical deduplication of frontier states. On the principal $k=9$ benchmark, stronger symmetry cuts wall time from 47.6 to 17.9 seconds on a six-core laptop setup. Further parallelization speedup is reported separately; on a 16-core/32-thread machine, median wall time is reduced to 5.28 seconds. Degrees 10 and 57 are used as stress tests, and a five-minute degree-57 run uses only 161 MiB peak resident memory, showing that state size is modest.
Unbounded log-concavity breaks in independence polynomials of spherically symmetric trees
Using a dioid algebraic structure, we show that there exist spherically symmetric trees $T(2^m 1^n)$ whose independence polynomials exhibit multiple breaks in log-concavity, a result established by estimating the asymptotic growth of the coefficients of these polynomials. Provided the parameter $n$ is a sufficiently large odd integer, the number of breaks is bounded below by the Jacobsthal numbers. This result affirmatively answers a question raised by D. Galvin [D. Galvin, Trees with non log-concave independent set sequences, arXiv 2502.10654.v2].
On the large-clique version of the Erdős-Sós theorem
For graphs $H$ and $F$, let $\operatorname{ex}(n,H,F)$ denote the maximum number of copies of $H$ in an $F$-free graph of order $n$. Motivated by the Erdős-Sós theorem, Gerbner and Palmer and, independently, Zhao and Peng conjectured that for every tree $T$ of order $k$ and every $3\le r\le k-1,$ $$\operatorname{ex}(n,K_r,T)=a\binom{k-1}{r}+\binom{b}{r},$$ where $n=a(k-1)+b$ with $0\le b<k-1$. In this paper, we confirm the conjecture for $r\ge \left\lceil (2k-1)/3\right\rceil$ and characterize all extremal graphs.
A finite threshold for the double-comet conjecture
For a tree $T$, let $g(T)=λ_1(T)-λ_2(T)$ be the difference between its two largest adjacency eigenvalues. A balanced double comet is obtained by attaching equally many leaves to the two endpoints of a path. Jovović, Koledin and Stanić conjectured that such a tree attains the minimum adjacency spectral gap among trees of any fixed order. We prove that every minimizing tree of order $n\ge200$ is a balanced double comet. We also show that, for any finite irreducible reversible continuous-time Markov chain, the inverse spectral gap differs from the effective resistance between two states times the stationary variance of their hitting probability by at most the inverse Dirichlet gap for killing at those states. For Perron chains, we give an exact two-vertex Schur-complement formula for this resistance--variance quantity.
Coset decision trees and the Fourier algebra
Published in J. Anal. Math. 144 (2021), 227-259
• View Publication
• BIB
We show that if G is a finite group and f is a {0,1}-valued function on G with Fourier algebra norm at most M then f may be computed by a coset decision tree (that is a decision tree in which at each vertex we query membership of a given coset) having at most \exp(\exp(\exp(O(M^2)))) leaves. A short calculation shows that any {0,1}-valued function which may be computed by a coset decision tree with m leaves has Fourier algebra norm at most \exp(O(m)).
Identifying codes in triangle-free graphs of bounded maximum degree
Published in Journal of Graph Theory 112(3) 306-336 (2026)
• View Publication
• BIB
An identifying code of a closed-twin-free graph $G$ is a set $S$ of vertices of $G$ such that any two vertices in $G$ have a distinct, nonempty intersection between their closed neighborhood and $S$. It was conjectured that there exists a constant $c$ such that for every connected closed-twin-free graph $G$ of order $n$ and maximum degree $Δ$, the graph $G$ admits an identifying code of size at most $\left( \frac{Δ-1}Δ \right) n+c$. In [D. Chakraborty, F. Foucaud, M. A. Henning, and T. Lehtilä. Identifying codes in graphs of given maximum degree: Characterizing trees. Discrete Mathematics, 349(2):114826, 2026], we proved the conjecture for all trees. In this article, we show that the conjecture holds for all triangle-free graphs, with the same list of exceptional graphs needing $c>0$ as for trees: for $Δ\ge 3$, $c=1/3$ suffices and there is only a set of 12 trees requiring $c>0$ for $Δ=3$, and when $Δ\ge 4$ this set is reduced to the $Δ$-star only. Our proof is by induction, whose starting point is the above result for trees. Along the way, we prove a generalized version of Bondy's theorem on induced subsets [J. A. Bondy. Induced subsets. Journal of Combinatorial Theory, Series B, 1972] that we use as a tool in our proofs. We also use our main result for triangle-free graphs, to prove the upper bound $\left( \frac{Δ-1}Δ \right) n+1/Δ+4t$ for graphs that can be made triangle-free by the removal of $t$ edges.
Identifying open codes in trees and 4-cycle-free graphs of given maximum degree
Published in Discrete Applied Mathematics 386: 319-333 (2026)
• View Publication
• BIB
An identifying open code of a graph $G$ is a set $S$ of vertices that is both a separating open code (that is, $N_G(u) \cap S \ne N_G(v) \cap S$ for all distinct vertices $u$ and $v$ in $G$) and a total dominating set (that is, $N(v) \cap S \ne \emptyset$ for all vertices $v$ in $G$). Such a set exists if and only if the graph $G$ is open twin-free and isolate-free; and the minimum cardinality of an identifying open code in an open twin-free and isolate-free graph $G$, its identifying open code number, is denoted by $γ^{\rm {\small IOC}}(G)$.
We study the identifying open code number of a graph, in relation with its order and its maximum degree. For $Δ$ a fixed integer at least $3$, we show that if $G$ is a connected graph of order $n \ge 5$ that contains no $4$-cycle and is open twin-free with maximum degree bounded above by $Δ$, then $γ^{\rm {\small IOC}}(G) \le \left( \frac{2Δ- 1}{2Δ} \right) n$, unless $G$ is obtained from a star $K_{1,Δ}$ by subdividing every edge exactly once. Moreover, we show that the bound is best possible by constructing graphs that reach the bound when $Δ=3$, and nearly best possible by another construction when $Δ\geq 4$, with identifying open code numbers $\left(\frac{2Δ- 4}{2Δ-3} \right) n$.
Non-Malleable Affine Extractors with Small Error and Complexity Lower Bounds
We construct explicit non-malleable affine extractors for every constant entropy rate, with linear output length and exponentially small error, against any fixed number of affine tamperings without fixed points. For every fixed $0<η<1$ and $t$, we also obtain entropy threshold $C_{η,t}n/\log n$, output length $\lfloor n^{1-η}\rfloor$, and error $2^{-n^{1-η}}$ against $t$ tamperings.
Our extractors, as well as the directional affine extractors of Li and Zhong (CCC 2024), yield explicit Boolean functions with correlation $2^{-Ω(n)}$ against weakly read-once linear branching programs of size $2^{Ω(n)}$. For non-oblivious decision trees, we prove linear depth lower bounds for queries of each fixed degree $r\ge2$. Applying Li's sumset extractor (FOCS 2023) gives depth $Ω_δ((n/\ell)\log\ell)$ for growing locality $\ell\le n^{1-δ}$, where $0<δ<1$ is fixed. In the same range, directional affine extractors give correlation $2^{-Ω(n/\sqrt\ell)}$ against local trees of depth $c(n/\ell)\log\ell/\log\log\ell$, for a sufficiently small constant $c>0$.
Our extractors derandomize the lossless lifting of Efremenko and Itsykson (STOC 2026). For every fixed $0<ξ<1$, this gives explicit polynomial-size unsatisfiable CNFs on $N$ variables whose $\mathrm{Res}(\oplus)$ refutations of resolution depth at most $N$ require size at least $2^{(1-ξ)N}$. Separately, parity substitutions give polynomial-size CNFs on $N$ variables with polynomial-size ordinary-resolution proofs for which every $\mathrm{Res}(\oplus)$ refutation of size $S$ and depth $d$ satisfies $d\log(2S)=Ω(N^2)$. This removes the $\log^2 N$ loss in the tradeoff of Itsykson, Podolskii, and Shekhovtsov (CCC 2026).
Note on near-spanning balanced antidirected trees missing from regular tournaments
We construct near-spanning balanced antidirected trees that fail to embed in highly symmetric tournaments despite the conjectured semidegree condition being satisfied. More precisely, for every sufficiently large odd integer $n$, we exhibit a regular vertex-transitive tournament on $n$ vertices and a balanced antidirected caterpillar on $n-1$ vertices with maximum degree at most $(1+o(1))n/\log_2 n$ that is not contained in the tournament. The host satisfies the strict $k/2$ threshold in both the semidegree and pseudo-semidegree settings, where $k$ is the number of arcs of the target tree. Consequently, this gives counterexamples to the uniform sublinear-degree interpretations of Conjectures~6.8 and~7.6 in Stein's survey (2024). The order $n-1$ of the target is best possible under the strict semidegree hypothesis. We also give a six-vertex balanced antidirected double-star missing from the seven-vertex Paley tournament, and show that seven is the smallest host order for a pseudo-semidegree counterexample with this fixed double-star.
Greedy Uniformity on Trees: Exact Obstruction and Near-Uniform Spiders
Choose a uniformly random ordering of the vertices of a finite tree and run the usual greedy maximal-independent-set algorithm. We compare the resulting law on maximal independent sets with the uniform law. We prove that exact uniformity occurs only for the one-vertex tree and the single edge. The proof is structural: a diameter endpoint exposes a pendant star, and the remaining one-pendant-leaf case is resolved by a strict injection between exact permutation fibres obtained by swapping the pendant leaf with its support vertex. Exact uniformity is therefore rigid, but it can be approached closely. For an explicit mixed-spider family $T_{k,l}$ we count the maximal independent sets and compute the exact probability of every output. With $l=2^k-k$ the total-variation bias is positive and satisfies [
b(T_{k,2^k-k})=O!\left(\frac{\sqrt{k}}{4^k}\right) =O!\left(\frac{\sqrt{\log n_k}}{n_k^2}\right), \qquad n_k=2^k+k+1. ]
The theorem package has also been formalised in Lean and registered with Palomar. These records document machine-checked formal verification and the checked axiom boundary; they are not peer review or a certificate of novelty.
Maximum Edge Open Packing on AT-Free, Chordal, and Convex Bipartite Graphs
An edge open packing is a set of edges whose endpoints induce a disjoint union of stars. We study the problem of finding a maximum edge open packing in AT-free, chordal, and convex bipartite graphs. For AT-free graphs, we use the oriented star-conflict graph $A_G$, introduced by Das and Santra, for which $ρ_e^o(G)=α(A_G)$, and prove that $A_G$ is AT-free whenever $G$ is AT-free. Consequently, a known maximum independent set algorithm for AT-free graphs yields an $O(n^2+m^4)$-time algorithm for Maximum Edge Open Packing, where $n$ and $m$ denote the numbers of vertices and edges of $G$, respectively. For chordal graphs, we develop an $O(n^4)$-time dynamic programming algorithm over a nice tree decomposition derived from a clique tree, exploiting the structural fact that the endpoint set of an edge open packing intersects every clique in at most two vertices. Finally, for convex bipartite graphs, we obtain an $O(n^4)$-time dynamic programming algorithm based on two boundary indices that separate consecutive star components. This result extends the previously known algorithm for biconvex bipartite graphs and, in particular, provides an improved explicit running-time bound for that class.
A proof of Lehmer's permutation conjecture for neighbor-swap graphs
In 1965, D. H. Lehmer conjectured that the permutations of every multiset admit an imperfect Hamiltonian traversal by adjacent swaps: a walk in the neighbor-swap graph that visits every word, with some words visited twice in order to reach a neighbor and return. The question is posed as an unsolved research problem in Knuth's Art of Computer Programming. Verhoeff (2017) chose the stutter words, in which every domino is a double, as the words to be reached this way, and reformulated the conjecture as the Hamiltonicity of the graph $N(S)$ on the non-stutter words, with two exceptional families --- binary signatures with an odd multiplicity, and the permutations of $(2k,1,1)$ --- that admit a Hamiltonian path but no cycle. This article proves the reformulated conjecture, and with it Lehmer's conjecture. The key structure is a partition of the words into hypercubes: the swaps inside dominoes turn each class of words with the same domino contents into a hypercube, and the stutters are exactly the $0$-dimensional classes. When every multiplicity is even, Hamiltonian cycles of the hypercubes are glued along a spanning tree, with no finite check. The case of exactly one odd multiplicity reduces to the all-even case and to a theorem of Stachowiak (1992), the one inherited Hamiltonicity input, which also settles two or more odd multiplicities. The only finite ingredients are two explicit cycles, of 28 and 84 words. Every construction is implemented in Python and checked against brute-force graphs, and the proof is formalized in Lean 4 over Mathlib.
Descent Tops and Pinnacles on 2143- and 3421-Avoiding Permutations
We prove the 2143-3421 case of Burstein's conjecture on the distribution of descent-top sets by constructing an explicit bijection between the two avoidance classes. The bijection also preserves the pinnacle set and reverses the left-to-right order of the pinnacle values. We combine an involution on maximum Cartesian trees with exchanges of the final entries of maximal decreasing runs. On an intermediate avoidance class, we prove that the exchange procedures terminate and that the output in each direction is independent of the choices made. This gives an explicit inverse. Restricting the bijection to Dumont permutations of the first kind proves the conjecture of Burstein and Jones that 2143 and 3421 are Wilf-equivalent on this class
Divisors and harmonic morphisms on metric graphs of pseudocompact type
A metric graph is of pseudocompact type if identifying parallel edges produces a tree. We give a constructive proof that, for such graphs, divisorial $d$-gonality is equivalent to the existence of a degree $d$ harmonic morphism to a tree. This mirrors the algebraic correspondence, for curves of compact type, between limit linear series of dimension one and admissible covers. We also deduce lifting results for positive-rank divisors, with a genus-preserving refinement when identifying parallel edges produces a path. Finally, we study the Brill-Noether theory in the path case.
Characterisations of Planar Galled Networks
Rooted phylogenetic networks are widely used to represent the evolution of species that have undergone reticulate processes. However, these networks can be highly non-planar, making them more difficult to visualise and interpret than evolutionary trees. In this paper, we investigate planarity properties of galled networks, an important subclass of phylogenetic networks. We show that all planar galled networks are necessarily upward planar. Furthermore, by leveraging recent results on planar phylogenetic networks, we provide three characterisations for each of the outerplanar and terminal planar galled network classes in terms of forbidden vertex configurations, forbidden directed subgraphs, and forbidden structures in their associated underlying undirected graphs. These results contribute to a deeper understanding of the structural properties of galled networks and may inform future methods for their construction and visualisation.
Bicoloured-interval and interval-sandwich graphs: two new classes in the tolerance hierarchy
We introduce two new graph classes, the bicoloured-interval graphs and the interval-sandwich graphs, arising from the study of the robust line fitting problem in computer vision. In a bicoloured-interval graph, each vertex is assigned a real interval and one of two colours. Vertices of different colours are adjacent precisely when their intervals intersect, and vertices of the same colour precisely when the centre of one interval lies in the other. Discarding the colouring yields the interval-sandwich graphs, sandwiched between the $50\%$-tolerance graph and the intersection graph of a family of intervals.
We prove structural results for both classes, determining which holes, antiholes, trees, and complete bipartite graphs each contains. Consequently, neither class is characterised by finitely many forbidden induced subgraphs. We place both classes strictly between the unit tolerance graphs and the co-comparability graphs in the tolerance hierarchy, separating them from the neighbouring classes. In particular, we construct an infinite family of proper tolerance graphs, each of which is a minimal forbidden induced subgraph for the bicoloured-interval graphs.
Finally, we consider the recognition problems for both classes. We show that every graph in either class has a polynomial-size integer representation, and hence that both problems lie in~$\textsf{NP}$.