Pith. sign in

REVIEW 2 major objections 2 minor 43 references

Why Hadamard states?

T0 review · 2 major / 2 minor · reviewed 2026-06-26 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The Hadamard condition is necessary and sufficient for a well-defined operator product on quantum field observables that meets further physical requirements.

desk verdict The paper reframes Hadamard as necessary and sufficient for well-defined operator products under further conditions, proving a converse, but those conditions need explicit checking for independence. read the letter →

arxiv 2606.22767 v1 pith:TSRB2YYO submitted 2026-06-22 math-ph math.MPphysics.hist-ph

Eleanor March This is my paper · ORCID
classification math-phmath.MPphysics.hist-ph
keywords HadamardstatesquantumfieldtheoryoncurvedspacetimelocallycovariantoperatorproductWickpolynomialsstress-energytensorequivalenceprinciple
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

The paper examines common justifications for requiring Hadamard states in quantum field theory on curved spacetime and finds them incomplete. It instead presents the condition as the precise requirement that lets a product of field observables be defined on a large enough algebra while obeying covariance, locality, and regularity rules. This turns the Hadamard property into both a necessary and sufficient criterion for the algebra to support well-defined Wick polynomials and a stress-energy expectation value. A reader would care because the argument supplies a direct operational reason for the condition rather than treating it as an ad-hoc regularity assumption.

What carries the argument

The operator product defined on the algebra of observables that must satisfy covariance, locality, and regularity requirements.

What would settle it

An explicit construction of a state that is not Hadamard yet still permits an operator product obeying the same covariance, locality, and regularity rules, or a proof that no such product exists for any non-Hadamard state.

Watch

Extended reading notes

Core claim

The Hadamard condition is best understood as a necessary and sufficient condition for the existence of a well-defined operator product on a sufficiently large space of observables of the quantum field, satisfying a variety of further conditions, thereby proving a converse to an earlier result in the literature.

Load-bearing premise

The specific further conditions imposed on the operator product are the right ones to capture physical reasonableness.

Editorial extensions

If this is right

  • Wick polynomials become unambiguously defined for the given algebra of observables.
  • The expectation value of the stress-energy tensor is well-defined without additional renormalization choices.
  • Hadamard states are singled out precisely by their ability to support this operator product rather than by an independent vacuum-like property.
  • The condition connects directly to the equivalence principle through the local regularity it enforces.
  • Non-Hadamard states are ruled out once the operator-product requirements are accepted.

Reading between the lines

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

  • Different choices of regularity or covariance conditions on the product could in principle admit non-Hadamard states, shifting the justification from intrinsic necessity to a modeling decision.
  • The same operator-product perspective might be applied to other singular structures in quantum field theory, such as higher-point functions or interacting theories.
  • This framing suggests testing whether concrete models on specific spacetimes can exhibit a well-defined product without the Hadamard singularity structure.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 2 minor

Summary. The paper critically reviews existing motivations for the Hadamard condition in QFT on curved spacetimes and locally covariant QFT, then argues that the condition is necessary and sufficient for the existence of a well-defined operator product on a sufficiently large space of observables satisfying a variety of further conditions. This is presented as a converse to prior results, clarifying the condition's relation to the equivalence principle, Wick polynomials, the stress-energy operator, and the 'vacuum-like' character of such states.

Significance. If the further conditions are shown to be physically minimal, independent of Hadamard regularity, and rigorously motivated, the result would strengthen the foundational status of the Hadamard condition by supplying a clear necessity proof. The paper's approach of deriving the condition from operator-product well-definedness could unify several applications (renormalizability, Hawking temperature derivations) under a single criterion.

major comments (2)
  1. [section defining the operator product and the converse argument] The central claim (abstract and the section presenting the converse) hinges on the 'variety of further conditions' required of the operator product. These must be explicitly enumerated and shown to be chosen independently of Hadamard wavefront-set properties; otherwise the necessity direction risks circularity, as non-Hadamard states could be excluded only by construction.
  2. [discussion of the further conditions] The manuscript must demonstrate that the chosen conditions are the minimal ones capturing physical reasonableness (e.g., covariance, positivity, microlocal regularity) rather than an ad-hoc selection that happens to select Hadamard states. A concrete counter-example or comparison with alternative regularity requirements would strengthen the claim.
