Klobürštel Theorem on Trees

• The Klobürštel theorem is a discrete analogue of the classical Faber–Krahn theorem that defines a sharp spectral bound for finite trees based on interior and boundary vertex counts.
• It uniquely identifies a comet structure as the minimizer of the first Dirichlet eigenvalue, computed through Rayleigh quotient analysis and combinatorial Laplacians.
• The proof employs rearrangement moves and monotonicity principles, offering actionable insights for optimizing tree configurations in spectral graph theory.

The Klobürštel theorem is a discrete analogue of the classical Faber–Krahn theorem for the first Dirichlet eigenvalue of trees, providing a sharp spectral inequality for finite simple trees with given interior and boundary vertex counts. It establishes that among all such trees, a specific "comet" structure uniquely minimizes the first Dirichlet eigenvalue, providing both a precise inequality and a constructive characterization for extremal cases. The theorem situates itself in spectral graph theory and features rigorously articulated supporting concepts, including the combinatorial Laplacian, Dirichlet boundary conditions, and Rayleigh quotient analysis. Its development is attributed to the work of Bıyıkoğlu, Leydold, Lin, Liu, You, and Zhao, and incorporates earlier discrete Faber–Krahn results for regular trees and trees with fixed matching number (Lin et al., 5 Jan 2026).

1. Formal Definitions and Spectral Setup

Let $G = (V, E)$ denote a finite simple graph. A nonempty, proper subset $B \subsetneq V$ is designated the boundary. The interior, denoted $\Omega = V \setminus B$, is assumed to induce a connected subgraph. The graph's combinatorial Laplacian $\Delta$ acts on functions $f : V \to \mathbb{R}$ by

$$(\Delta f)(x) = \sum_{y \sim x} (f(y) - f(x)),\quad x \in V.$$

The Dirichlet eigenvalue problem in this context seeks solutions to

$$- \Delta f(x) = \lambda f(x), \quad x \in \Omega, \quad f|_B = 0,$$

whose spectrum $0 < \lambda_1 \le \lambda_2 \le \cdots$ is governed via the Rayleigh quotient

$$R_{(G, B)}(f) = \frac{\sum_{(x, y) \in E} (f(x) - f(y))^2}{\sum_{x \in \Omega} f(x)^2},$$

with

$\lambda_1 = \min_{f \not\equiv 0} R_{(G, B)}(f).$

A "tree with boundary" refers to a pair $B \subsetneq V$0 where $B \subsetneq V$1 is a tree and $B \subsetneq V$2 specifies the boundary. The matching number of $B \subsetneq V$3 is the largest cardinality of a set of pairwise disjoint edges.

2. Statement of the Theorem and Extremal Construction

For integers $B \subsetneq V$4 and $B \subsetneq V$5, define

$B \subsetneq V$6

as the class of trees with $B \subsetneq V$7 interior vertices and boundary $B \subsetneq V$8 being the set of leaves. The "comet" $B \subsetneq V$9 is constructed by forming a path $\Omega = V \setminus B$0, declaring $\Omega = V \setminus B$1 and all new leaves as boundary, and attaching $\Omega = V \setminus B$2 leaves at $\Omega = V \setminus B$3. Thus, $\Omega = V \setminus B$4, $\Omega = V \setminus B$5.

Klobürštel theorem: In the class $\Omega = V \setminus B$6, the first Dirichlet eigenvalue obeys the sharp bound

$\Omega = V \setminus B$7

for every $\Omega = V \setminus B$8, with equality if and only if $\Omega = V \setminus B$9 is isomorphic to the comet $\Delta$0 (Lin et al., 5 Jan 2026).

3. Proof Ingredients and Monotonicity Principles

The proof consists of several combinatorial and variational arguments:

• Monotonicity under extensions (subgraphs): If $\Delta$1 is obtained by converting interior vertices to boundary or deleting edges between boundary vertices (without increasing interior degrees), then

$\Delta$2

Therefore, adding leaves or contracting interior edges can only raise $\Delta$3.

• Rearrangement moves: Within a fixed combinatorial class, three elementary transformations do not increase the Rayleigh quotient for positive test functions:
  • Switching: Edges $\Delta$4 and $\Delta$5 are replaced by $\Delta$6 and $\Delta$7 when eigenfunction values are appropriately ordered.
  • Shifting: A pendant edge $\Delta$8 is reattached to a deeper interior vertex $\Delta$9 if $f : V \to \mathbb{R}$0.
  • Jumping: When $f : V \to \mathbb{R}$1 is on the geodesic from $f : V \to \mathbb{R}$2 to $f : V \to \mathbb{R}$3, one may replace $f : V \to \mathbb{R}$4 by $f : V \to \mathbb{R}$5 if $f : V \to \mathbb{R}$6.

