REVIEW 3 major objections 3 minor 1 cited by
New rephasing invariants and CP violation built from the trios of the CKM or PMNS matrix elements
T0 review · 3 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read For the CKM quark mixing matrix, every trio of matrix elements divided by the determinant has an imaginary part equal to minus the standard Jarlskog invariant, giving a whole new family of equivalent CP-violating observables.
desk verdict A clean trio-invariant construction whose unitary limit is plausible and numerically confirmed, but the non-unitarity claim is unverifiable from the abstract alone and needs a careful check. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the ratio $\lozenge = (V_{\alpha i} V_{\beta j} V_{\gamma k})/\det V$ for distinct rows and columns. Dividing by $\det V$ removes the arbitrary phase of each row and column of $V$, so the object is a genuine rephasing invariant; its imaginary part is the paper's candidate observable. For the non-unitary lepton case, the analogous $\blacklozenge$ is expanded using a full Euler-like block parametrization of the canonical seesaw flavor structure, and the unitarity-limit subtraction isolates $J_\nu$.
What would settle it
Measure the imaginary part of two different CKM trio invariants using independent CP-violating observables; if their values disagree beyond uncertainties, the identity is wrong. For the lepton side, construct a seesaw model outside the Euler-like block parametrization and compute the $\blacklozenge$ invariants: if their leading terms do not converge to one common invariant as unitarity is restored, universality fails.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is that the CP-violating content of a $3\times 3$ mixing matrix is carried redundantly by every ordered product of three elements with distinct rows and distinct columns: once divided by the determinant, the imaginary part of that object is rephasing invariant and equals $-J$ for the CKM matrix. The same construction applied to the PMNS matrix $U$, including the small non-unitarity induced by the canonical seesaw mechanism, yields $\blacklozenge$ invariants whose imaginary parts all have the same leading term, a universal lepton invariant $J_\nu$, in the unitarity limit. Thus the paper establishes an identity for the quark sector and a universality result for th
Load-bearing premise
The CKM half rests only on $V$ being unitary. The PMNS half assumes that the seesaw flavor structure is fully captured by the Euler-like block parametrization; if a seesaw realization falls outside that parametrization, the claimed universal convergence to $J_\nu$ need not hold.
Editorial extensions
If this is right
- Any one of the 36 CKM trio invariants can in principle be used to determine J, providing many cross-checks on CP-violating measurements.
- The identity ties the new trio observables to the established Jarlskog invariant, so existing constraints on J automatically constrain each lozenge.
- The lepton construction gives a set of CP-violating observables that are all equal in the unitary limit, making deviations from that common value a direct signature of seesaw-induced non-unitarity.
- The Euler-like block parametrization yields concrete formulas for the leading non-unitarity corrections, so different neutrino-mass models can be compared by how fast their blacklozenge invariants converge to J_nu.
Reading between the lines
- Because the CKM identity depends only on 3×3 unitarity, a natural extension is to ask whether a similar 'universal imaginary part' holds for the 3×3 submatrices of larger unitary matrices, or for non-unitary but nearly unitary matrices beyond the seesaw.
- The existence of many equivalent trio invariants suggests that CP violation might be measured from processes that isolate a single group of three CKM elements, such as certain B-meson or D-meson transitions, without needing the full unitarity-triangle construction.
- In a GUT or quark-lepton-complementarity setting, ratios of CKM and PMNS trios could provide a common language for comparing the amount of CP violation in the two sectors, a connection the paper does not itself develop.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces new rephasing invariants for the CKM and PMNS mixing matrices, formed from triple products of matrix elements normalized by the determinant of the matrix. For the CKM matrix, it claims that the imaginary part of every such trio invariant equals the Jarlskog invariant up to a sign. For the PMNS matrix, it claims that when small non-unitarity from the canonical seesaw mechanism is included, the leading terms of all these trio invariants converge to a single universal invariant J_nu in the unitarity limit, using a proposed 'full Euler-like block parametrization' of the seesaw flavor structure. The abstract contains no derivations, definitions of J_nu, or specification of the parametrization.
Significance. If the claims are correct, the paper would provide a systematic and unified rephasing-invariant framework for CP violation in both quark and lepton sectors, potentially offering new observables sensitive to unitarity violation in the PMNS matrix. The CKM part is a plausible consequence of unitarity and could be a useful pedagogical or technical compactification of the Jarlskog invariant. The PMNS non-unitarity extension is more speculative and, on the basis of the abstract alone, unverified; its significance depends entirely on whether the Euler-like block parametrization is sufficiently general.
major comments (3)
- [Abstract] The non-unitarity result is asserted rather than derived. The claim that Im(blacklozenge) for all trios converges to a universal J_nu rests on a 'full Euler-like block parametrization of the seesaw flavor structure', but no equations are given that define this parametrization, the invariant J_nu, or the expansion parameter. Without these, the reader cannot check whether the parametrization is general or whether it imposes a special texture on the non-unitary correction. This is load-bearing because a special texture could make the universality an artifact of the parametrization.
- [Abstract] For a generic non-unitary 3x3 matrix N = (1 - eta)U with Hermitian eta, the imaginary parts of different triad products are not automatically equal. The claimed convergence of all 36 invariants to a single J_nu is a nontrivial constraint. The abstract provides no argument, completeness proof, or numerical demonstration that seesaw-generated non-unitarity satisfies this constraint beyond the chosen parametrization. Please supply the explicit leading-order calculation and a statement of how the parametrization covers the full space of seesaw corrections.
- [Abstract] The CKM statement Im(lozenge) = -J is plausible and likely follows from standard 3x3 unitarity, but the abstract does not show how the determinant phase in the denominator is handled. Since det V is generally complex for a unitary V with CP violation, the derivation must specify the phase convention and the sign convention for J. This is not an objection to the result, but it should be made explicit so that the claimed equality is unambiguous.
minor comments (3)
- [Abstract] The symbols lozenge and blacklozenge are introduced informally. Please define them in numbered equations in the main text, with all index ranges and the determinant normalization clearly stated.
- [Abstract] The term 'trios' is informal. Consider using 'triple-product invariants' or 'three-element products' for clarity.
- [Abstract] The phrase 'leading terms converge' is ambiguous. Specify the small parameter (e.g., the seesaw-suppression scale) and define precisely what the 'unitarity limit' means.
Circularity Check
No significant circularity identified in the abstract; CKM claim is a unitarity identity and PMNS claim is a conditional derivation, not a circular reduction.
full rationale
The manuscript is available only as an abstract, so no derivation chain or equations can be inspected. The CKM statement—that Im(\lozenge^{ijk}_{\alpha\beta\gamma}) = -\mathcal{J} for every trio of matrix elements—is presented as a mathematical consequence of the 3×3 unitary CKM matrix and the definition of the rephasing invariant in terms of det V. This is a derivable identity from unitarity, not a fitted parameter or a self-referential construction, so there is no circular step to exhibit. For the PMNS extension, the abstract says the leading terms of Im(\blacklozenge) converge to a universal invariant \mathcal{J}_\nu in the unitarity limit, using the canonical seesaw mechanism and a 'full Euler-like block parametrization' of the seesaw flavor structure. Without the full text, one cannot verify the derivation, but the assumption of a specific parametrization is an ordinary modeling assumption rather than evidence of circularity. The proof might depend on the parametrization being general, and that generality is a substantive open question; however, the abstract does not define \mathcal{J}_\nu in terms of the very quantities it predicts, nor does it appear to fit the invariant to data, nor does it rely on a self-citation to justify the central claim. No load-bearing self-citation, renamed known result, or ansatz-smuggled-via-citation is visible in the abstract. The abstract-only evidence therefore does not support a circularity finding; any concern about the completeness of the Euler-like parametrization is a correctness or generality risk, not a circularity risk.
Assumptions & free parameters
assumptions (3)
- domain assumption The CKM matrix V is exactly unitary, used to derive Im(lozenge) = -J.
- domain assumption The PMNS matrix U is assumed unitary in the leading-order limit.
- domain assumption Canonical seesaw mechanism for neutrino mass generation, leading to small non-unitarity.
Cite this review
Pith. "Pith review of New rephasing invariants and CP violation built from the trios of the CKM or PMNS matrix elements." pith.science (2026). https://pith.science/paper/DUU2PL45
@misc{pith2026250815662,
author = {Pith},
title = {Pith review of: New rephasing invariants and CP violation built from the trios of the CKM or PMNS matrix elements},
year = {2026},
howpublished = {\url{https://pith.science/paper/DUU2PL45}},
note = {Machine review of arXiv:2508.15662}
}
abstract
Given the $3\times 3$ Cabibbo-Kobayashi-Maskawa (CKM) quark flavor mixing matrix $V$, we define a new set of rephasing invariants in terms of the "trios" of its nine elements: $\lozenge^{ijk}_{\alpha\beta\gamma} \equiv (V^{}_{\alpha i} V^{}_{\beta j} V^{}_{\gamma k})/\det V$ with $\alpha \neq \beta \neq \gamma$ and $i \neq j \neq k$ running respectively over $(u, c, t)$ and $(d, s, b)$. We find that ${\rm Im} \lozenge^{ijk}_{\alpha\beta\gamma} = - {\cal J}$ holds, where ${\cal J}$ is the well-known Jarlskog invariant of weak CP violation. Analogous rephasing invariants $\blacklozenge^{ijk}_{\alpha\beta\gamma} \equiv (U^{}_{\alpha I} U^{}_{\beta j} U^{}_{\gamma k})/\det U$ can be defined for the $3\times 3$ Pontecorvo-Maki-Nakagawa-Sakata (PMNS) lepton flavor mixing matrix $U$, where $\alpha \neq \beta \neq \gamma$ and $i \neq j \neq k$ run respectively over $(e, \mu, \tau)$ and $(1, 2, 3)$. Taking into account small non-unitarity of $U$ based on the canonical seesaw mechanism for neutrino mass generation, we calculate ${\rm Im} \blacklozenge^{ijk}_{\alpha\beta\gamma}$ with the help of a full Euler-like block parametrization of the seesaw flavor structure and demonstrate that their leading terms converge to a universal invariant ${\cal J}^{}_\nu$ in the unitarity limit of $U$.
Forward citations
Cited by 1 Pith paper
-
Rephasing invariant CP phases and sum rules in TM$_{1,2}$ mixing
TM1,2 mixing phases φ1,2 equal specific rephasing-invariant phase combinations of the PMNS matrix and satisfy exact sum rules with the Dirac phase δ.
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.