pith. sign in

arxiv: 2601.04088 · v2 · submitted 2026-01-07 · 🧮 math.AP · math.PR

Fractional heat content asymptotics for Carnot groups

Rohan Sarkar This is my paper

Pith reviewed 2026-05-16 16:10 UTC · model grok-4.3

classification 🧮 math.AP math.PR
keywords Carnot groupsfractional heat contentsub-Laplacianhorizontal perimetersmall-time asymptoticsDirichlet heat kernelnonlocal diffusion
0
0 comments X

The pith

The difference between a domain volume and its fractional heat content limits to the horizontal perimeter in Carnot groups as time goes to zero.

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

The paper proves that for domains in Carnot groups the normalized difference between volume and fractional heat content approaches the horizontal perimeter. This holds when the fractional order lies between 1 and 2 and the normalizing rate function is identical to the one known from Euclidean space. A reader cares because the result supplies a direct link between the short-time behavior of nonlocal diffusion driven by the fractional sub-Laplacian and the intrinsic perimeter in these stratified geometries. The argument applies to bounded domains whose boundary is twice differentiable and free of characteristic points.

Core claim

For a bounded C² non-characteristic domain Ω in a Carnot group the fractional heat content Q_Ω^(α)(t) defined via the Dirichlet solution of the fractional sub-Laplacian equation satisfies lim_{t→0} (|Ω| − Q_Ω^(α)(t)) / μ_α(t) = |∂Ω|_H for every 1 ≤ α ≤ 2, where the explicit rate function μ_α is the same positive function that appears in the Euclidean case.

What carries the argument

The fractional sub-Laplacian L^{α/2} together with its Dirichlet heat kernel whose integral over Ω produces the heat content Q_Ω^(α)(t).

Load-bearing premise

The domain must be C² smooth and contain no characteristic boundary points so the short-time boundary contribution reduces exactly to the horizontal perimeter.

What would settle it

Take the unit ball in the Heisenberg group, compute its known horizontal perimeter, and check numerically whether the normalized difference |Ω| − Q_Ω^(α)(t) divided by μ_α(t) approaches that perimeter value as t tends to zero; any persistent deviation disproves the claimed limit.

read the original abstract

We propose a novel approach for studying small-time asymptotics of the fractional heat content of $C^2$ non-characteristic domains in Carnot groups. Denoting the sub-Laplacian operator by $\mathcal{L}$, the fractional heat content of a bounded domain $\Omega$ is defined as $Q^{(\alpha)}_\Omega(t)=\int_{\Omega}u_\alpha(x,t) dx$, where $u_\alpha$ is the solution to the heat equation corresponding to the fractional sub-Laplacian $\mathcal{L}_\alpha:=\mathcal{L}^{\alpha/2}$ with Dirichlet boundary condition on $\Omega$. We prove that for $1\le \alpha\le 2$, there exists explicit rate function $\mu_\alpha: (0,\infty)\to (0,\infty)$ such that \begin{align*} \lim_{t\to 0}\frac{|\Omega|-Q^{(\alpha)}_\Omega(t)}{\mu_\alpha(t)}=|\partial \Omega|_H, \end{align*} where $|\Omega|$, $|\partial \Omega|_H$ are the volume and horizontal perimeter of $\Omega$ respectively. Moreover, the rate function $\mu_\alpha$ coincides with the same for the Euclidean case.

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 paper establishes small-time asymptotics for the fractional heat content Q^{(α)}_Ω(t) of C² non-characteristic bounded domains Ω in Carnot groups. It proves that for 1 ≤ α ≤ 2 there exists an explicit rate function μ_α:(0,∞)→(0,∞) such that lim_{t→0} (|Ω| - Q^{(α)}_Ω(t))/μ_α(t) = |∂Ω|_H, where |Ω| is the volume and |∂Ω|_H the horizontal perimeter; moreover μ_α coincides with the corresponding Euclidean rate function.

Significance. If the result holds, the work provides a precise extension of fractional heat-content asymptotics from Euclidean space to Carnot groups, showing that the leading short-time deficit is governed exactly by the horizontal perimeter with no additional stratification corrections. The coincidence of the rate function with the Euclidean case is a notable strength, as it follows from local tangent-group comparison and indicates that the transverse horizontal directions dominate the fractional diffusion at leading order. The C² non-characteristic assumption is used to guarantee clean boundary behavior.