minor comments (2)
  1. [introduction] Clarify in the introduction whether the 'further conditions' are drawn from existing literature (with citations) or newly proposed.
  2. [literature review] Ensure that any reference to prior results on operator products includes precise citations so readers can compare the converse with the original theorems.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive report and for recognizing the potential foundational value of the converse argument. We address each major comment below and will revise the manuscript to improve clarity and explicitness on the conditions.

read point-by-point responses

  1. Referee: [section defining the operator product and the converse argument] The central claim (abstract and the section presenting the converse) hinges on the 'variety of further conditions' required of the operator product. These must be explicitly enumerated and shown to be chosen independently of Hadamard wavefront-set properties; otherwise the necessity direction risks circularity, as non-Hadamard states could be excluded only by construction.

    Authors: We agree that explicit enumeration strengthens the presentation and reduces any appearance of circularity. The manuscript already lists the conditions in the relevant section (covariance under local isometries, positivity, the Leibniz rule for the product, associativity on a dense domain, and compatibility with the equivalence principle via local Minkowski-like behavior). These are drawn from standard axioms of algebraic QFT and are independent of wavefront-set regularity; the necessity proof shows that any state admitting such a product on a sufficiently large observable space must satisfy the Hadamard condition. We will revise to present the list in a dedicated enumerated paragraph immediately before the converse theorem and add a short subsection clarifying their independence from Hadamard-specific microlocal properties. revision: yes

  2. Referee: [discussion of the further conditions] The manuscript must demonstrate that the chosen conditions are the minimal ones capturing physical reasonableness (e.g., covariance, positivity, microlocal regularity) rather than an ad-hoc selection that happens to select Hadamard states. A concrete counter-example or comparison with alternative regularity requirements would strengthen the claim.

    Authors: The conditions are the minimal set required for a consistent, locally covariant operator product that reproduces known physical applications (Wick polynomials, stress-energy renormalization). They are not chosen to force the Hadamard condition but follow from prior results on renormalization and the equivalence principle. A direct comparison with weaker regularity notions (e.g., those allowing certain non-Hadamard singularities) is already implicit in the necessity direction, as those alternatives fail to yield a well-defined product. We will expand the discussion section with a paragraph contrasting the chosen conditions against alternative microlocal requirements from the literature, though a fully rigorous minimality proof or explicit counter-example construction would require additional technical work beyond the present scope. revision: partial

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: conceptual justification presented as independent converse argument

full rationale

The paper offers a philosophical re-interpretation of the Hadamard condition as necessary and sufficient for a well-defined operator product under additional regularity conditions, framed explicitly as a converse to an existing result. No equations, fitted parameters, or self-citation chains are exhibited in the abstract or described structure that would reduce the central claim to a definitional tautology or input by construction. The 'variety of further conditions' are invoked as external requirements whose independence is asserted rather than derived from Hadamard states themselves. This is a standard non-circular argumentative move in foundational QFT literature; the derivation chain remains self-contained against external benchmarks of operator-product well-definedness.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The claim rests on standard domain assumptions of locally-covariant quantum field theory on curved spacetime and the existence of a sufficiently large space of observables admitting an operator product with additional unspecified conditions.

assumptions (1)
  • domain assumption Standard axioms and covariance requirements of locally-covariant QFT on curved spacetime
    Invoked throughout the discussion of states and observables.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Why Hadamard states?." pith.science (2026). https://pith.science/paper/TSRB2YYO

@misc{pith2026260622767,
  author       = {Pith},
  title        = {Pith review of: Why Hadamard states?},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TSRB2YYO}},
  note         = {Machine review of arXiv:2606.22767}
}
read the original abstract

