Compare Papers

Paper 1

Untangling Surface Codes: Bridging Braids and Lattice Surgery

Alexandru Paler

Year
2025
Journal
arXiv preprint
DOI
arXiv:2511.22290
arXiv
2511.22290

We present a systematic method for translating fault-tolerant quantum circuits between their braiding and lattice surgery (LS) representations within the surface code. Our approach employs the ZX calculus to establish an equivalence between these two paradigms, enabling verified, bidirectional conversion of arbitrary surface-code-level circuits. We show that both braiding and LS operations can be uniformly expressed as compositions of multibody measurements and demonstrate that the Raussendorf compression rule encompasses all known braid and bridge optimizations. We also introduce a novel CNOT circuit with LS. Our framework provides a foundation for the automated verification, compilation, and benchmarking of large-scale surface code computations, advancing toward a unified formal language for topological quantum computation.

Open paper

Paper 2

Two Copies of the Einstein-Podolsky-Rosen State of Light Lead to Refutation of EPR Ideas

Krzysztof Rosołek, Magdalena Stobińska, Marcin Wieśniak, Marek Żukowski

Year
2014
Journal
arXiv preprint
DOI
arXiv:1407.7410
arXiv
1407.7410

Bell's theorem applies to the normalizable approximations of the original Einstein-Podolsky-Rosen (EPR) state. The constructions of the proof require measurements difficult to perform, and dichotomic observables. By noticing the fact that the four mode squeezed vacuum state produced in type II down-conversion can be seen both as two copies of approximate EPR states, and also as a kind of polarization supersinglet, we show a straightforward way to test violations of the EPR concepts with direct use of their state. The observables involved are simply photon numbers at outputs of polarizing beam splitters. Suitable chained Bell inequalities are based on the geometric concept of distance. For a few settings they are potentially a new tool for quantum information applications, involving observables of a nondichotomic nature, and thus of higher informational capacity. In the limit of infinitely many settings we get a Greenberger-Horne-Zeilinger-type contradiction: EPR reasoning points to a correlation, while quantum prediction is an anticorrelation. Violations of the inequalities are fully resistant to multipair emissions in Bell experiments using parametric down-conversion sources.

Open paper