Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Mass Functions and Asymptotic Behavior of Caloric Functions on Affine Buildings

T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Pith's one-line read Discrete heat flow on affine buildings becomes mass times heat kernel

desk verdict A credible extension of mass-function asymptotics to affine buildings, with a real but repairable gap in the p=2 rate and heavy dependence on imported heat-kernel estimates. read the letter →

arxiv 2506.17042 v1 pith:ZGKDWTGW submitted 2025-06-20 math.FA

classification math.FA MSC 35K0835B4051E2458J3560B1520E4220F5522E35
keywords affinebuildingscaloricfunctionsdiscreteheatequationmasskernelasymptoticsexoticrandomwalksMacdonaldspherical
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper establishes a decoupling theorem for the discrete-time heat equation on affine buildings: if the initial datum $f$ is integrable against a $p$-dependent weight, or is radial and in $\ell^1$, then the caloric function $u(n,\cdot)$ is asymptotically indistinguishable in $\ell^p$ norm from the product of a data-dependent mass function $M_p(f)$ and the heat kernel $k_n(o,\cdot)$, with relative error tending to zero. The mass function is the new ingredient: for $p<2$ it averages the horocycle (Busemann) contribution over the sector boundary, while for $p\ge2$ it is a convolution with the ground-state spherical function; for radial data both reduce to the single constant obtained by evaluating the Helgason transform at $s_p$. The same machinery yields the sharp $\ell^p$ growth rates of the heat kernel, which split into three regimes, with $p=2$ behaving discontinuously from its neighbors. The results hold for regular, thick, locally finite affine buildings with complete apartment systems, including exotic buildings on which no group acts transitively, extending classical Euclidean and symmetric-space asymptotics to the non-Archimedean setting.

What carries the argument

The load-bearing tool is a pair of sharp pointwise heat-kernel expansions, (1.25) and (1.26): in the Cramér zone at bounded distance from the boundary of $\mathcal{M}$, $k(n;x_n)\sim n^{-r/2}\rho^n e^{-n\phi(\delta_n)}\chi_0(\sigma(o,x_n))^{-1/2}(\det B_{s_n})^{-1/2}c(s_n)^{-1}$, while for $\sigma(o,x_n)/n\to0$, $k(n;x_n)\sim n^{-r/2-|\Phi^{++}|}\rho^n e^{-n\phi(\delta_n)}\Phi(\sigma(o,x_n))$. These are converted by Theorem 3.1 and Theorem 3.3 into ratio limits for $k(n;y,x_n)/k(n;o,x_n)$ that are uniform over the support of $f$; it is these ratio limits that force the caloric function to factor as $M_p(f)k_n$. The mass functions themselves are defined through horocycle (Busemann) functions and Macdonald spherical functions, and a Helgason transform on buildings—introduced in this paper, including for exotic buildings—provides the inversion and convolution identities connecting spatial data to the spherical/eigenfunction picture.

What would settle it

On a rank-2 affine building with thickness 2 and an admissible random walk, compute the normalized $\ell^p$ error $\|u(n;\cdot)-M_p(f)k_n(o,\cdot)\|_{\ell^p}/\|k_n(o,\cdot)\|_{\ell^p}$ for a finitely supported, non-radial $f$ and $p=3/2$; Theorem 4.9 predicts it is $O(n^{-1/2+\gamma})$. If it fails to tend to 0 for some $f$, the decoupling claim is false for that building; if it tends to 0 but at a different rate, only the error estimate needs revision, while the limit statement may survive.

Watch

Extended reading notes

Core claim

