Search arXivSearch

arXiv · 2602.03909

On Extremal Family Trees $(\mathcal{T}_n)_{n\geqslant 3}$ Beyond Caterpillars and Greedy Constructions

Abstract

This paper investigates topological indices for the greedy tree $\mathcal{T}_\mathscr{D}$ associated with a graphic degree sequence $\mathscr{D} = (d_1 \geqslant d_2 \geqslant \dots \geqslant d_n)$ of a tree. A fundamental challenge in the study of topological indices lies in establishing precise bounds, as such findings illuminate intrinsic relationships among diverse indices. We investigate the extremal properties of the graph invariant $σ$ over the family $\mathcal{T}_n$ of all trees on $n \ge 3$ vertices. Specifically, we compare the minimum values of $σ$ attained in restricted subclasses -- including caterpillar trees and greedy trees -- with the global minimum over $\mathcal{T}_n$. We prove that caterpillar trees do not achieve the minimum value of $σ$ among all trees, whereas greedy trees attain values no smaller than this global minimum. Moreover, we show that certain trees, which are neither caterpillars nor greedy trees, have $σ$-values strictly between the global minimum over $\mathcal{T}_n$ and the minimum among caterpillar trees. These results highlight structural limitations of these common tree classes in extremal problems and offer new insights into the role of non-caterpillar, non-greedy trees in minimizing graph invariants.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jasem Hamoud, Duaa Abdullah. 2026-02-03. On Extremal Family Trees $(\mathcal{T}_n)_{n\geqslant 3}$ Beyond Caterpillars and Greedy Constructions. https://arxiv.org/abs/2602.03909

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. Liu proposed the conjecture \[ \sum_{\text{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \ge 2+\left(\frac{2r}{R}\right)^k,\qquad k>1, \] with the reverse inequality for $k<1$. We prove this conjecture by reducing it to an algebraic inequality for three positive variables with prescribed sum and product. We also determine the equality cases.

math.GM

A quadratic critical-value conjecture for the fifth Bessel moment

We conjecture an explicit evaluation of the pure fifth Bessel moment $\int_0^\infty K_0(t)^5\,dt$ as a quadratic expression in the critical value $L(f,2)$ of the weight-three, level-60 newform $f$ (LMFDB orbit 60.3.b.a) identified in the twisted fifth-moment modularity theorem of Lim, Tu and Yu, with coefficients in $\mathbb{Q}(\sqrt{5})$ and the square taken before the real and imaginary parts. Directed interval computations, using no stored Bessel or $L$-values, bound the absolute discrepancy by $10^{-358}$. We prove three exact modular identities for $f$: the Petersson-norm formula $\langle f,f\rangle_{60} = \frac{3(5-\sqrt{5})}{2π^4}|L(f,2)|^2$, the coefficient-conjugation relation $L(f^σ,2) = κL(f,2)$ with explicit $κ\in \mathbb{Q}(\sqrt{5},i)$, and the twisted symmetric-square evaluation $L(χ_{-4}\mathrm{Sym}^2 f,2) = \sqrt{15}\,π^2 \langle f,f\rangle_{60}$, together with $L(χ_{-4}\mathrm{Sym}^2 f,3) = π^4\langle f,f\rangle_{60}/8$, in the full Euler-factor normalization of Lim, Tu and Yu. The last identity shows that the companion norm conjecture $D_{5,\mathrm{odd}} = \frac{3\sqrt{15}(5-\sqrt{5})}{2}|L(f,2)|^2$ is equivalent to the symmetric-square conjecture $D_{5,\mathrm{odd}} = π^2 L(χ_{-4}\mathrm{Sym}^2 f,2)$ of Lim, Tu and Yu, while the exact relation $D_{5,\mathrm{even}} = π^2 D_{5,\mathrm{odd}}/(2\sqrt{15})$ follows from Chuang's period formulas. Every Bessel-to-modular equality, including the individual-period formula, remains conjectural. Complete proofs, exact rational certificates and verification programs are included as ancillary files.

math.GM