{"id":"62653668-1a4b-44b0-ad7c-2eb5b49b68f1","arxiv_id":"2606.09538","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves equivalences among no-BEC conditions (no ODLRO, vanishing zero-mode form and condensate density, trivial BEC ideal) in Nelson and Pauli-Fierz models when test functions distinguish the zero mode, plus uniform resolvent-algebra descriptions.","lead":"The paper constructs KMS states for Nelson and Pauli-Fierz models via functional integrals, removes cutoffs, and proves that several no-BEC criteria become equivalent when the test-function space distinguishes the zero mode. A smart generalist might read it to see rigorous mathematical constraints on condensation in simplified quantum field models.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Validity of functional integral representations for KMS states after simultaneous IR/UV cutoff removal","rationale":"The reader's weakest assumption matches the load-bearing step exactly; the equivalence cannot transfer to the physical models without that justification. No other internal inconsistency is visible from the abstract and claim statement.","tokens_in":1636,"tokens_out":312,"duration_ms":15437,"concrete_test":"In the sections constructing the KMS states, locate the statement or theorem establishing existence of the functional-integral representation after joint removal of both cutoffs; if only separate IR or UV limits are controlled (or if the joint limit is asserted without a convergence proof or reference), recompute the zero-mode form or condensate density on a sequence of cutoffs with IR cutoff \to 0 and UV cutoff \to ∞ at comparable rates and check whether the quantities remain zero.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The equivalence of no ODLRO, vanishing zero-mode form, vanishing condensate density, order-parameter criterion, and triviality of BEC directions/ideal is derived for the cutoff-removed point-source Nelson and Pauli-Fierz models. This equivalence presupposes that the KMS states exist and are represented by the functional integrals in the joint limit. The abstract states the representations are used after removal, but if the simultaneous limit fails to exist (or the representation does not pass to the limit), the equivalence applies only to regularized models and does not yield a no-go theorem for the physical models.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript constructs KMS states for the Nelson model, the spinless Pauli-Fierz model, and the Pauli-Fierz model with spin by means of functional integral representations. For the point-source versions after simultaneous removal of infrared and ultraviolet cutoffs, it proves that, when the physical test-function space distinguishes the zero mode, the absence of off-diagonal long-range order, the vanishing of the zero-mode form, the vanishing of the condensate density, the order-parameter criterion, and the triviality of the BEC directions and the BEC ideal are all equivalent. The paper also gives a uniform description of the infrared quotient and the BEC ideal in the resolvent algebra for the three models and states an operator-algebraic sufficient condition for spatially translation-invariant KMS states.","tokens_in":1767,"tokens_out":530,"duration_ms":15470,"significance":"If the functional-integral representations remain valid after cutoff removal, the equivalences supply a no-go theorem for BEC in these interacting quantum-field models by linking several independent characterizations of condensation. The uniform treatment across the Nelson and Pauli-Fierz families and the combination of functional-integral constructions with operator-algebraic arguments constitute a clear technical contribution. The derivation of the equivalences directly from the functional-integral representation and resolvent-algebra properties, without introduction of fitted parameters, is a methodological strength.","major_comments":[{"comment":"Abstract, paragraph 2: The central claim that the listed equivalences constitute a no-go theorem for the physical (cutoff-removed) point-source models rests on the assertion that the functional-integral representations of the KMS states survive simultaneous infrared and ultraviolet cutoff removal. The manuscript states that the representations are used after removal but supplies neither an explicit limit argument nor a reference to a prior result establishing existence of the joint limit for the point-source Nelson and Pauli-Fierz Hamiltonians; this step is load-bearing for the extension from regularized to physical models.","section":"Abstract, paragraph 2"}],"minor_comments":[{"comment":"The term 'BEC ideal' is introduced in the abstract without a preceding definition or reference; a short clarifying sentence in the introduction would improve readability for readers outside the immediate subfield.","section":null},{"comment":"Notation for the resolvent algebra and the infrared quotient is used uniformly across models but is not collected in a single preliminary section; a brief table or paragraph summarizing the common objects would aid comparison.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and for highlighting the load-bearing step in extending the equivalences to the physical models. We address the single major comment below and will revise accordingly.","responses":[{"response":"We agree that the manuscript does not supply an explicit limit argument or citation establishing that the functional-integral representations of the KMS states remain valid after simultaneous IR and UV cutoff removal for the point-source models. This omission weakens the direct applicability of the no-go theorem to the physical Hamiltonians. In the revised manuscript we will add either a self-contained sketch of the joint limit (where feasible) or a precise reference to prior results on the existence of the cutoff-removed KMS states via functional integrals for the Nelson and Pauli-Fierz families. The equivalences themselves are derived for the regularized models and then transferred; the revision will make the transfer step explicit.","revision_made":"yes","referee_comment":"[Abstract, paragraph 2] Abstract, paragraph 2: The central claim that the listed equivalences constitute a no-go theorem for the physical (cutoff-removed) point-source models rests on the assertion that the functional-integral representations of the KMS states survive simultaneous infrared and ultraviolet cutoff removal. The manuscript states that the representations are used after removal but supplies neither an explicit limit argument nor a reference to a prior result establishing existence of the joint limit for the point-source Nelson and Pauli-Fierz Hamiltonians; this step is load-bearing for the extension from regularized to physical models."}],"tokens_in":1343,"tokens_out":332,"duration_ms":14468,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that Sekine shows absence of off-diagonal long-range order, vanishing zero-mode form, vanishing condensate density, the order-parameter criterion, and triviality of the BEC directions are all equivalent when the test-function space can separate the zero mode. The paper also supplies a uniform resolvent-algebra description of the infrared quotient and BEC ideal across the three models plus an operator-algebraic sufficient condition for translation-invariant KMS states.\n\nThe uniform treatment and the operator-algebraic condition are the genuinely new pieces. They tie existing criteria together without circularity and give a consistent picture that was not already in the cited literature.\n\nThe soft spot is the functional-integral construction of the KMS states after simultaneous infrared and ultraviolet cutoff removal. The equivalences rest on those representations holding in the limit for the point-source models. If the joint limit does not preserve the representations or if the states fail to exist in that form, the no-go applies only to the regularized versions. The abstract states the construction is done after removal, so the paper must make the passage to the limit explicit.\n\nThis is aimed at specialists in mathematical quantum field theory who work on infrared problems and KMS states in these models. A reader in that niche will find the equivalences and the resolvent-algebra setup useful for organizing the criteria.\n\nIt deserves a serious referee. The technical setup looks careful and the claims are precise enough to check in detail.\n\nRecommendation: send it to peer review so the cutoff-removal step can be examined directly.","headline":"The paper gives clean equivalences among no-BEC criteria for the Nelson and Pauli-Fierz models via resolvent algebra, but the functional-integral step after joint cutoff removal is the part that needs the closest look.","tokens_in":2244,"tokens_out":403,"would_cite":false,"duration_ms":18585,"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":"If the test-function space distinguishes the zero mode, absence of off-diagonal long-range order is equivalent to vanishing condensate density and trivial BEC ideal in Nelson and Pauli-Fierz models.","keywords":["Bose-Einstein condensation","Nelson model","Pauli-Fierz model","KMS states","functional integral representations","off-diagonal long-range order","zero mode","resolvent algebra"],"falsifier":"An explicit KMS state for one of the point-source models after cutoff removal that exhibits non-vanishing condensate density while the test-function space distinguishes the zero mode.","tokens_in":2528,"feed_emoji":"","tokens_out":772,"duration_ms":21979,"temperature":0.7,"pith_summary":"The paper constructs KMS states for the Nelson model, the spinless Pauli-Fierz model, and the Pauli-Fierz model with spin by means of functional integral representations. After simultaneous removal of infrared and ultraviolet cutoffs in the point-source versions, it establishes that several criteria become equivalent when the physical test-function space can distinguish the zero mode: absence of off-diagonal long-range order, vanishing of the zero-mode form, vanishing of the condensate density, the order-parameter criterion, and triviality of the BEC directions together with the BEC ideal. This equivalence functions as a no-go result showing that Bose-Einstein condensation cannot occur under those conditions. A sympathetic reader would care because the result ties together different mathematical tests for condensation in models of bosons interacting with quantized fields.","feed_headline":"No-go theorem rules out BEC in Nelson and Pauli-Fierz models","feed_subtitle":"When test functions distinguish the zero mode, no long-range order is equivalent to zero condensate density and trivial BEC ideal after cuto","key_machinery":"Functional integral representations of KMS states that remain valid after simultaneous infrared and ultraviolet cutoff removal, which allow proof of the listed equivalences among BEC criteria when the test-function space distinguishes the zero mode.","core_discovery":"Under the condition that the physical test-function space can distinguish the zero mode, the absence of off-diagonal long-range order, the vanishing of the zero-mode form, the vanishing of the condensate density, the order-parameter criterion, and the triviality of the BEC directions and the BEC ideal are equivalent. The paper also supplies a uniform description of the infrared quotient and the BEC ideal in the resolvent algebra for the three models and formulates an operator-algebraic sufficient condition for separately given spatially translation-invariant KMS states.","pith_inferences":["The equivalence may indicate that realistic physical regimes of these models, where zero modes are distinguishable, exclude condensation altogether.","Analogous no-go statements could be sought in other models of bosons coupled to quantized fields that admit similar functional integral constructions.","The requirement that the test-function space distinguish the zero mode may serve as a diagnostic for whether condensation is possible in approximate numerical treatments of the same Hamiltonians."],"forward_implications":["The infrared quotient and BEC ideal admit a uniform description in the resolvent algebra across the Nelson and Pauli-Fierz models.","An operator-algebraic sufficient condition holds for the existence of separately given spatially translation-invariant KMS states.","If any one of the equivalent conditions such as absence of off-diagonal long-range order is satisfied, then the condensate density vanishes and the BEC ideal is trivial.","The same set of equivalences applies uniformly to the three models once the zero-mode distinction condition is met."],"fun_headline_variants":["No-go theorem forbids BEC in Nelson and Pauli-Fierz models","BEC ruled out by no-go theorem for Nelson and Pauli-Fierz","No long-range order equals no BEC under zero-mode distinction","Uniform infrared quotient for BEC ideal in resolvent algebra"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The functional integral representations used to construct the KMS states for the point-source models remain valid after simultaneous removal of infrared and ultraviolet cutoffs.","fun_headline_variants_meta":{"raw":{"variants":["No-go theorem forbids BEC in Nelson and Pauli-Fierz models","BEC ruled out by no-go theorem for Nelson and Pauli-Fierz","No long-range order equals no BEC under zero-mode distinction","Uniform infrared quotient for BEC ideal in resolvent algebra"]},"model":"grok-4.3","cost_usd":0.008061,"raw_usage":{"total_tokens":3633,"prompt_tokens":602,"num_sources_used":0,"completion_tokens":67,"cost_in_usd_ticks":80612000,"prompt_tokens_details":{"text_tokens":602,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2964,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":602,"tokens_out":67,"duration_ms":22574,"temperature":1.0,"reasoning_tokens":2964,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T14:44:56.757063+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit KMS state for one of the point-source models after cutoff removal that exhibits non-vanishing condensate density while the test-function space distinguishes the zero mode.","supporting_citations":[],"review_version":1}