tree
6912 papers tagged with this keyword
Critical limits of generating functions for face-constrained labelled planar maps
We study connected planar maps with a fixed number of numbered faces, whose vertices carry integer labels such that the minimum label along the boundary of each face is one. Each face has its own positive weight, and an edge shared by two faces receives the geometric mean of their weights. For any fixed number $k\ge3$ of faces, we prove that the suitably rescaled generating function converges locally uniformly as the face weights approach the critical value $1/12$, possibly at different positive rates. The limit is a finite, continuous sum of integrals over cubic schemes. Each scheme edge carries a Green kernel for a singular differential operator on the positive half-line, and each face contributes one insertion of the derivative of the tree scaling profile. The main difficulty is obtaining uniform estimates for small vertex labels, where the minimum-label constraints of different faces can interact. A positive corner-marking expansion reduces this problem to establishing uniform bounds on the contributions of marked configurations, both for small and large vertex labels. These estimates prove integrability of the surviving diagrams and show that coincident marks and noncubic schemes contribute only lower-order terms.
Resilient forest universality in percolated dense graphs
Christoph, Müyesser and Wigderson recently asked whether an approximate form of the Erdős-Sós conjecture is robust under random edge deletions. We establish a density-sensitive transference theorem that converts global resilience for bounded-degree trees in sparse random graphs into resilient forest universality in arbitrary dense host graphs. More precisely, if $F$ is an $N$-vertex graph of edge density $λ$ bounded away from zero and $p\in[K/N,1]$, then, with probability $1-o(1)$ uniformly over the host and the percolation parameter, every subgraph obtained from $F_p$ by deleting at most an $α$-fraction of its edges contains every bounded-degree forest on at most $((1-α)λ-ξ)N$ vertices. Consequently, for every $c>0$, $L\ge1$, fixed $D$ and $α<c$, every graph $F$ on at most $Ld$ vertices with average degree at least $d$ has the property that, after percolation at any rate $p\in[K/d,1]$ and any subsequent deletion of at most an $α$-fraction of the surviving edges, the remaining graph is universal for all forests on at most $(1-c)d$ vertices and maximum degree at most $D$. This includes vertex-disjoint packings of any prescribed collection of bounded-degree trees of that total order. We further obtain forest-universality results for graphs whose connected components have vertex-cover number at most $Cd$, and for graphs that can be brought into this form by deleting sufficiently few edges on the $dn$-scale.
Merge Trees of Length-Filtered Lattice Knot Spaces
We study length-filtered BFACF graphs of self-avoiding polygons in the simple cubic lattice, with merge heights recording the least length cap needed to connect configurations. We determine the complete minimal-layer merge trees for $4_1$ (four components at length 30 merging at 32) and $6_3$ (twelve components at length 40, two at 42, and one at 44). For one trefoil chirality, we certify six selected nonminimal components born at length 26 and merging with the minimal branch by length 28 or 30; these do not exhaust the full filtration.
We characterize eventual connectivity of capped graphs by bounded birth levels of strong local-minimum components. A 64-edge Hamiltonian lattice unknot with no nonincreasing BFACF moves has exact merge height 66 with the elementary square, verified by an explicit move certificate. Repeated two-edge splicing produces frozen unknots of length $64m$ for every $m\ge1$.
We also construct an 88-edge frozen trefoil by splicing the 64-edge unknot with a minimal 24-edge trefoil; iteration and reflection yield frozen trefoils of both chiralities with $64m+24$ edges. Hence the unknot and both trefoil chiralities have infinitely many nonminimal strong local-minimum births, and their capped BFACF graphs are not eventually connected.
These results concern standard discrete BFACF moves, not continuous ropelength barriers; exact excess heights for the longer families and extensions to arbitrary knot types remain open.
Vertex Removal and Vertex-Edge Domination
A vertex $v$ of a graph $G$ $ve$-dominates every edge incident with a vertex in its closed neighborhood $N_{G}[v]$. A set of vertices is a vertex-edge dominating set ($ve$-dominating set) if every edge of $G$ is $ve$-dominated by some vertex in the set. The minimum cardinality of such a set is the vertex-edge domination number $γ_{ve}(G)$, also known as the isolation number. In this paper, we study the effect of vertex removal on $γ_{ve}(G)$, establish sharp bounds on $γ_{ve}(G-v)$ and characterize the vertices whose removal decreases, preserves, or increases $γ_{ve}(G)$. Let $V^0(G)$ and $V^+(G)$ denote the sets of vertices whose removal preserves and increases $γ_{ve}(G)$, respectively, and let $V_{\mathrm{fix}}^0(G)$ consist of the vertices in $V^0(G)$ belonging to every minimum $ve$-dominating set. We prove that \[ |V^0(G)|\geq3|V_{\mathrm{fix}}^0(G)|+\sum_{v\in V^+(G)} \bigl(γ_{ve}(G-v)-γ_{ve}(G)+1\bigr). \] In particular, $|V^0(G)|\geq 2|V^+(G)|$. We also prove that every vertex in $V_{\mathrm{fix}}^0(G)$ lies on a cycle and that $V^0(T)\neq\emptyset$ for every tree $T$ of order at least three.
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 F. Bencs [D. Galvin, Trees with non log-concave independent set sequences, arXiv 2502.10654.v2].
Combinatorial Courant-Fischer-Weyl Minimax Principle on Cheeger $k$-constants of Weighted Forests
We present several max-min and minimax characterizations of Cheeger $k$-constants in weighted forests, thereby providing the first combinatorial analogue of the Courant-\\Fischer-Weyl minimax principle. As for applications, we prove that the forest 1-Laplacian variational eigenvalues are independent of the choice of typical indexes; we propose a refined higher order Cheeger inequality which establishes a relationship between Miclo's multiway Cheeger constants and the variational eigenvalues of graph $p$-Laplacians; and we show a purely combinatorial proof for the equality $h_k=λ_k(Δ_1)$ on trees which connects the 1-Laplacian variational eigenvalues and the multiway Cheeger constants.
Reconfiguration graphs of mutual-visibility sets
A set $S\subseteq V(G)$ is a mutual-visibility set if every pair of vertices in $S$ is joined by a geodesic whose internal vertices do not belong to $S$. We define a reconfiguration graph whose vertices are the mutual-visibility sets of $G$. Two configurations are adjacent if one is obtained from the other by adding or removing one vertex or by sliding one token along an edge of $G$. The subgraphs induced by configurations of a fixed cardinality are called layers. The spanning subgraph formed by token-addition and token-removal edges is a daisy cube. We study the effects of token-sliding edges on distances and connectivity to this skeleton. For a connected host of order $n\ge3$, the vertex connectivity of the reconfiguration graph lies between $3$ and $n$, and both bounds are attained. We determine several parameters of $\mathcal{R}_{\mathcal{M}}(K_n)$ and describe the behavior of the model for disconnected hosts and for isometric or convex subgraphs. We also give a component-based criterion for mobile mutual visibility. For complete bipartite graphs, we use a description of feasible configurations to determine connectivity and distance bounds for fixed-cardinality layers. For trees, we show that every component of a layer of cardinality at least three is isomorphic to a Cartesian product of subtrees, obtaining exact metric formulas and characterizing the connected layers. Finally, we prove that every layer of a cycle is connected.
PArcK trees can get as hot as you want
We consider the combinatorial game Partizan Arc Kayles as a generalization of Domineering. An extensive technical search using genetic algorithms found hot positions of temperature exceeding 2. We discuss this search and construct a family of positions with high temperature that includes these graphs and prove that Partizan Arc Kayles has unbounded temperature. We identify an infinite family of second-player win positions as part of our main construction.
Sharp asymptotics for the Lovász number of random circulant graphs
We study the LOVÁSZ number of dense random circulant graphs generated by independent Bernoulli bits indexed by cyclic distances. Although only $O(n)$ independent random inputs determine $O(n^2)$ globally dependent edge indicators, we prove sharp expectation asymptotics along all odd orders, including composite orders, with leading constant one. This resolves a conjecture posed for random circulant graphs in 2025. The proof combines an exact Fourier reduction and complementary duality with a positive interior smoothing that reveals a nonlinear random fixed-point equation. To analyze this equation under the strong dependence of the distance-bit model, we construct canonical tree fields, establish growing-degree Gaussian approximations through polynomial comparison and Wick/Hermite expansions, and transfer the resulting approximation back to the original sign model. A deterministic residual estimate together with an explicit exceptional-event integration yields the sharp expectation asymptotics.
Counterexamples to the local antimagic leaf conjecture
It has been conjectured that $χ_{\mathrm{la}}(T)\leq\ell(T)+2$ for every tree $T$ of order at least three, where $χ_{\mathrm{la}}(T)$ is the local antimagic chromatic number and $\ell(T)$ denotes the number of leaves. We disprove this bound and show that no absolute constant can replace $2$ in an inequality of this form. Our approach uses degree-based intervals containing all possible induced vertex weights under bijective edge labelings, together with a separation criterion that forces selected internal vertex weights to be distinct. We first construct caterpillars $T_3$ and $T_4$ satisfying $χ_{\mathrm{la}}(T_3)=\ell(T_3)+3$ and $χ_{\mathrm{la}}(T_4)=\ell(T_4)+4$, respectively. We then construct, for every positive integer $r$, infinitely many pairwise nonisomorphic caterpillars with exactly $r$ internal vertices for which every bijective edge labeling is antimagic. Each such caterpillar $T$ satisfies $χ_{\mathrm{la}}(T)=|V(T)|=\ell(T)+r$. Consequently, $χ_{\mathrm{la}}(T)-\ell(T)$ is unbounded even within the class of caterpillars, and no absolute constant $C$ can satisfy $χ_{\mathrm{la}}(T)\leq\ell(T)+C$ for every tree $T$.
Combinatorial bounds for the v-number of binomial edge ideals
We study the local $\mathrm v$-numbers of binomial edge ideals from a combinatorial perspective. For each minimal prime $P_{\mathcal S}$ of $J_G$, indexed by a cutset $\mathcal S$ of $G$, we consider two combinatorial invariants, $\mathrm v^-_{\mathcal S}(G)$ and $\mathrm v^+_{\mathcal S}(G)$, defined in terms of transversals of suitable hypergraphs, and show that the local $\mathrm v$-number $\mathrm v_{P_{\mathcal S}}(J_G)$ satisfies $\mathrm v^-_{\mathcal S}(G)\leq \mathrm v_{P_{\mathcal S}}(J_G)\leq \mathrm v^+_{\mathcal S}(G)$. Under a suitable hypothesis on the connected components, we provide explicit graph-theoretic descriptions of these invariants and analyze when they coincide, giving a combinatorial way to determine the local $\mathrm v$-numbers. As an application, we derive a sufficient condition for this coincidence, which applies to a broad class of graphs. Furthermore, we identify a constant that controls the gap between $\mathrm v^-_{\mathcal S}(G)$ and $\mathrm v^+_{\mathcal S}(G)$, thereby showing that the local $\mathrm{v}$-number lies within a bounded interval. Applications to cycles and trees illustrate both the equality criterion and the resulting bounds.
Graphic additive bases and graph flows
The lattice-coset method of Alon, Bucić, and Davies gives real solutions with controlled coordinates. We combine it with integer rounding to prescribe outdegrees and flows from spanning-tree packing. For every integer $q\ge3$, $q$ edge-disjoint spanning trees suffice for every outdegree prescription modulo $q$ whose sum is compatible with the number of edges. The tree count is optimal even for simple graphs. A common interval theorem extends the argument to totally unimodular matrices; for graphs, its partition inequalities admit a sharp allowance of two. Fractional packing characterizes when every prescription has a strongly connected realization and gives circular-flow bounds. In particular, for every integer $k\ge1$, every $(4k+2)$-edge-connected graph has circular flow number strictly below $2+1/k$, with optimal connectivity for this strict inequality. As a structural application, every four-edge-connected graph with no bond of size six, seven or eight has a nowhere-zero three-flow. Further consequences concern star decompositions, antisymmetric flows and contraction.
Backbone coloring for graphs with degree 4
The $λ$-backbone coloring of the graph $G$ with backbone $H$ is a graph-coloring problem in which we are given a graph $G$ and a subgraph $H$, and we want to assign colors to vertices in such a way that the endpoints of every edge from $G$ have different colors, and the endpoints of every edge from $H$ are assigned colors which differ by at least $λ$. In this paper we pursue research on backbone coloring of bounded-degree graphs with well-known classes of backbones. Our result is an almost complete classification of the complexity of deciding whether $BBC_λ(G, H) \le k$ for graphs with maximum degree at most $4$ and matching, galaxy, Hamiltonian path, and spanning tree backbones. We also determine the effect of allowing isolated vertices in matching and galaxy backbones.
A quadratic ancestor inequality for spanning trees
We introduce a quadratic ancestor inequality for weighted spanning trees on finite undirected graphs and give two applications. First, for every finite $n$-vertex transitive graph, the expected distance in its uniform spanning tree (UST) between two independent uniform vertices is at least $\sqrt{n}-1$, resolving a conjecture in [Benjamini--Kozma, Comm. Math. Phys. 259 (2005), 257--286]. Second, we prove that the growth exponent of three-dimensional loop-erased random walk (LERW) is at least 3/2.
Wild number for spanning trees in complete and complete bipartite graphs
Given an edge-colored graph, the wild number measures how close the graph is to having a spanning tree in every color. We investigate this parameter for complete graphs and complete bipartite graphs, with particular emphasis on minimum proper colorings and equitable $2$-colorings. For complete graphs, we determine the full range of wild numbers attainable by equitable $2$-colorings and show that, although every value in this range occurs, the expected wild number of a uniformly random equitable $2$-coloring tends to $0$ as the order of the graph grows. For minimum proper colorings of $K_n$, we establish a general lower bound, determine the exact wild number for $3 \le n \le 12$, and conjecture that the lower bound is sharp for all $n$. We also develop structural conditions on ideal wild sets and use them to obtain upper bounds and analyze the performance of a natural greedy algorithm. For complete bipartite graphs, we prove a sharp upper bound for equitable $2$-colorings and determine the wild number exactly for minimum proper colorings. Finally, we apply these results to Cartesian products of complete graphs and complete bipartite graphs, obtaining lower bounds for the wild number under minimum proper and product colorings.
Barrier Log-Concavity of Large Forests
We prove that the independence sequence of every sufficiently large forest is strictly barrier log-concave: whenever $i_{k+1}>i_k$, one has $i_k^2>i_{k-1}i_{k+1}$. Consequently, every common downward coefficient tilt is unimodal, with one order threshold valid simultaneously for all $0<t\le1$. As an application, we prove that every sufficiently large well-covered tree has a strictly log-concave independence polynomial. More generally, the latter conclusion holds for well-covered forests with sufficiently large matching number. Every sufficiently large forest with a palindromic independence polynomial is also strictly log-concave, with its modes at the central ranks. The proof establishes local coefficient-curvature estimates uniformly over forests of unbounded maximum degree and over activities tending to zero. Combined with the fixed-density theorem of Fang, Lu, Nevo, Yao, and Zheng, these estimates complete the strict log-concavity interval down to rank one through $\lfloor17α/25\rfloor$; the terminal fraction is inherited. The classical decreasing tail then yields the barrier property. A cumulative-coefficient corona theorem transfers barrier log-concavity of the base forest to full strict log-concavity of its leaf corona.
Curvature-Distortion Numbers of Graphs: Prescribed Lin--Lu--Yau Curvature Lower Bounds
We study an optimization problem for weighted Lin--Lu--Yau curvature. Given a graph $G=(V,E)$ and a prescribed lower curvature bound $k\ge0$, we ask for the smallest multiplicative distortion \[ \Dist(w):=\frac{\sup_{e\in E}w_e}{\inf_{e\in E}w_e} \] of the edge weights needed to make every edge have curvature at least $k$. This leads to the family \[ \DN_{\LLY}^{k}(G) := \inf\bigl\{ \Dist(w): κ_{\LLY}^{w}(e)\ge k \text{ for every }e\in E(G) \bigr\}, \] which extends the nonnegative-curvature invariant introduced in our preceding paper \cite{Xia2026InvariantI}. The edge weights change the transition probabilities, while the combinatorial graph distance remains fixed.
Positive prescribed curvature leads to a fundamental distinction from the case $k=0$. If $G$ is a connected locally finite infinite graph and $k>0$, then \[ \DN_{\LLY}^{k}(G)=\infty. \] Thus no finite multiplicative distortion of the edge weights can impose a uniform positive curvature lower bound on such a graph.
For a finite tree $T$ with $m$ edges, such weights exist exactly when $k\le2/m$. We prove that the minimum distortion is attained by a weight unique up to scaling, and that the normalized minimizer and its distortion depend continuously and nondecreasingly on $k$.
We then extend the finite-tree theory to general connected graphs. As an application, we characterize the graphs of girth at least six for which finite $k$-distortion is possible.
The square achievement game on $n \times n$ boards
Two players alternately claim cells of an $n \times n$ grid; the first to hold all four corners of an axis-parallel square wins, and a full board without one is a draw. The first player has a winning strategy if and only if $n \ge 5$, which answers a question of Erickson. For $n \ge 6$ one strategy serves every board: a rule with no lookup table whose moves after the second reply are all forcing, built around the plus, a stone with the four cells at a common distance from it along the axes, a shape proposed for this game by Sirgedas in 2010. The rule is checked on the boards of size $6$ to $17$, and a simulation theorem carries one checked run on the $23 \times 23$ board to every larger board. The proofs are formalized in Lean 4, and the theorem for the rule states that the tree of its own moves is winning.
Intersecting families of loose spanning hypertrees
A loose hypertree is a hypergraph whose incidence graph is a tree. Let $b\ge3$, $n\equiv1\pmod{b-1}$, and $s:=(n-1)/(b-1)$. We determine the largest $t$-intersecting families of loose spanning $b$-uniform hypertrees on $[n]$, simultaneously for every $1\le t\le s$, provided $n$ exceeds an explicit constant depending only on $b$. The extremal families consist of all such hypertrees containing a fixed $t$-edge loose forest whose component sizes are as equal as the divisibility condition permits. In particular, when $bt\le n$, the extremal forests are matchings. We also prove a Hilton--Milner-type bound: if $n\ge C_b(t+1)$, where $C_b$ depends only on $b$, every nontrivial $t$-intersecting family has at most $(s+1)r_{t+1}(n)$ members. Here $r_j(n)$ is the maximum possible number of loose spanning $b$-uniform hypertrees containing a fixed $j$-edge loose forest. For fixed constants $b,t$, this bound is asymptotically sharp and is $O_{b,t}(n^{2-b})r_t(n)$. The proofs combine exact forest enumeration with the intersection theorems of Kupavskii for spread families.
A Unified Linear Programming Approach for Maximizing Vertex-Degree-Based Indices of Trees
The problem of maximizing vertex-degree-based topological indices over trees with a prescribed order and maximum degree $Δ$ has traditionally relied on ad-hoc combinatorial arguments. In this paper, we establish a unified linear programming approach that systematically resolves these extremal problems. By formulating the optimization over degree-pair multiplicities, the search for an extremal tree reduces to minimizing a discrete dual penalty. Treating vertex degrees as continuous variables yields an analytical single-variable test condition that guarantees global optimality. We apply this framework across a diverse collection of invariants. We prove that the standard basic feasible solution is optimal for the Tangent Sombor, $SO_1$, $SO_2$, Albertson, and $σ$-irregularity indices for all $Δ\ge 3$. However, the dual optimality conditions establish exact analytical thresholds at which the standard basis loses optimality, necessitating a transition to alternative basic feasible solutions. For the Arithmetic-Geometric ($AG$) index, the standard basis is optimal strictly for $Δ\ge 9$; for smaller maximum degrees ($3 \le Δ\le 8$), optimization shifts to an alternative edge basis, allowing us to explicitly construct and characterize all extremal trees across congruence classes, including chemical trees ($Δ\in \{3, 4\}$). Conversely, for the Triangle Volume index ($SO_{11}$), the standard basis is optimal exclusively for $Δ\le 8$, while for $Δ\ge 9$ we analytically derive a novel, degree-dependent optimal basis to explicitly construct its extremal configurations.