REVIEW 2 major objections 5 minor 22 references
Relative Spectral Invariants of Elliptic Operators on Manifolds
T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper proves that combined heat traces of a pair of Laplace or Dirac type operators on a compact manifold admit short-time asymptotic expansions whose coefficients are integrals of local invariants built from both operators, and it…
desk verdict New two-operator heat-trace invariants with a plausible but not fully rigorous asymptotic proof; first coefficients computed. 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 machinery is the Laplace method applied to the product of two heat kernels. The combined trace is written as an integral over $M\times M$ of the product $U_+(t;x,x')U_-(s;x',x)$, and for $\varepsilon\to 0$ the off-diagonal part is shown to be exponentially small using uniform heat kernel bounds. On a common geodesic ball the exponent is the phase $\Sigma(t,s;x,x')=s\sigma_+(x,x')+t\sigma_-(x,x')$ built from the two Ruse-Synge functions, half the squared geodesic distances for the two metrics; its unique nondegenerate critical point is the diagonal, with Hessian the dual metric $G_{ij}=s g^+_{ij}+t g^-_{ij}$. A Morse-lemma reduction converts the integral to a Gaussian average, and the coefficients come from evaluating covariant Taylor coefficients of the heat kernel coefficients, Van Vleck-Morette determinants, and parallel transports at the diagonal. The Ruse-Synge/Laplace-method lemma is the engine that turns the product of two heat kernel expansions into local invariant polynomials.
What would settle it
On a flat torus, take $L_+=-\Delta$ and $L_-=-(\nabla+iA)^2$ with a constant connection one-form $A$, and compute $X(\varepsilon t,\varepsilon s)=\sum_{k,j} e^{-\varepsilon(t\lambda_k+s\mu_j)}|(\phi_j^-,\phi_k^+)|^2$ exactly from the Fourier basis; compare the coefficients of $\varepsilon^0$ and $\varepsilon^1$ with formulas (1.42)-(1.43). A mismatch in the coefficient of $\varepsilon^1$ would refute Theorem 2, while matching on several $t,s$ ratios would support it.
Extended reading notes
Core claim
The central claim is Theorem 1: for Laplace-type operators $L_\pm$ and Dirac-type operators $D_\pm$ on a compact manifold without boundary, there are asymptotic expansions $X(\varepsilon t,\varepsilon s)\sim (4\pi\varepsilon)^{-n/2}\sum_{k\ge 0}\varepsilon^k B_k(t,s)$ and $Y(\varepsilon t,\varepsilon s)\sim (4\pi\varepsilon)^{-n/2}\sum_{k\ge 0}\varepsilon^{k-1} C_k(t,s)$, where $B_k=\int g^{1/2} b_k$ and $C_k=\int g^{1/2} c_k$, with $b_k,c_k$ local invariants built polynomially from covariant derivatives, taken with respect to a time-dependent metric and connection, of the two metrics, the connection-difference vectors $C_\pm$, and the potentials $Q_\pm$ and $S_\pm$; the invariants are symmetric under $(t,L_+)\leftrightarrow(s,L_-)$ and homogeneous in $t,s$. Theorems 2 and 3 identify the first two coefficients: $b_0=\operatorname{tr}I$, $b_1$ as in (1.43), $c_0=\tfrac12 g^{ij}\operatorname{tr}(\gamma_i^+\gamma_j^-)$, and $c_1$ as in (1.50). The corollaries express the relative spectral invariants $\Psi$ and $\Phi$, which vanish when the two operators coincide, as combinations of the classical heat trace coefficients and the new $B_k,C_k$.
Load-bearing premise
The whole asymptotic expansion rests on the assumption that away from the diagonal the combined heat kernel is exponentially small uniformly over the largest geodesic balls valid for both metrics; if that uniform decay failed, the coefficients might cease to be local.
Editorial extensions
If this is right
- The relative spectral invariants $\Psi(t,s)$ and $\Phi(t,s)$ defined in (1.3)-(1.4) have asymptotic expansions whose coefficients are explicit combinations of the classical heat invariants $A_k$ and the new local invariants $B_k,C_k$.
- The invariants $X$ and $Y$ depend on the eigensections through the overlap factors $|(\phi_j^-,\phi_k^+)|^2$, so they contain strictly more spectral data than the individual heat traces; isospectral pairs of operators are not automatically indistinguishable by these invariants.
- When the two operators coincide, the general formulas reduce to consistency identities relating $B_k,C_k$ to the classical heat coefficients $A_k$, and the relative invariants $\Psi$ and $\Phi$ vanish.
- When the two Laplace operators differ only by an additive constant, or when $D_+=D_-+M$ with $M$ anticommuting and $M^2$ scalar, the combined traces factor through classical heat traces, giving exact closed forms.
- The Bogolyubov invariants for bosons and fermions are expressed as double integrals of $\Psi$ and $\Phi$, so the new short-time asymptotics provide an expansion of particle creation in the in-out formalism.
Reading between the lines
- Editorial inference: Because the combined traces carry overlap factors between eigensections of two operators, they may distinguish manifolds that are isospectral for every single Laplace operator; a testable project is to search for such a pair among known isospectral non-isometric manifolds.
- Editorial inference: The same phase and Gaussian reduction should extend to products of more than two heat kernels or to higher-order pseudodifferential symbols, producing multi-operator local invariants; this is a natural next step not pursued in the paper.
- Editorial inference: The explicit formula for $c_1$ involves commutators $[\gamma_p^+,\gamma_q^-]$ and connection-difference terms; in a concrete spinor model these may be interpreted physically as mixing or curvature coupling between the two Dirac fields, offering a direct route to test the asymptotics numerically.
- Editorial inference: One could define relative zeta functions from $\Psi$ and $\Phi$ and use the short-time expansion to derive functional relations or determinant ratios for two operators; the paper introduces these zeta functions but does not analyze their analytic continuation.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces new relative spectral invariants of pairs of Laplace- and Dirac-type operators on compact Riemannian manifolds without boundary, namely the traces Ψ(t,s) and Φ(t,s) built from differences of heat semigroups, together with the 'combined heat traces' X(t,s)=Tr e^{-tL_+}e^{-sL_-} and Y(t,s)=Tr D_+ e^{-tD_+^2}D_- e^{-sD_-^2}. The central claim (Theorem 1) is that as ε→0 these combined traces admit asymptotic expansions in powers of ε whose coefficients are integrals of local invariants constructed polynomially from the two operators' symbols. The first two coefficients are computed explicitly for both the Laplace case (Theorem 2) and the Dirac case (Theorem 3), and the invariants are related to the Bogolyubov invariant of quantum field theory. The proofs rely on the Laplace method applied to products of heat kernel expansions, with detailed derivations of the leading coefficients and consistency checks in the case of equal or commuting operators.
Significance. If established, the paper would provide a new family of spectral invariants that depend not only on the eigenvalues but also on the eigensections of a pair of operators, and would give explicit leading asymptotics; this is a potentially useful contribution to spectral geometry and quantum field theory. The paper is largely self-contained, presents long explicit coefficient formulas, and includes nontrivial sanity checks (equal-operator and commuting limits) that support the correctness of the computations. Its main weakness is that the proof of Theorem 1 is not rigorous as written: the term-by-term Laplace expansion of a product of two heat kernel asymptotic series is not justified by the estimates supplied. This gap is likely fixable with standard heat kernel remainder estimates, so the central claim is plausibly true, but the current manuscript does not demonstrate it.
major comments (2)
- [§6.2 (proof of Theorem 1, Laplace case)] In deriving (1.20), the proof substitutes the full asymptotic heat kernel expansion (6.2) into the integral (6.18) and then applies Lemma 5 term-by-term to each Λ_m in (6.25). This interchange is not justified. Lemma 5 requires the integrand φ to be smooth, and its coefficients (5.42)–(5.45) depend on derivatives of φ at the diagonal; a remainder that is merely pointwise small can still contaminate low-order coefficients if its derivatives grow like ε^{-k/2}. The only off-diagonal estimate given, (6.21), controls the full heat kernel outside B_r(x'), not the remainder R_N inside the ball near the diagonal. Therefore the asymptotic expansion (1.20) and the definitions of B_k and b_k are not established as written. A rigorous proof must truncate the heat kernel expansion at finite order N, control the C^m norms of the remainders inside B_r(x') near the diagonal (for example by standard derivative estimates for heat kernels on compact manifolds), and show the remainder contributes only at order ε^{N-C}; this is missing.
- [§6.3 (proof of Theorem 1, Dirac case)] The same rigor gap appears in the Dirac case, and the text explicitly states 'we will omit some details'. Lemma 8 is asserted without proving the required derivative estimates for the remainders of D_±U_± inside B_r(x'); the estimate (6.39) applies only outside the geodesic ball. Since the expansion (1.21) and the explicit coefficients c_k in Theorem 3 depend on Lemma 8, the Dirac part of Theorem 1 and Theorem 3 are not fully proved as written. The required truncation of the heat kernel expansion must be applied to the differentiated heat kernels as well, with uniform C^m remainder estimates near the diagonal; this is a load-bearing step, not a cosmetic omission.
minor comments (5)
- [Abstract and §1] The abstract contains line-break artifacts such as 'smoo th' and 'eigenval ues'; these should be cleaned before publication.
- [§6.2, Eqs. (6.24)–(6.25)] The ε-scaling in (6.24)–(6.25) is not transparent: the reader may wonder how the (4πεts)^{-n/2} prefactor is compensated. A sentence noting that the Laplace integral over the geodesic ball supplies a factor ε^{n/2} would help.
- [§6.3, Eq. (6.50)] In (6.50) the series is written with ε^{m-2} and later C_{-1} is shown to vanish; it would be clearer to state immediately that the effective expansion starts with ε^{-1}.
- [§1 and §3.2] The claim that the new invariants 'contain much more information about geometry' is heuristic; the dependence on eigensections is explicit in (3.19), but no evidence is given that the invariants actually distinguish non-isometric isospectral geometries.
- [§2] The Bogolyubov motivation is brief and defers details to [7]; the formulas (2.62)–(2.63) would benefit from at least a sketch of the inversion of the relations (2.59)–(2.61).
Circularity Check
No circularity: the new invariants' coefficients are computed from standard heat-kernel data, not fitted into the definitions.
full rationale
I walked the derivation chain. The relative invariants Ψ and Φ are defined in (1.3)–(1.8) as algebraic combinations of the classical heat traces and the combined traces X and Y. The asymptotic expansions (1.20)–(1.27) are obtained by inserting the standard heat-kernel expansion (6.2) into the product traces, symmetrizing the integrand, and applying the Laplace-method Lemma 5 to the resulting integrals over a common geodesic ball. The coefficients b_k and c_k are then expressed polynomially in the standard heat-kernel coefficients [a_k], their derivatives, and derivatives of the Ruse–Synge function Σ(t,s); in particular, b0 = tr I, b1 uses only [a_0]=I and [a_1]=Q−R/6, and c0,c1 use [D a_0] and [a_1] as well. These are not fitted to X or Y; they are independent, textbook facts. The equal-operator consistency checks (6.72)–(6.75) are checks of the algebra, not inputs to the calculation. Self-citations to [1,2,4,5] appear for the standard heat-kernel expansion and for standard Ruse–Synge identities; these results are classical and externally verifiable, so the self-citation is not load-bearing in a circular sense. The combinatorial identity from [17] is an elementary algebraic lemma. No uniqueness theorem is imported from the authors' prior work, no parameter is fitted to a subset of the new data, and no ansatz is smuggled in via citation. The proof has a genuine rigor gap flagged by the skeptic: the term-by-term Laplace expansion in §6.2 does not state estimates for the derivatives of the heat-kernel remainder inside the geodesic ball, so Theorem 1 is not fully justified as written. That is a correctness/rigor concern, not circularity, and per the instructions it does not raise the circularity score.
Assumptions & free parameters
assumptions (4)
- standard math Heat kernel asymptotic expansion (6.2) for Laplace type operators on compact manifolds, with coefficients ~a±_k polynomial in jets of the symbols.
- standard math Off-diagonal heat kernel Gaussian bound |U±(t;x,x')| ≤ C1 t^{-n/2} exp(-r^2/(4t)) for t<1 on a manifold with injectivity radius (Lemma 6).
- standard math Morse lemma (Lemma 4) applies to the phase Σ(t,s;x,x') = sσ+ + tσ-, with non-degenerate critical point on the diagonal and Hessian G_{ij} = s g+_{ij} + t g-_{ij}.
- domain assumption L± are positive self-adjoint elliptic second-order operators of Laplace type, and D± are self-adjoint first-order operators of Dirac type on a compact manifold without boundary.
Cite this review
Pith. "Pith review of Relative Spectral Invariants of Elliptic Operators on Manifolds." pith.science (2026). https://pith.science/paper/TL5HQ3MV
@misc{pith2026190801265,
author = {Pith},
title = {Pith review of: Relative Spectral Invariants of Elliptic Operators on Manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/TL5HQ3MV}},
note = {Machine review of arXiv:1908.01265}
}
read the original abstract
We introduce and study {\it new} relative spectral invariants of {\it two} elliptic partial differential operators of Laplace and Dirac type on compact smooth manifolds without boundary that depend on both the eigenvalues and the eigensections of these operators and contain much more information about geometry. We prove the existence of the homogeneous short time asymptotics of the new invariants with the coefficients of the asymptotic expansion being integrals of some invariants that depend on the symbols of both operators. The first two coefficients of the asymptotic expansion are computed explicitly.
Reference graph
Works this paper leans on
-
[1]
I. G. Avramidi, A covariant technique for the calculation of the one-loop effective action, Nucl. Phys., B 355 (1991) 712–754
work page 1991
-
[2]
I. G. Avramidi, Heat Kernel and Quantum Gravity , Berlin: Springer, 2000
2000
-
[3]
I. G. Avramidi, Gauged gravity via spectral asymptotics of non-Laplace type operators, J. High Energy Phys., 07 (2004) 030
2004
-
[4]
I. G. Avramidi, Mathemathical tools for calculation of the e ffective ac- tion in quantum gravity , in: New Paths Towards Quantum Gravity, Ed. B. Booss-Bavnbek, G. Esposito and M. Lesch, Berlin: Springer, 2010, pp, 193–259
work page 2010
-
[5]
I. G. Avramidi, Heat Kernel Method and Its Applications , Basel: Birkh¨ auser, 2015
work page 2015
-
[6]
I. G. Avramidi, Quantum heat traces, J. Geom. Phys., 112 (2017) 271–288
work page 2017
-
[7]
I. G. Avramidi, Bogolyubov invariant via relative spectral invariants on manifolds, arXiv:1909.09680 [math-ph]
work page Pith review arXiv 1909
-
[8]
I. G. Avramidi and B. J. Buckman, Heat determinant on manifolds , J. Geom. Phys., 104 (2016) 64-88
work page 2016
Show all 22 references
-
[9]
Berger, A Panoramic View of Riemannian Geometry , Berlin: Springer, 1992
M. Berger, A Panoramic View of Riemannian Geometry , Berlin: Springer, 1992
1992
-
[10]
Berline, E
N. Berline, E. Getzler and M. V ergne, Heat Kernels and Dirac Operators , Berlin: Springer, 1992 rsi-rev.tex; January 17, 2020; 1:45; p. 60 61
1992
-
[11]
N. D. Birrell and P . C. W. Davies, Quantum Fields in Curved Space , Cam- bridge: Cambridge University Press, 1980
1980
-
[12]
B. S. De Witt, Quantum Field Theory in Curved Spacetime , Phys. Rep., 19C (1975) 295–357
1975
-
[13]
Erd´ elyi, W
A. Erd´ elyi, W. Magnus, F. Oberhettinger and F. G. Trico mi, Higher Tran- scendental Functions, McGraw-Hill, New Y ork, 1953, vol. I and II
1953
-
[14]
P . B. Gilkey, Invariance Theory, the Heat Equation and the Atiyah-Singer Index Theorem, Boca Raton: CRC, 1995
1995
-
[15]
Grigor’yan, Heat Kernel and Analysis on Manifolds, AMS, International Press, 2009
A. Grigor’yan, Heat Kernel and Analysis on Manifolds, AMS, International Press, 2009
2009
-
[16]
Minakshisundaram and A
S. Minakshisundaram and A. Pleijel, Some properties of the eigenfunctions of the Laplace-operator on Riemannian manifolds , Canadian J. Math., 1 (1949) 242256
1949
-
[17]
Novoseltsev, Spectral geometry of Riemannian submanifolds , PhD The- sis (New Mexico Tech, Socorro, 2005); arXiv:math /0507453 [math.SP]
A. Novoseltsev, Spectral geometry of Riemannian submanifolds , PhD The- sis (New Mexico Tech, Socorro, 2005); arXiv:math /0507453 [math.SP]
2005
-
[18]
A. P . Prudnikov, Y u. A. Brychkov and O. I. Marychev,Integrals and Series, vol. I, Boca Raton, CRC, 1998
1998
-
[19]
H. S. Ruse, Taylor’s theorem in the tensor calculus , Proc. London Math. Soc. , 32 (1931) 87–92
1931
-
[20]
J. L. Synge, Relativity: The General Theory , Amsterdam: North-Holland, 1960
1960
-
[21]
Weyl, ¨Uber die asymptotische V erteilung der Eigenwerte , Nachrichten der K¨ oniglichen Gesellschaft der Wissenschaften zu G¨ ott ingen, (1911) 110117
H. Weyl, ¨Uber die asymptotische V erteilung der Eigenwerte , Nachrichten der K¨ oniglichen Gesellschaft der Wissenschaften zu G¨ ott ingen, (1911) 110117
1911
-
[22]
V . A. Zhelnorovich, Theory of Spinors and Its Application in Physics and Mechanics, Berlin, Springer, 2019 rsi-rev.tex; January 17, 2020; 1:45; p. 61
2019
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.