{"id":"4ca0c267-c990-474a-b33e-33e95d960487","arxiv_id":"2607.12852","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For non-interacting Schrödinger systems with a discrete ground state, the ground-state density determines the external potential uniquely within the maximal class of Laplace form-bounded distributions, provided the density is positive quasi-everywhere.","lead":"An analysis paper proves that the Hohenberg–Kohn uniqueness theorem holds for non-interacting quantum systems even when the external potential is a very singular distribution, as long as the ground state energy is discrete and the density is positive quasi-everywhere. It gives a clean criterion—positivity of the density up to small sets—that determines exactly when the mapping from density to potential is one-to-one.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim depends on Lemma 5.1's strong maximum principle for form-bounded distributional potentials; its final exhaustion step is under-specified and needs completion, though no counterexample was found.","rationale":"The reader's weakest-assumption analysis already identifies Lemma 5.1. I agree. The rest of the proof chain—Theorem 2.1 from the variational principle, Theorem 2.9 from finite-rank algebra plus Fuglede and Lemma 4.7, and Lemma 5.3 from min-max—is plausible and contains independent nontrivial ingredients. The only load-bearing step that is both essential and only sketched is the maximum principle for distributional potentials. The gap in the final step of Lemma 5.1 is concrete and fixable but must be fixed before the central claim can be considered fully proven. Since the reader's CONDITIONAL verdict already reflects this, no change is needed.","tokens_in":26111,"tokens_out":31802,"duration_ms":298698,"concrete_test":"Complete the missing step in Lemma 5.1: choose a countable exhaustion (Ω_m) of Ω by bounded connected Lipschitz domains with K⊂⊂Ω_m, apply the proof with φ_m=1 on Ω_m, and verify that (5.10) and the Poincaré inequality (Lemma 5.2) yield u=0 a.e. on each Ω_m. If this exhaustion goes through, Lemma 5.1 and hence Theorem 2.5 are sound; if the Poincaré constants grow in a way that breaks the δ-independent bound, the lemma fails. As a secondary check, run the same proof on the explicit 1D case v=cδ_0 with Dirichlet boundary conditions and confirm the ground state is everywhere positive.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Corollary 2.6 rests on Theorem 2.5, which in turn hinges on Lemma 5.1: a single-particle ground state for −Δ+v with v merely form-bounded is unique and quasi-everywhere positive. The argument adapts Brezis–Ponce/Orsina–Ponce (L1 potentials), but the final contradiction in the proof of Lemma 5.1 is not fully justified. After assuming CapΩ({u*=0})>0 and choosing a compact K⊂{u*=0} of positive capacity, the proof picks a bounded connected Lipschitz domain ω with K⊂⊂ω⊂Ω and shows u=0 a.e. in ω. The text then says 'As ω is arbitrary, we must have u=0'. This is not immediate: ω is constrained to contain K, so the conclusion only covers subdomains meeting the zero set. A rigorous proof must run an exhaustion argument (e.g., a sequence of connected Lipschitz domains Ω_m exhausting Ω with K⊂⊂Ω_m) and check that the Poincaré inequality and the δ-independent bound (5.10) hold on each Ω_m. Without this, q.e. positivity of the density—and therefore the premise of Theorem 2.1 needed for Corollary 2.6—is not established. This is a proof gap, not a demonstrated failure: no internal inconsistency or likely counterexample surfaced.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a Hohenberg–Kohn theorem for non-interacting Schrödinger systems with external potentials in the maximal class of Laplace form-bounded distributions. The main results are: (i) Theorem 2.1, an if-and-only-if criterion for the HK theorem under a finite-rank assumption on the single-particle density matrix, phrased in terms of quasi-everywhere positivity of the density; (ii) Theorem 2.9, a characterization of H^1-regular states via q.e. strict positivity of the density; and (iii) Theorem 2.5, which shows that for non-interacting systems with a discrete ground state energy the ground-state density is q.e. positive. The proof of Theorem 2.5 relies on Lemma 5.1, a strong maximum principle for a single-particle Schrödinger operator with form-bounded distributional potential. Corollary 2.6 then asserts uniqueness of the Kohn–Sham potential within the class of Laplace form-bounded potentials. The paper also develops potential-theoretic tools (capacitary measures, Maz'ya–Verbitsky criteria, quasi-topology) and argues that the fundamental mechanism is unique continuation of the density rather than of the wavefunction.","tokens_in":26472,"tokens_out":24778,"duration_ms":231157,"significance":"If the results hold, they constitute a substantial advance: the HK theorem is extended from the locally-L^p class of Garrigue to the natural maximal class of potentials preserving the H^1 form domain, and the proof introduces a new potential-theoretic mechanism (q.e. positivity of the density) that is both necessary and sufficient under the finite-rank assumption. The paper is conceptually novel in replacing unique continuation of the many-body wavefunction with quasi-strict positivity of the density, and the necessary part of Theorem 2.9 is shown without the finite-rank restriction. The proofs are detailed and self-contained, with explicit uses of classical potential theory; there are no fitted constants or circular dependencies. The central claims are therefore significant for the mathematical foundations of DFT, provided the identified gaps in the proof of Lemma 5.1 and the final step of Theorem 2.9 are repaired.","major_comments":[{"comment":"The final step of the proof is not justified as written. After assuming that the zero set Z_u has positive capacity and choosing a compact K⊂Z_u of positive capacity, the argument shows that u=0 a.e. in every bounded connected Lipschitz domain ω with K⊂⊂ω⊂Ω. The text then says 'As ω is arbitrary, we must have u=0'. This is not immediate, because ω is constrained to contain K; the conclusion only covers subdomains meeting K. A rigorous proof requires an exhaustion argument: for every x∈Ω, choose a connected compact set containing K and x (using connectedness of Ω), then a bounded connected Lipschitz ω with that set compactly inside Ω, and apply the previous argument to conclude u=0 in a neighbourhood of x. This yields u=0 a.e. in Ω, contradicting the non-triviality of u. Since Lemma 5.1 is the load-bearing step for Theorem 2.5 and Corollary 2.6, this gap must be completed explicitly.","section":"§5, Lemma 5.1, after Eq. (5.11)"},{"comment":"The final step concludes that 'v−λ=0 in the distributional sense, which completes the proof'. However, the desired conclusion of H^1-regularity is v=0, not v=λ. If v is the constant distribution λ, then v̂Γ=λ n Γ, which is non-zero for λ≠0, contradicting the standing assumption v̂Γ=0. The proof should explicitly use (4.19) (or its trace) to infer λ=0. This is a short argument, but as written the proof is incomplete at a point necessary for the statement of Theorem 2.9 and hence Theorem 2.1.","section":"§4.2, Step 4 of the proof of Theorem 2.9"}],"minor_comments":[{"comment":"There is a typo in the integration variable: the final expression should be ∫_{F∩L}(G_2*μ|_F)(x)dμ(x) = ||G_1*(μ|_F)||^2_{L^2}. Also, the sentence 'since the support of μ is contained in Ω, it suffices to verify (4.5) for compact subsets of Ω' deserves a one-line justification: for any compact F⊂R^d, μ(F)=μ(F∩K) and Cap(F)≥Cap(F∩K).","section":"§4.1, Eq. (4.9)"},{"comment":"The proof is only a sketch. In particular, the 'only if' direction via Weyl's criterion is asserted without detail. Since Lemma 5.3 is used to guarantee finite rank and the fact that the lowest single-particle eigenfunction is a natural orbital, it would be helpful to expand the min-max argument, especially the claim that less than n discrete one-particle eigenvalues forces the n-particle ground-state energy to be non-discrete.","section":"§5, Lemma 5.3"},{"comment":"In the display following (5.9), '∥φ^2∥_{L^2}' should be '∥φ∥^2_{L^2}'. Also, in the proof of Lemma 5.1 the statement says (5.1) is extended to H^1_0 'by Lemma 4.2'; Lemma 4.2 is stated for measures, though the same polarization argument applies to general form-bounded distributions. Please clarify the reference.","section":"§5, after Eq. (5.9)"},{"comment":"Typo: 'Saard's theorem' should be 'Sard's theorem'.","section":"§5, final paragraph"},{"comment":"The phrase 'maximal class of potentials preserving the form domain' is slightly over-stated: the infinitesimal form bound in V(Ω) is sufficient but not necessary for the form domain to be H^1_0. The later Remark 2.7(1) correctly refers to 'Laplace form-bounded potentials' with a ground state, but the abstract and Corollary 2.6 could be more precise about the exact class used.","section":"§2, Remark 2.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is mathematically substantial and likely correct in its main claims. The two major comments are both repairable: the exhaustion step in Lemma 5.1 requires an explicit argument, and Theorem 2.9 needs a one-line use of v̂Γ=0 to show the constant λ is zero. I would support publication after a revision that fills these gaps; I did not find an internal inconsistency or a counterexample."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Corso's paper is the first to prove a Hohenberg–Kohn uniqueness statement for the maximal class of Laplace form-bounded potentials, for non-interacting systems with a discrete ground-state energy. That is a real step beyond Garrigue's L^p_loc class, and it is done with an argument that avoids many-body unique continuation entirely, replacing it with a quasi-everywhere positivity condition on the density. The finite-rank characterization in Theorem 2.9 — a state is H1-regular iff its density is q.e. positive — is the conceptual core, and the potential-theory toolkit (Bessel capacities, Maz'ya's form-bound criterion, Fuglede's quasi-connectedness) is well chosen. There is no circularity and no fitting of constants; the logic is independent of the author's own 1D results, which appear only as motivation.\n\nThe soft spots are real but not disqualifying. The most fragile load-bearing step is Lemma 5.1, the strong maximum principle for a single-particle Schrödinger operator with merely form-bounded potential. The proof follows Brezis–Ponce/Orsina–Ponce, and the final step \"as ω is arbitrary, u=0\" is genuinely under-specified, exactly as the stress-test note says. ω is constrained to contain the fixed compact K of positive capacity, so the conclusion as written only covers domains meeting the zero set. The fix is standard: take an exhaustion of Ω by bounded connected Lipschitz domains, each containing K, apply the argument on each, and use the δ-independent bound (5.10) to conclude u=0 on each member. The Poincaré constant varies but the bound is finite for each member, so the exhaustion works. This is a patchable gap, not a structural failure. Lemma 5.3, the reduction from single-particle to many-particle ground states, is also sketched rather than proved; it is standard min-max material, but a referee should ask for details or a precise citation. The rest of the chain — Lemma 4.1's construction of form-bounded measures, Lemma 4.7's dense-range argument, and Theorem 2.9's sufficiency proof — is detailed and coherent.\n\nOverall, this is a serious, honest piece of mathematical DFT. The central claim is very likely correct. It deserves a serious referee and, after the gaps are patched, publication in a strong math-physics venue. The audience is mathematical DFT researchers and potential theorists; a reading group would get a lot out of the proof structure.\n\nMy recommendation: send it out for review, and in the report ask for the exhaustion argument in Lemma 5.1 and a fuller treatment of Lemma 5.3. I would not desk-reject.","headline":"A serious, novel proof that the non-interacting HK theorem holds in the maximal Laplace form-bounded class; the main chain is sound, with one terse step in Lemma 5.1 that a referee should ask to be completed.","tokens_in":26941,"tokens_out":9263,"would_cite":true,"duration_ms":83860,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35R30","35J10","81Q10","81V74"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves the Hohenberg–Kohn theorem for non-interacting systems in the largest admissible class of singular potentials, with quasi-everywhere positivity of the density as the exact criterion for uniqueness.","keywords":["Hohenberg–Kohn theorem","density functional theory","Laplace form-bounded potentials","quasi-everywhere positivity","Sobolev capacity","non-interacting Schrödinger operators","Kohn–Sham potential","maximum principle"],"falsifier":"Find a distributional potential v that is Laplace form-bounded on some connected open Ω, such that the Rayleigh quotient (5.2) has a minimizer whose precise representative vanishes on a compact set of positive capacity (or two linearly independent minimizers). Such an example would refute Lemma 5.1 and, with it, Theorems 2.5 and Corollary 2.6; conversely, a Slater determinant with q.e.-positive density and a nonzero form-bounded v with ⟨v, ρ⟩ = 0 would refute Theorem 2.9.","tokens_in":25992,"feed_emoji":"⚛️","tokens_out":11028,"duration_ms":97021,"temperature":0.7,"pith_summary":"Within the largest class of external potentials that still give a well-defined Schrödinger form—the Laplace form-bounded distributions—this paper proves that the ground-state density of a non-interacting fermionic system uniquely determines the external potential, up to an additive constant, whenever the ground-state energy is discrete. The exact condition making the density-to-potential map injective, for states with finitely many occupied orbitals, is that the density be strictly positive quasi-everywhere: it may vanish only on sets of zero Sobolev capacity, the sets invisible to the H¹ energy. The author proves that non-interacting ground states automatically satisfy this condition, via a maximum principle for single-particle operators with singular potentials, and that previous proofs' reliance on unique continuation of the many-body wavefunction was misplaced—the continuum mechanism is continuation of the density. If the theorem is right, the Kohn–Sham potential is unique within the maximal class of potentials considered.","feed_headline":"One density pins down the potential for non-interacting systems","feed_subtitle":"Uniqueness holds in the largest singular-potential class; the key is the density's quasi-everywhere positivity","key_machinery":"The central object is the Sobolev capacity of Ω: it assigns a size to sets via the minimal H¹ energy of a test function that exceeds 1 on the set, and a condition holds 'quasi-everywhere' when it fails only on sets of zero capacity. The proof's engine is the characterization of H¹-regular states: when the density is q.e. positive, any form-bounded potential with zero expectation must send each natural orbital to a linear combination of the finitely many orbitals; a quasi-continuous representative of the potential then takes only finitely many values, and the local connectedness of the quasi-topology forces it to be constant; a dense-range lemma for multiplication operators identifies the con","core_discovery":"The paper's central claim is the characterization of H¹-regular states: a finite-rank state is regular—no nonzero Laplace form-bounded distributional potential has zero expectation value in it—if and only if its density is strictly positive quasi-everywhere. From this, the Hohenberg–Kohn theorem follows by the variational argument for any finite-rank ground state whose density is q.e.-positive, and fails when the density vanishes on a set of positive capacity. For non-interacting systems, the paper shows the lowest single-particle eigenfunction of −Δ+v is unique and q.e.-positive for form-bounded distributional v, so the many-body density inherits q.e.-positivity; consequently any two non-in","pith_inferences":["If the finite-rank assumption is removed, the criterion would extend to interacting systems with infinitely many occupied orbitals; the necessary direction already holds without it, so the gap is confined to the sufficiency step.","The proof constructs a quasi-continuous representative of the potential from ratios of natural orbitals, which suggests a practical reconstruction algorithm for Kohn–Sham potentials from densities—something the paper does not address.","A direct test of sharpness is to take densities with explicit polar zero sets (for instance |x|^α in dimension d ≥ 3) and check whether any form-bounded distributional potential annihilates them; the necessary direction predicts such densities are never regular."],"forward_implications":["For weakly correlated states with finite occupation numbers, the density-to-potential map is injective exactly when the density is positive quasi-everywhere; densities vanishing on a positive-capacity set admit distinct potentials with the same ground state.","Any non-interacting system with discrete ground-state energy satisfies that condition, so uniqueness of the Kohn–Sham potential holds within the full Laplace form-bounded class.","The universal density functional cannot have a unique subgradient at any density that vanishes on a set of positive capacity, so q.e.-strict positivity is necessary for its differentiability.","The classical approach through unique continuation of many-body wavefunctions is neither necessary nor sufficient here; the paper's mechanism is (quasi-)unique continuation of the density."],"fun_headline_variants":["Density's q.e. positivity nails HK theorem in maximal class","Maximal HK uniqueness: density q.e. positivity suffices","HK theorem for non-interacting systems: density is the key","Uniqueness of KS potential in maximal class via density positivity","Maximal HK theorem: only density positivity matters"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is Lemma 5.1's strong maximum principle: a single-particle Schrödinger operator with a merely form-bounded distributional potential has a unique ground state that is strictly positive quasi-everywhere; if this fails for any admissible potential, the non-interacting density need not be q.e.-positive and the Hohenberg–Kohn corollary collapses.","fun_headline_variants_meta":{"raw":{"variants":["Density's q.e. positivity nails HK theorem in maximal class","Maximal HK uniqueness: density q.e. positivity suffices","HK theorem for non-interacting systems: density is the key","Uniqueness of KS potential in maximal class via density positivity","Maximal HK theorem: only density positivity matters"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001753,"raw_usage":{"total_tokens":6736,"prompt_tokens":699,"completion_tokens":6037,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":443,"completion_tokens_details":{"reasoning_tokens":5953}},"tokens_in":443,"tokens_out":6037,"duration_ms":38737,"temperature":1.0,"reasoning_tokens":5953,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T06:19:25.476169+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a distributional potential v that is Laplace form-bounded on some connected open Ω, such that the Rayleigh quotient (5.2) has a minimizer whose precise representative vanishes on a compact set of positive capacity (or two linearly independent minimizers). Such an example would refute Lemma 5.1 and, with it, Theorems 2.5 and Corollary 2.6; conversely, a Slater determinant with q.e.-positive density and a nonzero form-bounded v with ⟨v, ρ⟩ = 0 would refute Theorem 2.9.","supporting_citations":[],"review_version":2}