On a remark of de Gennes concerning three-dimensional polyelectrolytes

Carl Mueller; Shiquan Li

REVIEW 3 major objections 2 minor 9 references

In three dimensions, a Brownian polymer with Coulomb self-repulsion has radius of gyration that grows linearly with length T, up to logarithmic corrections.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-12 23:54 UTC pith:6A3YY2KH

load-bearing objection Package mismatch: the titled polyelectrolyte claim cannot be checked; the supplied full text is a different paper on agentic recovery in Goedel-Prover. the 3 major comments →

arxiv 2604.08389 v2 pith:6A3YY2KH submitted 2026-04-09 math.PR

On a remark of de Gennes concerning three-dimensional polyelectrolytes

Carl Mueller , Shiquan Li This is my paper

classification math.PR MSC 60J6582B4160G50

keywords polyelectrolytesBrownian motionCoulomb repulsionradius of gyrationself-repelling polymerspath measuresde Gennes

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

Polyelectrolytes are charged polymers whose monomers repel each other through the Coulomb force. A standard continuum model treats the polymer as Brownian motion (or a self-repelling path) with an energy given by pairwise Coulomb interactions. This paper takes up a remark of de Gennes and proves that, for that continuous model in three space dimensions, the polymer’s spatial spread—measured especially by the radius of gyration—scales linearly with its length T, apart from logarithmic corrections. The result says that unscreened electrostatic self-repulsion is strong enough to force the chain into an essentially extended configuration rather than a compact random-coil shape. A reader interested in polymer physics or in self-interacting path measures cares because the claim turns a qualitative physical expectation into a precise scaling statement for a well-defined stochastic model.

Core claim

For Brownian motion in three dimensions with a Coulomb pair-repulsion interaction, the radius of gyration of a path of length T grows linearly in T, up to logarithmic corrections. In other words the continuous polyelectrolyte is macroscopically stretched, not crumpled.

What carries the argument

The continuous path measure for three-dimensional Brownian motion weighted by the Coulomb energy of pairs of charged points along the path; the radius of gyration is the observable whose scaling is controlled.

Load-bearing premise

That the continuous Brownian path with unscreened Coulomb self-repulsion is a faithful enough idealization of de Gennes’s polyelectrolyte picture (no screening, no lattice discreteness, and a well-defined radius-of-gyration functional for that measure).

What would settle it

A rigorous upper bound showing that the radius of gyration grows strictly slower than linearly in T (for example like T over a positive power of log T, or like T to a power strictly less than 1) under the same continuous three-dimensional Coulomb-repulsion path measure would refute the claimed scaling.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

Package mismatch: the titled polyelectrolyte claim cannot be checked; the supplied full text is a different paper on agentic recovery in Goedel-Prover.

read the letter

The one thing you need to know is that we cannot evaluate the paper named in the header. Metadata and abstract point to Mueller–Li on 3D Brownian polyelectrolytes and linear radius-of-gyration growth up to logs (arXiv 2604.08389, math.PR). The full manuscript in the package is a completely different paper: Chung–Lin–Jiang–Tang–Jin on reactivating tool use in Goedel-Prover-V2 after heavy Lean SFT (arXiv 2604.08388). No Hamiltonian, path measure, renormalization, or proof of the linear-spread claim appears. The stress-test note is right: that mismatch is the load-bearing obstacle.

On the abstract alone, the claimed result would be a clean continuous 3D Coulomb statement of interest in mathematical polymer physics. Circularity burden looks low from the wording. But without theorems or proofs, soundness and novelty versus prior rigorous work are uncheckable. The modeling-fidelity concern (whether the continuous Coulomb path measure really addresses de Gennes) is secondary until the actual argument is in hand.

I am not going to grade the Goedel-Prover manuscript as if it were the polyelectrolyte paper. That would be a category error. If someone later supplies the correct Mueller–Li text, we can reassess. Until then there is nothing to referee on the titled claim.

Recommendation: do not send this package to peer review under the polyelectrolyte title. Request the correct full text for 2604.08389. No reading-group time and no citation until the right manuscript is available.

Referee Report

3 major / 2 minor

