REVIEW 2 major objections 6 minor 40 references
Non-Archimedean Coulomb Gases
T0 review · 2 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read On p-adic space, the many-particle Coulomb energy Gamma-converges to a mean-field functional with a unique minimizer.
desk verdict First rigorous p-adic Coulomb gas theory, mostly sound, but Proposition 3's explicit minimum energy has a reciprocal-fraction error and the Gamma-liminf proof is outsourced to Serfaty. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the $p$-adic Coulomb kernel $g_\alpha(x)=\|x\|_p^{\alpha-d}$ for $d>\alpha>0$, which is, up to a constant, the fundamental solution of the Taibleson pseudodifferential operator $D_\alpha$ with Fourier symbol $\|\xi\|_p^\alpha$. The positivity and convexity needed for a unique minimizer come from Lemma 1, an integral identity that expresses the kernel through averages over $p$-adic balls and turns the energy into an $L^2$ norm. The $\Gamma$-convergence proof uses the ultrametric ball structure: it approximates a measure by $p^{2Md}$ points chosen one per small ball in a dyadic hierarchy, so that the finite Hamiltonian $p^{-4Md}H_{p^{2Md}}$ is controlled by the limiting energy. The Frostman characterization (5.3) then identifies the minimizer through its electrostatic potential $h_{\alpha,\mu_0}=\int g_\alpha(x-y)\,d\mu_0(y)$.
What would settle it
Construct the explicit recovery sequence from Section 7.1, Step 3 for the uniform density on $\mathbb{Z}_p^d$: place $p^{2Md}$ points one per ball of radius $p^{-2M-K}$, and compute the exact limit of $p^{-4Md}H_{p^{2Md}}$ as $M\to\infty$. The theorem predicts this limit is $I(\Omega\,dx)$; any nonzero difference, for example from pairs lying in the same small ball, would refute the $\Gamma$-limsup construction, while any weakly convergent sequence whose $\liminf$ falls strictly below $I(\mu)$ would refute Theorem 1. The unit-ball value in (6.3) can be checked independently by integrating the kernel against the candidate $\mu_0=\Omega(\|x\|_p)\,dx$.
Extended reading notes
Core claim
The central claim is Theorem 1: for $d>\alpha>0$ and $V$ continuous and bounded below, the functionals $\mu\mapsto n^{-2}H_n(\mu)$ $\Gamma$-converge, with respect to the weak convergence of probability measures on $\mathbb{Q}_p^d$, to $I(\mu)=\int\int \|x-y\|_p^{\alpha-d}\,d\mu(x)d\mu(y)+\int V\,d\mu$. Theorem 2 then asserts that under conditions (A1)--(A3) the minimum of $I$ is finite, achieved by a unique probability measure $\mu_0$ with compact support, and characterized by the inequalities $h_{\alpha,\mu_0}+V/2\ge C$ quasi-everywhere, with equality quasi-everywhere on the support. Theorem 3 states that minimizers of the finite-particle Hamiltonians produce empirical measures converging weakly to $\mu_0$, and that their rescaled energies converge to $I(\mu_0)$. In the unit-ball case $V=V_0$ on $\mathbb{Z}_p^d$ and $+\infty$ outside, Proposition 3 gives $\mu_0(x)=\Omega(\|x\|_p)$ and $I(\mu_0)=V_0+(1-p^{-\alpha})/(1-p^{-d})$; the same energy functional is identified with the negative continuum limit of a hierarchical spin-glass Hamiltonian with $p$-adic coupling.
Load-bearing premise
The paper's main $\Gamma$-convergence theorem depends on the unproved premise that the lower-bound half of the argument, borrowed in the classical (Archimedean) case from a cited reference, transfers unchanged to the $p$-adic kernel and to the weak topology on probability measures over $\mathbb{Q}_p^d$; if that transfer fails, Theorem 1 lacks support.
Editorial extensions
If this is right
- If Theorem 1 is correct, the finite-particle minimizers of the $p$-adic Coulomb gas converge weakly to the unique equilibrium measure, and the rescaled minimum energies converge to $I(\mu_0)$ (Theorem 3).
- For unit-ball confinement, the equilibrium density is the Haar measure of the ball, so the macroscopic distribution is uniform despite the hierarchical geometry.
- The energy functional is the negative continuum limit of a hierarchical spin-glass Hamiltonian with $p$-adic coupling, providing a statistical-mechanical model whose mean-field limit is a Coulomb-type energy.
- Because the same arguments work with $\mathbb{Q}_p$ replaced by $\mathbb{F}_p((t))$, the results extend to formal Laurent series fields.
- Since $\alpha$ can be any number in $(0,d)$, the construction yields a one-parameter family of mean-field Coulomb limits rather than a single electrostatic case.
Reading between the lines
- Implicit in the approach is a route to mean-field limits for hierarchical spin glasses with additional couplings: adding a magnetic field or a temperature-dependent weight to the external potential $V$ should fit the same $\Gamma$-convergence framework.
- The $L^2$-norm identity behind Proposition 2 suggests a practical block-averaging algorithm that approximates $\mu_0$ by coarse-grained ball densities; the recovery-sequence construction in Section 7.1 is exactly the kind of hierarchical sampling such an algorithm would use.
- The nonlocality of the Taibleson operator means the $p$-adic obstacle problem arising from minimizing $I$ will not reduce to a local partial differential equation; it may instead connect to $p$-adic random-matrix and sandpile models suggested in the introduction.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies Coulomb gases on the d-dimensional p-adic space Q_p^d, with interaction kernel ||x-y||^{α-d} for d>α>0. It defines the n-particle Hamiltonian H_n and the mean-field functional I(μ)=∬||x-y||^{α-d}dμ(x)dμ(y)+∫V dμ. Theorem 1 states that n^{-2}H_n Γ-converges to I with respect to weak convergence of probability measures; Theorem 2 establishes existence and uniqueness of the equilibrium measure μ0; Theorem 3 asserts convergence of empirical measures of minimizers to μ0 and convergence of the scaled energies. Section 6 treats a unit-ball confinement potential and Proposition 3 claims that the equilibrium measure is the normalized characteristic function of the unit ball with minimum energy V0+(1-p^{-α})/(1-p^{-d}). Section 7.3 relates the model to the continuum limit of a hierarchical spin-glass Hamiltonian. The proofs are largely adapted from Serfaty's classical treatment, with one explicit computation carried out in the p-adic setting.
Significance. If the technical gaps are closed, the paper provides a useful p-adic analogue of the mean-field Coulomb gas theory. Theorems 1–3 are natural extensions of Serfaty's results to ultrametric spaces, and the explicit equilibrium computation for the unit ball gives a concrete, parameter-free example in which all constants are determined by p, d, α, and V0. The connection to hierarchical spin-glass Hamiltonians in Section 7.3 is interesting and broadens the potential audience. However, the advertised energy value in Proposition 3 is incorrect as stated, and the Γ-liminf half of Theorem 1 is not proved in the manuscript; both issues are load-bearing for the central claims and must be fixed before the paper can be accepted.
major comments (2)
- [§6, Proposition 3, Eq. (6.3)] The stated minimum energy is the reciprocal of the value forced by the proof's own normalization. The proof obtains μ0(x)=((1-p^{-α})/(1-p^{-d}))(C-V0/2)Ω(||x||). Since μ0 is a probability measure and ∫Ω dx=1, normalization gives ((1-p^{-α})/(1-p^{-d}))(C-V0/2)=1, hence C-V0/2=(1-p^{-d})/(1-p^{-α}). Combining (5.5) with ∫ V dμ0=V0 yields I(μ0)=V0+(1-p^{-d})/(1-p^{-α}), not V0+(1-p^{-α})/(1-p^{-d}). A direct computation h_{α,μ0}(x)=∫_{Z_p^d}||x-y||^{α-d}dy=(1-p^{-d})/(1-p^{-α}) for x∈Z_p^d confirms the corrected value. The equilibrium measure itself is correct, but the advertised energy value in the abstract and in Proposition 3 must be corrected.
- [§7.1, Step 1 (proof of Theorem 1)] The Γ-liminf inequality is not proved in the manuscript; the proof is delegated to Serfaty [33, pp. 23–24]. Because the authors explicitly note that the p-adic topology introduces 'important differences' from the classical case, the transfer of Serfaty's lower-semicontinuity argument to the kernel ||x-y||^{α-d} and to the weak topology on P(Q_p^d) is not automatic and is not documented. This half of the Γ-convergence is central to Theorem 1 and to Theorem 3. Please supply the p-adic argument or state precisely which parts of [33, pp. 23–24] apply verbatim and why.
minor comments (6)
- [§6, proof of Proposition 3] The inline fraction notation in the displayed formula for μ0(x) should be typeset as \frac{1-p^{-\alpha}}{1-p^{-d}} rather than the ambiguous '1-p^{-α}/(1-p^{-d})'.
- [§2.1 and throughout] The expression 'Q_p/integerdivide{0}' appears to be a typesetting artifact; it should be Q_p \setminus \{0\}.
- [Abstract and §7.3] The phrase 'the minus a hierarchical Hamiltonian' is ungrammatical; it should read 'the negative of a hierarchical Hamiltonian.'
- [§5.3, Lemma 4] Lemma 4 is quoted from [33, Lemma 2.10] without proof. Since the statement is used in Theorem 2, please include a proof or an explicit statement of why the lemma transfers to the p-adic setting.
- [§5.2, Theorem 1] The space P(Q_p^d) is used with weak convergence, and Definition 2 requires a metric space; please state explicitly that P(Q_p^d) is metrized, for instance by the Prokhorov metric.
- [References] Reference [35] is listed as 'Preprint, 2019' without an arXiv identifier; please add one if available.
Circularity Check
No significant circularity: the p-adic Coulomb-gas results are adaptations of external theorems with no fitted parameters or self-referential predictions.
full rationale
The paper's central claims—Theorem 1 (Gamma-convergence), Theorem 2 (existence and uniqueness of the equilibrium measure), and Proposition 3 (explicit equilibrium measure in the unit ball)—do not reduce by construction to their own inputs. The equilibrium measure in Proposition 3 is derived from the Euler-Lagrange condition (5.3) and the Fourier computation in Section 6, not presupposed; the stated energy value (6.3) is actually inconsistent with the paper's own normalization, since the probability constraint forces C - V0/2 = (1 - p^{-d})/(1 - p^{-alpha}), giving I(mu0) = V0 + (1 - p^{-d})/(1 - p^{-alpha}). This is a mathematical error or typo, not a circular step. The Gamma-liminf half of Theorem 1 is not proved in the paper but is referred to Serfaty [33, pp. 23-24]; this is an external citation and a correctness/transfer risk, not a self-referential or fitted-input circularity. The self-citations ([31], [32], [40]) concern background p-adic operator theory and fundamental solutions, and they are not used as the sole justification for the paper's new equilibrium or Gamma-convergence conclusions. No parameter is fitted to data and then renamed a prediction; no uniqueness theorem from prior work by the same authors is invoked to forbid alternatives; no known empirical pattern is merely renamed. Accordingly, the derivation chain is self-contained apart from standard external results, and the circularity score is 0.
Assumptions & free parameters
assumptions (4)
- domain assumption d > α > 0 for the Coulomb kernel gα(x)=||x||^{α-d}
- domain assumption Potential V satisfies (A1) lower semi-continuous and bounded below, (A2) confining condition lim_{||x||→∞}(V(x)+gα(x))=+∞, and (A3) the finiteness set has positive capacity
- standard math Classical potential theory results on Polish spaces (Prokhorov's theorem, lower semi-continuity of the energy) apply to Q_p^d
- domain assumption The Fourier calculus of distributions on Q_p^d, including the product and convolution of distributions used in Proposition 3, is valid
Cite this review
Pith. "Pith review of Non-Archimedean Coulomb Gases." pith.science (2026). https://pith.science/paper/JLGK2CJ6
@misc{pith2026190800571,
author = {Pith},
title = {Pith review of: Non-Archimedean Coulomb Gases},
year = {2026},
howpublished = {\url{https://pith.science/paper/JLGK2CJ6}},
note = {Machine review of arXiv:1908.00571}
}
abstract
This article aims to study the Coulomb gas model over the $d$-dimensional $p$-adic space. We establish the existence of equilibria measures and the $\Gamma$-limit for the Coulomb energy functional when the number of configurations tends to infinity. For a cloud of charged particles confined into the unit ball, we compute the equilibrium measure and the minimum of its Coulomb energy functional. In the $p$-adic setting the Coulomb energy is the continuum limit of the minus a hierarchical Hamiltonian attached to a spin glass model with a $p$-adic coupling.
Reference graph
Works this paper leans on
-
[1]
Adams D. R., Hedberg L. I., Function spaces and potential theory, Springer-Verlag, Berlin, 1996
work page 1996
-
[2]
Albeverio S., Khrennikov A. Yu., Shelkovich V. M., Theor y of p-adic distributions: linear and nonlinear models, Cambridge University Press, 2010
work page 2010
-
[3]
Avetisov V. A., Bikulov A. Kh., Osipov V. A., p-Adic description of characteristic relaxation in complex systems, J. Phys. A 36 (2003), no. 15, 4239–4246
work page 2003
-
[4]
Avetisov V. A., Bikulov A. H., Kozyrev S. V., Osipov V. A., p-Adic models of ultrametric diffusion constrained by hierarchical energy landscapes, J. Phys. A 35 (2002), no. 2, 177–189
work page 2002
-
[5]
Billingsley P., Convergence of probability measures, J ohn Wiley & Sons, Inc., New York-London-Sydney, 1968
work page 1968
-
[6]
Bendikov A., Heat kernels for isotropic-like Markov gen erators on ultrametric spaces: a survey, p-Adic Numbers Ultrametric Anal. Appl. 10 (2018), no. 1, 1–11
work page 2018
-
[7]
Bendikov A. D., Grigor’yan A. A., Pitt` e K., V¨ ess V., Iso tropic Markov semigroups on ultra-metric spaces, Russian Math. Surveys 69 (2014), no. 4, 589–680
work page 2014
-
[8]
Berg Ch., Forst G., Potential theory on locally compact a belian groups, Springer-Verlag, New York-Heidelberg, 1975
work page 1975
Show all 40 references
-
[9]
Bj¨ orn A., Bj¨ orn Ja., Nonlinear potential theory on metric spaces, Z¨ urich, 2011
2011
-
[10]
Yu., Kozyrev S
Dragovich B., Khrennikov A. Yu., Kozyrev S. V., Volovic h I. V., On p− adic mathematical physics, p− adic Numbers Ultrametric Anal. Appl. 1 (2009), no. 1, 1–17
2009
-
[11]
J., An Ising ferromagnet with discontinuous lo ng-range order, Comm
Dyson F. J., An Ising ferromagnet with discontinuous lo ng-range order, Comm. Math. Phys. 21 (1971), 269–283
1971
-
[12]
S., Jain S., Venkatesh A., Modeling λ -invariants by p-adic random matrices, Comm
Ellenberg J. S., Jain S., Venkatesh A., Modeling λ -invariants by p-adic random matrices, Comm. Pure Appl. Math. 64 (2011), no. 9, 1243–1262
2011
-
[13]
N., Elementary divisors and determinants of ra ndom matrices over a local field, Stochastic Process
Evans S. N., Elementary divisors and determinants of ra ndom matrices over a local field, Stochastic Process. Appl. 102 (2002), no. 1, 89–102. 18 SERGII M. TORBA AND W. A. Z ´U ˜NIGA-GALINDO
2002
-
[14]
S., Chan W
Frauenfelder H., Chan S. S., Chan W. S. (eds), The Physic s of Proteins, Springer-Verlag, 2010
2010
-
[15]
103 (1960), 139–215
Fuglede B., On the theory of potentials in locally compa ct spaces, Acta Math. 103 (1960), 139–215
1960
-
[16]
S., Jepsen Ch., Ji Z., Trundy B., Continuum lim its of sparse coupling patterns, Phys
Gubser S. S., Jepsen Ch., Ji Z., Trundy B., Continuum lim its of sparse coupling patterns, Phys. Rev. D 98 (2018), no. 4, 045009, 17 pp
2018
-
[17]
N., Pseudo-differential equations and stoc hastics over non-Archimedean fields, Marcel Dekker, New York, 2001
Kochubei A. N., Pseudo-differential equations and stoc hastics over non-Archimedean fields, Marcel Dekker, New York, 2001
2001
-
[18]
Yu., Mukhamedov F
Khrennikov A. Yu., Mukhamedov F. M., Mendes J. F. F., On p -adic Gibbs measures of the countable state Potts model on the Cayley tree, Nonlinearity 20 (2007), no. 12, 292 3–2937
2007
-
[19]
Yu., Non-Archimedean Analysis: Quantum Paradoxes, Dynamical Systems and Biological Models, Kluwer Academics, 1997
Khrennikov A. Yu., Non-Archimedean Analysis: Quantum Paradoxes, Dynamical Systems and Biological Models, Kluwer Academics, 1997
1997
-
[20]
A., Ult rametric Equations and its Applications, Cambridge University Press, 2018
Khrennikov A., Kozyrev S., Z´ u˜ niga-Galindo W. A., Ult rametric Equations and its Applications, Cambridge University Press, 2018
2018
-
[21]
Yu., Missarov M
Lerner `E. Yu., Missarov M. D., Scalar models of p-adic quantum field theory, and a hierarchical model, Theore t. and Math. Phys. 78 (1989), no. 2, 177–184
1989
-
[22]
Levine L., Peres Yu., Laplacian growth, sandpiles, and scaling limits, Bull. Amer. Math. Soc. (N.S.) 54 (2017), no. 3, 355–382
2017
-
[23]
H., Loss M., Analysis
Lieb E. H., Loss M., Analysis. Second edition, American Mathematical Society, Providence, RI, 2001
2001
-
[24]
Maes Ch., Redig F., Saada E., The abelian sandpile model on an infinite tree, Ann. Probab. 30 (2002), no. 4, 2081–2107
2002
-
[25]
D., The continuum limit in the fermionic hie rarchical model, Theoret
Missarov M. D., The continuum limit in the fermionic hie rarchical model, Theoret. and Math. Phys. 118 (1999), no. 1, 32–40
1999
-
[26]
A., Spin glass theory and beyond, World Scientific, 1987
M´ ezard M., Parisi G., Virasoro M. A., Spin glass theory and beyond, World Scientific, 1987
1987
-
[27]
Mukhamedov, F., Akın, H., Phase transitions for p-adic Potts model on the Cayley tree of order three, J. Stat. Mech. Theory Exp. 2013, no. 7, P07014, 30 pp
2013
-
[28]
Mukhamedov F., On the strong phase transition for the on e-dimensional countable state p-adic Potts model, J. Stat. Mech. Theory Exp. 2014, no. 1, P01007, 23 pp
2014
-
[29]
Mukhamedov F., Saburov M., Khakimov O., On p-adic Ising-Vannimenus model on an arbitrary order Cayley tree, J. Stat. Mech. Theory Exp. 2015, no. 5, P05032, 26 pp
2015
-
[30]
A., Ultrametricity for physicists, Rev
Rammal R., Toulouse G., Virasoro M. A., Ultrametricity for physicists, Rev. Modern Phys. 58 (1986), no. 3, 765–788
1986
-
[31]
J., Z´ u˜ niga-Galindo W
Rodr ´ ıguez-Vega J. J., Z´ u˜ niga-Galindo W. A., Taibleson operators, p-adic parabolic equations and ultrametric diffusion, Pacific J. Math. 237 (2008), no. 2, 327–347
2008
-
[32]
J., Z´ u˜ niga-Galindo W
Rodr ´ ıguez-Vega J. J., Z´ u˜ niga-Galindo W. A., Elliptic pseudodifferential equations and Sobolev spaces over p-a dic fields, Pacific J. Math. 246 (2010), no. 2, 407–420
2010
-
[33]
Serfaty S., Coulomb gases and Ginzburg-Landau vortice s, European Mathematical Society (EMS), Z¨ urich, 2015
2015
-
[34]
G., Theory of phase transitions: rigorous re sults
Sina ˘ ı Ya. G., Theory of phase transitions: rigorous re sults. Pergamon Press, Oxford-Elmsford, N.Y., 1982
1982
-
[35]
D., Vaaler J
Sinclair Ch. D., Vaaler J. D., The distribution of non-a rchimedean absolute Vandermonde determinants. Preprint, 2019
2019
-
[36]
H., Fourier analysis on local fields, Princ eton University Press, 1975
Taibleson M. H., Fourier analysis on local fields, Princ eton University Press, 1975
1975
-
[37]
A., Non-Archimedean pseudodifferential operators and Feller semi - groups, p-Adic Numbers Ultrametric Anal
Torresblanca-Badillo A., Z´ u˜ niga-Galindo W. A., Non-Archimedean pseudodifferential operators and Feller semi - groups, p-Adic Numbers Ultrametric Anal. Appl. 10 (2018), n o. 1, 57–73
2018
-
[38]
S., Volovich I
Vladimirov V. S., Volovich I. V., Zelenov E. I., p-adic analysis and mathematical physics, World Scientific, 1994
1994
-
[39]
A., Non-Archimedean reaction-ul tradiffusion equations and complex hierarchic systems, Nonlinearity 31 (2018), no
Z´ u˜ niga-Galindo W. A., Non-Archimedean reaction-ul tradiffusion equations and complex hierarchic systems, Nonlinearity 31 (2018), no. 6, 2590–2616
2018
-
[40]
A., Pseudodifferential equationsover non-Archimedean spaces, Springer, 2016
Z´ u˜ niga-Galindo W. A., Pseudodifferential equationsover non-Archimedean spaces, Springer, 2016. E-mail address : storba@math.cinvestav.edu.mx E-mail address : wazuniga@math.cinvestav.edu.mx Centro de Investigaci ´on y de Estudios A vanzados del Instituto Polit ´ecnico Nacion...
2016
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.