Showing 1–31 of 31 results for author: Zhu, M

Quantum Simulations of Charge and Exciton Transfer in Multi-mode Models using Engineered Reservoirs

Authors: Visal So, Midhuna Duraisamy Suganthi, Mingjian Zhu, Abhishek Menon, George Tomaras, Roman Zhuravel, Han Pu, Peter G. Wolynes, José N. Onuchic, Guido Pagano

Abstract: Quantum simulation offers a route to study open-system molecular dynamics in non-perturbative regimes by programming the interactions among electronic, vibrational, and environmental degrees of freedom on similar energy scales. Trapped-ion systems possess this capability, with their native spins, phonons, and tunable dissipation integrated within a single platform. Here, we demonstrate an open-sys… ▽ More Quantum simulation offers a route to study open-system molecular dynamics in non-perturbative regimes by programming the interactions among electronic, vibrational, and environmental degrees of freedom on similar energy scales. Trapped-ion systems possess this capability, with their native spins, phonons, and tunable dissipation integrated within a single platform. Here, we demonstrate an open-system quantum simulation of charge and exciton transfer in a multi-mode linear vibronic coupling model (LVCM). Employing tailored spin-phonon interactions alongside reservoir engineering techniques, we emulate a system with two dissipative vibrational modes coupled to donor and acceptor electronic sites and follow its excitation transfer in real time. We continuously drive the system from the charge transfer (CT) regime to the vibrationally assisted exciton transfer (VAET) regime by tuning the vibronic coupling strengths. We find that degenerate modes enhance CT and VAET rates at large energy gaps, while non-degenerate modes activate slow-mode pathways that reduce the energy-gap dependence, thus enlarging the window for efficient transfer. These results show that the presence of just one additional vibration reshapes non-perturbative quantum excitation transfer. Our work also establishes a scalable route to simulating chemically relevant, many-mode vibronic processes with engineered environments, guiding the design of next-generation organic photovoltaics and molecular electronics. △ Less

Submitted 28 May, 2025; originally announced May 2025.

Comments: 10+7 pages, 4+6 figures, 1 table

Information-theoretically secure quantum timestamping with one-time universal hashing

Authors: Ming-Yang Li, Chen-Xun Weng, Wen-Bo Liu, Mengya Zhu, Zeng-Bing Chen

Abstract: Accurate and tamper-resistant timestamps are essential for applications demanding verifiable chronological ordering, such as legal documentation and digital intellectual property protection. Classical timestamp protocols rely on computational assumptions for security, rendering them vulnerable to quantum attacks, which is a critical limitation given the rapid progress in quantum computing. To addr… ▽ More Accurate and tamper-resistant timestamps are essential for applications demanding verifiable chronological ordering, such as legal documentation and digital intellectual property protection. Classical timestamp protocols rely on computational assumptions for security, rendering them vulnerable to quantum attacks, which is a critical limitation given the rapid progress in quantum computing. To address this, we propose an information-theoretically secure quantum timestamping protocol based on one-time universal hashing with quantum keys. Our protocol simultaneously achieves information-theoretic security and high efficiency, enabling secure timestamping for arbitrarily long documents. Simulations demonstrate a generation rate exceeding 100 timestamps per second over intercity distances. In addition, our protocol only requires weak coherent states, making it practical for large-scale deployment. This work advances the field of quantum timestamping and contributes to the broader development of quantum cryptography and the future quantum internet. △ Less

Submitted 19 May, 2025; originally announced May 2025.

Comments: 13 pages, 2 figures

Dissipation-Assisted Steady-State Entanglement Engineering based on Electron Transfer Models

Authors: Mingjian Zhu, Visal So, Guido Pagano, Han Pu

Abstract: We propose a series of dissipation-assisted entanglement generation protocols that can be implemented on a trapped-ion quantum simulator. Our approach builds on the single-site molecular electron transfer (ET) model recently realized in the experiment [So et al. Sci. Adv. 10, eads8011 (2024)]. This model leverages spin-dependent boson displacement and dissipation controlled by sympathetic cooling.… ▽ More We propose a series of dissipation-assisted entanglement generation protocols that can be implemented on a trapped-ion quantum simulator. Our approach builds on the single-site molecular electron transfer (ET) model recently realized in the experiment [So et al. Sci. Adv. 10, eads8011 (2024)]. This model leverages spin-dependent boson displacement and dissipation controlled by sympathetic cooling. We show that, when coupled to external degrees of freedom, the ET model can be used as a dissipative quantum control mechanism, enabling the precise tailoring of both spin and phonon steady state of a target sub-system. We derive simplified analytical formalisms that offer intuitive insights into the dissipative dynamics. Using realistic interactions in a trapped-ion system, we develop a protocol for generating $N$-qubit and $N$-boson $W$ states. Additionally, we generalize this protocol to realize generic $N$-qubit Dicke states with tunable excitation numbers. Finally, we outline a realistic experimental setup to implement our schemes in the presence of noise sources. △ Less

Submitted 2 April, 2025; originally announced April 2025.

Comments: 16 pages, 10 figures

Experimental Evidence of Vortex $γ$ Photons in All-Optical Inverse Compton Scattering

Authors: Mingxuan Wei, Siyu Chen, Yu Wang, Xichen Hu, Mingyang Zhu, Hao Hu, Pei-Lun He, Weijun Zhou, Jiao Jia, Li Lu, Boyuan Li, Feng Liu, Min Chen, Liming Chen, Jian-Xing Li, Wenchao Yan, Jie Zhang

