Skip to main content

Logical Clifford Synthesis for Stabilizer Codes

Publication ,  Journal Article
Rengaswamy, N; Calderbank, R; Kadhe, S; Pfister, HD
Published in: IEEE Transactions on Quantum Engineering
January 1, 2020

Quantum error-correcting codes are used to protect qubits involved in quantum computation. This process requires logical operators to be translated into physical operators acting on physical quantum states. In this article, we propose a mathematical framework for synthesizing physical circuits that implement logical Clifford operators for stabilizer codes. Circuit synthesis is enabled by representing the desired physical Clifford operator in CN×N as a 2m × 2m binary symplectic matrix, where N = 2m. We prove two theorems that use symplectic transvections to efficiently enumerate all binary symplectic matrices that satisfy a system of linear equations. As a corollary, we prove that for an [[m, k]] stabilizer code every logical Clifford operator has 2r(r+1)/2 symplectic solutions, where r = m − k, up to stabilizer degeneracy. The desired physical circuits are then obtained by decomposing each solution into a product of elementary symplectic matrices, that correspond to elementary circuits. This enumeration of all physical realizations enables optimization over the ensemble with respect to a suitable metric. Furthermore, we show that any circuit that normalizes the stabilizer can be transformed into a circuit that centralizes the stabilizer, while realizing the same logical operation. Our method of circuit synthesis can be applied to any stabilizer code, and this paper discusses a proof of concept synthesis for the [[6, 4, 2]] CSS code. Programs implementing the algorithms in this article, which includes routines to solve for binary symplectic solutions of general linear systems and our overall LCS (logical circuit synthesis) algorithm, can be found at https://github.com/nrenga/symplectic-arxiv18a

Duke Scholars

Altmetric Attention Stats
Dimensions Citation Stats

Published In

IEEE Transactions on Quantum Engineering

DOI

EISSN

2689-1808

Publication Date

January 1, 2020

Volume

1
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Rengaswamy, N., Calderbank, R., Kadhe, S., & Pfister, H. D. (2020). Logical Clifford Synthesis for Stabilizer Codes. IEEE Transactions on Quantum Engineering, 1. https://doi.org/10.1109/TQE.2020.3023419
Rengaswamy, N., R. Calderbank, S. Kadhe, and H. D. Pfister. “Logical Clifford Synthesis for Stabilizer Codes.” IEEE Transactions on Quantum Engineering 1 (January 1, 2020). https://doi.org/10.1109/TQE.2020.3023419.
Rengaswamy N, Calderbank R, Kadhe S, Pfister HD. Logical Clifford Synthesis for Stabilizer Codes. IEEE Transactions on Quantum Engineering. 2020 Jan 1;1.
Rengaswamy, N., et al. “Logical Clifford Synthesis for Stabilizer Codes.” IEEE Transactions on Quantum Engineering, vol. 1, Jan. 2020. Scopus, doi:10.1109/TQE.2020.3023419.
Rengaswamy N, Calderbank R, Kadhe S, Pfister HD. Logical Clifford Synthesis for Stabilizer Codes. IEEE Transactions on Quantum Engineering. 2020 Jan 1;1.

Published In

IEEE Transactions on Quantum Engineering

DOI

EISSN

2689-1808

Publication Date

January 1, 2020

Volume

1