Iterative application of these moves transforms any tree in $f : V \to \mathbb{R}$7—without increasing $f : V \to \mathbb{R}$8—to the comet $f : V \to \mathbb{R}$9. The strictness of inequalities ensures the uniqueness of the minimizer.

4. Explicit Spectral Formula for the Comet Structure

For the comet $$(\Delta f)(x) = \sum_{y \sim x} (f(y) - f(x)),\quad x \in V.$$0, the Dirichlet boundary is $$(\Delta f)(x) = \sum_{y \sim x} (f(y) - f(x)),\quad x \in V.$$1 plus the $$(\Delta f)(x) = \sum_{y \sim x} (f(y) - f(x)),\quad x \in V.$$2 leaves at $$(\Delta f)(x) = \sum_{y \sim x} (f(y) - f(x)),\quad x \in V.$$3. Any Dirichlet eigenfunction must vanish at these. Therefore, the nonzero segment of the eigenfunction resides on the path

$$(\Delta f)(x) = \sum_{y \sim x} (f(y) - f(x)),\quad x \in V.$$4

This path graph admits the Dirichlet spectrum

$$(\Delta f)(x) = \sum_{y \sim x} (f(y) - f(x)),\quad x \in V.$$5

Thus, for any $$(\Delta f)(x) = \sum_{y \sim x} (f(y) - f(x)),\quad x \in V.$$6,

$$(\Delta f)(x) = \sum_{y \sim x} (f(y) - f(x)),\quad x \in V.$$7

with equality if and only if $$(\Delta f)(x) = \sum_{y \sim x} (f(y) - f(x)),\quad x \in V.$$8.

5. Associated Formulas and Computational Perspectives

Key analytical expressions utilized include:

Quantity	Formula (LaTeX)	Description
Graph Laplacian	$$(\Delta f)(x) = \sum_{y \sim x} (f(y) - f(x)),\quad x \in V.$$9	Linear operator on vertex functions
Dirichlet Rayleigh	$$- \Delta f(x) = \lambda f(x), \quad x \in \Omega, \quad f|_B = 0,$$0	Spectral quotient on $$- \Delta f(x) = \lambda f(x), \quad x \in \Omega, \quad f|_B = 0,$$1
Faber–Krahn inequality	$$- \Delta f(x) = \lambda f(x), \quad x \in \Omega, \quad f|_B = 0,$$2	Main theorem

These formulas enable exact and numerically tractable eigenvalue bounds within the stated combinatorial constraints.

6. Sharpness Criteria and Extremal Examples

The sharpness of the Klobürštel theorem is exemplified by specific cases:

• For $$- \Delta f(x) = \lambda f(x), \quad x \in \Omega, \quad f|_B = 0,$$3: $$- \Delta f(x) = \lambda f(x), \quad x \in \Omega, \quad f|_B = 0,$$4 consists solely of the star $$- \Delta f(x) = \lambda f(x), \quad x \in \Omega, \quad f|_B = 0,$$5, whose first Dirichlet eigenvalue evaluates as $$- \Delta f(x) = \lambda f(x), \quad x \in \Omega, \quad f|_B = 0,$$6.
• For $$- \Delta f(x) = \lambda f(x), \quad x \in \Omega, \quad f|_B = 0,$$7: The boundary has cardinality $$- \Delta f(x) = \lambda f(x), \quad x \in \Omega, \quad f|_B = 0,$$8; the unique extremal "comet" is the path $$- \Delta f(x) = \lambda f(x), \quad x \in \Omega, \quad f|_B = 0,$$9, with first Dirichlet eigenvalue $0 < \lambda_1 \le \lambda_2 \le \cdots$0.
• Intermediate $0 < \lambda_1 \le \lambda_2 \le \cdots$1 values: In each instance, the unique eigenvalue minimizer is the comet $0 < \lambda_1 \le \lambda_2 \le \cdots$2.

A plausible implication is that structural optimizations of trees in spectral graph applications can be reduced to identifying isomorphisms with comet configurations for given interior-boundary counts.

7. Historical Context and Related Results

The continuum Faber–Krahn theorem posits that balls minimize the first Dirichlet eigenvalue among domains of fixed volume in $0 < \lambda_1 \le \lambda_2 \le \cdots$3. Discrete analogues for trees were introduced by Leydold (Geom. Funct. Anal., 1997) and generalized by Bıyıkoğlu–Leydold (J. Combin. Theory Ser. B, 2007), addressing degree sequences and matching numbers. Lin, Liu, You, and Zhao further established the Faber–Krahn property for trees with fixed matching number, and formulated the Klobürštel theorem as a corollary for trees with specified interior and boundary vertex counts (Lin et al., 5 Jan 2026).

This body of research provides rigorous combinatorial and spectral tools for characterizing optimal tree structures under Dirichlet constraints, serving as foundational references for ongoing work in spectral graph theory and combinatorial optimization.