{"id":"0161be8f-28c2-4286-9574-d652e60dc96d","arxiv_id":"2508.15662","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"New CP-violating rephasing invariants from trios of CKM/PMNS elements are shown to equal the Jarlskog invariant in the unitarity limit.","lead":"This paper introduces new rephasing invariants built from products of three CKM or PMNS matrix elements, divided by the determinant. They may offer a simpler view of CP violation in quark and lepton flavor mixing.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"PMNS non-unitarity universality rests on the completeness of the Euler-like block parametrization; the abstract gives no derivation, so the claimed J_nu convergence is unverified.","rationale":"The reader's weakest assumption identified exactly the same point: the non-unitarity extension relies on the canonical seesaw and a specific Euler-like block parametrization. My read does not alter the reader's verdict. The CKM unitary statement is internally plausible; I checked a representative numerical example and found Im(lozenge) = -J for several trios, so that portion is not the main risk. The load-bearing risk is the claimed universality of J_nu in the non-unitary PMNS case. Without the full derivation, one cannot tell whether the Euler-like parametrization is complete (i.e., covers all seesaw textures) or whether it implicitly imposes constraints that make the 'universal' invariant an artifact. The proposed test—recomputing with the general Casas-Ibarra parametrization—would settle this directly. Since the manuscript is not available for inspection, the appropriate verdict remains unverified; no change to the reader's UNVERDICTED is needed.","tokens_in":845,"tokens_out":10302,"duration_ms":117475,"concrete_test":"Obtain the full text and re-derive the leading non-unitary correction to Im(blacklozenge) using the standard Casas-Ibarra parametrization of the canonical seesaw, which is known to cover the full seesaw parameter space without a special Euler block form. Compute the first-order correction for several trios (e.g., (alpha beta gamma,ijk) = (123,123), (123,213), (132,123)) and check whether they match the paper's claimed J_nu at O(eta). If even one trio differs at first order, the universality claim depends on the Euler block parametrization and is not general. A complementary numerical scan over 10^4 random seesaw matrices from a general parametrization would confirm whether the spread of Im(blacklozenge) across the 36 trios vanishes uniformly as non-unitarity goes to zero.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The strongest claim has two parts. The CKM unitary statement, Im(lozenge) = -J for every trio, is mathematically plausible and can be verified from standard 3x3 unitary identities; a quick numerical check with a standard CKM-like matrix confirms it holds when det V is normalized. The load-bearing concern is the PMNS non-unitarity extension. The abstract says the result follows from 'a full Euler-like block parametrization of the seesaw flavor structure,' but no equations are shown. If this parametrization is not general—e.g., if it restricts the form of the non-unitary correction to a special texture, a particular ordering of Euler rotations, or a limited set of CP phases—then the claimed convergence of all 36 trio invariants to a single universal J_nu may be an artifact of the parametrization rather than a property of the canonical seesaw. For a generic 3x3 non-unitary matrix N = (1 - eta)U with eta Hermitian, the first-order imaginary parts of different triad products need not coincide; equality is a nontrivial constraint. Because the full text is unavailable, the derivation cannot be checked, and the abstract itself identifies the parametrization as the crucial assumption. This is not an internal inconsistency, but an unverified generality claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":1158,"tokens_out":2552,"duration_ms":32291,"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":[{"comment":"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.","section":"Abstract"},{"comment":"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.","section":"Abstract"},{"comment":"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.","section":"Abstract"}],"minor_comments":[{"comment":"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.","section":"Abstract"},{"comment":"The term 'trios' is informal. Consider using 'triple-product invariants' or 'three-element products' for clarity.","section":"Abstract"},{"comment":"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.","section":"Abstract"}],"recommendation":"uncertain","confidential_remarks":"This report is based solely on the abstract, since the full text was not made available for review. The main risk is that the PMNS non-unitarity universality claim is tied to the completeness of the 'Euler-like block parametrization'; if that parametrization is not general, the claimed J_nu convergence may be tautological. I recommend a full review of the derivation before any decision is made."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper defines new rephasing invariants built from trios of CKM/PMNS elements and shows that in the unitary limit their imaginary parts all equal minus the Jarlskog invariant. That part is a neat algebraic observation—not a big physical surprise, but it gives a compact way to package CP violation in flavor mixing. The stress-test note says a quick numerical check with a standard CKM matrix confirms the unitary statement, so I'm fairly comfortable calling that sound.\n\nThe genuinely new content is the non-unitarity extension for the PMNS matrix in the canonical seesaw framework. The abstract says that the leading terms of the imaginary parts converge to a universal invariant J_nu, using a full Euler-like block parametrization of the seesaw structure. I cannot check that from the abstract. The worry is whether the parametrization is general or whether it implicitly restricts the non-unitary corrections to a special texture or rotation ordering. For a generic 3x3 non-unitary matrix, the corresponding triad products would not generally have equal imaginary parts, so equality is a nontrivial constraint. The abstract gives no equations, so I have to flag this as an unverified generality claim—not an internal contradiction, but a load-bearing assumption that the full derivation must support.\n\nThe paper does one more thing well: it sidesteps the usual Jarlskog-invariant definition and gives a unified way to see CP violation in both quark and lepton sectors, with the non-unitarity corrections naturally separated. If the parametrization is general and the calculation checks out, this could be a useful technical reference for seesaw models with non-unitarity. The practical impact is limited because the unitary limit just recovers known results, but that's fine for a paper that is mostly about bookkeeping.\n\nI have no real complaint about the citation pattern or framing from the abstract alone. The authors (Xing is a well-known flavor physicist) are likely aware of the relevant literature, but I can't verify that without the full text.\n\nBottom line: this deserves a serious referee. The unitary result is likely correct, and the non-unitarity extension is a real claim that needs mathematical checking. I would not cite it in my own work unless I were doing non-unitarity phenomenology, but it's worth a reading-group discussion or a peer-review assignment.","headline":"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.","tokens_in":1558,"tokens_out":1645,"would_cite":false,"duration_ms":21478,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["12.15.Hh","14.60.Pq"],"model":"deepseek-v4-flash","headline":"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.","keywords":["rephasing invariants","CKM matrix","PMNS matrix","Jarlskog invariant","CP violation","canonical seesaw","non-unitarity","neutrino mixing"],"falsifier":"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.","tokens_in":802,"feed_emoji":"","tokens_out":8660,"duration_ms":102864,"temperature":0.7,"texified_at":"2026-08-05T19:52:45.743319+00:00","pith_summary":"The paper introduces a new class of rephasing invariants for the CKM and PMNS mixing matrices, formed by taking a product of three matrix elements (one from each row and column) and dividing by the determinant of the matrix. For the CKM matrix it proves that the imaginary part of every such 'trio' invariant is the same: it equals minus the Jarlskog invariant $J$, the standard measure of CP violation in quark mixing. For the PMNS matrix, the paper extends the construction to the case where the effective $3\\times 3$ lepton mixing matrix is not exactly unitary because of the canonical seesaw mechanism. Using a full Euler-like block parametrization of the seesaw flavor structure, it shows that the leading terms of the new lepton invariants converge to one universal invariant $J_\\nu$ when unitarity is restored. A reader should care because this gives many equivalent ways to measure the same CP phase, and a framework for comparing CP violation in quarks and leptons even when unitarity is slightly broken.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":3434,"prompt_tokens":761,"completion_tokens":2673,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":761,"completion_tokens_details":{"reasoning_tokens":1974}},"feed_headline":"All CKM trio observables share one CP-violating number","feed_subtitle":"The same idea reaches neutrinos, where seesaw corrections converge to a single lepton invariant.","key_machinery":"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$.","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[],"fun_headline_variants":["All CKM trio products share one CP-violating number","Every trio of CKM elements encodes the same CP phase","Seesaw-corrected PMNS trios converge to one CP invariant","One CP number emerges from all mixing trios","Quark trios all share one CP number; lepton trios too"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["All CKM trio products share one CP-violating number","Every trio of CKM elements encodes the same CP phase","Seesaw-corrected PMNS trios converge to one CP invariant","One CP number emerges from all mixing trios","Quark trios all share one CP number; lepton trios too"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002155,"raw_usage":{"total_tokens":8270,"prompt_tokens":897,"completion_tokens":7373,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":641,"completion_tokens_details":{"reasoning_tokens":7296}},"tokens_in":641,"tokens_out":7373,"duration_ms":54435,"temperature":1.0,"reasoning_tokens":7296,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T17:44:23.233767+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}