Abstract: Vortex $γ$ photons carrying orbital angular momenta (OAM) hold great potential for various applications. However, their generation remains a great challenge. Here, we successfully generate sub-MeV vortex $γ$ photons via all-optical inverse Compton scattering of relativistic electrons colliding with a sub-relativistic Laguerre-Gaussian laser. In principle, directly measuring the OAM of $γ$ photons… ▽ More Vortex $γ$ photons carrying orbital angular momenta (OAM) hold great potential for various applications. However, their generation remains a great challenge. Here, we successfully generate sub-MeV vortex $γ$ photons via all-optical inverse Compton scattering of relativistic electrons colliding with a sub-relativistic Laguerre-Gaussian laser. In principle, directly measuring the OAM of $γ$ photons is challenging due to their incoherence and extremely short wavelength. Therein, we put forward a novel method to determine the OAM properties by revealing the quantum opening angle of vortex $γ$ photons, since vortex particles exhibit not only a spiral phase but also transverse momentum according to the quantum electrodynamics theory. Thus,$γ$ photons carrying OAM anifest a much larger angular distribution than those without OAM, which has been clearly observed in our experiments. This angular expansion is considered as an overall effect lying beyond classical theory. Our method provides the first experimental evidence for detecting vortex $γ$ photons and opens a new perspective for investigating OAM-induced quantum phenomena in broad fields. △ Less

Submitted 24 March, 2025; originally announced March 2025.

Comments: 8 pages, 4 figures

Monogamy-of-entanglement-inspired protocol to quantify bipartite entanglement using spin squeezing

Authors: Diego Fallas Padilla, Mingjian Zhu, Han Pu

Abstract: Quantum entanglement is an essential resource for quantum science and technology. However, entanglement detection and quantification, via typical entanglement measures such as linear entanglement entropy or negativity, can be a very challenging task. Here we propose a protocol to detect bipartite entanglement in a system of $N$ qubits inspired by the concept of monogamy of entanglement, where, giv… ▽ More Quantum entanglement is an essential resource for quantum science and technology. However, entanglement detection and quantification, via typical entanglement measures such as linear entanglement entropy or negativity, can be a very challenging task. Here we propose a protocol to detect bipartite entanglement in a system of $N$ qubits inspired by the concept of monogamy of entanglement, where, given a total system in a pure state with some bipartite entanglement between two subsystems, subsequent unitary evolution and measurement of one of the subsystems may be used to quantify the entanglement between the two. To address the difficulty of detection, we propose to use spin squeezing to quantify the entanglement within the individual subsystem. Knowing that the relation between spin squeezing and some entanglement measures is not one-to-one, we give some suggestions on how a judicious choice of squeezing Hamiltonian can lead to better results in our protocol. For systems with a small number of qubits, we derive analytical results and show how our protocol can work optimally for GHZ states. For larger systems, we show how the accuracy of the protocol can be improved by a proper choice of the squeezing Hamiltonian. Our protocol presents an alternative for entanglement detection in platforms where state tomography is inaccessible or hard to perform. Additionally, the ideas presented here can be extended beyond spin-only systems to expand their applicability. △ Less

Submitted 19 April, 2025; v1 submitted 4 December, 2024; originally announced December 2024.

Comments: 12 pages, 9 figures

Phase-controlled bound states in giant atom waveguide QED setup

Authors: Xiaojun Zhang, Mingjie Zhu, Zhihai Wang

Abstract: We find the phase-controlled bound state out of the continuum~(BOC) and bound state in the continuum~(BIC) in an artificial giant atom dressed one-dimensional photonic waveguide where the giant atom couples to the waveguide via two distant sites. We obtain the existence condition of the BOC as well as the frequency and the photonic distribution in the BIC. More interestingly, we predict the quantu… ▽ More We find the phase-controlled bound state out of the continuum~(BOC) and bound state in the continuum~(BIC) in an artificial giant atom dressed one-dimensional photonic waveguide where the giant atom couples to the waveguide via two distant sites. We obtain the existence condition of the BOC as well as the frequency and the photonic distribution in the BIC. More interestingly, we predict the quantum beats in the atomic and photonic dynamical evolution, which is induced by the oscillation between the BIC and the BOCs. These findings provide an approach to manipulate the waveguide system via the bound states. △ Less

Submitted 19 October, 2024; v1 submitted 13 June, 2024; originally announced June 2024.

Comments: 8 pages, 5 figures, comments are welcomed

Trapped-Ion Quantum Simulation of Electron Transfer Models with Tunable Dissipation

Authors: Visal So, Midhuna Duraisamy Suganthi, Abhishek Menon, Mingjian Zhu, Roman Zhuravel, Han Pu, Peter G. Wolynes, José N. Onuchic, Guido Pagano

Abstract: Electron transfer is at the heart of many fundamental physical, chemical, and biochemical processes essential for life. The exact simulation of these reactions is often hindered by the large number of degrees of freedom and by the essential role of quantum effects. Here, we experimentally simulate a paradigmatic model of molecular electron transfer using a multispecies trapped-ion crystal, where t… ▽ More Electron transfer is at the heart of many fundamental physical, chemical, and biochemical processes essential for life. The exact simulation of these reactions is often hindered by the large number of degrees of freedom and by the essential role of quantum effects. Here, we experimentally simulate a paradigmatic model of molecular electron transfer using a multispecies trapped-ion crystal, where the donor-acceptor gap, the electronic and vibronic couplings, and the bath relaxation dynamics can all be controlled independently. By manipulating both the ground-state and optical qubits, we observe the real-time dynamics of the spin excitation, measuring the transfer rate in several regimes of adiabaticity and relaxation dynamics. Our results provide a testing ground for increasingly rich models of molecular excitation transfer processes that are relevant for molecular electronics and light-harvesting systems. △ Less

Submitted 3 January, 2025; v1 submitted 16 May, 2024; originally announced May 2024.

Journal ref: Science Advances 10, eads8011 (2024)

High coherence fluxonium manufactured with a wafer-scale uniformity process