Summary. The submission under review (arXiv:2604.08389) claims, in its abstract, that for a continuous model of three-dimensional Brownian motion with Coulomb pair repulsion (a model for polyelectrolytes), the polymer’s spatial spread—in particular the radius of gyration of a chain of length T—grows linearly in T, up to logarithmic corrections. The abstract presents this as a rigorous continuous-space counterpart to a remark of de Gennes. However, the full manuscript text supplied in the review package is an entirely different paper (arXiv:2604.08388, on reactivating tool-use in Goedel-Prover via Lean-specific agentic SFT). No Hamiltonian, path-measure construction, renormalization, existence argument, or proof of the linear-spread bound for the polyelectrolyte model appears in the provided full text.

Significance. If the claimed linear growth (up to logs) of the radius of gyration for 3D Brownian motion with unscreened Coulomb self-repulsion were established rigorously, it would be a substantial contribution to the mathematical theory of self-repelling paths and to the rigorous understanding of polyelectrolyte scaling. Linear growth is a strong, falsifiable prediction that would distinguish the Coulomb case from milder self-repulsion models. That significance cannot be assessed from the materials actually provided, because the mathematical argument is absent from the review package.

major comments (3)

Manuscript identity failure: the title, abstract, and arXiv id (2604.08389, math.PR, polyelectrolytes / de Gennes) do not match the full text supplied (Goedel-Prover agentic reactivation, cs.AI, 2604.08388). No theorem, model definition, or proof related to the radius-of-gyration claim is present. The central claim therefore cannot be checked for correctness, completeness, or modeling fidelity.
Even restricting attention to the abstract of 2604.08389, the continuous model is not specified: the precise Coulomb Hamiltonian, the construction of the self-repelling path measure, any renormalization needed in 3D, and the definition of the radius-of-gyration functional are all omitted. Without those, the linear-growth statement is not yet a mathematical theorem that can be refereed.
The abstract’s modeling link to de Gennes’s remark (unscreened 3D Coulomb, continuous Brownian idealization, no screening or lattice cutoffs) is asserted but not justified in any available text. If the intended measure does not exist or requires cutoffs that change the scaling, the claimed transfer to the physical remark fails. This cannot be resolved without the actual manuscript.

minor comments (2)

Abstract typo: “the the radius of gyration” (duplicated article).
Abstract should state the precise growth form (e.g., R_g(T) ≍ T / polylog(T) or similar) rather than only “linearly … up to logarithmic corrections,” once the full paper is correctly supplied.

Circularity Check

0 steps flagged

No circularity identifiable: only the polyelectrolyte abstract is available; the supplied full text is a different paper (Goedel-Prover), so no derivation chain can be reduced to its inputs.

full rationale

The target paper (arXiv 2604.08389) is represented only by its abstract: a claim that for continuous Brownian motion in three dimensions with Coulomb pair repulsion, the radius of gyration of a polyelectrolyte of length T grows linearly in T up to logarithmic corrections. That abstract does not fit free parameters to data and then re-label them as predictions, does not define the radius of gyration in terms of the claimed linear growth, and does not rest on a uniqueness theorem or ansatz imported from the same authors. The CACHEABLE full manuscript text is a different work (Goedel-Prover agentic reactivation, arXiv 2604.08388) and supplies no Hamiltonian, path-measure construction, or proof steps for the polyelectrolyte claim. Per the hard rules, circularity may be asserted only when a specific reduction can be quoted from the paper; with no derivation chain present for 2604.08389, manufacturing circular steps would be improper. Residual concerns about modeling fidelity or missing proofs are correctness/completeness issues, not circularity. Score 0 with empty steps is therefore the honest finding.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Abstract-only review of a probability/mathematical-physics claim. No free parameters or invented particles appear in the abstract. Load-bearing background is standard Brownian motion and Coulomb interaction in 3D, plus whatever technical assumptions make the self-repelling path measure and radius of gyration well-defined—those assumptions are not spelled out in the abstract.

axioms (3)

domain assumption Three-dimensional Brownian motion is an appropriate continuous polymer backbone.
Stated as the continuous model in the abstract; standard in polymer path measures but not derived here.
domain assumption Pairwise Coulomb repulsion is the correct interaction for the polyelectrolyte model under study (unscreened, 3D).
Abstract identifies the repelling potential as Coulomb from charged pairs; screening and discrete effects are not discussed.
domain assumption Radius of gyration (and related spread functionals) are well-defined for the interacting path measure of length T.
The claim is about growth of this functional; existence/regularization is not specified in the abstract.