major comments (2)
  1. Theorem 1.1 (or the main result statement): the claim that μ_α is explicit and coincides with the Euclidean rate is central, yet the manuscript does not display the explicit formula for μ_α (only asserts its existence and equality); without this expression the verification that the limit is parameter-free and group-independent cannot be checked directly from the statement.
  2. Section 3 (proof of the limit): the argument proceeds by local comparison of the fractional sub-Laplacian to its Euclidean counterpart on the tangent Carnot group; the error estimates controlling the difference between the group heat kernel and the Euclidean one must be shown to be o(μ_α(t)) uniformly up to the boundary, but the current write-up leaves the precise decay rates implicit.
minor comments (3)
  1. Abstract: the definition of u_α as the solution to the fractional heat equation with Dirichlet boundary conditions should be stated more explicitly (including the precise form of L_α = L^{α/2}) so that the heat-content integral is immediately intelligible.
  2. Notation: the horizontal perimeter |∂Ω|_H is used without a displayed integral formula in the main theorem; adding the standard expression ∫_∂Ω |ν_H| dσ_H would improve readability.
  3. References: several standard works on fractional operators on Carnot groups and on Euclidean heat-content asymptotics are cited, but the manuscript should explicitly compare the obtained μ_α with the formulas appearing in the Euclidean literature (e.g., the explicit Gamma-function expressions for the fractional case).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the positive recommendation for minor revision. We address each major comment below.

read point-by-point responses

  1. Referee: Theorem 1.1 (or the main result statement): the claim that μ_α is explicit and coincides with the Euclidean rate is central, yet the manuscript does not display the explicit formula for μ_α (only asserts its existence and equality); without this expression the verification that the limit is parameter-free and group-independent cannot be checked directly from the statement.

    Authors: We agree that displaying the explicit formula for μ_α directly in the statement of Theorem 1.1 improves clarity and verifiability. The rate function coincides with the Euclidean one, and we will insert its explicit expression (as given in the Euclidean literature) into the revised theorem statement. revision: yes

  2. Referee: Section 3 (proof of the limit): the argument proceeds by local comparison of the fractional sub-Laplacian to its Euclidean counterpart on the tangent Carnot group; the error estimates controlling the difference between the group heat kernel and the Euclidean one must be shown to be o(μ_α(t)) uniformly up to the boundary, but the current write-up leaves the precise decay rates implicit.

    Authors: We thank the referee for highlighting this point. The comparison argument in Section 3 does establish that the kernel difference is o(μ_α(t)) uniformly near the boundary, but the decay rates are presented implicitly. In the revision we will add explicit bounds on these error terms to make the o(μ_α(t)) control fully transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via external comparison

full rationale

The paper derives the short-time asymptotic for the fractional heat content deficit by reducing the problem locally to the tangent Carnot group, where the fractional sub-Laplacian behaves like a standard Euclidean fractional operator in the horizontal directions. The rate function μ_α is identified with the known Euclidean expression through this comparison, and the limit is expressed in terms of the independently defined horizontal perimeter |∂Ω|_H. No step reduces a claimed prediction to a fitted parameter by construction, nor does any load-bearing premise rest on a self-citation chain whose content is itself unverified within the paper. The C^2 non-characteristic assumption is used only to guarantee that the boundary integral produces exactly the perimeter without extra terms, which is a standard regularity hypothesis rather than a circular definition.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard existence results for solutions to fractional parabolic equations on Carnot groups and geometric assumptions on the domain; no free parameters are introduced or fitted and no new entities are postulated.

axioms (2)
  • domain assumption Existence and uniqueness of the solution u_α to the fractional sub-Laplacian heat equation with Dirichlet boundary conditions.
    Required to define the fractional heat content Q^(α)_Ω(t) as the integral of u_α.
  • domain assumption The horizontal perimeter |∂Ω|_H is well-defined and finite for C^2 non-characteristic domains.
    Appears as the limiting value in the stated asymptotic.

