{"id":"439b3af3-6dd1-4a47-aeff-6e3ee77b5f14","arxiv_id":"2502.07301","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A Wigner/CS decomposition of the 6x6 seesaw mixing matrix is developed, showing that the light-heavy hierarchy is carried by three tiny rotation angles and all remaining model freedom by four unitary matrices.","lead":"The paper rewrites the 6x6 neutrino mass matrix of the canonical seesaw model using a decomposition of unitary matrices into three small rotation angles between four 3x3 unitary matrices. The decomposition makes the huge gap between the electroweak and seesaw scales appear as three very small angles, giving a new set of physical parameters for the model.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The exact Wigner parametrization exists for every seesaw model by CS decomposition, but the paper never gives an exact construction of u1, u2; Eq. (39) is implicit and Eq. (40) is only leading-order, so the claimed full description is incomplete.","rationale":"The reader's weakest-assumption analysis is substantially correct: Eq. (39) is the crucial constructive step, and the paper's leading-order treatment does not close the gap. I partially disagree with the framing that the premise 'an exact solution exists and is unique' is unproven. Existence follows from the universality of the CS decomposition when applied to any unitary U that diagonalizes M. Uniqueness is not actually needed for the parametrization to be valid, although it is needed for a clean parameter-counting claim. The exact relations (28)-(38) are algebraically consistent, the CS decomposition proof in Sec. 2 is standard, and the parameter counting is internally consistent after the three redundant phases are removed. I found no internal contradiction in the main derivation. The legitimate deficiency is therefore practical rather than foundational: the paper stops at a first-order approximation and does not provide the exact inverse map that a 'full description' requires. That is enough to justify the reader's CONDITIONAL verdict, asking for a proof or numerical demonstration of solvability of Eq. (39) or, better, an explicit algorithm based on Takagi diagonalization followed by CS decomposition of the diagonalizing unitary. Such an algorithm would settle the constructive question and turn the parametrization into a complete recipe. I do not see grounds for rejection or for unconditional acceptance without that missing step.","tokens_in":11799,"tokens_out":24733,"duration_ms":239182,"concrete_test":"For a random seesaw point, e.g., mR = diag(1, 1.2, 1.5) and mD with entries of order 0.01, compute the exact 6x6 Takagi-diagonalizing unitary U and then CS-decompose U (via SVD of its light-heavy block R) to obtain u1, u2, theta, v1, v2. Verify that Eqs. (28), (31), and (39) hold to machine precision. Then compute the leading-order solution from Eq. (40) and evaluate the residual of Eq. (39). If the CS-derived parameters satisfy Eq. (39) exactly while the leading-order parameters fail at O((v/M)^2), the concern lands exactly as stated: the parametrization is sound, but the paper's constructive recipe is incomplete. If no exact solution is found from the CS decomposition, the parametrization itself would be in trouble.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader locates the load-bearing step in Eq. (39), and that is the right place, but the sharpest form of the problem is not existence—it is constructiveness. For any mD and mR, the symmetric 6x6 matrix M admits a Takagi diagonalization by some unitary U, and by the CS decomposition proved in Sec. 2, that U can be written in the Wigner form diag(u1,u2) C diag(v1,v2). The exact block-diagonalization relations (28)-(38) then hold automatically. Therefore the existence of u1, u2 and the angles is guaranteed by standard linear algebra, and the central reparametrization claim is not in jeopardy. What is unsupported is the paper's program to 'demonstrate how to find out them' for a given mD and mR. Equation (39) is a nonlinear system for u1, u2 and the angles, but the paper provides only the leading-order SVD solution, Eq. (40), obtained by dropping the second term on the right-hand side of Eq. (39). No proof is given that this approximation can be corrected to an exact solution, no uniqueness statement is established, and no convergent iterative scheme is supplied. Consequently the advertised eighteen physical parameters are not tied to an exact, constructive map from arbitrary mD and mR to the Wigner variables; the parametrization is a complete description only up to the leading order unless the implicit equation is solved or replaced by the CS-decomposition of the diagonalizing unitary.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes to parametrize a 6x6 unitary matrix by the Wigner (CS) decomposition U = diag(u1,u2) · C · diag(v1,v2), where C is determined by three angles, and to apply this parametrization to the canonical seesaw model with three right-handed neutrinos. Section 2 gives a self-contained derivation of the Wigner parametrization from the unitarity conditions. Section 3 applies it to the seesaw mass matrix, derives the exact block-diagonalization relations in Eqs. (28)-(38), introduces the implicit equation (39) for the unitary matrices u1 and u2, and gives a leading-order SVD solution in Eq. (40). The paper also counts eighteen physical parameters in the Wigner parametrization and compares it with the generic parametrization and Xing's Euler parametrization.","tokens_in":12056,"tokens_out":13369,"duration_ms":130973,"significance":"If the constructive program were completed, this would be a useful and physically transparent parametrization: the electroweak-seesaw hierarchy would be isolated in three small angles, and the remaining physical degrees of freedom would reside in two unitary matrices. The exact algebra from Eq. (26) through Eq. (38) is, as far as I have checked, correct, and the CS-decomposition derivation in Section 2 is self-contained and valuable in its own right. The caveat is that the advertised 'full description' is currently tied to an implicit equation whose exact solvability and uniqueness are not demonstrated; this limits the practical and conceptual payoff of the parametrization until the gap is closed.","major_comments":[{"comment":"The constructive step from given mass matrices mD and mR to the Wigner variables is incomplete. Equation (39) is the only exact equation proposed for determining u1 and u2, but the text immediately labels this determination 'only implicit' and replaces Eq. (39) by the leading-order SVD in Eq. (40), which drops the second term of Eq. (39). No existence or uniqueness theorem for solutions of Eq. (39) is given, and no convergent iterative procedure is supplied. Since the abstract promises a 'full description' and Section 3 states that the goal is to 'demonstrate how to find out them together with three rotation angles ... for a given set of mD and mR', this is a load-bearing gap rather than a cosmetic one. The natural fix is to invoke the CS decomposition proved in Section 2 on the Takagi diagonalizing matrix of the full 6x6 mass matrix; that would establish existence of u1, u2, C, v1, v2 for every mD and mR and would make the parametrization rigorous. As written, only the leading-order map from mD and mR to the parameters is established.","section":"Sec. 3, Eq. (39) and Eq. (40)"},{"comment":"The identification of the eighteen physical parameters is not fully justified. The text selects u1, v2, the three angles, and the three heavy masses as physical, and determines v1 and the light masses from Eq. (49). However, u2 also enters the reconstruction of mD and mR through V = u1 c v1, R = u1 s v2, S = -u2 s v1, U = u2 c v2 and Eq. (43). No argument is given that different choices of u2 produce physically equivalent Lagrangians, for example through a right-handed neutrino flavor rotation, or that u2 can be consistently eliminated from the reconstruction. The counting may well be correct, but the paper should explicitly exhibit the invariance that removes u2 (or replace it in the list of physical parameters) and should show how the eighteen parameters uniquely determine the model.","section":"Sec. 3, 'Wigner Parametrization' paragraph"}],"minor_comments":[{"comment":"The notation s^2 and s^T is overloaded: s is first a rectangular n x m diagonal matrix and then a symbol inside s^2. Please define the rectangular matrix s and its transpose explicitly before using them in Eqs. (17)-(21).","section":"Sec. 2, after Eq. (20)"},{"comment":"The sentence 'the last n - m diagonal elements of c are one' is phrased for n > m only; for the n = m case, used in the rest of the paper, the statement is vacuous. A uniform formulation would avoid confusion.","section":"Sec. 2, Eq. (10)"},{"comment":"The footnote writes 'v1 = i1' and 'v2 = 1'; the symbol 1 (and i1) should be identified as the identity matrix, or the identity should be written as 1_3.","section":"Footnote 2"},{"comment":"There is a typo in the word 'Scienc es' in the affiliation line, and in Eq. (38) the expressions 'cos 2' should be read as cos^2; a formatting pass would improve readability.","section":"Abstract and affiliations"}],"recommendation":"major_revision","confidential_remarks":"The constructive gap identified in this report is real but fixable; I do not see grounds for rejection. The cleanest remedy is to state explicitly that the Wigner variables are obtained by applying the CS decomposition of Section 2 to the Takagi diagonalizing unitary matrix of M, and to adjust the wording about 'finding' the parameters accordingly. The parameter-counting issue concerning u2 also needs a clear invariance argument or a revised counting. The topic and references are appropriate for the journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a solid, mostly correct reparametrization paper. The genuinely new part is applying the Wigner/CS decomposition to the canonical seesaw and deriving the exact block-diagonalization relations (28)-(38). The angle counting and the mapping to eighteen physical parameters are done carefully, and the connection to Xing's Euler parametrization is useful. The proof of the parametrization in Sec. 2 is a clean re-derivation of the CS decomposition, and the parameter counting adds some value.\n\nThe soft spot is exactly where the reader and the stress test point: the constructive step. The paper says it will 'demonstrate how to find' u1, u2 and the angles, but what it actually gives is Eq. (39), an implicit equation, and Eq. (40), a leading-order SVD solution obtained by dropping the second term. The CS decomposition guarantees that for any mD, mR there exists a unitary U in Wigner form that diagonalizes the 6x6 mass matrix; so the parametrization itself always exists. What is missing is a practical algorithm: no proof that Eq. (39) has a solution for generic mD, mR (though existence follows from the CS theorem), no uniqueness statement, and no iterative scheme beyond leading order. The paper's own text admits the determination is 'only implicit,' so the advertised 'full description' is really 'full up to leading order' until the implicit equation is solved or replaced.\n\nThat said, this does not sink the core claim. The exact relations (32)-(38) are correct, they are derived without approximation, and they do show that the hierarchy sits in three small angles. The parametrization is a legitimate reformulation, not new physics, and it should be compared explicitly with Casas-Ibarra; the paper misses that comparison.\n\nMy recommendation: send it to review, conditional on the author either providing a constructive procedure (numerical verification of Eq. (39) would suffice) or softening the claims to 'leading-order construction.' The derivation is worth preserving, and the gap is well-defined.","headline":"Wigner/CS parametrization of the seesaw is real and mostly correct, but the constructive recipe stops at leading order; still worth a referee.","tokens_in":12661,"tokens_out":2197,"would_cite":true,"duration_ms":18904,"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":"The paper proposes a Wigner-type factorization of the 6×6 neutrino mixing matrix that concentrates the twelve orders of magnitude between the electroweak and seesaw scales into three small rotation angles, with four 3×3 unitary matrices…","keywords":["Wigner parametrization","CS decomposition","canonical seesaw model","right-handed neutrinos","Majorana neutrino masses","lepton flavor mixing","CP-violating phases","neutrino mass hierarchy"],"falsifier":"Take a randomly generated invertible complex 3×3 matrix $m_D$ and a symmetric 3×3 matrix $m_R$ with entries of order $10^2$ GeV and $10^{14}$ GeV, and search numerically for unitary $u_1,u_2$ satisfying the exact implicit equation. If a generic pair admits no such unitary solution, the Wigner parametrization does not cover the full canonical seesaw parameter space; the paper only demonstrates the leading-order solution $u_1\\hat{c}^{-1}\\hat{s}\\,u_2^\\dagger \\approx m_D m_R^{-1}$.","tokens_in":11489,"feed_emoji":"⚛️","tokens_out":10098,"duration_ms":82920,"temperature":0.7,"pith_summary":"This paper argues that the canonical seesaw model—the Standard Model plus three right-handed Majorana neutrinos—can be fully described in a parametrization where the 6×6 unitary matrix that diagonalizes the neutrino mass matrix is factored as two block-diagonal unitary matrices surrounding a three-angle cosine–sine rotation. In this Wigner parametrization, the enormous gap between the electroweak scale (about $\\Lambda_{\\rm EW}\\approx 10^2$ GeV) and the seesaw scale (about $\\Lambda_{\\rm SS}\\approx 10^{14}$ GeV) is carried by three rotation angles of order the ratio of those scales, instead of being scattered through many mass-matrix entries. All remaining flavor structure and CP violation live in four 3×3 unitary matrices, and the paper identifies the eighteen physical parameters of the model in this basis. A sympathetic reading is that the parametrization offers a more direct separation of the seesaw hierarchy from flavor physics, and it connects explicitly to the Euler-like parametrization already used in the literature.","feed_headline":"Three tiny angles capture the seesaw's 10^12-fold mass gap","feed_subtitle":"Rewrites the full seesaw model as four unitary matrices plus three tiny rotation angles","key_machinery":"The central object is the Wigner parametrization (known in mathematics as the CS decomposition) of a 6×6 unitary matrix: $U = \\mathrm{diag}(u_1,u_2)\\cdot \\begin{pmatrix}\\hat{c}&\\hat{s}\\\\-\\hat{s}&\\hat{c}\\end{pmatrix}\\cdot \\mathrm{diag}(v_1,v_2)$, with four 3×3 unitary matrices and diagonal matrices $\\hat{c}=\\mathrm{diag}(\\cos\\vartheta_i)$, $\\hat{s}=\\mathrm{diag}(\\sin\\vartheta_i)$. It works by rotating the neutrino mass matrix with $u_1,u_2$ until the off-diagonal 3×3 blocks have a form that the cosine–sine rotation can exactly block-diagonalize; equivalently, it is the singular value decomposition of the 3×3 blocks $V=u_1\\hat{c}v_1$ and $R=u_1\\hat{s}v_2$ of the full mixing matrix. The smallness of the angles encodes the seesaw suppression, and the exact block-diagonalization identities are what convert the original mass matrices into the scaling law and the angle formulas.","core_discovery":"On its own terms, the paper establishes that for a canonical seesaw model with three right-handed neutrinos, the mass matrices can be transformed by unitary rotations $u_1,u_2$ to a basis where an orthogonal cosine–sine matrix with angles $\\vartheta_1,\\vartheta_2,\\vartheta_3$ block-diagonalizes the full 6×6 mass matrix exactly. In that basis the light and heavy effective mass matrices obey the scaling law $(v_1\\hat{m}v_1^T)_{ij}=-(v_2\\hat{M}v_2^T)_{ij}\\tan\\vartheta_i\\tan\\vartheta_j$, and the angles are given by $s_i^2=\\frac{1}{2}\\left[1-(\\tilde{m}_R)_{ii}/\\sqrt{(\\tilde{m}_R)_{ii}^2+4(\\tilde{m}_D)_{ii}^2}\\right]$, so each angle is naturally of order $v/M_i$. The paper then shows that the matrices $u_1,u_2$ must solve the implicit equation $m_R = u_2\\hat{s}^{-1}\\hat{c}\\,u_1^\\dagger m_D - m_D^T u_1^{*}\\hat{s}\\,\\hat{c}^{-1}u_2^T$, and it supplies only the leading-order singular-value solution $u_1\\hat{c}^{-1}\\hat{s}\\,u_2^\\dagger \\approx m_D m_R^{-1}$. It identifies the physical parameters in the Wigner basis as the three angles, the three heavy masses, and six parameters from each of $u_1$ and $v_2$.","pith_inferences":["If the implicit equation for $u_1,u_2$ is exactly solvable for generic mass matrices, the Wigner basis becomes a natural expansion scheme for seesaw phenomenology, allowing leptogenesis and lepton-flavor-violating observables to be computed order by order in the small angles $\\tan\\vartheta_i$.","The scaling law suggests sum rules connecting the light neutrino mass matrix to heavy-neutrino mixing, which could be tested by future measurements of neutrino masses and heavy-neutrino searches; this is an extension beyond what the paper computes.","A constructive algorithm can be built by iterating from the paper's leading-order singular-value solution to satisfy the exact equation for $u_1,u_2$, yielding higher-order corrections in $O(v/M)$ that are not derived in the paper.","The same block-diagonalizing strategy may extend to other two-scale neutrino mass models, provided an analogous cosine–sine rotation exists; the paper notes the minimal-seesaw case but does not explore other mass models."],"forward_implications":["Any canonical seesaw model can be rewritten with exactly eighteen physical parameters in the Wigner basis: three angles $\\vartheta_i$, three heavy masses $M_i$, six parameters from $u_1$, and six from $v_2$.","The twelve-order hierarchy between $\\Lambda_{\\rm EW}$ and $\\Lambda_{\\rm SS}$ no longer has to be tuned entry by entry in $m_D$ and $m_R$; it is carried uniformly by the three angles that are automatically $O(\\Lambda_{\\rm EW}/\\Lambda_{\\rm SS})$.","Flavor structure and mass hierarchy are disentangled: the scaling law ties the light-neutrino effective matrix to the heavy one purely through $\\tan\\vartheta_i\\tan\\vartheta_j$, so the flavor patterns of $m_D$ and $m_R$ are separated from their eigenvalue hierarchies.","The Wigner form connects to the Euler parametrization by identifying $R=u_1\\hat{s}v_2$ and $V=u_1\\hat{c}v_1$, so existing results in the Euler basis can be translated through a singular-value decomposition.","The same factorization applies to the minimal seesaw model with two right-handed neutrinos by taking the rectangular Wigner case with $n=3$ and $m=2$."],"supporting_citations":[{"why":"Supplies the original Wigner/CS factorization of a unitary matrix that the paper generalizes and applies to the seesaw model.","marker":"[5]"},{"why":"Documents the CS decomposition and gives the matrix-analysis identities used to prove the factorization and count its parameters.","marker":"[6]"},{"why":"Provides the special diagonal mass-matrix case that motivates the angle formula and the resulting mixing matrices.","marker":"[10]"},{"why":"Introduces the Euler-like parametrization of the 6×6 flavor mixing matrix to which the Wigner parametrization is explicitly connected.","marker":"[11]"},{"why":"Presents the flavor-structure framework and physical-parameter counting that the Wigner-basis parameter set is compared against.","marker":"[12]"},{"why":"Defines the canonical seesaw mechanism for tiny Majorana neutrino masses that the parametrized model is built to describe.","marker":"[1]"},{"why":"Supplies the leptogenesis connection that motivates the seesaw model's simultaneous explanation of neutrino masses and baryon asymmetry.","marker":"[2]"},{"why":"Provides the standard Lagrangian and notation for the canonical seesaw model used throughout the paper.","marker":"[3]"}],"fun_headline_variants":["Seesaw model stripped to three angles and four matrices","Three tiny angles replace the seesaw hierarchy","Full seesaw model in four matrices, three angles","Wigner parametrization squeezes seesaw into three angles","Seesaw's 10^12 gap captured by three small angles"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The presentation is constructive only if the implicit matrix equation for the two basis-changing unitary matrices $u_1$ and $u_2$ admits an exact solution for every generic pair of Dirac and Majorana mass matrices; the paper gives the leading-order singular-value approximation and notes the exact determination is implicit, so an existence-and-uniqueness proof is not supplied.","fun_headline_variants_meta":{"raw":{"variants":["Seesaw model stripped to three angles and four matrices","Three tiny angles replace the seesaw hierarchy","Full seesaw model in four matrices, three angles","Wigner parametrization squeezes seesaw into three angles","Seesaw's 10^12 gap captured by three small angles"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000758,"raw_usage":{"total_tokens":3421,"prompt_tokens":1054,"completion_tokens":2367,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":670,"completion_tokens_details":{"reasoning_tokens":2286}},"tokens_in":670,"tokens_out":2367,"duration_ms":15233,"temperature":1.0,"reasoning_tokens":2286,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T13:11:30.639266+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a randomly generated invertible complex 3×3 matrix $m_D$ and a symmetric 3×3 matrix $m_R$ with entries of order $10^2$ GeV and $10^{14}$ GeV, and search numerically for unitary $u_1,u_2$ satisfying the exact implicit equation. If a generic pair admits no such unitary solution, the Wigner parametrization does not cover the full canonical seesaw parameter space; the paper only demonstrates the leading-order solution $u_1\\hat{c}^{-1}\\hat{s}\\,u_2^\\dagger \\approx m_D m_R^{-1}$.","supporting_citations":[{"cited_title":"On a Generalization of Euler’s Angles,","cited_arxiv_id":null,"evidence_quote":"Supplies the original Wigner/CS factorization of a unitary matrix that the paper generalizes and applies to the seesaw model."},{"cited_title":"Matrix Analysis","cited_arxiv_id":null,"evidence_quote":"Documents the CS decomposition and gives the matrix-analysis identities used to prove the factorization and count its parameters."},{"cited_title":"µ → eγ in Theories With Dirac and Majorana Neutrino Mass Terms,","cited_arxiv_id":null,"evidence_quote":"Provides the special diagonal mass-matrix case that motivates the angle formula and the resulting mixing matrices."},{"cited_title":"Baryogenesis Without Grand Unific ation,","cited_arxiv_id":null,"evidence_quote":"Supplies the leptogenesis connection that motivates the seesaw model's simultaneous explanation of neutrino masses and baryon asymmetry."},{"cited_title":"Neutrinos in particle physics, astronomy and cosmology,","cited_arxiv_id":null,"evidence_quote":"Provides the standard Lagrangian and notation for the canonical seesaw model used throughout the paper."}],"review_version":1}