Authors: Fei Wang, Kannan Lu, Huijuan Zhan, Lu Ma, Feng Wu, Hantao Sun, Hao Deng, Yang Bai, Feng Bao, Xu Chang, Ran Gao, Xun Gao, Guicheng Gong, Lijuan Hu, Ruizi Hu, Honghong Ji, Xizheng Ma, Liyong Mao, Zhijun Song, Chengchun Tang, Hongcheng Wang, Tenghui Wang, Ziang Wang, Tian Xia, Hongxin Xu , et al. (10 additional authors not shown)

Abstract: Fluxonium qubits are recognized for their high coherence times and high operation fidelities, attributed to their unique design incorporating a superinductor, which is typically implemented using an array of over 100 Josephson junctions. However, this complexity poses significant fabrication challenges, particularly in achieving high yield and junction uniformity with traditional methods. Here, we… ▽ More Fluxonium qubits are recognized for their high coherence times and high operation fidelities, attributed to their unique design incorporating a superinductor, which is typically implemented using an array of over 100 Josephson junctions. However, this complexity poses significant fabrication challenges, particularly in achieving high yield and junction uniformity with traditional methods. Here, we introduce an overlap process for Josephson junction fabrication that achieves nearly 100% yield and maintains uniformity across a 2-inch wafer with less than 5% variation for the phase slip junction and less than 2% for the entire junction array. We use a compact junction array design that achieves state-of-the-art dielectric loss tangents and flux noise levels, as confirmed by multiple devices. This enables fluxonium qubits to reach energy relaxation times exceeding 1 millisecond at the flux frustration point. This work paves the way for scalable high coherence fluxonium processors using CMOS-compatible processes, marking a significant step towards practical quantum computing. △ Less

Submitted 30 April, 2025; v1 submitted 8 May, 2024; originally announced May 2024.

Journal ref: Phys. Rev. Applied 23, 044064 (2025)

The Quantum Abstract Machine

Authors: Liyi Li, Le Chang, Rance Cleaveland, Mingwei Zhu, Xiaodi Wu

Abstract: This paper develops a model of quantum behavior that is intended to support the abstract yet accurate design and functional verification of quantum communication protocols. The work is motivated by the need for conceptual tools for the development of quantum-communication systems that are usable by non-specialists in quantum physics while also correctly capturing at a useful abstraction the underl… ▽ More This paper develops a model of quantum behavior that is intended to support the abstract yet accurate design and functional verification of quantum communication protocols. The work is motivated by the need for conceptual tools for the development of quantum-communication systems that are usable by non-specialists in quantum physics while also correctly capturing at a useful abstraction the underlying quantum phenomena. Our approach involves defining a quantum abstract machine (QAM) whose operations correspond to well-known quantum circuits; these operations, however, are given direct abstract semantics in a style similar to that of Berry's and Boudol's Chemical Abstract Machine. This paper defines the QAM's semantics and shows via examples how it may be used to model and reason about existing quantum communication protocols. △ Less

Submitted 20 February, 2024; originally announced February 2024.

Ecmas: Efficient Circuit Mapping and Scheduling for Surface Code

Authors: Mingzheng Zhu, Hao Fu, Jun Wu, Chi Zhang, Wei Xie, Xiang-Yang Li

Abstract: As the leading candidate of quantum error correction codes, surface code suffers from significant overhead, such as execution time. Reducing the circuit's execution time not only enhances its execution efficiency but also improves fidelity. However, finding the shortest execution time is NP-hard. In this work, we study the surface code mapping and scheduling problem. To reduce the execution time… ▽ More As the leading candidate of quantum error correction codes, surface code suffers from significant overhead, such as execution time. Reducing the circuit's execution time not only enhances its execution efficiency but also improves fidelity. However, finding the shortest execution time is NP-hard. In this work, we study the surface code mapping and scheduling problem. To reduce the execution time of a quantum circuit, we first introduce two novel metrics: Circuit Parallelism Degree and Chip Communication Capacity to quantitatively characterize quantum circuits and chips. Then, we propose a resource-adaptive mapping and scheduling method, named Ecmas, with customized initialization of chip resources for each circuit. Ecmas can dramatically reduce the execution time in both double defect and lattice surgery models. Furthermore, we provide an additional version Ecmas-ReSu for sufficient qubits, which is performance-guaranteed and more efficient. Extensive numerical tests on practical datasets show that Ecmas outperforms the state-of-the-art methods by reducing the execution time by 51.5% on average for double defect model. Ecmas can reach the optimal result in most benchmarks, reducing the execution time by up to 13.9% for lattice surgery model. △ Less

Submitted 23 December, 2023; originally announced December 2023.

Comments: 12 pages, Accepted to IEEE/ACM International Symposium on Code Generation and Optimization

Multi-parameter quantum metrology with stabilized multi-mode squeezed state

Authors: Yue Li, Xu Cheng, Lingna Wang, Xingyu Zhao, Waner Hou, Yi Li, Kamran Rehan, Mingdong Zhu, Lin Yan, Xi Qin, Xinhua Peng, Haidong Yuan, Yiheng Lin, Jiangfeng Du

Abstract: Squeezing a quantum state along a specific direction has long been recognized as a crucial technique for enhancing the precision of quantum metrology by reducing parameter uncertainty. However, practical quantum metrology often involves the simultaneous estimation of multiple parameters, necessitating the use of high-quality squeezed states along multiple orthogonal axes to surpass the standard qu… ▽ More Squeezing a quantum state along a specific direction has long been recognized as a crucial technique for enhancing the precision of quantum metrology by reducing parameter uncertainty. However, practical quantum metrology often involves the simultaneous estimation of multiple parameters, necessitating the use of high-quality squeezed states along multiple orthogonal axes to surpass the standard quantum limit for all relevant parameters. In addition, a temporally stabilized squeezed state can provide an event-ready probe for parameters, regardless of the initial state, and robust to the timing of the state preparation process once stabilized. In this work, we generate and stabilize a two-mode squeezed state along two secular motional modes in a vibrating trapped ion with reservoir engineering, despite starting from a thermal state of the motion. Leveraging this resource, we demonstrate an estimation of two simultaneous collective displacements along the squeezed axes, achieving improvements surpassing the classical limit by up to 6.9(3) and 7.0(3) decibels (dB), respectively. Our demonstration can be readily scaled to squeezed states with even more modes. The practical implications of our findings span a wide range of applications, including quantum sensing, quantum imaging, and various fields that demand precise measurements of multiple parameters. △ Less

