Draft · v0.2 · Unreviewed
← Index/Project · Nadarasa ReductionDraft · v0.2 · Selene Emulator

Nadarasa · Track 1 · Synesthete's PQP Frontier

Phase-group atlas

Each point is a (kernel, register-size) pair plotted in phase-group coordinates: x = n qubits, y = log₂ |G| where G is the cyclic subgroup of (R/Z, +) generated by the kernel's spider phases. Colour encodes the order — cool for small cyclic groups, warm as the group grows. PQP Thm 11.12 says non-locality requires Z₄ ⊂ G; the atlas extends that litmus to a full coordinate system.

345678012345678register size n (qubits)log₂ |phase group|G1 · QFT cphase ladder n = 3 |G| = 4 (Z₄) distinct generator orders: 2 Z₄ ⊂ G: yesG1 · QFT cphase ladder n = 4 |G| = 8 (Z_{2^3} (= Z_8)) distinct generator orders: 3 Z₄ ⊂ G: yesG1 · QFT cphase ladder n = 5 |G| = 16 (Z_{2^4} (= Z_16)) distinct generator orders: 4 Z₄ ⊂ G: yesG1 · QFT cphase ladder n = 6 |G| = 32 (Z_{2^5} (= Z_32)) distinct generator orders: 5 Z₄ ⊂ G: yesG1 · QFT cphase ladder n = 7 |G| = 64 (Z_{2^6} (= Z_64)) distinct generator orders: 6 Z₄ ⊂ G: yesG1 · QFT cphase ladder n = 8 |G| = 128 (Z_{2^7} (= Z_128)) distinct generator orders: 7 Z₄ ⊂ G: yesG2-real · two ladders + glue n = 3 |G| = 8 (Z_{2^3} (= Z_8)) distinct generator orders: 3 Z₄ ⊂ G: yesG2-real · two ladders + glue n = 4 |G| = 16 (Z_{2^4} (= Z_16)) distinct generator orders: 4 Z₄ ⊂ G: yesG2-real · two ladders + glue n = 5 |G| = 32 (Z_{2^5} (= Z_32)) distinct generator orders: 5 Z₄ ⊂ G: yesG2-real · two ladders + glue n = 6 |G| = 64 (Z_{2^6} (= Z_64)) distinct generator orders: 6 Z₄ ⊂ G: yesG2-real · two ladders + glue n = 7 |G| = 128 (Z_{2^7} (= Z_128)) distinct generator orders: 7 Z₄ ⊂ G: yesG2-real · two ladders + glue n = 8 |G| = 256 (Z_{2^8} (= Z_256)) distinct generator orders: 8 Z₄ ⊂ G: yesG12 · same skeleton as G1 n = 3 |G| = 4 (Z₄) distinct generator orders: 2 Z₄ ⊂ G: yesG12 · same skeleton as G1 n = 4 |G| = 8 (Z_{2^3} (= Z_8)) distinct generator orders: 3 Z₄ ⊂ G: yesG12 · same skeleton as G1 n = 5 |G| = 16 (Z_{2^4} (= Z_16)) distinct generator orders: 4 Z₄ ⊂ G: yesG12 · same skeleton as G1 n = 6 |G| = 32 (Z_{2^5} (= Z_32)) distinct generator orders: 5 Z₄ ⊂ G: yesG12 · same skeleton as G1 n = 7 |G| = 64 (Z_{2^6} (= Z_64)) distinct generator orders: 6 Z₄ ⊂ G: yesG12 · same skeleton as G1 n = 8 |G| = 128 (Z_{2^7} (= Z_128)) distinct generator orders: 7 Z₄ ⊂ G: yes
G1 · QFT cphase ladderG2-real · two ladders + glueG12 · same skeleton as G1

Atlas table

Kerneln|G|Groupdistinct ordersZ₄ ⊂ G
G1 · QFT cphase ladder34Z₄2yes
G1 · QFT cphase ladder48Z_{2^3} (= Z_8)3yes
G1 · QFT cphase ladder516Z_{2^4} (= Z_16)4yes
G1 · QFT cphase ladder632Z_{2^5} (= Z_32)5yes
G1 · QFT cphase ladder764Z_{2^6} (= Z_64)6yes
G1 · QFT cphase ladder8128Z_{2^7} (= Z_128)7yes
G2-real · two ladders + glue38Z_{2^3} (= Z_8)3yes
G2-real · two ladders + glue416Z_{2^4} (= Z_16)4yes
G2-real · two ladders + glue532Z_{2^5} (= Z_32)5yes
G2-real · two ladders + glue664Z_{2^6} (= Z_64)6yes
G2-real · two ladders + glue7128Z_{2^7} (= Z_128)7yes
G2-real · two ladders + glue8256Z_{2^8} (= Z_256)8yes
G12 · same skeleton as G134Z₄2yes
G12 · same skeleton as G148Z_{2^3} (= Z_8)3yes
G12 · same skeleton as G1516Z_{2^4} (= Z_16)4yes
G12 · same skeleton as G1632Z_{2^5} (= Z_32)5yes
G12 · same skeleton as G1764Z_{2^6} (= Z_64)6yes
G12 · same skeleton as G18128Z_{2^7} (= Z_128)7yes

Reading the atlas

  • QFT-skeleton kernels (G1, G12) land at |G| = 2^(n-1): their phases are exactly the cphase ladder, so the group doubles with every extra qubit.
  • G2-real adds a slope cphase at angle 2π/N, pushing it one rung higher to |G| = 2^n. That is a structural separation visible at a glance — the same separation the resource monotones certify.
  • Falsifier check. All current kernels collapse onto a single power-of-two ray. That is informative: to diversify the program we need a generator whose phase denominator is NOT a power of 2 (e.g. a Toffoli-decomposed ancilla rotation, or a non-Clifford magic state). Until then, the atlas is one-dimensional.