Physical premise (IDWT): Physical spacetime has infinitely many ordinary spatial dimensions plus time. Matter occupies up to ten spatial dimensions; all remaining spatial directions are unbound for every particle. Depth counts a pattern's bound spatial involvement within that space. “Observed” and “unobserved” describe an observer's access, not different kinds of dimension. Older projective and nested-geometry calculations below retain their additional hypotheses; they do not establish a separate physical manifold or compactified direction. See spatial meaning and mathematical scope.
Summary: Corrected rank, degree-loss, charged-current normalization, and CP tests constrain CKM candidates.
NOT A PHYSICS MODULE. This note replaces the earlier count-domain negative-results document. It preserves three candidate constructions, corrects their mathematical treatment, and follows the corrected premises through to their consequences. Exact results below apply to the stated models; they are not a general impossibility theorem for V2 mixing.
1. Scope, source inputs, and conventions
The earlier document tested a separable power-ratio kernel, a binomial degree-loss table, and a one-step creation operator. It described their unitary factors as trivial and concluded that the cross-sector remainder must supply mixing. Those claims require replacement, not just a change of wording.
The parent CKM proposal, Sections 2 and 8, specifies up labels with homogeneous degrees , down labels with degrees , and an exceptional bottom state involving labels , hence degrees . Its physical bottom vector is not fixed by selecting one of those degrees.
For reproducibility, the binomial calculation below retains the earlier single-band approximation , meaning the upper label . It is not silently promoted to the actual two-band bottom state. The power-ratio rank proof needs only a positive bottom count and is independent of its numerical choice.
Throughout, matrix rows are and columns . The down-row charged-current convention is the adjoint of the usual up-row CKM convention; in particular, the magnitude of its entry corresponds to the usual . The benchmark is a unitary three-generation charged-current matrix with nontrivial mixing and a nonzero rephasing-invariant CP phase. The 2025 PDG review supplies this benchmark and the definition of the Jarlskog invariant [E1]. No central-value scan or statistical exclusion is claimed here.
These are transition-operator tests using specified mode counts. No independently measured field amplitude is fitted or reconstructed. Eigenfrequency data and mode counts do not by themselves determine the relative orientation or phases of the two flavor bases, as the parent source already explains in Section 5.
2. First establish what normalization is allowed
2.1 Polar factorization is not automatically canonical normalization
For a square matrix , the right polar decomposition is , with . If is invertible, is a unique unitary matrix. If is singular, the canonical polar factor is a partial isometry; its full unitary extensions are not generally unique [E2]. Discarding is a new physical prescription unless its removal follows from the action.
To make that issue precise, suppose the independently derived left-handed kinetic metrics are positive definite matrices . Removing them gives
If subsequently put the canonically normalized mass operators into their physical bases, the charged-current matrix is
Consequently, after factoring out the common weak coupling, unitarity of this square matrix is equivalent to
This is a test of the derived vertex and kinetic metrics, not permission to choose metrics that force the answer. Choosing and reproduces the ordinary polar factor for invertible , but the theory would have to derive precisely those metrics. For singular , that choice is not positive definite.
An exact two-dimensional example, embeddable with a spectator third generation, shows the distinction. Let
and
The actual canonical matrix is . Yet the Euclidean polar factor of is
Thus extracting a rotation by polar factorization can invent a mixing angle that is absent after the specified physical normalization. Conversely, unknown kinetic or mass-basis data cannot be ignored when interpreting a raw kernel.
2.2 Rank survives every invertible normalization
Invertible left and right transformations preserve rank, so
A rank-one matrix cannot become a complete rank-three unitary charged-current vertex merely through legitimate nonsingular normalization. This conclusion is stronger than a poor numerical fit, but it does not forbid a rank-one term as one contribution to a larger vertex.
3. Test 1: the separable power-ratio family
Write the positive counts as and , and take any finite real exponent :
This is exactly an outer product. Every two-by-two minor vanishes. The singular values are
The earlier description in terms of extreme singular values obscured two exact zeros. No exponent scan is needed. Positive sector units, a different positive scalar bottom count, or separate row and column phases do not remove this separability.
3.1 What the kernel does and does not determine
With normalized vectors , the canonical partial isometry is . Every full unitary extension has the form
where are orthonormal bases of the complementary two-dimensional spaces. All such give the same when multiplied by its positive polar factor. The arbitrary is missing information, not mixing predicted by the counts.
A further consequence matters for the CP claim. At , is the all-ones matrix, with positive polar factor . Set
Both and
are unitary and satisfy . But for the quartet convention
one obtains
This is not a proposed physical CP phase. It proves that a blanket claim of zero J for every arbitrary unitary completion of the real rank-one kernel is false. A real completion has zero J; a chosen complex completion can introduce nonzero J, but that phase was not predicted by the original kernel.
3.2 Logical conclusion and size of the missing structure
As a complete vertex in canonical three-generation units, this family fails the rank test for every real . As an input to an unspecified completion, it underdetermines mixing rather than predicting a unique wrong matrix.
If is to have rank three, then
If the completed matrix is unitary, a unit vector satisfies , so . The missing action on two directions cannot be supplied by a norm-small correction in these fixed canonical units. This bound is not a statement about raw unnormalized coefficients.
In particular, adding the rank-one one-step kernel of Test 3 to this rank-one family still gives rank at most two. At least three rank-one terms would be necessary in a purely separable sum, and even that would not guarantee unitarity, the correct hierarchy, or CP violation.
4. Test 2: the binomial degree-loss prescription
Preserve the displayed numerical prescription as
and zero otherwise. Here is the surviving-direction weight. The parent source uses for the lost-direction weight in Section 11, so comparison requires . This convention change does not alter the support arguments.
For and , the interior support is
The entry is nonzero. The matrix is not triangular.
4.1 Interior rank and endpoint exceptions
Factoring powers from the rows and columns gives
Thus the whole interior family has rank three. At its rank is one; at the selected matrix is zero. An interior theorem about a unique polar factor must not be extended to these singular endpoints.
Taking the other single bottom degree, , gives the positive coefficient
multiplying . The same support and interior-rank conclusions hold for that alternative single-band test. Neither test determines the actual bottom singular vector.
4.2 Triangularity would not imply a trivial polar factor anyway
The exact factorization
has a nontrivial orthogonal factor and a positive factor. It refutes the old triangular-to-permutation inference independently of the binomial calculation.
For the actual , calculations at 70 and 110 decimal digits agree on
Reconstruction and orthogonality are checked independently. This is a reproducible counterexample to a trivial polar factor, not a CKM fit and not a proof about every possible magnitude fit in .
It also demonstrates that polar replacement does not preserve entrywise selection rules: , but . A nonzero entry manufactured by this matrix operation is not proof that the physical loss process produces the forbidden transition.
4.3 Three interpretations must remain separate
A raw coherent vertex: the displayed real is not unitary. In fact,
Its first two columns are not orthogonal. Diagonal nonzero state normalizations and row/column rephasings cannot cancel this single shared-row overlap or create the absent matrix element. More general kinetic and mass-basis maps require independent derivation and the test in Section 2; they cannot be assumed to be the polar prescription.
A defined polar-factor toy model: if one explicitly postulates with Euclidean metrics, its interior polar factor is uniquely real orthogonal. Therefore every CP quartet has zero imaginary part. No in the interior supplies a nonzero J. Diagonal row and column phases cancel from those quartets and do not repair this. Nontrivial real mixing is possible; physical three-generation CP violation is not supplied by this prescription. This does not prove that no approximates selected magnitudes, and that stronger unverified scan claim is not retained.
A traced-out loss channel: the parent construction is naturally a map on density operators, not a single coherent matrix. A number-state realization of the same binomial weights has Kraus operators
and
For input and output , the binomial entry is . Different loss labels are distinct traced channels. The weights do not specify one coherent transition matrix, and taking their square roots and assigning phases does not uniquely reconstruct one. This channel distinction uses the standard Kraus framework [E3]; the displayed degree-loss realization is checked directly here.
For , a one-quantum pure input produces a mixture of zero and one surviving quanta, so this loss channel is not a unitary channel. Restricting it to the selected flavor bands can also discard probability into unselected bands. An arbitrary polar factor of its probability table is not the same physical operation.
4.4 The genuine support conclusion
Every bare-loss Kraus operator has . Therefore none creates the specified transition. This remains true when the two bottom degrees are retained, because neither changes the degree labels.
The conclusion is conditional on identifying those named physical bands with the input and output projectors of the loss model. Unknown non-diagonal basis maps are extra structure, not consequences of bare loss. A derived coherent transition operator must provide the missing degree-raising element or justify a different physical identification. Polarizing a probability table does neither.
5. Test 3: isolated one-step creation
For the stipulated support , the selected matrix has only one possible nonzero cell:
For , it has rank one. Including both bottom degrees 15 and 16 adds no allowed cell, since the candidate outputs of degrees are . At , there is no transition and no selected polar mapping at all.
5.1 A stronger conclusion than the old permutation claim
Write . Every unitary polar extension must satisfy
The other two columns are an arbitrary unitary map between the complementary two-dimensional spaces. They need not form a permutation. Nevertheless, every extension has , not a small Cabibbo transition. This failure is independent of the chosen completion.
There is a second completion-independent consequence: the fixed unit column decouples one generation, leaving only a two-by-two unitary block. All three-generation CP quartets then have zero imaginary part. The remaining two-by-two quartet is real by orthogonality, and every quartet involving the fixed row or column vanishes. Thus J is zero for every completion, including complex ones. This is stronger than the corresponding conclusion for Test 1, where a complex arbitrary completion can have nonzero J.
5.2 The coefficient was not determined by the stated operator alone
For a specified common bosonic mode space, normalized coherent states, and
the matrix element is
A magnitude follows only after specifying the relevant overlaps; for example, aligned unit coherent vectors and . For the unnormalized sum with every , is the number of summed modes, so that is not automatically a probability bounded by one. The original definition omitted these premises.
The equation above is a comparison calculation in a defined common mode space. It does not supply the missing cross-depth intertwiner between different V2 carriers. The reliable negative result is the sparse support under the stipulated one-step rule, not an undocumented coefficient formula.
6. The bottom state cannot be supplied by its mass alone
The parent proposal explicitly distinguishes its bottom two-band singular-value construction from an ordinary band. Even in a simplified orthonormal two-band representation,
would give a row
The coefficients and their phases would have to come from the actual bottom operator. Its proposed mass or a geometric mean of two counts does not determine this row. The simple representation is illustrative, not a derivation of the physical bottom spinor structure.
The structural rank proof for a separable scalar-count family and the absence of the cell in bare loss survive their stated assumptions. Detailed singular values, mixing angles, and realness of a fully completed two-band model cannot be inferred from one arbitrarily chosen bottom level. A new complex bottom construction would be a new model and would need a fresh CP audit.
7. Corrected conclusions and their limits
| Construction and premise | Exact consequence | What does not follow |
|---|---|---|
| Separable power-ratio kernel as the complete vertex | Rank one for every finite real exponent; invertible normalization cannot restore unitarity | A unique polar completion, unique mixing angles, or a universal J for arbitrary completions |
| Real binomial matrix, fixed single bottom degree, Euclidean polar prescription | Rank three for interior p; nontrivial real orthogonal polar factor; J=0 | Identity/permutation mixing, an exhaustive magnitude-fit exclusion, or a physical derivation of polar normalization |
| Binomial weights interpreted as traced bare loss | A nonunitary reduced channel; no increase in degree; no specified u-to-s transition | A coherent CKM matrix reconstructed uniquely from probabilities |
| Isolated nonzero one-step creation kernel | Rank one; every unitary extension maps u entirely to s and has J=0 | A unique permutation or the claimed coefficient without state and operator normalization |
The full CKM problem is not solved by any of these prescriptions as stated. The reasons are now explicit and different: missing rank, missing predicted directions, absent coherent phase information, a forbidden physical transition, or an exactly unit-sized transition in the wrong place. None of those facts proves that all count-informed cross-sector operators fail.
For CP, the relevant condition is a nonzero rephasing-invariant quartet of the complete canonically normalized mass-basis vertex. Complex phases that are only row or column rephasings do not help. A numerical complex completion in an undetermined null space is not a predicted CP mechanism. Conversely, realness of one raw term does not establish a theorem about a larger model with independently derived complex kinetic, mass-basis, or interaction structure.
The missing dynamics is not proved to reside only in . The parent source also leaves the off-diagonal coherent-contact operator unevaluated. The leading contact, the remainder, their combination, or a derived relation between physical flavor frames could contribute. What is required is a complete coherent construction, including the actual bottom state and kinetic metrics, not the naming of a particular remainder as the only possible source.
The parent source's leading identity result retains its stated assumption of no generation mixing; the scalar mass counts alone do not prove that assumption. Its bare-loss support result applies to bare loss. Its proposed identification of canonical normalization with an unspecified unitary part needs the metric and operator conditions in Section 2. This note records those qualifications without silently rewriting the parent module.
8. Reproduction and source provenance
Run from the v2 directory:
python3 experiments/ckm_count_audit_checks_2026_09_05.py
The check script verifies exact rank and determinant identities, explicit real and complex polar completions, the kinetic-normalization counterexample, the binomial polar example at two precisions, finite loss-channel Kraus identities, and the normalized coherent creation formula. Analytic arguments in this note establish the all-exponent rank result, the all-interior-p CP result for the real polar prescription, and the all-completion consequences of the single forced column. Finite examples are not substituted for those universal arguments.
No undocumented exponent scan, p scan, target dataset, empirical significance calculation, or master-action derivation is claimed. The new calculations are this review's derivations, not statements silently attributed to the original note or parent source.
The superseded source was physics/ckm-count-domain-negative-results.md, SHA-256 5f5eb3d08780e238869fae0246ae2d2c3afbabc3ad3e8ecd9e36b837f9e4e455. The parent source at this review has SHA-256 c2c7ea7595147239125d66a25dcac07203ddbc1929ef59e54b60ab617b763664 and is unchanged by this rewrite.
External references checked for this review
[E1] Particle Data Group, CKM Quark-Mixing Matrix, 2025 edition, Sections 12.1--12.2: charged-current conventions, three-generation unitarity, rephasing-invariant CP benchmark, and nonzero Cabibbo mixing. This is a specified reference edition, not a claim to reconstruct the original note's unspecified target dataset.
[E2] Nicholas J. Higham, What is the Polar Decomposition?: polar factors, full-rank uniqueness, and singular-factor nonuniqueness. The displayed counterexamples and consequences are derived explicitly above.
[E3] IBM Quantum Learning, Channel representations: the distinction between Kraus sums and unitary channels. The degree-loss operators used here are the explicit comparison model, not a new assertion about the V2 master action.
Related
- Research status — current proof boundaries and correction guidance.
9. Fixed Bottom Labels in the Original Polar-Matrix Control
The existing single-band toy can be evaluated at both requested bottom labels without changing its parameter. Keep , up degrees , and down degrees . Its real matrix is
with zero otherwise. Take its unique Euclidean polar factor . The original matrix has down rows and up columns, so the standard CKM comparison is . Physical n16 uses bottom degree15; n17 uses degree16 and reproduces the original displayed audit baseline.
| Diagnostic | Bottom n=16 | Bottom n=17 | Original dated comparison |
|---|---|---|---|
| 0.000001796030 | 0.000005340955 | 0.22431 | |
| 0.000007182569 | 0.000005336998 | 0.00382 | |
| 0.970130537244 | 0.706847449922 | 0.0411 | |
| 75.960930742 degrees | 44.978990637 degrees | Small second/third-generation mixing | |
| CP invariant J | 0 | 0 | Nonzero CP violation |
| Magnitudes within the specified one-percent window | 0 of 9 | 0 of 9 | Nine dated original targets |
The evaluated matrices agree at 70 and 110 decimal digits within , with reconstruction and orthogonality residuals below that threshold. Independent review checked the source formula, degrees, transpose, saved comparisons and exact real-matrix consequence ; it did not independently rerun the high-precision computation. The one-percent threshold is borrowed explicitly from the earlier scalar-ratio comparison; the original matrix audit itself specified the hierarchy and nonzero CP requirement.
This retains the existing distinction between a mathematical polar replacement and derived kinetic normalization. Neither fixed-p case fits, while no scan over p or every possible coherent field interaction is implied. The two-band bottom state remains a separate unresolved construction. The complete matrices, nine target comparisons, angles, successful output and all failed checker attempts are preserved with their exact research-database provenance.
Complete Full-Rank Bottom-Rung Control
At the unchanged , up degrees and down degrees , with , an exact determinant proof identifies the unique orthogonal polar-factor domain. Removing positive column factors,
where a binomial vanishes above its top argument. The determinant vanishes at , is nonzero at , and is positive for ; for the bottom row vanishes. Thus exactly 70 positive integer rungs have full rank: except four. The low-rung determinants are negative, as allowed for the specified ordinary orthogonal polar factor; no special-orthogonal rule was imposed.
The author evaluated every full-rank case at 70 and 110 decimal digits. Executed assertions check positive singular values, reconstruction and orthogonality residuals below , and successive polar factors agreeing within that tolerance. The saved JSON contains final-precision values; its receipt and inspected code support the two-precision assertion, not an independent numerical replay. The reviewer separately proves domain completeness and the exact real-matrix consequence .
No rung matches all nine dated magnitudes. None places the first eight entries within the one-percent window; only the individually quoted target passes, for . This window was borrowed from the earlier scalar diagnostic, not a matrix likelihood or joint experimental fit. Singular cases leave an unspecified null-direction completion; they were not tested under an invented completion rule.
Changing only bottom therefore does not repair this fixed real polar toy.
Physical kinetic normalization, complex response and a common mass/mixing
solution remain separate questions. Assessment SHA-256:
137db93368f3e2006a7979f7043b44a9e16dc817fba61622781c8629f27bbd5c.