pith-pipeline@v0.9.0 · 5505 in / 1432 out tokens · 55161 ms · 2026-05-16T16:10:21.167341+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

29 extracted references · 29 canonical work pages

  1. [1]

    Luis Acu˜ na Valverde,On the one dimensional spectral heat content for stable processes, J. Math. Anal. Appl.441(2016), no. 1, 11–24. MR 3488045

    work page 2016

  2. [2]

    Differential Equations264(2018), no

    Paolo Albano, Piermarco Cannarsa, and Teresa Scarinci,Regularity results for the minimum time func- tion with H¨ ormander vector fields, J. Differential Equations264(2018), no. 5, 3312–3335. MR 3741391

    work page 2018

  3. [3]

    348, Springer, Cham, 2014

    Dominique Bakry, Ivan Gentil, and Michel Ledoux,Analysis and geometry of Markov diffusion operators, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 348, Springer, Cham, 2014. MR 3155209

    work page 2014

  4. [4]

    Fabrice Baudoin,Sub-laplacian comparison theorems on riemannian foliations with minimal leaves and applications, arxiv:2509.13276 (2025)

    work page arXiv 2025

  5. [5]

    Theory Related Fields81(1989), no

    G´ erard Ben Arous,Flots et s´ eries de Taylor stochastiques, Probab. Theory Related Fields81(1989), no. 1, 29–77. MR 981567

    work page 1989

  6. [6]

    121, Cambridge University Press, Cambridge, 1996

    Jean Bertoin,L´ evy processes, Cambridge Tracts in Mathematics, vol. 121, Cambridge University Press, Cambridge, 1996. MR 1406564

    work page 1996

  7. [7]

    1980, Springer-Verlag, Berlin, 2009

    Krzysztof Bogdan, Tomasz Byczkowski, Tadeusz Kulczycki, Michal Ryznar, Renming Song, and Zoran Vondraˇ cek,Potential analysis of stable processes and its extensions, Lecture Notes in Mathematics, vol. 1980, Springer-Verlag, Berlin, 2009. MR 2569321

    work page 1980

  8. [8]

    Bonfiglioli, E

    A. Bonfiglioli, E. Lanconelli, and F. Uguzzoni,Stratified Lie groups and potential theory for their sub- Laplacians, Springer Monographs in Mathematics, Springer, Berlin, 2007. MR 2363343

    work page 2007

  9. [9]

    Z.262(2009), no

    Andrea Bonfiglioli,Taylor formula for homogeneous groups and applications, Math. Z.262(2009), no. 2, 255–279. MR 2504877

    work page 2009

  10. [10]

    Luca Capogna, Donatella Danielli, and Nicola Garofalo,The geometric Sobolev embedding for vector fields and the isoperimetric inequality, Comm. Anal. Geom.2(1994), no. 2, 203–215. MR 1312686

    work page 1994

  11. [11]

    Pauls, and Jeremy T

    Luca Capogna, Donatella Danielli, Scott D. Pauls, and Jeremy T. Tyson,An introduction to the Heisenberg group and the sub-Riemannian isoperimetric problem, Progress in Mathematics, vol. 259, Birkh¨ auser Verlag, Basel, 2007. MR 2312336 (2009a:53053)

    work page 2007

  12. [12]

    113385, 43

    Emanuele Caputo and Tommaso Rossi,First-order heat content asymptotics onRCD(K, N)spaces, Nonlinear Anal.238(2024), Paper No. 113385, 43. MR 4647800

    work page 2024

  13. [13]

    Theory Related Fields96(1993), no

    Fabienne Castell,Asymptotic expansion of stochastic flows, Probab. Theory Related Fields96(1993), no. 2, 225–239. MR 1227033

    work page 1993

  14. [14]

    1, 292–378

    Donatella Danielli, Nicola Garofalo, and Duy Minh Nhieu,Sub-riemannian calculus on hypersurfaces in carnot groups, Advances in Mathematics215(2007), no. 1, 292–378

    work page 2007

  15. [15]

    Driver, Leonard Gross, and Laurent Saloff-Coste,Growth of Taylor coefficients over complex homogeneous spaces, Tohoku Math

    Bruce K. Driver, Leonard Gross, and Laurent Saloff-Coste,Growth of Taylor coefficients over complex homogeneous spaces, Tohoku Math. J. (2)62(2010), no. 3, 427–474. MR 2742018

    work page 2010

  16. [16]

    Bruno Franchi, Raul Serapioni, and Francesco Serra Cassano,On the structure of finite perimeter sets in step 2 Carnot groups, J. Geom. Anal.13(2003), no. 3, 421–466. MR 1984849

    work page 2003

  17. [17]

    4, 811–837

    Maria Gordina and Thomas Laetsch,Sub-Laplacians on sub-Riemannian manifolds, Potential Anal.44 (2016), no. 4, 811–837. MR 3490551

    work page 2016

  18. [18]

    Valentino Magnani,The coarea formula for real-valued Lipschitz maps on stratified groups, Math. Nachr. 278(2005), no. 14, 1689–1705. MR 2176673

    work page 2005

  19. [19]

    Hyunchul Park and Renming Song,Spectral heat content forα-stable processes inC 1,1 open sets, Elec- tron. J. Probab.27(2022), Paper No. 22, 19. MR 4379201

    work page 2022

  20. [20]

    293, Springer- Verlag, Berlin, 1999

    Daniel Revuz and Marc Yor,Continuous martingales and Brownian motion, third ed., Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 293, Springer- Verlag, Berlin, 1999. MR 1725357

    work page 1999

  21. [21]

    Luca Rizzi and Tommaso Rossi,Heat content asymptotics for sub-Riemannian manifolds, J. Math. Pures Appl. (9)148(2021), 267–307. MR 4223354

    work page 2021

  22. [22]

    Rohan Sarkar,Small time asymptotics of spectral heat content of isotropic processes, arxiv:2512.08595 (2025)

    work page arXiv 2025

  23. [23]

    68, Cambridge University Press, Cambridge, 2013, Translated from the 1990 Japanese original

    Ken-iti Sato,L´ evy processes and infinitely divisible distributions, revised ed., Cambridge Studies in Advanced Mathematics, vol. 68, Cambridge University Press, Cambridge, 2013, Translated from the 1990 Japanese original. MR 3185174

    work page 2013

  24. [24]

    Dedicata73(1998), no

    Alessandro Savo,Uniform estimates and the whole asymptotic series of the heat content on manifolds, Geom. Dedicata73(1998), no. 2, 181–214. MR 1652049 20 ROHAN SARKAR

    work page 1998

  25. [25]

    A. V. Skorohod,Asymptotic formulas for stable distribution laws, Select. Transl. Math. Statist. and Probability, Vol. 1, Amer. Math. Soc., Providence, RI, 1961, pp. 157–161. MR 116373

    work page 1961

  26. [26]

    Strichartz,The Campbell-Baker-Hausdorff-Dynkin formula and solutions of differential equa- tions, J

    Robert S. Strichartz,The Campbell-Baker-Hausdorff-Dynkin formula and solutions of differential equa- tions, J. Funct. Anal.72(1987), no. 2, 320–345. MR 886816

    work page 1987

  27. [27]

    Partial Differential Equations43(2018), no

    Jeremy Tyson and Jing Wang,Heat content and horizontal mean curvature on the Heisenberg group, Comm. Partial Differential Equations43(2018), no. 3, 467–505. MR 3804205

    work page 2018

  28. [28]

    van den Berg and E

    M. van den Berg and E. B. Davies,Heat flow out of regions inR m, Math. Z.202(1989), no. 4, 463–482. MR 1022816

    work page 1989

  29. [29]

    van den Berg and Peter B

    M. van den Berg and Peter B. Gilkey,Heat content asymptotics of a Riemannian manifold with boundary, J. Funct. Anal.120(1994), no. 1, 48–71. MR 1262245 AppendixA.Some estimates related toα/2-stable subordinators onR LetS α = (S α t )t⩾0 be theα/2-stable subordinator defined in (3.1). Then,S α is α 2 -self- similar, that is, Sα t d=t 2 α Sα 1 for allt >0. ...

    work page 1994