Cross-Basis Consistency Check¶
Test or assessment — instantiates Position-Momentum Duality in Quantum Systems
Tests whether claims made in one representation remain consistent when transformed or interpreted through the conjugate representation.
A result that looks clean in one basis can quietly contradict what the conjugate basis implies about the same state — and that contradiction is exactly the hidden error the duality archetype exists to catch. Cross-Basis Consistency Check is the audit that surfaces it. It takes a claim expressed in one representation, works out what that claim predicts on the conjugate side, and compares the prediction against independent evidence measured in that conjugate basis; if the two disagree by more than the irreducible uncertainty floor allows, the claim is flagged as unphysical or overfit. Its defining move is that it produces no state and chooses no basis — it neither prepares nor measures nor transports anything. It only adjudicates agreement between two representations you already hold, converting "looks fine from here" into "survives being seen from the other side."
Example¶
A quantum-optics lab reconstructs the state of a light mode from homodyne measurements of one field quadrature — call it the "position" quadrature — producing an estimated Wigner function and, from it, a full density matrix. On paper the reconstruction is crisp. The consistency check is what keeps it honest: from that estimate, the analyst predicts the probability distribution of the conjugate quadrature (the "momentum" quadrature) and compares it against a held-out set of homodyne data actually measured at that phase angle. Because the two quadrature distributions are marginals of one and the same Wigner function,[n1] a genuine state must reproduce both. When the predicted momentum-quadrature variance comes out well below what the held-out data show, the check fails — revealing that the reconstruction had over-fit noise in the position data into a spuriously "squeezed" estimate. The lab widens its error model and re-reconstructs. Nothing about the state changed; the check simply refused to let a one-sided story pass as a two-sided fact.
How it works¶
- Take the claim in its native basis. Start from a state estimate, bound, or prediction already expressed in one representation.
- Push it to the conjugate view. Compute what the claim entails on the paired side — a distribution, a variance, a bound — using the representation map, holding both views of the one state side by side.
- Confront it with independent evidence. Compare the entailment against data or constraints obtained natively in the conjugate basis, ideally held out rather than reused.
- Score the residual against the floor. Judge disagreement relative to the joint uncertainty limit, not against zero; flag only residuals the physics cannot excuse.
Tuning parameters¶
- Tolerance — how much residual is written off as within the uncertainty floor versus flagged. Loose tolerance rubber-stamps; tight tolerance raises false alarms on honest noise.
- Direction of check — one-way (A predicts B) or a full round trip (also B predicts A). Round trips catch more but cost a second independent dataset.
- Held-out vs in-sample — whether the conjugate evidence is reserved data or the same data reused. Reusing data inflates apparent agreement and is the commonest way a check is quietly defeated.
- Test statistic — the residual metric and its reference distribution, which set what "disagreement" formally means.
When it helps, and when it misleads¶
Its strength is that it is the archetype's dedicated falsifier: it catches representation shopping, over-fit reconstructions, and models that look precise in one basis yet fall apart when transformed into the other — the failures that no single-basis diagnostic can see. It is what makes a sensing, tomography, or security claim auditable across the duality rather than merely internally tidy.
Its failure mode is the illusion of sufficiency. Passing a consistency check is necessary but not sufficient: two representations can be consistently, jointly wrong, so a green result licenses "not contradicted," never "correct." The classic misuse is running the check to certify a favored answer — loosening the tolerance or reusing the same data until it passes — which inverts its whole purpose from falsification to advocacy. The guarding discipline is to fix the tolerance to the physical uncertainty floor before looking at the outcome, insist the conjugate evidence be genuinely independent, and treat a pass as survived-a-test rather than proof.
How it implements the components¶
cross_representation_validation_evidence— it produces exactly this: the recorded evidence that a claim does (or does not) survive translation into the conjugate representation.dual_basis_state_representation— it holds both complementary views of the one state simultaneously, which is what makes the comparison meaningful rather than a change of subject.
It does not move the state between representations — that mapping is supplied by Dual-Basis Transform, which the check consumes; it does not select a working measurement basis (basis_selection_decision_rule, Basis-Specific Measurement Protocol); and it does not allocate the precision budget (precision_tradeoff_envelope, Uncertainty Budget Allocation).
Related¶
- Instantiates: Position-Momentum Duality in Quantum Systems — this check is the validation gate that keeps a design from hiding a cross-basis contradiction.
- Consumes: Dual-Basis Transform provides the representation map used to carry a claim into the conjugate basis for comparison.
- Sibling mechanisms: Basis-Specific Measurement Protocol · Measurement Back-Action Control · Uncertainty Budget Allocation · Wave-Packet Width Shaping · Dual-Basis Transform
Editorial Notes¶
Form Classification¶
Form family: Assessment, Review & Assurance
Rationale: Cross-Basis Consistency Check operates as a bounded evaluation of existing evidence or work that produces a finding or disposition because it tests whether claims made in one representation remain consistent when transformed or interpreted through the conjugate representation.
Independent corroboration: The frozen evidence defines Cross-Basis Consistency Check as 'Tests whether claims made in one representation remain consistent when transformed or interpreted through the conjugate representation', so its operative form is Assessment, Review & Assurance.
Review outcome: Independent reviewer agreement; high confidence.
Origin Attribution¶
Primary origin: Physics
Origin pattern: Single lineage
Present-day reach: Specialized
Rationale: The mechanism is a physics consistency check across coordinate or basis choices; linear algebra supplies its formal invariant structure.
Related originating lineages:
- Mathematics — Vector-space basis transformations and invariance provide the formal test for consistent representations.
Review resolution: The mechanism is a physics consistency check across coordinate or basis choices; linear algebra supplies its formal invariant structure.
Review outcome: Reconciled after independent review; high confidence.
Notes¶
[n1] The Wigner quasiprobability distribution represents a quantum state in phase space; its marginals along conjugate quadratures reproduce the position and momentum probability distributions exactly. A valid state estimate must therefore be consistent with data measured in both quadratures — which is precisely the agreement a cross-basis check enforces. ↩