Math @ Duke

Publications [#336004] of Henry Pfister
Papers Published
 Rengaswamy, N; Calderbank, R; Pfister, HD; Kadhe, S, Synthesis of Logical Clifford Operators via Symplectic Geometry,
Ieee International Symposium on Information Theory Proceedings, vol. 2018June
(August, 2018),
pp. 791795 [doi]
(last updated on 2018/12/18)
Abstract: © 2018 IEEE. Quantum errorcorrecting codes can be used to protect qubits involved in quantum computation. This requires that logical operators acting on protected qubits be translated to physical operators (circuits) acting on physical quantum states. 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 \mathbb{C}{N\times N} as a 2m\times 2m binary symplectic matrix, where N=2{m}. We show that for an \!\!\!\![\!\!\![\ {m, mk}\ ]\!\!\!]\!\!\!\! stabilizer code every logical Clifford operator has 2{k(k+1)/2} symplectic solutions, and we enumerate them efficiently using symplectic transvections. The desired circuits are then obtained by writing each of the solutions as a product of elementary symplectic matrices. For a given operator, our assembly of all of its physical realizations enables optimization over them with respect to a suitable metric. Our method of circuit synthesis can be applied to any stabilizer code, and this paper provides a proof of concept synthesis of universal Clifford gates for the wellknown \!\!\!\![\!\!\![\ 6,4,2\ ]\!\!\!]\!\!\!\! code. Programs implementing our algorithms can be found at https://github.com/nrenga/symplecticarxiv18a.


dept@math.duke.edu
ph: 919.660.2800
fax: 919.660.2821
 
Mathematics Department
Duke University, Box 90320
Durham, NC 277080320