pith-pipeline@v1.1.0-grok45 · 21387 in / 2346 out tokens · 42844 ms · 2026-07-12T23:54:29.588671+00:00 · methodology

0 comments

read the original abstract

This work is inspired by a remark of de Gennes about polyelectrolytes, which are charged polymers. A common model for a polymer is a self-avoiding or self-repelling random walk or Brownian motion. For polyelectrolytes, the repelling potential is the Coulomb potential arising from pairs of charged particles. We show that in the continuous case of Brownian motion in three dimensions, the spread of the polymer, in particular the the radius of gyration of a polyelectrolyte of length $T$ grows linearly with $T$, up to logarithmic corrections.

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

9 extracted references · 1 linked inside Pith

[1]

Mitigating catastrophic forgetting in language transfer via model merging

Anton Alexandrov, Veselin Raychev, Mark Niklas Müller, Ce Zhang, Martin Vechev, and Kristina Toutanova. Mitigating catastrophic forgetting in language transfer via model merging. InFindings of the Association for Computational Linguistics: EMNLP 2024, pp. 17167–17186,

2024
[2]

Guoxiong Gao, Haocheng Ju, Jiedong Jiang, Zihan Qin, and Bin Dong

doi: 10.1016/S1364-6613(99)01294-2. Guoxiong Gao, Haocheng Ju, Jiedong Jiang, Zihan Qin, and Bin Dong. A semantic search engine for mathlib4. InFindings of the Association for Computational Linguistics: EMNLP 2024, pp. 8001–8013,

doi:10.1016/s1364-6613(99)01294-2 2024
[3]

Suhas Kotha, Jacob Mitchell Springer, and Aditi Raghunathan

doi: 10.1073/pnas.1611835114. Suhas Kotha, Jacob Mitchell Springer, and Aditi Raghunathan. Understanding catastrophic forgetting in language models via implicit inference. InThe Twelfth International Conference on Learning Representations,

doi:10.1073/pnas.1611835114
[4]

Revisiting catastrophic forget- ting in large language model tuning

Hongyu Li, Liang Ding, Meng Fang, and Dacheng Tao. Revisiting catastrophic forget- ting in large language model tuning. InFindings of the Association for Computational Linguistics: EMNLP 2024, pp. 4297–4308. Association for Computational Linguistics,

2024
[5]

URL https://aclanthology.org/2024

doi: 10.18653/v1/2024.findings-emnlp.249. URL https://aclanthology.org/2024. findings-emnlp.249/. Yong Lin, Shange Tang, Bohan Lyu, et al. Goedel-prover-v2: Scaling formal theorem proving with scaffolded data synthesis and self-correction,

doi:10.18653/v1/2024.findings-emnlp.249 2024
[6]

Numina-lean-agent: An open and general agentic reasoning system for formal mathematics.arXiv preprint arXiv:2601.14027,

Junqi Liu, Zihao Zhou, Zekai Zhu, Marco Dos Santos, Weikun He, Jiawei Liu, Ran Wang, Yunzhou Xie, Junqiao Zhao, Qiufeng Wang, et al. Numina-lean-agent: An open and general agentic reasoning system for formal mathematics.arXiv preprint arXiv:2601.14027,

arXiv
[7]

Ivan Moshkov, Darragh Hanley, Ivan Sorokin, Shubham Toshniwal, Christof Henkel, Benedikt Schifferer, Wei Du, and Igor Gitman

doi: 10.1016/S0079-7421(08)60536-8. Ivan Moshkov, Darragh Hanley, Ivan Sorokin, Shubham Toshniwal, Christof Henkel, Benedikt Schifferer, Wei Du, and Igor Gitman. Aimo-2 winning solution: Building state-of-the-art mathematical reasoning models with openmathreasoning dataset.arXiv preprint arXiv:2504.16891,

Pith/arXiv arXiv doi:10.1016/s0079-7421(08)60536-8
[8]

Real-prover: Retrieval augmented lean prover for mathematical reasoning.arXiv preprint arXiv:2505.20613,

Ziju Shen, Naohao Huang, Fanyi Yang, Yutong Wang, Guoxiong Gao, Tianyi Xu, Jiedong Jiang, Wanyi He, Pu Yang, Mengzhou Sun, et al. Real-prover: Retrieval augmented lean prover for mathematical reasoning.arXiv preprint arXiv:2505.20613,

arXiv
[9]

type": "function