For an admissible random walk on the good vertices of a regular, thick, locally finite affine building with a complete apartment system, the paper proves that the solution $u(n,x)=\sum_y k_n(y,x)f(y)$ of the discrete heat equation obeys $$\lim_{n\to\infty}\frac{\|u(n;\cdot)-M_p(f)(\cdot)k_n(o,\cdot)\|_{\ell^p}}{\|k_n(o,\cdot)\|_{\ell^p}}=0$$ for every $p\in[1,\infty]$, whenever $f\in\ell^1(w_p)$ or $f$ is radial and in $\ell^1(V_g)$. The mass function is $M_p(f)(x)=\sum_y f(y)\,\frac{1}{\nu(\Omega(o,x))}\int_{\Omega(o,x)}\chi_0(h(o,y;\omega))^{1/p}\,d\nu(\omega)$ for $p<2$, and $M_p(f)(x)=(1/\varphi_0(x))(f\times\varphi_0)(x)$ for $p\ge2$; for radial $f\in\ell^1(V_g)$ it is the constant $M_p(f)=\mathcal{H}f(s_p)$ with $s_p=\eta(2/p-1)$ for $p<2$ and $s_p=0$ for $p\ge2$. Theorem A supplies the companion heat-kernel norms: $\|k_n\|_{\ell^p}\approx n^{-r/(2p')}\rho^n\kappa(s_p)^n$ for $p\in[1,2)$, $\approx n^{-r/4-|\Phi^{++}|/2}\rho^n$ for $p=2$, and $\approx n^{-r/2-|\Phi^{++}|}\rho^n$ for $p\in(2,\infty]$, together with explicit critical regions $\mathcal{N}^p_n$ on which the $\ell^p$ mass concentrates. The result is stated for buildings without any transitive group action, so it covers the so-called exotic affine buildings that have no continuous analogue.

Load-bearing premise

The central proof inherits, without re-proving, the pointwise heat-kernel expansions (1.25) and (1.26) for every regular, thick, locally finite affine building with a complete apartment system; if those expansions fail, or fail to be uniform over the relevant regions and over the support of $f$, the main decoupling theorem is not established for the buildings where they fail, in particular not for exotic buildings.

Editorial extensions

If this is right

  • For finitely supported initial data the decoupling carries an explicit rate: the normalized $\ell^p$ error is $O(n^{-1/2+\gamma})$ for $p<2$, $O(n^{-|\Phi^{++}|/(2|\Phi^{++}|+2)})$ for $p=2$, and $O(n^{-1}r_n)$ for $p>2$, with $r_n$ growing faster than $\log n$ and slower than $\sqrt n$ (Theorem 4.9).
  • The heat kernel's $\ell^p$ mass concentrates in explicit critical regions: around the drift ray $n\delta_p$ for $p<2$, in a spherical shell of radius $\sim\sqrt n$ away from walls for $p=2$, and in a ball of radius $r_n$ for $p>2$ (Theorems 2.4–2.6).
  • For radial $\ell^1$ data, $M_p(f)\equiv \mathcal{H}f(s_p)$, so the caloric function is eventually a single heat kernel with that coefficient, in every $\ell^p$ norm (Theorem 4.10).
  • The two candidate definitions of the $p=2$ mass function both yield the same $\ell^2$ limit, although they coincide only for radial data (Remark 1).
  • For Bruhat–Tits buildings of semisimple groups over local fields, the decoupling extends to radial data in the larger weighted classes $\ell^1_{s_p}$ (Theorem 4.11).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The three-regime split in Theorem A suggests a crossover in the mechanism controlling heat decay: for $p<2$ the large-deviation factor $\kappa(s_p)^n$ dominates, for $p>2$ the volume-growth factor $|\Phi^{++}|$ dominates, and $p=2$ is the balance point—an interpretation the paper hints at but does not name.
  • Because the proof for exotic buildings avoids any group action, one could try to transplant the same mass-function construction to other non-classical discrete spaces with similar volume growth, such as products of trees or other graphs with exponential volume growth; the decoupling may survive, but the sharp heat-kernel expansions would need to be re-established.
  • The Helgason transform developed here, including the inversion formula, is likely to be useful beyond heat equations—for instance in boundary-value problems or in defining Hardy-type spaces on buildings, in analogy with the symmetric-space theory.
  • For $p<2$, the mass function $M_p(f)(x)$ depends on $x$ through the sector set $\Omega(o,x)$, so non-radial data produce a spatially varying coefficient; the paper leaves open whether this variation has a geometric interpretation as a boundary integral of the Helgason transform evaluated at the frequency $s_p$.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper studies the large-time asymptotic behavior of solutions to the discrete heat equation on affine buildings, including buildings without a transitive automorphism group. For each p in [1,∞] it introduces a p-mass function M_p(f) and proves that, under suitable weighted-ℓ^1 or radial assumptions on the initial datum f, the caloric function u(n,·) decouples asymptotically as M_p(f)(·) k_n(o,·) in ℓ^p norm. The paper also establishes three regimes for the ℓ^p growth of the heat kernel (Theorem A) and describes the critical regions where the mass dominates. The proofs rely on pointwise heat-kernel asymptotics imported from [25], on new ratio-limit theorems, and on a Helgason transform and Plancherel formula developed for affine buildings, including exotic ones.

Significance. If the imported pointwise asymptotics hold in the claimed generality, this is a substantial contribution: it provides non-Archimedean analogues of classical Euclidean and symmetric-space decoupling results, extends them to buildings without transitive group actions, and reveals genuinely different behavior for p<2, p=2, and p>2. The Helgason transform and Fourier-inversion theorems for exotic buildings (Theorems 4.3 and 4.6) are of independent interest. The paper is clearly organized and the algebraic/geometric setup is careful. The main risk is that the central theorem inherits unverified pointwise asymptotics from [25] for exotic buildings, and the p=2 rate in Theorem 4.9 contains an internal inconsistency with Theorem 2.5.

major comments (2)
  1. [Section 1.5, Eqs. (1.25)–(1.26); Theorems 4.7–4.10] The proof of the main decoupling theorem for arbitrary regular, thick, locally finite affine buildings with a complete apartment system, including exotic buildings without a transitive group action, is built on the pointwise heat-kernel asymptotics (1.25)–(1.26) imported from [25, Theorem 4.1 and Corollary 4.10]. The present text neither states the precise hypotheses of those results nor verifies that they hold for buildings without a transitive automorphism group. Since Theorem B is claimed for exactly this class, the authors should either supply the missing verification or restrict the statement to the setting in which (1.25)–(1.26) are actually established.
  2. [Theorem 4.9 (p=2) vs. Theorem 2.5] In the proof of Theorem 4.9, the case p=2 chooses γ = 1/(2(|Φ++|+1)) so that ε''_n = O(ε'_n). However, Theorem 2.5 requires 0 < γ < 1/(4|Φ++|). For every |Φ++| ≥ 1, the chosen value violates this strict inequality (it equals the upper bound when |Φ++|=1 and exceeds it for larger |Φ++|). Consequently the stated rate ε_n = n^{-|Φ++|/(2|Φ++|+2)} is not justified by the estimates proved earlier; only the convergence assertion (with a possibly slower rate) is supported. The theorem and its proof need to be reconciled, for instance by modifying the critical region N^2_n or the admissible γ range, or by proving the endpoint case separately.
minor comments (4)
  1. [Abstract / keywords] The keyword list contains the typo "excotic building"; it should read "exotic building".
  2. [Section 1.5, opening paragraph] The text says "caloric functions associated with anisotropic random walk" but the definition that follows describes an isotropic (vectorial-distance-invariant) random walk. The terminology should be made consistent.
  3. [Lemma 1.1(iii)] The BC_r case in the proof of Lemma 1.1(iii) is dispatched with a short observation about the Weyl group; since BC_r buildings are explicitly covered, a few more details would improve readability.
  4. [Section 4.2, Eqs. (4.6a)–(4.6b)] For p=2 two mass functions are introduced and said not to coincide in general; a concrete example or reference illustrating their difference would help the reader gauge the significance of this phenomenon.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: mass functions are defined a priori from building geometry and harmonic analysis, and the imported heat-kernel asymptotics from [25] serve as independent external support rather than a circular reduction.

full rationale

The central claim, Theorem B, is that caloric functions with appropriate initial data asymptotically decouple as M_p(f)(x) k_n(o,x) in ℓ^p. The mass functions M_p are introduced in (0.4)-(0.5) directly from the Busemann function, harmonic measure, and Macdonald spherical functions; they are not fitted to the limiting quantity, nor are they renamed versions of the heat kernel. For p in [1,2), the proof uses the quotient asymptotics of Corollary 3.2, which follow from the pointwise expansion (1.25) imported from Trojan's paper [25]. In the critical region, the averaged Busemann integral defining M_p is shown to equal the limiting quotient via the exact horocycle identity (1.5), so the mass function is not built from the theorem it is meant to prove. For p in [2,∞], M_p is the Poisson-type transform (f × φ_0)/φ_0, and the convergence again follows from the ratio theorems, not from an assumption of the conclusion. The reliance on [25, Theorem 4.1 and Corollary 4.10] is a genuine external dependency and a self-citation, but it is not circular: those asymptotics are stated for the heat kernel of the same admissible walk, are parameter-free with stated assumptions, and do not assume Theorem B or the mass-function formulas. The paper explicitly limits Theorem 4.11 to Bruhat-Tits buildings, where Herz's principle is available, while the exotic-building claim rests on Theorem 4.12, whose density argument does not invoke Herz. A concrete internal issue is the p=2 choice gamma = 1/(2(|Φ++|+1)) in the proof of Theorem 4.9, which is inconsistent with the earlier constraint gamma < 1/(4|Φ++|) from Theorem 2.5; this is a rate/error-term defect and does not affect the asserted convergence, nor is it circular. No circular step can be exhibited from the paper's own equations.

Assumptions & free parameters 3 free parameters · 6 assumptions · 0 invented entities

The main theorem introduces no empirical free parameters; the only numbers chosen by hand are auxiliary exponents and cutoffs defining critical regions, and the stated limits are independent of them. The paper does rely heavily on prior deep results, especially Trojan's heat kernel expansions, and assumes regularity and completeness of the building. The p-mass function is a new mathematical object but it is defined from standard building data rather than postulated as a new physical entity.

free parameters (3)
  • γ for p∈[1,2)
    Auxiliary exponent chosen in (2.4) with 0<γ<1/6, defining the critical region N^p_n. The final limit is independent of the choice.
  • γ and γ' for p=2
    Auxiliary exponents chosen in Section 2.2 with 0<γ<1/(4|Φ++|) and γ'=2γ|Φ++|. Theorem 4.9 later chooses a value outside this range, causing the inconsistency noted in red flags.
  • r_n for p>2
    Auxiliary cutoff sequence used in (2.14) satisfying r_n/log n→∞ and r_n/√n→0, defining N^p_n. The theorem does not depend on the specific sequence.
assumptions (6)
  • domain assumption The building is regular, thick, locally finite and has a complete system of apartments (Sections 1.1 and 1.3).
    Used throughout to obtain well-defined vectorial distance, counting functions N_λ, and the harmonic measure; it excludes some affine buildings with non-complete apartment systems.
  • domain assumption The random walk is admissible: isotropic, finite range, irreducible, and aperiodic (Section 1.5).
    Needed for the spectral radius, the Gelfand transform of the averaging operator, and the heat kernel estimates from [25].
  • domain assumption Heat kernel asymptotic expansions (1.25) and (1.26) from [25] hold with the stated uniform errors.
    Imported from a paper by the second author; the proofs of Theorems 2.4, 2.5, 2.6, 3.1 and 4.9 rest on these expansions, and the exotic building claim depends on their validity beyond Bruhat-Tits buildings.
  • standard math Macdonald spherical functions satisfy the integral representation (1.13), and the Plancherel formula (1.14)/(1.15) holds.
    Quoted from Parkinson [22]; used to define the Helgason transform, the mass functions, and the spherical transform of radial functions.
  • standard math Kostant's convexity theorem bounds the Busemann function values by the saturation set (Section 1.3, after (1.6)).
    Used to prove inequality (1.7), the boundedness of mass functions, and several ratio estimates.
  • domain assumption For Bruhat-Tits buildings, Herz's principle and the Kunze-Stein phenomenon hold (Appendix A).
    Used only in Theorem 4.11 to extend convergence to ℓ^1_{s_p} radial data for Bruhat-Tits buildings; not needed for the exotic building results.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Mass Functions and Asymptotic Behavior of Caloric Functions on Affine Buildings." pith.science (2026). https://pith.science/paper/ZGKDWTGW

@misc{pith2026250617042,
  author       = {Pith},
  title        = {Pith review of: Mass Functions and Asymptotic Behavior of Caloric Functions on Affine Buildings},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZGKDWTGW}},
  note         = {Machine review of arXiv:2506.17042}
}
abstract

We study the large-time asymptotic behavior of solutions to the discrete-time heat equation, i.e., caloric functions, on affine buildings, including those without transitive group actions. For each $p \in [1, \infty]$, we introduce a notion of a $p$-mass function and prove that caloric functions with initial data belonging to certain weighted-$\ell^1$ spaces or to the radial $\ell^1$ class, asymptotically decouple as the product of this mass function and the heat kernel. These results extend classical analogues from Euclidean spaces and symmetric spaces of non-compact type to the non-Archimedean setting, and remain valid even for exotic buildings beyond the Bruhat--Tits framework. We characterize the spatial concentration of heat kernels in $p$-norms and describe the geometry of associated critical regions. Our results highlight substantial differences in the asymptotic regimes depending on the value of $p$, and clarify the interplay between volume growth and heat diffusion.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Spectral theory for transfer operators on compact quotients of Euclidean buildings

    math.DS 2026-03 conditional novelty 6.0 of 10

    On compact quotients of Euclidean buildings, the Taylor spectrum of the transfer-operator family equals the joint point spectrum away from zero.

Reference graph

Works this paper leans on

27 extracted references · 26 canonical work pages · cited by 1 Pith paper

  1. [25]

    B. Trojan. Asymptotic behavior of heat kernels and Green functions on affine buildings. to appear in Journal of the European Mathematical Society, 2024

  2. [1]

    Abramenko and K.S

    P. Abramenko and K.S. Brown.Buildings. Graduate Text in Mathematics. Springer-Verlag New York, 2008

  3. [2]

    J.-Ph. Anker. La forme exacte de l’estimation fondamentale de Harish-Chandra.C. R. Acad. Sci. Paris Série I Math., 305:371– 374, 1987

  4. [3]

    Anker and L

    J.-Ph. Anker and L. Ji. Heat kernel and Green function estimates on noncompact symmetric spaces.Geom. Funct. Anal., 9:1035–1091, 1999

  5. [4]

    Anker, E

    J.-Ph. Anker, E. Papageorgiou, and H.-W Zhang. Asymptotic behavior of solutions to the heat equation on noncompact symmetric spaces.J. Funct. Anal., 284:109828, 2023

  6. [5]

    Math., 36:383–412, 2025

    J.-Ph.Anker,B.Schapira,andB.Trojan.Sharpestimatesfordistinguishedrandomwalksonaffinebuildingsoftype 𝑎𝑟.Indag. Math., 36:383–412, 2025

  7. [6]

    J.-Ph.AnkerandA.G.Setti.AsymptoticfinitepropagationspeedforheatdiffusiononcertainRiemannianmanifolds. J.Funct. Anal., 103:50–61, 1992

  8. [7]

    Babillot

    M. Babillot. A probabilistic approach to heat diffusion on symmetric spaces.J. Theor. Probab., 7:599–607, 1994

Show all 27 references
  1. [8]

    Bourbaki.Lie groups and Lie algebras

    N. Bourbaki.Lie groups and Lie algebras. Chapters 4–6. Elements of Mathematics. Springer-Verlag Berlin Heidelberg, 2002

  2. [9]

    Bruhat and J

    F. Bruhat and J. Tits. Groupes réductifs sur un corps local, I.Publ. Math. IHÉS, 41:5–251, 1972

  3. [10]

    Davies.Heat Kernels and Spectral Theory

    E.B. Davies.Heat Kernels and Spectral Theory. Cambridge Univ. Press, 1989

  4. [11]

    A.Grigor’yan,E.Papageorgiou,andH.-WZhang.AsymptoticbehavioroftheheatsemigrouponcertainRiemannianmanifolds. In P. Alonso Ruiz, M. Hinz, K.A. Okoudjou, L.G. Rogers, and A. Teplyaev, editors,From Classical Analysis to Analysis on Fractals. Applied and Numerical Harmonic Analysis,...

  5. [12]

    Grzywny, E

    T. Grzywny, E. Papageorgiou, and B. Trojan. Caloric functions on measure metric spaces. 2025

  6. [13]

    Helgason.Differential Geometry, Lie Groups, and Symmetric Spaces

    S. Helgason.Differential Geometry, Lie Groups, and Symmetric Spaces. Academic Press, 1978

  7. [14]

    Ann.Sci.Éc.Norm.Supér

    B.Kostant.Onconvexity,theWeylgroupandtheIwasawadecomposition. Ann.Sci.Éc.Norm.Supér. ,Ser.4,6:413–455,1973

  8. [15]

    Macdonald

    I.G. Macdonald. Spherical Functions on a Group of𝑝-adic type, volume 2 ofPublications of the Ramanujan Institute. Ramanujan Institute, Centre for Advanced Study in Mathematics, University of Madras, 1971

  9. [16]

    Mantero and A

    A.M. Mantero and A. Zappa. Eigenvalues of the vertex set Hecke algebra of an affine building. In M.A. Picardello, editor, Trends in Harmonic Analysis, volume 3 ofINdAM, pages 291–370. Springer, Milano, 2011

  10. [17]

    Munkres.Elements of algebraic topology

    J.R. Munkres.Elements of algebraic topology. Westview Press, 1996

  11. [18]

    𝐿𝑝-asymptoticbehaviourofsolutionsofthefractionalheatequationonRiemanniansymmetric spaces of noncompact type

    M.Naik,S.K.Ray,andJ.Sarkar. 𝐿𝑝-asymptoticbehaviourofsolutionsofthefractionalheatequationonRiemanniansymmetric spaces of noncompact type. arXiv: 2404.09985, 2024

  12. [19]

    Papageorgiou.𝐿𝑝 asymptotics for the heat equation on symmetric spaces for non-symmetric solutions.Int

    E. Papageorgiou.𝐿𝑝 asymptotics for the heat equation on symmetric spaces for non-symmetric solutions.Int. Math. Res. Not. IMRN, 2025(7):rnaf074, 2025

  13. [20]

    Parkinson.Buildings and Hecke algebras

    J. Parkinson.Buildings and Hecke algebras. PhD thesis, University of Sydney, 2005

  14. [21]

    Parkinson

    J. Parkinson. Buildings and Hecke algebras.J. Algebra, 297(1):1–49, 2006

  15. [22]

    Parkinson

    J. Parkinson. Spherical harmonic analysis on affine buildings.Math. Z, 253:571–606, 2006

  16. [23]

    Rémy and B

    B. Rémy and B. Trojan. Martin compactificaton of affine buildings. preprint, 2022

  17. [24]

    M.A. Ronan. Aconstruction of buildings with norank3residues of sphericaltype. InBuildings and thegeometry of diagrams (Como, 1984), volume 1181 ofLecture Notes in Math., pages 242–248. Springer, Berlin, 1986

  18. [26]

    J.L. Vázquez. Asymptotic behaviour for the heat equation in hyperbolic space.Comm. Anal. Geom., 30(9):2123–2156, 2022

  19. [27]

    Veca.The Kunze–Stein phenomenon

    A. Veca.The Kunze–Stein phenomenon. PhD thesis, University of New South Wales, 2002. Effie Papageorgiou, Institut für Mathematik, Universität Paderborn, W arburger Str. 100, D-33098 Paderborn, Germany Email address: papageoeffie@gmail.com Bartosz Trojan, Wydział Matematyki, Po...

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.