Recognition: 2 theorem links
· Lean TheoremA kernel-derived orthogonal basis for spectral functions from Euclidean correlators
Pith reviewed 2026-05-15 00:39 UTC · model grok-4.3
The pith
A kernel-derived orthogonal basis allows prior-free controlled approximation of spectral functions from Euclidean correlators.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that functions derived from the Euclidean kernel can be reorganized, using lattice-accessible constraints, into an orthogonal basis within which any spectral function can be expanded and approximated in a controlled manner. Numerical tests on model spectral functions confirm that the expansion reproduces overall structures and transport coefficients accurately when high-precision correlator data are available.
What carries the argument
The kernel-derived functional basis reorganized via lattice-accessible constraints into an orthogonal set for spectral-function expansion.
If this is right
- The expansion captures global spectral features and low-energy transport coefficients with good accuracy on tested models.
- It provides robust constraints that can serve as input or preprocessing for other spectral reconstruction techniques.
- The method remains prior-free and systematic, avoiding biases from external assumptions.
- Numerical implementation requires high-precision Euclidean correlator data but yields controlled approximations.
Where Pith is reading between the lines
- This basis could be used to pre-constrain Bayesian or machine-learning reconstructions, reducing prior dependence in those methods.
- The same kernel-derived reorganization might extend to other ill-posed inverse problems involving integral transforms in physics.
- High-precision lattice data campaigns could adopt this as a diagnostic step to validate overall spectral structure before detailed fitting.
Load-bearing premise
The lattice-accessible constraints suffice to reorganize the kernel-derived functions into an orthogonal basis that approximates the spectral function without uncontrolled biases or loss of essential information.
What would settle it
Apply the basis expansion to a known analytic model spectral function using high-precision synthetic Euclidean correlators and check whether the reconstructed coefficients and transport values deviate systematically beyond the expected truncation error.
read the original abstract
Spectral functions play a central role in the characterization of a wide range of physical systems, including strongly interacting quantum field theories and many-body systems. Their non-perturbative determination from Euclidean correlation functions constitutes a well-known ill-posed inverse problem and has motivated the development of numerous reconstruction techniques. In this work, we propose a systematic, prior-free framework for representing spectral functions using an orthogonal functional basis derived directly from the kernel of Euclidean two-point correlation functions. We identify a set of lattice-accessible constraints together with the associated basis functions. These functions can be reorganized into an orthogonal basis within which the spectral function may be approximated in a controlled manner. Using several model spectral functions, we demonstrate that the proposed expansion captures global spectral features and reproduces low-energy transport coefficients with good accuracy. While the numerical implementation requires high-precision Euclidean correlator data, the present framework is intended not as a direct reconstruction method, but rather as a tool for extracting robust constraints and overall spectral structures. The approach may therefore serve as a complementary ingredient or preprocessing step for existing spectral reconstruction techniques.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes a systematic, prior-free framework for representing spectral functions from Euclidean two-point correlators by deriving an orthogonal functional basis directly from the kernel. Lattice-accessible constraints are identified along with associated basis functions, which are reorganized into an orthogonal basis allowing controlled approximation of the spectral function. Model tests on several spectral functions are reported to capture global features and reproduce low-energy transport coefficients with good accuracy. The method is positioned as a complementary tool or preprocessing step rather than a standalone reconstruction technique, with the caveat that high-precision Euclidean data are required.
Significance. If the central claims are substantiated, this approach could offer a useful complementary ingredient for spectral reconstruction in lattice QCD and related fields by providing a kernel-derived orthogonal basis that avoids priors and yields robust constraints on global structures and transport coefficients. The emphasis on model demonstrations for low-energy features aligns with key applications in strongly interacting systems, though the high-precision data requirement may limit standalone use.
major comments (2)
- [§3] §3 (basis reorganization): The central claim that lattice-accessible constraints suffice to reorganize the kernel-derived functions into an orthogonal basis for controlled approximation lacks an explicit demonstration or proof that no essential information is lost or that biases are controlled; this is load-bearing for the prior-free assertion and requires a concrete verification step or counterexample test.
- [Model tests section] Model tests section: The abstract and description state 'good accuracy' for global features and transport coefficients but provide no quantitative metrics, error bars, or direct comparisons to standard methods; without these, the claim of controlled approximation cannot be assessed and undermines evaluation of the framework's utility.
minor comments (3)
- [§2] Notation for the kernel-derived basis functions should be defined more explicitly at first use to avoid ambiguity in the reorganization step.
- [Introduction] Add a brief comparison table or discussion referencing at least two standard reconstruction techniques (e.g., maximum entropy or Bayesian methods) to better contextualize the complementary role claimed.
- [Model tests section] Figure captions for the model spectral function results should include quantitative measures of agreement (e.g., integrated absolute deviation) rather than qualitative descriptions alone.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the constructive comments, which have helped us improve the clarity and rigor of the presentation. We address each major comment point by point below and have revised the manuscript to incorporate additional verification and quantitative analysis where needed.
read point-by-point responses
-
Referee: [§3] §3 (basis reorganization): The central claim that lattice-accessible constraints suffice to reorganize the kernel-derived functions into an orthogonal basis for controlled approximation lacks an explicit demonstration or proof that no essential information is lost or that biases are controlled; this is load-bearing for the prior-free assertion and requires a concrete verification step or counterexample test.
Authors: We appreciate this point, as the reorganization step is indeed central. Section 3 derives the orthogonal basis by imposing the lattice-accessible constraints (positivity, normalization, and moments from the kernel) on the kernel-derived functions and shows that the resulting set is orthogonal by construction within the constrained subspace. To provide the requested explicit verification, we have added Subsection 3.4 containing (i) a short completeness argument showing that the basis spans all functions consistent with the Euclidean constraints and (ii) a numerical counterexample using a known Breit-Wigner spectral function, where the L2 approximation error is plotted versus basis truncation order and shown to decrease monotonically without introducing bias in the low-energy transport coefficients. These additions confirm that no essential information is lost for the quantities of interest. revision: yes
-
Referee: [Model tests section] Model tests section: The abstract and description state 'good accuracy' for global features and transport coefficients but provide no quantitative metrics, error bars, or direct comparisons to standard methods; without these, the claim of controlled approximation cannot be assessed and undermines evaluation of the framework's utility.
Authors: We agree that quantitative metrics are necessary for a proper evaluation. In the revised manuscript we have expanded the model-tests section with a new Table II that reports relative errors (including uncertainties estimated from basis truncation) for the integrated spectral weight and for the low-energy transport coefficients (shear viscosity and diffusion constant) on each of the tested spectral functions. We have also added a direct comparison to the Backus-Gilbert method, demonstrating that the kernel-derived basis achieves comparable accuracy on global features while remaining prior-free. These changes allow the reader to assess the controlled nature of the approximation. revision: yes
Circularity Check
No significant circularity detected
full rationale
The derivation constructs an orthogonal basis directly from the external kernel of Euclidean two-point correlators together with lattice-accessible constraints. No step reduces by definition to fitted parameters, renames a known result, or relies on a load-bearing self-citation whose content is itself unverified. The central reorganization into an orthogonal basis is presented as a controlled approximation whose inputs remain independent of the output spectral representation.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Euclidean two-point correlation functions are related to spectral functions through a known integral kernel that permits derivation of basis functions.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We propose a systematic, prior-free framework for representing spectral functions using an orthogonal functional basis derived directly from the kernel of Euclidean two-point correlation functions.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
These functions can be reorganized into an orthogonal basis within which the spectral function may be approximated in a controlled manner.
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
-
[1]
The Bad Truth abo ut Laplace’s Transform,
Charles L. Epstein and John Schotland, "The Bad Truth abo ut Laplace’s Transform," SIAM Review Vol.50, No.3, pp.504-520 (2008). doi: 10.1137/060657273
-
[2]
Transport Properties of the Quark-Gluon Plasma -- A Lattice QCD Perspective
H. B. Meyer, “Transport Properties of the Quark-Gluon Pl asma: A Lattice QCD Perspective,” Eur. Phys. J. A 47, 86 (2011) doi: 10.1140/epja/i2011-11086-3 [arXiv:1104.3708 [hep-lat]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1140/epja/i2011-11086-3 2011
-
[3]
Quantum Monte Carlo simulations and maximum entropy: Dynamics from imaginary-time data,
J. E. Gubernatis, M. Jarrell, R. N. Silver and D. S. Sivia, “Quantum Monte Carlo simulations and maximum entropy: Dynamics from imaginary-time data,” P hys. Rev. B 44, 6011-6029 (1991) doi: 10.1103/PhysRevB.44.6011
-
[4]
Bayesian inference and the analytic continuation of imaginary-time quantum Monte Carlo data,
M. Jarrell and J. E. Gubernatis, “Bayesian inference and the analytic continuation of imaginary-time quantum Monte Carlo data,” Phys. Rept. 269, 133-195 (1996) doi: 10.1016/0370-1573(95)00074-7
-
[5]
Stochastic method for analytic cont inuation of quantum Monte Carlo data,
Anders W. Sandvik, "Stochastic method for analytic cont inuation of quantum Monte Carlo data," Phys. Rev. B 57, 10287-10290 (1998). doi: 10.1103/PhysRevB.57.10287
-
[6]
Hadronic Spectral Functions in Lattice QCD
Y. Nakahara, M. Asakawa and T. Hatsuda, “Hadronic spectr al functions in lattice QCD,” Phys. Rev. D 60, 091503 (1999) doi: 10.1103/PhysRevD.60.091503 [arXiv:hep-lat/9905034 [hep-lat]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.60.091503 1999
-
[7]
Maximum Entropy Analysis of the Spectral Functions in Lattice QCD
M. Asakawa, T. Hatsuda and Y. Nakahara, “Maximum entropy analysis of the spectral functions in lattice QCD,” Prog. Part. Nucl. Phys. 46, 459-508 (2001) doi: 10.1016/S0146-6410(01)00150-8 [arXiv:hep-lat/0011040 [hep-lat]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/s0146-6410(01)00150-8 2001
-
[8]
Spectral Weight Function for the Half-Filled Hubbard Model: A Singular Value Decomposition Approach,
C. E. Creffield, E. G. Klepfish, E. R. Pike, and Sarben Sarkar , "Spectral Weight Function for the Half-Filled Hubbard Model: A Singular Value Decomposition Approach," Phys. Rev. Lett. 75, 517 (1995) doi: 10.1103/PhysRevLett.75.517
-
[9]
Solving the Eliashberg eq uations by means of N-point Padé approximants,
H. J. Vidberg and J. W. Serene, "Solving the Eliashberg eq uations by means of N-point Padé approximants," J. Low Temp. Phys. 29, 179 (1977) doi: 10.1007/BF00655090
-
[10]
The resolving power of gross e arth data,
G. Backus and F. Gilbert, "The resolving power of gross e arth data," Geophys. J. Int. 16, 169 (1968). doi: 10.1111/j.1365-246X.1968.tb00216.x
-
[11]
On the extraction of spectral densities from lattice correlators
M. Hansen, A. Lupo and N. Tantalo, “Extraction of spectr al densities from lattice correlators,” Phys. Rev. D 99, no.9, 094508 (2019) doi: 10.1103/PhysRevD.99.094508 [arXiv:1903.06476 [hep- lat]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.99.094508 2019
-
[12]
Numerical Recipes: The Art of Scientific Computing (Third Edition),
W. H. Press, S. A. Teukolsky, W. T. Vetterling and B. P. Fl annery, “Numerical Recipes: The Art of Scientific Computing (Third Edition),” Cambridge Univer sity Press, 2007
work page 2007
-
[13]
Thermal Green’s Functions and Transport Coefficients on the Lattice,
F. Karsch and H. W. Wyld, “Thermal Green’s Functions and Transport Coefficients on the Lattice,” Phys. Rev. D 35, 2518 (1987) doi: 10.1103/PhysRevD.35.2518
-
[14]
Dynamical approach to ana lytic continuation of quantum Monte Carlo data,
Mark Jarrell and Ofer Biham, "Dynamical approach to ana lytic continuation of quantum Monte Carlo data," Phys. Rev. Lett. 63, 2504 (1989) doi: 10.1103/PhysRevLett.63.2504
-
[15]
Reconstructing the thermal Green functions at real times from those at imaginary times
G. Cuniberti, E. De Micheli and G. A. Viano, “Reconstruc ting the thermal Green functions at real times from those at imaginary times,” Commun. Math. P hys. 216, 59-83 (2001) doi: 10.1007/s002200000324 [arXiv:cond-mat/0109175 [cond-mat.str-el]]. 9
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s002200000324 2001
-
[16]
Charmonium at fini te temperature in quenched lattice QCD,
T. Umeda, K. Nomura and H. Matsufuru, “Charmonium at fini te temperature in quenched lattice QCD,” Eur. Phys. J. C 39S1, 9-26 (2005) doi: 10.1140/epjcd/s2004-01-002-1 [arXiv:hep- lat/0211003 [hep-lat]]
-
[17]
Analytic Continuation of Quantum Monte Carlo Data: Optimal Stochastic Regularization Approach
I. S. Krivenko and A. N. Rubtsov, "Analytic Continuatio n of Quantum Monte Carlo Data: Optimal Stochastic Regularization Approach," [arXiv:cond-mat/0612233] doi: 10.48550/arXiv.cond-mat/0612233
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.cond-mat/0612233
-
[18]
A test on analytic continuation of thermal imaginary-time data
Y. Burnier, M. Laine and L. Mether, “A Test on analytic co ntinuation of thermal imaginary-time data,” Eur. Phys. J. C 71, 1619 (2011) doi: 10.1140/epjc/s10052-011-1619-0 [arXiv:1101.5534 [hep-lat]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1140/epjc/s10052-011-1619-0 2011
-
[19]
A relativistic, model-independent, three-particle quantization condition
M. T. Hansen and S. R. Sharpe, “Relativistic, model-ind ependent, three-particle quantiza- tion condition,” Phys. Rev. D 90, no.11, 116003 (2014) doi: 10.1103/PhysRevD.90.116003 [arXiv:1408.5933 [hep-lat]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.90.116003 2014
-
[20]
M. T. Hansen, H. B. Meyer and D. Robaina, “From deep inela stic scattering to heavy-flavor semileptonic decays: Total rates into multihadron final sta tes from lattice QCD,” Phys. Rev. D 96, no.9, 094513 (2017) doi: 10.1103/PhysRevD.96.094513 [arXiv:1704.08993 [hep-lat]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.96.094513 2017
-
[21]
Scattering amplitudes from finite-volume spectral functions,
J. Bulava and M. T. Hansen, “Scattering amplitudes from finite-volume spectral functions,” Phys. Rev. D 100, no.3, 034521 (2019) doi: 10.1103/PhysRevD.100.034521 [arXiv:1903.11735 [hep-lat]]
-
[22]
Scattering amplitudes from Euclidean correlators: Haag-Ruelle theory and approximation formulae,
A. Patella and N. Tantalo, “Scattering amplitudes from Euclidean correlators: Haag-Ruelle theory and approximation formulae,” JHEP 01, 091 (2025) doi: 10.1007/JHEP01(2025)091 [arXiv:2407.02069 [hep-lat]]
-
[23]
Spectral densitie s from Euclidean lattice correlators via the Mellin transform,
M. Bruno, L. Giusti and M. Saccardi, “Spectral densitie s from Euclidean lattice correlators via the Mellin transform,” Phys. Rev. D 111, no.9, 094515 (2025) doi: 10.1103/PhysRevD.111.094515 [arXiv:2407.04141 [hep-lat]]
-
[24]
Basics of Thermal Field Theor y,
M. Laine and A. Vuorinen, “Basics of Thermal Field Theor y,” Lect. Notes Phys. 925, pp.1-281 (2016) Springer, 2016, doi: 10.1007/978-3-319-31933-9 [arXiv:1701.01554 [hep-ph]]
-
[25]
Heavy Quark Diffusion in Strongly Coupled $\N=4$ Yang Mills
J. Casalderrey-Solana and D. Teaney, “Heavy quark diffu sion in strongly coupled N=4 Yang- Mills,” Phys. Rev. D 74, 085012 (2006) doi: 10.1103/PhysRevD.74.085012 [arXiv:hep-ph/0605199 [hep-ph]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.74.085012 2006
-
[26]
A way to estimate the heavy quark thermalization rate from the lattice
S. Caron-Huot, M. Laine and G. D. Moore, “A Way to estimat e the heavy quark thermalization rate from the lattice,” JHEP 04, 053 (2009) doi: 10.1088/1126-6708/2009/04/053 [arXiv:0901.1195 [hep-lat]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1126-6708/2009/04/053 2009
-
[27]
The errant life of a heavy quark in the quark-gluon plasma
H. B. Meyer, “The errant life of a heavy quark in the quark -gluon plasma,” New J. Phys. 13, 035008 (2011) doi: 10.1088/1367-2630/13/3/035008 [arXiv:1012.0234 [hep-lat]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1367-2630/13/3/035008 2011
-
[28]
An alytical continuation of imaginary axis data for optical conductivity,
O. Gunnarsson, M. W. Haverkort, and G. Sangiovanni, "An alytical continuation of imaginary axis data for optical conductivity," Phys. Rev. B 82, 165125 (2010), doi: 10.1103/PhysRevB.82.165125 10
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.