The Shift Winding: An Integer Invariant of a Pair of Quantum States that Phase-Insensitive Overlap Kernels Cannot See
Özcan Kasal
Abstract
For two pure states ψ, φ of an n-qubit register, the overlap after a common phase shift, g(θ) = ⟨ψ|e^{iθN}|φ⟩ with N the number operator, is a trigonometric polynomial of degree at most n. When g does not vanish on the circle, its winding number W(ψ, φ), the shift winding of the pair, counts the zeros in the unit disk of the polynomial whose coefficients are the overlaps within each Hamming-weight sector. W is invariant under independent global phases, under common shifts and under every joint unitary that commutes with N. Along a path of pairs it can change only where some common shift makes the two states orthogonal. The sector kernels are blind to W. These kernels are the Fourier coefficients of |g|², measured by swap tests on a shift grid; their diagonal values are the multiple-quantum-coherence intensities of NMR. An antiunitary mirror preserves every kernel and sends W to n − W. Product states: W counts the qubits with h_q + h′_q > 1. Spin-coherent reference: W counts the Majorana stars of the partner's symmetric part beyond a circle of latitude. The kernels are then the Fourier coefficients of the partner's Husimi function on the reference's circle of latitude. Haar-random partner: averaged over the partner, W(ψ, ·) equals the mean excitation number ⟨ψ|N|ψ⟩. For the reference |+⟩^⊗n, its variance is ζ(3/2)/(8√π)·√n to leading order. With one control qubit and copies of the two states, a certified protocol returns W exactly or abstains, using O(n log²n log(n/δ)/ν²) copy pairs. The margin ν is inverse-polynomial exactly for pairs that stay close under every common shift, and exponentially small for random partners. Classically, W is efficiently computable for product, matrix-product and computationally tractable states. Deciding W for circuit-prepared pairs at constant margin is BQP-complete. We claim no quantum advantage. 13 pages, 3 figures, 2 tables. The deposit includes the LaTeX source and a reference implementation in numpy. Its tests cover every theorem, proposition, lemma and corollary, and all figures and numbers are regenerated from a fixed seed.