tree
6912 papers tagged with this keyword
Connectivity keeping pendant extensions of paths in $k$-connected triangle-free graphs
Motivated by Mader's conjecture on connectivity keeping trees, we study the corresponding problem in triangle-free graphs.
For positive integers $k,m$, we first prove that every $k$-connected triangle-free graph $G$ with $δ(G)\geq k+\left \lceil \frac{m}{2} \right \rceil $ contains a path $P$ of order $m$ such that $G-V(P)$ remains $k$-connected. Moreover, if $κ(G)=k$, then for every end $F$ of $G$ and every vertex $v\in F$, the path $P$ can be chosen in $G[F]$ with $v$ as an endvertex. If $κ(G)\geq k+1$, then any vertex of $G$ can be chosen as an endvertex of $P$. This result confirms the conjecture of Luo, Tian and Wu on connectivity keeping trees in bipartite graphs for all paths, and it also sharpens Fujita's path theorem to the optimal minimum degree bound.
For an integer $i$ with $1\leq i\leq m-1$, let $P_m^+(i)$ denote the tree obtained from a path of order $m-1$ by adding one pendant vertex adjacent to its $i$th vertex. Let $(X,Y)$ be the bipartition of $P_m^+(i)$. We further prove that every $k$-connected triangle-free graph $G$ with $δ(G)\geq k+\max\{|X|,|Y|\}$ contains a subgraph $T\cong P_m^+(i)$ such that $G-V(T)$ remains $k$-connected. The minimum degree bound is sharp, and the result confirms the bipartite conjecture for all pendant extensions of paths.
On the sum of eccentric subgraph numbers of the vertices of a connected graph
Let $G$ be a connected graph. The eccentric subgraph number $ε(v)$ of a vertex $v$ of $G$ is defined as $ε(v)=\min\{f_G(v,u): u\in V(G)\}$, where $f_G(v,u)$ is the number of connected subgraphs of $G$ containing both $v$ and $u$. The eccentric subgraph index $ES(G)$ of $G$ is defined as $ES(G)=\displaystyle\sum_{v\in V(G)}ε(v).$ In this paper, we obtain the unicyclic graph that maximizes the eccentric subgraph index among all unicyclic graphs on $n$ vertices with a fixed girth. The graph that maximizes the eccentric subgraph index among all unicyclic graphs on $n$ vertices is also obtained. We then characterize the trees that maximize the eccentric subgraph index over trees on $n$ vertices with fixed diameter. Among all connected graphs on $n$ vertices with a fixed number of pendant vertices, the graph which maximizes the eccentric subgraph index is also characterized.
Spanning-Tree Maximization Forces Isoperimetry in the Square Lattice
We determine which connected sets of $N$ vertices in the square lattice support the most spanning trees, using all lattice edges between the chosen vertices. Every maximizer minimizes the number of edges joining the set to the rest of the lattice. Its shape is a rectangle with at most two straight strips of vertices removed at opposite corners. For $N\ge18$, the maximizer is unique up to translation, rotation, and reflection: an explicitly determined rectangle with one possibly empty corner strip removed along its longer side. The proof combines comparisons of Laplacian determinants with geometric comparisons of corner deletions. For $N=n^2$, we prove a sharp stability inequality that bounds the symmetric difference from a translated $n\times n$ square in terms of the loss in logarithmic tree count. Thus, nearly optimal tree counts force the vertex set to be close to a square. We also derive an exact product formula and a recurrence for the number of spanning trees in rectangles with a single corner strip removed.
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.
Exploring the unleaved tree of numerical semigroups up to a given genus
We present a new algorithm for exploring or counting the numerical semigroups of a given genus that uses the unleaved version of the tree of numerical semigroups. In the unleaved tree there are no leaves rather than the ones at depth equal to the genus in consideration. For exploring the unleaved tree we present a new encoding system of a numerical semigroup given by the gcd of its left elements and its shrinking, that is, the semigroup generated by its left elements divided by their gcd. We show a method to determine the right generators and strong generators of a semigroup by means of the gcd and the shrinking encoding, as well as a method to encode a semigroup from the encoding of its parent or of its preceding sibling. With the new algorithm, we obtained $n_{76}=29028294421710227$ and $n_{77}=47008818196495180$.
Spectral radius and edge-disjoint spanning trees of graphs with edge connectivity
Let $τ(G)$ denote the maximum number of pairwise edge-disjoint spanning trees contained in a graph $G$. Zhang and Fan [J. Graph Theory, 2026] posed the problem of determining the corresponding tight spectral-radius condition for every $s$-edge-connected graph with \[ k+1\leq s\leq2k-1, \] together with a characterization of the associated extremal graphs. In this paper, we completely resolve this problem.
Ramsey properties of trees and $C$-relations via the partite construction
Finite convexly ordered binary branching $C$-relations have been viewed as a notable exception to the broad applicability of the partite construction in structural Ramsey theory. The absence of a proof of their Ramsey property by the partite construction was noted by Bodirsky in his 2015 survey and pointed out again by Hubička and Konečný in their 2026 survey. We overcome this limitation by giving proofs based on the partite construction of the known Ramsey properties of the class $\mathcal{CT}$ of finite convexly ordered treeable meet semilattices and of the classes of finite convexly ordered $C$-relations with arbitrary branching and with binary branching. Our proofs do not rely on Milliken's tree theorem. The key is to expand $\mathcal{CT}$ by level predicates and a predecessor function so that the locally finite subclass method applies. We then transfer the resulting Ramsey witnesses to the corresponding reduct classes and to the classes of convexly ordered $C$-relations.
Prescribed and simultaneous failures of log-concavity in trees with perfect matchings
We construct trees with perfect matchings and independence sequences that fail log-concavity near the independence number $α$. For every integer $k\geq1$, one family fails at $α-k$ and has a witness of order $O(k^2\log(k+2))$. For every integer $t\geq2$, a single tree has simultaneous failures at $α-1,α-3,\ldots,α-(2t-1)$, with a witness of order $O(t^3)$. All these trees satisfy $α=N/2$, where $N$ is the number of vertices, and contradict Conjecture 4.2 of Ramos and Sun. A sufficient condition uses a fixed tree and the numbers of attached leaves. For fixed $k$ or $t$, explicit bounds give geometric decay of $a_j^2/(a_{j-1}a_{j+1})$ at these indices as the trees grow; $a_j$ counts independent $j$-sets. The proofs count independent sets by empty matching pairs. The Lean proof assistant checks formal proofs of the parameterized results and their quantitative bounds; exact 90- and 180-vertex examples illustrate the constructions.
Exact Clique Counts in Graphs with a Forbidden Tree
For a fixed tree $T$ on $t$ vertices, let $\ex(n,K_r,T)$ denote the maximum number of $r$-cliques in an $n$-vertex $T$-free graph. Write $n=α(t-1)+β$ with $0\leβ<t-1$. A conjecture proposed in extremal-graph form by Alon and Shikhelman~\cite{alon2016}, later stated explicitly as an exact clique-counting formula by Gerbner and Palmer~\cite{GP2026}, asserts that \[ \ex(n,K_r,T)=α\binom{t-1}{r}+\binomβr, \] with the extremal construction given by the vertex disjoint union of $α$ copies of $K_{t-1}$ and a graph with $β$ vertices. This paper proves this conjecture for every $n$ and for every tree $T$ whenever $C\log t\le r\le t-1$ and $t$ is sufficiently large, where $C$ is an absolute constant. This lowers the previously known general threshold $r\ge\lceil(2t-1)/3\rceil$, which is linear in $t$ to logarithmic order. The paper also proves the conjecture for every $3\le r\le t-1$ when at least $\lceil(t-3)/2\rceil$ leaves of $T$ have a common neighbor, and this extends the known results for stars and double stars.
The Distribution of the Deepest Leaves in Binary Trees
We study the extreme local structure of plane binary trees through the limiting distribution of the number of leaves at maximum depth. For every $m\geq1$, we determine the limiting probability $κ^{[m]}$ that the deepest level contains $2m$ leaves. The resulting sequence is encoded by a generating function $K(y)$, obtained from a bivariate refinement of the Catalan iteration.
We show that, at the critical point of this iteration, a parabolic recurrence governs the marked generating functions. Using continuous iteration theory and a Fatou coordinate, we transform this recurrence into the functional equation $K((1+y/4)^2)=K(y)+4$, which describes the limiting law. Its singular behavior yields the exponential tail $κ^{[m]}\sim4^{-m+1}$. Numerical evaluation gives, e.g., $κ^{[1]}\approx0.7009$, $κ^{[2]}\approx0.2226$ and an average number of deepest leaves equal to $\hatκ=4κ^{[1]}\approx2.8037$.
Immanantal polynomials of the linear combination matrices of graphs
Published
• View Publication
• BIB
The immanant is a generalized matrix function associated with irreducible characters of the symmetric group. The immanantal polynomial of matrix $M$ is defined as the immanant of matrix $(xI - M)$, where $I$ is the identity matrix. The characteristic polynomials and permanental polynomials of graph matrices (adjacency matrix, Laplacian matrix, signless Laplacian matrix and $A_α(G)$ matrix) have been extensively studied, yielding fascinating results. As a unification of the characteristic polynomial and permanental polynomial, the immanantal polynomial has also attracted attention and led to several important findings. In this paper, we focus on the study of immanantal polynomials for linear combination matrices composed of the degree matrix and adjacency matrix of a graph. First, applying the concept of vertex orientation for general graphs, we provide a combinatorial interpretation of the coefficients of the immanantal polynomials for the linear combination matrices of graphs, and we also characterize the bounds of these coefficients. These bounds implicitly encompass the existing results of Chan and Lam on trees and bipartite graphs. Furthermore, we give a solution to the open problem posed by Merris. Second, we characterize the first six coefficients of the hook immanantal polynomial. And the necessary and sufficient condition under which the linear combination matrices of two regular graphs have the same hook immanantal polynomial is proved. Third, we generalize the Frobenius--König theorem and the Laplace expansion theorem to immanants. Using these two theorems, we show that the star degree of a graph is always a lower bound for the multiplicity of a certain root of the immanantal polynomial of its linear combination matrix. Finally, we derive formulas for the first six coefficients of the hook immanantal polynomial for several important graph matrices.
Whither quantum advantage? New classical lower bounds for Max-Cut on large-girth 3-regular graphs
Every 3-regular graph of girth at least $g$ has a cut containing at least a fraction $M_g$ of its edges, and the best rigorous bounds at large girth are $0.912\le \lim_{g\to\infty}M_g \le 0.92386$. Lower bounds on $M_g$ follow from the performance of local algorithms: on a graph of girth $g \ge 2p+2$ a depth-$p$ local algorithm sees the same tree around every edge, so its expected cut fraction on that tree bounds $M_g$ from below. We apply this strategy to the Variational Iterative Rotation Algorithm (VIRAL), a classical local algorithm, and evaluate it on the depth-$p$ tree for every even depth up to $p=32$. The resulting bounds exceed those recently obtained from the Quantum Approximate Optimization Algorithm (QAOA) for every $p\ge 4$, by $0.005$ to $0.011$, and they extend the range of girths covered from $g=36$ to $g=66$. Notably, at $g=66$ we obtain $M_{66} \ge 0.9127$ at $99.99999\%$ confidence level, which raises the asymptotic lower bound from $0.912$ to $0.9127$.
Sustainable trees
Let $X$ be a connected graph and let $λ_1(X)$ denote the spectral radius of its adjacency matrix. An edge $e$ of $X$ is sustainable if it can be deleted and replaced by a non-edge so that the resulting graph is connected and its spectral radius does not decrease; $X$ is sustainable if every edge is. We study this edgewise notion of spectral robustness for trees, where each replacement is an elementary exchange between trees on the same vertex set. We establish basic properties of sustainability and exhibit infinite families of sustainable and non-sustainable trees. Our main results concern trees with a vertex of large degree: if $T$ is a tree on $n$ vertices with $Δ(T)\geq n/2$, then every vertex of maximum degree is a principal vertex, that is, a vertex at which the Perron vector is maximal. Building on this, we prove that every tree with $Δ(T)\geq n/2+1$ is non-sustainable, and we classify the sustainable trees in the boundary case $Δ(T)=n/2$: for $n\geq 4$, the only such trees are the double broom $B(2,n/2,n/2-1)$ and one exceptional tree on eight vertices. We conclude with open problems on the generalized tree-shift order and the asymptotic proportion of sustainable trees.
Determinantal linear spanning forests
We introduce a determinantal linear process on the space of $1$-forms over a weighted graph endowed with a unitary local system, which we call the determinantal linear spanning forest (DLSF). This process is the analog of the uniform spanning tree in the presence of an arbitrary rank $n$ quenched gauge field in ${\rm U}(n)$ (or ${\rm O}(n)$, ${\rm SO}(n)$, ${\rm SU}(n)$, ${\rm Sp}(n)$), and generalizes the determinantal random cycle-rooted spanning forest which corresponds to the case of ${\rm U}(1)$ and ${\rm SU}(2)$.
We describe the support of this process by means of a polymatroid which is described in terms of the circular and bicircular matroids. We also explain how the DLSF relates to the computation of currents in an electrical network in the presence of a gauge field.
The partition function of the DLSF is shown to be the determinant of the twisted Laplacian, for which we also give a matrix-tree type theorem that computes its characteristic polynomial. We initiate the study of the twisted Laplacian determinant as a functional on the space of connections, and give a first order expansion of it in a neighborhood of the trivial connection, for which we provide a probabilistic interpretation.
We extend the construction to infinite graphs, exhibiting the analogs of the classical wired and free distributions on spanning forests. We give a sufficient geometric condition on the local spectral gap for the existence of a Poincaré inequality as well as the uniqueness of the infinite volume measure, and the exponential decay of correlations. We show that on any recurrent graph, the wired and free DLSF coincide. We construct examples where they do not, for example, unlike in the classical case, on $\mathbb Z^d$ for $d\geq 3$.
Graph Distortion Distances, Gromov-Hausdorff and the Hardness of Gromov-Wasserstein
We study the computational complexity of graph distortion distances, a family of graph metrics measuring how vertex distances differ between two graphs. Formally, these distances are defined in terms of standard matrix norms on the difference of distance matrices under an optimal vertex alignment. The resulting metrics have natural interpretations, corresponding to three ways of measuring the distortion of shortest-path distances: the maximum distortion among all vertex pairs (entrywise maximum norm), global aggregation (entrywise $p$-norms), and local aggregation (operator $p$-norms) of distortions.
For maximum distortion, we show that approximation below a factor of two is NP-hard even for highly restricted trees. Due to the close connection to the Gromov-Hausdorff distance, we obtain a similar hardness result for the latter. In both cases, we show essentially optimal additive inapproximability. On the algorithmic side, we give a subcubic-time algorithm for optimal embeddings of connected graphs into paths, based on a structural decomposition along a diametral path. Additionally, we give a simple approximation algorithm when one input graph has a "relatively path-like" metric structure, i.e. has bounded pathlength.
For local and global distortion, we derive various hardness results even for restricted inputs. Making use of a close connection between the global distortion distances and Gromov-Wasserstein distances, we give the first formal proof of NP-hardness of the latter, which has been claimed in the literature many times but has, to the best of our knowledge, never been correctly proven.
Piercing boxes and products of trees
We give a new upper bound on the piercing number $τ(\mathcal{F})$ of a finite family $\mathcal{F}$ of axis-parallel rectangles in the plane when every $p$ members contain an intersecting pair. Namely, we prove $τ(\mathcal{F}) = O(p(\log\log p)(\log\log\log p))$, improving the factor $(\log\log p)^2$ in the best previously known bound to $(\log\log p)(\log\log\log p)$. For each $d>2$, when $\mathcal{F}$ is a finite family of axis-parallel boxes in $\mathbb{R}^d$, this yields $τ(\mathcal{F}) = O(p(\log p)^{d-2}(\log\log p)(\log\log\log p))$.
We also study an analogous problem replacing $\mathbb{R}^d=\mathbb{R}\times\cdots\times\mathbb{R}$ with the Cartesian product $T_1\square\cdots\square T_d$ of trees $T_1,\ldots,T_d$, and boxes with objects of the form $S_1\square\cdots\square S_d$ where $S_i$ is a subtree of $T_i$. For a finite family of such objects under the same intersection assumption as above, we establish an upper bound $τ(\mathcal{F})=O(p(\log p)^{d-1})$ for each $d$. We also construct examples showing that this upper bound cannot be improved in order of magnitude.
From Trees to All Loops: The Combinatorial Geometry of Two-Site Cosmological Wavefunctions
We prove, at arbitrary loop order and including arbitrary tadpole decorations, the shifted-tree decomposition of two-site cosmological wavefunction coefficients proposed in our previous work, and uncover the combinatorial and geometric structure underlying it. For conformally coupled scalars with polynomial interactions, this decomposition expresses each loop coefficient as a finite signed sum of tree coefficients evaluated at shifted energies. For bubble-like graphs, the alternating sum over a Boolean lattice can be written in terms of finite differences or maximal chains. We prove the maximal-chain identity algebraically by induction on loop order and geometrically by decomposing a cubical Laplace integral into simplices. The maximal chains correspond to permutohedron vertices, whose incident facets encode the chain-dependent divisors. For tadpole-decorated graphs, the finite-difference Leibniz rule gives an explicit expansion indexed by ordered partitions and local maximal chains, which glue into global maximal chains and organize the coefficient as a combinatorial "path integral". A natural ordering of the divisors yields a term-by-term match with graph tubings and completes the all-loop proof, while other orderings give alternative tubing representations of the same coefficient. These identities hold before spatial loop-momentum integration and extend to power-law FRW backgrounds by linearity of the twisted integral. Two-site loop coefficients can therefore be obtained directly from known tree coefficients without solving new loop-level differential systems.
(Approximate) Symmetric Extension Complexity of the Spanning Tree Polytope
We prove a tight lower bound on symmetric LP formulations for the spanning tree polytope of the complete graph. More precisely, let $P_{ST}(K_n)$ be the spanning tree polytope of $K_n$. We show that, for all $n\ge13$, every symmetric extended formulation for $P_{ST}(K_n)$ has at least $\binom n3$ inequalities. Since the classical Martin formulation has a symmetric formulation of size $O(n^3)$, this gives \[
\operatorname{xcs}(P_{ST}(K_n))=Θ(n^3). \] We also study outer relaxations of the spanning tree polytope of $K_n$ for maximization with nonnegative edge weights. We show that for every fixed approximation factor below $3/2$, symmetric LP formulations still require $Θ(n^3)$ inequalities for all sufficiently large $n$, whereas factor $3/2$ admits a formulation of size $O(n^2)$. Moreover, we provide an exact symmetric SDP formulation of size $O(n^2)$, measured by PSD matrix order, which implies $\operatorname{xc}_{\mathrm{psd}}(P_{ST}(K_n))= Θ(n^2)$. Thus symmetric LP and SDP sizes already differ for exact formulations, and for every fixed approximation factor $1\leβ<3/2$ for all sufficiently large $n$.
Uniform adjacency-degree probes from differential rigidity
We construct a fixed triangular family of noncommutative polynomials that spans the joint cyclic module of a real symmetric pair from any prescribed vector. In dimension at most $N$, when the second matrix has spectral diameter at most $N-1$, the family has $N(N+1)/2$ members, degree at most $N-1$, and a shared arithmetic circuit of size $O(N^2)$. No rank-dependent choice of coefficients is made. The proof uses a rational differential connection with a small self-adjoint residue: a primitive polynomial exterior vector for an invariant subspace must have an integer degree smaller than one.
For connected trees, the probes and the pointed adjacency--degree reconstruction theorem give one explicit self-adjoint polynomial $p_N\in\mathbb{Z}\langle a,d\rangle$ whose trace separates all trees of order at most $N$. Its circuit has $O(N^2)$ gates, formal degree at most $3N-2$, and polynomial bit complexity. Only the original adjacency and degree matrices, the identity, and ordinary matrix arithmetic are used. A separate integer sum-of-squares construction gives a fixed positive semidefinite representative on which the all-one vector is cyclic; its degree is $O(N^2)$. A linear trace-degree lower bound shows that the first construction has the correct asymptotic degree scale.
Turán Numbers of Linear Stars and Expanded Trees
For an $r$-uniform hypergraph $\mathcal H$, let $\ex_r(n,\mathcal H)$ denote the maximum number of edges in an $n$-vertex $r$-uniform hypergraph containing no copy of $\mathcal H$. The $r$-uniform expansion $T^{(r)}$ of a tree $T$ is obtained by adding $r-2$ new vertices to each edge, with the added sets pairwise disjoint and disjoint from $V(T)$. In particular, the expansion of $K_{1,k}$ is the linear star $\mathcal L_k^r$, whose $k$ edges intersect pairwise in a single common vertex. Chung and Frankl (1987) determined $\ex_3(n,\mathcal L_k^3)$ and all extremal hypergraphs for every $k\ge3$ and sufficiently large $n$. We extend the odd-$k$ part of their result to every $r\ge5$, determining the exact Turán number and the unique extremal hypergraph up to isomorphism for sufficiently large $n$. More generally, we extend this result to expansions of trees for which the minimum degree among the vertices in the smaller color class is odd and at least three. For every $r\ge5$ and sufficiently large $n$, we establish lower and upper bounds on their Turán numbers. When no two vertices attaining this minimum degree in that color class have a common neighbor, we determine the exact Turán number and the unique extremal hypergraph up to isomorphism. The proofs combine the delta-system method with stability arguments and a detailed analysis of extremal constructions.