pith. sign in

arxiv: 2511.04027 · v2 · pith:SHCK24OBnew · submitted 2025-11-06 · 🧮 math.FA

The growth of eigenfunction extrema on p.c.f. fractals

Hua Qiu , Haoran Tian This is my paper

Pith reviewed 2026-05-21 19:55 UTC · model grok-4.3

classification 🧮 math.FA
keywords eigenfunction extremaSierpinski gasketpost-critically finite fractalsspectral dimensionLaplacian eigenfunctionsfractal geometryspectral geometry
0
0 comments X

The pith

On the Sierpinski gasket the number of extrema of Laplacian eigenfunctions scales as lambda to the power of half the spectral dimension.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper establishes a sharp two-sided estimate for the number of local extrema of Laplacian eigenfunctions on post-critically finite fractals. For the Sierpinski gasket the count is comparable to the eigenvalue lambda raised to the power of the spectral dimension divided by two. This scaling shows that the complexity of these functions is controlled by the spectral dimension. The result differs from the growth seen on ordinary Euclidean domains such as rectangles or balls. Matching upper and lower bounds are possible because of the fractal's high symmetry.

Core claim

The authors establish the sharp two-sided estimate that the number of extrema of an eigenfunction u_lambda is asymptotically equivalent to lambda to the power d_S over 2 on the Sierpinski gasket. This demonstrates that the complexity of these eigenfunctions is governed by the spectral dimension d_S. The behavior stands in sharp contrast to the corresponding growth law on Euclidean n-dimensional rectangles or balls. The attainment of the exponent d_S/2 reflects the high symmetry of the underlying fractal. The result reveals a distinct spectral-geometric phenomenon on singular spaces.

What carries the argument

The two-sided estimate relating the number of local extrema of Laplacian eigenfunctions to the spectral dimension on the Sierpinski gasket.

If this is right

  • The complexity of eigenfunctions increases with the eigenvalue according to the spectral dimension.
  • This scaling differs from the Euclidean case where growth follows the ordinary dimension.
  • The high symmetry of the fractal enables the matching upper and lower bounds.
  • The result identifies a distinct spectral-geometric phenomenon on singular spaces.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Similar scaling may appear on other highly symmetric post-critically finite fractals.
  • Numerical approximations of the fractal could be used to check the scaling for larger eigenvalues.
  • The estimate may connect to the study of oscillations or vibrations on fractal domains.

Load-bearing premise

The high symmetry of the Sierpinski gasket is what allows the upper and lower bounds to match at the spectral dimension exponent.

What would settle it

A direct count of the number of extrema for eigenfunctions with successively larger eigenvalues on the Sierpinski gasket that fails to follow the predicted scaling with lambda to the power d_S over 2.

Figures

Figures reproduced from arXiv: 2511.04027 by Haoran Tian, Hua Qiu.

