Admissibility frontier · Edition 3

Compiled corpus reading projection · Wider corpus

A Minimal Metaplectic Loop Interferometer

Canonical path
corpus/claims/0100-0199/135_minimal_metaplectic_loop_interferometer.md
Source SHA-256
1e3121aaa6f125b2133356e152d90c189d44ebab1bb3c34948e3fa3fac323a13
Build revision
91a0b922ec4e7119c8f23c140838872041d2d05a
Corpus links
4 inbound · 4 outbound

History and editing → · Raw Markdown →

Route into this page

Why this page is here: the shortest known corpus-link route from an Edition 3 source is:

  1. Spin(2,3), the Standard Model, and Furey: document map
  2. A Minimal Metaplectic Loop Interferometer

A Minimal Metaplectic Loop Interferometer

Date: 17 October 2026 Branches: B07 and B09 Claim status: exact quantum-mechanical observable for specified symplectic paths; no physical braid implementation selected

1. The missing observable

The braid and Hopf branches repeatedly produced signs that disappear from Jordan density matrices. A sign becomes measurable only by comparing two coherent paths.

The minimal construction uses two paths in \(Sp(4,\mathbb R)\) with the same classical endpoint.

2. Two loops

Let \(\gamma_0\) be the constant loop at \(I_4\).

Let \(\gamma_1\) rotate one canonical plane through \(2\pi\):

\[ \begin{aligned} q_1&\mapsto\cos\theta\,q_1+\sin\theta\,p_1,\\ p_1&\mapsto-\sin\theta\,q_1+\cos\theta\,p_1, \end{aligned} \qquad 0\le\theta\le2\pi. \]

Both end at

\[ I_4. \]

They therefore have identical classical action on the phase-space endpoint and on every Jordan relation there.

3. Metaplectic lifts

For one oscillator mode,

\[ U(\theta) = \exp[-i\theta(N+\tfrac12)]. \]

At \(2\pi\),

\[ U(2\pi) = -I. \]

Thus the lifts obey

\[ \widetilde\gamma_0(1)=+I, \qquad \widetilde\gamma_1(1)=-I. \]

The sign is scalar on the entire internal state space because these are two lifts of the identity endpoint, not lifts of \(-I_4\), whose action is parity.

4. Interference protocol

Introduce a coherent path label and prepare

\[ \frac{|0\rangle+|1\rangle}{\sqrt2} \otimes|\psi\rangle. \]

Transport branch \(0\) along \(\gamma_0\) and branch \(1\) along \(\gamma_1\). The final state is

\[ \frac{|0\rangle-|1\rangle}{\sqrt2} \otimes|\psi\rangle. \]

Recombining in the basis

\[ |\pm\rangle = \frac{|0\rangle\pm|1\rangle}{\sqrt2} \]

switches the output deterministically:

\[ P_+=0, \qquad P_-=1. \]

This is a genuine phase-sensitive observable even though the classical Jordan endpoint is unchanged.

5. Relation to the braid center

The existing braid representation gives

\[ z\mapsto-I_4, \qquad z^2\mapsto I_4. \]

The squared center is therefore the appropriate closed classical operation for a scalar metaplectic sign.

But its endpoint does not determine the homotopy class of the physical path. To identify \(z^2\) with \(\gamma_1\), one must specify:

  1. how the braid motion varies continuously in \(Sp(4,\mathbb R)\);
  2. its Maslov/winding class;
  3. a coherent state space on which the two histories can interfere;
  4. a recombination operation.

Without these, the braid representation alone predicts no interferometer output.

6. Relation to the Hopf sign

The helicity Berry loop also gives a \(-1\) state holonomy. The two signs can be compared experimentally only if a canonical map identifies:

Matching \(-1\) algebraically is insufficient. Matching interferometric phase after subtracting dynamical contributions would be meaningful.

7. Stop-everything criteria

Advance: a physical braid or transport protocol selects the odd-winding loop and predicts the output-port switch independently of adjustable dynamical phases.

Pin: the endpoint representation is known but its path class is not physically fixed.

Falsify the bridge: every admissible realization of the squared braid center has even Maslov parity, or decoherence prevents coherent comparison.

8. Certificate

The metaplectic interferometer certificate verifies the symplectic loop, identical endpoints, opposite metaplectic lifts and deterministic interference probabilities.

Companion documents

Referenced by

Inbound corpus links

Continues toward

Outgoing corpus links