東華大學圖書館 |

Classical Coding Approaches to Quantum Applications.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Classical Coding Approaches to Quantum Applications./
作者:	Rengaswamy, Narayanan.
出版者:	Ann Arbor : ProQuest Dissertations & Theses, : 2020,
面頁冊數:	261 p.
附註:	Source: Dissertations Abstracts International, Volume: 81-12.
Contained By:	Dissertations Abstracts International81-12.
標題:	Electrical engineering. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=27742180
ISBN:	9798645466114

Classical Coding Approaches to Quantum Applications.
Rengaswamy, Narayanan.

Classical Coding Approaches to Quantum Applications. - Ann Arbor : ProQuest Dissertations & Theses, 2020 - 261 p.

Source: Dissertations Abstracts International, Volume: 81-12.

Thesis (Ph.D.)--Duke University, 2020.

This item must not be sold to any third party vendors.

Quantum information science strives to leverage the quantum-mechanical nature of our universe in order to achieve large improvements in certain information processing tasks. Such tasks include quantum communications and fault-tolerant quantum computation. In this dissertation, we make contributions to both of these applications.In deep-space optical communications, the mathematical abstraction of the binary phase shift keying (BPSK) modulated pure-loss optical channel is called the pure-state channel. It takes classical inputs and delivers quantum outputs that are pure (qubit) states. To achieve optimal information transmission, if classical error-correcting codes are employed over this channel, then one needs to develop receivers that collectively measure all output qubits in order to optimally identify the transmitted message. In general, it is hard to determine these optimal collective measurements and even harder to realize them in practice. So, current receivers first measure each qubit channel output and then classically post-process the measurements. This approach is sub-optimal. We investigate a recently proposed quantum algorithm for this task, which is inspired by classical belief-propagation algorithms, and analyze its performance on a simple $5$-bit code. We show that the algorithm makes optimal decisions for the value of each bit and it appears to achieve optimal performance when deciding the full transmitted message. We also provide explicit circuits for the algorithm in terms of standard gates. For deep-space optical communications, this suggests a near-term quantum advantage over the aforementioned sub-optimal scheme. Such a communication advantage appears to be the first of its kind.Quantum error correction is vital to building a universal fault-tolerant quantum computer. An ⟬n, k, d⟭ quantum error-correcting code (QECC) protects k information (or logical) qubits by encoding them into quantum states of n > k physical qubits such that any undetectable error must affect at least d physical qubits. In this dissertation we focus on stabilizer QECCs, which are the most widely used type of QECCs. Since we would like to perform universal (i.e., arbitrary) quantum computation on the k logical qubits, an important problem is to determine fault-tolerant n-qubit physical operations that induce the desired logical operations. Our first contribution here is a systematic algorithm that can translate a given logical Clifford operation on a stabilizer QECC into all (equivalence classes of) physical Clifford circuits that realize that operation. We exploit binary symplectic matrices to make this translation efficient and call this procedure the Logical Clifford Synthesis (LCS) algorithm.In order to achieve universality, a quantum computer also needs to implement at least one non-Clifford logical operation. We develop a mathematical framework for a large subset of diagonal (unitary) operations in the Clifford hierarchy, and we refer to these as Quadratic Form Diagonal (QFD) gates. We show that all 1- and 2-local diagonal gates in the hierarchy are QFD, and we rigorously derive their action on Pauli matrices. This framework of QFD gates includes many non-Clifford gates and could be of independent interest. Subsequently, we use the QFD formalism to characterize all ⟬n, k, d⟭ stabilizer codes whose code subspaces are preserved under the transversal action of T and T-1 gates on the n physical qubits. The T and T-1 gates are among the simplest non-Clifford gates to engineer in the lab. By employing a "reverse LCS" strategy, we also discuss the logical operations induced by these physical gates. We discuss some important corollaries related to triorthogonal codes and the optimality of CSS codes with respect to T and T-1 gates. We also describe a few purely-classical coding problems motivated by physical constraints arising from fault-tolerance. Finally, we discuss several examples of codes and determine the logical operation induced by physical Z-rotations on a family of quantum Reed-Muller codes. A conscious effort has been made to keep this dissertation self-contained, by including necessary background material on quantum information and computation.

ISBN: 9798645466114Subjects--Topical Terms:

649834
Electrical engineering.
Subjects--Index Terms:

Belief propagation

