-
Quantum Metropolis Sampling via Weak Measurement
Authors:
Jiaqing Jiang,
Sandy Irani
Abstract:
Gibbs sampling is a crucial computational technique used in physics, statistics, and many other scientific fields. For classical Hamiltonians, the most commonly used Gibbs sampler is the Metropolis algorithm, known for having the Gibbs state as its unique fixed point. For quantum Hamiltonians, designing provably correct Gibbs samplers has been more challenging. [TOV+11] introduced a novel method t…
▽ More
Gibbs sampling is a crucial computational technique used in physics, statistics, and many other scientific fields. For classical Hamiltonians, the most commonly used Gibbs sampler is the Metropolis algorithm, known for having the Gibbs state as its unique fixed point. For quantum Hamiltonians, designing provably correct Gibbs samplers has been more challenging. [TOV+11] introduced a novel method that uses quantum phase estimation (QPE) and the Marriot-Watrous rewinding technique to mimic the classical Metropolis algorithm for quantum Hamiltonians. The analysis of their algorithm relies upon the use of a boosted and shift-invariant version of QPE which may not exist [CKBG23]. Recent efforts to design quantum Gibbs samplers take a very different approach and are based on simulating Davies generators [CKBG23,CKG23,RWW23,DLL24]. Currently, these are the only provably correct Gibbs samplers for quantum Hamiltonians.
We revisit the inspiration for the Metropolis-style algorithm of [TOV+11] and incorporate weak measurement to design a conceptually simple and provably correct quantum Gibbs sampler, with the Gibbs state as its approximate unique fixed point. Our method uses a Boosted QPE which takes the median of multiple runs of QPE, but we do not require the shift-invariant property. In addition, we do not use the Marriott-Watrous rewinding technique which simplifies the algorithm significantly.
△ Less
Submitted 23 June, 2024;
originally announced June 2024.
-
Field Test of Quantum Key Distribution with High Key Creation Efficiency
Authors:
Yung-Cheng Kao,
Sheng-Hsuan Huang,
Chin-Hsuan Chang,
Chih-Hsiang Wu,
Shih-Hsien Chu,
Jian Jiang,
An-Chi Zhang,
Sheng-Yao Huang,
Jhih-Heng Yan,
Kai-Ming Feng,
Chih-Sung Chuu
Abstract:
Quantumkey distribution (QKD) promises unconditional security for communication. However, the random choices of the measurement basis in QKD usually result in low key creation efficiency. This drawback is overcome in the differential-phase-shift QKD, provided that each photon can be prepared in a large number of time bins with a proper waveform. In this work we develop a miniature 1550-nm single-p…
▽ More
Quantumkey distribution (QKD) promises unconditional security for communication. However, the random choices of the measurement basis in QKD usually result in low key creation efficiency. This drawback is overcome in the differential-phase-shift QKD, provided that each photon can be prepared in a large number of time bins with a proper waveform. In this work we develop a miniature 1550-nm single-photon source to generate narrowband single photon in 50 time bins with a nearly optimal waveform for achieving unity key creation efficiency. By utilizing these single photons in the field test, we demonstrate the differential-phase-shift QKD with a key creation efficiency of 97%. Our work shows that the practical QKD can benefit from the narrowband single photons with controllable waveforms.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
Realization of a cold atom gyroscope in space
Authors:
**ting Li,
Xi Chen,
Danfang Zhang,
Wenzhang Wang,
Yang Zhou,
Meng He,
Jie Fang,
Lin Zhou,
Chuan He,
Junjie Jiang,
Huanyao Sun,
Qunfeng Chen,
Lei Qin,
Xiao Li,
Yibo Wang,
Xiaowei Zhang,
Jiaqi Zhong,
Runbing Li,
Meizhen An,
Long Zhang,
Shuquan Wang,
Zongfeng Li,
** Wang,
Mingsheng Zhan
Abstract:
High precision gyroscopes in space are important for sophisticated scientific experiments and deep space navigation. Microgravity in the space provides an ideal condition for operation of a cold atom gyroscope. To demonstrate this advantage, an atom interferometer (AI) was launched and installed in the China Space Station in 2022. Here reported is a realization of the cold atom gyroscope with this…
▽ More
High precision gyroscopes in space are important for sophisticated scientific experiments and deep space navigation. Microgravity in the space provides an ideal condition for operation of a cold atom gyroscope. To demonstrate this advantage, an atom interferometer (AI) was launched and installed in the China Space Station in 2022. Here reported is a realization of the cold atom gyroscope with this AI. By applying point source interferometry, spatial fringes are obtained and acceleration and rotation are extracted. The angles of the Raman lasers are precisely calibrated to avoid measurement error, and other systematic errors are also considered for the rotation measurement. The evaluated rotation measurement is (-115.64+/-1.71)*10^-5 rad/s in space, and an acceleration measurement resolution of 1.03*10^-6 m/s^2 is also obtained for a single image. This study conducts the first AI-based gyroscope in space and paves a way for future space-based AI experiments.
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
Integrated and DC-powered superconducting microcomb
Authors:
Chen-Guang Wang,
Wuyue Xu,
Chong Li,
Lili Shi,
Junliang Jiang,
Tingting Guo,
Wen-Cheng Yue,
Tianyu Li,
** Zhang,
Yang-Yang Lyu,
Jiazheng Pan,
Xiuhao Deng,
Ying Dong,
Xuecou Tu,
Sining Dong,
Chunhai Cao,
Labao Zhang,
Xiaoqing Jia,
Guozhu Sun,
Lin Kang,
Jian Chen,
Yong-Lei Wang,
Huabing Wang,
Peiheng Wu
Abstract:
Frequency combs, specialized laser sources emitting multiple equidistant frequency lines, have revolutionized science and technology with unprecedented precision and versatility. Recently, integrated frequency combs are emerging as scalable solutions for on-chip photonics. Here, we demonstrate a fully integrated superconducting microcomb that is easy to manufacture, simple to operate, and consumes…
▽ More
Frequency combs, specialized laser sources emitting multiple equidistant frequency lines, have revolutionized science and technology with unprecedented precision and versatility. Recently, integrated frequency combs are emerging as scalable solutions for on-chip photonics. Here, we demonstrate a fully integrated superconducting microcomb that is easy to manufacture, simple to operate, and consumes ultra-low power. Our turnkey apparatus comprises a basic nonlinear superconducting device, a Josephson junction, directly coupled to a superconducting microstrip resonator. We showcase coherent comb generation through self-started mode-locking. Therefore, comb emission is initiated solely by activating a DC bias source, with power consumption as low as tens of picowatts. The resulting comb spectrum resides in the microwave domain and spans multiple octaves. The linewidths of all comb lines can be narrowed down to 1 Hz through a unique coherent injection-locking technique. Our work represents a critical step towards fully integrated microwave photonics and offers the potential for integrated quantum processors.
△ Less
Submitted 15 May, 2024;
originally announced May 2024.
-
Sign problem in tensor network contraction
Authors:
Jielun Chen,
Jiaqing Jiang,
Dominik Hangleiter,
Norbert Schuch
Abstract:
We investigate how the computational difficulty of contracting tensor networks depends on the sign structure of the tensor entries. Using results from computational complexity, we observe that the approximate contraction of tensor networks with only positive entries has lower complexity. This raises the question how this transition in computational complexity manifests itself in the hardness of di…
▽ More
We investigate how the computational difficulty of contracting tensor networks depends on the sign structure of the tensor entries. Using results from computational complexity, we observe that the approximate contraction of tensor networks with only positive entries has lower complexity. This raises the question how this transition in computational complexity manifests itself in the hardness of different contraction schemes. We pursue this question by studying random tensor networks with varying bias towards positive entries. First, we consider contraction via Monte Carlo sampling, and find that the transition from hard to easy occurs when the entries become predominantly positive; this can be seen as a tensor network manifestation of the Quantum Monte Carlo sign problem. Second, we analyze the commonly used contraction based on boundary tensor networks. Its performance is governed by the amount of correlations (entanglement) in the tensor network. Remarkably, we find that the transition from hard to easy (i.e., from a volume law to a boundary law scaling of entanglement) occurs already for a slight bias towards a positive mean, and the earlier the larger the bond dimension is. This is in contrast to both expectations and the behavior found in Monte Carlo contraction. We gain further insight into this early transition from the study of an effective statmech model. Finally, we investigate the computational difficulty of computing expectation values of tensor network wavefunctions, i.e., PEPS, where we find that the complexity of entanglement-based contraction always remains low. We explain this by providing a local transformation which maps PEPS expectation values to a positive-valued tensor network. This not only provides insight into the origin of the observed boundary law entanglement scaling, but also suggests new approaches towards PEPS contraction based on positive decompositions.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
Robust external spin hyperpolarization of quadrupolar nuclei enabled by strain
Authors:
Lu Chen,
Jiawen Jiang,
Martin B. Plenio,
Qiong Chen
Abstract:
In a theoretical study, we investigate the spin dynamics of interacting nitrogen-vacancy (NV) centers and quadrupolar I = 3/2 nuclear spins, specifically 11B spins in hexagonal boron nitride (h-BN) nanosheets located near the microdiamond surface. We demonstrate the possibility of obtaining external spin-polarization by magnetic-field sweeps across the level anticrossings around zero-field. To ach…
▽ More
In a theoretical study, we investigate the spin dynamics of interacting nitrogen-vacancy (NV) centers and quadrupolar I = 3/2 nuclear spins, specifically 11B spins in hexagonal boron nitride (h-BN) nanosheets located near the microdiamond surface. We demonstrate the possibility of obtaining external spin-polarization by magnetic-field sweeps across the level anticrossings around zero-field. To achieve this, we leverage crystal strains to establish a polarization transfer mechanism that remains robust against variations in NV orientation, crystal strain inhomogeneity, and electron-nuclear effective couplings. These results pave the way for hyperpolarization of spins in nanomaterials near the diamond surface without experiencing polarization loss to intrinsic nuclear spin-1/2 species, such as 13C and 1H nuclear spins in diamond. The 11B spins in h-BN nanosheets, with their extended relaxation time and large surface area, present a promising alternative for relayed nuclear polarization to the liquid phase and for the development of quantum simulators based on surface nuclear spins.
△ Less
Submitted 28 April, 2024;
originally announced April 2024.
-
Boolean Matching Reversible Circuits: Algorithm and Complexity
Authors:
Tian-Fu Chen,
Jie-Hong R. Jiang
Abstract:
Boolean matching is an important problem in logic synthesis and verification. Despite being well-studied for conventional Boolean circuits, its treatment for reversible logic circuits remains largely, if not completely, missing. This work provides the first such study. Given two (black-box) reversible logic circuits that are promised to be matchable, we check their equivalences under various input…
▽ More
Boolean matching is an important problem in logic synthesis and verification. Despite being well-studied for conventional Boolean circuits, its treatment for reversible logic circuits remains largely, if not completely, missing. This work provides the first such study. Given two (black-box) reversible logic circuits that are promised to be matchable, we check their equivalences under various input/output negation and permutation conditions subject to the availability/unavailability of their inverse circuits. Notably, among other results, we show that the equivalence up to input negation and permutation is solvable in quantum polynomial time, while its classical complexity is exponential. This result is arguably the first demonstration of quantum exponential speedup in solving design automation problems. Also, as a negative result, we show that the equivalence up to both input and output negations is not solvable in quantum polynomial time unless UNIQUE-SAT is, which is unlikely. This work paves the theoretical foundation of Boolean matching reversible circuits for potential applications, e.g., in quantum circuit synthesis.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Evaluation of the systematic error induced by quadratic Zeeman effect using hyperfine ground state exchange method in a long-baseline dual-species atom interferometer
Authors:
Yu-Hang Ji,
Chuan He,
Si-Tong Yan,
Jun-Jie Jiang,
Jia-Qi Lei,
Lu Zhou,
Lin Zhou,
Xi Chen,
** Wang,
Ming-Sheng Zhan
Abstract:
The systematic error induced by the quadratic Zeeman effect is non-negligible in atom interferometers and must be precisely evaluated. We theoretically analyze the phase shift induced by the Zeeman effect, and use a hyperfine ground state exchange (HGSE) method to evaluate the systematic error in the long-baseline $^{85}$Rb-$^{87}$Rb dual-species atom interferometer due to the quadratic Zeeman eff…
▽ More
The systematic error induced by the quadratic Zeeman effect is non-negligible in atom interferometers and must be precisely evaluated. We theoretically analyze the phase shift induced by the Zeeman effect, and use a hyperfine ground state exchange (HGSE) method to evaluate the systematic error in the long-baseline $^{85}$Rb-$^{87}$Rb dual-species atom interferometer due to the quadratic Zeeman effect. Compared to the two evaluation methods, map** the absolute magnetic field in the interference region and performing phase measurements at different bias fields, the HGSE method could obtain the systematic error in real time in case of slow drifts of either the ambient magnetic field or other systematic effects irrelevant to the hyperfine ground states. To validate the effectiveness of the HGSE method, we also employ the map** magnetic field method and modulating bias field method independently to cross-check and yield consistent results of three methods within an accuracy of $10^{-11}$ level. The HGSE method is helpful in evaluating and suppressing the quadratic Zeeman-effect-induced systematic error in long-baseline atom interferometer-based precision measurements, such as equivalence principle tests.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Quantum circuit design for mixture and preparation of arbitrary pure and mixed quantum states
Authors:
Bo-Hung Chen,
Dah-Wei Chiou,
Jie-Hong Roland Jiang
Abstract:
This paper addresses the challenge of preparing arbitrary mixed quantum states, an area that has not been extensively studied compared to pure states. Two circuit design methods are presented: one via a mixture of pure states and the other via purification. A novel strategy utilizing the Cholesky decomposition is proposed to improve both computational efficiency during preprocessing and circuit ef…
▽ More
This paper addresses the challenge of preparing arbitrary mixed quantum states, an area that has not been extensively studied compared to pure states. Two circuit design methods are presented: one via a mixture of pure states and the other via purification. A novel strategy utilizing the Cholesky decomposition is proposed to improve both computational efficiency during preprocessing and circuit efficiency in the resulting circuits, offering significant advantages, especially when the targeted density matrix is low-ranked or sparse. By leveraging the incomplete Cholesky decomposition with threshold drop**, we also propose an appealing strategy for generating a high-fidelity approximation of the targeted density matrix, enabling substantial efficiency enhancement at the cost of mild fidelity loss. Additionally, as a closely related issue, we prove the "no-superposing theorem": given a certain number of arbitrary unknown pure states as input, it is impossible to devise an operation that produces an output state as the superposition of the input states with predefined coefficients unless all but one of the coefficients vanish.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
Coupler-Assisted Leakage Reduction for Scalable Quantum Error Correction with Superconducting Qubits
Authors:
Xiaohan Yang,
Ji Chu,
Zechen Guo,
Wenhui Huang,
Yongqi Liang,
Jiawei Liu,
Jiawei Qiu,
Xuandong Sun,
Ziyu Tao,
Jiawei Zhang,
Jiajian Zhang,
Libo Zhang,
Yuxuan Zhou,
Weijie Guo,
Ling Hu,
Ji Jiang,
Yang Liu,
Xiayu Linpeng,
Tingyong Chen,
Yuanzhen Chen,
**g**g Niu,
Song Liu,
Youpeng Zhong,
Dapeng Yu
Abstract:
Superconducting qubits are a promising platform for building fault-tolerant quantum computers, with recent achievement showing the suppression of logical error with increasing code size. However, leakage into non-computational states, a common issue in practical quantum systems including superconducting circuits, introduces correlated errors that undermine QEC scalability. Here, we propose and dem…
▽ More
Superconducting qubits are a promising platform for building fault-tolerant quantum computers, with recent achievement showing the suppression of logical error with increasing code size. However, leakage into non-computational states, a common issue in practical quantum systems including superconducting circuits, introduces correlated errors that undermine QEC scalability. Here, we propose and demonstrate a leakage reduction scheme utilizing tunable couplers, a widely adopted ingredient in large-scale superconducting quantum processors. Leveraging the strong frequency tunability of the couplers and stray interaction between the couplers and readout resonators, we eliminate state leakage on the couplers, thus suppressing space-correlated errors caused by population propagation among the couplers. Assisted by the couplers, we further reduce leakage to higher qubit levels with high efficiency (98.1%) and low error rate on the computational subspace (0.58%), suppressing time-correlated errors during QEC cycles. The performance of our scheme demonstrates its potential as an indispensable building block for scalable QEC with superconducting qubits.
△ Less
Submitted 24 March, 2024;
originally announced March 2024.
-
Observation of topology transition in Floquet non-Hermitian skin effects in silicon photonics
Authors:
Zhiyuan Lin,
Wange Song,
Li-Wei Wang,
Haoran Xin,
Jiacheng Sun,
Shengjie Wu,
Chunyu Huang,
Shining Zhu,
Jian-Hua Jiang,
Tao Li
Abstract:
Non-Hermitian physics has greatly enriched our understanding of nonequilibrium phenomena and uncovered novel effects such as the non-Hermitian skin effect (NHSE) that has profoundly revolutionized the field. NHSE is typically predicted in systems with nonreciprocal couplings which, however, are difficult to realize in experiments. Without nonreciprocal couplings, the NHSE can also emerge in system…
▽ More
Non-Hermitian physics has greatly enriched our understanding of nonequilibrium phenomena and uncovered novel effects such as the non-Hermitian skin effect (NHSE) that has profoundly revolutionized the field. NHSE is typically predicted in systems with nonreciprocal couplings which, however, are difficult to realize in experiments. Without nonreciprocal couplings, the NHSE can also emerge in systems with coexisting gauge fields and loss or gain (e.g., in Floquet non-Hermitian systems). However, such Floquet NHSE remains largely unexplored in experiments. Here, we realize the Floquet NHSEs in periodically modulated optical waveguides integrated on a silicon photonics platform. By engineering the artificial gauge fields induced by the periodical modulation, we observe various Floquet NHSEs and unveil their rich topological transitions. Remarkably, we discover the transitions between the normal unipolar NHSEs and an unconventional bipolar NHSE which is accompanied by the directional reversal of the NHSEs. The underlying physics is revealed by the band winding in complex quasienergy space which undergoes a topology change from isolated loops with the same winding to linked loops with opposite windings. Our work unfolds a new route toward Floquet NHSEs originating from the interplay between gauge fields and dissipation effects and offers fundamentally new ways for steering light and other waves.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Utilizing Novel Quantum Counters for Grover's Algorithm to Solve the Dominating Set Problem
Authors:
Jehn-Ruey Jiang,
Qiao-Yi Lin
Abstract:
Grover's algorithm is a well-known unstructured quantum search algorithm run on quantum computers. It constructs an oracle and calls the oracle O($\sqrt N$) times to locate specific data out of N unsorted data. This represents a quadratic speedup compared to the classical unstructured data sequential search algorithm, which requires to call the oracle O(N) times. We are currently in the noisy inte…
▽ More
Grover's algorithm is a well-known unstructured quantum search algorithm run on quantum computers. It constructs an oracle and calls the oracle O($\sqrt N$) times to locate specific data out of N unsorted data. This represents a quadratic speedup compared to the classical unstructured data sequential search algorithm, which requires to call the oracle O(N) times. We are currently in the noisy intermediate-scale quantum (NISQ) era in which quantum computers have a limited number of qubits, short decoherence time, and low gate fidelity. It is thus desirable to design quantum components with three good properties: (i) a reduced number of qubits, (ii) shorter quantum depth, and (iii) fewer gates. This paper utilizes novel quantum counters with the above-mentioned three good properties to construct the oracle of Grover's algorithm to efficiently solve the dominating set problem (DSP), as defined below. For a given graph G=(V, E), a dominating set (DS) D is a subset of the vertex set V, such that every vertex is in D or has an adjacent vertex in D. The DSP is to decide for a given graph G and an integer k whether there exists a DS with size k. Algorithms solving the DSP have many applications. For example, they can be applied to check whether k routers suffice to connect all computers in a computer network. The DSP is an NP-complete problem, indicating that no classical algorithm exists to solve the DSP with polynomial time complexity in the worst case. Therefore, using quantum algorithms, such as Grover's algorithm, to exploit the potent computational capabilities of quantum computers to solve the DSP is highly promising. We execute the whole quantum circuit of Grover's algorithm using novel quantum counters through the IBM Quantum Lab service to validate that the circuit can solve the DSP efficiently and correctly.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Measuring entanglement entropy and its topological signature for phononic systems
Authors:
Zhi-Kang Lin,
Yao Zhou,
Bin Jiang,
Bing-Quan Wu,
Li-Mei Chen,
Xiao-Yu Liu,
Li-Wei Wang,
Peng Ye,
Jian-Hua Jiang
Abstract:
Entanglement entropy is a fundamental concept with rising importance in different fields ranging from quantum information science, black holes to materials science. In complex materials and systems, entanglement entropy provides insight into the collective degrees of freedom that underlie the systems' complex behaviours. As well-known predictions, the entanglement entropy exhibits area laws for sy…
▽ More
Entanglement entropy is a fundamental concept with rising importance in different fields ranging from quantum information science, black holes to materials science. In complex materials and systems, entanglement entropy provides insight into the collective degrees of freedom that underlie the systems' complex behaviours. As well-known predictions, the entanglement entropy exhibits area laws for systems with gapped excitations, whereas it follows the Gioev-Klich-Widom scaling law in gapless fermion systems. Furthermore, the entanglement spectrum provides salient characterizations of topological phases and phase transitions beyond the conventional paradigms. However, many of these fundamental predictions have not yet been confirmed in experiments due to the difficulties in measuring entanglement entropy in physical systems. Here, we report the experimental verification of the above predictions by probing the nonlocal correlations in phononic systems. From the pump-probe responses in phononic crystals, we obtain the entanglement entropy and entanglement spectrum for phononic systems with the fermion filling analog. With these measurements, we verify the Gioev-Klich-Widom scaling law of entanglement entropy for various quasiparticle dispersions in one- and two-dimensions. Moreover, we observe the salient signatures of topological phases in the entanglement spectrum and entanglement entropy which unveil an unprecedented probe of topological phases without relying on the bulk-boundary correspondence. The progress here opens a frontier where entanglement entropy serves as an important experimental tool in the study of emergent phases and phase transitions which can be generalized to non-Hermitian and other unconventional regimes.
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
-
Observation of dynamic non-Hermitian skin effects
Authors:
Zhen Li,
Li-Wei Wang,
Xulong Wang,
Zhi-Kang Lin,
Guancong Ma,
Jian-Hua Jiang
Abstract:
Non-Hermitian effects have emerged as a new paradigm for the manipulation of phases of matter that profoundly changes our understanding of non-equilibrium systems, introducing novel concepts such as exceptional points and spectral topology, as well as exotic phenomena such as non-Hermitian skin effects (NHSEs). Most existing studies, however, focus on non-Hermitian eigenstates, whereas dynamic pro…
▽ More
Non-Hermitian effects have emerged as a new paradigm for the manipulation of phases of matter that profoundly changes our understanding of non-equilibrium systems, introducing novel concepts such as exceptional points and spectral topology, as well as exotic phenomena such as non-Hermitian skin effects (NHSEs). Most existing studies, however, focus on non-Hermitian eigenstates, whereas dynamic properties of non-Hermitian systems have been discussed only very recently, predicting unexpected phenomena such as wave self-healing, chiral Zener tunneling, and the dynamic NHSEs that are not yet confirmed in experiments. Here, we report the first experimental observation of rich non-Hermitian skin dynamics using tunable one-dimensional nonreciprocal double-chain mechanical systems with glide-time symmetry. Remarkably, dynamic NHSEs are observed with various dynamic behaviors in different dynamic phases, revealing the intriguing nature of these phases that can be understood via the generalized Brillouin zone and the related concepts. Moreover, the observed tunable non-Hermitian skin dynamics and amplifications, the bulk unidirectional wave propagation, and the boundary wave trap** provide promising ways to guide, trap, and amplify waves in a controllable and robust way. Our findings unveil the fundamental aspects and open a new pathway toward non-Hermitian dynamics, which will fertilize the study of non-equilibrium phases of matter and give rise to novel applications in information processing.
△ Less
Submitted 9 December, 2023;
originally announced December 2023.
-
FiND: Few-shot three-dimensional image-free confocal focusing on point-like emitters
Authors:
Swetapadma Sahoo,
Junyue Jiang,
Jaden Li,
Kieran Loehr,
Chad E. Germany,
**cheng Zhou,
Bryan K. Clark,
Simeon I. Bogdanov
Abstract:
Confocal fluorescence microscopy is widely applied for the study of point-like emitters such as biomolecules, material defects, and quantum light sources. Confocal techniques offer increased optical resolution, dramatic fluorescence background rejection and sub-nanometer localization, useful in super-resolution imaging of fluorescent biomarkers, single-molecule tracking, or the characterization of…
▽ More
Confocal fluorescence microscopy is widely applied for the study of point-like emitters such as biomolecules, material defects, and quantum light sources. Confocal techniques offer increased optical resolution, dramatic fluorescence background rejection and sub-nanometer localization, useful in super-resolution imaging of fluorescent biomarkers, single-molecule tracking, or the characterization of quantum emitters. However, rapid, noise-robust automated 3D focusing on point-like emitters has been missing for confocal microscopes. Here, we introduce FiND (Focusing in Noisy Domain), an imaging-free, non-trained 3D focusing framework that requires no hardware add-ons or modifications. FiND achieves focusing for signal-to-noise ratios down to 1, with a few-shot operation for signal-to-noise ratios above 5. FiND enables unsupervised, large-scale focusing on a heterogeneous set of quantum emitters. Additionally, we demonstrate the potential of FiND for real-time 3D tracking by following the drift trajectory of a single NV center indefinitely with a positional precision of < 10 nm. Our results show that FiND is a useful focusing framework for the scalable analysis of point-like emitters in biology, material science, and quantum optics.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
Local Hamiltonian Problem with succinct ground state is MA-Complete
Authors:
Jiaqing Jiang
Abstract:
Finding the ground energy of a quantum system is a fundamental problem in condensed matter physics and quantum chemistry. Existing classical algorithms for tackling this problem often assume that the ground state has a succinct classical description, i.e. a poly-size classical circuit for computing the amplitude. Notable examples of succinct states encompass matrix product states, contractible pro…
▽ More
Finding the ground energy of a quantum system is a fundamental problem in condensed matter physics and quantum chemistry. Existing classical algorithms for tackling this problem often assume that the ground state has a succinct classical description, i.e. a poly-size classical circuit for computing the amplitude. Notable examples of succinct states encompass matrix product states, contractible projected entangled pair states, and states that can be represented by classical neural networks.
We study the complexity of the local Hamiltonian problem with succinct ground state. We prove this problem is MA-Complete. The Hamiltonian we consider is general and might not be stoquastic. The MA verification protocol is based on the fixed node quantum Monte Carlo method, particularly the variant of the continuous-time Markov chain introduced by Bravyi et.al. [BCGL22].
Based on our work, we also introduce a notion of strong guided states, and conjecture that the local Hamiltonian problem with strong guided state is MA-Complete, which will be in contrast with the QCMA-Complete result of the local Hamiltonian problem with standard guided states [WFC23,GLG22].
△ Less
Submitted 18 February, 2024; v1 submitted 18 September, 2023;
originally announced September 2023.
-
Commuting Local Hamiltonian Problem on 2D beyond qubits
Authors:
Sandy Irani,
Jiaqing Jiang
Abstract:
We study the complexity of local Hamiltonians in which the terms pairwise commute. Commuting local Hamiltonians (CLHs) provide a way to study the role of non-commutativity in the complexity of quantum systems and touch on many fundamental aspects of quantum computing and many-body systems, such as the quantum PCP conjecture and the area law. Despite intense research activity since Bravyi and Vyaly…
▽ More
We study the complexity of local Hamiltonians in which the terms pairwise commute. Commuting local Hamiltonians (CLHs) provide a way to study the role of non-commutativity in the complexity of quantum systems and touch on many fundamental aspects of quantum computing and many-body systems, such as the quantum PCP conjecture and the area law. Despite intense research activity since Bravyi and Vyalyi introduced the CLH problem two decades ago [BV03], its complexity remains largely unresolved; it is only known to lie in NP for a few special cases. Much of the recent research has focused on the physically motivated 2D case, where particles are located on vertices of a 2D grid and each term acts non-trivially only on the particles on a single square (or plaquette) in the lattice. In particular, Schuch [Sch11] showed that the CLH problem on 2D with qubits is in NP. Aharonov, Kenneth and Vigdorovich~[AKV18] then gave a constructive version of this result, showing an explicit algorithm to construct a ground state. Resolving the complexity of the 2D CLH problem with higher dimensional particles has been elusive. We prove two results for the CLH problem in 2D:
(1) We give a non-constructive proof that the CLH problem in 2D with qutrits is in NP. As far as we know, this is the first result for the commuting local Hamiltonian problem on 2D beyond qubits. Our key lemma works for general qudits and might give new insights for tackling the general case.
(2) We consider the factorized case, also studied in [BV03], where each term is a tensor product of single-particle Hermitian operators. We show that a factorized CLH in 2D, even on particles of arbitrary finite dimension, is equivalent to a direct sum of qubit stabilizer Hamiltonians. This implies that the factorized 2D CLH problem is in NP. This class of CLHs contains the Toric code as an example.
△ Less
Submitted 9 September, 2023;
originally announced September 2023.
-
A multinode quantum network over a metropolitan area
Authors:
Jian-Long Liu,
Xi-Yu Luo,
Yong Yu,
Chao-Yang Wang,
Bin Wang,
Yi Hu,
Jun Li,
Ming-Yang Zheng,
Bo Yao,
Zi Yan,
Da Teng,
**-Wei Jiang,
Xiao-Bing Liu,
Xiu-** Xie,
Jun Zhang,
Qing-He Mao,
Xiao Jiang,
Qiang Zhang,
Xiao-Hui Bao,
Jian-Wei Pan
Abstract:
Towards realizing the future quantum internet, a pivotal milestone entails the transition from two-node proof-of-principle experiments conducted in laboratories to comprehensive, multi-node setups on large scales. Here, we report on the debut implementation of a multi-node entanglement-based quantum network over a metropolitan area. We equipped three quantum nodes with atomic quantum memories and…
▽ More
Towards realizing the future quantum internet, a pivotal milestone entails the transition from two-node proof-of-principle experiments conducted in laboratories to comprehensive, multi-node setups on large scales. Here, we report on the debut implementation of a multi-node entanglement-based quantum network over a metropolitan area. We equipped three quantum nodes with atomic quantum memories and their telecom interfaces, and combined them into a scalable phase-stabilized architecture through a server node. We demonstrated heralded entanglement generation between two quantum nodes situated 12.5 km apart, and the storage of entanglement exceeding the round-trip communication time. We also showed the concurrent entanglement generation on three links. Our work provides a metropolitan-scale testbed for the evaluation and exploration of multi-node quantum network protocols and starts a new stage of quantum internet research.
△ Less
Submitted 31 August, 2023;
originally announced September 2023.
-
Emergent quantum probability from full quantum dynamics and the role of energy conservation
Authors:
Chen Wang,
**cheng Lu,
Jianhua Jiang
Abstract:
We propose and study a toy model for the quantum measurements that yield the Born's rule of quantum probability. In this model, the electrons interact with local photon modes and the photon modes are dissipatively coupled with local photon reservoirs. We treat the interactions of the electrons and photons with full quantum mechanical description, while the dissipative dynamics of the photon modes…
▽ More
We propose and study a toy model for the quantum measurements that yield the Born's rule of quantum probability. In this model, the electrons interact with local photon modes and the photon modes are dissipatively coupled with local photon reservoirs. We treat the interactions of the electrons and photons with full quantum mechanical description, while the dissipative dynamics of the photon modes are treated via the Lindblad master equation. By assigning double quantum dot setup for the electrons coupling with local photons and photonic reservoirs, we show that the Born's rule of quantum probability can emerge directly from microscopic quantum dynamics. We further discuss how the microscopic quantities such as the electron-photon couplings, detuning, and photon dissipation rate determine the quantum dynamics. Surprisingly, in the infinite long time measurement limit, the energy conservation already dictates the emergence of the Born's rule of quantum probability. For finite-time measurement, the local photon dissipation rate determines the characteristic time-scale for the completion of the measurement, while other microscopic quantities affect the measurement dynamics. Therefore, in genuine measurements, the measured probability is determined by both the local devices and the quantum mechanical wavefunction.
△ Less
Submitted 31 May, 2023;
originally announced June 2023.
-
Predicting RNA Secondary Structure on Universal Quantum Computer
Authors:
Ji Jiang,
Qipeng Yan,
Ye Li,
Min Lu,
Ziwei Cui,
Menghan Dou,
Qingchun Wang,
Yu-Chun Wu,
Guo-** Guo
Abstract:
It is the first step for understanding how RNA structure folds from base sequences that to know how its secondary structure is formed. Traditional energy-based algorithms are short of precision, particularly for non-nested sequences, while learning-based algorithms face challenges in obtaining high-quality training data. Recently, quantum annealer has rapidly predicted the folding of the secondary…
▽ More
It is the first step for understanding how RNA structure folds from base sequences that to know how its secondary structure is formed. Traditional energy-based algorithms are short of precision, particularly for non-nested sequences, while learning-based algorithms face challenges in obtaining high-quality training data. Recently, quantum annealer has rapidly predicted the folding of the secondary structure, highlighting that quantum computing is a promising solution to this problem. However, gate model algorithms for universal quantum computing are not available. In this paper, gate-based quantum algorithms will be presented, which are highly flexible and can be applied to various physical devices. Mapped all possible secondary structure to the state of a quadratic Hamiltonian, the whole folding process is described as a quadratic unconstrained binary optimization model. Then the model can be solved through quantum approximation optimization algorithm. We demonstrate the performance with both numerical simulation and experimental realization. Throughout our benchmark dataset, simulation results suggest that our quantum approach is comparable in accuracy to classical methods. For non-nested sequences, our quantum approach outperforms classical energy-based methods. Experimental results also indicate our method is robust in current noisy devices. It is the first instance of universal quantum algorithms being employed to tackle RNA folding problems, and our work provides a valuable model for utilizing universal quantum computers in solving RNA folding problems.
△ Less
Submitted 17 May, 2023; v1 submitted 16 May, 2023;
originally announced May 2023.
-
Sensing orbital hybridization of graphene-diamond interface with a single spin
Authors:
Yucheng Hao,
Zhi** Yang,
Zeyu Li,
Xi Kong,
Wenna Tang,
Tianyu Xie,
Shaoyi Xu,
Xiangyu Ye,
Pei Yu,
Pengfei Wang,
Ya Wang,
Zhenhua Qiao,
Libo Gao,
Jian-Hua Jiang,
Fazhan Shi,
Jiangfeng Du
Abstract:
Interfacial interactions are crucial in a variety of fields and can greatly affect the electric, magnetic, and chemical properties of materials. Among them, interface orbital hybridization plays a fundamental role in the properties of surface electrons such as dispersion, interaction, and ground states. Conventional measurements of electronic states at interfaces such as scanning tunneling microsc…
▽ More
Interfacial interactions are crucial in a variety of fields and can greatly affect the electric, magnetic, and chemical properties of materials. Among them, interface orbital hybridization plays a fundamental role in the properties of surface electrons such as dispersion, interaction, and ground states. Conventional measurements of electronic states at interfaces such as scanning tunneling microscopes are all based on electric interactions which, however, suffer from strong perturbation on these electrons. Here we unveil a new experimental detection of interface electrons based on the weak magnetic interactions between them and the nitrogen-vacancy (NV) center in diamond. With negligible perturbation on the interface electrons, their physical properties can be revealed by the NV spin coherence time. In our system, the interface interaction leads to significant decreases in both the density and coherence time of the electron spins at the diamond-graphene interface. Furthermore, together with electron spin resonance spectra and first-principle calculations, we can retrieve the effect of interface electron orbital hybridization. Our study opens a new pathway toward the microscopic probing of interfacial electronic states with weak magnetic interactions and provides a new avenue for future research on material interfaces.
△ Less
Submitted 16 May, 2023;
originally announced May 2023.
-
Quantum Entanglement with Self-stabilizing Token Ring for Fault-tolerant Distributed Quantum Computing System
Authors:
Jehn-Ruey Jiang
Abstract:
This paper shows how to construct quantum entanglement states of n qubits based on a self-stabilizing token ring algorithm. The entangled states can be applied to the fields of the quantum network, quantum Internet, distributed quantum computing, and quantum cloud. To the best of our knowledge, this is the first attempt to construct quantum entanglement based on the self-stabilizing algorithm. By…
▽ More
This paper shows how to construct quantum entanglement states of n qubits based on a self-stabilizing token ring algorithm. The entangled states can be applied to the fields of the quantum network, quantum Internet, distributed quantum computing, and quantum cloud. To the best of our knowledge, this is the first attempt to construct quantum entanglement based on the self-stabilizing algorithm. By the quantum circuit implementation based on the IBM Quantum Experience platform, it is demonstrated that the construction indeed can achieve specific n qubit entangled states, which in turn can be used to circulate a token in a quantum network or quantum Internet for building a distributed quantum computing system (DQCS). The built DQCS is fault-tolerant in the sense that it can tolerate transient faults such as occasional errors of entangled quantum states.
△ Less
Submitted 22 September, 2022;
originally announced September 2022.
-
Partial Equivalence Checking of Quantum Circuits
Authors:
Tian-Fu Chen,
Jie-Hong R. Jiang,
Min-Hsiu Hsieh
Abstract:
Equivalence checking of quantum circuits is an essential element in quantum program compilation, in which a quantum program can be synthesized into different quantum circuits that may vary in the number of qubits, initialization requirements, and output states. Verifying the equivalences among the implementation variants requires proper generality. Although different notions of quantum circuit equ…
▽ More
Equivalence checking of quantum circuits is an essential element in quantum program compilation, in which a quantum program can be synthesized into different quantum circuits that may vary in the number of qubits, initialization requirements, and output states. Verifying the equivalences among the implementation variants requires proper generality. Although different notions of quantum circuit equivalence have been defined, prior methods cannot check observational equivalence between two quantum circuits whose qubits are partially initialized, which is referred to as partial equivalence. In this work, we prove a necessary and sufficient condition for two circuits to be partially equivalent. Based on the condition, we devise algorithms for checking quantum circuits whose partial equivalence cannot be verified by prior approaches. Experiment results confirm the generality and demonstrate the efficiency and effectiveness of our method. Our result may unleash the optimization power of quantum program compilation to take more aggressive steps.
△ Less
Submitted 16 August, 2022;
originally announced August 2022.
-
Selective nuclear-spin interaction based on a dissipatively stabilized nitrogen-vacancy center
Authors:
Jiawen Jiang,
Q. Chen
Abstract:
Current typical methods to realize nuclear-nuclear quantum gates require a sequence of electronnuclear quantum gates by using dynamical decoupling techniques, which are implemented at low temperature because of short decoherence and relaxation time of the NV spin at room temperature. This limitation could be overcome by using periodical resets of an NV spin as a mediator of interaction between two…
▽ More
Current typical methods to realize nuclear-nuclear quantum gates require a sequence of electronnuclear quantum gates by using dynamical decoupling techniques, which are implemented at low temperature because of short decoherence and relaxation time of the NV spin at room temperature. This limitation could be overcome by using periodical resets of an NV spin as a mediator of interaction between two nuclear spins [Chen, Schwarz, and Plenio, 119, 010801 (2017)]. However, this method works under stringent coupling strengths condition, which makes it not applicable to heteronuclear quantum gate operations. Here we develop this scheme by using radio-frequency (RF) fields to control different nuclear spin species. Periodical resets of the NV center protect the nuclear spins from decoherence and relaxation of the NV spin. RF control provides probability to have highly selective and high fidelity quantum gates between heteronuclear spins as well as detecting nuclear spins by using a nuclear spin sensor under ambient conditions.
△ Less
Submitted 5 January, 2022;
originally announced January 2022.
-
Lower bound for the T count via unitary stabilizer nullity
Authors:
Jiaqing Jiang,
Xin Wang
Abstract:
We introduce magic measures to quantify the nonstabilizerness of multiqubit quantum gates and establish lower bounds on the $T$ count for fault-tolerant quantum computation. First, we introduce the stabilizer nullity of multi-qubit unitary, which is based on the subgroup of the quotient Pauli group associated with the unitary. This unitary stabilizer nullity extends the state-stabilizer nullity by…
▽ More
We introduce magic measures to quantify the nonstabilizerness of multiqubit quantum gates and establish lower bounds on the $T$ count for fault-tolerant quantum computation. First, we introduce the stabilizer nullity of multi-qubit unitary, which is based on the subgroup of the quotient Pauli group associated with the unitary. This unitary stabilizer nullity extends the state-stabilizer nullity by Beverland et al. to a dynamic version. In particular, we show this nonstabilizerness measure has desirable properties such as subadditivity under composition and additivity under tensor product. Second, we prove that a given unitary's stabilizer nullity is a lower bound for the $T$ count, utilizing the above properties in gate synthesis. Third, we compare the state- and the unitary-stabilizer nullity, proving that the lower bounds for the $T$ count obtained by the unitary-stabilizer nullity are never less than the state-stabilizer nullity. Moreover, we show an explicit $n$-qubit unitary family of unitary-stabilizer nullity $2n$, which implies that its $T$ count is at least $2n$. This gives an example where the bounds derived by the unitary-stabilizer nullity strictly outperform the state-stabilizer nullity by a factor of $2$. We finally showcase the advantages of unitary-stabilizer nullity in estimating the $T$ count of quantum gates with interests.
△ Less
Submitted 7 March, 2023; v1 submitted 17 March, 2021;
originally announced March 2021.
-
Physical Implementability of Linear Maps and Its Application in Error Mitigation
Authors:
Jiaqing Jiang,
Kun Wang,
Xin Wang
Abstract:
Completely positive and trace-preserving maps characterize physically implementable quantum operations. On the other hand, general linear maps, such as positive but not completely positive maps, which can not be physically implemented, are fundamental ingredients in quantum information, both in theoretical and practical perspectives. This raises the question of how well one can simulate or approxi…
▽ More
Completely positive and trace-preserving maps characterize physically implementable quantum operations. On the other hand, general linear maps, such as positive but not completely positive maps, which can not be physically implemented, are fundamental ingredients in quantum information, both in theoretical and practical perspectives. This raises the question of how well one can simulate or approximate the action of a general linear map by physically implementable operations. In this work, we introduce a systematic framework to resolve this task using the quasiprobability decomposition technique. We decompose a target linear map into a linear combination of physically implementable operations and introduce the physical implementability measure as the least amount of negative portion that the quasiprobability must pertain, which directly quantifies the cost of simulating a given map using physically implementable quantum operations. We show this measure is efficiently computable by semidefinite programs and prove several properties of this measure, such as faithfulness, additivity, and unitary invariance. We derive lower and upper bounds in terms of the Choi operator's trace norm and obtain analytic expressions for several linear maps of practical interests. Furthermore, we endow this measure with an operational meaning within the quantum error mitigation scenario: it establishes the lower bound of the sampling cost achievable via the quasiprobability decomposition technique. In particular, for parallel quantum noises, we show that global error mitigation has no advantage over local error mitigation.
△ Less
Submitted 2 December, 2021; v1 submitted 20 December, 2020;
originally announced December 2020.
-
Simulation of Quantum Computing on Classical Supercomputers
Authors:
Ya-Qian Zhao,
Ren-Gang Li,
**-Zhe Jiang,
Chen Li,
Hong-Zhen Li,
En-Dong Wang,
Wei-Feng Gong,
Xin Zhang,
Zhi-Qiang Wei
Abstract:
Simulation of quantum computing on supercomputers is a significant research topic, which plays a vital role in quantum algorithm verification, error-tolerant verification and other applications. Tensor network contraction based on density matrix is an important single-amplitude simulation strategy, but it is hard to execute on the distributed computing systems currently. In this paper, we dive dee…
▽ More
Simulation of quantum computing on supercomputers is a significant research topic, which plays a vital role in quantum algorithm verification, error-tolerant verification and other applications. Tensor network contraction based on density matrix is an important single-amplitude simulation strategy, but it is hard to execute on the distributed computing systems currently. In this paper, we dive deep into this problem, and propose a scheme based on cutting edges of undirected graphs. This scheme cuts edges of undirected graphs with large tree width to obtain many undirected subgraphs with small tree width, and these subgraphs contracted on different computing cores. The contraction results of slave cores are summarized in the master node, which is consistent with the original tensor network contraction. Thus, we can simulate the larger scale quantum circuit than single core. Moreover, it's an NP-hard problem to find the global optimum cutting edges, and we propose a search strategy based on a heuristic algorithm to approach it. In order to verify the effectiveness of our scheme, we conduct tests based on QAOA algorithm, and it can simulate 120-qubit 3-regular QAOA algorithm on 4096-core supercomputer, which greatly exceeds the simulation scale on a single core of 100-qubit.
△ Less
Submitted 28 October, 2020;
originally announced October 2020.
-
Bit-Slicing the Hilbert Space: Scaling Up Accurate Quantum Circuit Simulation to a New Level
Authors:
Yuan-Hung Tsai,
Jie-Hong R. Jiang,
Chiao-Shan Jhang
Abstract:
Quantum computing is greatly advanced in recent years and is expected to transform the computation paradigm in the near future. Quantum circuit simulation plays a key role in the toolchain for the development of quantum hardware and software systems. However, due to the enormous Hilbert space of quantum states, simulating quantum circuits with classical computers is extremely challenging despite n…
▽ More
Quantum computing is greatly advanced in recent years and is expected to transform the computation paradigm in the near future. Quantum circuit simulation plays a key role in the toolchain for the development of quantum hardware and software systems. However, due to the enormous Hilbert space of quantum states, simulating quantum circuits with classical computers is extremely challenging despite notable efforts have been made. In this paper, we enhance quantum circuit simulation in two dimensions: accuracy and scalability. The former is achieved by using an algebraic representation of complex numbers; the latter is achieved by bit-slicing the number representation and replacing matrix-vector multiplication with symbolic Boolean function manipulation. Experimental results demonstrate that our method can be superior to the state-of-the-art for various quantum circuits and can simulate certain benchmark families with up to tens of thousands of qubits.
△ Less
Submitted 17 July, 2020;
originally announced July 2020.
-
Generalization Study of Quantum Neural Network
Authors:
**Zhe Jiang,
Xin Zhang,
Chen Li,
YaQian Zhao,
RenGang Li
Abstract:
Generalization is an important feature of neural network, and there have been many studies on it. Recently, with the development of quantum compu-ting, it brings new opportunities. In this paper, we studied a class of quantum neural network constructed by quantum gate. In this model, we mapped the feature data to a quantum state in Hilbert space firstly, and then implement unitary evolution on it,…
▽ More
Generalization is an important feature of neural network, and there have been many studies on it. Recently, with the development of quantum compu-ting, it brings new opportunities. In this paper, we studied a class of quantum neural network constructed by quantum gate. In this model, we mapped the feature data to a quantum state in Hilbert space firstly, and then implement unitary evolution on it, in the end, we can get the classification result by im-plement measurement on the quantum state. Since all the operations in quan-tum neural networks are unitary, the parameters constitute a hypersphere of Hilbert space. Compared with traditional neural network, the parameter space is flatter. Therefore, it is not easy to fall into local optimum, which means the quantum neural networks have better generalization. In order to validate our proposal, we evaluated our model on three public datasets, the results demonstrated that our model has better generalization than the classical neu-ral network with the same structure.
△ Less
Submitted 29 May, 2024; v1 submitted 2 June, 2020;
originally announced June 2020.
-
General Quantum Bernoulli Factory: Framework Analysis and Experiments
Authors:
Yong Liu,
Jiaqing Jiang,
**yu Zhu,
Dongyang Wang,
Jiangfang Ding,
Xiaogang Qiang,
Anqi Huang,
** Xu,
Jialin Zhang,
Guo**g Tian,
Xiang Fu,
Mingtang Deng,
Chunqing Wu,
Xiaoming Sun,
Xuejun Yang,
Junjie Wu
Abstract:
The unremitting pursuit for quantum advantages gives rise to the discovery of a quantum-enhanced randomness processing named quantum Bernoulli factory (QBF). This quantum enhanced process can show its priority over the corresponding classical process through readily available experimental resources, thus in the near term it may be capable of accelerating the applications of classical Bernoulli fac…
▽ More
The unremitting pursuit for quantum advantages gives rise to the discovery of a quantum-enhanced randomness processing named quantum Bernoulli factory (QBF). This quantum enhanced process can show its priority over the corresponding classical process through readily available experimental resources, thus in the near term it may be capable of accelerating the applications of classical Bernoulli factories, such as the widely used sampling algorithms. In this work, we provide the framework analysis of the QBF. We thoroughly analyze the quantum state evolution in this process, discovering the field structure of the constructible quantum states. Our framework analysis shows that naturally, the previous works can be described as specific instances of this framework. Then, as a proof of principle, we experimentally demonstrate this framework via an entangled two-photon source along with a reconfigurable photonic logic, and show the advantages of the QBF over the classical model through a classically infeasible instance. These results may stimulate the discovery of advantages of the quantum randomness processing in a wider range of tasks, as well as its potential applications.
△ Less
Submitted 27 September, 2021; v1 submitted 7 February, 2020;
originally announced February 2020.
-
Optimal Space-Depth Trade-Off of CNOT Circuits in Quantum Logic Synthesis
Authors:
Jiaqing Jiang,
Xiaoming Sun,
Shang-Hua Teng,
Bujiao Wu,
Kewen Wu,
Jialin Zhang
Abstract:
Decoherence -- in the current physical implementations of quantum computers -- makes depth reduction a vital task in quantum-circuit design. Moore and Nilsson (SIAM Journal of Computing, 2001) demonstrated that additional qubits -- known as ancillae -- can be used to provide an extended space to parallelize quantum circuits. Specifically, they proved that, with $O(n^2)$ ancillae, any $n$-qubit CNO…
▽ More
Decoherence -- in the current physical implementations of quantum computers -- makes depth reduction a vital task in quantum-circuit design. Moore and Nilsson (SIAM Journal of Computing, 2001) demonstrated that additional qubits -- known as ancillae -- can be used to provide an extended space to parallelize quantum circuits. Specifically, they proved that, with $O(n^2)$ ancillae, any $n$-qubit CNOT circuit can be transformed into an equivalent one of $O(\log n)$ depth. However, the near-term quantum technologies can only support a limited amount of qubits, making space-depth trade-off a fundamental research subject for quantum-circuit synthesis.
In this work, we establish an asymptotically optimal space-depth trade-off for CNOT circuits. We prove that any $n$-qubit CNOT circuit can be parallelized to $$O\left(\max\left\{\log n, \frac{n^2}{(n+m)\log (n+m)}\right\}\right)$$ depth with $m$ ancillae. This bound is tight even if the task is expanded from exact synthesis to the approximation of CNOT circuits with arbitrary two-qubit quantum gates. Our result can be extended to stabilizer circuits via the reduction by Aaronson and Gottesman (Physical Review A, 2004). Furthermore, we provide hardness evidence for optimizing CNOT circuits in terms of size or depth. Our result has improved upon two previous papers that motivated our work. Moore-Nilsson's construction (aforementioned) for $O(\log n)$-depth CNOT circuit synthesis: We have reduced their need for ancillae by a factor of $\log^2 n$ by showing that $m= O(n^2/\log^2 n)$ additional qubits -- which is asymptotically optimal -- suffice to build equivalent $O(\log n)$-depth $O(n^2/\log n)$-size CNOT circuits. Patel-Markov-Hayes's construction (Quantum Information & Computation 2008) for $m = 0$: We have reduced their depth by a factor of $n$ and achieved the asymptotically optimal bound of $O(n/\log n)$.
△ Less
Submitted 23 September, 2022; v1 submitted 11 July, 2019;
originally announced July 2019.
-
A controllable superconducting electromechanical oscillator with a suspended membrane
Authors:
Yong-Chao Li,
Jiang-shan Tang,
Jun-Liang Jiang,
Jia-Zheng Pan,
Xin Dai,
Xing-Yu Wei,
Ya-Peng Lu,
Sheng Lu,
Xue-Cou Tu,
Hua-bing Wang,
Ke-yu Xia,
Guo-Zhu Sun,
Pei-Heng Wu
Abstract:
We fabricate a microscale electromechanical system, in which a suspended superconducting membrane, treated as a mechanical oscillator, capacitively couples to a superconducting microwave resonator. As the microwave driving power increases, nonmonotonic dependence of the resonance frequency of the mechanical oscillator on the driving power has been observed. We also demonstrate the optical switchin…
▽ More
We fabricate a microscale electromechanical system, in which a suspended superconducting membrane, treated as a mechanical oscillator, capacitively couples to a superconducting microwave resonator. As the microwave driving power increases, nonmonotonic dependence of the resonance frequency of the mechanical oscillator on the driving power has been observed. We also demonstrate the optical switching of the resonance frequency of the mechanical oscillator. Theoretical models for qualitative understanding of our experimental observations are presented. Our experiment may pave the way for the application of a mechanical oscillator with its resonance frequency controlled by the electromagnetic and/or optical fields, such as a microwave-optical interface and a controllable element in a superqubit-mechanical oscillator hybrid system.
△ Less
Submitted 28 February, 2019;
originally announced February 2019.
-
Structured decomposition for reversible Boolean functions
Authors:
Jiaqing Jiang,
Xiaoming Sun,
Yuan Sun,
Kewen Wu,
Zhiyu Xia
Abstract:
Reversible Boolean function is a one-to-one function which maps $n$-bit input to $n$-bit output. Reversible logic synthesis has been widely studied due to its relationship with low-energy computation as well as quantum computation. In this work, we give a structured decomposition for even reversible Boolean functions (RBF). Specifically, for $n\geq 6$, any even $n$-bit RBF can be decomposed to…
▽ More
Reversible Boolean function is a one-to-one function which maps $n$-bit input to $n$-bit output. Reversible logic synthesis has been widely studied due to its relationship with low-energy computation as well as quantum computation. In this work, we give a structured decomposition for even reversible Boolean functions (RBF). Specifically, for $n\geq 6$, any even $n$-bit RBF can be decomposed to $7$ blocks of $(n-1)$-bit RBF, where $7$ is a constant independent of $n$; and the positions of those blocks have large degree of freedom. Moreover, if the $(n-1)$-bit RBFs are required to be even as well, we show for $n\geq 10$, $n$-bit RBF can be decomposed to $10$ even $(n-1)$-bit RBFs. For simplicity, we say our decomposition has block depth $7$ and even block depth $10$.
Our result improves Selinger's work in block depth model, by reducing the constant from $9$ to $7$; and from $13$ to $10$ when the blocks are limited to be even. We emphasize that our setting is a bit different from Selinger's. In Selinger's constructive proof, each block is one of two specific positions and thus the decomposition has an alternating structure. We relax this restriction and allow each block to act on arbitrary $(n-1)$ bits. This relaxation keeps the block structure and provides more candidates when choosing positions of blocks.
△ Less
Submitted 20 May, 2019; v1 submitted 7 October, 2018;
originally announced October 2018.
-
Circuit complexity for free Fermion with a mass quench
Authors:
Jie Jiang,
Jieru Shan,
Jianzhi Yang
Abstract:
By using a recent approach proposed by Hackl $et\, al.$ to evaluate the complexity of the free fermionic Gaussian state, we compute the complexity of the Dirac vacuum state as well as the excited state of the Fermi system with a mass quench. First of all, we review the counting method given by Hackl $et\, al.$, and demonstrate that the result can be adapted to all of the compact transformation gro…
▽ More
By using a recent approach proposed by Hackl $et\, al.$ to evaluate the complexity of the free fermionic Gaussian state, we compute the complexity of the Dirac vacuum state as well as the excited state of the Fermi system with a mass quench. First of all, we review the counting method given by Hackl $et\, al.$, and demonstrate that the result can be adapted to all of the compact transformation group $G$. Then, we utilize this result to study the time evolution of the complexity of these states. We show that, for the rotational invariant reference state, the total complexity of the incoming vacuum state will saturate the value of the instantaneous vacuum state at the late time, with a typical timescale to achieve the final stable state. Moreover, we find that the complexity growth under the sudden quench is directly proportional to the mass difference, which shares similar behaviors with the holograph complexity growth rate in an AdS-Vaidya black hole with a shock wave, even though the dual boundary CFT is strongly coupled. Finally, we obtain some features of the excited state and the non-rotational reference state.
△ Less
Submitted 1 October, 2018;
originally announced October 2018.
-
Quantum-to-Quantum Bernoulli Factory
Authors:
Jiaqing Jiang,
Jialin Zhang,
Xiaoming Sun
Abstract:
Given a coin with unknown bias $p\in [0,1]$, can we exactly simulate another coin with bias $f(p)$? The exact set of simulable functions has been well characterized 20 years ago. In this paper, we ask the quantum counterpart of this question: Given the quantum coin $|p\rangle=\sqrt{p}|0\rangle+\sqrt{1-p}|1\rangle$, can we exactly simulate another quantum coin…
▽ More
Given a coin with unknown bias $p\in [0,1]$, can we exactly simulate another coin with bias $f(p)$? The exact set of simulable functions has been well characterized 20 years ago. In this paper, we ask the quantum counterpart of this question: Given the quantum coin $|p\rangle=\sqrt{p}|0\rangle+\sqrt{1-p}|1\rangle$, can we exactly simulate another quantum coin $|f(p)\rangle=\sqrt{f(p)}|0\rangle+\sqrt{1-f(p)}|1\rangle$? We give the full characterization of simulable quantum state $k_0(p)|0\rangle+k_1(p)|1\rangle$ from quantum coin $|p\rangle=\sqrt{p}|0\rangle+\sqrt{1-p}|1\rangle$, and present an algorithm to transform it. Surprisingly, we show that simulable sets in the quantum-to-quantum case and classical-to-classical case have no inclusion relationship with each other.
△ Less
Submitted 12 March, 2018; v1 submitted 28 December, 2017;
originally announced December 2017.
-
Quantum ergodicity and mixing and their classical limits with quantum kicked rotor
Authors:
Jialong Jiang,
Yu Chen,
Biao Wu
Abstract:
We study the ergodicity and mixing of quantum kicked rotor (QKR) with two distinct approaches. In one approach, we use the definitions of quantum ergodicity and mixing recently proposed in [Phys. Rev. E 94, 022150 (2016)], which involve only eigen-energies (Floquet quasi-energies for QKR). In the other approach, we study ergodicity and mixing with quantum Poincarè section, which is plotted with a…
▽ More
We study the ergodicity and mixing of quantum kicked rotor (QKR) with two distinct approaches. In one approach, we use the definitions of quantum ergodicity and mixing recently proposed in [Phys. Rev. E 94, 022150 (2016)], which involve only eigen-energies (Floquet quasi-energies for QKR). In the other approach, we study ergodicity and mixing with quantum Poincarè section, which is plotted with a method that maps a wave function unitarily onto quantum phase space composed of Planck cells. Classical Poincarè section can be recovered with the effective Planck constant gradually diminishing. We demonstrate that the two approaches can capture the quantum and classical characteristics of ergodicity and mixing of QKR, and give consistent results with classical model at semiclassical limit. Therefore, we establish a correspondence between quantum ergodicity (mixing) and classical ergodicity (mixing).
△ Less
Submitted 27 March, 2018; v1 submitted 12 December, 2017;
originally announced December 2017.
-
Local unitary classification for sets of generalized Bell states
Authors:
Bujiao Wu,
Jiaqing Jiang,
Jialin Zhang,
Guo**g Tian,
Xiaoming Sun
Abstract:
In this paper, we study the local unitary classification for pairs (triples) of generalized Bell states, based on the local unitary equivalence of two sets. In detail, we firstly introduce some general unitary operators which give us more local unitary equivalent sets besides Clifford operators. And then we present two necessary conditions for local unitary equivalent sets which can be used to exa…
▽ More
In this paper, we study the local unitary classification for pairs (triples) of generalized Bell states, based on the local unitary equivalence of two sets. In detail, we firstly introduce some general unitary operators which give us more local unitary equivalent sets besides Clifford operators. And then we present two necessary conditions for local unitary equivalent sets which can be used to examine the local inequivalence. Following this approach, we completely classify all of pairs in $d\otimes d$ quantum system into $\prod_{j=1}^{n} (k_{j} + 1) $ LU-inequivalent pairs when the prime factorization of $d=\prod_{j=1}^{n}p_j^{k_j}$. Moreover, all of triples in $p^α\otimes p^α$ quantum system for prime $p$ can be partitioned into $\frac{(α+ 3)}{6}p^α + O(αp^{α-1})$ LU-inequivalent triples, especially, when $α=2$ and $p>2$, there are exactly $\lfloor \frac{5}{6}p^{2}\rfloor + \lfloor \frac{p-2}{6}+(-1)^{\lfloor\frac{p}{3}\rfloor}\frac{p}{3}\rfloor + 3$ LU-inequivalent triples.
△ Less
Submitted 30 April, 2018; v1 submitted 16 November, 2017;
originally announced November 2017.
-
Quantum efficiency bound for continuous heat engines coupled to non-canonical reservoirs
Authors:
Bijay Kumar Agarwalla,
Jian-Hua Jiang,
Dvira Segal
Abstract:
We derive an efficiency bound for continuous quantum heat engines absorbing heat from squeezed thermal reservoirs. Our approach relies on a full-counting statistics description of nonequilibrium transport and it is not limited to the framework of irreversible thermodynamics. Our result, a generalized Carnot efficiency bound, is valid beyond the small squeezing and high temperature limit. Our findi…
▽ More
We derive an efficiency bound for continuous quantum heat engines absorbing heat from squeezed thermal reservoirs. Our approach relies on a full-counting statistics description of nonequilibrium transport and it is not limited to the framework of irreversible thermodynamics. Our result, a generalized Carnot efficiency bound, is valid beyond the small squeezing and high temperature limit. Our findings are embodied in a prototype three-terminal quantum photoelectric engine where a qubit converts heat absorbed from a squeezed thermal reservoir into electrical power. We demonstrate that in the quantum regime the efficiency can be greatly amplified by squeezing. From the fluctuation relation we further receive other operational measures in linear response, for example, the universal maximum power efficiency bound.
△ Less
Submitted 19 June, 2017;
originally announced June 2017.
-
A Unified Hamiltonian Solution to Maxwell-Schrodinger Equations for Modeling Electromagnetic Field-Particle Interaction
Authors:
Yongpin P. Chen,
Wei E. I. Sha,
Li Jun Jiang,
Min Meng,
Yu Mao Wu,
Weng Cho Chew
Abstract:
A novel unified Hamiltonian approach is proposed to solve Maxwell-Schrodinger equation for modeling the interaction between classical electromagnetic (EM) fields and particles. Based on the Hamiltonian of electromagnetics and quantum mechanics, a unified Maxwell-Schrodinger system is derived by the variational principle. The coupled system is well-posed and symplectic, which ensures energy conserv…
▽ More
A novel unified Hamiltonian approach is proposed to solve Maxwell-Schrodinger equation for modeling the interaction between classical electromagnetic (EM) fields and particles. Based on the Hamiltonian of electromagnetics and quantum mechanics, a unified Maxwell-Schrodinger system is derived by the variational principle. The coupled system is well-posed and symplectic, which ensures energy conserving property during the time evolution. However, due to the disparity of wavelengths of EM waves and that of electron waves, a numerical implementation of the finite-difference time-domain (FDTD) method to the multiscale coupled system is extremely challenging. To overcome this difficulty, a reduced eigenmode expansion technique is first applied to represent the wave function of the particle. Then, a set of ordinary differential equations (ODEs) governing the time evolution of the slowly-varying expansion coefficients are derived to replace the original Schrodinger equation. Finally, Maxwell's equations represented by the vector potential with a Coulomb gauge, together with the ODEs, are solved self-consistently. For numerical examples, the interaction between EM fields and a particle is investigated for both the closed, open and inhomogeneous electromagnetic systems. The proposed approach not only captures the Rabi oscillation phenomenon in the closed cavity but also captures the effects of radiative decay and shift in the open free space. After comparing with the existing theoretical approximate models, it is found that the approximate models break down in certain cases where a rigorous self-consistent approach is needed. This work is helpful for the EM simulation of emerging nanodevices or next-generation quantum electrodynamic systems.
△ Less
Submitted 25 February, 2017; v1 submitted 7 September, 2016;
originally announced September 2016.
-
Simulation of Zitterbewegung by modelling the Dirac equation in Metamaterials
Authors:
Sven Ahrens,
Jun Jiang,
Yong Sun,
Shi-Yao Zhu
Abstract:
We develop a dynamic description of an effective Dirac theory in metamaterials, in which the wavefunction is modeled by the corresponding electric and magnetic field in the metamaterial. This electro-magnetic field can be probed in the experimental setup, which means that the wavefunction of the effective theory is directly accessible by measurement. Our model is based on a plane wave expansion, w…
▽ More
We develop a dynamic description of an effective Dirac theory in metamaterials, in which the wavefunction is modeled by the corresponding electric and magnetic field in the metamaterial. This electro-magnetic field can be probed in the experimental setup, which means that the wavefunction of the effective theory is directly accessible by measurement. Our model is based on a plane wave expansion, which ravels the identification of Dirac spinors with single-frequency excitations of the electro-magnetic field in the metamaterial. The characteristic Zitterbewegung is shown to emerge in simulations of the effective theory and we verify this signature with an analytic solution.
△ Less
Submitted 30 October, 2015; v1 submitted 19 May, 2015;
originally announced May 2015.
-
Emergence of triplet orbital pairing and non-Abelian states in ultracold multi-orbital optical lattices with quadratic band touching
Authors:
Jian-Hua Jiang
Abstract:
It is found that all the {\em singlet orbital pairing} instabilities are {\em absent} in a class of spin-polarized multi-orbital systems with quadratic band touching, which opens the way for {\em triplet orbital pairing} order. The ground states are found to be {\em non-Abelian} states with p-wave orbital pairing in checkerboard (away from 1/2 filling) and kagome (above 1/3 filling) lattices with…
▽ More
It is found that all the {\em singlet orbital pairing} instabilities are {\em absent} in a class of spin-polarized multi-orbital systems with quadratic band touching, which opens the way for {\em triplet orbital pairing} order. The ground states are found to be {\em non-Abelian} states with p-wave orbital pairing in checkerboard (away from 1/2 filling) and kagome (above 1/3 filling) lattices with {\em isotropic} attractive interaction which can be realized in ultracold multi-orbital optical lattices. The special property of such systems is generalized to more classes of multi-orbital systems, where the fully-gapped {\em non-Abelian} states are possibly the ground states. Those findings are helpful in achieving topological quantum computation.
△ Less
Submitted 4 December, 2011; v1 submitted 10 October, 2011;
originally announced October 2011.
-
Non-Abelian toplogical superconductors from topological semimetals and related systems under superconducting proximity effect
Authors:
Jian-Hua Jiang,
Si Wu
Abstract:
Non-Abelian toplogical superconductors are characterized by the existence of {zero-energy} Majorana fermions bound in the quantized vortices. This is a consequence of the nontrivial bulk topology characterized by an {\em odd} Chern number. It is found that in topological semimetals with a single two-bands crossing point all the gapped superconductors are non-Abelian ones. Such a property is genera…
▽ More
Non-Abelian toplogical superconductors are characterized by the existence of {zero-energy} Majorana fermions bound in the quantized vortices. This is a consequence of the nontrivial bulk topology characterized by an {\em odd} Chern number. It is found that in topological semimetals with a single two-bands crossing point all the gapped superconductors are non-Abelian ones. Such a property is generalized to related but more generic systems which will be useful in the search of non-Abelian superconductors and Majorana fermions.
△ Less
Submitted 10 January, 2013; v1 submitted 21 July, 2011;
originally announced July 2011.
-
A Novel Clustering Algorithm Based on Quantum Games
Authors:
Qiang Li,
Yan He,
**g-** Jiang
Abstract:
Enormous successes have been made by quantum algorithms during the last decade. In this paper, we combine the quantum game with the problem of data clustering, and then develop a quantum-game-based clustering algorithm, in which data points in a dataset are considered as players who can make decisions and implement quantum strategies in quantum games. After each round of a quantum game, each pla…
▽ More
Enormous successes have been made by quantum algorithms during the last decade. In this paper, we combine the quantum game with the problem of data clustering, and then develop a quantum-game-based clustering algorithm, in which data points in a dataset are considered as players who can make decisions and implement quantum strategies in quantum games. After each round of a quantum game, each player's expected payoff is calculated. Later, he uses a link-removing-and-rewiring (LRR) function to change his neighbors and adjust the strength of links connecting to them in order to maximize his payoff. Further, algorithms are discussed and analyzed in two cases of strategies, two payoff matrixes and two LRR functions. Consequently, the simulation results have demonstrated that data points in datasets are clustered reasonably and efficiently, and the clustering algorithms have fast rates of convergence. Moreover, the comparison with other algorithms also provides an indication of the effectiveness of the proposed approach.
△ Less
Submitted 10 October, 2009; v1 submitted 3 December, 2008;
originally announced December 2008.
-
Quantum Mechanical Search and Harmonic Perturbation
Authors:
Jie-Hong R. Jiang,
Dah-Wei Chiou,
Cheng-En Wu
Abstract:
Perturbation theory in quantum mechanics studies how quantum systems interact with their environmental perturbations. Harmonic perturbation is a rare special case of time-dependent perturbations in which exact analysis exists. Some important technology advances, such as masers, lasers, nuclear magnetic resonance, etc., originated from it. Here we add quantum computation to this list with a theor…
▽ More
Perturbation theory in quantum mechanics studies how quantum systems interact with their environmental perturbations. Harmonic perturbation is a rare special case of time-dependent perturbations in which exact analysis exists. Some important technology advances, such as masers, lasers, nuclear magnetic resonance, etc., originated from it. Here we add quantum computation to this list with a theoretical demonstration. Based on harmonic perturbation, a quantum mechanical algorithm is devised to search the ground state of a given Hamiltonian. The intrinsic complexity of the algorithm is continuous and parametric in both time T and energy E. More precisely, the probability of locating a search target of a Hamiltonian in N-dimensional vector space is shown to be 1/(1+ c N E^{-2} T^{-2}) for some constant c. This result is optimal. As harmonic perturbation provides a different computation mechanism, the algorithm may suggest new directions in realizing quantum computers.
△ Less
Submitted 14 September, 2007; v1 submitted 1 February, 2007;
originally announced February 2007.
-
Superluminal propagation of an optical pulse in a Doppler broadened three-state, single channel active Raman gain medium
Authors:
K. J. Jiang,
L. Deng,
M. G. Payne
Abstract:
Using a single channel active Raman gain medium we show a $(220\pm 20)$ns advance time for an optical pulse of $τ_{FWHM}=15.4 μ$s propagating through a 10 cm medium, a lead time that is comparable to what was reported previously. In addition, we have verified experimentally all the features associated with this single channel Raman gain system. Our results show that the reported gain-assisted su…
▽ More
Using a single channel active Raman gain medium we show a $(220\pm 20)$ns advance time for an optical pulse of $τ_{FWHM}=15.4 μ$s propagating through a 10 cm medium, a lead time that is comparable to what was reported previously. In addition, we have verified experimentally all the features associated with this single channel Raman gain system. Our results show that the reported gain-assisted superluminal propagation should not be attributed to the interference between the two frequencies of the pump field.
△ Less
Submitted 22 January, 2007;
originally announced January 2007.
-
Electromagnetically induced transparency in multi-level cascade scheme of cold rubidium atoms
Authors:
J. Wang,
L. B. Kong,
K. J. Jiang,
K. Li,
X. H. Tu,
H. W. Xiong,
Yifu Zhu,
M. S. Zhan
Abstract:
We report an experimental investigation of electromagnetically induced transparency in a multi-level cascade system of cold atoms. The absorption spectral profiles of the probe light in the multi-level cascade system were observed in cold Rb-85 atoms confined in a magneto-optical trap, and the dependence of the spectral profile on the intensity of the coupling laser was investigated. The experim…
▽ More
We report an experimental investigation of electromagnetically induced transparency in a multi-level cascade system of cold atoms. The absorption spectral profiles of the probe light in the multi-level cascade system were observed in cold Rb-85 atoms confined in a magneto-optical trap, and the dependence of the spectral profile on the intensity of the coupling laser was investigated. The experimental measurements agree with the theoretical calculations based on the density matrix equations of the rubidium cascade system.
△ Less
Submitted 11 February, 2004;
originally announced February 2004.
-
Bichromatic electromagnetically induced transparency in cold rubidium atoms
Authors:
J. Wang,
Yifu Zhu,
K. J. Jiang,
M. S. Zhan
Abstract:
In a three-level atomic system coupled by two equal-amplitude laser fields with a frequency separation 2$δ$, a weak probe field exhibits a multiple-peaked absorption spectrum with a constant peak separation $δ$. The corresponding probe dispersion exhibits steep normal dispersion near the minimum absorption between the multiple absorption peaks, which leads to simultaneous slow group velocities f…
▽ More
In a three-level atomic system coupled by two equal-amplitude laser fields with a frequency separation 2$δ$, a weak probe field exhibits a multiple-peaked absorption spectrum with a constant peak separation $δ$. The corresponding probe dispersion exhibits steep normal dispersion near the minimum absorption between the multiple absorption peaks, which leads to simultaneous slow group velocities for probe photons at multiple frequencies separated by $δ$. We report an experimental study in such a bichromatically coupled three-level $Λ$ system in cold $^{87}$Rb atoms. The multiple-peaked probe absorption spectra under various experimental conditions have been observed and compared with the theoretical calculations.
△ Less
Submitted 24 December, 2003;
originally announced December 2003.