Summary: A constant antilinear reduction requires a specific involution of the complete spatial Dirac matrices, and its existence, scalar interference and compatibility with nested field projections can be checked directly.
A special solution family need not be a symmetry of arbitrary fields
The radial two-frequency map constructs full solutions from arbitrary complex radial profiles. Extending that map to arbitrary spatial perturbations requires an additional matrix identity. The number of field components alone does not supply it.
Here counts the ordinary macroscopic spatial derivatives actually retained in the equation. A bound depth has when normal motion is suppressed, and when one existing normal direction is included. These coordinates belong to the one nested manifold. Matrix ranks and conjugation operations describe its field components; they do not introduce new physical dimensions.
Consider
Use constant Clifford matrices in the stated flat spatial model, on a common domain preserved by the proposed conjugation and boundary conditions. A matrix identity alone does not establish a symmetry of a different operator domain or of a curved spatial bundle.
A coordinate-preserving antilinear partner , where conjugates the field components, must obey
These identities give , including every retained derivative. They also give . To mix and while preserving the scalar source for arbitrary complex fields, their cross bilinear must vanish. This requires
Under (2), the two conditions in (3) are equivalent. For example, makes the unitary symmetric, and then .
The related nonlinear Dirac symmetry and its matrix requirements are discussed by Boussaïd and Comech. The calculations below check the actual spatial matrices and the centered moment source used here, rather than assuming a symmetry from a smaller field representation.
Check the complete Clifford representation
The standard complex Clifford representation can be constructed from Pauli matrices:
For an odd number of generators, append . Use the first generators as and the last as . This is an irreducible complex representation of the full indicated Clifford algebra.
Each generator has , with . For a product of distinct generators,
Here counts imaginary generators in the product. The required signs are on spatial generators and on the scalar generator. Equations (4)–(5) provide explicit intertwiners and their squares.
For and , the product of all generators is a nonzero real scalar times . Equations (2) would make antilinear conjugation change its sign, but a real scalar cannot change under such conjugation. No satisfying (2) exists in those stated representations.
When a solution exists, any two invertible solutions of (2) differ by a matrix commuting with every generator. Irreducibility makes that matrix a scalar. A phase change of cannot change , so a computed negative square cannot be replaced by a positive square in the same irreducible representation.
| retained spatial derivatives | complex field components | result for |
|---|---|---|
| no intertwiner satisfying (2) | ||
| no intertwiner satisfying (2) | ||
Thus the minimal five- and six-dimensional bound equations do not have the involution (3). Including one normal derivative gives or and still has a negative square. The corresponding ten-dimensional examples have a positive square. These are matrix statements about the specified operators, not assignments of particle charge, stability or interaction strength.
A positive square gives a controlled nonlinear map
When (2)–(3) hold, define
Pointwise scalar interference vanishes, giving . In the centered moment source, the scalar center is unchanged and its second moment is multiplied by , provided its scalar normalization is nonzero. Consequently, if solves the complete spatial source equation at coefficient , then solves it at with the same bare scalar term. This follows directly by applying (2) to each derivative and using the transformed scalar moment.
The real-linear map has
At fixed nonzero it is invertible and transfers the growth exponents of the corresponding full real field linearizations. The map becomes poorly conditioned when its two weights approach equality:
The number norm is generally different from the radial isometry:
The cross term need not vanish on arbitrary fields. A stationary nonzero-frequency eigenfunction is orthogonal to its opposite-frequency partner, but that fact must not be applied to every perturbation.
For , equation (2) instead makes symmetric. Generic complex fields then have nonzero , so the single scalar scaling used in (6) fails. Exact radial and real anisotropic two-frequency families can still exist through their own spatial identities. They do not require a global transformation of every field perturbation.
Include the existing normal direction before using the symmetry
A symmetry of the bound equation must also satisfy to include its normal derivative. In the tested three-dimensional bound representation, the involution instead has . At normal momentum , it therefore obeys
Its bound-space reduction fails as soon as that normal propagation is retained. In the tested five-dimensional case, the negative-square partner respects the normal derivative but still fails the arbitrary-field scalar-interference condition. These are distinct requirements, checked separately in the full spatial source.
The occupied polarizations also matter. A background generated by (6) must have , or . That is a specific correlation between the two occupied profiles. It cannot be presumed for independent polarizations.
For the deformed three-dimensional profile in a pair, this correlated preparation cancels all scalar rest sidebands. The full normal response still opens them. The analogous orthogonal preparation in the deformed five-dimensional profile of a pair has nonzero scalar sidebands even at rest. Orthogonality alone therefore does not substitute for the full spatial symmetry calculation. The reciprocal periodic response retains these channels directly.
A containing-space involution need not preserve a projected sector
Suppose a higher representation has , and selects a lower field copy while retaining its lower spatial Clifford operators and . If , restricting to that copy would give a positive-square solution of (2) there. That is impossible when the selected minimal lower representation requires .
The containing involution must then leave that selected copy. This can be checked explicitly in the -component representation with ten bound derivatives and one common normal derivative. Commuting rotation projectors on the other containing directions select a lower minimal copy of rank for bound depth five or rank for bound depth six. For the checked projectors,
The transformation's full norm goes into complementary field components. Those components still describe the same nested physical manifold. This is a compatibility condition on a symmetry and a chosen field projection, not an obstruction to the nesting of the spatial sectors. The spatial reflection analysis provides related constraints on their polarization multiplicities.
Verification and scope
antilinear_dirac_checks.py constructs (4)–(5), checks every spatial matrix relation, and independently solves the complete complex linear intertwiner equations at the smaller ranks. It checks scalar interference, the real kinetic form, the inverse and number norm on arbitrary complex field vectors.
Complete centered nonlinear source evaluations test the map beyond a stationary ansatz. Independent prepared spatial resolvents test the correlated-polarization sidebands. Explicit containing-space projectors verify (11). Reports are timestamped and checks remain active with Python optimization.
The obstruction concerns constant coordinate-preserving antilinear maps in the specified representations. Additional field multiplicities, spatial reflections, nonlocal transformations and special solution families require their own analysis. The full periodic source equation remains available without assuming this reduction.