Submitted 16 December, 2023; originally announced December 2023.

Nearest neighbor synthesis of CNOT circuits on general quantum architectures

Authors: Xinyu Chen, Mingqiang Zhu, Xueyun Cheng, Zhijin Guan, Shiguang Feng, Pengcheng Zhu

Abstract: NISQ devices have inherent limitations in terms of connectivity and hardware noise. The synthesis of CNOT circuits considers the physical constraints and transforms quantum algorithms into low-level quantum circuits that can execute on physical chips correctly. In the current trend, quantum chip architectures without Hamiltonian paths are gradually replacing architectures with Hamiltonian paths du… ▽ More NISQ devices have inherent limitations in terms of connectivity and hardware noise. The synthesis of CNOT circuits considers the physical constraints and transforms quantum algorithms into low-level quantum circuits that can execute on physical chips correctly. In the current trend, quantum chip architectures without Hamiltonian paths are gradually replacing architectures with Hamiltonian paths due to their scalability and low-noise characteristics. To this end, this paper addresses the nearest neighbor synthesis of CNOT circuits in the architectures with and without Hamiltonian paths, aiming to enhance the fidelity of the circuits after execution. Firstly, a key-qubit priority mapping model for general quantum architectures is proposed. Secondly, the initial mapping is further improved by using tabu search to reduce the number of CNOT gates after circuit synthesis and enhance its fidelity. Finally, the noise-aware CNOT circuit nearest neighbor synthesis algorithm for the general architecture is proposed based on the key-qubit priority mapping model. The algorithm is demonstrated on several popular cloud quantum computing platforms and simulators, showing that it effectively optimizes the fidelity of CNOT circuits compared with mainstream methods. Moreover, the method can be extended to more general circuits, thereby improving the overall performance of quantum computing on NISQ devices. △ Less

Submitted 31 May, 2025; v1 submitted 1 October, 2023; originally announced October 2023.

Native approach to controlled-Z gates in inductively coupled fluxonium qubits

Authors: Xizheng Ma, Gengyan Zhang, Feng Wu, Feng Bao, Xu Chang, Jianjun Chen, Hao Deng, Ran Gao, Xun Gao, Lijuan Hu, Honghong Ji, Hsiang-Sheng Ku, Kannan Lu, Lu Ma, Liyong Mao, Zhijun Song, Hantao Sun, Chengchun Tang, Fei Wang, Hongcheng Wang, Tenghui Wang, Tian Xia, Make Ying, Huijuan Zhan, Tao Zhou , et al. (5 additional authors not shown)

Abstract: The fluxonium qubits have emerged as a promising platform for gate-based quantum information processing. However, their extraordinary protection against charge fluctuations comes at a cost: when coupled capacitively, the qubit-qubit interactions are restricted to XX-interactions. Consequently, effective XX- or XZ-interactions are only constructed either by temporarily populating higher-energy stat… ▽ More The fluxonium qubits have emerged as a promising platform for gate-based quantum information processing. However, their extraordinary protection against charge fluctuations comes at a cost: when coupled capacitively, the qubit-qubit interactions are restricted to XX-interactions. Consequently, effective XX- or XZ-interactions are only constructed either by temporarily populating higher-energy states, or by exploiting perturbative effects under microwave driving. Instead, we propose and demonstrate an inductive coupling scheme, which offers a wide selection of native qubit-qubit interactions for fluxonium. In particular, we leverage a built-in, flux-controlled ZZ-interaction to perform qubit entanglement. To combat the increased flux-noise-induced dephasing away from the flux-insensitive position, we use a continuous version of the dynamical decoupling scheme to perform noise filtering. Combining these, we demonstrate a 20 ns controlled-Z (CZ) gate with a mean fidelity of 99.53%. More than confirming the efficacy of our gate scheme, this high-fidelity result also reveals a promising but rarely explored parameter space uniquely suitable for gate operations between fluxonium qubits. △ Less

Submitted 30 August, 2023; originally announced August 2023.

Journal ref: Phys. Rev. Lett. 132, 060602 (2024)

Quantivine: A Visualization Approach for Large-scale Quantum Circuit Representation and Analysis

Authors: Zhen Wen, Yihan Liu, Siwei Tan, Jieyi Chen, Minfeng Zhu, Dongming Han, Jianwei Yin, Mingliang Xu, Wei Chen

Abstract: Quantum computing is a rapidly evolving field that enables exponential speed-up over classical algorithms. At the heart of this revolutionary technology are quantum circuits, which serve as vital tools for implementing, analyzing, and optimizing quantum algorithms. Recent advancements in quantum computing and the increasing capability of quantum devices have led to the development of more complex… ▽ More Quantum computing is a rapidly evolving field that enables exponential speed-up over classical algorithms. At the heart of this revolutionary technology are quantum circuits, which serve as vital tools for implementing, analyzing, and optimizing quantum algorithms. Recent advancements in quantum computing and the increasing capability of quantum devices have led to the development of more complex quantum circuits. However, traditional quantum circuit diagrams suffer from scalability and readability issues, which limit the efficiency of analysis and optimization processes. In this research, we propose a novel visualization approach for large-scale quantum circuits by adopting semantic analysis to facilitate the comprehension of quantum circuits. We first exploit meta-data and semantic information extracted from the underlying code of quantum circuits to create component segmentations and pattern abstractions, allowing for easier wrangling of massive circuit diagrams. We then develop Quantivine, an interactive system for exploring and understanding quantum circuits. A series of novel circuit visualizations are designed to uncover contextual details such as qubit provenance, parallelism, and entanglement. The effectiveness of Quantivine is demonstrated through two usage scenarios of quantum circuits with up to 100 qubits and a formal user evaluation with quantum experts. A free copy of this paper and all supplemental materials are available at https://osf.io/2m9yh/?view_only=0aa1618c97244f5093cd7ce15f1431f9. △ Less

