Manuscript Em06-B@1 · Em06-B-v1.tex · section · 61e38859
The number condition is not necessary
Nonzero success and explicit failure examples › The number condition is not necessary · lines 1529–1544
For any fixed finite family , choose a unit vector orthogonal to their finite complex span. Put particles in this mode and vacuum in its orthogonal complement.
The residual number expectation is , so . Nevertheless, every , and every ordered Weyl product in these directions, acts on the vacuum factor independently of the occupied mode. All conclusions for the displaced vacuum in this finite family hold exactly. This proves that total-number control is not necessary for observable-specific concentration.