{"id":"baf868b4-83dc-41a0-a507-30ea3d4e00a6","arxiv_id":"2606.22767","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Hadamard states ensure well-defined operator products on observables in QFT on curved spacetime, as a necessary and sufficient condition that proves a converse to prior results.","lead":"The paper argues that the Hadamard condition in quantum field theory on curved spacetime is necessary and sufficient for well-defined operator products on a large space of observables. A generalist might read it to see a clearer foundational reason for a technical condition used in renormalizability proofs and Hawking temperature derivations.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Converse proof hinges on unspecified 'further conditions' whose physical motivation is unverified from abstract alone","rationale":"The reader's weakest_assumption directly identifies the same gap; the abstract-only review prevents checking the proof or conditions, so the unverdicted status is appropriate and no stronger objection can be formulated without the manuscript details.","tokens_in":1716,"tokens_out":311,"duration_ms":17080,"concrete_test":"Extract the precise list of further conditions from the section containing the converse proof; verify whether each follows from standard requirements (locality, covariance, continuity of the product map) without presupposing the Hadamard two-point function singularity structure; if any condition is equivalent to the Hadamard condition by construction, the necessity claim is tautological.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that Hadamard is necessary and sufficient for a well-defined operator product on a large observable space satisfying 'a variety of further conditions,' providing a converse to prior results. The abstract gives no explicit list or derivation of those conditions (e.g., no reference to specific axioms like microlocal regularity, covariance under diffeomorphisms, or positivity that would be independent of the Hadamard form). Without them, it is impossible to check whether the conditions are the minimal physically reasonable ones or whether the necessity direction holds without circularity (i.e., whether non-Hadamard states are excluded only because the conditions were chosen to match Hadamard wavefront sets).","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","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.","tokens_in":1861,"tokens_out":469,"duration_ms":9248,"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":[{"comment":"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.","section":"section defining the operator product and the converse argument"},{"comment":"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.","section":"discussion of the further conditions"}],"minor_comments":[{"comment":"Clarify in the introduction whether the 'further conditions' are drawn from existing literature (with citations) or newly proposed.","section":"introduction"},{"comment":"Ensure that any reference to prior results on operator products includes precise citations so readers can compare the converse with the original theorems.","section":"literature review"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"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.","responses":[{"response":"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_made":"yes","referee_comment":"[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."},{"response":"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_made":"partial","referee_comment":"[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."}],"tokens_in":1353,"tokens_out":526,"duration_ms":17501,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core claim is that Hadamard states are the ones that let you define a product of field operators on a large enough set of observables while meeting a list of extra requirements, and this is presented as a converse to earlier work. That is the new piece.\n\nThe paper does a clean job laying out the standard motivations—renormalizability of Wick products, stress-energy expectations, Hawking temperature derivations—and flags where those arguments feel incomplete or tied to prior assumptions. It also ties the condition to the equivalence principle and the idea of vacuum-like states in a direct way. That part is useful for anyone who has to teach or think about why we pick these states.\n\nThe soft spot is the 'variety of further conditions' on the operator product. The abstract does not list them or show how they are derived independently of the Hadamard wavefront set. If those conditions are chosen so that only Hadamard states satisfy them, the necessity direction risks being circular. The full proof would have to demonstrate that the conditions are physically minimal rather than tailored. Without that, the justification is suggestive but not yet decisive.\n\nThis is for people already working in locally covariant QFT or the foundations of QFT on curved spacetime. A reader who cares about the status of Hadamard states will get a clear alternative framing even if they end up disagreeing with the choice of conditions. It is worth sending to a serious referee because the topic is central and the move is a legitimate conceptual extension, though the paper will probably need to spell out the conditions and their motivation in more detail.","headline":"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.","tokens_in":2326,"tokens_out":397,"would_cite":false,"duration_ms":9454,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The Hadamard condition is necessary and sufficient for a well-defined operator product on quantum field observables that meets further physical requirements.","keywords":["Hadamard states","quantum field theory on curved spacetime","locally covariant quantum field theory","operator product","Wick polynomials","stress-energy tensor","equivalence principle"],"falsifier":"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.","tokens_in":2606,"feed_emoji":"","tokens_out":649,"duration_ms":10843,"temperature":0.7,"pith_summary":"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.","feed_headline":"Hadamard condition makes operator products well-defined on field observables","feed_subtitle":"It supplies a necessary and sufficient criterion for the algebra to support Wick polynomials and stress-energy expectations rather than serv","key_machinery":"The operator product defined on the algebra of observables that must satisfy covariance, locality, and regularity requirements.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Hadamard condition is necessary and sufficient for operator products","Operator products on observables demand Hadamard condition","Hadamard condition defines operator products for QFT observables","Well-defined operator products require Hadamard condition"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The specific further conditions imposed on the operator product are the right ones to capture physical reasonableness.","fun_headline_variants_meta":{"raw":{"variants":["Hadamard condition is necessary and sufficient for operator products","Operator products on observables demand Hadamard condition","Hadamard condition defines operator products for QFT observables","Well-defined operator products require Hadamard condition"]},"model":"grok-4.3","cost_usd":0.009481,"raw_usage":{"total_tokens":4213,"prompt_tokens":626,"num_sources_used":0,"completion_tokens":61,"cost_in_usd_ticks":94812000,"prompt_tokens_details":{"text_tokens":626,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3526,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":626,"tokens_out":61,"duration_ms":23883,"temperature":1.0,"reasoning_tokens":3526,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T07:06:37.515075+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"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.","supporting_citations":[],"review_version":1}