{"id":"b420dcfd-c0b4-4694-af5e-4fd8350914eb","arxiv_id":"2411.18483","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper establishes large-deviation principles for empirical fields of canonical (fixed-number) Gibbs point processes, with rate functions matching the grand-canonical variational formula.","lead":"This paper proves large-deviation principles for Gibbs point processes with a fixed number of points (canonical ensemble), covering bounded, unbounded, and hard-core interactions. It provides the first general framework for these 'binomial Gibbs' systems, with implications for statistical physics and stochastic geometry.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.11's LDP is explicitly conditional on a finite free-energy limit, and the abstract/introduction overstate the unbounded-interaction scope; the theorem itself is correctly stated.","rationale":"The reader's weakest-assumption identification is exactly the finite free-energy limit in Theorem 2.11, and I agree that this is the most fragile point of the paper. However, it does not constitute an error: the theorem states the condition explicitly, Remark 2.12 acknowledges that the limit can be -infty, and Examples 2.20-2.21 show how the condition is verified in natural applications. The bounded-interaction theorem (Theorem 2.7) and the hard-core theorem (Theorem 2.16) are not affected by this caveat, and the hard-core result has its own separate hypotheses. The coupling constructions in Sections 5 and 6 are detailed and appear internally consistent; Lemma 4.3 is only sketched, but the sketch is a direct analogue of the proved Lemma 4.2 argument. Therefore the correct verdict remains ACCEPT, with no change to the reader's assessment.","tokens_in":46251,"tokens_out":22518,"duration_ms":226180,"concrete_test":"Verify whether the finiteness condition is ever violated within the stated hypotheses by attempting an explicit admissible V with super-exponential cardinality bound, e.g., V(omega)=exp(exp(|omega cap b_r|)) at an intensity lambda exceeding the maximal packing intensity for radius r. Compute or bound inf_P I(P)+P^o(V) for stationary P with intensity lambda. If the infimum is +infty, the condition is genuinely needed and the abstract should state it; if the infimum is always finite for such V, the condition is redundant and the proof should be simplified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing point is Theorem 2.11's finite free-energy hypothesis. The theorem's first sentence claims existence of lim (1/|W_n|) log Z_n under only V >= 0, increasing, r-local, cardinality-bounded, but the LDP itself is stated only under the additional 'lim log Z_n > -infty', and Remark 2.12 concedes this limit can be -infty. This matters because J(m) = tilde J(m) - inf tilde J is built from tilde J, so when inf tilde J = infty the normalization in (3) is undefined and the variational argument collapses: the upper bound (26) and lower bound (29) both become trivial, giving no information about the normalized probabilities P_n(R_{n,rho_n} in .). The proof uses the finiteness assumption exactly to subtract a finite log Z_n in the upper bound for closed sets and to make the infimum in the rate function non-degenerate. Thus the opening abstract and introduction, which advertise an LDP for 'a non-negative possibly unbounded increasing local interaction' without this caveat, overstate the scope of Theorem 2.11 unless the reader carries the caveat forward. The theorem itself is correctly conditional; the concern is scope, not internal inconsistency.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper develops large-deviation principles for canonical (binomial) Gibbs point processes in growing windows. The central object is the individual empirical field R^o_{n,rho_n} under the binomial Gibbs measure. Theorem 2.7 gives a full LDP for bounded r-local interactions with rate function J(m)=tilde J(m)-inf tilde J(m), where tilde J(m)=I(P)+P^o(V). Theorem 2.11 extends this to non-negative increasing r-local cardinality-bounded interactions, but only under the explicit additional hypothesis that lim |W_n|^{-1} log Z_n > -infinity; Remark 2.12 notes that this limit can be -infinity. Theorem 2.16 treats the hard-core Strauss process under lambda v_d R^d < 1 for bounded local score functions, and Theorem 2.18 covers two boundary-condition Hamiltonians. The proofs condition the Poisson process on {|omega|=n}, use the Georgii-Zessin LDP as an external benchmark, and construct couplings via move operations for unbounded interactions and thinning/sprinkling for the hard-core case.","tokens_in":46503,"tokens_out":14042,"duration_ms":138590,"significance":"If the results hold, the paper fills a real gap by giving systematic canonical analogues of grand-canonical variational LDPs for Gibbs point processes, with an explicit rate function in the spirit of Georgii-Zessin. The move-operation coupling is a substantive technical contribution, particularly because deletion/addition is not available in the canonical setting. The hard-core result and the boundary-condition extensions broaden the applicability, and the examples (Strauss process, k-wise interactions) are useful illustrations. The proofs are detailed and all lemmas are proved, with the exception of Lemma 4.3, which is presented as a sketch. The paper is also honest about the conditional nature of the unbounded-interaction result: Remark 2.12 states that the relevant free-energy limit can be -infinity. The explicit hypotheses and the careful statements are strengths of the paper.","major_comments":[],"minor_comments":[{"comment":"The abstract and the introduction describe Theorem 2.11 as establishing an LDP for a possibly unbounded non-negative increasing local interaction without mentioning the additional condition lim |W_n|^{-1} log Z_n > -infinity. Since Remark 2.12 explicitly notes that this limit can be -infinity, in which case the LDP is not established, the advertised scope should carry this caveat. Theorem 2.11 itself is correctly conditional; the issue is purely one of presentation.","section":"Abstract and Section 1, bullet (1)"},{"comment":"The proof of Lemma 4.3 is presented only as a sketch. Because Corollaries 2.10 and 2.14 depend on this lemma, it would be helpful to write out the reduction of (45) to (30) explicitly, or at least to state precisely how the parameters b, delta, and epsilon are chosen for vector-valued thresholds a.","section":"Section 4, Lemma 4.3"},{"comment":"Theorem 2.16 is stated at the level of bounded local score functions, i.e., finite-dimensional projections, rather than for the individual empirical field itself. The abstract says the large-deviation principle is formulated for distributions of individual empirical fields, so the hard-core section should explicitly clarify that the stated result is at the functional level, or state the corresponding empirical-field version.","section":"Section 2.2.1, Theorem 2.16"}],"recommendation":"minor_revision","confidential_remarks":"To the editor: I found no mathematical errors in the main arguments. The main reservation is the mismatch between the advertised scope in the abstract and introduction and the conditional nature of Theorem 2.11; this should be corrected before publication. The paper is otherwise a strong contribution and the technical arguments are convincing."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a serious paper and deserves a real referee. It delivers the first systematic LDPs for canonical (fixed-number) Gibbs processes outside the Coulomb/Riesz setting, and the proofs are detailed enough to check. The bounded-interaction Theorem 2.7 is the clean centerpiece; the move-coupling for unbounded interactions is genuinely new and looks sound. Credit where due: the paper states assumptions clearly, uses the grand-canonical LDP as an external benchmark rather than reproving it, and handles the hard-core Strauss case with a thinning/sprinkling argument that respects the fixed-number constraint.\n\nThe main soft spot is exactly what the stress-test note flags. The abstract and introduction advertise Theorem 2.11 as an LDP for 'non-negative possibly unbounded increasing local interaction' without carrying the finiteness condition. Read carefully, the theorem's second paragraph is explicitly conditional on lim (1/|W_n|) log Z_n > -∞, and Remark 2.12 concedes the limit can be -∞. So the theorem is correctly stated, but the framing overstates scope. Anyone citing it as an unconditional LDP would be wrong. This is a presentation problem, not a mathematical hole.\n\nMinor points: Lemma 4.3 is only sketched, though the sketch is reasonably detailed. The hard-core result requires λ R^d v_d < 1 and covers only the pure hard-core Strauss interaction; the authors say so up front. Theorem 2.16 gives an LDP for local bounded functionals rather than the full empirical-field LDP, which is a slightly weaker target but consistent with the hard-core section's stated scope.\n\nI don't see a load-bearing flaw. The variational rate function is the expected canonical analogue, the upper bound via conditioning on the closed event {|ω|=n} is clean, and the lower-bound couplings are the real work. Citation pattern looks honest; self-citations are proof tools, not padding. For probabilists in continuum statistical mechanics or stochastic geometry, this is worth a read. Recommendation: send to peer review. An editor should not desk-reject this. A referee should ask for a revised abstract/introduction that states the finiteness condition in Theorem 2.11 explicitly, and possibly a bit more detail around Lemma 4.3, but the core mathematics is in good shape.","headline":"Genuinely new LDPs for canonical Gibbs processes; the unbounded-interaction theorem is conditional in a way the abstract doesn't say.","tokens_in":46994,"tokens_out":1861,"would_cite":true,"duration_ms":17659,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60K35","60F10","60G55","82B21"],"pacs":[],"model":"deepseek-v4-flash","headline":"Fixed-particle Gibbs point processes satisfy a large-deviation principle, with the rate function given by the grand-canonical entropy-plus-interaction formula re-centered to have minimum zero.","keywords":["Gibbs point process","canonical ensemble","large deviation principle","empirical field","binomial point process","hard-core interaction","Strauss process","free energy"],"falsifier":"For the unbounded theorem, check the free-energy condition: if a concrete $V$ (say, a superlinearly growing increasing local interaction) has $\\lim_n |W_n|^{-1}\\log Z_n=-\\infty$, the claimed LDP cannot hold, and Remark 2.12 already flags such cases. For the bounded theorem, a numerical test of $\\mathbb P(R^o_{n,\\rho_n}\\in U)$ against $\\exp(-|W_n|\\inf_U J)$ for a small interaction radius would quickly expose any failure of the rate function.","tokens_in":46061,"feed_emoji":"⚛️","tokens_out":6706,"duration_ms":61462,"temperature":0.7,"pith_summary":"This paper establishes large-deviation principles (LDPs) for Gibbs point processes in which the number of points is fixed, the canonical ensemble, as the sampling window grows. The central result shows that the random individual empirical field of a binomial Gibbs process satisfies an LDP with speed equal to window volume and a rate function obtained from the grand-canonical rate, specific entropy plus mean interaction energy, re-centered by its minimum. The same framework yields LDPs for unbounded increasing interactions, provided the finite-volume partition function has a finite free-energy limit, and for the hard-core Strauss process when the intensity is below the packing threshold. This matters because many physically central models, including Coulomb and Riesz gases, are inherently fixed-particle systems yet lacked a systematic large-deviation theory.","feed_headline":"Fixed-particle Gibbs models obey a large-deviation principle","feed_subtitle":"The fixed-n ensemble inherits the grand-canonical rate: entropy plus interaction, recentered to zero minimum.","key_machinery":"The bridge is the elementary identity that the binomial point process is the Poisson point process conditioned on the point count, $\\mathrm{d}B_n=\\Pi_n(|\\omega|=n)^{-1}\\mathbf 1_{[|\\omega|=n]}\\,\\mathrm{d}\\Pi_n$, combined with the grand-canonical LDP in the $\\tau_{L_0}$-topology. Since the conditioning event is closed, upper bounds are immediate; the technical work is a family of couplings for the lower bounds. In the unbounded case the deletion/sprinkling operations of the Poisson setting are replaced by a move operation that relocates so-called $b$-dense points into sparse cubes, keeping the particle number fixed, while the hard-core case couples the binomial and Poisson processes and thins away inadmissible close pairs.","core_discovery":"The sequence of individual empirical fields $R^o_{n,\\rho_n}$ driven by the binomial Gibbs process satisfies the LDP with speed $|W_n|$ and rate $J(m)=\\widetilde J(m)-\\inf_{m'}\\widetilde J(m')$, where $\\widetilde J(m)=I(P)+P^o(V)$ when $m=P^o$ for some stationary probability $P$ satisfying $P^o(1)=\\lambda$, and $+\\infty$ otherwise. Here $I(P)$ is the specific entropy and $P^o(V)$ the Palm expectation of the interaction. Thus the canonical rate differs from the grand-canonical one only by the normalization that makes its minimum zero. This is proved first for bounded local interactions, then for unbounded increasing interactions under the additional condition that $\\lim |W_n|^{-1}\\log Z_n>-\\infty$, and for the hard-core Strauss process under $\\lambda R^d v_d<1$; boundary-condition variants are also treated.","pith_inferences":["If the finite-free-energy condition in the unbounded theorem can be verified for Riesz-type interactions, the move coupling may supply the first canonical LDP for such fixed-charge systems; the paper already draws on the move idea from number-rigidity work.","The normalization $J(m)=\\widetilde J(m)-\\inf\\widetilde J$ means the minimizers of $\\widetilde J$ are exactly the typical empirical fields; testing this against simulations at moderate $n$ could measure the practical radius of the LDP.","The hard-core constraint $\\lambda R^d v_d<1$ is exactly the regime in which the partition function is positive; an analogous obstruction should appear for more general infinite interactions, so the finite free-energy condition is likely necessary rather than technical."],"forward_implications":["For any bounded local observable, the empirical average satisfies the same LDP, so deviations of such statistics are exponentially controlled by the canonical rate.","For unbounded observables such as edge counts in random geometric graphs, the results give lower-tail upper bounds and two-sided lower bounds, reflecting localization effects that can make full LDPs fail.","The canonical partition function has the free-energy limit $-A$ in the bounded case, and in the unbounded case when the finite-limit condition holds.","The hard-core Strauss process obeys the LDP for local bounded functionals whenever $\\lambda R^d v_d<1$, including a formula for its free energy.","Similar LDPs hold for Gibbs measures with alternative boundary-condition Hamiltonians in the bounded setting, so the results are not tied to periodicity alone."],"supporting_citations":[{"why":"Supplies the grand-canonical LDP and the specific-entropy/Palm formalism that the upper bounds condition onto the fixed point count.","marker":"[14]"},{"why":"Supplies the Poisson-process thinning/sprinkling lower-tail strategy that the canonical proof adapts by moving points rather than deleting them.","marker":"[15]"},{"why":"Introduces the move-type coupling that keeps the number of points fixed while relocating dense points into sparse regions.","marker":"[7]"},{"why":"Provides the binomial concentration inequality used to control b-dense points and boundary deviations.","marker":"[19]"}],"fun_headline_variants":["Canonical Gibbs LDP: rate recentered to zero","Fixed-particle Gibbs: LDP with entropy-plus-interaction rate","Large deviations for canonical Gibbs processes","Canonical Gibbs measures: LDP with normalized rate"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"For the unbounded case, the load-bearing premise is that the canonical partition function $Z_n$ does not decay faster than exponentially, i.e. $\\lim |W_n|^{-1}\\log Z_n>-\\infty$; the stated assumptions on $V$ do not force this, and the paper notes it can fail.","fun_headline_variants_meta":{"raw":{"variants":["Canonical Gibbs LDP: rate recentered to zero","Fixed-particle Gibbs: LDP with entropy-plus-interaction rate","Large deviations for canonical Gibbs processes","Canonical Gibbs measures: LDP with normalized rate"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001405,"raw_usage":{"total_tokens":5685,"prompt_tokens":960,"completion_tokens":4725,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":576,"completion_tokens_details":{"reasoning_tokens":4661}},"tokens_in":576,"tokens_out":4725,"duration_ms":32025,"temperature":1.0,"reasoning_tokens":4661,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:08:19.233696+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For the unbounded theorem, check the free-energy condition: if a concrete $V$ (say, a superlinearly growing increasing local interaction) has $\\lim_n |W_n|^{-1}\\log Z_n=-\\infty$, the claimed LDP cannot hold, and Remark 2.12 already flags such cases. For the bounded theorem, a numerical test of $\\mathbb P(R^o_{n,\\rho_n}\\in U)$ against $\\exp(-|W_n|\\inf_U J)$ for a small interaction radius would quickly expose any failure of the rate function.","supporting_citations":[{"cited_title":"Georgii and H","cited_arxiv_id":null,"evidence_quote":"Supplies the grand-canonical LDP and the specific-entropy/Palm formalism that the upper bounds condition onto the fixed point count."},{"cited_title":"Hirsch, B","cited_arxiv_id":null,"evidence_quote":"Supplies the Poisson-process thinning/sprinkling lower-tail strategy that the canonical proof adapts by moving points rather than deleting them."},{"cited_title":"Dereudre and T","cited_arxiv_id":null,"evidence_quote":"Introduces the move-type coupling that keeps the number of points fixed while relocating dense points into sparse regions."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the binomial concentration inequality used to control b-dense points and boundary deviations."}],"review_version":1}