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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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$.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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.
- [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)
- [Abstract / keywords] The keyword list contains the typo "excotic building"; it should read "exotic building".
- [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.
- [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.
- [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
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
free parameters (3)
- γ for p∈[1,2)
- γ and γ' for p=2
- r_n for p>2
assumptions (6)
- domain assumption The building is regular, thick, locally finite and has a complete system of apartments (Sections 1.1 and 1.3).
- domain assumption The random walk is admissible: isotropic, finite range, irreducible, and aperiodic (Section 1.5).
- domain assumption Heat kernel asymptotic expansions (1.25) and (1.26) from [25] hold with the stated uniform errors.
- standard math Macdonald spherical functions satisfy the integral representation (1.13), and the Plancherel formula (1.14)/(1.15) holds.
- standard math Kostant's convexity theorem bounds the Busemann function values by the saturation set (Section 1.3, after (1.6)).
- domain assumption For Bruhat-Tits buildings, Herz's principle and the Kunze-Stein phenomenon hold (Appendix A).
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.
Forward citations
Cited by 1 Pith paper
-
Spectral theory for transfer operators on compact quotients of Euclidean buildings
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
-
[25]
B. Trojan. Asymptotic behavior of heat kernels and Green functions on affine buildings. to appear in Journal of the European Mathematical Society, 2024
work page 2024
-
[1]
P. Abramenko and K.S. Brown.Buildings. Graduate Text in Mathematics. Springer-Verlag New York, 2008
work page 2008
-
[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
work page 1987
-
[3]
J.-Ph. Anker and L. Ji. Heat kernel and Green function estimates on noncompact symmetric spaces.Geom. Funct. Anal., 9:1035–1091, 1999
work page 1999
- [4]
-
[5]
J.-Ph.Anker,B.Schapira,andB.Trojan.Sharpestimatesfordistinguishedrandomwalksonaffinebuildingsoftype 𝑎𝑟.Indag. Math., 36:383–412, 2025
work page 2025
-
[6]
J.-Ph.AnkerandA.G.Setti.AsymptoticfinitepropagationspeedforheatdiffusiononcertainRiemannianmanifolds. J.Funct. Anal., 103:50–61, 1992
work page 1992
- [7]
Show all 27 references
-
[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
2002
-
[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
1972
-
[10]
Davies.Heat Kernels and Spectral Theory
E.B. Davies.Heat Kernels and Spectral Theory. Cambridge Univ. Press, 1989
1989
-
[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,...
2023
-
[12]
Grzywny, E
T. Grzywny, E. Papageorgiou, and B. Trojan. Caloric functions on measure metric spaces. 2025
2025
-
[13]
Helgason.Differential Geometry, Lie Groups, and Symmetric Spaces
S. Helgason.Differential Geometry, Lie Groups, and Symmetric Spaces. Academic Press, 1978
1978
-
[14]
Ann.Sci.Éc.Norm.Supér
B.Kostant.Onconvexity,theWeylgroupandtheIwasawadecomposition. Ann.Sci.Éc.Norm.Supér. ,Ser.4,6:413–455,1973
1973
-
[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
1971
-
[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
2011
-
[17]
Munkres.Elements of algebraic topology
J.R. Munkres.Elements of algebraic topology. Westview Press, 1996
1996
-
[18]
𝐿𝑝-asymptoticbehaviourofsolutionsofthefractionalheatequationonRiemanniansymmetric spaces of noncompact type
M.Naik,S.K.Ray,andJ.Sarkar. 𝐿𝑝-asymptoticbehaviourofsolutionsofthefractionalheatequationonRiemanniansymmetric spaces of noncompact type. arXiv: 2404.09985, 2024
2024
-
[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
2025
-
[20]
Parkinson.Buildings and Hecke algebras
J. Parkinson.Buildings and Hecke algebras. PhD thesis, University of Sydney, 2005
2005
-
[21]
Parkinson
J. Parkinson. Buildings and Hecke algebras.J. Algebra, 297(1):1–49, 2006
2006
-
[22]
Parkinson
J. Parkinson. Spherical harmonic analysis on affine buildings.Math. Z, 253:571–606, 2006
2006
-
[23]
Rémy and B
B. Rémy and B. Trojan. Martin compactificaton of affine buildings. preprint, 2022
2022
-
[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
1984
-
[26]
J.L. Vázquez. Asymptotic behaviour for the heat equation in hyperbolic space.Comm. Anal. Geom., 30(9):2123–2156, 2022
2022
-
[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...
2002
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.