-
$\mathcal{PT}$-Symmetry induced Bi-Stability in Non-Hermitian Cavity Magnomechanics
Authors:
Chaoyi Lai,
Shah Fahad,
Kashif Ammar Yasir
Abstract:
We study the steady-state non-Hermitian magnomechanical system driven by a transverse magnetic field directly interacting with YIG sphere and excites cavity magnons and photons. To make the system non-Hermitian, we use a traveling field directly interacting with magnons generating gain to the system. We start by illustrating PT-configuration of the system, which contains two PT broken region aroun…
▽ More
We study the steady-state non-Hermitian magnomechanical system driven by a transverse magnetic field directly interacting with YIG sphere and excites cavity magnons and photons. To make the system non-Hermitian, we use a traveling field directly interacting with magnons generating gain to the system. We start by illustrating PT-configuration of the system, which contains two PT broken region around exceptional point and PT protected region along the axis of exceptional point. Late, we discover that the numbers of cavity photons and magnons show bistable behavior depending upon the PT configuration, which becomes more significant as the values of the magnon-photon coupling and traveling field strength increases. We illustrate that steady-state photon only shows bistable behavior when the system in in lossy PT broken configuration, means strength of traveling field is less than the magnon-photon coupling. Otherwise, it will just contain a single stable state because of bistability suppression with gain in the system, which is unlike with any other investigation in this direction. Further, a larger magnon-photon coupling increases photon intensity and decreases magnon intensity, because of photon and magnon energy exchange, leading to enhanced photon bistablity and decreased magnon bistability. However, in case of increasing strength of traveling field, both photon as well as magnon bistability is appeared to be decreasing. We also study the steady-state effective potential of the system and illustrate the occurrence of bistability with nonlinear interactions between contour trajectories, which similarly depends on the PT broken configuration of the system.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Reducing Quantum Error Correction Overhead with Versatile Flag-Sharing Syndrome Extraction Circuits
Authors:
Pei-Hao Liou,
Ching-Yi Lai
Abstract:
Given that quantum error correction processes are unreliable, an efficient error syndrome extraction circuit should use fewer ancillary qubits, quantum gates, and measurements, while maintaining low circuit depth, to minimizing the circuit area, roughly defined as the product of circuit depth and the number of physical qubits. We propose to design parallel flagged syndrome extraction with shared f…
▽ More
Given that quantum error correction processes are unreliable, an efficient error syndrome extraction circuit should use fewer ancillary qubits, quantum gates, and measurements, while maintaining low circuit depth, to minimizing the circuit area, roughly defined as the product of circuit depth and the number of physical qubits. We propose to design parallel flagged syndrome extraction with shared flag qubits for quantum stabilizer codes. Versatile parallelization techniques are employed to minimize the required circuit area, thereby improving the error threshold and overall performance. Specifically, all the measurement outcomes in multiple rounds of syndrome extraction are integrated into a lookup table decoder, allowing us to parallelize multiple stabilizer measurements with shared flag qubits. We present flag-sharing and fully parallel schemes for the [[17,1,5]] and [[19,1,5]] Calderbank-Shor-Steane (CSS) codes. This methodology extends to the [[5,1,3]] non-CSS code, achieving the minimum known circuit area. Numerical simulations have demonstrated improved pseudothresholds for these codes by up to an order of magnitude compared to previous schemes in the literature.
△ Less
Submitted 30 June, 2024;
originally announced July 2024.
-
Hybrid Quantum-Classical Clustering for Preparing a Prior Distribution of Eigenspectrum
Authors:
Mengzhen Ren,
Yu-Cheng Chen,
Ching-Jui Lai,
Min-Hsiu Hsieh,
Alice Hu
Abstract:
Determining the energy gap in a quantum many-body system is critical to understanding its behavior and is important in quantum chemistry and condensed matter physics. The challenge of determining the energy gap requires identifying both the excited and ground states of a system. In this work, we consider preparing the prior distribution and circuits for the eigenspectrum of time-independent Hamilt…
▽ More
Determining the energy gap in a quantum many-body system is critical to understanding its behavior and is important in quantum chemistry and condensed matter physics. The challenge of determining the energy gap requires identifying both the excited and ground states of a system. In this work, we consider preparing the prior distribution and circuits for the eigenspectrum of time-independent Hamiltonians, which can benefit both classical and quantum algorithms for solving eigenvalue problems. The proposed algorithm unfolds in three strategic steps: Hamiltonian transformation, parameter representation, and classical clustering. These steps are underpinned by two key insights: the use of quantum circuits to approximate the ground state of transformed Hamiltonians and the analysis of parameter representation to distinguish between eigenvectors. The algorithm is showcased through applications to the 1D Heisenberg system and the LiH molecular system, highlighting its potential for both near-term quantum devices and fault-tolerant quantum devices. The paper also explores the scalability of the method and its performance across various settings, setting the stage for more resource-efficient quantum computations that are both accurate and fast. The findings presented here mark a new insight into hybrid algorithms, offering a pathway to overcoming current computational challenges.
△ Less
Submitted 29 June, 2024;
originally announced July 2024.
-
How to surpass no-go limits in Gaussian quantum error correction and entangled Gaussian state distillation?
Authors:
En-Jui Chang,
Ching-Yi Lai
Abstract:
Gaussian quantum information processing with continuous-variable (CV) quantum information carriers holds significant promise for applications in quantum communication and quantum internet. However, applying Gaussian state distillation and quantum error correction (QEC) faces limitations imposed by no-go results concerning local Gaussian unitary operations and classical communications. This paper i…
▽ More
Gaussian quantum information processing with continuous-variable (CV) quantum information carriers holds significant promise for applications in quantum communication and quantum internet. However, applying Gaussian state distillation and quantum error correction (QEC) faces limitations imposed by no-go results concerning local Gaussian unitary operations and classical communications. This paper introduces a Gaussian QEC protocol that relies solely on local Gaussian resources. A pivotal component of our approach is CV gate teleportation using entangled Gaussian states, which facilitates the implementation of the partial transpose operation on a quantum channel. Consequently, we can efficiently construct a two-mode noise-polarized channel from two noisy Gaussian channels. Furthermore, this QEC protocol naturally extends to a nonlocal Gaussian state distillation protocol.
△ Less
Submitted 7 May, 2024; v1 submitted 29 April, 2024;
originally announced April 2024.
-
Efficient Ground State Estimation Using Generalized Hund's Rule
Authors:
Leo Chiang,
Ching-Jui Lai
Abstract:
Quantum computers offer a promising approach to simulate the ground state of molecules, which is crucial for understanding molecular properties and chemical reactions. However, the limited number of available qubits on current devices poses a challenge for simulation. This paper investigates the feasibility of reducing the qubit usage of molecular simulation by examining specific fermionic states…
▽ More
Quantum computers offer a promising approach to simulate the ground state of molecules, which is crucial for understanding molecular properties and chemical reactions. However, the limited number of available qubits on current devices poses a challenge for simulation. This paper investigates the feasibility of reducing the qubit usage of molecular simulation by examining specific fermionic states according to Hund's rule.
We introduced a new framework based on qubit efficiency encoding. Based on this framework, the Hamiltonian is restricted to the Hund subspace. Compared to only concerned particle conservation, the proposed method can reduce $N$ qubit usage for an $M$ orbitals and $N$ electrons molecule when $M\gg N$. Additionally, when using the STO-3G basis sets, the simulations of the $15$ molecules with given molecular geometry by the proposed method are close to the full configuration interaction. The absolute difference is at most $0.121\%$. Meanwhile, predictions from potential energy surfaces using the proposed method have an absolute difference at most $4.1\%$.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
Harnessing Coding Theory for Reliable Network Quantum Communication
Authors:
Ching-Yi Lai,
Kao-Yueh Kuo
Abstract:
This article explores the application of coding techniques for fault-tolerant quantum computation and extends their usage to fault-tolerant quantum communication. We review repeater-based quantum networks, emphasizing the roles of coding theory and fault-tolerant quantum operations, particularly in the context of quantum teleportation. We highlight that fault-tolerant implementation of the Bell me…
▽ More
This article explores the application of coding techniques for fault-tolerant quantum computation and extends their usage to fault-tolerant quantum communication. We review repeater-based quantum networks, emphasizing the roles of coding theory and fault-tolerant quantum operations, particularly in the context of quantum teleportation. We highlight that fault-tolerant implementation of the Bell measurement enables reliable quantum communication without requiring a universal set of quantum gates. Finally, we discuss various quantum code candidates for achieving higher transmission rates.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
Semidefinite programming bounds on the size of entanglement-assisted codeword stabilized quantum codes
Authors:
Ching-Yi Lai,
Pin-Chieh Tseng,
Wei-Hsuan Yu
Abstract:
In this paper, we explore the application of semidefinite programming to the realm of quantum codes, specifically focusing on codeword stabilized (CWS) codes with entanglement assistance. Notably, we utilize the isotropic subgroup of the CWS group and the set of word operators of a CWS-type quantum code to derive an upper bound on the minimum distance. Furthermore, this characterization can be inc…
▽ More
In this paper, we explore the application of semidefinite programming to the realm of quantum codes, specifically focusing on codeword stabilized (CWS) codes with entanglement assistance. Notably, we utilize the isotropic subgroup of the CWS group and the set of word operators of a CWS-type quantum code to derive an upper bound on the minimum distance. Furthermore, this characterization can be incorporated into the associated distance enumerators, enabling us to construct semidefinite constraints that lead to SDP bounds on the minimum distance or size of CWS-type quantum codes. We illustrate several instances where SDP bounds outperform LP bounds, and there are even cases where LP fails to yield meaningful results, while SDP consistently provides tight and relevant bounds. Finally, we also provide interpretations of the Shor-Laflamme weight enumerators and shadow enumerators for codeword stabilized codes, enhancing our understanding of quantum codes.
△ Less
Submitted 13 November, 2023;
originally announced November 2023.
-
Correcting phenomenological quantum noise via belief propagation
Authors:
Kao-Yueh Kuo,
Ching-Yi Lai
Abstract:
Quantum stabilizer codes often face the challenge of syndrome errors due to error-prone measurements. To address this issue, multiple rounds of syndrome extraction are typically employed to obtain reliable error syndromes. In this paper, we consider phenomenological decoding problems, where data qubit errors may occur between two syndrome extractions, and each syndrome measurement can be faulty. T…
▽ More
Quantum stabilizer codes often face the challenge of syndrome errors due to error-prone measurements. To address this issue, multiple rounds of syndrome extraction are typically employed to obtain reliable error syndromes. In this paper, we consider phenomenological decoding problems, where data qubit errors may occur between two syndrome extractions, and each syndrome measurement can be faulty. To handle these diverse error sources, we define a generalized check matrix over mixed quaternary and binary alphabets to characterize their error syndromes. This generalized check matrix leads to the creation of a Tanner graph comprising quaternary and binary variable nodes, which facilitates the development of belief propagation (BP) decoding algorithms to tackle phenomenological errors. Importantly, our BP decoders are applicable to general sparse quantum codes. Through simulations of quantum memory protected by rotated toric codes, we demonstrates an error threshold of 3.3% in the phenomenological noise model. Additionally, we propose a method to construct effective redundant stabilizer checks for single-shot error correction. Simulations show that BP decoding performs exceptionally well, even when the syndrome error rate greatly exceeds the data error rate.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
On character table of Clifford groups
Authors:
Chin-Yen Lee,
Wei-Hsuan Yu,
Yung-Ning Peng,
Ching-Jui Lai
Abstract:
Based on a presentation of $\mathcal{C}_n$ and the help of [GAP], we construct the character table of the Clifford group $\mathcal{C}_n$ for $n=1,2,3$. As an application, we can efficiently decompose the (higher power of) tensor product of the matrix representation in those cases. Our results recover some known results in [HWW, WF] and reveal some new phenomena. We prove that when $n \geq 3$, (1)…
▽ More
Based on a presentation of $\mathcal{C}_n$ and the help of [GAP], we construct the character table of the Clifford group $\mathcal{C}_n$ for $n=1,2,3$. As an application, we can efficiently decompose the (higher power of) tensor product of the matrix representation in those cases. Our results recover some known results in [HWW, WF] and reveal some new phenomena. We prove that when $n \geq 3$, (1) the trivial character is the only linear character for $\mathcal{C}_n$ and hence $\mathcal{C}_n$ equals to its commutator subgroup, (2) the $n$-qubit Pauli group $\mathcal{P}_n$ is the only proper non-trivial normal subgroup of $\mathcal{C}_n$, (3) the matrix representation $\mathcal{M}_{2^n}$ is a faithful representation for $\mathcal{C}_n$. As a byproduct, we give a presentation of the finite symplectic group $Sp(2n,2)$ in terms of generators and relations.
△ Less
Submitted 25 October, 2023; v1 submitted 26 September, 2023;
originally announced September 2023.
-
Efficient learning of $t$-doped stabilizer states with single-copy measurements
Authors:
Nai-Hui Chia,
Ching-Yi Lai,
Han-Hsuan Lin
Abstract:
One of the primary objectives in the field of quantum state learning is to develop algorithms that are time-efficient for learning states generated from quantum circuits. Earlier investigations have demonstrated time-efficient algorithms for states generated from Clifford circuits with at most $\log(n)$ non-Clifford gates. However, these algorithms necessitate multi-copy measurements, posing imple…
▽ More
One of the primary objectives in the field of quantum state learning is to develop algorithms that are time-efficient for learning states generated from quantum circuits. Earlier investigations have demonstrated time-efficient algorithms for states generated from Clifford circuits with at most $\log(n)$ non-Clifford gates. However, these algorithms necessitate multi-copy measurements, posing implementation challenges in the near term due to the requisite quantum memory. On the contrary, using solely single-qubit measurements in the computational basis is insufficient in learning even the output distribution of a Clifford circuit with one additional $T$ gate under reasonable post-quantum cryptographic assumptions. In this work, we introduce an efficient quantum algorithm that employs only nonadaptive single-copy measurement to learn states produced by Clifford circuits with a maximum of $O(\log n)$ non-Clifford gates, filling a gap between the previous positive and negative results.
△ Less
Submitted 5 February, 2024; v1 submitted 14 August, 2023;
originally announced August 2023.
-
On Belief Propagation Decoding of Quantum Codes with Quaternary Reliability Statistics
Authors:
Ching-Feng Kung,
Kao-Yueh Kuo,
Ching-Yi Lai
Abstract:
In this paper, we investigate the use of quaternary reliability statistics for ordered statistics decoding (OSD) of quantum codes. OSD can be used to improve the performance of belief propagation (BP) decoding when it fails to correct the error syndrome. We propose an approach that leverages quaternary reliability information and the hard-decision history output by BP to perform reliability sortin…
▽ More
In this paper, we investigate the use of quaternary reliability statistics for ordered statistics decoding (OSD) of quantum codes. OSD can be used to improve the performance of belief propagation (BP) decoding when it fails to correct the error syndrome. We propose an approach that leverages quaternary reliability information and the hard-decision history output by BP to perform reliability sorting for OSD. This approach improves upon previous methods that separately treat X and Z errors, by preserving the X/Z correlations during the sorting step. Our simulations show that the refined BP with scalar messages and the proposed OSD outperforms previous BP-OSD combinations. We achieve thresholds of roughly 17.5%--17.7% for toric, surface, and XZZX codes, and 15.42% for hexagonal planar color codes.
△ Less
Submitted 15 July, 2023; v1 submitted 5 May, 2023;
originally announced May 2023.
-
Implementation of Trained Factorization Machine Recommendation System on Quantum Annealer
Authors:
Chen-Yu Liu,
Hsin-Yu Wang,
Pei-Yen Liao,
Ching-Jui Lai,
Min-Hsiu Hsieh
Abstract:
Factorization Machine (FM) is the most commonly used model to build a recommendation system since it can incorporate side information to improve performance. However, producing item suggestions for a given user with a trained FM is time-consuming. It requires a run-time of $O((N_m \log N_m)^2)$, where $N_m$ is the number of items in the dataset. To address this problem, we propose a quadratic unco…
▽ More
Factorization Machine (FM) is the most commonly used model to build a recommendation system since it can incorporate side information to improve performance. However, producing item suggestions for a given user with a trained FM is time-consuming. It requires a run-time of $O((N_m \log N_m)^2)$, where $N_m$ is the number of items in the dataset. To address this problem, we propose a quadratic unconstrained binary optimization (QUBO) scheme to combine with FM and apply quantum annealing (QA) computation. Compared to classical methods, this hybrid algorithm provides a faster than quadratic speedup in finding good user suggestions. We then demonstrate the aforementioned computational advantage on current NISQ hardware by experimenting with a real example on a D-Wave annealer.
△ Less
Submitted 8 November, 2023; v1 submitted 24 October, 2022;
originally announced October 2022.
-
Parallel syndrome extraction with shared flag qubits for Calderbank-Shor-Steane codes of distance three
Authors:
Pei-Hao Liou,
Ching-Yi Lai
Abstract:
To perform achieve fault-tolerant quantum computation, one can use flagged syndrome extraction with fewer ancilla qubits. However, it suffers from long circuit depth if one stabilizer is measured at a time. Previously, Reichardt showed that it is possible to measure multiple stabilizers with at most one shared flag qubit for certain small quantum codes. In this paper, we propose a procedure for ge…
▽ More
To perform achieve fault-tolerant quantum computation, one can use flagged syndrome extraction with fewer ancilla qubits. However, it suffers from long circuit depth if one stabilizer is measured at a time. Previously, Reichardt showed that it is possible to measure multiple stabilizers with at most one shared flag qubit for certain small quantum codes. In this paper, we propose a procedure for general Calderbank-Shor-Steane codes of distance three so that multiple $Z$-stabilizers ($X$-stabilizers) can be fault-tolerantly measured in parallel with one shared flag qubit. We simulate the memory and computation pseudo-thresholds for various code schemes. In particular, our parallel scheme based on Shor's nine-qubit code performs better than known seven- and nine-qubit schemes in the literature.
△ Less
Submitted 17 February, 2023; v1 submitted 31 July, 2022;
originally announced August 2022.
-
Syndrome decoding by quantum approximate optimization
Authors:
Ching-Yi Lai,
Kao-Yueh Kuo,
Bo-Jyun Liao
Abstract:
The syndrome decoding problem is known to be NP-hard. We use the quantum approximate optimization algorithm (QAOA) to solve the syndrome decoding problem with elegantly-designed generator- and check-based cost Hamiltonians for classical and quantum codes. Simulations of the level-4 check-based QAOA decoding of the [7,4,3] Hamming code, as well as the level-4 generator-based QAOA decoding of the [[…
▽ More
The syndrome decoding problem is known to be NP-hard. We use the quantum approximate optimization algorithm (QAOA) to solve the syndrome decoding problem with elegantly-designed generator- and check-based cost Hamiltonians for classical and quantum codes. Simulations of the level-4 check-based QAOA decoding of the [7,4,3] Hamming code, as well as the level-4 generator-based QAOA decoding of the [[5,1,3]] quantum code, demonstrate decoding performances that match the maximum likelihood decoding. In addition, we show that a combinatorial optimization problem with additional redundant clauses may be more suitable for QAOA, while the number of qubits remains the same. Furthermore, we show that the QAOA decoding of a quantum code is inherently degenerate. That is, degenerate errors of comparable weight will be returned by QAOA with comparable probability. This is supported by simulations of the generator-based QAOA decoding of the [[9,1,3]] Shor code.
△ Less
Submitted 12 July, 2022;
originally announced July 2022.
-
Comparison of 2D topological codes and their decoding performances
Authors:
Kao-Yueh Kuo,
Ching-Yi Lai
Abstract:
Topological quantum codes are favored because they allow qubit layouts that are suitable for practical implementation. An $N$-qubit topological code can be decoded by minimum-weight perfect matching (MWPM) with complexity $O(\text{poly}(N))$ if it is of CSS-type. Recently it is shown that various quantum codes, including non-CSS codes, can be decoded by an adapted belief propagation with memory ef…
▽ More
Topological quantum codes are favored because they allow qubit layouts that are suitable for practical implementation. An $N$-qubit topological code can be decoded by minimum-weight perfect matching (MWPM) with complexity $O(\text{poly}(N))$ if it is of CSS-type. Recently it is shown that various quantum codes, including non-CSS codes, can be decoded by an adapted belief propagation with memory effects (denoted MBP) with complexity almost linear in $N$. In this paper, we show that various two-dimensional topological codes, CSS or non-CSS, regardless of the layout, can be decoded by MBP, including color codes and twisted XZZX codes. We will comprehensively compare these codes in terms of code efficiency and decoding performance, assuming perfect error syndromes.
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
-
Linear programming bounds for quantum channels acting on quantum error-correcting codes
Authors:
Yingkai Ouyang,
Ching-Yi Lai
Abstract:
While quantum weight enumerators establish some of the best upper bounds on the minimum distance of quantum error-correcting codes, these bounds are not optimized to quantify the performance of quantum codes under the effect of arbitrary quantum channels that describe bespoke noise models. Herein, for any Kraus decomposition of any given quantum channel, we introduce corresponding quantum weight e…
▽ More
While quantum weight enumerators establish some of the best upper bounds on the minimum distance of quantum error-correcting codes, these bounds are not optimized to quantify the performance of quantum codes under the effect of arbitrary quantum channels that describe bespoke noise models. Herein, for any Kraus decomposition of any given quantum channel, we introduce corresponding quantum weight enumerators that naturally generalize the Shor-Laflamme quantum weight enumerators. We establish an indirect linear relationship between these generalized quantum weight enumerators by introducing an auxiliary exact weight enumerator that completely quantifies the quantum code's projector, and is independent of the underlying noise process. By additionally working within the framework of approximate quantum error correction, we establish a general framework for constructing a linear program that is infeasible whenever approximate quantum error correcting codes with corresponding parameters do not exist. Our linear programming framework allows us to establish the non-existence of certain quantum codes that approximately correct amplitude dam** errors, and obtain non-trivial upper bounds on the maximum dimension of a broad family of permutation-invariant quantum codes.
△ Less
Submitted 9 August, 2021;
originally announced August 2021.
-
Learning quantum circuits of some $T$ gates
Authors:
Ching-Yi Lai,
Hao-Chung Cheng
Abstract:
In this paper, we study the problem of learning an unknown quantum circuit of a certain structure. If the unknown target is an $n$-qubit Clifford circuit, we devise an efficient algorithm to reconstruct its circuit representation by using $O(n^2)$ queries to it. For decades, it has been unknown how to handle circuits beyond the Clifford group since the stabilizer formalism cannot be applied in thi…
▽ More
In this paper, we study the problem of learning an unknown quantum circuit of a certain structure. If the unknown target is an $n$-qubit Clifford circuit, we devise an efficient algorithm to reconstruct its circuit representation by using $O(n^2)$ queries to it. For decades, it has been unknown how to handle circuits beyond the Clifford group since the stabilizer formalism cannot be applied in this case. Herein, we study quantum circuits of $T$-depth one on the computational basis. We show that the output state of a $T$-depth one circuit {\textit{of full $T$-rank}} can be represented by a stabilizer pseudomixture with a specific algebraic structure. Using Pauli and Bell measurements on copies of the output states, we can generate a hypothesis circuit that is equivalent to the unknown target circuit on computational basis states as input. If the number of $T$ gates of the target is of the order $O({\log n})$, our algorithm requires $O(n^2)$ queries to it and produces its equivalent circuit representation on the computational basis in time $O(n^3)$. Using further additional $O(4^{3n})$ classical computations, we can derive an exact description of the target for arbitrary input states. Our results greatly extend the previously known facts that stabilizer states can be efficiently identified based on the stabilizer formalism.
△ Less
Submitted 28 June, 2022; v1 submitted 23 June, 2021;
originally announced June 2021.
-
Exploiting Degeneracy in Belief Propagation Decoding of Quantum Codes
Authors:
Kao-Yueh Kuo,
Ching-Yi Lai
Abstract:
Quantum information needs to be protected by quantum error-correcting codes due to imperfect physical devices and operations. One would like to have an efficient and high-performance decoding procedure for the class of quantum stabilizer codes. A potential candidate is Pearl's belief propagation (BP), but its performance suffers from the many short cycles inherent in a quantum stabilizer code, esp…
▽ More
Quantum information needs to be protected by quantum error-correcting codes due to imperfect physical devices and operations. One would like to have an efficient and high-performance decoding procedure for the class of quantum stabilizer codes. A potential candidate is Pearl's belief propagation (BP), but its performance suffers from the many short cycles inherent in a quantum stabilizer code, especially highly-degenerate codes. A general impression exists that BP is not effective for topological codes. In this paper, we propose a decoding algorithm for quantum codes based on quaternary BP with additional memory effects (called MBP). This MBP is like a recursive neural network with inhibitions between neurons (edges with negative weights), which enhance the perception capability of a network. Moreover, MBP exploits the degeneracy of a quantum code so that the most probable error or its degenerate errors can be found with high probability. The decoding performance is significantly improved over the conventional BP for various quantum codes, including quantum bicycle, hypergraph-product, surface and toric codes. For MBP on the surface and toric codes over depolarizing errors, we observe error thresholds of 16% and 17.5%, respectively.
△ Less
Submitted 2 April, 2023; v1 submitted 28 April, 2021;
originally announced April 2021.
-
Log-domain decoding of quantum LDPC codes over binary finite fields
Authors:
Ching-Yi Lai,
Kao-Yueh Kuo
Abstract:
A quantum stabilizer code over GF$(q)$ corresponds to a classical additive code over GF$(q^2)$ that is self-orthogonal with respect to a symplectic inner product. We study the decoding of quantum low-density parity-check (LDPC) codes over binary finite fields GF$(q=2^l)$ by the sum-product algorithm, also known as belief propagation (BP). Conventionally, a message in a nonbinary BP for quantum cod…
▽ More
A quantum stabilizer code over GF$(q)$ corresponds to a classical additive code over GF$(q^2)$ that is self-orthogonal with respect to a symplectic inner product. We study the decoding of quantum low-density parity-check (LDPC) codes over binary finite fields GF$(q=2^l)$ by the sum-product algorithm, also known as belief propagation (BP). Conventionally, a message in a nonbinary BP for quantum codes over GF$(2^l)$ represents a probability vector over GF$(2^{2l})$, inducing high decoding complexity. In this paper, we explore the property of the symplectic inner product and show that scalar messages suffice for BP decoding of nonbinary quantum codes, rather than vector messages necessary for the conventional BP. Consequently, we propose a BP decoding algorithm for quantum codes over GF$(2^l)$ by passing scalar messages so that it has low computation complexity. The algorithm is specified in log domain by using log-likelihood ratios (LLRs) of the channel statistics to have a low implementation cost. Moreover, techniques such as message normalization or offset can be naturally applied in this algorithm to mitigate the effects of short cycles to improve BP performance. This is important for nonbinary quantum codes since they may have more short cycles compared to binary quantum codes. Several computer simulations are provided to demonstrate these advantages. The scalar-based strategy can also be used to improve the BP decoding of classical linear codes over GF$(2^l)$ with many short cycles.
△ Less
Submitted 26 October, 2021; v1 submitted 1 April, 2021;
originally announced April 2021.
-
Refined Belief-Propagation Decoding of Quantum Codes with Scalar Messages
Authors:
Kao-Yueh Kuo,
Ching-Yi Lai
Abstract:
Codes based on sparse matrices have good performance and can be efficiently decoded by belief-propagation (BP). Decoding binary stabilizer codes needs a quaternary BP for (additive) codes over GF(4), which has a higher check-node complexity compared to a binary BP for codes over GF(2). Moreover, BP decoding of stabilizer codes suffers a performance loss from the short cycles in the underlying Tann…
▽ More
Codes based on sparse matrices have good performance and can be efficiently decoded by belief-propagation (BP). Decoding binary stabilizer codes needs a quaternary BP for (additive) codes over GF(4), which has a higher check-node complexity compared to a binary BP for codes over GF(2). Moreover, BP decoding of stabilizer codes suffers a performance loss from the short cycles in the underlying Tanner graph. In this paper, we propose a refined BP algorithm for decoding quantum codes by passing scalar messages. For a given error syndrome, this algorithm decodes to the same output as the conventional quaternary BP but with a check-node complexity the same as binary BP. As every message is a scalar, the message normalization can be naturally applied to improve the performance. Another observation is that the message-update schedule affects the BP decoding performance against short cycles. We show that running BP with message normalization according to a serial schedule (or other schedules) may significantly improve the decoding performance and error-floor in computer simulation.
△ Less
Submitted 14 February, 2021;
originally announced February 2021.
-
Decoding of Quantum Data-Syndrome Codes via Belief Propagation
Authors:
Kao-Yueh Kuo,
I-Chun Chern,
Ching-Yi Lai
Abstract:
Quantum error correction is necessary to protect logical quantum states and operations. However, no meaningful data protection can be made when the syndrome extraction is erroneous due to faulty measurement gates. Quantum data-syndrome (DS) codes are designed to protect the data qubits and syndrome bits concurrently. In this paper, we propose an efficient decoding algorithm for quantum DS codes wi…
▽ More
Quantum error correction is necessary to protect logical quantum states and operations. However, no meaningful data protection can be made when the syndrome extraction is erroneous due to faulty measurement gates. Quantum data-syndrome (DS) codes are designed to protect the data qubits and syndrome bits concurrently. In this paper, we propose an efficient decoding algorithm for quantum DS codes with sparse check matrices. Based on a refined belief propagation (BP) decoding for stabilizer codes, we propose a DS-BP algorithm to handle the quaternary quantum data errors and binary syndrome bit errors. Moreover, a sparse quantum code may inherently be able to handle minor syndrome errors so that fewer redundant syndrome measurements are necessary. We demonstrate this with simulations on a quantum hypergraph-product code.
△ Less
Submitted 3 February, 2021;
originally announced February 2021.
-
Time-resolved Photoluminescence in Terahertz-driven Hybrid Systems of Plasmons and Excitons
Authors:
Chen-Yen Lai,
D. A. Yarotski,
Jian-Xin Zhu
Abstract:
Ultrafast pump-probe technique is a powerful tool to understand and manipulate properties of materials for designing novel quantum devices. An intense, single cycle terahertz pulse can change the intrinsic properties of semiconductor quantum dots to have different luminescence. In a hybrid system of plasmon and exciton, the coherence and coupling between these two degrees of freedom play an import…
▽ More
Ultrafast pump-probe technique is a powerful tool to understand and manipulate properties of materials for designing novel quantum devices. An intense, single cycle terahertz pulse can change the intrinsic properties of semiconductor quantum dots to have different luminescence. In a hybrid system of plasmon and exciton, the coherence and coupling between these two degrees of freedom play an important role on their optical properties. Therefore, we consider a terahertz pump optical probe experiment in the hybrid systems where the terahertz pump pulse couples to the exciton degrees of freedom on the quantum dot. The time resolved photoluminescence of the hybrid system shows that the response of the characteristic frequency shifts according to the overlap between the pump and probe pulses. Furthermore, the resonance between the exciton and plasmons can be induced by the terahertz pump pulse in some parameter regimes. Our results show the terahertz driven hybrid system can be a versatile tool for manipulating the material properties and open a new route to design modern optical devices.
△ Less
Submitted 9 July, 2020;
originally announced July 2020.
-
Absence of diffusion and fractal geometry in the Holstein model at high temperature
Authors:
Chen-Yen Lai,
S. A. Trugman
Abstract:
We investigate the dynamics of an electron coupled to dispersionless optical phonons in the Holstein model, at high temperatures. The dynamics is conventionally believed to be diffusive, as the electron is repeatedly scattered by optical phonons. In a semiclassical approximation, however, the motion is not diffusive. In one dimension, the electron moves in a constant direction and does not turn ar…
▽ More
We investigate the dynamics of an electron coupled to dispersionless optical phonons in the Holstein model, at high temperatures. The dynamics is conventionally believed to be diffusive, as the electron is repeatedly scattered by optical phonons. In a semiclassical approximation, however, the motion is not diffusive. In one dimension, the electron moves in a constant direction and does not turn around. In two dimensions, the electron follows and then continues to retrace a fractal trajectory. Aspects of these nonstandard dynamics are retained in more accurate calculations, including a fully quantum calculation of the electron and phonon dynamics.
△ Less
Submitted 1 July, 2020;
originally announced July 2020.
-
Constant depth fault-tolerant Clifford circuits for multi-qubit large block codes
Authors:
Yi-Cong Zheng,
Ching-Yi Lai,
Todd A. Brun,
Leong-Chuan Kwek
Abstract:
Fault-tolerant quantum computation (FTQC) schemes using large block codes that encode $k>1$ qubits in $n$ physical qubits can potentially reduce the resource overhead to a great extent because of their high encoding rate. However, the fault-tolerant (FT) logical operations for the encoded qubits are difficult to find and implement, which usually takes not only a very large resource overhead but al…
▽ More
Fault-tolerant quantum computation (FTQC) schemes using large block codes that encode $k>1$ qubits in $n$ physical qubits can potentially reduce the resource overhead to a great extent because of their high encoding rate. However, the fault-tolerant (FT) logical operations for the encoded qubits are difficult to find and implement, which usually takes not only a very large resource overhead but also long $\textit{in-situ}$ computation time. In this paper, we focus on Calderbank-Shor-Steane $[\![ n,k,d ]\!]$ (CSS) codes and their logical FT Clifford circuits. We show that the depth of an arbitrary logical Clifford circuit can be implemented fault-tolerantly in $O(1)$ steps \emph{in-situ} via either Knill or Steane syndrome measurement circuit, with the qualified ancilla states efficiently prepared. Particularly, for those codes satisfying $k/n\sim Θ(1)$, the resource scaling for Clifford circuits implementation on the logical level can be the same as on the physical level up to a constant, which is independent of code distance $d$. With a suitable pipeline to produce ancilla states, our scheme requires only a modest resource cost in physical qubits, physical gates, and computation time for very large scale FTQC.
△ Less
Submitted 1 August, 2020; v1 submitted 27 March, 2020;
originally announced March 2020.
-
Carrying an arbitrarily large amount of information using a single quantum particle
Authors:
Li-Yi Hsu,
Ching-Yi Lai,
You-Chia Chang,
Chien-Ming Wu,
Ray-Kuang Lee
Abstract:
Theoretically speaking, a photon can travel arbitrarily long before it enters into a detector, resulting a click. How much information can a photon carry? We study a bipartite asymmetric "two-way signaling" protocol as an extension of that proposed by Del Santo and Dakić. Suppose that Alice and Bob are distant from each other and each of them has an $n$-bit string. They are tasked to exchange the…
▽ More
Theoretically speaking, a photon can travel arbitrarily long before it enters into a detector, resulting a click. How much information can a photon carry? We study a bipartite asymmetric "two-way signaling" protocol as an extension of that proposed by Del Santo and Dakić. Suppose that Alice and Bob are distant from each other and each of them has an $n$-bit string. They are tasked to exchange the information of their local n-bit strings with each other, using only a single photon during the communication. It has been shown that the superposition of different spatial locations in a Mach-Zehnder (MZ) interferometer enables bipartite local encodings. We show that, after the travel of a photon through a cascade of $n$-level MZ interferometers in our protocol, the one of Alice or Bob whose detector clicks can access the other's full information of $n$-bit string, while the other can gain one-bit of information. That is, the wave-particle duality makes two-way signaling possible, and a single photon can carry arbitrarily large (but finite) information.
△ Less
Submitted 29 July, 2020; v1 submitted 24 February, 2020;
originally announced February 2020.
-
Refined Belief Propagation Decoding of Sparse-Graph Quantum Codes
Authors:
Kao-Yueh Kuo,
Ching-Yi Lai
Abstract:
Quantum stabilizer codes constructed from sparse matrices have good performance and can be efficiently decoded by belief propagation (BP). A conventional BP decoding algorithm treats binary stabilizer codes as additive codes over GF(4). This algorithm has a relatively complex process of handling check-node messages, which incurs higher decoding complexity. Moreover, BP decoding of a stabilizer cod…
▽ More
Quantum stabilizer codes constructed from sparse matrices have good performance and can be efficiently decoded by belief propagation (BP). A conventional BP decoding algorithm treats binary stabilizer codes as additive codes over GF(4). This algorithm has a relatively complex process of handling check-node messages, which incurs higher decoding complexity. Moreover, BP decoding of a stabilizer code usually suffers a performance loss due to the many short cycles in the underlying Tanner graph. In this paper, we propose a refined BP decoding algorithm for quantum codes with complexity roughly the same as binary BP. For a given error syndrome, this algorithm decodes to the same output as the conventional quaternary BP but the passed node-to-node messages are single-valued, unlike the quaternary BP, where multivalued node-to-node messages are required. Furthermore, the techniques of message strength normalization can naturally be applied to these single-valued messages to improve the performance. Another observation is that the message-update schedule affects the performance of BP decoding against short cycles. We show that running BP with message strength normalization according to a serial schedule (or other schedules) may significantly improve the decoding performance and error floor in computer simulation.
△ Less
Submitted 22 July, 2020; v1 submitted 15 February, 2020;
originally announced February 2020.
-
Linear programming bounds for quantum amplitude dam** codes
Authors:
Yingkai Ouyang,
Ching-Yi Lai
Abstract:
Given that approximate quantum error-correcting (AQEC) codes have a potentially better performance than perfect quantum error correction codes, it is pertinent to quantify their performance. While quantum weight enumerators establish some of the best upper bounds on the minimum distance of quantum error-correcting codes, these bounds do not directly apply to AQEC codes. Herein, we introduce quantu…
▽ More
Given that approximate quantum error-correcting (AQEC) codes have a potentially better performance than perfect quantum error correction codes, it is pertinent to quantify their performance. While quantum weight enumerators establish some of the best upper bounds on the minimum distance of quantum error-correcting codes, these bounds do not directly apply to AQEC codes. Herein, we introduce quantum weight enumerators for amplitude dam** (AD) errors and work within the framework of approximate quantum error correction. In particular, we introduce an auxiliary exact weight enumerator that is intrinsic to a code space and moreover, we establish a linear relationship between the quantum weight enumerators for AD errors and this auxiliary exact weight enumerator. This allows us to establish a linear program that is infeasible only when AQEC AD codes with corresponding parameters do not exist. To illustrate our linear program, we numerically rule out the existence of three-qubit AD codes that are capable of correcting an arbitrary AD error.
△ Less
Submitted 12 January, 2020;
originally announced January 2020.
-
On the Need for Large Quantum Depth
Authors:
Nai-Hui Chia,
Kai-Min Chung,
Ching-Yi Lai
Abstract:
Near-term quantum computers are likely to have small depths due to short coherence time and noisy gates, and thus a potential way to use these quantum devices is using a hybrid scheme that interleaves them with classical computers. For example, the quantum Fourier transform can be implemented by a hybrid of logarithmic-depth quantum circuits and a classical polynomial-time algorithm. Along the lin…
▽ More
Near-term quantum computers are likely to have small depths due to short coherence time and noisy gates, and thus a potential way to use these quantum devices is using a hybrid scheme that interleaves them with classical computers. For example, the quantum Fourier transform can be implemented by a hybrid of logarithmic-depth quantum circuits and a classical polynomial-time algorithm. Along the line, it seems possible that a general quantum computer may only be polynomially faster than a hybrid quantum-classical computer. Jozsa raised the question of whether $BQP = BPP^{BQNC}$ and conjectured that they are equal, where $BQNC$ means $polylog$-depth quantum circuits. Nevertheless, Aaronson conjectured an oracle separation for these two classes and gave a candidate. In this work, we prove Aaronson's conjecture for a different but related oracle problem. Our result also proves that Jozsa's conjecture fails relative to an oracle.
△ Less
Submitted 12 September, 2020; v1 submitted 23 September, 2019;
originally announced September 2019.
-
Quantum Data-Syndrome Codes
Authors:
Alexei Ashikhmin,
Ching-Yi Lai,
Todd A. Brun
Abstract:
Performing active quantum error correction to protect fragile quantum states highly depends on the correctness of error information--error syndromes. To obtain reliable error syndromes using imperfect physical circuits, we propose the idea of quantum data-syndrome (DS) codes that are capable of correcting both data qubits and syndrome bits errors. We study fundamental properties of quantum DS code…
▽ More
Performing active quantum error correction to protect fragile quantum states highly depends on the correctness of error information--error syndromes. To obtain reliable error syndromes using imperfect physical circuits, we propose the idea of quantum data-syndrome (DS) codes that are capable of correcting both data qubits and syndrome bits errors. We study fundamental properties of quantum DS codes, including split weight enumerators, generalized MacWilliams identities, and linear programming bounds. In particular, we derive Singleton and Hamming-type upper bounds on degenerate quantum DS codes. Then we study random DS codes and show that random DS codes with a relatively small additional syndrome measurements achieve the Gilbert-Varshamov bound of stabilizer codes. Constructions of quantum DS codes are also discussed. A family of quantum DS codes is based on classical linear block codes, called syndrome measurement codes, so that syndrome bits are encoded in additional redundant stabilizer measurements. Another family of quantum DS codes is CSS-type quantum DS codes based on classical cyclic codes, and this includes the Steane code and the quantum Golay code.
△ Less
Submitted 2 July, 2019;
originally announced July 2019.
-
Protocols for Packet Quantum Network Intercommunication
Authors:
Nengkun Yu,
Ching-Yi Lai,
Li Zhou
Abstract:
A quantum network, which involves multiple parties **ing each other with quantum messages, could revolutionize communication, computing and basic sciences. The future internet will be a global system of various packet switching quantum and classical networks and we call it \emph{quantum internet}. To build a quantum internet, unified protocols that support the distribution of quantum messages wi…
▽ More
A quantum network, which involves multiple parties **ing each other with quantum messages, could revolutionize communication, computing and basic sciences. The future internet will be a global system of various packet switching quantum and classical networks and we call it \emph{quantum internet}. To build a quantum internet, unified protocols that support the distribution of quantum messages within it are necessary. Intuitively one would extend classical internet protocols to handle quantum messages. However, classical network mechanisms, especially those related to error control and reliable connection, implicitly assume that information can be duplicated, which is not true in the quantum world due to the no-cloning theorem and monogamy of entanglement. In this paper, we investigate and propose protocols for packet quantum network intercommunication. To handle the packet loss problem in transport, we propose a quantum retransmission protocol based on the recursive use of a quantum secret sharing scheme. Other internet protocols are also discussed. In particular, the creation of logical process-to-process connections is accomplished by a quantum version of the three-way handshake protocol.
△ Less
Submitted 12 September, 2021; v1 submitted 26 March, 2019;
originally announced March 2019.
-
The Encoding and Decoding Complexities of Entanglement-Assisted Quantum Stabilizer Codes
Authors:
Kao-Yueh Kuo,
Ching-Yi Lai
Abstract:
Quantum error-correcting codes are used to protect quantum information from decoherence. A raw state is mapped, by an encoding circuit, to a codeword so that the most likely quantum errors from a noisy quantum channel can be removed after a decoding process.
A good encoding circuit should have some desired features, such as low depth, few gates, and so on. In this paper, we show how to practical…
▽ More
Quantum error-correcting codes are used to protect quantum information from decoherence. A raw state is mapped, by an encoding circuit, to a codeword so that the most likely quantum errors from a noisy quantum channel can be removed after a decoding process.
A good encoding circuit should have some desired features, such as low depth, few gates, and so on. In this paper, we show how to practically implement an encoding circuit of gate complexity $O(n(n-k+c)/\log n)$ for an $[[n,k;c]]$ quantum stabilizer code with the help of $c$ pairs of maximally-entangled states. For the special case of an $[[n,k]]$ stabilizer code with $c=0$, the encoding complexity is $O(n(n-k)/\log n)$, which is previously known to be $O(n^2/\log n)$. For $c>0,$ this suggests that the benefits from shared entanglement come at an additional cost of encoding complexity.
Finally we discuss decoding of entanglement-assisted quantum stabilizer codes and extend previously known computational hardness results on decoding quantum stabilizer codes.
△ Less
Submitted 30 April, 2019; v1 submitted 24 March, 2019;
originally announced March 2019.
-
On Quantum Advantage in Information Theoretic Single-Server PIR
Authors:
Dorit Aharonov,
Zvika Brakerski,
Kai-Min Chung,
Ayal Green,
Ching-Yi Lai,
Or Sattath
Abstract:
In (single-server) Private Information Retrieval (PIR), a server holds a large database $DB$ of size $n$, and a client holds an index $i \in [n]$ and wishes to retrieve $DB[i]$ without revealing $i$ to the server. It is well known that information theoretic privacy even against an `honest but curious' server requires $Ω(n)$ communication complexity. This is true even if quantum communication is al…
▽ More
In (single-server) Private Information Retrieval (PIR), a server holds a large database $DB$ of size $n$, and a client holds an index $i \in [n]$ and wishes to retrieve $DB[i]$ without revealing $i$ to the server. It is well known that information theoretic privacy even against an `honest but curious' server requires $Ω(n)$ communication complexity. This is true even if quantum communication is allowed and is due to the ability of such an adversarial server to execute the protocol on a superposition of databases instead of on a specific database (`input purification attack'). Nevertheless, there have been some proposals of protocols that achieve sub-linear communication and appear to provide some notion of privacy. Most notably, a protocol due to Le Gall (ToC 2012) with communication complexity $O(\sqrt{n})$, and a protocol by Kerenidis et al. (QIC 2016) with communication complexity $O(\log(n))$, and $O(n)$ shared entanglement.
We show that, in a sense, input purification is the only potent adversarial strategy, and protocols such as the two protocols above are secure in a restricted variant of the quantum honest but curious (a.k.a specious) model. More explicitly, we propose a restricted privacy notion called \emph{anchored privacy}, where the adversary is forced to execute on a classical database (i.e. the execution is anchored to a classical database). We show that for measurement-free protocols, anchored security against honest adversarial servers implies anchored privacy even against specious adversaries.
Finally, we prove that even with (unlimited) pre-shared entanglement it is impossible to achieve security in the standard specious model with sub-linear communication, thus further substantiating the necessity of our relaxation. This lower bound may be of independent interest (in particular recalling that PIR is a special case of Fully Homomorphic Encryption).
△ Less
Submitted 26 February, 2019;
originally announced February 2019.
-
Interactive Leakage Chain Rule for Quantum Min-entropy
Authors:
Ching-Yi Lai,
Kai-Min Chung
Abstract:
The leakage chain rule for quantum min-entropy quantifies the change of min-entropy when one party gets additional leakage about the information source. Herein we provide an interactive version that quantifies the change of min-entropy between two parties, who share an initial classical-quantum state and are allowed to run a two-party protocol. As an application, we prove new versions of lower bou…
▽ More
The leakage chain rule for quantum min-entropy quantifies the change of min-entropy when one party gets additional leakage about the information source. Herein we provide an interactive version that quantifies the change of min-entropy between two parties, who share an initial classical-quantum state and are allowed to run a two-party protocol. As an application, we prove new versions of lower bounds on the complexity of quantum communication of classical information.
△ Less
Submitted 25 October, 2018; v1 submitted 27 September, 2018;
originally announced September 2018.
-
Depth reduction for quantum Clifford circuits through Pauli measurements
Authors:
Yi-Cong Zheng,
Ching-Yi Lai,
Todd A. Brun,
Leong-Chuan Kwek
Abstract:
Clifford circuits play an important role in quantum computation. Gottesman and Chuang proposed a gate teleportation protocol so that a quantum circuit can be implemented by the teleportation circuit with specific ancillary qubits. In particular, an $n$-qubit Clifford circuit $U$ can be implemented by preparing an ancillary stabilizer state $(I\otimes U)|Φ^+\rangle^{\otimes n}$ for teleportation an…
▽ More
Clifford circuits play an important role in quantum computation. Gottesman and Chuang proposed a gate teleportation protocol so that a quantum circuit can be implemented by the teleportation circuit with specific ancillary qubits. In particular, an $n$-qubit Clifford circuit $U$ can be implemented by preparing an ancillary stabilizer state $(I\otimes U)|Φ^+\rangle^{\otimes n}$ for teleportation and doing a Pauli correction conditioned on the measurement. In this paper, we provide an alternative procedure to implement a Clifford circuit through Pauli measurements, by preparing $O(1)$ ancillas that are Calderbank-Shor-Steane (CSS) stabilizer states. That is to say, $O(1)$ CSS states are sufficient to implement any Clifford circuit. As an application to fault-tolerant quantum computation, any Clifford circuit can be implemented by $O(1)$ steps of Steane syndrome extraction if clean CSS stabilizer states are available.
△ Less
Submitted 30 May, 2018;
originally announced May 2018.
-
Many-body multi-valuedness of particle-current variance in closed and open cold-atom systems
Authors:
Mekena Metcalf,
Chen-Yen Lai,
Massimiliano Di Ventra,
Chih-Chun Chien
Abstract:
The quantum variance of an observable is a fundamental quantity in quantum mechanics, and the variance provides additional information other than the average itself. By examining the relation between the particle-current variance $(δJ)^2$ and the average current $J$ in both closed and open interacting fermionic systems, we show the emergence of a multi-valued Lissajous curve between $δJ$ and $J$ d…
▽ More
The quantum variance of an observable is a fundamental quantity in quantum mechanics, and the variance provides additional information other than the average itself. By examining the relation between the particle-current variance $(δJ)^2$ and the average current $J$ in both closed and open interacting fermionic systems, we show the emergence of a multi-valued Lissajous curve between $δJ$ and $J$ due to interactions. As a closed system we considered the persistent current in a benzene-like lattice enclosing an effective magnetic flux and solved it by exact diagonalization. For the open system, the steady-state current flowing through a few lattice sites coupled to two particle reservoirs was investigated using a Lindblad equation. In both cases, interactions open a loop and change the topology of the corresponding $δJ$-$J$ Lissajous curve, showing that this effect is model-independent. We finally discuss how the predicted phenomena can be observed in ultracold atoms, thus offering an alternative way of probing the dynamics of many-body systems.
△ Less
Submitted 16 May, 2018;
originally announced May 2018.
-
Tunable current circulation in triangular quantum-dot metastructures
Authors:
Chen-Yen Lai,
Massimiliano Di Ventra,
Michael Scheibner,
Chih-Chun Chien
Abstract:
Advances in fabrication and control of quantum dots allow the realization of metastructures that may exhibit novel electrical transport phenomena. Here, we investigate the electrical current passing through one such metastructure, a system composed of quantum dots placed at the vertices of a triangle. The wave natural of quantum particles leads to internal current circulation within the metastruct…
▽ More
Advances in fabrication and control of quantum dots allow the realization of metastructures that may exhibit novel electrical transport phenomena. Here, we investigate the electrical current passing through one such metastructure, a system composed of quantum dots placed at the vertices of a triangle. The wave natural of quantum particles leads to internal current circulation within the metastructure in the absence of any external magnetic field. We uncover the relation between its steady-state total current and the internal circulation. By calculating the electronic correlations in quantum transport exactly, we present phase diagrams showing where different types of current circulation can be found as a function of the correlation strength and the coupling between the quantum dots. Finally, we show that the regimes of current circulation can be further enhanced or reduced depending on the local spatial distribution of the interactions, suggesting a single-particle scattering mechanism is at play even in the strongly-correlated regime. We suggest experimental realizations of actual quantum-dot metastructures where our predictions can be directly tested.
△ Less
Submitted 29 March, 2018; v1 submitted 6 February, 2018;
originally announced February 2018.
-
Quantum Encryption and Generalized Quantum Shannon Impossibility
Authors:
Ching-Yi Lai,
Kai-Min Chung
Abstract:
The famous Shannon impossibility result says that any encryption scheme with perfect secrecy requires a secret key at least as long as the message. In this paper we provide its quantum analogue with imperfect secrecy and imperfect correctness. We also give a systematic study of information-theoretically secure quantum encryption with two secrecy definitions. We show that the weaker one implies the…
▽ More
The famous Shannon impossibility result says that any encryption scheme with perfect secrecy requires a secret key at least as long as the message. In this paper we provide its quantum analogue with imperfect secrecy and imperfect correctness. We also give a systematic study of information-theoretically secure quantum encryption with two secrecy definitions. We show that the weaker one implies the stronger but with a security loss in $d$, where $d$ is the dimension of the encrypted quantum system. This is good enough if the target secrecy error is of $o(d^{-1})$.
△ Less
Submitted 27 September, 2018; v1 submitted 11 January, 2018;
originally announced January 2018.
-
Efficient Preparation of Large Block Code Ancilla States for Fault-tolerant Quantum Computation
Authors:
Yi-Cong Zheng,
Ching-Yi Lai,
Todd A. Brun
Abstract:
Fault-tolerant quantum computation (FTQC) schemes that use multi-qubit large block codes can potentially reduce the resource overhead to a great extent. A major obstacle is the requirement of a large number of clean ancilla states of different types without correlated errors inside each block. These ancilla states are usually logical stabilizer states of the data code blocks, which are generally d…
▽ More
Fault-tolerant quantum computation (FTQC) schemes that use multi-qubit large block codes can potentially reduce the resource overhead to a great extent. A major obstacle is the requirement of a large number of clean ancilla states of different types without correlated errors inside each block. These ancilla states are usually logical stabilizer states of the data code blocks, which are generally difficult to prepare if the code size is large. Previously we have proposed an ancilla distillation protocol for Calderbank-Shor-Steane (CSS) codes by classical error-correcting codes. It was assumed that the quantum gates in the distillation circuit were perfect; however, in reality, noisy quantum gates may introduce correlated errors that are not treatable by the protocol. In this paper, we show that additional postselection by another classical error-detecting code can be applied to remove almost all correlated errors. Consequently, the revised protocol is fully fault-tolerant and capable of preparing a large set of stabilizer states sufficient for FTQC using large block codes. At the same time, the yield rate can be boosted from $O(t^{-2})$ to $O(1)$ in practice for an $[[n,k,d=2t+1]]$ CSS code. Ancilla preparation for the $[[23,1,7]]$ quantum Golay code is numerically studied in detail through Monte Carlo simulation. The results support the validity of the protocol when the gate failure rate is reasonably low. To the best of our knowledge, this approach is the first attempt to prepare general large block stabilizer states free of correlated errors for FTQC in a fault-tolerant and efficient manner.
△ Less
Submitted 22 March, 2018; v1 submitted 1 October, 2017;
originally announced October 2017.
-
Space-efficient classical and quantum algorithms for the shortest vector problem
Authors:
Yanlin Chen,
Kai-Min Chung,
Ching-Yi Lai
Abstract:
A lattice is the integer span of some linearly independent vectors. Lattice problems have many significant applications in coding theory and cryptographic systems for their conjectured hardness. The Shortest Vector Problem (SVP), which is to find the shortest non-zero vector in a lattice, is one of the well-known problems that are believed to be hard to solve, even with a quantum computer. In this…
▽ More
A lattice is the integer span of some linearly independent vectors. Lattice problems have many significant applications in coding theory and cryptographic systems for their conjectured hardness. The Shortest Vector Problem (SVP), which is to find the shortest non-zero vector in a lattice, is one of the well-known problems that are believed to be hard to solve, even with a quantum computer. In this paper we propose space-efficient classical and quantum algorithms for solving SVP. Currently the best time-efficient algorithm for solving SVP takes $2^{n+o(n)}$ time and $2^{n+o(n)}$ space. Our classical algorithm takes $2^{2.05n+o(n)}$ time to solve SVP with only $2^{0.5n+o(n)}$ space. We then modify our classical algorithm to a quantum version, which can solve SVP in time $2^{1.2553n+o(n)}$ with $2^{0.5n+o(n)}$ classical space and only poly(n) qubits.
△ Less
Submitted 7 March, 2018; v1 submitted 31 August, 2017;
originally announced September 2017.
-
Optical switching of defect charge states in 4H-SiC
Authors:
D. Andrew Golter,
Chih Wei Lai
Abstract:
We demonstrate optically induced switching between bright and dark charged divacancy defects in 4H-SiC. Photoluminescence excitation and time-resolved photoluminescence measurements reveal the excitation conditions for such charge conversion. For an energy below ~1.3 eV (above ~950 nm), the PL is suppressed by more than two orders of magnitude. The PL is recovered in the presence of a higher energ…
▽ More
We demonstrate optically induced switching between bright and dark charged divacancy defects in 4H-SiC. Photoluminescence excitation and time-resolved photoluminescence measurements reveal the excitation conditions for such charge conversion. For an energy below ~1.3 eV (above ~950 nm), the PL is suppressed by more than two orders of magnitude. The PL is recovered in the presence of a higher energy repump laser with a time-averaged intensity less than 0.1% that of the excitation field. Under a repump of 2.33 eV (532 nm), the PL increases rapidly, with a time constant ~30 $μ$s. By contrast, when the repump is switched off, the PL decreases first within ~100-200 $μ$s, followed by a much slower decay of a few seconds. We attribute these effects to the conversion between two different charge states. Under an excitation at energy levels below 1.3 eV, V$_{Si}$V$_C$$^0$ are converted into a dark charge state. A repump laser with an energy above 1.3 eV can excite this charged state and recover the bright neutral state. This optically induced charge switching can lead to charge-state fluctuations but can be exploited for long-term data storage or nuclear-spin-based quantum memory.
△ Less
Submitted 6 October, 2017; v1 submitted 5 July, 2017;
originally announced July 2017.
-
Quantification of the memory effect of steady-state currents from interaction-induced transport in quantum systems
Authors:
Chen-Yen Lai,
Chih-Chun Chien
Abstract:
Dynamics of a system in general depends on its initial state and how the system is driven, but in many-body systems the memory is usually averaged out during evolution. Here, interacting quantum systems without external relaxations are shown to retain long-time memory effects in steady states. To identify memory effects, we first show quasi-steady state currents form in finite, isolated Bose and F…
▽ More
Dynamics of a system in general depends on its initial state and how the system is driven, but in many-body systems the memory is usually averaged out during evolution. Here, interacting quantum systems without external relaxations are shown to retain long-time memory effects in steady states. To identify memory effects, we first show quasi-steady state currents form in finite, isolated Bose and Fermi Hubbard models driven by interaction imbalance and they become steady-state currents in the thermodynamic limit. By comparing the steady state currents from different initial states or ram** rates of the imbalance, long-time memory effects can be quantified. While the memory effects of initial states are more ubiquitous, the memory effects of switching protocols are mostly visible in interaction-induced transport in lattices. Our simulations suggest the systems enter a regime governed by a generalized Fick's law and memory effects lead to initial-state dependent diffusion coefficients. We also identify conditions for enhancing memory effects and discuss possible experimental implications.
△ Less
Submitted 25 September, 2017; v1 submitted 1 June, 2017;
originally announced June 2017.
-
On Statistically-Secure Quantum Homomorphic Encryption
Authors:
Ching-Yi Lai,
Kai-Min Chung
Abstract:
Homomorphic encryption is an encryption scheme that allows computations to be evaluated on encrypted inputs without knowledge of their raw messages. Recently Ouyang et al. constructed a quantum homomorphic encryption (QHE) scheme for Clifford circuits with statistical security (or information-theoretic security (IT-security)). It is desired to see whether an information-theoretically-secure (ITS)…
▽ More
Homomorphic encryption is an encryption scheme that allows computations to be evaluated on encrypted inputs without knowledge of their raw messages. Recently Ouyang et al. constructed a quantum homomorphic encryption (QHE) scheme for Clifford circuits with statistical security (or information-theoretic security (IT-security)). It is desired to see whether an information-theoretically-secure (ITS) quantum FHE exists. If not, what other nontrivial class of quantum circuits can be homomorphically evaluated with IT-security? We provide a limitation for the first question that an ITS quantum FHE necessarily incurs exponential overhead. As for the second one, we propose a QHE scheme for the instantaneous quantum polynomial-time (IQP) circuits. Our QHE scheme for IQP circuits follows from the one-time pad.
△ Less
Submitted 16 September, 2018; v1 submitted 29 April, 2017;
originally announced May 2017.
-
Computational Notions of Quantum Min-Entropy
Authors:
Yi-Hsiu Chen,
Kai-Min Chung,
Ching-Yi Lai,
Salil P. Vadhan,
Xiaodi Wu
Abstract:
We initiate the study of computational entropy in the quantum setting. We investigate to what extent the classical notions of computational entropy generalize to the quantum setting, and whether quantum analogues of classical theorems hold. Our main results are as follows. (1) The classical Leakage Chain Rule for pseudoentropy can be extended to the case that the leakage information is quantum (wh…
▽ More
We initiate the study of computational entropy in the quantum setting. We investigate to what extent the classical notions of computational entropy generalize to the quantum setting, and whether quantum analogues of classical theorems hold. Our main results are as follows. (1) The classical Leakage Chain Rule for pseudoentropy can be extended to the case that the leakage information is quantum (while the source remains classical). Specifically, if the source has pseudoentropy at least $k$, then it has pseudoentropy at least $k-\ell$ conditioned on an $\ell$-qubit leakage. (2) As an application of the Leakage Chain Rule, we construct the first quantum leakage-resilient stream-cipher in the bounded-quantum-storage model, assuming the existence of a quantum-secure pseudorandom generator. (3) We show that the general form of the classical Dense Model Theorem (interpreted as the equivalence between two definitions of pseudo-relative-min-entropy) does not extend to quantum states. Along the way, we develop quantum analogues of some classical techniques (e.g. the Leakage Simulation Lemma, which is proven by a Non-uniform Min-Max Theorem or Boosting). On the other hand, we also identify some classical techniques (e.g. Gap Amplification) that do not work in the quantum setting. Moreover, we introduce a variety of notions that combine quantum information and quantum complexity, and this raises several directions for future work.
△ Less
Submitted 5 October, 2017; v1 submitted 24 April, 2017;
originally announced April 2017.
-
Challenges and constraints of dynamically emerged source and sink in atomtronic circuits: From closed-system to open-system approaches
Authors:
Chen-Yen Lai,
Chih-Chun Chien
Abstract:
While batteries offer electronic source and sink in electronic devices, atomic analogues of source and sink and their theoretical descriptions have been a challenge in cold-atom systems. Here we consider dynamically emerged local potentials as controllable source and sink for bosonic atoms. Although a sink potential can collect bosons in equlibrium and indicate its usefulness in the adiabatic limi…
▽ More
While batteries offer electronic source and sink in electronic devices, atomic analogues of source and sink and their theoretical descriptions have been a challenge in cold-atom systems. Here we consider dynamically emerged local potentials as controllable source and sink for bosonic atoms. Although a sink potential can collect bosons in equlibrium and indicate its usefulness in the adiabatic limit, sudden switching of the potential exhibits low effectiveness in pushing bosons into it. This is due to conservation of energy and particle in isolated systems such as cold atoms. By varying the potential depth and interaction strength, the systems can further exhibit averse response, where a deeper emerged potential attracts less bosonic atoms into it. To explore possibilities for improving the effectiveness, we investigate what types of system-environment coupling can help bring bosons into a dynamically emerged sink, and a Lindblad operator corresponding to local cooling is found to serve the purpose.
△ Less
Submitted 2 September, 2016;
originally announced September 2016.
-
Fault-tolerant Preparation of Stabilizer States for Quantum CSS Codes by Classical Error-Correcting Codes
Authors:
Ching-Yi Lai,
Yi-Cong Zheng,
Todd A. Brun
Abstract:
Stabilizer states are extensively studied in quantum information theory for their structures based on the Pauli group. Calderbank-Shor-Steane (CSS) stabilizer states are of particular importance in their application to fault-tolerant quantum computation (FTQC). However, how to fault-tolerantly prepare arbitrary CSS stabilizer states for general CSS stabilizer codes is still unknown, and their prep…
▽ More
Stabilizer states are extensively studied in quantum information theory for their structures based on the Pauli group. Calderbank-Shor-Steane (CSS) stabilizer states are of particular importance in their application to fault-tolerant quantum computation (FTQC). However, how to fault-tolerantly prepare arbitrary CSS stabilizer states for general CSS stabilizer codes is still unknown, and their preparation can be highly costly in computational resources. In this paper, we show how to prepare a large class of CSS stabilizer states useful for FTQC. We propose distillation protocols using syndrome encoding by classical codes or quantum CSS codes. Along the same lines, we show that classical coding techniques can reduce the ancilla consumption in Steane syndrome extraction by using additional transversal controlled-NOT gates and classical computing power. In the scenario of a fixed ancilla consumption rate, we can increase the frequency of quantum error correction and effectively lower the error rate.
△ Less
Submitted 8 March, 2017; v1 submitted 18 May, 2016;
originally announced May 2016.
-
Hysteresis of noninteracting and spin-orbit coupled atomic Fermi gases with relaxation
Authors:
Mekena Metcalf,
Chen-Yen Lai,
Chih-Chun Chien
Abstract:
Hysteresis can be found in driven many-body systems such as magnets and superfluids. Rate-dependent hysteresis arises when a system is driven periodically while relaxing towards equilibrium. A two-state paramagnet driven by an oscillating magnetic field in the relaxation approximation clearly demonstrates rate-dependent hysteresis. A noninteracting atomic Fermi gas in an optical ring potential, wh…
▽ More
Hysteresis can be found in driven many-body systems such as magnets and superfluids. Rate-dependent hysteresis arises when a system is driven periodically while relaxing towards equilibrium. A two-state paramagnet driven by an oscillating magnetic field in the relaxation approximation clearly demonstrates rate-dependent hysteresis. A noninteracting atomic Fermi gas in an optical ring potential, when driven by a periodic artificial gauge field and subjected to dissipation, is shown to exhibit hysteresis loops of atomic current due to a competition of the driving time and the relaxation time. This is in contrast to electronic systems exhibiting equilibrium persistent current driven by magnetic flux due to rapid relaxation. Universal behavior of the dissipated energy in one hysteresis loop is observed in both the magnetic and atomic systems, showing linear and inverse-linear dependence on the relaxation time in the strong and weak dissipation regimes. While interactions in general invalidate the framework for rate-dependent hysteresis, an atomic Fermi gas with artificial spin-orbit coupling exhibits hysteresis loops of atomic currents. Cold-atoms in ring-shape potentials are thus promising in demonstrating rate-dependent hysteresis and its associated phenomena.
△ Less
Submitted 11 March, 2016;
originally announced March 2016.
-
Superconducting circuit simulator of Bose-Hubbard model with a flat band
Authors:
Xiu-Hao Deng,
Chen-Yen Lai,
Chih-Chun Chien
Abstract:
Recent advance in quantum simulations of interacting photons using superconducting circuits offers opportunities for investigating the Bose-Hubbard model in various geometries with hop** coefficients and self-interactions tuned to both signs. Here we investigate phenomena related to localized states associated with a flat-band supported by the saw-tooth geometry. A localization-delocalization tr…
▽ More
Recent advance in quantum simulations of interacting photons using superconducting circuits offers opportunities for investigating the Bose-Hubbard model in various geometries with hop** coefficients and self-interactions tuned to both signs. Here we investigate phenomena related to localized states associated with a flat-band supported by the saw-tooth geometry. A localization-delocalization transition emerges in the non-interacting regime as the sign of hop** coefficient is changed. In the presence of interactions, patterns of localized states approach a uniform density distribution for repulsive interactions while interesting localized density patterns can arise in strongly attractive regime. The density patterns indicate the underlying inhomogeneity of the simulator. Two-particle correlations can further distinguish the nature of the localized states in attractive and repulsive interaction regimes. We also survey possible experimental implementations of the simulator.
△ Less
Submitted 4 February, 2016;
originally announced February 2016.
-
Correction of Data and Syndrome Errors by Stabilizer Codes
Authors:
Alexei Ashikhmin,
Ching-Yi Lai,
Todd Brun
Abstract:
Performing active quantum error correction to protect fragile quantum states highly depends on the correctness of error information--error syndromes. To obtain reliable error syndromes using imperfect physical circuits, we propose the idea of quantum data-syndrome (DS) codes that are capable of correcting both data qubits and syndrome bits errors. We study fundamental properties of quantum DS code…
▽ More
Performing active quantum error correction to protect fragile quantum states highly depends on the correctness of error information--error syndromes. To obtain reliable error syndromes using imperfect physical circuits, we propose the idea of quantum data-syndrome (DS) codes that are capable of correcting both data qubits and syndrome bits errors. We study fundamental properties of quantum DS codes and provide several CSS-type code constructions of quantum DS codes.
△ Less
Submitted 3 February, 2016;
originally announced February 2016.
-
Linear Programming Bounds for Entanglement-Assisted Quantum Error-Correcting Codes by Split Weight Enumerators
Authors:
Ching-Yi Lai,
Alexei Ashikhmin
Abstract:
Linear programming approaches have been applied to derive upper bounds on the size of classical codes and quantum codes. In this paper, we derive similar results for general quantum codes with entanglement assistance, including nonadditive codes, by considering a type of split weight enumerators. After deriving the MacWilliams identities for these split weight enumerators, we are able to prove alg…
▽ More
Linear programming approaches have been applied to derive upper bounds on the size of classical codes and quantum codes. In this paper, we derive similar results for general quantum codes with entanglement assistance, including nonadditive codes, by considering a type of split weight enumerators. After deriving the MacWilliams identities for these split weight enumerators, we are able to prove algebraic linear programming bounds, such as the Singleton bound, the Hamming bound, and the first linear programming bound. In particular, we show that the first linear programming bound improves the Hamming bound when the relative distance is sufficiently large.
On the other hand, we obtain additional constraints on the size of Pauli subgroups for quantum codes, which allow us to improve the linear programming bounds on the minimum distance of small quantum codes. In particular, we show that there is no [[27,15,5]] or [[28,14,6]] quantum stabilizer code. We also discuss the existence of some entanglement-assisted quantum stabilizer codes with maximal entanglement. As a result, the upper and lower bounds on the minimum distance of maximal-entanglement quantum stabilizer codes with length up to 20 are significantly improved.
△ Less
Submitted 17 May, 2017; v1 submitted 1 February, 2016;
originally announced February 2016.
-
Tunnel magnetoresistance in magnetic tunnel junctions with embedded nanoparticles
Authors:
Arthur Useinov,
Niazbeck Useinov,
Lin-Xiu Ye,
Te-Ho Wu,
Chih-Huang Lai
Abstract:
In this paper, we attempt the theoretical modeling of the magnetic tunnel junctions with embedded magnetic and nonmagnetic nanoparticles (NPs). A few abnormal tunnel magnetoresistance (TMR) effects, observed in related experiments, can be easily simulated within our model: we found, that the suppressed TMR magnitudes and the TMR sign-reversing effect at small voltages are related to the electron m…
▽ More
In this paper, we attempt the theoretical modeling of the magnetic tunnel junctions with embedded magnetic and nonmagnetic nanoparticles (NPs). A few abnormal tunnel magnetoresistance (TMR) effects, observed in related experiments, can be easily simulated within our model: we found, that the suppressed TMR magnitudes and the TMR sign-reversing effect at small voltages are related to the electron momentum states of the NP located inside the insulating layer. All these TMR behaviors can be explained within the tunneling model, where NP is simulated as a quantum well (QW). The coherent (direct) double barrier tunneling is dominating over the single barrier one. The origin of the TMR suppression is the quantized angle transparency for spin polarized electrons being in one of the lowest QW states. The phenomenon was classified as the quantized conductance regime due to restricted geometry.
△ Less
Submitted 23 November, 2015;
originally announced November 2015.