{"id":"b7ef8741-d4e8-448f-934a-6b640dc6f78e","arxiv_id":"2607.22333","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the infinite Sine_β diffusion, collisions are polar exactly when β≥1, proved by model-independent Dirichlet-form capacity criteria that use only two- and three-point correlation data.","lead":"This paper finds exact conditions under which infinitely many interacting one-dimensional Brownian particles collide, using a capacity method that works for any reversible law with mild correlation bounds. As the main example, the Sine_β diffusion is collision-free exactly when β≥1, matching the finite-particle Dyson Brownian motion threshold.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.5's β≥1 branch hinges on the three-point correlation bound (1.8) being proved in unpublished preprint [3]; if [3] lacks it, the Cap=0 half has a gap.","rationale":"The reader's verdict of CONDITIONAL is appropriate. The internal machinery — Theorem 1.2 and Theorem 1.4 — is carefully argued and, as far as I can see, internally sound. The capacity estimates, the weighted Sobolev lemma, and the compactness argument in Theorem 1.4 are all coherent. The main risk is external dependence: the β≥1 half of the headline dichotomy relies on unpublished preprint [3] for exactly the third-correlation bound that the proof needs; the β<1 half relies on published DLR results [9], which is a substantially smaller risk. I do not see an internal inconsistency that would warrant rejection, nor do I see grounds to promote the paper to full acceptance without checking [3]'s three-point statements. Thus the existing CONDITIONAL verdict should stand unchanged.","tokens_in":17329,"tokens_out":18541,"duration_ms":154101,"concrete_test":"Inspect [3] and locate the explicit theorem/lemma that claims correlation estimates for Sine_β. Verify that it contains a three-point bound of the form ρ3(x,y,z)≤C_J(|x−y|∨|x−z|∨|y−z|)^α for some α>0, valid uniformly for all x,y,z in a bounded interval with all pairwise distances <1, with C_J independent of the triple. If [3] proves only a two-point bound or only a three-point bound under incomparable conditions, re-run the ε→0 estimate in §2.2-(b) using the actually available bound; if the three-point integral cannot be shown to vanish, then the β≥1 half of Theorem 1.5 is unproved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's core application, Theorem 1.5, has two halves. The β≥1 half reduces to Assumption 1.1 and Theorem 1.2. The text asserts that the required second- and third-factorial-correlation bounds follow from [3], but it does not state the precise results from [3] nor prove them here. The least secure ingredient is not merely the two-point bound ρ2≍|x−y|^β — that alone would give (1.7) for β≥1. It is the three-point bound (1.8): ρ3(x,y,z)≤C_J(max pairwise distance)^{α_J} for some α_J>0 near the triple diagonal. This bound is used in §2.2-(b) to show that the three-point contribution to the energy estimate vanishes as ε↓0. If [3] only establishes diagonal asymptotics for ρ2, or establishes ρ3 bounds only under stronger separation assumptions, then the estimate (2.13) is not justified. Since the current paper offers no independent derivation, the validity of the β≥1 half of the dichotomy is exactly as secure as the corresponding statements in an unpublished, first-author preprint. This is a correctness risk, not a consistency gap: the abstract criteria may be perfectly sound, but Theorem 1.5 is not self-contained at exactly the point where the sharp threshold is decided.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops potential-theoretic criteria for whether reversible diffusions on the configuration space over R can hit the collision set C of configurations with a double point. The non-collision criterion (Theorem 1.2) gives Cap(C)=0 under local upper bounds on the second and third factorial correlation densities, (1.7) and (1.8). The collision criterion (Theorem 1.4) gives Cap(C)>0 and a positive hitting probability under a local lower bound p^η_{r,k+2} ≥ c_*|x−y|^β with β<1 on a positive-measure set of exterior configurations. These criteria are then applied to the Sine_β process: the paper claims Cap_β(C)=0 iff β≥1, and hence the associated diffusion is collision-free for q.e. starting configuration exactly when β≥1, while for 0<β<1 collisions occur with positive probability.","tokens_in":17641,"tokens_out":15481,"duration_ms":141091,"significance":"If the external inputs are valid, this is a valuable model-independent contribution. The two criteria require only low-order correlation information, in contrast to earlier determinantal- or Gibbs-specific arguments, and they provide a clean infinite-particle analogue of the classical Dyson Brownian motion threshold. The internal proofs of Theorems 1.2 and 1.4 are careful and essentially self-contained: the capacity estimates use only the stated correlation assumptions, and the weighted Sobolev lower bound in Lemma 3.2 is proved from scratch. The application to Sine_β is a natural and significant test case. The main risk is not in the abstract theory but in the dependence of the β≥1 half of the dichotomy on the unpublished preprint [3].","major_comments":[{"comment":"The zero-capacity half of the dichotomy is not self-contained. The text asserts that the correlation formulae and diagonal asymptotics in [3] verify Assumption 1.1, but it neither states the precise results from [3] nor proves them. The three-point bound (1.8) is the load-bearing item: it is used in §2.2-(b) to show that the three-point contribution in the energy estimate (2.13) vanishes as ε↓0. If [3] only supplies the two-point diagonal asymptotics for ρ2, or supplies a three-point bound only under stronger separation assumptions, the estimate (2.13) is not justified and Cap_β(C)=0 does not follow. Since [3] is an unpublished first-author preprint, Theorem 1.5's β≥1 branch is exactly as secure as the corresponding unstated statements in that preprint. Please include a lemma stating the exact two- and three-point correlation bounds obtained from [3] (with the exponent α_J and constants)","section":"§4, proof of Theorem 1.5, case β≥1"},{"comment":"The inference from Cap(C0)>0 to P_μ[τ_C<∞]>0 is abbreviated as 'by (3.8) combined with Chen–Fukushima [7, Theorem 3.1.3]'. As standardly stated, that theorem characterizes polar sets by zero capacity: it gives existence of a set of starting points of positive capacity from which the hitting probability is positive, not automatically a statement for the particular reference measure μ. If [7, Theorem 3.1.3] indeed yields P_μ>0, please quote the precise formulation and explain why μ sees the relevant non-polar set. This point is load-bearing for the β<1 probabilistic conclusion in Theorem 1.5.","section":"§3, proof of Theorem 1.4, final paragraph"}],"minor_comments":[{"comment":"The sentence 'z_i , z_j (i,j)' is incomplete; it should say 'z_i≠z_j for i≠j' and the separation condition should be written cleanly. Also, the line 'Choose a bounded open interval J⊂I_r such that J⊂I_r' is redundant.","section":"§4, case 0<β<1"},{"comment":"The summations over j and over j,k should explicitly indicate that the indices are distinct (j≠i and j,k≠i, j≠k).","section":"Equation (2.9)"},{"comment":"The reference ordering '[15, 23, 16]' and the formatting of 'Cépa–Lépingle' need cleanup; also 'HondaR.' in the references should be 'Honda, R.'.","section":"Introduction"},{"comment":"For reproducibility, please state precisely which theorem from [9] gives the DLR density representation used here (continuous positive h^η and the measurability properties), since that is the basis for the lower-bound verification.","section":"§4, verification of Assumption 1.3"}],"recommendation":"major_revision","confidential_remarks":"The paper's abstract criteria are sound and well presented. The main risk is the reliance on the unpublished preprint [3] for the three-point correlation bound (1.8) and for the ρ_n∈L∞ estimates; if those are not supplied, the β≥1 half of Theorem 1.5 has a real gap. The editor may wish to obtain an independent check of [3] before acceptance. The second major comment about P_μ>0 may be resolvable by a more explicit citation, but as written it is too terse."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a substantive paper that deserves a serious referee. The authors isolate minimal-looking inputs for deciding whether the collision set has zero capacity: linear vanishing of the two-point correlation plus a matching three-point bound for non-collision, and a local conditional-density lower bound |x-y|^beta with beta<1 for collision. The proofs of these criteria are in the paper and look right. The application gives the sharp beta=1 threshold for the Sine_beta diffusion, including positive capacity and positive hitting probability for beta<1, which is new. If the external estimates I mention below check out, Theorem 1.5 holds.\n\nWhat the paper does well: the capacity estimates in section 2 are self-contained, and the weighted Sobolev lower bound in section 3 is a neat argument from scratch. The model-independence is genuine: unlike Osada's determinantal-specific work, the non-collision criterion uses only two- and three-point correlation data, and the collision criterion only needs a single finite-volume sector density bound on a positive-measure set of exterior configurations. The authors also recover Osada's determinantal result as a sanity check and are explicit about what remains open (tail-triviality for beta<1, and the strong SDE construction in that regime).\n\nSoft spots, in proportion. The main one is the beta>=1 half of Theorem 1.5. The paper says the second and third factorial correlation bounds are 'obtained in [3]', an unpublished first-author preprint, but it neither states the precise result from [3] nor proves it. The three-point bound (1.8) is not decorative: it kills the three-point energy term in section 2.2(b). If [3] only proves diagonal asymptotics for rho_2, or only proves rho_3 bounds under separation conditions, the Cap=0 half is not justified. That is a genuine correctness risk at the sharp edge of the main theorem. It is not a gap in the paper's own logic, but the flagship application is as secure as an unreviewed preprint. The same preprint also supplies rho_n bounds used for closability and quasi-regularity for every beta>0, so the dependence is broader than the threshold alone.\n\nThe beta<1 half is in better shape: it relies on the published DLR analysis of Dereudre-Hardy-Leblé-Maïda and number rigidity, with the exterior set construction done in the text. The q.e. strengthening is clearly conditional on open tail-triviality; the authors do not hide that.\n\nWho gets value: researchers in infinite-dimensional diffusions, Dirichlet forms, and random point processes. The criterion theorems will be useful regardless of the fate of the Sine_beta application.\n\nRecommendation: send to peer review. Tell the authors to state exactly which statements from [3] they use and, ideally, to prove the three-point bound in this paper or ensure [3] is available to referees. With that resolved, the paper should be publishable.","headline":"A useful pair of model-independent capacity criteria, with a sharp Sine_beta dichotomy whose beta>=1 half is load-bearing on an unpublished preprint.","tokens_in":18119,"tokens_out":5093,"would_cite":true,"duration_ms":41263,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that, for the diffusion associated with the Sine_β random point process, collisions between particles are possible exactly when the inverse temperature β is strictly less than 1.","keywords":["configuration space","Dirichlet form","capacity","collision","Sine beta process","Dyson Brownian motion","correlation functions","non-collision"],"falsifier":"Measure the two-point correlation ρ_2(x, x+ε) for the Sine_1 process at small ε: if the decay is slower than linear, the assumption behind the β≥1 half of Theorem 1.5 fails, and the non-collision conclusion for β=1 is overturned. A simulation of the dynamics at β=1 showing any collision would also settle it.","tokens_in":17223,"feed_emoji":"💥","tokens_out":8002,"duration_ms":61924,"temperature":0.7,"pith_summary":"This paper establishes two model-independent criteria for whether reversible infinite systems of one-dimensional interacting particles ever collide, and applies them to the Sine_β process. The non-collision criterion says that if the stationary measure's two-point correlation vanishes at least linearly as two particles approach each other (with a matching three-point bound), then the collision set has zero capacity, so the associated diffusion never hits it for quasi-every starting configuration. The collision criterion says that if a finite-volume conditional density is bounded below by a power |x−y|^β with β<1, then the collision set has positive capacity and is hit with positive probability. Together these give a sharp threshold for Sine_β: particles collide if and only if β<1, matching the finite-particle Dyson Brownian motion threshold. The result matters because it settles a basic qualitative question about infinite-particle diffusions using only information about the stationary measure.","feed_headline":"Sine-beta particles collide only for beta below 1","feed_subtitle":"Sharp threshold matches finite-particle Dyson model; proof needs only correlation bounds.","key_machinery":"The carrying mechanism is potential-theoretic: the collision problem is reduced to computing the capacity of the diagonal set C with respect to the symmetric Dirichlet form (E,D) defined by the square field D on configuration space. For non-collision, the paper builds smooth cutoffs F_ε = Φ(S_ε) from a local pair statistic S_ε(θ)=∫ λ(x)λ(y)h_ε(x−y)θ^{[2]}(dxdy), where h_ε is a smooth mollifier with a logarithmic derivative bound, and shows that both the L^2 norm and the Dirichlet energy of F_ε vanish as ε↓0, so Cap(C)=0. For collision, the proof uses a weighted Sobolev estimate: any function v on J^2 with weight |x−y|^β (β<1) that is ≥1 near the diagonal has weighted H^1 norm bounded below b","core_discovery":"The central claim is a capacity dichotomy for the Dirichlet-form diffusion with reversible measure Sine_β: the collision set C (configurations with at least one double point) has capacity zero precisely when β≥1, and positive capacity when 0<β<1. In the non-collision regime, the diffusion never reaches C for quasi-every initial configuration; in the collision regime it reaches C with positive probability when started from the stationary measure, and with probability one if the form is irreducible. The dichotomy is proved by two general theorems that do not assume any determinantal or Pfaffian structure and do not require writing the dynamics as a labelled SDE. Theorem 1.2 derives non-collisi","pith_inferences":["The dichotomy reframes the collision problem as a purely static property of the reversible measure: linear vanishing of the two-point correlation is enough for non-collision, and a sublinear conditional-density lower bound forces collision. This suggests a general recipe for classifying configurational diffusions by the diagonal behavior of their stationary measures.","If the threshold holds, β=1 is a critical point in a quantitative sense: the diagonal is reachable for β<1 and inaccessible for β≥1, but the paper does not address how the hitting probability or capacity decays as β approaches 1; studying that crossover could connect to critical phenomena in random matrix theory.","A practical numerical check of the correlation bound for Sine_β near β=1 would give independent evidence for the dichotomy before a full proof of the imported correlation estimates is available.","The capacity approach, being SDE-free, might extend to collision questions in higher-dimensional configuration spaces, though the one-dimensional ordering structure that makes collisions meaningful would be lost."],"forward_implications":["For β≥1, the Sine_β diffusion is collision-free for quasi-every starting configuration, so an unlabeled configuration process admits an order-preserving labelled interpretation indefinitely.","For 0<β<1, the collision set has positive capacity and is hit with positive probability from the stationary measure; if tail-triviality of Sine_β is established, the paper notes this strengthens to almost-sure collision.","The non-collision criterion recovers the known result for determinantal point fields with locally Lipschitz kernel, since their two- and three-point correlations satisfy the required bounds.","Because the criteria use only correlation or conditional-density information, they should transfer to other point processes (e.g., β-Airy and β-Bessel limits) once analogous bounds are available."],"fun_headline_variants":["Collision threshold for sine-beta: β≥1 means no collisions","Diffusion collision dips below β=1, matching Dyson","Non-collision proved via correlation bounds, sharp at β=1","Sine-beta diffusions never collide when β is at least 1","For β<1, sine-beta particles collide; at β=1, they stop"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The dichotomy rests on the external correlation estimates for Sine_β with β≥1 (and the DLR lower bound on conditional densities for β<1); the capacity conclusions for the Sine_β application stand only if those imported bounds are correct.","fun_headline_variants_meta":{"raw":{"variants":["Collision threshold for sine-beta: β≥1 means no collisions","Diffusion collision dips below β=1, matching Dyson","Non-collision proved via correlation bounds, sharp at β=1","Sine-beta diffusions never collide when β is at least 1","For β<1, sine-beta particles collide; at β=1, they stop"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000166,"raw_usage":{"total_tokens":1057,"prompt_tokens":677,"completion_tokens":380,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":421,"completion_tokens_details":{"reasoning_tokens":286}},"tokens_in":421,"tokens_out":380,"duration_ms":3959,"temperature":1.0,"reasoning_tokens":286,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T05:05:06.565830+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure the two-point correlation ρ_2(x, x+ε) for the Sine_1 process at small ε: if the decay is slower than linear, the assumption behind the β≥1 half of Theorem 1.5 fails, and the non-collision conclusion for β=1 is overturned. A simulation of the dynamics at β=1 showing any collision would also settle it.","supporting_citations":[],"review_version":1}