Submitted 18 July, 2023; originally announced July 2023.

Comments: Accepted by IEEE VIS 2023

Journal ref: IEEE Transactions on Visualization and Computer Graphics, 2023

Quantum Circuit AutoEncoder

Authors: Jun Wu, Hao Fu, Mingzheng Zhu, Haiyue Zhang, Wei Xie, Xiang-Yang Li

Abstract: Quantum autoencoder is a quantum neural network model for compressing information stored in quantum states. However, one needs to process information stored in quantum circuits for many tasks in the emerging quantum information technology. In this work, generalizing the ideas of classical and quantum autoencoder, we introduce the model of Quantum Circuit AutoEncoder (QCAE) to compress and encode i… ▽ More Quantum autoencoder is a quantum neural network model for compressing information stored in quantum states. However, one needs to process information stored in quantum circuits for many tasks in the emerging quantum information technology. In this work, generalizing the ideas of classical and quantum autoencoder, we introduce the model of Quantum Circuit AutoEncoder (QCAE) to compress and encode information within quantum circuits. We provide a comprehensive protocol for QCAE and design a variational quantum algorithm, varQCAE, for its implementation. We theoretically analyze this model by deriving conditions for lossless compression and establishing both upper and lower bounds on its recovery fidelity. Finally, we apply varQCAE to three practical tasks and numerical results show that it can effectively (1) compress the information within quantum circuits, (2) detect anomalies in quantum circuits, and (3) mitigate the depolarizing noise in quantum devices. This suggests that our algorithm is potentially applicable to other information processing tasks for quantum circuits. △ Less

Submitted 30 October, 2023; v1 submitted 17 July, 2023; originally announced July 2023.

Comments: 13 pages, 7 figures

Journal ref: Phys. Rev. A 109, 032623 (2024)

Nanophotonic cavity cooling of a single atom

Authors: Chenwei Lv, Ming Zhu, Sambit Banerjee, Chen-Lung Hung

Abstract: We investigate external and internal dynamics of a two-level atom strongly coupled to a weakly pumped nanophotonic cavity. We calculate the dipole force, friction force, and stochastic force due to the cavity pump field, and show that a three-dimensional cooling region exists near the surface of a cavity. Using a two-color evanescent field trap as an example, we perform three-dimensional Monte-Car… ▽ More We investigate external and internal dynamics of a two-level atom strongly coupled to a weakly pumped nanophotonic cavity. We calculate the dipole force, friction force, and stochastic force due to the cavity pump field, and show that a three-dimensional cooling region exists near the surface of a cavity. Using a two-color evanescent field trap as an example, we perform three-dimensional Monte-Carlo simulations to demonstrate efficient loading of single atoms into a trap by momentum diffusion, and the stability of cavity cooling near the trap center. Our analyses show that cavity cooling can be a promising method for directly loading cold atoms from free-space into a surface micro-trap. We further discuss the impact of pump intensity on atom trapping and loading efficiency. △ Less

Submitted 10 April, 2023; originally announced April 2023.

Comments: 14 pages, 11 figures, 1 table

Qafny: A Quantum-Program Verifier

Authors: Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu

Abstract: Because of the probabilistic/nondeterministic behavior of quantum programs, it is highly advisable to verify them formally to ensure that they correctly implement their specifications. Formal verification, however, also traditionally requires significant effort. To address this challenge, we present Qafny, an automated proof system based on the program verifier Dafny and designed for verifying qua… ▽ More Because of the probabilistic/nondeterministic behavior of quantum programs, it is highly advisable to verify them formally to ensure that they correctly implement their specifications. Formal verification, however, also traditionally requires significant effort. To address this challenge, we present Qafny, an automated proof system based on the program verifier Dafny and designed for verifying quantum programs. At its core, Qafny uses a type-guided quantum proof system that translates quantum operations to classical array operations modeled within a classical separation logic framework. We prove the soundness and completeness of our proof system and implement a prototype compiler that transforms Qafny programs and specifications into Dafny for automated verification purposes. We then illustrate the utility of Qafny's automated capabilities in efficiently verifying important quantum algorithms, including quantum-walk algorithms, Grover's algorithm, and Shor's algorithm. △ Less

Submitted 8 July, 2024; v1 submitted 11 November, 2022; originally announced November 2022.

Comments: Version 5

Journal ref: ECOOP 2024

Preserving multi-level quantum coherence by dynamical decoupling

Authors: Xinxing Yuan, Yue Li, Mengxiang Zhang, Chang Liu, Mingdong Zhu, Xi Qin, Nikolay V. Vitanov, Yiheng Lin, Jiangfeng Du

Abstract: Quantum information processing with multi-level systems (qudits) provides additional features and applications than the two-level systems. However, qudits are more prone to dephasing and dynamical decoupling for qudits has never been experimentally demonstrated. Here, as a proof-of-principle demonstration, we experimentally apply dynamical decoupling to protect superpositions with three levels of… ▽ More Quantum information processing with multi-level systems (qudits) provides additional features and applications than the two-level systems. However, qudits are more prone to dephasing and dynamical decoupling for qudits has never been experimentally demonstrated. Here, as a proof-of-principle demonstration, we experimentally apply dynamical decoupling to protect superpositions with three levels of a trapped $^9\rm{Be}^+$ ion from ambient noisy magnetic field, prolonging coherence by up to approximately an order of magnitude. Our demonstration, straightforwardly scalable to more levels, may open up a path toward long coherence quantum memory, metrology and information processing with qudits. △ Less