A Tool-calling instruction prompt The following system message is prepended to every agentic training example and used at inference time to specify the LEANSEARCHtool schema and invocation format. You are a Lean 4 theorem prover that uses leansearch tool to find relevant theorems in Mathlib before producing the Lean 4 code. # Tools You may call one or mor...

1959

[1] [1]

Mitigating catastrophic forgetting in language transfer via model merging

Anton Alexandrov, Veselin Raychev, Mark Niklas Müller, Ce Zhang, Martin Vechev, and Kristina Toutanova. Mitigating catastrophic forgetting in language transfer via model merging. InFindings of the Association for Computational Linguistics: EMNLP 2024, pp. 17167–17186,

2024

[2] [2]

Guoxiong Gao, Haocheng Ju, Jiedong Jiang, Zihan Qin, and Bin Dong

doi: 10.1016/S1364-6613(99)01294-2. Guoxiong Gao, Haocheng Ju, Jiedong Jiang, Zihan Qin, and Bin Dong. A semantic search engine for mathlib4. InFindings of the Association for Computational Linguistics: EMNLP 2024, pp. 8001–8013,

doi:10.1016/s1364-6613(99)01294-2 2024

[3] [3]

Suhas Kotha, Jacob Mitchell Springer, and Aditi Raghunathan

doi: 10.1073/pnas.1611835114. Suhas Kotha, Jacob Mitchell Springer, and Aditi Raghunathan. Understanding catastrophic forgetting in language models via implicit inference. InThe Twelfth International Conference on Learning Representations,

doi:10.1073/pnas.1611835114

[4] [4]

Revisiting catastrophic forget- ting in large language model tuning

Hongyu Li, Liang Ding, Meng Fang, and Dacheng Tao. Revisiting catastrophic forget- ting in large language model tuning. InFindings of the Association for Computational Linguistics: EMNLP 2024, pp. 4297–4308. Association for Computational Linguistics,

2024

[5] [5]

URL https://aclanthology.org/2024

doi: 10.18653/v1/2024.findings-emnlp.249. URL https://aclanthology.org/2024. findings-emnlp.249/. Yong Lin, Shange Tang, Bohan Lyu, et al. Goedel-prover-v2: Scaling formal theorem proving with scaffolded data synthesis and self-correction,

doi:10.18653/v1/2024.findings-emnlp.249 2024

[6] [6]

Numina-lean-agent: An open and general agentic reasoning system for formal mathematics.arXiv preprint arXiv:2601.14027,

Junqi Liu, Zihao Zhou, Zekai Zhu, Marco Dos Santos, Weikun He, Jiawei Liu, Ran Wang, Yunzhou Xie, Junqiao Zhao, Qiufeng Wang, et al. Numina-lean-agent: An open and general agentic reasoning system for formal mathematics.arXiv preprint arXiv:2601.14027,

arXiv

[7] [7]

Ivan Moshkov, Darragh Hanley, Ivan Sorokin, Shubham Toshniwal, Christof Henkel, Benedikt Schifferer, Wei Du, and Igor Gitman

doi: 10.1016/S0079-7421(08)60536-8. Ivan Moshkov, Darragh Hanley, Ivan Sorokin, Shubham Toshniwal, Christof Henkel, Benedikt Schifferer, Wei Du, and Igor Gitman. Aimo-2 winning solution: Building state-of-the-art mathematical reasoning models with openmathreasoning dataset.arXiv preprint arXiv:2504.16891,

Pith/arXiv arXiv doi:10.1016/s0079-7421(08)60536-8

[8] [8]

Real-prover: Retrieval augmented lean prover for mathematical reasoning.arXiv preprint arXiv:2505.20613,

Ziju Shen, Naohao Huang, Fanyi Yang, Yutong Wang, Guoxiong Gao, Tianyi Xu, Jiedong Jiang, Wanyi He, Pu Yang, Mengzhou Sun, et al. Real-prover: Retrieval augmented lean prover for mathematical reasoning.arXiv preprint arXiv:2505.20613,

arXiv

[9] [9]

type": "function

A Tool-calling instruction prompt The following system message is prepended to every agentic training example and used at inference time to specify the LEANSEARCHtool schema and invocation format. You are a Lean 4 theorem prover that uses leansearch tool to find relevant theorems in Mathlib before producing the Lean 4 code. # Tools You may call one or mor...

1959