{"id":"98bd1122-0a9f-4073-822f-eb95076e2fa5","arxiv_id":"2606.28009","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves uniqueness, analyticity and mixing for Gibbs point processes up to spectral threshold λ_spec, improving hard-sphere bounds exponentially in high d and exhibiting potentials with no phase transition.","lead":"The paper proves uniqueness of infinite-volume Gibbs measures, analyticity of pressure, and spatial/temporal mixing for particle systems up to a spectral activity threshold λ_spec. This improves classical bounds on hard-sphere models in all dimensions and shows some repulsive potentials have no phase transition at any activity.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the single point that must be true for the central claim to hold: the 2013 gap must reach exactly the λ_spec used here and the new implications must follow from it. The present work's contribution is the derivation of those implications plus the concrete evaluation of λ_spec; because the logical skeleton contains no further unsecured link, the provisional UNVERDICTED verdict is left unchanged.","tokens_in":1916,"tokens_out":360,"duration_ms":58819,"concrete_test":"Extract the statement of the main implication theorem (spectral gap ⇒ uniqueness/analyticity) and verify that every hypothesis it invokes is already established in the 2013 reference or is proved in an earlier section of the present manuscript; if any extra regularity on the pair potential is required, check whether it holds for the hard-sphere case.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper structures its argument as: (1) take the spectral gap for the continuum birth-death dynamics proved in Kondratiev-Kuna-Ohlerich 2013 up to the implicitly defined threshold λ_spec, (2) prove that any such gap implies uniqueness of the infinite-volume Gibbs measure, analyticity of the pressure, and the listed mixing properties, (3) compute or bound λ_spec explicitly for the hard-sphere potential (showing improvement over prior uniqueness radii, exponentially large in d) and for certain repulsive radial potentials (showing λ_spec = ∞). The abstract states these steps explicitly and credits the 2013 result for the gap itself. No internal inconsistency, hidden assumption on the dynamics, or unsecured step in the implication chain is visible in the described architecture.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript proves that a spectral gap for a Glauber-like continuum birth-death dynamics (taken from the 2013 Kondratiev-Kuna-Ohlerich result) up to an implicitly defined activity threshold λ_spec implies uniqueness of the infinite-volume Gibbs measure, analyticity of the pressure, and several forms of spatial and temporal mixing for Gibbs point processes. For the hard-sphere model it derives explicit bounds on λ_spec that improve classical uniqueness radii for each fixed d ≥ 2, with the improvement growing exponentially in d; it also gives an optimal mixing-time bound for heat-bath dynamics up to density Θ(d/2^d). For certain repulsive radial pair potentials (including examples in d=8 and d=24 whose ground states are the E8 and Leech lattices) it shows λ_spec = ∞, hence absence of phase transition at any activity.","tokens_in":2080,"tokens_out":622,"duration_ms":32230,"significance":"If the implication chain from spectral gap to the listed equilibrium and mixing properties holds, the work supplies a systematic route from dynamical spectral information to absence of phase transition in continuum systems. The exponential improvement for hard spheres in high dimension and the asymptotic matching of the Parisi-Zamponi rapid-mixing threshold are concrete advances; the construction of potentials with λ_spec = ∞, backed by the Cohn-Kumar-Miller-Radchenko-Viazovska ground-state theorems, gives rigorous examples of interaction potentials with no phase transition at any density. The paper is transparent about its reliance on the 2013 black-box result and focuses its own contribution on the implication theorems and the explicit analysis of λ_spec.","major_comments":[{"comment":"The central claim that the 2013 spectral gap continues to hold exactly up to the defined λ_spec and is sufficient for all listed consequences is load-bearing; the manuscript must therefore contain a self-contained statement (in the section introducing λ_spec) of the precise range of activities for which the 2013 theorem applies and of the precise functional inequalities that are deduced from the gap.","section":"Definition of λ_spec and implication theorems"},{"comment":"The exponential improvement over classical bounds as d → ∞ for hard spheres is a headline quantitative result; the explicit lower bound or asymptotic expression for λ_spec (hard-sphere case) must appear in the main text (not only in the abstract) so that the growth rate can be verified directly.","section":"Hard-sphere analysis"}],"minor_comments":[{"comment":"Notation for the continuum birth-death generator and for the various mixing notions should be introduced once, with a short table or list of definitions, to avoid repeated cross-references.","section":"Notation and preliminaries"},{"comment":"The reference list should include the precise citation for the Parisi-Zamponi prediction that is being matched asymptotically.","section":"References"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive evaluation and the precise comments. We respond to each major comment below.","responses":[{"response":"We agree that a self-contained statement of the precise activity range from the 2013 Kondratiev-Kuna-Ohlerich theorem and the functional inequalities deduced from the spectral gap would improve transparency. In the revised manuscript we will insert this statement in the section introducing λ_spec.","revision_made":"yes","referee_comment":"[Definition of λ_spec and implication theorems] The central claim that the 2013 spectral gap continues to hold exactly up to the defined λ_spec and is sufficient for all listed consequences is load-bearing; the manuscript must therefore contain a self-contained statement (in the section introducing λ_spec) of the precise range of activities for which the 2013 theorem applies and of the precise functional inequalities that are deduced from the gap."},{"response":"We agree that the explicit lower bound or asymptotic expression for λ_spec in the hard-sphere case should be stated in the main text. We will move or add this material to the main body in the revision.","revision_made":"yes","referee_comment":"[Hard-sphere analysis] The exponential improvement over classical bounds as d → ∞ for hard spheres is a headline quantitative result; the explicit lower bound or asymptotic expression for λ_spec (hard-sphere case) must appear in the main text (not only in the abstract) so that the growth rate can be verified directly."}],"tokens_in":1676,"tokens_out":337,"duration_ms":22776,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main thing here is that the authors take the spectral gap proved by Kondratiev-Kuna-Ohlerich in 2013 for a continuum birth-death dynamics and show that any such gap implies uniqueness of the infinite-volume Gibbs measure, analyticity of the pressure, and several forms of spatial and temporal mixing, all up to an activity threshold they call λ_spec.\n\nThey then compute or bound λ_spec for the hard-sphere potential and obtain better uniqueness and analyticity radii than the classical ones; the improvement grows exponentially with dimension. They also prove an optimal mixing-time bound for heat-bath dynamics that reaches the density scale Θ(d/2^d), which asymptotically matches the Parisi-Zamponi prediction. On top of that they construct repulsive radial potentials where λ_spec is infinite, so the corresponding Gibbs process has no phase transition at any activity, and they link two of these examples in dimensions 8 and 24 to the E8 and Leech lattices.\n\nThe work is mostly clean. The separation between the spectral-gap input and the thermodynamic/mixing consequences is explicit, the new examples are concrete, and the hard-sphere improvement is the clearest payoff. The citation pattern is appropriate; they credit the 2013 result as the source of the gap and do not claim to reprove it.\n\nThe soft spot is the heavy reliance on the 2013 gap holding all the way up to the defined λ_spec. If that earlier result has any restriction the authors have not fully checked, the claimed improvements shrink. The abstract treats the gap as a black box, which is fine for a follow-up paper but means the overall strength tracks the strength of the 2013 work.\n\nThis is for people working on continuum point processes, phase transitions, and mixing times. A reader who already knows the 2013 result will get the most out of the new implications and examples. The paper is coherent on its own terms and deserves a serious referee.","headline":"This paper turns a 2013 spectral gap into explicit uniqueness, analyticity, and mixing bounds for Gibbs point processes, with exponential gains on hard spheres in high d and some potentials that never phase transition.","tokens_in":2583,"tokens_out":485,"would_cite":true,"duration_ms":24801,"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":"Spectral gaps for continuum birth-death dynamics imply uniqueness of infinite-volume Gibbs measures and analytic pressure up to a new activity threshold.","keywords":["Gibbs point processes","hard-sphere model","spectral gap","uniqueness","analyticity of pressure","spatial mixing","phase transitions","birth-death dynamics"],"falsifier":"Exhibiting two distinct infinite-volume Gibbs measures for the hard-sphere model at an activity strictly below the value of λ_spec computed from the spectral gap would show that the gap does not imply uniqueness.","tokens_in":2835,"feed_emoji":"","tokens_out":769,"duration_ms":23564,"temperature":0.7,"pith_summary":"The paper shows that whenever a spectral gap holds for the associated Glauber-like birth-death process, the Gibbs point process has a unique infinite-volume measure, the pressure is analytic in activity, and both spatial and temporal mixing occur. This threshold, called λ_spec, improves the known uniqueness and analyticity bounds for the hard-sphere model in every fixed dimension d ≥ 2, with the improvement becoming exponentially large as d grows. The authors also construct repulsive radial potentials for which λ_spec is infinite, so the corresponding Gibbs process remains unique and analytic at every positive activity; two such examples are potentials whose ground states are the E8 and Leech lattices.","feed_headline":"Spectral gaps prove unique Gibbs measures up to higher activities","feed_subtitle":"Hard-sphere bounds improve exponentially in dimension; some repulsive potentials have no phase transition at any activity.","key_machinery":"The spectral threshold λ_spec, defined as the supremum of activities at which the spectral gap for the Glauber-like continuum birth-death dynamics continues to hold.","core_discovery":"The existence of a spectral gap for the continuum birth-death dynamics up to activity λ_spec implies uniqueness of the infinite-volume Gibbs measure, analyticity of the pressure, and various mixing properties. For the hard-sphere model this produces strictly better thresholds than classical bounds in each fixed dimension, and the gap to those bounds grows exponentially with dimension; the same argument yields an optimal mixing-time bound for heat-bath dynamics up to expected density Θ(d/2^d). Certain repulsive radial potentials are shown to satisfy λ_spec = +∞, hence to have no phase transition at any finite activity, including potentials whose zero-temperature ground states are the E8 and L","pith_inferences":["The same spectral-gap argument could be applied to other pair potentials once their own λ_spec is located.","Because λ_spec can be infinite, the method separates the question of phase transition from the mere existence of a spectral gap.","Numerical approximation of the spectral gap would give concrete, computable bounds on the location of any phase transition for a given potential.","The exponential improvement in high dimensions suggests the approach captures a larger fraction of the regime where uniqueness is expected to hold."],"forward_implications":["The infinite-volume Gibbs measure is unique for every activity up to λ_spec.","The pressure is an analytic function of activity up to λ_spec.","Spatial and temporal mixing hold for the process up to λ_spec.","Heat-bath dynamics for hard spheres mix in optimal time up to expected density Θ(d/2^d).","Repulsive radial potentials with infinite λ_spec have no phase transition at any positive activity."],"fun_headline_variants":["Spectral gaps ensure unique infinite-volume Gibbs measures","Hard-sphere bounds improve exponentially in high dimensions","Repulsive potentials admit no phase transition at finite activity","Optimal mixing times for hard-sphere heat bath dynamics","Analytic pressure and mixing from continuum spectral gaps"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The spectral gap proved for the birth-death dynamics in the 2013 work remains valid all the way up to λ_spec and is strong enough to imply uniqueness, analyticity, and mixing.","fun_headline_variants_meta":{"raw":{"variants":["Spectral gaps ensure unique infinite-volume Gibbs measures","Hard-sphere bounds improve exponentially in high dimensions","Repulsive potentials admit no phase transition at finite activity","Optimal mixing times for hard-sphere heat bath dynamics","Analytic pressure and mixing from continuum spectral gaps"]},"model":"grok-4.3","cost_usd":0.005802,"raw_usage":{"total_tokens":2785,"prompt_tokens":875,"num_sources_used":0,"completion_tokens":63,"cost_in_usd_ticks":58015500,"prompt_tokens_details":{"text_tokens":875,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1847,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":875,"tokens_out":63,"duration_ms":16526,"temperature":1.0,"reasoning_tokens":1847,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-29T02:27:10.556624+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Exhibiting two distinct infinite-volume Gibbs measures for the hard-sphere model at an activity strictly below the value of λ_spec computed from the spectral gap would show that the gap does not imply uniqueness.","supporting_citations":[],"review_version":1}