Submitted 1 March, 2022; originally announced March 2022.

Comments: 6 pages, 7 figures

Journal ref: Phys. Rev. A 106, 022412 (2022)

Observation of spin-tensor induced topological phase transitions of triply degenerate points with a trapped ion

Authors: Mengxiang Zhang, Xinxing Yuan, Xi-Wang Luo, Chang Liu, Yue Li, Mingdong Zhu, Xi Qin, Yiheng Lin, Jiangfeng Du

Abstract: Triply degenerate points (TDPs), which correspond to new types of topological semimetals, can support novel quasiparticles possessing effective integer spins while preserving Fermi statistics. Here by mapping the momentum space to the parameter space of a three-level system in a trapped ion, we experimentally explore the transitions between different types of TDPs driven by spin-tensor--momentum c… ▽ More Triply degenerate points (TDPs), which correspond to new types of topological semimetals, can support novel quasiparticles possessing effective integer spins while preserving Fermi statistics. Here by mapping the momentum space to the parameter space of a three-level system in a trapped ion, we experimentally explore the transitions between different types of TDPs driven by spin-tensor--momentum couplings. We observe the phase transitions between TDPs with different topological charges by measuring the Berry flux on a loop surrounding the gap-closing lines, and the jump of the Berry flux gives the jump of the topological charge (up to a $2π$ factor) across the transitions. For the Berry flux measurement, we employ a new method by examining the geometric rotations of both spin vectors and tensors, which lead to a generalized solid angle equal to the Berry flux. The controllability of multi-level ion offers a versatile platform to study high-spin physics and our work paves the way to explore novel topological phenomena therein. △ Less

Submitted 25 January, 2022; originally announced January 2022.

Comments: 9 pages, 10 figures

Journal ref: Phys. Rev. Lett. 129, 250501 (2022)

Experimental Demonstration of Swift Analytical Universal Control over Nearby Transitions

Authors: Yue Li, Zhi-Cheng He, Xinxing Yuan, Mengxiang Zhang, Chang Liu, Yi-Xuan Wu, Mingdong Zhu, Xi Qin, Zheng-Yuan Xue, Yiheng Lin, Jiangfeng Du

Abstract: Along with the scaling of dimensions in quantum systems, transitions between the system's energy levels would become close in frequency, which are conventionally resolved by weak and lengthy pulses. Here, we extend and experimentally demonstrate analytically based swift quantum control techniques on a four-level trapped ion system, where we perform individual or simultaneous control over two pairs… ▽ More Along with the scaling of dimensions in quantum systems, transitions between the system's energy levels would become close in frequency, which are conventionally resolved by weak and lengthy pulses. Here, we extend and experimentally demonstrate analytically based swift quantum control techniques on a four-level trapped ion system, where we perform individual or simultaneous control over two pairs of spectrally nearby transitions with tailored time-varied drive, achieving operational fidelities ranging from 99.2(3)\% to 99.6(3)\%. Remarkably, we achieve approximately an order of magnitude speed up comparing with the case of weak square pulse for a general control. Therefore, our demonstration may be beneficial to a broad range of quantum systems with crowded spectrum, for spectroscopy, quantum information processing and quantum simulation. △ Less

Submitted 17 January, 2022; originally announced January 2022.

Comments: 9 pages, 5 figures

Journal ref: Phys. Rev. Applied 18, 034047 (2022)

Efficiently-coupled microring circuit for on-chip cavity QED with trapped atoms

Authors: Tzu-Han Chang, Xinchao Zhou, Ming Zhu, Brian M. Fields, Chen-Lung Hung

Abstract: We present a complete fabrication study of an efficiently-coupled microring optical circuit tailored for cavity quantum electrodynamics (QED) with trapped atoms. The microring structures are fabricated on a transparent membrane with high in-vacuum fiber edge-coupling efficiency in a broad frequency band. In addition, a bus waveguide pulley coupler realizes critical coupling to the microrings at bo… ▽ More We present a complete fabrication study of an efficiently-coupled microring optical circuit tailored for cavity quantum electrodynamics (QED) with trapped atoms. The microring structures are fabricated on a transparent membrane with high in-vacuum fiber edge-coupling efficiency in a broad frequency band. In addition, a bus waveguide pulley coupler realizes critical coupling to the microrings at both of the cesium D-line frequencies, while high coupling efficiency is achieved at the cesium 'magic' wavelengths for creating a lattice of two-color evanescent field traps above a microring. The presented platform holds promises for realizing a robust atom-nanophotonics hybrid quantum device. △ Less

Submitted 22 October, 2020; v1 submitted 10 August, 2020; originally announced August 2020.

Comments: 6 pages, 4 figures

Journal ref: Appl. Phys. Lett. 117, 174001 (2020)

Machine learning study of the relationship between the geometric and entropy discord

Authors: Qin-Sheng Zhu, Xiao-Yu Li, Ming-Zheng Zhu, Yi-Ming Huang, Hao Wu, Shao-Yi Wu

Abstract: As an important resource to realize quantum information, quantum correlation displays different behaviors, freezing phenomenon and non-localization, which are dissimilar to the entanglement and classical correlation, respectively. In our setup, the ordering of quantum correlation is represented for different quantization methods by considering an open quantum system scenario. The machine learning… ▽ More As an important resource to realize quantum information, quantum correlation displays different behaviors, freezing phenomenon and non-localization, which are dissimilar to the entanglement and classical correlation, respectively. In our setup, the ordering of quantum correlation is represented for different quantization methods by considering an open quantum system scenario. The machine learning method (neural network method) is then adopted to train for the construction of a bridge between the Rènyi discord ($α=2$) and the geometric discord (Bures distance) for $X$ form states. Our results clearly demonstrate that the machine learning method is useful for studying the differences and commonalities of different quantizing methods of quantum correlation. △ Less

