-
Strict area law implies commuting parent Hamiltonian
Authors:
Isaac H. Kim,
Ting-Chun Lin,
Daniel Ranard,
Bowen Shi
Abstract:
We show that in two spatial dimensions, when a quantum state has entanglement entropy obeying a strict area law, meaning $S(A)=α|\partial A| - γ$ for constants $α, γ$ independent of lattice region $A$, then it admits a commuting parent Hamiltonian. More generally, we prove that the entanglement bootstrap axioms in 2D imply the existence of a commuting, local parent Hamiltonian with a stable spectr…
▽ More
We show that in two spatial dimensions, when a quantum state has entanglement entropy obeying a strict area law, meaning $S(A)=α|\partial A| - γ$ for constants $α, γ$ independent of lattice region $A$, then it admits a commuting parent Hamiltonian. More generally, we prove that the entanglement bootstrap axioms in 2D imply the existence of a commuting, local parent Hamiltonian with a stable spectral gap. We also extend our proof to states that describe gapped domain walls. Physically, these results imply that the states studied in the entanglement bootstrap program correspond to ground states of some local Hamiltonian, describing a stable phase of matter. Our result also suggests that systems with chiral gapless edge modes cannot obey a strict area law provided they have finite local Hilbert space.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
Conformal geometry from entanglement
Authors:
Isaac H. Kim,
Xiang Li,
Ting-Chun Lin,
John McGreevy,
Bowen Shi
Abstract:
In a physical system with conformal symmetry, observables depend on cross-ratios, measures of distance invariant under global conformal transformations (conformal geometry for short). We identify a quantum information-theoretic mechanism by which the conformal geometry emerges at the gapless edge of a 2+1D quantum many-body system with a bulk energy gap. We introduce a novel pair of information-th…
▽ More
In a physical system with conformal symmetry, observables depend on cross-ratios, measures of distance invariant under global conformal transformations (conformal geometry for short). We identify a quantum information-theoretic mechanism by which the conformal geometry emerges at the gapless edge of a 2+1D quantum many-body system with a bulk energy gap. We introduce a novel pair of information-theoretic quantities $(\mathfrak{c}_{\mathrm{tot}}, η)$ that can be defined locally on the edge from the wavefunction of the many-body system, without prior knowledge of any distance measure. We posit that, for a topological groundstate, the quantity $\mathfrak{c}_{\mathrm{tot}}$ is stationary under arbitrary variations of the quantum state, and study the logical consequences. We show that stationarity, modulo an entanglement-based assumption about the bulk, implies (i) $\mathfrak{c}_{\mathrm{tot}}$ is a non-negative constant that can be interpreted as the total central charge of the edge theory. (ii) $η$ is a cross-ratio, obeying the full set of mathematical consistency rules, which further indicates the existence of a distance measure of the edge with global conformal invariance. Thus, the conformal geometry emerges from a simple assumption on groundstate entanglement.
We show that stationarity of $\mathfrak{c}_{\mathrm{tot}}$ is equivalent to a vector fixed-point equation involving $η$, making our assumption locally checkable. We also derive similar results for 1+1D systems under a suitable set of assumptions.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
Chiral Virasoro algebra from a single wavefunction
Authors:
Isaac H. Kim,
Xiang Li,
Ting-Chun Lin,
John McGreevy,
Bowen Shi
Abstract:
Chiral edges of 2+1D systems can have very robust emergent conformal symmetry. When the edge is purely chiral, the Hilbert space of low-energy edge excitations can form a representation of a single Virasoro algebra. We propose a method to systematically extract the generators of the Virasoro algebra from a single ground state wavefunction, using entanglement bootstrap and an input from the edge co…
▽ More
Chiral edges of 2+1D systems can have very robust emergent conformal symmetry. When the edge is purely chiral, the Hilbert space of low-energy edge excitations can form a representation of a single Virasoro algebra. We propose a method to systematically extract the generators of the Virasoro algebra from a single ground state wavefunction, using entanglement bootstrap and an input from the edge conformal field theory. We corroborate our construction by numerically verifying the commutation relations of the generators. We also study the unitary flows generated by these operators, whose properties (such as energy and state overlap) are shown numerically to agree with our analytical predictions.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Parameterized quantum comb and simpler circuits for reversing unknown qubit-unitary operations
Authors:
Yin Mo,
Lei Zhang,
Yu-Ao Chen,
Yingjian Liu,
Tengxiang Lin,
Xin Wang
Abstract:
Quantum comb is an essential tool for characterizing complex quantum protocols in quantum information processing. In this work, we introduce PQComb, a framework leveraging parameterized quantum circuits to explore the capabilities of quantum combs for general quantum process transformation tasks and beyond. By optimizing PQComb for time-reversal simulations of unknown unitary evolutions, we develo…
▽ More
Quantum comb is an essential tool for characterizing complex quantum protocols in quantum information processing. In this work, we introduce PQComb, a framework leveraging parameterized quantum circuits to explore the capabilities of quantum combs for general quantum process transformation tasks and beyond. By optimizing PQComb for time-reversal simulations of unknown unitary evolutions, we develop a simpler protocol for unknown qubit unitary inversion that reduces the ancilla qubit overhead from 6 to 3 compared to the existing method in [Yoshida, Soeda, Murao, PRL 131, 120602, 2023]. This demonstrates the utility of quantum comb structures and showcases PQComb's potential for solving complex quantum tasks. Our results pave the way for broader PQComb applications in quantum computing and quantum information, emphasizing its versatility for tackling diverse problems in quantum machine learning.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
Expansion of higher-dimensional cubical complexes with application to quantum locally testable codes
Authors:
Irit Dinur,
Ting-Chun Lin,
Thomas Vidick
Abstract:
We introduce a high-dimensional cubical complex, for any dimension t>0, and apply it to the design of quantum locally testable codes. Our complex is a natural generalization of the constructions by Panteleev and Kalachev and by Dinur et. al of a square complex (case t=2), which have been applied to the design of classical locally testable codes (LTC) and quantum low-density parity check codes (qLD…
▽ More
We introduce a high-dimensional cubical complex, for any dimension t>0, and apply it to the design of quantum locally testable codes. Our complex is a natural generalization of the constructions by Panteleev and Kalachev and by Dinur et. al of a square complex (case t=2), which have been applied to the design of classical locally testable codes (LTC) and quantum low-density parity check codes (qLDPC) respectively.
We turn the geometric (cubical) complex into a chain complex by relying on constant-sized local codes $h_1,\ldots,h_t$ as gadgets. A recent result of Panteleev and Kalachev on existence of tuples of codes that are product expanding enables us to prove lower bounds on the cycle and co-cycle expansion of our chain complex.
For t=4 our construction gives a new family of "almost-good" quantum LTCs -- with constant relative rate, inverse-polylogarithmic relative distance and soundness, and constant-size parity checks. Both the distance of the quantum code and its local testability are proven directly from the cycle and co-cycle expansion of our chain complex.
△ Less
Submitted 11 April, 2024; v1 submitted 12 February, 2024;
originally announced February 2024.
-
Geometrically Local Quantum and Classical Codes from Subdivision
Authors:
Ting-Chun Lin,
Adam Wills,
Min-Hsiu Hsieh
Abstract:
A geometrically local quantum code is an error correcting code situated within $\mathbb{R}^D$, where the checks only act on qubits within a fixed spatial distance. The main question is: What is the optimal dimension and distance for a geometrically local code? Recently, Portnoy made a significant breakthrough with codes achieving optimal dimension and distance up to polylogs. However, the construc…
▽ More
A geometrically local quantum code is an error correcting code situated within $\mathbb{R}^D$, where the checks only act on qubits within a fixed spatial distance. The main question is: What is the optimal dimension and distance for a geometrically local code? Recently, Portnoy made a significant breakthrough with codes achieving optimal dimension and distance up to polylogs. However, the construction invokes a somewhat advanced mathematical result that involves lifting a chain complex to a manifold. This paper bypasses this step and streamlines the construction by noticing that a family of good quantum low-density parity-check codes, balanced product codes, naturally carries a two-dimensional structure. Together with a new embedding result that will be shown elsewhere, this quantum code achieves the optimal dimension and distance in all dimensions. In addition, we show that the code has an optimal energy barrier. We also discuss similar results for classical codes.
△ Less
Submitted 2 July, 2024; v1 submitted 27 September, 2023;
originally announced September 2023.
-
Tradeoff Constructions for Quantum Locally Testable Codes
Authors:
Adam Wills,
Ting-Chun Lin,
Min-Hsiu Hsieh
Abstract:
In this work, we continue the search for quantum locally testable codes (qLTCs) of new parameters by presenting three constructions that can make new qLTCs from old. The first analyses the soundness of a quantum code under Hastings' weight reduction construction for qLDPC codes arXiv:2102.10030 to give a weight reduction procedure for qLTCs. Secondly, we describe a novel `soundness amplification'…
▽ More
In this work, we continue the search for quantum locally testable codes (qLTCs) of new parameters by presenting three constructions that can make new qLTCs from old. The first analyses the soundness of a quantum code under Hastings' weight reduction construction for qLDPC codes arXiv:2102.10030 to give a weight reduction procedure for qLTCs. Secondly, we describe a novel `soundness amplification' procedure for qLTCs which can increase the soundness of any qLTC to a constant while preserving its distance and dimension, with an impact only felt on its locality. Finally, we apply the AEL distance amplification construction to the case of qLTCs for the first time which can turn a high-distance qLTC into one with linear distance, at the expense of other parameters.
These constructions can be used on as-yet undiscovered qLTCs to obtain new parameters, but we also find a number of present applications to prove the existence of codes in previously unknown parameter regimes. In particular, applications of these operations to the hypersphere product code arXiv:1608.05089 and the hemicubic code arXiv:1911.03069 yield many previously unknown parameters. Additionally, soundness amplification can be used to produce the first asymptotically good testable quantum code (rather than locally testable) - that being one with linear distance and dimension, as well as constant soundness. Lastly, applications of all three results are described to an upcoming work.
△ Less
Submitted 23 January, 2024; v1 submitted 11 September, 2023;
originally announced September 2023.
-
General Distance Balancing for Quantum Locally Testable Codes
Authors:
Adam Wills,
Ting-Chun Lin,
Min-Hsiu Hsieh
Abstract:
In this paper, we prove a lower bound on the soundness of quantum locally testable codes under the distance balancing construction of Evra et al. arXiv:2004.07935 [quant-ph]. Our technical contribution is that the new soundness of the quantum code is at least the old soundness divided by the classical code length (up to a constant factor). This allows us to use any classical code with independent…
▽ More
In this paper, we prove a lower bound on the soundness of quantum locally testable codes under the distance balancing construction of Evra et al. arXiv:2004.07935 [quant-ph]. Our technical contribution is that the new soundness of the quantum code is at least the old soundness divided by the classical code length (up to a constant factor). This allows us to use any classical code with independent checks when distance balancing, where previously only the repetition code had been considered for qLTCs. By using a good classical LDPC code, we are able to grow the dimension of the hypersphere product codes arXiv:1608.05089 [quant-ph] and the hemicubic codes arXiv:1911.03069 [quant-ph] while maintaining their distance and locality, but at the expense of soundness. From this, and also by distance balancing a chain complex of Cross et al. arXiv:2209.11405 [cs.IT], we obtain quantum locally testable codes of new parameters.
△ Less
Submitted 1 May, 2023;
originally announced May 2023.
-
Conformal Field Theory Ground States as Critical Points of an Entropy Function
Authors:
Ting-Chun Lin,
John McGreevy
Abstract:
We derive an entropy formula satisfied by the ground states of 1+1D conformal field theories. The formula implies that the ground state is the critical point of an entropy function. We conjecture that this formula may serve as an information-theoretic criterion for conformal field theories, which differs from the conventional algebraic definition. In addition to these findings, we use the same pro…
▽ More
We derive an entropy formula satisfied by the ground states of 1+1D conformal field theories. The formula implies that the ground state is the critical point of an entropy function. We conjecture that this formula may serve as an information-theoretic criterion for conformal field theories, which differs from the conventional algebraic definition. In addition to these findings, we use the same proof method to extract the six global conformal generators of the conformal field theory from its ground state. We validate our results by testing them on different critical lattice models with excellent agreement.
△ Less
Submitted 20 December, 2023; v1 submitted 9 March, 2023;
originally announced March 2023.
-
Microwave amplification via interfering multi-photon processes in a half-waveguide quantum electrodynamics system
Authors:
Fahad Aziz,
Kuan Ting Lin,
** Yi Wen,
Samina,
Yu Chen Lin,
Emely Wiegand,
Ching-** Lee,
Yu-Ting Cheng,
Ching-Yeh Chen,
Chin-Hsun Chien,
Kai-Min Hsieh,
Yu-Huan Huang,
Ian Hou,
Jeng-Chung Chen,
Yen-Hsiang Lin,
Anton Frisk Kockum,
Guin Dar Lin,
Io-Chun Hoi
Abstract:
We investigate the amplification of a microwave probe signal by a superconducting artificial atom, a transmon, strongly coupled to the end of a one-dimensional semi-infinite transmission line. The end of the transmission line acts as a mirror for microwave fields. Due to the weak anharmonicity of the artificial atom, a strong pump field creates multi-photon excitations among the dressed states. Tr…
▽ More
We investigate the amplification of a microwave probe signal by a superconducting artificial atom, a transmon, strongly coupled to the end of a one-dimensional semi-infinite transmission line. The end of the transmission line acts as a mirror for microwave fields. Due to the weak anharmonicity of the artificial atom, a strong pump field creates multi-photon excitations among the dressed states. Transitions between these dressed states, Rabi sidebands, give rise to either amplification or attenuation of the weak probe. We obtain a maximum amplitude amplification of about 18 %, higher than in any previous experiment with a single artificial atom, due to constructive interference between Rabi sidebands. We also characterize the noise properties of the system by measuring the spectrum of spontaneous emission.
△ Less
Submitted 14 February, 2023;
originally announced February 2023.
-
Universal lower bound on topological entanglement entropy
Authors:
Isaac H. Kim,
Michael Levin,
Ting-Chun Lin,
Daniel Ranard,
Bowen Shi
Abstract:
Entanglement entropies of two-dimensional gapped ground states are expected to satisfy an area law, with a constant correction term known as the topological entanglement entropy (TEE). In many models, the TEE takes a universal value that characterizes the underlying topological phase. However, the TEE is not truly universal: it can differ even for two states related by constant-depth circuits, whi…
▽ More
Entanglement entropies of two-dimensional gapped ground states are expected to satisfy an area law, with a constant correction term known as the topological entanglement entropy (TEE). In many models, the TEE takes a universal value that characterizes the underlying topological phase. However, the TEE is not truly universal: it can differ even for two states related by constant-depth circuits, which are necessarily in the same phase. The difference between the TEE and the value predicted by the anyon theory is often called the spurious topological entanglement entropy. We show that this spurious contribution is always nonnegative, thus the value predicted by the anyon theory provides a universal lower bound. This observation also leads to a definition of TEE that is invariant under constant-depth quantum circuits.
△ Less
Submitted 31 October, 2023; v1 submitted 1 February, 2023;
originally announced February 2023.
-
A new operator extension of strong subadditivity of quantum entropy
Authors:
Ting-Chun Lin,
Isaac H. Kim,
Min-Hsiu Hsieh
Abstract:
Let $S(ρ)$ be the von Neumann entropy of a density matrix $ρ$. Weak monotonicity asserts that $S(ρ_{AB}) - S(ρ_A) + S(ρ_{BC}) - S(ρ_C)\geq 0$ for any tripartite density matrix $ρ_{ABC}$, a fact that is equivalent to the strong subadditivity of entropy. We prove an operator inequality, which, upon taking an expectation value with respect to the state $ρ_{ABC}$, reduces to the weak monotonicity ineq…
▽ More
Let $S(ρ)$ be the von Neumann entropy of a density matrix $ρ$. Weak monotonicity asserts that $S(ρ_{AB}) - S(ρ_A) + S(ρ_{BC}) - S(ρ_C)\geq 0$ for any tripartite density matrix $ρ_{ABC}$, a fact that is equivalent to the strong subadditivity of entropy. We prove an operator inequality, which, upon taking an expectation value with respect to the state $ρ_{ABC}$, reduces to the weak monotonicity inequality. Generalizations of this inequality to the one involving two independent density matrices, as well as their Rényi-generalizations, are also presented.
△ Less
Submitted 25 May, 2023; v1 submitted 23 November, 2022;
originally announced November 2022.
-
Model-Checking PCTL properties of Stateless Probabilistic Pushdown Systems with Various Extensions
Authors:
Tianrong Lin
Abstract:
In this paper, we first resolve an open question in the probabilistic verification of infinite-state systems (specifically, the {\em stateless probabilistic pushdown systems}). We show that model checking {\em stateless probabilistic pushdown systems (pBPA)} against {\em probabilistic computational tree logic (PCTL)} is generally undecidable. We define the quantum analogues of the {\em probabilist…
▽ More
In this paper, we first resolve an open question in the probabilistic verification of infinite-state systems (specifically, the {\em stateless probabilistic pushdown systems}). We show that model checking {\em stateless probabilistic pushdown systems (pBPA)} against {\em probabilistic computational tree logic (PCTL)} is generally undecidable. We define the quantum analogues of the {\em probabilistic pushdown systems} and {\em Markov chains}, and further investigate whether it is necessary to define a quantum analogue of {\em probabilistic computational tree logic} to describe the branching-time properties of the {\em quantum Markov chain} defined in this paper. We study its model-checking question and show that the model-checking of {\em stateless quantum pushdown systems (qBPA)} against {\em probabilistic computational tree logic (PCTL)} is generally undecidable, with the immediate corollaries summarized. We define the notion of {\em probabilistic $ω$-pushdown automaton} for the first time and study the model-checking question of {\em stateless probabilistic $ω$-pushdown system ($ω$-pBPA)} against $ω$-PCTL (defined by Chatterjee et al. in \cite{CSH08}) and show that the model-checking of {\em stateless probabilistic $ω$-pushdown systems ($ω$-pBPA)} against $ω$-PCTL is generally undecidable, with immediate consequences summarized. Our approach is to construct formulas of $ω$-PCTL encoding the {\em Post Correspondence Problem} indirectly.
△ Less
Submitted 7 August, 2023; v1 submitted 21 September, 2022;
originally announced September 2022.
-
Good Quantum LDPC Codes with Linear Time Decoders
Authors:
Irit Dinur,
Min-Hsiu Hsieh,
Ting-Chun Lin,
Thomas Vidick
Abstract:
We construct a new explicit family of good quantum low-density parity-check codes which additionally have linear time decoders. Our codes are based on a three-term chain $(\mathbb{F}_2^{m\times m})^V \quad \xrightarrow{δ^0}\quad (\mathbb{F}_2^{m})^{E} \quad\xrightarrow{δ^1} \quad \mathbb{F}_2^F$ where $V$ ($X$-checks) are the vertices, $E$ (qubits) are the edges, and $F$ ($Z$-checks) are the squar…
▽ More
We construct a new explicit family of good quantum low-density parity-check codes which additionally have linear time decoders. Our codes are based on a three-term chain $(\mathbb{F}_2^{m\times m})^V \quad \xrightarrow{δ^0}\quad (\mathbb{F}_2^{m})^{E} \quad\xrightarrow{δ^1} \quad \mathbb{F}_2^F$ where $V$ ($X$-checks) are the vertices, $E$ (qubits) are the edges, and $F$ ($Z$-checks) are the squares of a left-right Cayley complex, and where the maps are defined based on a pair of constant-size random codes $C_A,C_B:\mathbb{F}_2^m\to\mathbb{F}_2^Δ$ where $Δ$ is the regularity of the underlying Cayley graphs.
One of the main ingredients in the analysis is a proof of an essentially-optimal robustness property for the tensor product of two random codes.
△ Less
Submitted 15 June, 2022;
originally announced June 2022.
-
Temporally-ultralong biphotons with a linewidth of 50 kHz
Authors:
Yu-Sheng Wang,
Kai-Bo Li,
Chao-Feng Chang,
Tan-Wen Lin,
Jian-Qing Li,
Shih-Si Hsiao,
Jia-Mou Chen,
Yi-Hua Lai,
Ying-Cheng Chen,
Yong-Fan Chen,
Chih-Sung Chuu,
Ite A. Yu
Abstract:
We report the generation of biphotons, with a temporal full width at the half maximum (FWHM) of 13.4$\pm$0.3 $μ$s and a spectral FWHM of 50$\pm$1 kHz, via the process of spontaneous four-wave mixing. The temporal width is the longest, and the spectral linewidth is the narrowest up to date. This is also the first biphoton result that obtains a linewidth below 100 kHz, reaching a new milestone. The…
▽ More
We report the generation of biphotons, with a temporal full width at the half maximum (FWHM) of 13.4$\pm$0.3 $μ$s and a spectral FWHM of 50$\pm$1 kHz, via the process of spontaneous four-wave mixing. The temporal width is the longest, and the spectral linewidth is the narrowest up to date. This is also the first biphoton result that obtains a linewidth below 100 kHz, reaching a new milestone. The very long biphoton wave packet has a signal-to-background ratio of 3.4, which violates the Cauchy-Schwarz inequality for classical light by 4.8 folds. Furthermore, we demonstrated a highly-tunable-linewidth biphoton source and showed that while the biphoton source's temporal and spectral width were controllably varied by about 24 folds, its generation rate only changed by less than 15\%. A spectral brightness or generation rate per pump power per linewidth of 1.2$\times$10$^6$ pairs/(s$\cdot$mW$\cdot$MHz) was achieved at the temporal width of 13.4 $μ$s. The above results were made possible by the low decoherence rate and high optical depth of the experimental system, as well as the nearly phase-mismatch-free scheme employed in the experiment. This work has demonstrated a high-efficiency ultranarrow-linewidth biphoton source, and has made a substantial advancement in the quantum technology utilizing heralded single photons.
△ Less
Submitted 27 May, 2022;
originally announced May 2022.
-
Tomography of Ultra-relativistic Nuclei with Polarized Photon-gluon Collisions
Authors:
STAR Collaboration,
M. S. Abdallah,
B. E. Aboona,
J. Adam,
L. Adamczyk,
J. R. Adams,
J. K. Adkins,
G. Agakishiev,
I. Aggarwal,
M. M. Aggarwal,
Z. Ahammed,
A. Aitbaev,
I. Alekseev,
D. M. Anderson,
A. Aparin,
E. C. Aschenauer,
M. U. Ashraf,
F. G. Atetalla,
G. S. Averichev,
V. Bairathi,
W. Baker,
J. G. Ball Cap,
K. Barish,
A. Behera,
R. Bellwied
, et al. (370 additional authors not shown)
Abstract:
A linearly polarized photon can be quantized from the Lorentz-boosted electromagnetic field of a nucleus traveling at ultra-relativistic speed. When two relativistic heavy nuclei pass one another at a distance of a few nuclear radii, the photon from one nucleus may interact through a virtual quark-antiquark pair with gluons from the other nucleus forming a short-lived vector meson (e.g. ${ρ^0}$).…
▽ More
A linearly polarized photon can be quantized from the Lorentz-boosted electromagnetic field of a nucleus traveling at ultra-relativistic speed. When two relativistic heavy nuclei pass one another at a distance of a few nuclear radii, the photon from one nucleus may interact through a virtual quark-antiquark pair with gluons from the other nucleus forming a short-lived vector meson (e.g. ${ρ^0}$). In this experiment, the polarization was utilized in diffractive photoproduction to observe a unique spin interference pattern in the angular distribution of ${ρ^0\rightarrowπ^+π^-}$ decays. The observed interference is a result of an overlap of two wave functions at a distance an order of magnitude larger than the ${ρ^0}$ travel distance within its lifetime. The strong-interaction nuclear radii were extracted from these diffractive interactions, and found to be $6.53\pm 0.06$ fm ($^{197} {\rm Au }$) and $7.29\pm 0.08$ fm ($^{238} {\rm U}$), larger than the nuclear charge radii. The observable is demonstrated to be sensitive to the nuclear geometry and quantum interference of non-identical particles.
△ Less
Submitted 4 April, 2022;
originally announced April 2022.
-
Good quantum LDPC codes with linear time decoder from lossless expanders
Authors:
Ting-Chun Lin,
Min-Hsiu Hsieh
Abstract:
Quantum low-density parity-check (qLDPC) codes are quantum stabilizer codes where each stabilizer acts on a constant number of qubits and each qubit is acted on by a constant number of stabilizers. We study qLDPC codes constructed from balanced products and lossless expanders. We found that assuming the existence of 2-sided lossless expander graphs with free group action, the resulting qLDPC codes…
▽ More
Quantum low-density parity-check (qLDPC) codes are quantum stabilizer codes where each stabilizer acts on a constant number of qubits and each qubit is acted on by a constant number of stabilizers. We study qLDPC codes constructed from balanced products and lossless expanders. We found that assuming the existence of 2-sided lossless expander graphs with free group action, the resulting qLDPC codes have constant rate, linear distance, and linear time decoders.
△ Less
Submitted 7 March, 2022;
originally announced March 2022.
-
Koopman von Neumann mechanics and the Koopman representation: A perspective on solving nonlinear dynamical systems with quantum computers
Authors:
Yen Ting Lin,
Robert B. Lowrie,
Denis Aslangil,
Yiğit Subaşı,
Andrew T. Sornborger
Abstract:
A number of recent studies have proposed that linear representations are appropriate for solving nonlinear dynamical systems with quantum computers, which fundamentally act linearly on a wave function in a Hilbert space. Linear representations, such as the Koopman representation and Koopman von Neumann mechanics, have regained attention from the dynamical-systems research community. Here, we aim t…
▽ More
A number of recent studies have proposed that linear representations are appropriate for solving nonlinear dynamical systems with quantum computers, which fundamentally act linearly on a wave function in a Hilbert space. Linear representations, such as the Koopman representation and Koopman von Neumann mechanics, have regained attention from the dynamical-systems research community. Here, we aim to present a unified theoretical framework, currently missing in the literature, with which one can compare and relate existing methods, their conceptual basis, and their representations. We also aim to show that, despite the fact that quantum simulation of nonlinear classical systems may be possible with such linear representations, a necessary projection into a feasible finite-dimensional space will in practice eventually induce numerical artifacts which can be hard to eliminate or even control. As a result a practical, reliable and accurate way to use quantum computation for solving general nonlinear dynamical systems is still an open problem.
△ Less
Submitted 6 February, 2022; v1 submitted 4 February, 2022;
originally announced February 2022.
-
Floquet state depletion in ac-driven circuit QED
Authors:
Ming-Bo Chen,
Bao-Chuan Wang,
Sigmund Kohler,
Yuan Kang,
Ting Lin,
Si-Si Gu,
Hai-Ou Li,
Guang-Can Guo,
Xuedong Hu,
Hong-Wen Jiang,
Gang Cao,
Guo-** Guo
Abstract:
We perform Floquet spectroscopy in a GaAs double quantum dot system coupled to a high-impedance superconducting resonator. By applying microwave induced consecutive passages under a double resonance condition, we observe novel Landau-Zener-Stückelberg-Majorana interference patterns that stem from a cavity-assisted interference pattern modified by the depletion of the ground state. Our experimental…
▽ More
We perform Floquet spectroscopy in a GaAs double quantum dot system coupled to a high-impedance superconducting resonator. By applying microwave induced consecutive passages under a double resonance condition, we observe novel Landau-Zener-Stückelberg-Majorana interference patterns that stem from a cavity-assisted interference pattern modified by the depletion of the ground state. Our experimental results reveal the stationary state behavior of a strongly driven two-level system, and are consistent with the simulations based on our theoretical model. This study provides an excellent platform for investigating the dynamics of Floquet states in the presence of strong driving.
△ Less
Submitted 29 May, 2021; v1 submitted 7 November, 2020;
originally announced November 2020.
-
Mechanical Quantum Sensing in the Search for Dark Matter
Authors:
Daniel Carney,
Gordan Krnjaic,
David C. Moore,
Cindy A. Regal,
Gadi Afek,
Sunil Bhave,
Benjamin Brubaker,
Thomas Corbitt,
Jonathan Cripe,
Nicole Crisosto,
Andrew Geraci,
Sohitri Ghosh,
Jack G. E. Harris,
Anson Hook,
Edward W. Kolb,
Jonathan Kunjummen,
Rafael F. Lang,
Tongcang Li,
Tongyan Lin,
Zhen Liu,
Joseph Lykken,
Lorenzo Magrini,
Jack Manley,
Nobuyuki Matsumoto,
Alissa Monte
, et al. (10 additional authors not shown)
Abstract:
Numerous astrophysical and cosmological observations are best explained by the existence of dark matter, a mass density which interacts only very weakly with visible, baryonic matter. Searching for the extremely weak signals produced by this dark matter strongly motivate the development of new, ultra-sensitive detector technologies. Paradigmatic advances in the control and readout of massive mecha…
▽ More
Numerous astrophysical and cosmological observations are best explained by the existence of dark matter, a mass density which interacts only very weakly with visible, baryonic matter. Searching for the extremely weak signals produced by this dark matter strongly motivate the development of new, ultra-sensitive detector technologies. Paradigmatic advances in the control and readout of massive mechanical systems, in both the classical and quantum regimes, have enabled unprecedented levels of sensitivity. In this white paper, we outline recent ideas in the potential use of a range of solid-state mechanical sensing technologies to aid in the search for dark matter in a number of energy scales and with a variety of coupling mechanisms.
△ Less
Submitted 13 August, 2020;
originally announced August 2020.
-
Quantum Entanglement Establishment between two Strangers
Authors:
Tzonelih Hwang,
Tzu-Han Lin,
Shih-Hung Kao
Abstract:
This paper presents the first quantum entanglement establishment scheme for strangers who neither pre-share any secret nor have any authenticated classical channel between them. The proposed protocol requires only the help of two almost dishonest third parties (TPs) to achieve the goal. The security analyses show that the proposed protocol is secure against not only an external eavesdropper's atta…
▽ More
This paper presents the first quantum entanglement establishment scheme for strangers who neither pre-share any secret nor have any authenticated classical channel between them. The proposed protocol requires only the help of two almost dishonest third parties (TPs) to achieve the goal. The security analyses show that the proposed protocol is secure against not only an external eavesdropper's attack, but also the TP's attack.
△ Less
Submitted 28 October, 2015; v1 submitted 26 February, 2014;
originally announced February 2014.
-
Simple characterizations for commutativity of quantum weakest preconditions
Authors:
Tianrong Lin
Abstract:
In a recent letter [Information Processing Letters~104 (2007) 152-158], it has shown some sufficient conditions for commutativity of quantum weakest preconditions. This paper provides some alternative and simple characterizations for the commutativity of quantum weakest preconditions, i.e., Theorem 3.1, Theorem 3.2 and Proposition 3.3 in what follows. We also show that to characterize the commutat…
▽ More
In a recent letter [Information Processing Letters~104 (2007) 152-158], it has shown some sufficient conditions for commutativity of quantum weakest preconditions. This paper provides some alternative and simple characterizations for the commutativity of quantum weakest preconditions, i.e., Theorem 3.1, Theorem 3.2 and Proposition 3.3 in what follows. We also show that to characterize the commutativity of quantum weakest preconditions in terms of $[M,N]$ ($=MN-NM$) is hard in the sense of Proposition 4.1 and Proposition 4.2.
△ Less
Submitted 3 April, 2023; v1 submitted 23 August, 2011;
originally announced August 2011.
-
A Two-Dimensional Lattice Ion Trap for Quantum Simulation
Authors:
Robert J. Clark,
Tongyan Lin,
Kenneth R. Brown,
Isaac L. Chuang
Abstract:
Quantum simulations of spin systems could enable the solution of problems which otherwise require infeasible classical resources. Such a simulation may be implemented using a well-controlled system of effective spins, such as a two-dimensional lattice of locally interacting ions. We propose here a layered planar rf trap design that can be used to create arbitrary two-dimensional lattices of ions…
▽ More
Quantum simulations of spin systems could enable the solution of problems which otherwise require infeasible classical resources. Such a simulation may be implemented using a well-controlled system of effective spins, such as a two-dimensional lattice of locally interacting ions. We propose here a layered planar rf trap design that can be used to create arbitrary two-dimensional lattices of ions. The design also leads naturally to ease of microfabrication. As a first experimental demonstration, we confine strontium-88 ions in a mm-scale lattice trap and verify numerical models of the trap by measuring the motional frequencies. We also confine 440 nm diameter charged microspheres and observe ion-ion repulsion between ions in neighboring lattice sites. Our design, when scaled to smaller ion-ion distances, is appropriate for quantum simulation schemes, e.g. that of Porras and Cirac (PRL 92 207901 (2004)). We note, however, that in practical realizations of the trap, an increase in the secular frequency with decreasing ion spacing may make a coupling rate that is large relative to the decoherence rate in such a trap difficult to achieve.
△ Less
Submitted 16 September, 2008;
originally announced September 2008.
