Can neutral completion select a gauge group?

Neutrality can be exact without selecting a unique group

A carrier and its dual can combine into an invariant state. Such a pair offers a natural completion test: compare the transported carrier with a retained reference and accept its neutral component. The construction is mathematically useful for SMM/DTT because it ties completed comparison to relational internal structure.

The sharper question is whether the same principle selects the gauge group, representation dimensions and interactions of particle physics. A neutral pair exists for many groups, so neutrality alone leaves substantial freedom. The gauge-group reconstruction guide identifies the additional retained tensors and decomposition data that a selection argument must explain.

The carrier–dual projector has a short proof

Let G be a compact group and ρ an irreducible unitary representation on a complex space V of dimension d. On V⊗V* use the representation ρ(g)⊗ρ̄(g), and average it over normalized Haar measure. The average P is self-adjoint because inversion preserves the measure, and P²=P because multiplying by a fixed group element preserves the integral.

To see why its image is one-dimensional, identify V⊗V* with End(V). An invariant vector corresponds to an operator commuting with every ρ(g). Irreducibility makes that operator a scalar multiple of identity. The normalized identity corresponds to s. Thus the group average is precisely the orthogonal projector onto the unique carrier–dual neutral line.

This is a conditional theorem with clear inputs: a chosen compact group, an irreducible carrier, its dual and coherent pairing. The neutral-observable guide connects it to a completion experiment. It does not yet say why nature chooses that group or why the required physical dual and sewing operation are available.

Coherent averaging of amplitudes must also be distinguished from randomizing the apparatus over group actions. The latter gives the channel ρ↦∫U_gρU_g†dg, which generally is not the accepted map ρ↦PρP. For a two-level illustration with group actions I and Z, the coherent average is P=(I+Z)/2. Acting on |+⟩, the selected branch has probability one half and state |0⟩; random application of I or Z instead gives the complete mixed state I/2.

A physical neutral-completion device needs an interaction and a recorded branch that realize the projector instrument. In finite dimensions one can couple a flag through P⊗X+(I−P)⊗I, but implementing this controlled operator is itself a work requirement. The formula makes an accepted neutral measurement concrete; it does not make its control resources disappear.

A finite counterexample: SU(2) and U(2)

Take the defining representation on C². Every U(2) matrix is a phase times an SU(2) matrix, up to the familiar overlap of their centers. In the carrier–dual representation the phase cancels: (e^iθU)⊗(e^−iθŪ)=U⊗Ū. Therefore the neutral pair and the full action on that pair are identical for these two choices of gauge group.

A completion mechanism that accesses only this carrier–dual sector cannot decide whether an additional central U(1) is present. Its invariance test is blind to precisely that distinction. Increasing the accuracy of the same neutral-return measurement does not solve the problem; a different admitted structure is needed.

For example, the alternating tensor in V⊗V transforms by det U. It is invariant under SU(2) but acquires a phase under general U(2). Retaining and physically comparing that tensor can distinguish the groups. The explanatory task shifts to why the source preserves this additional tensor and why an observer can test it. A group selection claim should state that extra input openly.

What a three-plus-two retained decomposition can establish

Suppose a source record has a supplied complex space C⁵ with an orthogonal decomposition C³⊕C². Require its allowed transformations to preserve the Hermitian form, preserve each block and preserve the total complex volume. The first two requirements give U(3)×U(2); the volume condition imposes det A det B=1. The resulting group is S(U(3)×U(2)).

Its Lie algebra has dimension 9+4−1=12 and decomposes into su(3), su(2) and one abelian direction. The map (A,B,e^iθ)↦diag(e^2iθA,e^−3iθB), with A in SU(3) and B in SU(2), has a six-element kernel. Hence the global group carries a finite central identification as well as the familiar local Lie-algebra structure.

This is a valid stabilizer calculation. It becomes a source selection only if the three-plus-two split, complex field, metric and retained volume are themselves obtained from independently justified generative rules. Choosing those objects because their stabilizer has the desired appearance does not explain why they were selected. The conditional stabilizer article is a direct route into this question.

A selected group would still leave important physics to derive

A group specifies possible transformation laws. It does not uniquely determine which representations occur as matter, how often they occur, which interactions couple them or what their masses and response strengths are. The same group can support different Hamiltonians and different admissible preparation sectors. A source model must connect its retained carrier content with the observed operations before these become physical predictions.

Neutrality also does not imply binding. A normalized invariant pair can exist algebraically even when its constituents do not form a spatially localized low-energy state. The neutral-pair discussion separates internal invariance from the dynamics needed for an atom. Likewise, a rank-one neutral accept projector says nothing by itself about a continuum field limit or a mass gap.

These distinctions suggest a stronger positive programme: derive a group as the complete stabilizer of operationally retained source structures, derive the relevant carrier representations from the same update, and then compute a calibrated response in a finite test. Each stage has a different theorem or calculation that readers can inspect.

A useful selection challenge for collaborators

Write down the smallest retained tensor family claimed to determine the group. For every tensor, specify its operational meaning: which completion test measures it, which source update preserves it and why it belongs to the public record. Compute the full stabilizer rather than only displaying a desired subgroup inside it.

Next remove one retained tensor at a time and calculate how the stabilizer enlarges. This identifies exactly which physical requirement does the selecting. Repeat the calculation with nearby carrier dimensions or decompositions. A uniqueness claim should explain why those alternatives are excluded by the source mechanism, while a conditional classification can explicitly describe the family they generate.

The neutral-pair theorem remains valuable throughout this work. It gives a clean operational comparison once the carrier data are known. The advance sought is the additional argument that makes those data necessary, linking a precise completion rule to a uniquely justified internal structure.

Continue reading

• Reconstructing a gauge group from retained structures →
• Gauge-invariant observables and neutral completion →
• The conditional route to S(U(3) × U(2)) →
• A neutral pair is not yet an atom →
• A singlet-bound loop with an exact energy response →

Read this discussion as part of a path

• Phase, gauge structure and field theory →