Figure 1
Figure 1. Figure 1: The Sierpinski gasket SG. This paper is devoted to a study of the oscillatory behavior of eigenfunctions on post-critically finite (p.c.f.) self-similar sets, among which the Sierpinski gasket (SG, see [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The modified Koch curve [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The Sierpinski gasket SG and the set V1. p1 p2 p3 p12 p31 p23 Let D =   −2 1 1 1 −2 1 1 1 −2   and r = (3/5, 3/5, 3/5), then (D, r) is a regular harmonic structure on SG. For m ≥ 1, write p ∼m q if p ̸= q ∈ Vm and there exists w ∈ Wm such that p, q ∈ FwV0. Note that #{q : q ∼m p} = 4 for p ∈ Vm \ V0 and #{q : q ∼m p} = 2 for p ∈ V0. Define ∆m : l(Vm) → l(Vm) by (3.1) (∆mu)(p) = X q∼mp (u(q) − u(p)), th… view at source ↗
Figure 4
Figure 4. Figure 4: Aλ (the shaded open equilateral triangle), B 1 λ (the thickened Y-shaped line segments, with endpoints removed), and Gi := Gψ−1(λ),i = (T i λ ) −1A5−1λ, i ∈ S (the three small open triangles). G1 G2 G3 ξ (1) ξ (2) θ ζψ−1(λ),23 ζψ−1(λ),13 ζψ−1(λ),12 [PITH_FULL_IMAGE:figures/full_fig_p018_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: (P 1 α ) −1 (Dα) (the shaded region), and the outer circle repre￾sents the line at infinity. ξ (1) ξ (1) ξ (1) ξ (2) ξ (2) ξ (2) θ θ θ ζΦ(α),31 ζΦ(α),31 ζΦ(α ζΦ(α),12 ),12 ( √ 3, −1)t (− ∞ √ 3, −1)t ∞ (a). α ∈ (0, 2) (b). α ∈ (3, 5) (c). α = 3 By Lemma 4.1 and a direct computation, for α ̸= 3, (4.5) P 1 α (θ) = P 1 α  0 0  ! = α 6 − α  0 −1  = ζα,23, P 1 α (ζΦ(α),31) = P 1 α [PITH_FULL_IMAGE:figures/f… view at source ↗
read the original abstract

This paper studies the growth of local extrema of Laplacian eigenfunctions on post-critically finite (p.c.f.) fractals. We establish the sharp two-sided estimate $\#\mathrm{Extr}(u_\lambda)\asymp\lambda^{d_S/2}$ for the Sierpinski gasket, demonstrating that the complexity of eigenfunctions is governed by the spectral dimension $d_S$. This behavior stands in sharp contrast to the corresponding growth law on Euclidean $n$-dimensional rectangles or balls. The attainment of the exponent $d_S/2$ reflects the high symmetry of the underlying fractal. Our result reveals a distinct spectral-geometric phenomenon on singular spaces.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

Summary. The manuscript studies the number of local extrema of Laplacian eigenfunctions on post-critically finite (p.c.f.) fractals. It establishes the sharp two-sided estimate #Extr(u_λ) ≍ λ^{d_S/2} specifically for the Sierpinski gasket (SG), arguing that eigenfunction complexity is controlled by the spectral dimension d_S rather than the Euclidean dimension, and attributes the matching bounds to the high symmetry of SG.

Significance. If the central estimate holds, the result identifies a distinct scaling law for eigenfunction oscillations on highly symmetric fractals that differs from the known growth on Euclidean domains. The explicit use of SG symmetry to obtain both the upper and lower bounds, together with the parameter-free character of the exponent d_S/2, constitutes a concrete advance in the spectral geometry of singular spaces.

major comments (2)
  1. [§3.1] §3.1, Definition 3.2: the notion of 'local extremum' is defined via the sign changes of the discrete gradient on the approximating graphs; however, the passage to the continuum limit on the SG does not include an explicit error estimate controlling the number of spurious extrema introduced by the approximation, which is load-bearing for the upper bound.
  2. [Theorem 4.1] Theorem 4.1 (lower bound): the construction of highly oscillatory eigenfunctions exploits the full dihedral symmetry of SG, but the argument does not quantify how much the exponent d_S/2 would degrade under a perturbation that breaks this symmetry; this limits the claim that the exponent is 'governed by the spectral dimension' alone.
minor comments (3)
  1. [Abstract] The abstract states the result for 'p.c.f. fractals' but the sharp estimate is proved only for SG; the introduction should explicitly delimit the scope.
  2. [Introduction] Notation for the counting function #Extr(u_λ) is introduced without a reference to the precise definition of a local extremum in the continuum; a forward pointer to Definition 3.2 would improve readability.
  3. [Figure 2] Figure 2 caption refers to 'level-4 approximations' but the axis labels are missing the corresponding graph level; this affects visual verification of the scaling.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and the recommendation for minor revision. The comments have helped us improve the clarity and rigor of the manuscript, particularly regarding the continuum limit and the role of symmetry in our results. We respond to each major comment below.

read point-by-point responses

  1. Referee: §3.1, Definition 3.2: the notion of 'local extremum' is defined via the sign changes of the discrete gradient on the approximating graphs; however, the passage to the continuum limit on the SG does not include an explicit error estimate controlling the number of spurious extrema introduced by the approximation, which is load-bearing for the upper bound.

    Authors: We agree that an explicit error estimate strengthens the passage to the continuum limit for the upper bound. In the revised manuscript we have added Lemma 3.3, which uses uniform convergence of the eigenfunctions and their discrete gradients on the graph approximations to show that the number of spurious extrema is o(λ^{d_S/2}). This ensures the asymptotic upper bound carries over without affecting the exponent. revision: yes

  2. Referee: Theorem 4.1 (lower bound): the construction of highly oscillatory eigenfunctions exploits the full dihedral symmetry of SG, but the argument does not quantify how much the exponent d_S/2 would degrade under a perturbation that breaks this symmetry; this limits the claim that the exponent is 'governed by the spectral dimension' alone.

    Authors: The paper establishes the sharp two-sided estimate specifically for the Sierpinski gasket and explicitly attributes the matching lower bound to its dihedral symmetry (see abstract and §1). We do not claim the exponent d_S/2 holds for general p.c.f. fractals. We have added a clarifying remark in the introduction and §4.3 noting that the construction relies on this symmetry and that quantifying degradation under symmetry-breaking perturbations lies outside the present scope. revision: partial

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper derives the two-sided estimate #Extr(u_λ) ≍ λ^{d_S/2} directly from the spectral dimension and high symmetry properties of the Sierpinski gasket as a p.c.f. fractal. No load-bearing step reduces by definition or construction to a fitted input, self-citation loop, or ansatz smuggled from prior work by the same authors. The contrast with Euclidean domains supplies independent geometric context, and the result is framed as a consequence of the fractal structure rather than a renaming or statistical forcing of existing data.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the central claim rests on the standard definition of p.c.f. fractals and the existence of a Laplacian with a well-defined spectral dimension; no free parameters or invented entities are mentioned.

axioms (1)
  • domain assumption Post-critically finite fractals admit a Laplacian whose eigenfunctions are well-defined and whose spectral dimension d_S governs scaling laws.
    Invoked implicitly when stating the estimate in terms of d_S for the Sierpinski gasket.

pith-pipeline@v0.9.0 · 5629 in / 1327 out tokens · 72170 ms · 2026-05-21T19:55:24.825847+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [1]

    Barlow and J

    M.T. Barlow and J. Kigami, Localized eigenfunctions of the Laplacian on p.c.f. self-similar sets, J. London Math. Soc. (2), 56 (1997), no. 2, 320-332

    work page 1997

  2. [2]

    Courant, D

    R. Courant, D. Hilbert, Methods of mathematical physics. Vol. I.Interscience Publishers, Inc., New York, 1953. xv+561 pp

    work page 1953

  3. [3]

    Fukushima and T

    M. Fukushima and T. Shima, On a spectral analysis for the Sierpinski gasket,Potential Anal., 1 (1992), no. 1, 1-35

    work page 1992

  4. [4]

    Hutchinson, Fractals and self-similarity,Indiana Univ

    J.E. Hutchinson, Fractals and self-similarity,Indiana Univ. Math. J., 30 (1981), no.5, 713-747

    work page 1981

  5. [5]

    Hörmander, The analysis of linear partial differential operators

    L. Hörmander, The analysis of linear partial differential operators. III. Pseudodifferential opera- tors. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 274.Springer-Verlag, Berlin, 1985. viii+525 pp

    work page 1985

  6. [6]

    Kajino, Spectral asymptotics for Laplacians on self-similar sets,J

    N. Kajino, Spectral asymptotics for Laplacians on self-similar sets,J. Funct. Anal., 258 (2010), no. 4, 1310-1360

    work page 2010

  7. [7]

    Kajino, Log-periodic asymptotic expansion of the spectral partition function for self-similar sets,Comm

    N. Kajino, Log-periodic asymptotic expansion of the spectral partition function for self-similar sets,Comm. Math. Phys., 328 (2014), no. 3, 1341–1370. THE GROWTH OF EIGENFUNCTION EXTREMA ON P.C.F. FRACTALS 37

    work page 2014

  8. [8]

    Kigami, A harmonic calculus on the Sierpinski spaces,Japan J

    J. Kigami, A harmonic calculus on the Sierpinski spaces,Japan J. Appl. Math., 6 (1989), no. 2, 259-290

    work page 1989

  9. [9]

    Kigami, Harmonic calculus on p.c.f

    J. Kigami, Harmonic calculus on p.c.f. self-similar sets,Trans. Amer. Math. Soc., 335 (1993), no. 2, 721-755

    work page 1993

  10. [10]

    Kigami, Distributions of localized eigenvalues of Laplacians on post critically finite self-similar sets,J

    J. Kigami, Distributions of localized eigenvalues of Laplacians on post critically finite self-similar sets,J. Funct. Anal., 156 (1998), no. 1, 170-198

    work page 1998

  11. [11]

    Kigami, Analysis on fractals

    J. Kigami, Analysis on fractals. Cambridge Tracts in Mathematics, 143.Cambridge University Press, Cambridge, 2001. viii+226 pp

    work page 2001

  12. [12]

    Kigami and M.L

    J. Kigami and M.L. Lapidus, Weyl’s problem for the spectral distribution of Laplacians on p.c.f. self-similar fractals,Comm. Math. Phys., 158 (1993), no. 1, 93-125

    work page 1993

  13. [13]

    Malozemov, The integrated density of states for the difference Laplacian on the modified Koch graph,Comm

    L. Malozemov, The integrated density of states for the difference Laplacian on the modified Koch graph,Comm. Math. Phys., 156 (1993), no. 2, 387-397

    work page 1993

  14. [14]

    Rammal and G

    R. Rammal and G. Toulouse, Random walks on fractal structures and percolation clusters,J. Physique Letters, 44 (1983), no. 1, 13-22

    work page 1983

  15. [15]

    Shima, On eigenvalue problems for the random walks on the Sierpinski pre-gaskets,Japan J

    T. Shima, On eigenvalue problems for the random walks on the Sierpinski pre-gaskets,Japan J. Indust. Appl. Math., 8 (1991), no. 1, 127-141

    work page 1991

  16. [16]

    Shima, On eigenvalue problems for Laplacians on p.c.f

    T. Shima, On eigenvalue problems for Laplacians on p.c.f. self-similar sets,Japan J. Indust. Appl. Math., 13 (1996), no. 1, 1-23

    work page 1996

  17. [17]

    Strichartz, Differential Equations on Fractals

    R.S. Strichartz, Differential Equations on Fractals. A Tutorial.Princeton University Press, Princeton, NJ, 2006. xvi+169 pp

    work page 2006

  18. [18]

    Teplyaev, Spectral analysis on infinite Sierpinski gaskets,J

    A. Teplyaev, Spectral analysis on infinite Sierpinski gaskets,J. Funct. Anal., 159 (1998), no. 2, 537-567. School of Mathematics, Nanjing University, Nanjing, Jiangsu, 210093, P.R. China Email address:huaqiu@nju.edu.cn School of Mathematics, Nanjing University, Nanjing, Jiangsu, 210093, P.R. China Email address:hrtian@hotmail.com

    work page 1998