{"id":"785b05c4-db29-4775-97f5-acf32b478a5f","arxiv_id":"2607.25848","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":2,"one_line_summary":"Non-normalizable vector fields are embedded into normalized spheres, but the resulting topological charges are fixed by an arbitrary lift choice, not by the field itself, so no canonical classification is delivered.","lead":"This paper lifts vector fields that vanish somewhere into a higher-dimensional sphere so that winding numbers can be computed; its examples produce charges 1, −1, −1. The catch: those charges are fixed by an arbitrary sign choice in the lifting step, so the same field can be assigned 0 or ±1 and the advertised classification of the field itself is not delivered.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Charge depends on free lift Γ: Eq. (8b) shows Q_1D = ½(Γ(∞)−Γ(0)) with Γ unconstrained, so the same field admits charges 0, ±1; no selection rule is given, making the invariant a property of (field, Γ), not the field.","rationale":"This is the load-bearing step because the paper's advertised contribution is the classification of non-normalizable fields. If the charge depends on the arbitrary lift Γ, then no unique invariant exists for the field. The reader's weakest_assumption identifies the same issue. I see no external-consensus objection; the issue is internal: Eq. (8b) and App. A show the freedom. A reframed paper could fix this by selecting Γ canonically (e.g., from the field's radial derivative along streamlines, or from boundary conditions) or by proving that some charge combination is Γ-independent; without that, the examples' charges are not properties of the original fields. The verdict REJECT is appropriate; no change needed.","tokens_in":11002,"tokens_out":4509,"duration_ms":41339,"concrete_test":"Analytically: For the 1D example, evaluate Q_1D from Eq. (8b) for two continuous choices: Γ_+(x)=+1 for all x (Q=0) and Γ_±(x)=1 for x<0, −1 for x≥0 (Q=1). Both yield continuous V (since v(0)=0, v(∞)=0), so the same field has different charges. Numerically: recompute Q_2D in Eq. (12) for v_2D from Eq. (10b) with Γ≡1 and with Γ=sgn(1−r); the degrees differ (0 vs −1), confirming the charge is not field-intrinsic.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that the embedding V=(v, Γ(v)√(1−|v|²)) gives topological invariants of the original field ˜v. This fails because Γ is not determined by ˜v. The paper's own Eq. (8b) gives Q_1D = ½(Γ(∞)−Γ(0)); since v→0 at x=0 and x=∞, either sign of Γ is allowed at those points, so the same field admits Q=0, +1, or −1. App. A explicitly concedes that Γ≡1 yields charge 0 while other continuous choices yield ±1, and no selection principle is supplied. The examples pick Γ by hand (sgn(x²−1/2), sgn(1−r)), and in the 2D case Γ=sgn(1−r) is not a function of v at all: the map v(r)=e^{1−r}r is two-to-one for 0<|v|<1, so the same target point has both r<1 and r>1 preimages but different Γ. Thus Eq. (3b)'s Γ(v) is not well-defined in the paper's own examples. Consequently the homotopy charge is a functional of (field, Γ), not a property of the field; the classification claim reduces to a restatement of standard homotopy theory of maps S^m→S^n with a chosen lift.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proposes to classify non-normalizable vector fields by first rescaling a field v:R^m→D^n and then embedding it as V=(v, Γ(v)√(1−|v|²))∈S^n, with homotopy classes in π_m(S^n) as invariants. Three examples are worked: Q_{1D}=1 from Eq. (8b), Q_{2D}=−1, and Q_{3D}=−1. The explicit computations for the chosen Γ are internally consistent, but the central claim is not. The sign function Γ is an arbitrary auxiliary lift with no selection rule; the same field admits Γ≡1 with zero charge (App. A) and other continuous choices with nonzero charge. Moreover, the 2D and 3D examples use Γ as a base-space function that is not a function of the target point v, contradicting Eq. (3b). The charges are therefore not invariants of the original field as stated.","tokens_in":11283,"tokens_out":7577,"duration_ms":80884,"significance":"If the central claim held, the construction would provide a unified topological characterization of fields with amplitude zeros, which is an interesting and potentially useful goal. A strength is the transparency of the worked examples. However, the lack of a field-determined Γ means the framework is not a classification of vector fields; it reduces to standard homotopy classification of maps S^m→S^n with a chosen lift. The manuscript explicitly concedes that the trivial lift always exists and gives zero charge for the same fields, and the examples rely on hand-picked sign functions. The internal inconsistency between Eq. (3b) and the examples further undermines the claimed framework. As presented, the paper does not establish robust topological invariants of non-normalizable vector fields.","major_comments":[{"comment":"The invariant depends on an arbitrary lift Γ, not on the field. Eq. (8b) gives Q_{1D}=½(Γ(∞)−Γ(0)), with Γ not fixed by v. For the same field, Γ≡1 yields Q=0 (explicitly admitted in App. A), Γ=sgn(x²−1/2) yields Q=1, and its negative yields Q=−1. No selection principle is supplied. Thus the charge is a functional of the pair (v,Γ), not an invariant of v; the classification claim is unsupported. The same issue propagates to Q_{2D} and Q_{3D}, which are set entirely by the boundary values of the hand-picked Γ.","section":"§II, Eq. (8b), App. A"},{"comment":"Eq. (3b) defines Γ as a function on the target disk, Γ(v). But the examples set Γ_{2D}(r)=sgn(1−r) and Γ_{3D}(r)=sgn(1−r) as functions of r. Because v_{2D}(r)=e^{1−r}r is two-to-one for 0<|v|<1, the same target point occurs with r<1 and r>1, hence with opposite Γ; no function Γ(v) reproduces this choice. More generally, a continuous function with |Γ|=1 on a connected disk D^n must be constant, so a true Γ(v) gives only the trivial lift. The examples are therefore instances of a different construction than the one stated.","section":"§II Eq. (3b) vs §III.B/C"},{"comment":"The robustness claim that the charges 'cannot change under continuous deformations... only when the embedding structure becomes singular' is conditional on a fixed Γ. Since Γ can be changed arbitrarily without changing v, the same physical configuration can be placed in different homotopy classes, and homotopy-equivalent configurations can be assigned different charges. The paper does not define an equivalence relation on the original fields, so no topological classification of vector fields is obtained; at most it yields a classification of (field,lift) pairs, which is standard homotopy theory.","section":"§IV, Discussion"}],"minor_comments":[{"comment":"Eq. (13) uses Γ(˜v(r)) although Γ was introduced as Γ_{2D}(r) in Eq. (11b); the notation should be made consistent.","section":"§III.B, Eq. (13)"},{"comment":"At points where ˜v=0 the angular coordinate χ is undefined; the rescaling step should state how continuity is defined at field zeros.","section":"§II, Eq. (2b)"},{"comment":"The displayed formula for f(x) is visually ambiguous; enclosing the denominator in parentheses would improve clarity.","section":"Appendix B, Eq. (B2)"}],"recommendation":"reject","confidential_remarks":"The core problem is not a local fix: the invariant is an arbitrary lift, and App. A effectively concedes that the same field carries zero charge under the trivial lift. The inconsistency between Γ(v) in Eq. (3b) and the base-space-dependent Γ in the examples is additional grounds for rejection. A revision would need to either prove that a canonical Γ is determined by the original field or explicitly limit the claims to a chosen lift, which would remove the advertised classification of non-normalizable vector fields."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know the punchline before reading this one: the construction in Sec. II is elementary but clean, and the 1D/2D/3D examples are done carefully and correctly. The problem is that the \"topological charge\" is not a property of the field — it is a free choice of the lift function Γ, and the paper's own App. A admits that the same field carries charge 0 for the trivial lift and ±1 for hand-chosen lifts.\n\nWhat is genuinely new is the specific parametrization V = (v, Γ√(1−|v|²)) and the worked examples showing how to choose Γ to get a nontrivial charge for fields with amplitude zeros. The paper is honest about the non-uniqueness and writes the charge formulas explicitly. If you want a concrete way to regularize a zero-bearing field into a sphere map, this gives you one.\n\nBut the central classification claim does not hold. Eq. (8b) gives Q_1D = ½(Γ(∞)−Γ(0)), and since v→0 at both ends, Γ(∞) and Γ(0) are independent signs. In the 2D example, Γ = sgn(1−r) is not a function of v at all: the map v(r) = re^{1−r} is two-to-one over the disk, so the same target point has preimages with different Γ. The paper writes Γ(v) in Eq. (3b), but the examples use Γ as a real-space function. No selection rule is supplied that would make Γ intrinsic to the field. The trivial lift always exists and gives zero. So the invariant is an attribute of (field, Γ), not of the field. This is not an extension of homotopy theory; it is ordinary homotopy theory applied to a lift that the user chooses by hand.\n\nThe paper could be salvaged as a methods contribution if it specified a canonical Γ tied to physical boundary conditions or to the structure of the zeros, and then proved the charge is independent of the remaining freedom — or if it honestly reframed the result as constructing a family of invariants parametrized by Γ. As written, the abstract and introduction overclaim.\n\nI would not cite this as a classification tool. But it is worth a serious referee: the mathematics is coherent, the examples are reproducible, and the flaw is conceptual rather than computational. A referee could push the authors to either supply the missing selection rule or scale back the claim. It would also make a good reading-group piece on the difference between a construction and an invariant.","headline":"The embedding construction is neat and the worked examples compute correctly, but the topological charge is set by a free lift function Γ, so the advertised classification of non-normalizable vector fields does not follow.","tokens_in":11946,"tokens_out":4195,"would_cite":false,"duration_ms":42229,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Non-normalizable vector fields—those with zeros in amplitude—can still carry well-defined topological charges after embedding into one higher dimension.","keywords":["topological classification","non-normalizable vector fields","amplitude zeros","homotopy invariants","embedding lift","skyrmion charge","Bloch points","winding number"],"falsifier":"Compute the one-dimensional charge from the paper's Eq. (8b) for the same field using two allowed continuous lifts: Γ≡1 gives Q = 0, while Γ = sgn(x²−1/2) gives Q = 1. Since the paper supplies no rule that selects one lift, the charge is not determined by the field alone, and the classification claim fails unless such a rule is added.","tokens_in":10729,"feed_emoji":"🌀","tokens_out":5854,"duration_ms":56559,"temperature":0.7,"pith_summary":"This paper aims to extend homotopy-based topological classification to vector fields that cannot be normalized because their amplitude vanishes somewhere, such as Bloch points in magnets, vortex cores, and optical singularities. The proposed route is to rescale the field's image to a unit disk and then append an extra component, Γ(v)√(1−|v|²), so that the field becomes a unit vector on a sphere in one higher dimension. Once the base space is compactified to a sphere, the embedded field defines a map between spheres and carries a homotopy charge. The authors work out one-, two-, and three-dimensional examples, obtaining charges 1, −1 (a skyrmion), and −1 respectively, and argue these charges are stable under continuous deformations.","feed_headline":"One extra dimension turns zero-amplitude fields into charged textures","feed_subtitle":"Zeros at vortex cores and Bloch points no longer block homotopy classification","key_machinery":"The load-bearing construction is the embedding lift: V = (v, Γ(v)√(1−|v|²)) ∈ S^n, with Γ a sign function (|Γ| = 1) chosen so that V is continuous. This converts a field v, whose image lies in the unit disk D^n, into a field on the unit sphere S^n with n+1 components, so that homotopy groups π_m(S^n) apply. In the examples, Γ is set by a sign rule such as sgn(x²−1/2) or sgn(1−r), and the topological charge reduces to a boundary term ½(Γ(∞)−Γ(0)).","core_discovery":"The paper's central claim is that the obstruction to topological classification—field zeros that make the usual normalization v/|v| undefined—can be bypassed by working with the normalized (n+1)-component field V = (v, Γ(v)√(1−|v|²)), where v is the rescaled original field and Γ(v) = ±1 is a sign function chosen to keep V continuous. For a compactifiable base space S^m, V defines a continuous map S^m → S^n, so its homotopy class is classified by π_m(S^n). The paper computes charges for representative 1D, 2D, and 3D fields and finds Q = 1, Q = −1 (classified as a skyrmion), and Q = −1, respectively. These charges are topologically stable and can change only when the embedding itself becomes s","pith_inferences":["A natural extension is to seek a canonical rule for choosing Γ(v) from the field geometry—for instance from level sets of |v| or the Hessian at zeros—which would make the resulting charge intrinsic to the original field rather than a choice of lift.","If the construction is to be experimentally useful, the extra component Γ√(1−|v|²) suggests that amplitude profiles, not just orientations, carry topological information; one could then test whether measured amplitudes yield consistent charges across different imaging modalities.","The boundary-value form of the charge suggests a testable conjecture: any two continuous lifts with the same boundary values of Γ at zeros and infinity produce the same homotopy class, which would narrow the apparent ambiguity."],"forward_implications":["Fields with amplitude zeros—Bloch points, vortex cores, optical nulls—can be assigned a global topological charge instead of being excised or treated only as defects.","The two-dimensional example turns a non-normalizable vortex-like field into a skyrmion with charge −1, showing that planar textures with vanishing amplitude can be topologically nontrivial.","The construction extends dimension by dimension: a three-dimensional field becomes a map S^3 → S^3 classified by π_3(S^3) = Z, yielding a three-dimensional charge.","Because the charges are homotopy invariants of the embedded field, they are stable under continuous deformations that preserve the embedding structure.","The method also covers compactifiable fields with nonzero asymptotic values, such as double-domain-wall profiles, after an additional target-space rescaling."],"fun_headline_variants":["One extra dimension classifies zero-amplitude fields","Zero-field topology solved by lifting to n+1 dimensions","Null vector fields get topological charges via embedding","Amplitude zeros no longer block homotopy classification","Lift fields with zeros to S^n for stable charges"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that the sign function Γ can be assigned to the field—rather than chosen by hand—so that the lift captures global information of the original field; the paper shows Γ≡1 gives charge 0 while other continuous choices give Q = 1 or −1, yet it offers no selection rule.","fun_headline_variants_meta":{"raw":{"variants":["One extra dimension classifies zero-amplitude fields","Zero-field topology solved by lifting to n+1 dimensions","Null vector fields get topological charges via embedding","Amplitude zeros no longer block homotopy classification","Lift fields with zeros to S^n for stable charges"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000144,"raw_usage":{"total_tokens":998,"prompt_tokens":720,"completion_tokens":278,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":464,"completion_tokens_details":{"reasoning_tokens":201}},"tokens_in":464,"tokens_out":278,"duration_ms":3618,"temperature":1.0,"reasoning_tokens":201,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T01:22:53.391500+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the one-dimensional charge from the paper's Eq. (8b) for the same field using two allowed continuous lifts: Γ≡1 gives Q = 0, while Γ = sgn(x²−1/2) gives Q = 1. Since the paper supplies no rule that selects one lift, the charge is not determined by the field alone, and the classification claim fails unless such a rule is added.","supporting_citations":[],"review_version":1}