Classical Coding Approaches to Quantum Applications.
LDR:05417nmm a2200385 4500 001 2271636
005 20201030110343.5
008 220629s2020 ||||||||||||||||| ||eng d
020 $a 9798645466114
035 $a (MiAaPQ)AAI27742180
035 $a AAI27742180
040 $a MiAaPQ $c MiAaPQ
100 1 $a Rengaswamy, Narayanan. $3 3549049
245 1 0 $a Classical Coding Approaches to Quantum Applications.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2020
300 $a 261 p.
500 $a Source: Dissertations Abstracts International, Volume: 81-12.
500 $a Advisor: Pfister, Henry D.;Calderbank, Arthur R.
502 $a Thesis (Ph.D.)--Duke University, 2020.
506 $a This item must not be sold to any third party vendors.
520 $a Quantum information science strives to leverage the quantum-mechanical nature of our universe in order to achieve large improvements in certain information processing tasks. Such tasks include quantum communications and fault-tolerant quantum computation. In this dissertation, we make contributions to both of these applications.In deep-space optical communications, the mathematical abstraction of the binary phase shift keying (BPSK) modulated pure-loss optical channel is called the pure-state channel. It takes classical inputs and delivers quantum outputs that are pure (qubit) states. To achieve optimal information transmission, if classical error-correcting codes are employed over this channel, then one needs to develop receivers that collectively measure all output qubits in order to optimally identify the transmitted message. In general, it is hard to determine these optimal collective measurements and even harder to realize them in practice. So, current receivers first measure each qubit channel output and then classically post-process the measurements. This approach is sub-optimal. We investigate a recently proposed quantum algorithm for this task, which is inspired by classical belief-propagation algorithms, and analyze its performance on a simple $5$-bit code. We show that the algorithm makes optimal decisions for the value of each bit and it appears to achieve optimal performance when deciding the full transmitted message. We also provide explicit circuits for the algorithm in terms of standard gates. For deep-space optical communications, this suggests a near-term quantum advantage over the aforementioned sub-optimal scheme. Such a communication advantage appears to be the first of its kind.Quantum error correction is vital to building a universal fault-tolerant quantum computer. An ⟬n, k, d⟭ quantum error-correcting code (QECC) protects k information (or logical) qubits by encoding them into quantum states of n > k physical qubits such that any undetectable error must affect at least d physical qubits. In this dissertation we focus on stabilizer QECCs, which are the most widely used type of QECCs. Since we would like to perform universal (i.e., arbitrary) quantum computation on the k logical qubits, an important problem is to determine fault-tolerant n-qubit physical operations that induce the desired logical operations. Our first contribution here is a systematic algorithm that can translate a given logical Clifford operation on a stabilizer QECC into all (equivalence classes of) physical Clifford circuits that realize that operation. We exploit binary symplectic matrices to make this translation efficient and call this procedure the Logical Clifford Synthesis (LCS) algorithm.In order to achieve universality, a quantum computer also needs to implement at least one non-Clifford logical operation. We develop a mathematical framework for a large subset of diagonal (unitary) operations in the Clifford hierarchy, and we refer to these as Quadratic Form Diagonal (QFD) gates. We show that all 1- and 2-local diagonal gates in the hierarchy are QFD, and we rigorously derive their action on Pauli matrices. This framework of QFD gates includes many non-Clifford gates and could be of independent interest. Subsequently, we use the QFD formalism to characterize all ⟬n, k, d⟭ stabilizer codes whose code subspaces are preserved under the transversal action of T and T-1 gates on the n physical qubits. The T and T-1 gates are among the simplest non-Clifford gates to engineer in the lab. By employing a "reverse LCS" strategy, we also discuss the logical operations induced by these physical gates. We discuss some important corollaries related to triorthogonal codes and the optimality of CSS codes with respect to T and T-1 gates. We also describe a few purely-classical coding problems motivated by physical constraints arising from fault-tolerance. Finally, we discuss several examples of codes and determine the logical operation induced by physical Z-rotations on a family of quantum Reed-Muller codes. A conscious effort has been made to keep this dissertation self-contained, by including necessary background material on quantum information and computation.
590 $a School code: 0066.
650 4 $a Electrical engineering. $3 649834
650 4 $a Mathematics. $3 515831
650 4 $a Quantum physics. $3 726746
653 $a Belief propagation
653 $a Optical communications
653 $a Quantum computing
653 $a Self-dual codes
653 $a Stabilizer codes
653 $a Symplectic matrices
690 $a 0544
690 $a 0405
690 $a 0599
710 2 $a Duke University. $b Electrical and Computer Engineering. $3 1032075
773 0 $t Dissertations Abstracts International $g 81-12.
790 $a 0066
791 $a Ph.D.
792 $a 2020
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=27742180