Submitted 6 December, 2018; v1 submitted 19 July, 2018; originally announced July 2018.

The freezing Rènyi quantum discord

Authors: Xiao-Yu Li, Qin-Sheng Zhu, Ming-Zheng Zhu, Hao Wu, Shao-Yi Wu, Ming-Chuan Zhu

Abstract: As a universal quantum character of quantum correlation, the freezing phenomenon is researched by geometry and quantum discord methods, respectively. In this paper, the properties of R`enyi discord is studied for two independent Dimer System coupled to two correlated Fermi-spin environments under the non-Markovian condition. We further demonstrate that the freezing behaviors still exist for R`enyi… ▽ More As a universal quantum character of quantum correlation, the freezing phenomenon is researched by geometry and quantum discord methods, respectively. In this paper, the properties of R`enyi discord is studied for two independent Dimer System coupled to two correlated Fermi-spin environments under the non-Markovian condition. We further demonstrate that the freezing behaviors still exist for R`enyi discord and study the effects of different parameters on this behaviors. △ Less

Submitted 8 April, 2018; originally announced April 2018.

Comments: 6 pages, 5 figures

Phase transitions and spin excitations of spin-1 bosons in optical lattice

Authors: Min-Jie Zhu, Bo Zhao

Abstract: We investigate ground state properties of spin-1 bosonic system trapped in optical lattice with extended standard basis operator (SBO) method. For both ferromagnetic ($U_2<0$) and antiferromagnetic ($U_2>0$) systems, we analytically figure out the symmetry properties in Mott-insulator and superfluid phases, which would provide a deeper insight into the MI-SF phase transition process. Then by apply… ▽ More We investigate ground state properties of spin-1 bosonic system trapped in optical lattice with extended standard basis operator (SBO) method. For both ferromagnetic ($U_2<0$) and antiferromagnetic ($U_2>0$) systems, we analytically figure out the symmetry properties in Mott-insulator and superfluid phases, which would provide a deeper insight into the MI-SF phase transition process. Then by applying self-consistent approach to the method, we include the effect of quantum and thermal fluctuations and derive the MI-SF transition phase diagram, which is in quantitative agreement with recent Monte-Carlo simulation at zero temperature, and at finite temperature, we find the underestimation of finite-temperature-effect in the mean-field approximation method. If we further consider the spin excitations in the insulating states of spin-1 system in external field, distinct spin phases are expected. Therefore, in the Mott lobes with $n=1$ and $n=2$ atoms per site, we give analytical and numerical boundaries of the singlet, nematic, partially magnetic and ferromagnetic phases in the magnetic phase diagrams. △ Less

Submitted 1 June, 2017; v1 submitted 24 May, 2017; originally announced May 2017.

Comments: 14 pages, 6 figures

Spin-Orbit Interactions in Electronic Structure Quantum Monte Carlo

Authors: Cody A. Melton, Minyi Zhu, Shi Guo, Alberto Ambrosetti, Francesco Pederiva, Lubos Mitas

Abstract: We develop generalization of the fixed-phase diffusion Monte Carlo method for Hamiltonians which explicitly depend on particle spins such as for spin-orbit interactions. The method is formulated in zero variance manner and is similar to treatment of nonlocal operators in commonly used static- spin calculations. Tests on atomic and molecular systems show that it is very accurate, on par with the fi… ▽ More We develop generalization of the fixed-phase diffusion Monte Carlo method for Hamiltonians which explicitly depend on particle spins such as for spin-orbit interactions. The method is formulated in zero variance manner and is similar to treatment of nonlocal operators in commonly used static- spin calculations. Tests on atomic and molecular systems show that it is very accurate, on par with the fixed-node method. This opens electronic structure quantum Monte Carlo methods to a vast research area of quantum phenomena in which spin-related interactions play an important role. △ Less

Submitted 23 March, 2016; v1 submitted 27 October, 2015; originally announced October 2015.

Comments: Version 3: Some text additions. Results and conclusions unchanged. 5 pages, 2 figures

Journal ref: Phys. Rev. A 93, 042502 (2016)

Quantum walks on embedded hypercubes

Authors: Adi Makmal, Manran Zhu, Daniel Manzano, Markus Tiersch, Hans J. Briegel

Abstract: It has been proved by Kempe that discrete quantum walks on the hypercube (HC) hit exponentially faster than the classical analog. The same was also observed numerically by Krovi and Brun for a slightly different property, namely, the expected hitting time. Yet, to what extent this striking result survives in more general graphs, is to date an open question. Here we tackle this question by studying… ▽ More It has been proved by Kempe that discrete quantum walks on the hypercube (HC) hit exponentially faster than the classical analog. The same was also observed numerically by Krovi and Brun for a slightly different property, namely, the expected hitting time. Yet, to what extent this striking result survives in more general graphs, is to date an open question. Here we tackle this question by studying the expected hitting time for quantum walks on HCs that are embedded into larger symmetric structures. By performing numerical simulations of the discrete quantum walk and deriving a general expression for the classical hitting time, we observe an exponentially increasing gap between the expected classical and quantum hitting times, not only for walks on the bare HC, but also for a large family of embedded HCs. This suggests that the quantum speedup is stable with respect to such embeddings. △ Less

Submitted 20 September, 2013; originally announced September 2013.

Comments: 21 pages, 10 figures

Journal ref: Phys. Rev. A 90, 022314 (2014)

Experimental Quantum Computing to Solve Systems of Linear Equations

