{"id":"4308e4c3-8e50-415c-90a1-117e01042448","arxiv_id":"2506.08318","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"For a two-dimensional spinor Caffarelli-Kohn-Nirenberg inequality, the authors establish an equivalence to an Aharonov-Bohm inequality and provide numerical evidence that symmetry breaking occurs in a larger parameter region than previously known.","lead":"This paper studies a two-dimensional spinor version of a standard interpolation inequality and asks when the best functions are symmetric. It proves a link to an Aharonov-Bohm magnetic problem and gives numerical evidence that the non-symmetric region is larger than previously proven.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 5's sector reduction is only sketched: equivalence of full linear instability to non-positivity of the 2×2 operator A assumes that all spin-down and |m|≠1 angular sectors are stable, and this is not proven.","rationale":"The paper's central new claim is Theorem 5: full linear stability of (SCKNlog) around φ* is equivalent to positivity of the 2×2 operator A. The proof is only a sketch, and the missing step is precisely the reduction to the upper angular modes with |m|=1. Reconstructing the sector decomposition, one finds that for upper components with angular momenta m and -m, the second-variation quadratic form is A_m = A_1 + diag((α+m)^2-(α+1)^2, (α-m)^2-(α-1)^2), with the same potential and off-diagonal, so for |m|≥2 the positive diagonal shift makes those sectors dominated by A_1. The m=0 upper sector should be nonnegative by radial optimality, and the spin-down sectors are controlled by the positive scalar operator -∂²+α²-(p/2)|φ*|^{p-2}, since φ* solves -∂²φ*+α²φ*=φ*^{p-1}. These comparisons are plausible and likely standard, but the text does not state or prove them. The numerical phase boundary in Section 5 depends on this unproven reduction, and the paper itself flags the preliminary status through its title, the sketch-level proof of Theorem 5, the admission that the trial functions 'do not seem to be optimal', and the note that the Birman-Schwinger route is still being implemented. For these reasons, the reader's CONDITIONAL verdict is appropriate and should stand; supplying the missing sector proof would substantially strengthen the paper, while a failure of the reduction would invalidate the numerical phase boundary.","tokens_in":12504,"tokens_out":23036,"duration_ms":259679,"concrete_test":"Perform a direct numerical spectral computation of the full quadratic form Q on the cylinder: expand φ(s,θ) in angular Fourier modes up to |k|≤K (say K=6), use a high-order finite-difference or spectral basis in s∈[-L,L] with L large, and compute the lowest eigenvalue of the resulting finite matrix for parameter points straddling the claimed boundary in Fig. 3 (e.g., p=7.17, α=0.251). Decompose the minimizing eigenvector by angular and spin sector; if any sector other than the upper k=±1 components carries significant weight while the eigenvalue is negative, or if the sign of the full-Q eigenvalue disagrees with the lowest eigenvalue of the truncated A from Section 5, then the Theorem 5 reduction is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 5 is reduced to a single sentence: 'the only relevant directions for linear instability is the contribution of the spin-up component with angular momentum equal to 1 and the contribution of the spin-up component with angular momentum equal to −1.' This is load-bearing because the entire refined phase boundary is computed from the 2×2 operator A in Corollary 2(5). A complete proof requires: (a) for each |m|≥2, the quadratic form restricted to upper components u_m e^{imθ}+u_{-m} e^{-imθ} is A_m = A_1 + diag((α+m)^2-(α+1)^2, (α-m)^2-(α-1)^2) with the same |φ*|^{p-2} potential and off-diagonal, so A_m ≥ A_1; (b) the upper m=0 sector is nonnegative by radial optimality plus the additional global term; (c) all spin-down sectors are positive because they satisfy a scalar operator -∂²+(α-k)²-(p/2)|φ*|^{p-2} ≥ -∂²+α²-(p-1)|φ*|^{p-2} ≥ 0 via the Euler-Lagrange equation for φ*. The paper provides none of these details. Without them, a reader cannot exclude that a lower component with k=0 or an upper mode with |m|=2 gives a negative direction before A_1 does. The numerical truncation in Section 5 then assumes the reduction; if it is wrong, the sign of the computed lowest eigenvalue is not the sign of the true linear instability region.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies a two-dimensional spinorial analogue of the Caffarelli-Kohn-Nirenberg inequality, establishes an equivalence with a scalar Aharonov-Bohm interpolation inequality (Theorem 1), identifies the optimizer among radially symmetric spinors (Lemma 3), and claims that linear stability of the full problem around that optimizer is equivalent to positive semi-definiteness of a 2x2 operator A (Theorem 5, Corollary 2(5)). The paper then rewrites A as an infinite matrix in a Gegenbauer basis and uses finite truncations to compute approximate lowest eigenvalues, obtaining numerical evidence for a refined symmetry/symmetry-breaking phase boundary beyond the region established in [2].","tokens_in":12811,"tokens_out":10249,"duration_ms":134029,"significance":"If Theorem 5 and the numerical computations are correct, the paper provides a striking reduction: a single 2x2 differential operator determines the linear instability region for a spinorial interpolation inequality, and the refined phase boundary would significantly improve the previously known results. The paper is honest about its preliminary nature and gives credit to prior work. Its main strengths are the clean equivalence in Theorem 1, the explicit radial optimizer, and the transparent numerical formulation. The main weaknesses are the sketch-level proof of the load-bearing Theorem 5 and the absence of convergence or error bounds for the truncated-matrix computations, so the numerical phase boundary remains evidence rather than a rigorous result.","major_comments":[{"comment":"The proof of Theorem 5 is only a one-sentence sketch: 'the only relevant directions for linear instability is the contribution of the spin-up component with angular momentum equal to 1 and the contribution of the spin-up component with angular momentum equal to -1.' This reduction is load-bearing because Corollary 2(5) and the entire numerical phase boundary rest on the equivalence between full linear instability and non-positivity of the 2x2 operator A. A complete proof must show that no other angular momentum sector and no spin-down component can produce a negative direction before A does. For instance, for upper components with |m| >= 2 one would need to compare the sector quadratic form with A plus positive diagonal shifts, the upper m=0 sector must be controlled by radial optimality, and the spin-down sectors require a positivity estimate using the Euler-Lagrange equation for phi*. None of these estimates appear in the paper. This is the central gap and must be addressed before the claimed refined phase boundary can be accepted as proven.","section":"Section 3, Theorem 5 and Corollary 2(5)"},{"comment":"The displayed parameter condition states 'beta < alpha <= beta+1 and p = 2/(beta-alpha)', but together with p > 2 this is impossible: if beta < alpha then beta-alpha < 0, so p = 2/(beta-alpha) is negative. The Emden-Fowler computation in Section 2 implicitly requires beta-alpha = 2/p > 0, hence the correct condition should be alpha < beta <= alpha+1 (equivalently beta = alpha + 2/p). This sign error affects the definition of the problem and should be corrected in the final version.","section":"Section 1, parameter range definition"},{"comment":"The numerical phase boundary is obtained by truncating the infinite matrix M to its upper N x N block and computing the lowest eigenvalue for N = 20, 40, and 171. A negative eigenvalue of a finite principal submatrix gives a valid negative direction for the full quadratic form only if an exact eigenvector of that submatrix is used; the paper provides no verified error bounds for the computed eigenvalues. Conversely, the apparent threshold where the truncated eigenvalue changes sign is not certified: a true instability could be missed if the minimizing direction has significant support on high Gegenbauer modes. The statement that the approximation 'is not significantly losing essential features' is based on the observed mass concentration of one computed eigenvector and is heuristic. Since the refined phase transition is the main new contribution, the authors should provide convergence diagnostics, rigorous enclosures, or clearly state that only numerical evidence is claimed.","section":"Section 5, numerical truncation"}],"minor_comments":[{"comment":"The bullet 'The threshold between linear instability and linear instability lies strictly between the established regions of symmetry and symmetry breaking' contains a typo: the second 'linear instability' should read 'linear stability'.","section":"Section 5, summary bullet"},{"comment":"The two test functions phi_1 and phi_2 are described as 'informed guesses' and are used to derive explicit Pöschl-Teller conditions that color the red and blue regions in Figure 1. The relation between these trial-function regions and the supposedly complete Theorem 5 should be clarified: if A in Theorem 5 is complete, the trial functions give sufficient conditions only, and the paper should state clearly which regions are rigorous and which are only heuristic.","section":"Section 3, test functions"},{"comment":"The name 'Birman-Schwinger' is misspelled as 'Birmann-Schwinger' in the text.","section":"Section 4"},{"comment":"The proof of Lemma 3 is deferred to [6, Appendix A]; for a standalone paper, at least the essential normalization and the derivation of the Pöschl-Teller-type equation should be sketched, since the explicit form of phi* is used throughout the later analysis.","section":"Section 3, Lemma 3 proof"},{"comment":"No code or numerical parameter settings are supplied. Providing the code or a short data table for the computed thresholds would substantially improve reproducibility of the numerical phase boundary.","section":"Section 5, reproducibility"}],"recommendation":"major_revision","confidential_remarks":"The paper is clearly preliminary and the authors are prominent in the area. The main result, Theorem 5, is plausible and likely fixable, but the proof is only a sketch at a load-bearing point. The numerical phase boundary is presented as evidence, which is acceptable for a preliminary version, but for publication the authors should either upgrade Theorem 5 to a full proof or explicitly reframe the paper as a numerical study with convergence analysis. I would be willing to look at a revised version if these points are addressed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: Theorem 1 is a real, clean equivalence between the 2D spinor inequality and the Aharonov-Bohm inequality, and its proof is elementary and convincing. The numerical phase diagram is a useful extension of the Bonheure-Dolbeault-Esteban-Laptev-Loss results, and the N-dependence check (20, 40, 171) gives some credibility. But the paper's central analytical claim, Corollary 2(5) (linear instability is equivalent to non-positivity of the 2x2 operator A), rests on a one-sentence proof sketch. That is a load-bearing gap. The stress-test note is fair: a complete proof needs to show that all sectors with |m|>=2, the upper m=0 sector, and all spin-down modes cannot destabilize before the m=±1 upper modes. The paper does not provide those estimates. To its credit, the paper is honest about being preliminary: the title says so, and it admits the test functions are not optimal and that the Birman-Schwinger route is still being implemented. Still, the refined phase boundary in Figure 1 is computed from the unproven reduction. \n\nThe numerics are a second soft spot. The infinite matrix is truncated without a convergence theorem or error bounds. The comparison of N=40 and N=171 and the observation that the eigenfunction sits on the first ten even Gegenbauer polynomials are reassuring but not rigorous. Code and data would help; they are not supplied. \n\nOn the positive side, Theorem 1 is self-contained and its proof is complete, and the reduction of the parameter space is handled cleanly. The paper tells you exactly where its gaps are, which is a real virtue. \n\nFor a reader in nonlinear functional inequalities or magnetic-field interpolation problems, this is worth a careful look, but treat the numerical boundary as a conjecture, not a theorem. I would send it to a serious referee and ask for a full proof of Theorem 5, or at least a detailed decomposition with the missing sector estimates, and for code and data deposition. With those in hand it would be a solid paper.","headline":"A clean equivalence theorem and an intriguing numerical phase diagram, but the central linear-stability reduction is only sketched and the numerics are not reproducible; worth a serious referee.","tokens_in":13378,"tokens_out":6595,"would_cite":true,"duration_ms":72982,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B06","26D10","81Q10"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a two-dimensional spinorial Caffarelli–Kohn–Nirenberg inequality, the paper reduces linear instability of the radial optimizer to the failure of a single $2\\times 2$ differential operator to be positive semi-definite, and uses that…","keywords":["Caffarelli-Kohn-Nirenberg inequalities","spinors","Aharonov-Bohm magnetic fields","interpolation inequalities","symmetry breaking","linear instability","optimal constants","Gegenbauer polynomials"],"falsifier":"Compute the full linearized quadratic form without the $\\pm 1$ reduction: expand the test spinors in all angular momentum channels $k\\in\\mathbb{Z}$ and both spinor components, and search the parameter region where $A$ is positive semi-definite for any negative mode. Finding such a pair $(\\alpha,p)$ would falsify Theorem 5; running the same search on a fine grid over $(0,1/2)\\times(2,\\infty)$ and finding none would strengthen the reduction.","tokens_in":12259,"feed_emoji":"🧲","tokens_out":11490,"duration_ms":127192,"temperature":0.7,"pith_summary":"This paper studies a spinorial version of the Caffarelli–Kohn–Nirenberg inequality on the plane, in which unknown functions take values in $\\mathbb{C}^2$ and the gradient is coupled through Pauli matrices. The authors show that the inequality is equivalent, through an Emden–Fowler change of variables, to a scalar interpolation inequality with an Aharonov–Bohm magnetic field, and that this equivalence carries optimizers to optimizers. Their main target is the phase transition between radially symmetric and non-symmetric optimizers: they establish that linear stability around the known radial optimizer is equivalent to positive semi-definiteness of one explicit $2\\times 2$ differential operator, and they use a Gegenbauer-polynomial representation of that operator to compute its lowest eigenvalue numerically. The numerics place the linear-instability threshold strictly between the previously established symmetry and symmetry-breaking regions and extend the symmetry-breaking region beyond what was known earlier. The decisive analytical reduction is presented as a proof sketch, so the numerical phase boundary rests on the assumption that only two perturbation modes can destabilize the radial optimizer.","feed_headline":"Symmetry breaking in spinor inequalities traced to one 2×2 operator","feed_subtitle":"The phase boundary between radial and non-radial optimizers comes down to the lowest eigenvalue of one matrix.","key_machinery":"The load-bearing object is the $2\\times 2$ matrix-valued differential operator $A$ defined by equation (1), whose entries are second-order derivatives plus the radial optimizer $\\varphi_*(s) = (p\\alpha^2/2)^{1/(p-2)}(\\cosh((p-2)\\alpha s/2))^{-2/(p-2)}$ as a potential. Positive semi-definiteness of $A$ is the claimed criterion for linear stability of the radial optimizer. To compute that criterion, Section 4 rewrites $A$ as an infinite block matrix $M$ in a Gegenbauer polynomial basis with parameter $\\lambda = (2p/(p-2)-3)/2$; the finite-section eigenvalues of $M$ are the numerical quantities that decide the phase boundary. The two explicit test directions used in the paper reduce to one-dimensional Pöschl–Teller operators (solvable Schrödinger operators with $\\cosh^{-2}$ potentials), whose known lowest eigenvalues give closed-form instability curves.","core_discovery":"On the authors' terms, the central discovery is that symmetry in the two-dimensional spinorial Caffarelli–Kohn–Nirenberg inequality is governed by one $2\\times 2$ operator. Theorem 1 states that (SCKN) has exactly the same optimal constant as the Aharonov–Bohm interpolation inequality, with optimizers factoring as $\\varphi^\\# = \\psi^\\# \\chi_0$ for a constant spinor $\\chi_0$. Around the explicit radial optimizer $\\varphi_*(s)$, the quadratic form of the linearized problem is positive if and only if the operator $A$ of equation (1) is positive semi-definite, and Theorem 5 asserts that the full region of linear instability in the parameter plane $(\\alpha,p)$ is exactly where $A$ is not positive semi-definite. The reduction claims that only the upper spinor component with angular momentum $1$ and the same component with angular momentum $-1$ can ever be destabilizing. When $A$ is written as an infinite matrix in a Gegenbauer basis and truncated, its lowest eigenvalue changes sign strictly inside the previously undecided band, giving a symmetry-breaking region larger than the earlier bound and leaving the known symmetry region linearly stable.","pith_inferences":["If the angular-momentum reduction in Theorem 5 is correct, the same operator $A$ should also control quantitative stability rates; a natural check is to compare its lowest eigenvalue with the full linearized spectrum computed at higher truncation order.","The paper's conjecture that its two-mode Ansatz is equivalent to the earlier study's instability criterion suggests that the true boundary is the envelope of the one-parameter family $t\\in[0,1]$; making that envelope analytic would turn the numerical curve into a closed-form threshold.","Because the numerical lowest eigenfunction is concentrated on the first few even Gegenbauer polynomials, a rigorous finite-section error bound for the matrix $M$ could convert the numerical phase boundary into a theorem.","The contrast with the three-dimensional spinor problem indicates that the reduction to angular-momentum modes $\\pm 1$ is specific to two dimensions; an analogous instability criterion in dimension three would need a different, likely larger, family of modes."],"forward_implications":["Where the lowest eigenvalue of $A$ is negative, the global optimizer of (SCKN) cannot be radially symmetric, because Lemma 4 and Theorem 5 turn linear instability into symmetry breaking.","The known radial-symmetry region of the earlier Aharonov–Bohm study lies in the linearly stable zone, so the numerical threshold does not contradict the analytic symmetry result.","Because (SCKN) and the Aharonov–Bohm interpolation inequality have the same optimal constant and related optimizers, the phase diagram computed here transfers directly to the scalar magnetic inequality.","The linear-stability/instability threshold lies strictly between the previously established symmetry and symmetry-breaking regions, so the undecided band shrinks to a thin interval.","The computed eigenvalue data indicate a second-order phase transition at the boundary, meaning the lowest eigenvalue crosses zero continuously."],"supporting_citations":[{"why":"Supply the Aharonov–Bohm inequality and its symmetry/symmetry-breaking regions, which Theorem 1 shows to be equivalent to (SCKN); they provide the comparison regions and the separation curve used throughout the numerics.","marker":"[2]"},{"why":"Provide the three-dimensional spinor CKN companion paper, whose Appendix A gives the radial optimizer proof for Lemma 3 and whose linearization framework is adapted here.","marker":"[6]"},{"why":"Provide the method of proving symmetry breaking by linearizing around a radial optimizer and finding a negative mode, used in Lemma 4.","marker":"[10]"},{"why":"Underlies the explicit radial optimizer profile $\\varphi_*$ quoted in Lemma 3.","marker":"[15]"},{"why":"Gives the explicit lowest eigenvalue of the Pöschl–Teller operators from which the two closed-form symmetry-breaking conditions are derived.","marker":"[14]"},{"why":"Supplies the Gegenbauer polynomial recurrence identities used to construct the infinite matrix $M$ in Section 4.","marker":"[16]"}],"fun_headline_variants":["Spinor inequality symmetry hinges on a single 2×2 operator","2×2 operator decides symmetry breaking in spinor CKN","Phase boundary in spinor inequality: one matrix eigenvalue","Spinor CKN symmetry breaking region expands via 2×2 operator","Linear stability in spinor inequality ties to a 2×2 operator"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof that $A$ completely decides linear instability assumes that the only perturbation directions that can ever become unstable are the upper spinor component with angular momentum $1$ and the upper spinor component with angular momentum $-1$; if any other angular momentum or the other spinor component could destabilize first, the computed phase boundary would be wrong.","fun_headline_variants_meta":{"raw":{"variants":["Spinor inequality symmetry hinges on a single 2×2 operator","2×2 operator decides symmetry breaking in spinor CKN","Phase boundary in spinor inequality: one matrix eigenvalue","Spinor CKN symmetry breaking region expands via 2×2 operator","Linear stability in spinor inequality ties to a 2×2 operator"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000664,"raw_usage":{"total_tokens":3051,"prompt_tokens":983,"completion_tokens":2068,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":599,"completion_tokens_details":{"reasoning_tokens":1979}},"tokens_in":599,"tokens_out":2068,"duration_ms":16810,"temperature":1.0,"reasoning_tokens":1979,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T05:13:47.507825+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the full linearized quadratic form without the $\\pm 1$ reduction: expand the test spinors in all angular momentum channels $k\\in\\mathbb{Z}$ and both spinor components, and search the parameter region where $A$ is positive semi-definite for any negative mode. Finding such a pair $(\\alpha,p)$ would falsify Theorem 5; running the same search on a fine grid over $(0,1/2)\\times(2,\\infty)$ and finding none would strengthen the reduction.","supporting_citations":[{"cited_title":"B ONHEURE , J","cited_arxiv_id":null,"evidence_quote":"Supply the Aharonov–Bohm inequality and its symmetry/symmetry-breaking regions, which Theorem 1 shows to be equivalent to (SCKN); they provide the comparison regions and the separation curve used throughout the numerics."},{"cited_title":"F ELLI AND M","cited_arxiv_id":null,"evidence_quote":"Provide the method of proving symmetry breaking by linearizing around a radial optimizer and finding a negative mode, used in Lemma 4."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Underlies the explicit radial optimizer profile $\\varphi_*$ quoted in Lemma 3."},{"cited_title":"P ÖSCHL AND E","cited_arxiv_id":null,"evidence_quote":"Gives the explicit lowest eigenvalue of the Pöschl–Teller operators from which the two closed-form symmetry-breaking conditions are derived."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Gegenbauer polynomial recurrence identities used to construct the infinite matrix $M$ in Section 4."}],"review_version":1}