Single-Round Graph-State Distribution from Bell Pairs: Exact Fidelity under Resource-Qubit Noise
arXiv:2604.02169
Abstract
I present a protocol that converts |E| elementary two-qubit resource states, one per edge of a target graph G=(V,E), into the distributed graph state |G> using only operations local to each party and classical communication, reaching arbitrary graph topologies rather than the GHZ class of prior walk-based schemes. The elementary step is obtained from the coined discrete-time quantum walk by replacing the position-permuting shift with a diagonal CZ gate, the phase quantum walk (PQW); on each edge it realises the entanglement-assisted non-local CZ gate. Because every gate and correction is diagonal, all edges run in a single round with the local correction C_v = Z_v^{g_v}, verified exhaustively on 22 connected graphs (32,212 outcomes) at F = 1.0. The central result is an exact fidelity theory under independent Pauli noise on the resource qubits, with a separate channel on each. When the noise acts after the local gate, the fidelity factorises over vertices; for depolarising noise F* = prod_v [1 + (1 - 4p/3)^{deg v}]/2, with the degree sequence entering only at second order. When it acts on the stored pair, as link-generation, transmission and storage noise does, it becomes an edge-cover partition function, F* = 2^{-|V|} sum_{S subset V} (1 - 4p/3)^{2|E(S)|}, bounded above by the vertex product and with a leading-order loss coefficient 3/2 times larger. Dephasing gives the same fidelity at both placements. On ibm_kingston, direct fidelity estimation certifies F = 0.815(3) for |L_4>, 0.776(3) for |GHZ_4> and 0.733(3) for |C_4>. Native SWAP-free execution at coupling girth gamma requires target girth at least gamma/3 and maximum degree at most 3; on heavy-hex this forbids triangles, though |K_4>, being LC-equivalent to a star, remains reachable.
arXiv comment24 pages, 8 figures, v7: retitled; Theorem 27 of v6 (tree-graph correction formula) was incorrect and has been removed, replaced by a general family of local Pauli corrections (Corollary 34); new exact fidelity theorem for noise on the stored resource pair (Theorem 17); expanded prior-art discussion