File size: 1,209 Bytes
eef9104 f4aa173 eef9104 f4aa173 | 1 2 3 4 5 6 7 8 9 10 11 12 13 | <!--
Copyright (c) 2026 Ahmad Ali Parr and others.
SPDX-License-Identifier: LicenseRef-CPSC-ESCL-1.0 OR AGPL-3.0-only
-->
# Abstract
We implement a compilation architecture for lattice scattering in which the symmetries of the target Hamiltonian constrain circuit synthesis rather than filter measured shots. The working model is the periodic transverse-field Ising chain, the qubit shadow of 1+1D φ⁴, not continuum φ⁴.
Two facts fix the compiler. The quartic written as ∑ᵢ Xᵢ⁴ is a multiple of the identity. Z-parity is a symmetry only at λ = 0; for λ ≠ 0 the conserved operator is the global spin flip ∏ᵢ Xᵢ.
The repository supplies a symmetry analyzer, a translation-orbit check, a first-order Trotter product of admitted gates, a Q# emission of those factors, and a certificate whose SHA-256 digest is bound to the gate list. On a 4-site chain the Ising schedule has Z-parity leakage 0, and the spin-flip schedule has ∏X leakage 0 within roundoff. Inserting a forbidden gate fails compilation. A Lean development proves, without project axioms, that every admitted Trotter schedule commutes with the conserved operator on (ℂ²)^⊗N for every lattice size and every angle.
|