Authors: X. -D. Cai, Christian Weedbrook, Z. -E. Su, M. -C. Chen, Mile Gu, M. -J. Zhu, L. Li, N. -L. Liu, Chao-Yang Lu, Jian-Wei Pan

Abstract: Solving linear systems of equations is ubiquitous in all areas of science and engineering. With rapidly growing data sets, such a task can be intractable for classical computers, as the best known classical algorithms require a time proportional to the number of variables N. A recently proposed quantum algorithm shows that quantum computers could solve linear systems in a time scale of order log(N… ▽ More Solving linear systems of equations is ubiquitous in all areas of science and engineering. With rapidly growing data sets, such a task can be intractable for classical computers, as the best known classical algorithms require a time proportional to the number of variables N. A recently proposed quantum algorithm shows that quantum computers could solve linear systems in a time scale of order log(N), giving an exponential speedup over classical computers. Here we realize the simplest instance of this algorithm, solving 2*2 linear equations for various input vectors on a quantum computer. We use four quantum bits and four controlled logic gates to implement every subroutine required, demonstrating the working principle of this algorithm. △ Less

Submitted 3 June, 2013; v1 submitted 18 February, 2013; originally announced February 2013.

Comments: accepted version, to appear in Physical Review Letters

Quantum motion on a torus as a submanifold problem in a generalized Dirac's theory of second-class constraints

Authors: D. M. Xun, Q. H. Liu, X. M. Zhu

Abstract: A generalization of the Dirac's canonical quantization theory for a system with second-class constraints is proposed as the fundamental commutation relations that are constituted by all commutators between positions, momenta and Hamiltonian so they are simultaneously quantized in a self-consistent manner, rather than by those between merely positions and momenta so the theory either contains redun… ▽ More A generalization of the Dirac's canonical quantization theory for a system with second-class constraints is proposed as the fundamental commutation relations that are constituted by all commutators between positions, momenta and Hamiltonian so they are simultaneously quantized in a self-consistent manner, rather than by those between merely positions and momenta so the theory either contains redundant freedoms or conflicts with experiments. The application of the generalized theory to quantum motion on a torus leads to two remarkable results: i) The theory formulated purely on the torus, i.e., based on the so-called the purely intrinsic geometry, conflicts with itself. So it provides an explanation why an intrinsic examination of quantum motion on torus within the Schrodinger formalism is improper. ii) An extrinsic examination of the torus as a submanifold in three dimensional flat space turns out to be self-consistent and the resultant momenta and Hamiltonian are satisfactory all around. △ Less

Submitted 11 February, 2013; v1 submitted 27 December, 2012; originally announced December 2012.

Comments: 10 pages, no figure, typos added, introduction rewritten

Journal ref: Ann. Phys. 338(2013)123

Truly random number generation via entropy amplification

Authors: Yu Liu, Mingyi Zhu, Hong Guo

Abstract: We present a simple setup to implement truly random number generator based on the measurement of the laser phase noise. From the entropy point of view, we estimate the number of truly random bits that can be extracted from the sampled Byte. With a simple method of adopting the $m$-least-significant-bit, we amplify the entropy of the original bit sequence and realize a truly random bit generation r… ▽ More We present a simple setup to implement truly random number generator based on the measurement of the laser phase noise. From the entropy point of view, we estimate the number of truly random bits that can be extracted from the sampled Byte. With a simple method of adopting the $m$-least-significant-bit, we amplify the entropy of the original bit sequence and realize a truly random bit generation rate of $300$ Mbps. △ Less

Submitted 17 June, 2010; originally announced June 2010.

Comments: 9 pages, 4 figures

Non-Markovian dynamics without using quantum trajectory

Authors: Chengjun Wu, Yang Li, Mingyi Zhu, Hong Guo

Abstract: Open quantum system interacting with structured environment is important and manifests non- Markovian behavior, which was conventionally studied using quantum trajectory stochastic method. In this paper, by dividing the effects of the environment into two parts, we propose a deterministic method without using quantum trajectory. This method is more efficient and accurate than stochastic method in… ▽ More Open quantum system interacting with structured environment is important and manifests non- Markovian behavior, which was conventionally studied using quantum trajectory stochastic method. In this paper, by dividing the effects of the environment into two parts, we propose a deterministic method without using quantum trajectory. This method is more efficient and accurate than stochastic method in most Markovian and non-Markovian cases. We also extend this method to the generalized Lindblad master equation. △ Less

Submitted 22 January, 2011; v1 submitted 3 December, 2009; originally announced December 2009.

Comments: 4 pages, 2 figures

Non-Markovian Dynamics of Entanglement for Multipartite Systems

Authors: Jiang Zhou, Chengjun Wu, Mingyi Zhu, Hong Guo

Abstract: Entanglement dynamics for a couple of two-level atoms interacting with independent structured reservoirs is studied using a non-perturbative approach. It is shown that the revival of atom entanglement is not necessarily accompanied by the sudden death of reservoir entanglement, and vice versa. In fact, atom entanglement can revive before, simultaneously or even after the disentanglement of reser… ▽ More Entanglement dynamics for a couple of two-level atoms interacting with independent structured reservoirs is studied using a non-perturbative approach. It is shown that the revival of atom entanglement is not necessarily accompanied by the sudden death of reservoir entanglement, and vice versa. In fact, atom entanglement can revive before, simultaneously or even after the disentanglement of reservoirs. Using a novel method based on the population analysis for the excited atomic state, we present the quantitative criteria for the revival and death phenomena. For giving a more physically intuitive insight, the quasimode Hamiltonian method is applied. Our quantitative analysis is helpful for the practical engineering of entanglement. △ Less

Submitted 6 September, 2009; v1 submitted 10 April, 2009; originally announced April 2009.

Comments: 10 pages and 4 figures