In quantum field theory on curved spacetime, and in locally-covariant quantum field theory, the Hadamard condition is often presented as a necessary condition on 'physically reasonable' states of the quantum field, and plays a central role in many theoretical and foundational applications - ranging from proofs of the renormalizability of Wick polynomials to derivations of the Hawking temperature. Yet despite this, the philosophical and foundational underpinnings of the Hadamard condition remain murky. I critically discuss existing motivations for the Hadamard condition in the literature, before arguing in favour of an alternative justification for the Hadamard condition, according to which it is best understood as a necessary and sufficient condition for the existence of a well-defined operator product on a sufficiently large space of observables of the quantum field, satisfying a variety of further conditions (thus proving a converse to a result which was already discussed in this context). This clarifies the role and status of the Hadamard condition, including its relationship to the equivalence principle, to well-definedness of physical quantities such as Wick polynomials and the expectation value of the stress-energy operator, and the sense in which Hadamard states are 'vacuum-like'.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

43 extracted references · 4 canonical work pages

  1. [1]

    2003 , place =

    Lars H\"ormander , title =. 2003 , place =

    2003

  2. [2]

    , title =

    Fewster, Christopher J. , title =. Communications in Mathematical Physics , year =

  3. [3]

    and Verch, Rainer , title =

    Fewster, Christopher J. and Verch, Rainer , title =. Annales Henri Poincar\'e , year =

  4. [4]

    , title =

    Fewster, Christopher J. , title =. International Journal of Modern Physics D , volume =. 2018 , doi =

    2018

  5. [5]

    2025 , note =

    Eleanor March , title =. 2025 , note =

    2025

  6. [6]

    Fletcher and James Owen Weatherall , title =

    Samuel C. Fletcher and James Owen Weatherall , title =. Philosophy of Physics , year =

  7. [7]

    Brown , title =

    Harvey R. Brown , title =. 2005 , place =

    2005

  8. [8]

    Explanation, Geometry, and Conspiracy in Relativity Theory , booktitle =

    Read, James , editor =. Explanation, Geometry, and Conspiracy in Relativity Theory , booktitle =. 2020 , publisher =

    2020

