{"id":"740453a2-feec-42f5-a30a-343173df13a6","arxiv_id":"2608.05459","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Sourceless Beltrami-Vekua equations on simply connected domains are classified by a hyperbolic mass density and a phase curvature current, plus a charge current when zeros are present.","lead":"This paper classifies a family of two-dimensional linear elliptic equations, the sourceless framed Beltrami-Vekua equations, up to relabeling and changes of coordinates. It finds that on simply connected domains the equations are completely labeled by a hyperbolic density and a phase curvature current, with an extra charge current at zeros, and gives explicit cases where older numerical labels fail.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Vortex-sector completeness rests on a connected-complement hypothesis that is essential: a concrete disconnected-zero-set pair already defeats the triple.","rationale":"The reader identified the connected-complement assumption as the weakest point of the vortex-sector completeness theorem, and that is also the most load-bearing concern I find. The paper is careful to state the hypothesis in Definition 7.1 and to flag its relaxation as open in Section 9, Problem 3, so the theorem itself is not internally falsified. However, the abstract and the framing of the classification as extending 'through the triple' can easily be read as covering all phase-integrable fields with zeros, and the concrete pair above shows that the triple is not complete once the zero set separates the domain: the two fields have identical (ϑ,dη,d⋆η) and are inequivalent because the missing information is a relative phase per component, which no harmonic gauge can supply. This confirms that the hypothesized connectedness is not a removable technical convenience but a genuine boundary of the present classification. It strengthens the case for a CONDITIONAL verdict rather than full acceptance, but it does not move the reader's verdict because the paper already conditions the theorem and explicitly lists the unresolved case. I did not find a counterexample within the stated hypotheses, and the vortex-free sector appears sound. One small proof typo is worth noting: in Theorem 7.5 the displayed quotient E should involve B1 times the conjugate of B̃2, not B1B̃2, for the asserted identity Im(dE/E)=η1-η̃2 to hold; with the conjugate insertion the sufficiency argument closes, so I do not treat this as a substantive defect.","tokens_in":28642,"tokens_out":20878,"duration_ms":221227,"concrete_test":"Verify the disconnected-zero-set obstruction analytically: for B1=|z|^2-r^2 and B2=||z|^2-r^2| on D with 0<r<1, compute the full triple and confirm both give ϑ=1/4(1-|z|^2)^2(|z|^2-r^2)^2, η=0 off |z|=r, and hence dη=d⋆η=0. Then test the residual relation B1=(φ̄/φ)F'(B2∘F) for F∈Möb(D) and holomorphic zero-free φ. Since B2∘F is positive off the zero set and F must preserve that zero set, the phase equation forces a harmonic function on D to equal the 0/π step across |z|=r, which no continuous harmonic function can do. This settles that the component-wise phase constants in Problem 3 are genuine additional moduli and that the connected-complement hypothesis in Definition 7.1 is essential.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing vulnerability is the scope of Theorem 7.5. Its sufficiency proof uses connectedness of D\\Z(B) exactly once: after obtaining α=dh and a unimodular quotient E, it concludes that E e^{-ih} is a single constant on D\\Z. If Z(B) separates D, only one constant per component follows, exactly as Section 9, Problem 3 concedes. This is not a purely technical caveat. Take 0<r<1 and set B1=|z|^2-r^2 and B2=||z|^2-r^2| on the unit disk. Both are C^α, both have zero set the circle |z|=r, and off that circle η=Im(dB/B)=0 for both, so the full triple (ϑ,dη,d⋆η) is identical: ϑ=1/4(1-|z|^2)^2(|z|^2-r^2)^2 and both currents vanish. Yet arg B1 is the step function 0 outside and π inside the circle, while arg B2=0 off Z. Any residual equivalence B1=(φ̄/φ)F'(B2∘F) would require the harmonic gauge phase h=-2argφ+argF' to equal this step on D\\Z, impossible for a continuous harmonic function on D. Thus the two minimal forms share the complete triple and are inequivalent. The paper's Definition 7.1 excludes this case, so the stated theorem is not false, but the abstract's phrase that the classification 'extends through the triple' is only true inside the connected-complement sector; without that hypothesis the triple is not complete, and the central completeness claim carries an unresolved topological boundary.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the equivalence problem for sourceless framed Beltrami–Vekua equations under recombinations of the unknown, scalings, and orientation-preserving changes of variables. It reduces such equations on bounded simply connected domains to the minimal form w_bar z = B bar w on the unit disk, computes the residual groupoid (zero-free holomorphic gauges and Möbius transformations), and defines the hyperbolic mass density ϑ = (1/4)(1-|z|^2)^2 |B|^2 and the phase-curvature current K = Δ arg B (with hyperbolic density κ in the smooth case). The main vortex-free theorem states that two equations are equivalent exactly when their pairs (ϑ,K) agree modulo Möbius transformations, and the paper proves an exact range statement for these invariants. For fields with zeros, the paper introduces the phase form η = Im(dB/B) and the currents dη and d⋆η, proving a completeness theorem on the phase-integrable sector defined in Definition 7.1. It also shows that the pseudo-analytic mass and charge are only numerical projections of the moduli and exhibits explicit inequivalent equations with equal mass and charge.","tokens_in":28938,"tokens_out":17764,"duration_ms":177823,"significance":"If correct, the paper gives a substantial and essentially complete moduli classification for the vortex-free sourceless class, with an appealingly clean invariant pair and an explicit quotient by the Möbius group. The vortex-sector extension via the triple (ϑ,dη,d⋆η) is a natural and mostly convincing step, and the explicit counterexamples separating equal-mass/equal-charge equations are useful and concrete. The paper is also unusually transparent about its limitations: Section 9, Problem 3 explicitly leaves open the case of disconnecting zero sets, and Remark 7.7 states the frontier for non-integrable phase forms. The main reservations are that the vortex-sector completeness theorem is conditional on a topological hypothesis that is essential rather than technical, and that the foundational reduction chain is outsourced to four self-cited unpublished preprints. Within the stated sector, the proofs appear coherent and detailed.","major_comments":[{"comment":"The connected-complement hypothesis in Definition 7.1 is essential, and the abstract's phrase that the classification 'extends' through the triple is stronger than what is proved. Consider B1 = |z|^2 - r^2 and B2 = ||z|^2 - r^2| on the unit disk with 0<r<1. Both are C^α, their zero set is the circle |z|=r, and on D\\Z both have η = Im(dB/B) = 0, so the full triple (ϑ,dη,d⋆η) is identical for the two fields. Yet any residual equivalence B1 = (bar φ/φ) F'(B2∘F) would force the harmonic function h = -2 arg φ + arg F' to equal the step function arg B1 (0 outside, π inside the circle), which is impossible. Thus the triple is not complete when Z(B) separates the domain. Theorem 7.5 is not false because Definition 7.1 excludes this example, but the paper should state prominently that completeness holds only on the connected-complement sector, and the abstract should either include that hypothesis or explicitly refer to Problem 3.","section":"§7, Definition 7.1; §9, Problem 3; abstract"},{"comment":"The displayed phase-transformation identities contain sign errors that must be corrected. In Proposition 2.6 the proof writes F' = bar h bar h for a holomorphic square root h of F'; this is false, since bar h^2 = overline{F'}. The correct factorization is F' = (bar φ/φ)|F'| with φ a holomorphic zero-free function chosen so that bar φ/φ = e^{i arg F'}; such φ exists because arg F' is harmonic on the simply connected disk. Similarly, for the action B' = F'(B∘F) one has arg B' = arg B∘F + arg F', not the minus sign displayed in Theorem 3.4(ii), and in Lemma 7.2(ii) one has η' = F^*η + d(arg F'), not F^*η - d(arg F'). The harmonicity of arg F' makes these sign errors harmless for the final equivariance statements, but as written the central derivations contain false algebra.","section":"Proposition 2.6; Theorem 3.4(ii); Lemma 7.2(ii)"},{"comment":"The minimal reduction theorem, on which the entire classification rests, is assembled from three companion preprints ([2, Prop. 9.1], [2, Prop. 7.1], and [1, Prop. 5.1], with further use of [1, Prop. 4.2] and [2, Thm. 8.2]). These are self-cited, apparently unpublished manuscripts, and a reader of this paper alone cannot verify the fundamental reduction chain. The paper should either reproduce the necessary statements and proofs, provide a detailed appendix with the reduction, or clarify the publication status of the companions. This is not a mathematical objection to the arguments, but it is a load-bearing gap in self-containedness for a journal submission.","section":"Theorem 2.2 and references [1,2,3,4]"}],"minor_comments":[{"comment":"The abstract should specify that the vortex-sector classification is for the phase-integrable sector of Definition 7.1, including the closed, Lebesgue-null zero set with connected complement and the C^1 regularity off the zero set; otherwise 'extends' is likely to be read more broadly than the theorem supports.","section":"Abstract and §7"},{"comment":"After correcting the sign of arg F', the text 'the harmonicity of arg F' killing the second term' remains correct, but the sentence should also state that the conformal transformation law is applied to the first term with the correct sign.","section":"Theorem 3.4(ii), proof"},{"comment":"The notation d⋆η is carefully explained, but because it is not the literal codifferential δη, it would be clearer to use a different symbol or to add a parenthetical reminder at each later use that d⋆η denotes the divergence-current pairing defined in Definition 7.1.","section":"Definition 7.1"},{"comment":"The repeated encoding 'M¨ob' appears in the text and should be typeset correctly as 'Möbius' in the final version.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"This is a mathematically substantial paper whose vortex-free results appear sound and whose vortex-sector theorems are correct within their stated hypotheses. The most important issue is that the completeness claim is narrower than the abstract suggests: the connected-complement condition in Definition 7.1 is essential, and the concrete disconnected zero-set example shows the triple is otherwise incomplete. The paper already acknowledges this in Section 9, Problem 3, but the framing should be adjusted. I would also ask the editor to consider whether the heavy reliance on four self-cited unpublished preprints is acceptable for this journal; at minimum, the author should make the reduction chain publicly available before final acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, the vortex-free classification is real and worth engaging with: the pair (ϑ,K) is new, its equivariance is proved cleanly, the range theorem is exact, and the equal-mass/equal-charge examples genuinely show (M,n) is incomplete. Second, the vortex-sector completeness theorem is narrower than the abstract suggests. The connected-complement hypothesis in Definition 7.1 is doing load-bearing work, and the stress-test example is right: on the disk, B1=|z|^2-r^2 and B2=||z|^2-r^2| share the full triple (ϑ,dη,d⋆η)=(ϑ,0,0), yet no residual equivalence can relate them, because the argument difference is a step function that no harmonic gauge phase can produce. So the triple is not complete on the full phase-integrable sector; it is complete only when the zero set does not separate. The paper says as much in Section 9, Problem 3, but the abstract's claim that the classification \"extends through the triple\" overstates the proved statement.\n\nWhat the paper does well: the residual groupoid computation is careful, the splitting of the orbit relation into a modulus law and a phase law is illuminating, and the proof of Theorem 4.2 is short and correct at the stated regularity. Proposition 4.3, giving the exact range on the vortex-free sector, is genuinely useful. Section 6's explicit inequivalent examples check out, and the regularity ledger is unusually honest about where derivatives are spent.\n\nSoft spots, in proportion. The reduction itself is outsourced to four same-author preprints. That is a dependency, not a sign of circularity, but it means the paper's unconditional value is tied to unpublished material. More important is the topological gap in Theorem 7.5: the sufficiency proof uses connectedness of D\\Z(B) essentially, and the disconnecting-zero-set case is left open. The problem is not merely technical, as the explicit circle-zero-set example shows. Minor: the image of the triple is not characterized across vortices, and the paper says so itself.\n\nWho this is for: people working on pseudo-analytic function theory, planar Beltrami systems, and invariants of elliptic equations. The vortex-free part alone justifies referee time. The referee should verify the companion preprints' reduction and should ask that the vortex-sector theorem be restated with the connected-complement hypothesis made explicit in the abstract. Send it to peer review, not to the desk.","headline":"Vortex-free classification is solid and new; the across-vortices completeness theorem is real but only within a connected-complement sector that the abstract overstates.","tokens_in":29469,"tokens_out":3433,"would_cite":true,"duration_ms":36134,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["30G20","30C62"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that sourceless Beltrami–Vekua equations are classified, on bounded simply connected domains, by an infinite-dimensional pair of fields modulo Möbius transformations—not by pseudo-analytic mass and charge alone.","keywords":["Beltrami-Vekua equation","pseudo-analytic functions","moduli space","hyperbolic mass density","phase curvature","vortex charge","Möbius transformations","minimal reduction"],"falsifier":"Compute the current pairing $\\langle d\\eta,\\psi\\rangle=-\\int_{\\mathbb D} d\\psi\\wedge\\eta$ for the tame field $B=z$ and a compactly supported test function $\\psi$ with $\\psi(0)\\ne0$; Theorem 7.3 predicts exactly $2\\pi\\psi(0)$, so any discrepancy in this model-vortex calculation would falsify the atomicity claim that carries the vortex-sector completeness theorem.","tokens_in":28420,"feed_emoji":"🌀","tokens_out":13196,"duration_ms":113140,"temperature":0.7,"pith_summary":"The paper asks whether the two numerical invariants known for sourceless pseudo-analytic equations—the mass and the charge—determine the equation up to its natural equivalences. It answers no, and replaces the two numbers by genuinely infinite-dimensional data. On every bounded simply connected domain the equation reduces to a minimal form $w_{\\bar z}=B\\bar w$ on the unit disk, and when $B$ is zero-free the entire equivalence class is captured by the pair consisting of the hyperbolic mass density $\\vartheta=\\tfrac14(1-|z|^2)^2|B|^2$ and the phase-curvature current $K=\\Delta\\arg B\\,dx\\,dy$, both modulo a Möbius transformation of the disk. Every positive Hölder density and every Laplacian of a Hölder phase occur, so the classification is complete and its range exact. Across vortices the data become the triple $(\\vartheta,d\\eta,d{\\star}\\eta)$, where $d\\eta$ carries the charge as an atomic measure on the tame sector.","feed_headline":"Two fields, not two numbers, classify vortex-free equations","feed_subtitle":"Vortex-free cases need a density plus a current modulo Möbius maps; equal mass and charge can still differ.","key_machinery":"The argument runs on the minimal form $w_{\\bar z}=B\\bar w$ obtained by straightening the frame, uniformizing the Beltrami coefficient, and removing the $A$-term by a $\\bar\\partial$-gauge. The residual symmetries are exactly the zero-free holomorphic gauges $B\\mapsto(\\bar\\varphi/\\varphi)B$ and the Möbius transformations $B\\mapsto F'(B\\circ F)$, and the key split is that the phase of $F'$ can be absorbed into a gauge, leaving the hyperbolic identity $1-|F(z)|^2=|F'(z)|(1-|z|^2)$ for the modulus and the conformal covariance of the Laplacian for the phase. Completeness is then Weyl's lemma: matching $\\vartheta$ fixes $|B|$, matching $K$ makes the phase difference distributionally harmonic, and a harmonic phase difference is a gauge. Across vortices the single-valued phase form $\\eta=\\operatorname{Im}(dB/B)$ splits into the exterior derivative $d\\eta$, the charge current, and the co-derivative $d{\\star}\\eta$, the curvature current, with the model vortex depositing $2\\pi\\delta_p$ in $d\\eta$ and nothing in $d{\\star}\\eta$.","core_discovery":"The central claim is that two vortex-free sourceless framed Beltrami–Vekua equations are equivalent if and only if their minimal forms on the disk are related by a holomorphic zero-free gauge and a Möbius change of variables, and this happens exactly when there is a Möbius transformation $F$ of the disk with $\\vartheta_1=\\vartheta_2\\circ F$ and $K_1=F^*K_2$. The pair is unconstrained: every positive Hölder density and every current $\\Delta\\theta\\,dx\\,dy$ with Hölder $\\theta$ is realized. When the coefficient $B$ has zeros but the phase form $\\eta=\\operatorname{Im}(dB/B)$ is locally integrable, the complete data are the triple $(\\vartheta,d\\eta,d{\\star}\\eta)$; on the tame sector $d\\eta$ is the purely atomic charge measure with mass $2\\pi n_p$ at each vortex, and $d{\\star}\\eta$ is the curvature current, with no atoms. Thus the classical mass is the zeroth hyperbolic moment of $\\vartheta$ and the charge is the total flux of $d\\eta$, and neither number sees the rest of the moduli.","pith_inferences":["Beyond the paper, on multiply connected domains the same argument suggests that the complete data would become $(\\vartheta,d\\eta,d{\\star}\\eta)$ plus the periods of $\\eta$ modulo $4\\pi\\mathbb Z$, with only the finite conformal group acting; component charges would then be exact invariants.","The open problem of separating zero sets suggests a concrete experiment: take a phase-integrable $B$ whose zero set disconnects the disk and multiply the phase by a different constant on each component while keeping the triple fixed; if the resulting equations are inequivalent, relative phase constants are genuine moduli.","A numerical implementation could test the equivalence criterion by aligning the scalar profiles $\\vartheta$ and $\\kappa$: because the pair is complete, agreement up to a disk automorphism would certify equivalence of two vortex-free equations.","In a quaternionic analogue, conformal invariance of the Hodge star on middle-degree two-forms in four dimensions would allow the same exterior/co-exterior split, suggesting a higher-dimensional charge and curvature structure; whether it survives noncommutativity remains the frontier question."],"forward_implications":["On the vortex-free sector the classification is complete with exact range: two equations are equivalent if and only if $(\\vartheta,K)$ agree up to one Möbius map, so equal mass and equal charge no longer imply equivalence.","The mass is the zeroth hyperbolic moment $\\int_{\\mathbb D}\\vartheta\\,\\omega_{\\mathrm{hyp}}$, and every hyperbolic moment or distribution profile of $\\vartheta$ is an invariant; the charge, wherever defined, is the total flux of $d\\eta$.","Across tame vortices the triple $(\\vartheta,d\\eta,d{\\star}\\eta)$ is complete, and neither current can be dropped: $z$ and $\\bar z$ share $\\vartheta$ and curvature but have opposite charges.","The solution sheaf of a minimal form determines the equation up to multiplier–composition isomorphism, so distinct moduli points are genuinely distinct pseudo-analytic function theories.","Explicit examples separate the two axes of incompleteness: equal mass and charge with different hyperbolic profiles, and identical $\\vartheta$ with different phase curvature."],"supporting_citations":[{"why":"Supplies the pseudo-analytic charge, the vortex winding, and the gauge action on the numerator field used throughout the reduction.","marker":"[1]"},{"why":"Provides the framed normal form, the straightening step, and the pseudo-analytic mass whose incompleteness is the paper's starting point.","marker":"[2]"},{"why":"Defines the Beltrami–Vekua slice and the mass two-form that becomes $\\vartheta\\,\\omega_{\\mathrm{hyp}}$ at the minimal form.","marker":"[4]"},{"why":"Supplies the classical theory of pseudo-analytic functions and local solution spaces that the solution-sheaf classification extends.","marker":"[6]"},{"why":"Provides elliptic surjectivity of $\\bar\\partial$ on the disk, used in the $A$-gauge and in the realization theorem.","marker":"[9]"},{"why":"Provides the theory of currents and harmonic forms used for the distributional div–curl argument across vortices.","marker":"[10]"}],"fun_headline_variants":["Vortex-free moduli need density plus current, not just mass and charge","Two invariants, not two numbers, pin down vortex-free equations","Density plus current, not mass and charge, classify vortex-free cases","Equal mass and charge don't suffice; density and current classify"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The vortex-sector completeness theorem assumes the zero set of $B$ is closed, Lebesgue-null, and has connected complement; if the zero set separates the disk, the sufficiency proof fixes only one phase constant per component and leaves relative-phase moduli open, and the whole program also assumes a $C^{1,\\alpha}$ derivative on the projective frame ratio.","fun_headline_variants_meta":{"raw":{"variants":["Vortex-free moduli need density plus current, not just mass and charge","Two invariants, not two numbers, pin down vortex-free equations","Density plus current, not mass and charge, classify vortex-free cases","Equal mass and charge don't suffice; density and current classify"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000853,"raw_usage":{"total_tokens":3772,"prompt_tokens":1076,"completion_tokens":2696,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":692,"completion_tokens_details":{"reasoning_tokens":2619}},"tokens_in":692,"tokens_out":2696,"duration_ms":15983,"temperature":1.0,"reasoning_tokens":2619,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T12:40:51.224911+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the current pairing $\\langle d\\eta,\\psi\\rangle=-\\int_{\\mathbb D} d\\psi\\wedge\\eta$ for the tame field $B=z$ and a compactly supported test function $\\psi$ with $\\psi(0)\\ne0$; Theorem 7.3 predicts exactly $2\\pi\\psi(0)$, so any discrepancy in this model-vortex calculation would falsify the atomicity claim that carries the vortex-sector completeness theorem.","supporting_citations":[{"cited_title":"The Pseudo-Analytic Charge","cited_arxiv_id":"2607.07910","evidence_quote":"Supplies the pseudo-analytic charge, the vortex winding, and the gauge action on the numerator field used throughout the reduction."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides elliptic surjectivity of $\\bar\\partial$ on the disk, used in the $A$-gauge and in the realization theorem."},{"cited_title":"de Rham,Differentiable Manifolds: Forms, Currents, Harmonic Forms, Grundlehren der mathematischen Wissenschaften266, Springer-Verlag, Berlin, 1984","cited_arxiv_id":null,"evidence_quote":"Provides the theory of currents and harmonic forms used for the distributional div–curl argument across vortices."}],"review_version":1}