{"id":"7687f574-7483-43f7-80cf-771b0b5cd440","arxiv_id":"2602.00436","paper_version":2,"verdict":"REJECT","confidence":"HIGH","novelty_score":3.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper attempts a streamlined proof of logarithmic confinement for 3D Wilson lattice gauge theories with a central U(1); the key lemma's change-of-variables algebra is incorrect.","lead":"This note gives a short proof of a known 1979 result: three-dimensional lattice gauge theories whose gauge group contains a central U(1) confine, with a logarithmically growing quark–antiquark potential. The proof adapts the Mermin–Wagner complex-rotation trick, but the central lemma contains false algebraic identities that invalidate the derivation as written.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 4.3's change of variables is algebraically false: for E_k edges away from the pivot, χ_yχ_y'=ξ_yξ_y'(ξ_yk)^2, so the claimed density transformation and conditional independence do not follow.","rationale":"The reader's weakest-assumption analysis identifies exactly the load-bearing flaw: Lemma 4.3's change of variables is algebraically incorrect. My independent substitution of the definitions confirms the extra (ξ_yk)^2 factor in E_k edges and analogous extra factors in F^1_k/F^2_k. This is not a matter of a missing proof or a hard-to-check estimate; the stated equalities are false for generic U(1) spins. The proof of Theorem 3.1 relies on Lemma 4.3 to convert a three-dimensional gauge theory expectation into a product of two-dimensional spin-system correlations, and without the conditional independence claimed in Lemma 4.3 the derivation of the exponential bound does not go through. The theorem itself is known from prior work, so the paper's central claim as a mathematical statement is not in doubt; however, the paper's stated purpose is to provide a short self-contained proof, and that proof is invalid. The reader's verdict of REJECT is therefore appropriate. I see no way to reinterpret the notation to avoid the extra factors: the definitions of τ are explicit. The secondary orientation issue in (4.8) further reinforces the need for correction, but the Lemma 4.3 error is independently sufficient.","tokens_in":8740,"tokens_out":9071,"duration_ms":96311,"concrete_test":"Directly verify the disputed identity in Lemma 4.3. Take k=2, y=(1,1), y'=(2,1), both in L_2\\{y_2}, set all ξ=1 except ξ_y2=i, and set w_e=1 for e=(y,y'), all other w=0. Then χ_y=ξ_yξ_y2=i and χ_y'=ξ_y'ξ_y2=i, so χ_yχ_y'=-1 while ξ_yξ_y'=1. Thus Re(wχ_yχ_y')=-1 ≠ Re(wξ_yξ_y')=1, so the asserted identity fails and the density transformation in Lemma 4.3 cannot hold for this configuration. If a corrected change of variables exists, it must make this equality true; the current map does not.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's only new contribution is the proof of Theorem 3.1, and that proof rests on Lemma 4.3. The lemma's change of variables contains false algebraic identities. For an edge (y,y')∈E_k with y,y'≠y_k, the paper states ξ_yξ_y'=χ_yχ_y'. But the definitions give χ_y=ξ_yξ_yk and χ_y'=ξ_y'ξ_yk, so χ_yχ_y'=ξ_yξ_y'(ξ_yk)^2, which differs by the factor (ξ_yk)^2 unless ξ_yk=±1. The displayed identities for F^1_k and F^2_k are also false: the chain inserts an extra χ_yk factor, while the true product contains (ξ_yk)^2(ξ_y{k-1})^2. Consequently the representation g(χ), the claimed conditional independence of ψ_y1,...,ψ_yN, and the resulting power-law bound in Lemma 4.3 are not established. Since Lemma 4.3 is the mechanism producing the exponential decay in (4.6)–(4.7), the proof of Theorem 3.1 collapses at this step. This is not a claim that the theorem is false—the result is classical—but the paper's proof is invalid as written. A secondary issue is that equation (4.8) appears to ignore orientations: the left vertical side of the Wilson loop enters as inverses of the defined p_j edges, so the factorization should involve |E(ξ(p_j)^{-1}ξ(q_j))|, not |E(ξ(p_j)ξ(q_j))|. The Lemma 4.3 error is already fatal.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to give a short, self-contained proof of confinement for three-dimensional Wilson lattice gauge theories with compact gauge group G ⊆ U(n) containing the full circle of central scalar matrices {zI : |z| = 1}. Theorem 3.1 asserts an upper bound |⟨W_ℓ⟩| ≤ n exp{−C(1+nβ)^{-1} T log(R+1)} for rectangular Wilson loops of side lengths R ≤ T. The proof introduces auxiliary U(1) edge variables, conditions on the G-valued variables, and reduces the Wilson loop expectation to a product of two-point correlations in a two-dimensional spin system. The main technical ingredient is Lemma 4.3, a generalized Mermin–Wagner bound for two-point correlations in a weighted U(1) model; this lemma is then applied in the final step of the proof of Theorem 3.1.","tokens_in":9090,"tokens_out":6230,"duration_ms":65068,"significance":"If correct, the paper would provide an elegant, fully lattice-based proof of a classical confinement result originally obtained by combining work of Fröhlich with that of Glimm–Jaffe and Göpfert–Mack. The proof strategy is attractive and the constants are explicit. However, the central change-of-variables step in Lemma 4.3 contains an algebraic error, and the proof as written does not establish the theorem. Since the result itself is already known, the value of the note depends entirely on the correctness of the new proof; the present version has a load-bearing gap that cannot be ignored.","major_comments":[{"comment":"The change of variables is algebraically incorrect. For an edge (y,y') in E_k with y,y' ≠ y_k, the paper states ξ_y ξ_{y'} = χ_y χ_{y'}. But by the definitions χ_y = ξ_y ξ_{y_k} and χ_{y'} = ξ_{y'} ξ_{y_k}, so χ_y χ_{y'} = ξ_y ξ_{y'} (ξ_{y_k})², not ξ_y ξ_{y'}. The same error appears in the F^1_k/F^2_k identities: the displayed expression χ_y χ_{y'} χ_{y_k} equals ξ_y ξ_{y'} (ξ_{y_{k-1}})² (ξ_{y_k})², not ξ_y ξ_{y'}. Consequently f(ξ) = g(τ(ξ)) does not hold, the claimed density of ψ = τ(ϕ) is not proportional to exp(Re g), and the conditional independence of ψ_{y_1},...,ψ_{y_N} with the stated single-site densities is not established. Since Lemma 4.3 is the mechanism producing the decay used in (4.6)–(4.7), the proof of Theorem 3.1 collapses at this step.","section":"§4, Lemma 4.3"},{"comment":"The factorization in (4.8) ignores the orientation of the left vertical side of the rectangle. With the standard cyclic ordering (0,0,0) → (R,0,0) → (R,T,0) → (0,T,0) → (0,0,0), the left vertical edges are traversed downward and contribute ξ(p_j)^{-1}, not ξ(p_j). Thus the product should contain E''(ξ(p_j)^{-1} ξ(q_j)) rather than E''(ξ(p_j) ξ(q_j)). This is a separate gap in the reduction; even after repairing Lemma 4.3, this step needs correction.","section":"§4, Eq. (4.8)"}],"minor_comments":[{"comment":"The vertex list of the rectangle is not given in cyclic order. The intended ordering appears to be (0,0,0), (R,0,0), (R,T,0), (0,T,0); please state it explicitly to avoid ambiguity about the orientation of the loop.","section":"§4, Theorem 3.1 proof"},{"comment":"The 'no loss of generality' expansion step is terse. It would help to state explicitly that the original model is the marginal of the expanded model after integrating out the added independent spins.","section":"§4, Lemma 4.3"}],"recommendation":"reject","confidential_remarks":"The algebraic error in Lemma 4.3 is not a minor typo: the displayed identities are false for generic U(1) configurations, and the conditional-independence mechanism depends on them exactly as written. A local patch is not apparent. The paper's result is already known, so acceptance would require a correct new proof."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is an honest, clearly written exposition of a classical result, but the advertised proof is invalid. Theorem 3.1 is exactly Corollary 2 of Fröhlich's 1979 paper, as the author acknowledges. The only novel part is the streamlined proof, and that proof has a load-bearing error in Lemma 4.3.\n\nWhat is good: the paper is transparent about the history, and the overall strategy—a Mermin–Wagner-style complex rotation exploiting the central U(1)—is natural. Lemma 4.1 is a clean, elementary anti-concentration estimate that is likely correct on its own. If the change-of-variables step could be repaired, a genuinely short self-contained proof of this classical theorem would be a useful service.\n\nWhere it fails: Lemma 4.3 defines χ_y = ξ_y ξ_{y_k} for y ∈ L_k \\ {y_k} and χ_{y_k} = ξ_{y_k} ξ_{y_{k-1}}. For an edge (y,y′) ∈ E_k with y,y′ ≠ y_k, the paper claims ξ_y ξ_{y′} = χ_y χ_{y′}. But by the definitions, χ_y χ_{y′} = ξ_y ξ_{y′} (ξ_{y_k})², which differs by the factor (ξ_{y_k})² unless ξ_{y_k} = ±1. The same issue appears in the identities for F^1_k and F^2_k, where the products contain extra squares of the pivot variables ξ_{y_k} and ξ_{y_{k-1}}. Consequently the representation f(ξ) = g(χ) does not hold, the claimed conditional independence of ψ_{y_1},...,ψ_{y_N} is not established, and the power-law bound of Lemma 4.3 has no valid proof. The exponential decay in (4.6)–(4.7) is unsupported.\n\nThe orientation ambiguity around (4.8) is a minor problem by comparison. The Lemma 4.3 error is enough to sink the proof.\n\nVerdict: reject. The theorem is true and already in the literature; the paper's sole contribution is a proof that is not correct. I would not send this to peer review—the error is concrete, central, and easy to exhibit. If the author can repair the change of variables or supply a different decomposition, a corrected version might be revisitable.","headline":"The paper's only new contribution, a short proof of a known theorem, collapses at Lemma 4.3 due to false algebraic identities; the theorem itself is classical, so nothing survives.","tokens_in":9617,"tokens_out":3710,"would_cite":false,"duration_ms":38785,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["70S15","81T13","81T25","82B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"A short proof claims logarithmic quark confinement in 3D central-U(1) lattice gauge theories.","keywords":["lattice gauge theory","quark confinement","Wilson loops","central U(1)","logarithmic potential","three dimensions","Wilson action","Mermin-Wagner argument"],"falsifier":"Directly check the identity ξ_yξ_{y'} = χ_yχ_{y'} in Lemma 4.3 for a single edge with arbitrary U(1) phases: substituting the definitions shows the left side differs from the right by (ξ_{y_k})², so for phases with (ξ_{y_k})² ≠ 1, e.g., all three spins equal to i, the identity fails (it gives −1 = 1). A numerical simulation of a small 2D system with nonzero couplings would likewise show the predicted conditional independence of pivot spins does not hold.","tokens_in":8535,"feed_emoji":"⚛️","tokens_out":8832,"duration_ms":95380,"temperature":0.7,"pith_summary":"This note aims to prove a confinement theorem for three-dimensional Wilson lattice gauge theories whose gauge group contains the full circle of scalar matrices zI with |z|=1. The claimed result is an explicit upper bound on rectangular Wilson loops: a loop of side lengths R≤T has expectation at most n exp{−C(1+nβ)^{-1} T log(R+1)}, so the effective quark–antiquark potential grows at least logarithmically with separation. The paper's contribution is a short, self-contained lattice proof of this classical statement, avoiding the usual route through comparison inequalities and separate abelian results. If the proof is right, it demonstrates confinement at all couplings for a broad non-abelian class of theories, with no phase transition in this bound.","feed_headline":"Logarithmic quark confinement proven for 3D central-U(1) gauge theories","feed_subtitle":"A short proof bounds Wilson loops by e^{-cT log R}, so separating a quark–antiquark pair takes divergent energy.","key_machinery":"The key machinery is a Mermin–Wagner complex rotation for U(1) spins, running through three ingredients: Lemma 4.1, an anti-concentration estimate showing that a U(1) spin in a field w has variance at least c min{1,|w|^{-1}}; Corollary 4.2, which turns this into a deficit bound |Eξ|≤1−c min{1,|w|^{-1}}; and Lemma 4.3, a change of variables on U(1)^Λ intended to make the conditional law of the pivot spins independent with single-site densities. The change of variables is what carries the factorization over slices in the gauge theory proof.","core_discovery":"The central claim is Theorem 3.1: for any compact G⊆U(n) containing {zI: |z|=1}, in three dimensions with free boundary and inverse coupling β>0, every rectangular Wilson loop with side lengths R≤T satisfies |⟨Wℓ⟩| ≤ n exp{−C(1+nβ)^{-1} T log(R+1)}, where C is a universal constant. The proof expands the model by adding auxiliary U(1) edge variables, factors the Wilson loop as a U(1) phase times a G-valued holonomy, and conditions on the G part. The remaining expectation factorizes over T horizontal slices, reducing each slice to a two-dimensional U(1) spin system with site-dependent magnetic fields; a Mermin–Wagner-type anti-concentration lemma gives a power-law bound on each slice two-point","pith_inferences":["The change-of-variables identity in Lemma 4.3 appears to miss an extra factor of the pivot spin squared; if that is not repaired, the factorization and hence the proof do not currently go through, though the theorem itself may still be true.","A repaired factorization would likely require handling the pivot phases more carefully, perhaps by absorbing them into the conditioning sigma-field or by a different coordinate choice; the two-point correlation bound itself (Lemma 4.1) appears independent of that issue.","The same slice decomposition, if valid, suggests that any improvement of the two-dimensional correlation decay from power-law to exponential would upgrade the conclusion from logarithmic to linear confinement, connecting to the stronger area law expected in d=3.","The method treats the central U(1) phase as a separate degree of freedom; this suggests that adding a Higgs field coupled to the center would not destroy the mechanism, since the phase factor can still be decoupled."],"forward_implications":["If Theorem 3.1 is correct, every gauge group with a central U(1) (notably U(n) itself) gives a confining 3D Wilson theory at every positive β.","The bound implies a quark–antiquark potential V(R)≥c log R, so the energy to separate a pair diverges, although slower than the expected linear area law.","For fixed R the loop expectation decays exponentially in T, so even at weak coupling the Wilson loop is driven to zero by the long time direction.","The explicit dependence on n and β shows the decay weakens as the coupling becomes weak (small β) or the group rank grows, but never disappears.","The proof is fully lattice-based and does not rely on continuum limits, so it applies directly to the finite-volume theory with free boundary conditions."],"fun_headline_variants":["Logarithmic quark confinement proven in 3D gauge theory","Short proof confirms confinement in central U(1) gauge theories","3D lattice gauge confinement: a succinct proof","Quark–antiquark potential grows logarithmically: proof","Central U(1) gauge theories confine: short proof"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing step is a change of variables in Lemma 4.3 that rewrites products of spin variables as products of transformed variables without any extra factor; but by the definitions χ_yχ_{y'} = ξ_yξ_{y'}(ξ_{y_k})², so the identity as written drops a factor equal to the pivot spin squared, and unless that extra factor cancels, the conditional independence claim collapses.","fun_headline_variants_meta":{"raw":{"variants":["Logarithmic quark confinement proven in 3D gauge theory","Short proof confirms confinement in central U(1) gauge theories","3D lattice gauge confinement: a succinct proof","Quark–antiquark potential grows logarithmically: proof","Central U(1) gauge theories confine: short proof"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000224,"raw_usage":{"total_tokens":1309,"prompt_tokens":765,"completion_tokens":544,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":509,"completion_tokens_details":{"reasoning_tokens":462}},"tokens_in":509,"tokens_out":544,"duration_ms":5839,"temperature":1.0,"reasoning_tokens":462,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T06:06:12.363488+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Directly check the identity ξ_yξ_{y'} = χ_yχ_{y'} in Lemma 4.3 for a single edge with arbitrary U(1) phases: substituting the definitions shows the left side differs from the right by (ξ_{y_k})², so for phases with (ξ_{y_k})² ≠ 1, e.g., all three spins equal to i, the identity fails (it gives −1 = 1). A numerical simulation of a small 2D system with nonzero couplings would likewise show the predicted conditional independence of pivot spins does not hold.","supporting_citations":[],"review_version":1}