Show all 43 references
  1. [9]

    2013 , doi =

    Effective spacetime geometry , journal =. 2013 , doi =

    2013

  2. [10]

    2019 , doi =

    Physical relativity from a functionalist perspective , journal =. 2019 , doi =

    2019

  3. [11]

    2018 , doi =

    Two miracles of general relativity , journal =. 2018 , doi =

    2018

  4. [12]

    International Studies in the Philosophy of Science , volume =

    James Read , title =. International Studies in the Philosophy of Science , volume =. 2020 , doi =

    2020

  5. [13]

    2001 , doi =

    The Principle of Equivalence , journal =. 2001 , doi =

    2001

  6. [14]

    The British Journal for the Philosophy of Science , year =

    Weatherall, James Owen and March, Eleanor , title =. The British Journal for the Philosophy of Science , year =

  7. [15]

    The British Journal for the Philosophy of Science , year =

    March, Eleanor and Weatherall, James Owen , title =. The British Journal for the Philosophy of Science , year =

  8. [16]

    Wald , title =

    Robert M. Wald , title =. 1994 , place =

    1994

  9. [17]

    Wald , title =

    Robert M. Wald , title =. Communications in Mathematical Physics , year =

  10. [18]

    Physical Review D , volume =

    Trace anomaly of a conformally invariant quantum field in curved spacetime , author =. Physical Review D , volume =. 1978 , doi =

    1978

  11. [19]

    1991 , doi =

    Theorems on the uniqueness and thermal properties of stationary, nonsingular, quasifree states on spacetimes with a bifurcate killing horizon , journal =. 1991 , doi =

    1991

  12. [20]

    and Verch, Rainer , title =

    Janssen, Daan W. and Verch, Rainer , title =. doi:10.1088/1361-6382/acb039 , year =

    doi

  13. [21]

    The British Journal for the Philosophy of Science , year =

    Dominic John Ryder , title =. The British Journal for the Philosophy of Science , year =

  14. [22]

    and Sweeny, Mark and Wald, Robert M

    Fulling, Stephen A. and Sweeny, Mark and Wald, Robert M. , title =. Communications in Mathematical Physics , year =

  15. [23]

    and Verch, Rainer , title =

    Fewster, Christopher J. and Verch, Rainer , title =. doi:10.1088/0264-9381/30/23/235027 , year =

    doi

  16. [24]

    Quantum states and the Hadamard form. III. Constraints in cosmological space-times , author =. Physical Review D , volume =. 1985 , doi =

    1985

  17. [25]

    Algebraic QFT in Curved Spacetime and Quasifree Hadamard States: An Introduction , booktitle =

    Khavkine, Igor and Moretti, Valter , editor =. Algebraic QFT in Curved Spacetime and Quasifree Hadamard States: An Introduction , booktitle =. 2015 , publisher =

    2015

  18. [26]

    2019 , doi =

    Michael D\"utsch , title =. 2019 , doi =

    2019

  19. [27]

    Perturbative Algebraic Quantum Field Theory

    Fredenhagen, Klaus and Rejzner, Katarzyna. Perturbative Algebraic Quantum Field Theory. Mathematical Aspects of Quantum Field Theories. 2015

    2015

  20. [28]

    Iliev , publisher=

    Bozhidar Z. Iliev , publisher=. Handbook of Normal Frames and Coordinates. 2006

    2006

  21. [29]

    Natural Operations in Differential Geometry , publisher =

    Ivan Kol\'a. Natural Operations in Differential Geometry , publisher =

  22. [30]

    Green-Hyperbolic Operators on Globally Hyperbolic Spacetimes , journal =

    Christian B. Green-Hyperbolic Operators on Globally Hyperbolic Spacetimes , journal =. 2015 , pages =

    2015

  23. [31]

    International Journal of Modern Physics A , volume =

    Khavkine, Igor , title =. International Journal of Modern Physics A , volume =. 2014 , doi =

    2014

  24. [32]

    , title =

    Radzikowski, Marek J. , title =. Communications in Mathematical Physics , year =

  25. [33]

    Communications in Mathematical Physics , year =

    Romeo Brunetti and Klaus Fredenhagen , title =. Communications in Mathematical Physics , year =

  26. [34]

    Fewster , title =

    Christopher J. Fewster , title =. doi:10.1088/0264-9381/17/9/302 , year =

    doi

  27. [35]

    and Verch, Rainer , title =

    Fewster, Christopher J. and Verch, Rainer , title =. Communications in Mathematical Physics , year =

  28. [36]

    Quantum Energy Inequalities

    Fewster, Christopher J. Quantum Energy Inequalities. Wormholes, Warp Drives and Energy Conditions. 2017. doi:10.1007/978-3-319-55182-1_10

    2017 doi

  29. [37]

    Wald , title =

    Stefan Hollands and Robert M. Wald , title =. Communications in Mathematical Physics , year =

  30. [38]

    Communications in Mathematical Physics , year =

    Michael D\"utsch and Klaus Fredenhagen , title =. Communications in Mathematical Physics , year =

  31. [39]

    Perturbative Algebraic Field Theory, and Deformation Quantization , volume =

    D\"utsch, Michael and Fredenhagen, Klaus , year =. Perturbative Algebraic Field Theory, and Deformation Quantization , volume =. Fields Institute Communications , doi =

  32. [40]

    Radzikowski , title =

    Marek J. Radzikowski , title =. Communications in Mathematical Physics , year =

  33. [41]

    , editor =

    Fletcher, Samuel C. , editor =. Approximate Local Poincar. Thinking About Space and Time: 100 Years of Applying and Interpreting General Relativity , year =

  34. [42]

    Synthese , year =

    James Owen Weatherall , title =. Synthese , year =

  35. [43]

    Proceedings of the Royal Society of London

    Peierls, Rudolf Ernst , title =. Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences , volume =. 1952 , doi =

    1952

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.