While the prominent quantum computing architectures are based on superconducting technology, new quantum hardware technologies are emerging, such as Trapped Ions, Neutral Atoms (or FPQAs), Silicon Spin Qubits, etc. This diverse set of technologies presents fundamental trade-offs in terms of scalability, performance, manufacturing, and operating expenses. To manage these diverse quantum technologies, there is a growing need for a retargetable compiler that can efficiently adapt existing code to these emerging hardware platforms. Such a retargetable compiler must be extensible to support new and rapidly evolving technologies, performant with fast compilation times and high-fidelity execution, and verifiable through rigorous equivalence checking to ensure the functional equivalence of the retargeted code. To this end, we present $Weaver$, the first extensible, performant, and verifiable retargetable quantum compiler framework with a focus on FPQAs due to their unique, promising features. $Weaver$ introduces WQASM, the first formal extension of the standard OpenQASM quantum assembly with FPQA-specific instructions to support their distinct capabilities. Next, $Weaver$ implements the WOptimizer, an extensible set of FPQA-specific optimization passes to improve execution quality. Last, the WChecker automatically checks for equivalence between the original and the retargeted code. Our evaluation shows that $Weaver$ improves compilation times by $10^3\times$, execution times by $4.4\times$, and execution fidelity by $10\%$, on average, compared to superconducting and state-of-the-art (non-retargetable) FPQA compilers.
This paper initiates a systematic study of operators arising as integrals of operator-valued functions with respect to positive operator-valued measures and utilizes these tools to provide relativization maps (Yen) for quantum reference frames (QRFs) defined on general homogeneous spaces. Properties of operator-valued integration are first studied and then employed to define general relativization maps and show their properties. The relativization maps presented here are defined for QRFs (systems of covariance) based on arbitrary homogeneous spaces of locally compact second countable topological groups and are shown to be contracting quantum channels, injective for localizable (norm-1 property) frames and multiplicative for the sharp ones (PVMs), extending the existing results.
Quantum extreme learning machines (QELMs) leverage untrained quantum dynamics to efficiently process information encoded in input quantum states, avoiding the high computational cost of training more complicated nonlinear models. On the other hand, quantum information scrambling (QIS) quantifies how the spread of quantum information into correlations makes it irretrievable from local measurements. Here, we explore the tight relation between QIS and the predictive power of QELMs. In particular, we show efficient state estimation is possible even beyond the scrambling time, for many different types of dynamics -- in fact, we show that in all the cases we studied, the reconstruction efficiency at long interaction times matches the optimal one offered by random global unitary dynamics. These results offer promising venues for robust experimental QELM-based state estimation protocols, as well as providing novel insights into the nature of QIS from a state estimation perspective.
We present a novel protocol for high-fidelity qubit state preparation and measurement (SPAM) that combines standard SPAM methods with a series of in-sequence measurements to detect and remove errors. The protocol can be applied in any quantum system with a long-lived (metastable) level and a means to detect population outside of this level without coupling to it. We demonstrate the use of the protocol for three different qubit encodings in a single trapped $^{137}\mathrm{Ba}^+$ ion. For all three, we achieve the lowest reported SPAM infidelities of $7(4) \times 10^{-6}$ (optical qubit), $5(4) \times 10^{-6}$ (metastable-level qubit), and $8(4) \times 10^{-6}$ (ground-level qubit).
The volunteer's dilemma is a well-known game in game theory that models the conflict players face when deciding whether to volunteer for a collective benefit, knowing that volunteering incurs a personal cost. In this work, we introduce a quantum variant of the classical volunteer's dilemma, generalizing it by allowing players to utilize quantum strategies. Employing the Eisert-Wilkens-Lewenstein quantization framework, we analyze a multiplayer quantum volunteer's dilemma scenario with an arbitrary number of players, where the cost of volunteering is shared equally among the volunteers. We derive analytical expressions for the players' expected payoffs and demonstrate the quantum game's advantage over the classical game. In particular, we prove that the quantum volunteer's dilemma possesses symmetric Nash equilibria with larger expected payoffs compared to the unique symmetric Nash equilibrium of the classical game, wherein players use mixed strategies. Furthermore, we show that the quantum Nash equilibria we identify are Pareto optimal. Our findings reveal distinct dynamics in volunteer's dilemma scenarios when players adhere to quantum rules, underscoring a strategic advantage of decision-making in quantum settings.
Including the effect of the molecular environment in the numerical modeling of time-resolved electronic spectroscopy remains an important challenge in computational spectroscopy. In this contribution, we present a general approach for the simulation of the optical response of multi-chromophore systems in a structured environment and its implementation as a quantum algorithm. A key step of the procedure is the pseudomode embedding of the system-environment problem resulting in a finite set of quantum states evolving according to a Markovian quantum master equation. This formulation is then solved by a collision model integrated into a quantum algorithm designed to simulate linear and nonlinear response functions. The workflow is validated by simulating spectra for the prototypical excitonic dimer interacting with fast (memoryless) and finite-memory environments. The results demonstrate, on the one hand, the potential of the pseudomode embedding for simulating the dynamical features of nonlinear spectroscopy, including lineshape, spectral diffusion, and relaxations along delay times. On the other hand, the explicit synthesis of quantum circuits provides a fully quantum simulation protocol of nonlinear spectroscopy harnessing the efficient quantum simulation of many-body dynamics promised by the future generation of fault-tolerant quantum computers.
We study the identification of quantum phases of matter, at zero temperature, when only part of the phase diagram is known in advance. Following a supervised learning approach, we show how to use our previous knowledge to construct an observable capable of classifying the phase even in the unknown region. By using a combination of classical and quantum techniques, such as tensor networks, kernel methods, generalization bounds, quantum algorithms, and shadow estimators, we show that, in some cases, the certification of new ground states can be obtained with a polynomial number of measurements. An important application of our findings is the classification of the phases of matter obtained in quantum simulators, e.g., cold atom experiments, capable of efficiently preparing ground states of complex many-particle systems and applying simple measurements, e.g., single qubit measurements, but unable to perform a universal set of gates.
Generalized parity measurements are instrumental for the preparation of non-trivial quantum states and the detection of errors in error correction codes. Here, we detail a proposal for efficient and robust generalized parity measurements based on Quantum Signal Processing. Most strikingly, given access to an evolution generated by a one-to-all coupling interaction Hamiltonian between a measurement qubit and the measured system, the desired measurement can be implemented in constant time determined only by the interaction rate. The proposed generalized parity measurement can be used to efficiently prepare high-fidelity multi-component cat states in the setting of superconducting cavity quantum electrodynamics. We benchmark the state-preparation protocol through numerical simulations with realistic system parameters. We show that a 20-component cat state with $400$ photons can be prepared with success probability $>2\%$ and a fidelity $\approx 90\%$ limited by the cavity decay and nonlinear qubit-cavity coupling rates. Our results pave the way for the realization of a wide range of useful non-classical states consisting of a large number of excitations.
Fast and accurate qubit measurement remains a critical challenge on the path to fault-tolerant quantum computing. In superconducting quantum circuits, fast qubit measurement has been achieved using a dispersively coupled resonator with a large external linewidth. This necessitates the use of a Purcell filter that protects the qubit from relaxation through the readout channel. Here we show that a readout resonator and filter resonator, coupled to each other both capacitively and inductively, can produce a compact notch-filter circuit that effectively eliminates the Purcell decay channel through destructive interference. By utilizing linewidths as large as 42 MHz, we perform 56-ns simultaneous readout of four qubits and benchmark an average assignment fidelity of 99.77%, with the highest qubit assignment fidelity exceeding 99.9%. These results demonstrate a significant advancement in speed and fidelity for multiplexed superconducting qubit readout.
Simulating physical systems with variational quantum algorithms is a well-studied approach, but it is challenging to implement in current devices due to demands in qubit number and circuit depth. We show how limited knowledge of the system, namely the entropy of its subsystems, its entanglement structure or certain symmetries, can be used to reduce the cost of these algorithms with entanglement forging. To do so, we simulate a Fermi-Hubbard one-dimensional chain with a parametrized hopping term, as well as atomic nuclei ${}^{28}$Ne and ${}^{60}$Ti with the nuclear shell model. Using an adaptive variational quantum eigensolver we find significant reductions in both the maximum number of qubits (up to one fourth) and the amount of two-qubit gates (over an order of magnitude) required in the quantum circuits. Our findings indicate that our method, entropy-driven entanglement forging, can be used to adjust quantum simulations to the limitations of noisy intermediate-scale quantum devices.
The simulation of quantum lattice gauge theories faces the major challenge of maintaining gauge invariance, as various errors in the simulation push the state of the system out of the physical subspace of the system's exponentially larger Hilbert space. This paper outlines a method, based off of previous work, that uses gauge transformations in two ways. Firstly, the method exploits the Zeno effect by conducting frequent projections to suppress gauge drift. These projections utilize local gauge transformations to destructively interfere unphysical amplitudes via coupling to an ancillary qubit while the physical amplitudes are left untouched, up to a less than unity normalization factor. Secondly, gauge transformations are conducted throughout the time evolution of the system to hamper the speed of gauge drift. This paper demonstrates this method on a pure 1D SU$(2)$ toy model.
In a recent paper [Quantum 5, 552 (2021)], the authors proposed a framework for robustly self-testing steerable quantum assemblages. In this work, we apply their method to the scenario of self-testing two-qubit entangled quantum states. The new bounds on the fidelity with the reference states are compared with other methods.
We present a geometrical way of understanding the dynamics of wavefunctions in a free space, using the phase-space formulation of quantum mechanics. By visualizing the Wigner function, the spreading, shearing, the so-called "negative probability flow" of wavefunctions, and the long-time asymptotic dispersion, are intuited visually. These results are not new, but previous derivations were analytical, whereas this paper presents elementary geometric arguments that are almost "proofs without words", and suitable for a first course in quantum mechanics.
Quantum states undergoing quantum chaotic dynamics are expected to evolve into featureless states at late times. While this expectation holds true on an average, coarse-grained level, it is unclear if this expectation applies to higher statistical moments, as symmetries typically present in physical systems constrain the exploration of phase space. Here we study the universal structure of late-time ensembles obtained from unitary dynamics in quantum chaotic systems with symmetries, such as charge or energy conservation. We identify two limiting universal regimes depending on the initial condition. When the initial state is typical -- all the moments of the symmetry operators are equal to those of pure random states -- then the late-time ensemble is indistinguishable from the Haar ensemble in the thermodynamic limit and at the level of higher statistical moments. Otherwise, atypical initial states evolve into non-universal ensembles which can be distinguished from the Haar ensemble from simple measurements or subsystem properties. Interestingly, such atypical initial conditions are not rare, even when considering product state initial conditions, and can be found in the middle of the spectrum of Hamiltonians known to be `maximally' chaotic. In the limiting case of initial states with negligible variance of the symmetry operator (e.g., states with fixed particle number or states with negligible energy variance), the late-time ensemble has universal behavior captured by constrained RMT ensembles. Our work shows that even though midspectrum states do not explore ergodically all of phase space at late times, the late-time ensemble typically -- but not always -- exhibits the same average and sample-to-sample fluctuations as the Haar ensemble.
Observable estimation is a core primitive in NISQ-era algorithms targeting quantum chemistry applications. To reduce the state preparation overhead required for accurate estimation, recent works have proposed various simultaneous measurement schemes to lower estimator variance. Two primary grouping schemes have been proposed: fully commutativity (FC) and qubit-wise commutativity (QWC), with no compelling means of interpolation. In this work we propose a generalized framework for designing and analyzing context-aware hybrid FC/QWC commutativity relations. We use our framework to propose a noise-and-connectivity aware grouping strategy: Generalized backend-Aware pauLI Commutation (GALIC). We demonstrate how GALIC interpolates between FC and QWC, maintaining estimator accuracy in Hamiltonian estimation while lowering variance by an average of 20% compared to QWC. We also explore the design space of near-term quantum devices using the GALIC framework, specifically comparing device noise levels and connectivity. We find that error suppression has a more than $13\times$ larger impact on device-aware estimator variance than qubit connectivity with even larger correlation differences in estimator biases.
The growth of the entanglement between a disjoint subsystem and its complement after a quantum quench is regarded as a dynamical chaos indicator. Namely, it is expected to show qualitatively different behaviours depending on whether the underlying microscopic dynamics is chaotic or integrable. So far, however, this could only be verified in the context of conformal field theories. Here we present an exact confirmation of this expectation in a class of interacting microscopic Floquet systems on the lattice, i.e., dual-unitary circuits. These systems can either have zero or a super extensive number of conserved charges: the latter case is achieved via fine-tuning. We show that, for almost all dual unitary circuits the asymptotic entanglement dynamics agrees with what is expected for chaotic systems. On the other hand, if we require the systems to have conserved charges, we find that the entanglement displays the qualitatively different behaviour expected for integrable systems. Interestingly, despite having many conserved charges, charge-conserving dual-unitary circuits are in general not Yang-Baxter integrable.
We propose a quantum programming paradigm where all data are familiar classical data, and the only non-classical element is a random number generator that can return results with negative probability. Currently, the vast majority of quantum programming languages instead work with quantum data types made up of qubits. The description of their behavior relies on heavy linear algebra and many interdependent concepts and intuitions from quantum physics, which takes dedicated study to understand. We demonstrate that the proposed view of quantum programming explains its central concepts and constraints in more accessible, computationally relevant terms. This is achieved by systematically reducing everything to the existence of that negative-probability random generator, avoiding mention of advanced physics as much as possible. This makes quantum programming more accessible to programmers without a deep background in physics or linear algebra. The bulk of this paper is written with such an audience in mind. As a working vehicle, we lay out a simple quantum programming language under this paradigm, showing that not only can it express all quantum programs, it also naturally captures the semantics of measurement without ever mentioning qubits or collapse. The language is proved to be implementable and universal.
Sophie Engineer, Suraj Goel, Sophie Egelhaaf, Will McCutcheon, Vatshal Srivastav, Saroch Leedumrongwatthanakun, Sabine Wollmann, Ben Jones, Thomas Cope, Nicolas Brunner, Roope Uola, Mehul Malik The use of high-dimensional systems for quantum communication opens interesting perspectives, such as increased information capacity and noise resilience. In this context, it is crucial to certify that a given quantum channel can reliably transmit high-dimensional quantum information. Here we develop efficient methods for the characterization of high-dimensional quantum channels. We first present a notion of dimensionality of quantum channels, and develop efficient certification methods for this quantity. We consider a simple prepare-and-measure setup, and provide witnesses for both a fully and a partially trusted scenario. In turn we apply these methods to a photonic experiment and certify dimensionalities up to 59 for a commercial graded-index multi-mode optical fiber. Moreover, we present extensive numerical simulations of the experiment, providing an accurate noise model for the fiber and exploring the potential of more sophisticated witnesses. Our work demonstrates the efficient characterization of high-dimensional quantum channels, a key ingredient for future quantum communication technologies.
Jie Zhou, Ming Li, Weiting Wang, Weizhou Cai, Ziyue Hua, Yifang Xu, Xiaoxuan Pan, Guangming Xue, Hongyi Zhang, Yipu Song, Haifeng Yu, Chang-Ling Zou, Luyan Sun We propose and experimentally demonstrate a novel protocol for transferring quantum states between superconducting cavities using only continuous two-mode squeezing interactions, without exchange of photonic excitations between cavities. This approach conceptually resembles quantum teleportation, where quantum information is transferred between different nodes without directly transmitting carrier photons. In contrast to the discrete operations of entanglement and Bell-state measurement in teleportation, our scheme is symmetric and continuous. We experimentally realize coherent and bidirectional transfer of arbitrary quantum states, including bosonic quantum error correction codes. Our results offer new insights into the quantum state transfer and quantum teleportation. In particular, our demonstration validates a new approach to realize quantum transducers, and might find applications in a wide range of physical platforms.
Yang-Fan Jiang, Adrian Kent, Damián Pitalúa-García, Xiaochen Yao, Xiaohan Chen, Jia Huang, George Cowperthwaite, Qibin Zheng, Hao Li, Lixing You, Yang Liu, Qiang Zhang, Jian-Wei Pan Quantum money is the first invention in quantum information science, promising advantages over classical money by simultaneously achieving unforgeability, user privacy, and instant validation. However, standard quantum money relies on quantum memories and long-distance quantum communication, which are technologically extremely challenging. Quantum "S-money" tokens eliminate these technological requirements while preserving unforgeability, user privacy, and instant validation. Here, we report the first full experimental demonstration of quantum S-tokens, proven secure despite errors, losses and experimental imperfections. The heralded single-photon source with a high system efficiency of 88.24% protects against arbitrary multi-photon attacks arising from losses in the quantum token generation. Following short-range quantum communication, the token is stored, transacted, and verified using classical bits. We demonstrate a transaction time advantage over intra-city 2.77 km and inter-city 60.54 km optical fibre networks, compared with optimal classical cross-checking schemes. Our implementation demonstrates the practicality of quantum S-tokens for applications requiring high security, privacy and minimal transaction times, like financial trading and network control. It is also the first demonstration of a quantitative quantum time advantage in relativistic cryptography, showing the enhanced cryptographic power of simultaneously considering quantum and relativistic physics.
The search for quantum algorithms to tackle classical combinatorial optimization problems has long been one of the most attractive yet challenging research topics in quantum computing. In this context, variational quantum algorithms (VQA) are a promising family of hybrid quantum-classical methods tailored to cope with the limited capability of near-term quantum hardware. However, their effectiveness is hampered by the complexity of the classical parameter optimization which is prone to getting stuck either in local minima or in flat regions of the cost-function landscape. The clever design of efficient optimization methods is therefore of fundamental importance for fully leveraging the potential of VQAs. In this work, we approach parameter optimization as a sequential decision-making problem and tackle it with an adaptation of Monte Carlo Tree Search (MCTS), a common artificial intelligence technique designed for efficiently exploring complex decision graphs. We show that leveraging regular parameter patterns deeply affects the decision-tree structure and allows for a flexible and noise-resilient optimization strategy suitable for near-term quantum devices. Our results shed further light on the interplay between artificial intelligence and quantum information and provide a valuable addition to the toolkit of variational quantum circuits.
The evolution of open quantum systems is a fundamental topic in various scientific fields. During time propagation, the environment occasionally makes measurements, forcing the system's wave function to collapse randomly. The von Neumann density matrix incorporates the statistics involved in these random processes, and its time development is often described by Markovian quantum master equations that incorporate a dissipator. For large systems, the complexity of the dissipator grows with the increasing number of possible measurements, posing conceptual and severe computational challenges. This article introduces a stochastic representation of the dissipator, using bundled measurement operators to address this complexity. Taking the Morse oscillator as an example, we demonstrate that small samples of bundled operators capture the system's dynamics. This stochastic bundling is different from the stochastic unraveling and the jump operator formalism and offers a new way of understanding quantum dissipation and decoherence.
The apparent nonunitary evolution in the black hole information paradox and recent work on describing wavefunction collapse via nonunitary nonlinear stochastic operators has motivated us to analyze whether mixed states can be distinguished from quickly oscillating pure states. We have demonstrated that the answer is no for all practical purposes if only strong nonpostselected measurements are performed. However, if weak measurements in postselected systems are used, mixed states and quickly oscillating states produce different results. An experimental procedure is proposed which could in principle determine the nature of mixed states stemming from blackbody radiation, decoherence, thermalization in solid state materials, Unruh radiation and Hawking radiation, among others. The analysis in this work applies to all fast oscillations, including those at Planck scale. As such, tabletop weak measurements can be used to probe (very specific) potential high energy behavior, where strong nonpostselected measurements cannot be applied. This work also demonstrates that weak measurements are not equivalent to a set of strong measurements without postselection since measurements which are impossible for all practical purposes need to be excluded.
Variational techniques have been recently developed to find tighter bounds on the von Neumann entropy in a completely device-independent (DI) setting. This, in turn, has led to significantly improved key rates of DI protocols, in both the asymptotic limit as well as in the finite-size regime. In this paper, we discuss two approaches towards applying these variational methods for Petz-Rényi divergences instead. We then show how this can be used to further improve the finite-size key rate of DI protocols, utilizing a fully-Rényi entropy accumulation theorem developed in a partner work. Petz-Rényi divergences can also be applied to study DI advantage distillation, in which two-way communication is used to improve the noise tolerance of quantum key distribution (QKD) protocols. We implement these techniques to derive increased noise tolerances for DIQKD protocols, which surpass all previous known bounds.
The nitrogen-vacancy (NV) center in diamond is a solid-state spin defect that has been widely adopted for quantum sensing and quantum information processing applications. Typically, experiments are performed either with a single isolated NV center or with an unresolved ensemble of many NV centers, resulting in a trade-off between measurement speed and spatial resolution or control over individual defects. In this work, we introduce an experimental platform that bypasses this trade-off by addressing multiple optically resolved NV centers in parallel. We perform charge- and spin-state manipulations selectively on multiple NV centers from within a larger set, and we manipulate and measure the electronic spin states of 10 NV centers in parallel. Further, we show that the high signal-to-noise ratio of the measurements enables the detection of shot-to-shot pairwise correlations between the spin states of 10 NV centers, corresponding to the simultaneous measurement of 45 unique correlation coefficients. We conclude by discussing how our platform can be scaled to parallel experiments with thousands of individually resolved NV centers. These results enable high-throughput experiments with individual spin defects, and provide a natural platform for the application of recently developed correlated sensing techniques.
We present an advanced quantum super-resolution imaging technique based on photon statistics measurement and its accurate modeling. Our reconstruction algorithm adapts to any kind of non-Poissonian emitters, outperforming the corresponding classical SOFI method. It offers sub-diffraction resolution improvement that scales with the $\sqrt{j}$, where $j$ is the highest order central moments of the photocounts. More remarkably, in combination with structured illumination a linear improvement with j can be reached. Through simulations and experiments, we prove our method's clear superiority over traditional SOFI, especially in low excitation light conditions, providing a promising avenue for non-invasive super-resolution microscopy of delicate samples.
We present a novel protocol to implement quantum gates between distant atomic qubits connected by an array of neutral atoms playing the role of a quantum bus. The protocol is based on adiabatically transferring the atoms in the array to an antiferromagnetic-like state of Rydberg excitations using chirped laser pulses. Upon exciting and de-exciting the atoms in the array under the blockage of nearest neighbors, depending on the state of the two qubits, the system acquires a conditional geometric $\pi$-phase, while the dynamical phase cancels exactly, even when the atomic positions are disordered but nearly frozen in time, which requires sufficiently low temperatures. For van der Waals interacting atoms, under the optimal parameters of the pulses minimizing the Rydberg-state decay and non-adiabatic errors, the gate infidelity scales with the distance $L$ and the number of atoms $N$ between the qubits as $\sim L^6/N^3$. Hence, increasing the number of atoms in the quantum bus connecting the qubits at a given spatial separation will lead to higher gate fidelity.
Based on the tensor tree network with the Born machine framework, we propose a general method for constructing a generative model by expressing the target distribution function as the quantum wave function amplitude represented by a tensor tree. The key idea is dynamically optimizing the tree structure that minimizes the bond mutual information. The proposed method offers enhanced performance and uncovers hidden relational structures in the target data. We illustrate potential practical applications with four examples: (i) random patterns, (ii) QMNIST hand-written digits, (iii) Bayesian networks, and (iv) the stock price fluctuation pattern in S&P500. In (i) and (ii), strongly correlated variables were concentrated near the center of the network; in (iii), the causality pattern was identified; and, in (iv), a structure corresponding to the eleven sectors emerged.
Determinant quantum Monte Carlo (DQMC), formulated in complex-fermion representation, has played a key role in studying strongly-correlated fermion systems. However, its applicability is limited due to the requirement of particle-number conservation after Hubbard-Stratonovich transformation. In going beyond the conventional DQMC, one encouraging development occurred when Majorana fermions were introduced for QMC [1,2]. But in previous Majorana-based QMC, Boltzmann weight is determined often with a sign ambiguity. Here we successfully resolved this ambiguity by deriving a closed-form Pfaffian formula for the weight, enabling efficient calculation of the weight with its sign in polynomial time. We call it ''Pfaffian quantum Monte Carlo'' (PfQMC), which can be applied to generic interacting fermion models. We have successfully employed PfQMC to explore how robust Majorana edge modes in Kitaev chain are against strong interactions. By offering greater flexibility, PfQMC can potentially enhance existing sign-mitigating and approximation methods and help address challenging issues such as the ground-state properties of the doped Hubbard model.
Quantum walks, mathematical models referred to as the quantum counterparts of random walks, have garnered significant attention in recent years with the advancement of quantum computing. The weak limit theorem for quantum walks, analogous to the central limit theorem for random walks, is one of the most important theorems in this field. In this study, we investigated the weak limit theorem for a two-state discrete-time quantum walk on a two-dimensional square lattice. As a result, we derived a two-dimensional probability distribution whose support is the intersection of two ellipses. The probability distribution we obtained resembles the distribution of one-dimensional quantum walks while possessing a unique form specific to two dimensions.
The problem of quantum state estimation is crucial in the development of quantum technologies. In particular, the use of symmetric quantum states is useful in many relevant applications. In this work, we analyze the task of reconstructing the density matrices of symmetric quantum states generated by a quantum processor. For this purpose, we take advantage of an estimation technique that results to be equivalent to the quantum Maximum Entropy (MaxEnt) estimation, and which was recently adapted to quantum states with arbitrary symmetries. The smart use of prior knowledge of the quantum state symmetries allows for a reduction in both, the number of measurements that need to be made on the system, and the size of the computational problem to store and process the data, resulting in a better overall performance of the estimator as well. After performing numerical simulations, we implement some examples of symmetric states in IonQ quantum processors, and estimate them using the proposed technique. The results are in a good agreement with numerical simulations, showing that the proposed method is a good estimator that allows to save both, experimental and computational resources.
Optimization of quantum circuits for a given problem is very important in order to achieve faster calculations as well as reduce errors due to noise. Optimization has to be achieved while ensuring correctness at all times. In this survey paper, recent advancements in quantum circuit optimization are explored. Both hardware independent as well as hardware dependent optimization are presented. State-of-the-art methods for optimizing quantum circuits, including analytical algorithms, heuristic algorithms, machine learning-based algorithms, and hybrid quantum-classical algorithms are discussed. Additionally, the advantages and disadvantages of each method and the challenges associated with them are highlighted. Moreover, the potential research opportunities in this field are also discussed.
One of the most important resources for quantum optical experiments and applications are on-demand highly entangled multiphoton quantum states. A promising way of generating them is heralding entanglement generation at a high rate from letting independent photons interfere. However, such schemes often work for a specific internal degree of freedom of the interfering photons only. Going to higher numbers of entangled photons, the success probabilities decrease while the number of necessary resources, e.g., auxiliary photons and optical elements, increases. To make probabilistic schemes feasible also for larger quantum states, it is therefore important to find resource-efficient generation schemes with high success probabilities. In this work, we introduce easily implementable schemes to herald qubit Greenberger-Horne-Zeilinger (GHZ) states, higher-dimensional Bell states and higher-dimensional three-party GHZ states. Our schemes solely rely on multiphoton interference, i.e., they can be adjusted to work for arbitrary degrees of freedom. Furthermore, they demonstrate high success probabilities and need comparably few auxiliary photons.
The paper describes the means to reveal and characterize slow periodic modulation of qubit frequency. Such modulation can come from different sources and can impact qubit stability. We show that the modulation leads to very sharp peaks in the power spectrum of outcomes of periodically repeated Ramsey measurements. The positions and shapes of the peaks allow finding both the frequency and the amplitude of the modulation. We also explore how additional slow fluctuations of the qubit frequency and fluctuations of the modulation frequency affect the spectrum. The analytical results are in excellent agreement with extensive simulations.
Optimizing the size and depth of CNOT circuits is an active area of research in quantum computing and is particularly relevant for circuits synthesized from the Clifford + T universal gate set. Although many techniques exist for finding short syntheses, it is difficult to assess how close to optimal these syntheses are without an exponential brute-force search. We use a novel method of categorizing CNOT gates in a synthesis to obtain a strict lower bound computable in $O(n^{\omega})$ time on the minimum number of gates needed to synthesize a given CNOT circuit, where $\omega$ denotes the matrix multiplication constant and $n$ is the number of qubits involved. Applying our framework, we prove that $3(n-1)$ gate syntheses of the $n$-cycle circuit are optimal and provide insight into their structure. We also generalize this result to permutation circuits. For linear reversible circuits with $ n = 3, 4, 5$ qubits, our lower bound is optimal for 100%, 67.7%, and 23.1% of circuits and is accurate to within one CNOT gate in 100%, 99.5%, and 83.0% of circuits respectively. We also introduce an algorithm that efficiently determines whether certain circuits can be synthesized with fewer than $n$ CNOT gates.
We develop a feedback strategy based on optimal quantum feedback control for Gaussian systems to maximise the likelihood of steady-state entanglement detection between two directly interacting masses. We employ linear quadratic Gaussian (LQG) control to engineer the phase space dynamics of the two masses and propose Einstein-Podolsky-Rosen (EPR)-type variance minimisation constraints for the feedback to facilitate unconditional entanglement generation. This scheme allows for stationary entanglement in parameter regimes where strategies based on total energy minimisation ($cooling$) would fail. This feedback strategy, applied to the system of two masses driven out-of-thermal equilibrium [arXiv:2408.06251] enables unconditional entanglement generation under realistic experimental conditions.
Recently double-bracket quantum algorithms have been proposed as a way to compile circuits for approximating eigenstates. Physically, they consist of appropriately composing evolutions under an input Hamiltonian together with diagonal evolutions. Here, we present strategies to optimize the choice of the double-bracket evolutions to enhance the diagonalization efficiency. This can be done by finding optimal generators and durations of the evolutions. We present numerical results regarding the preparation of double-bracket iterations, both in ideal cases where the algorithm's setup provides analytical convergence guarantees and in more heuristic cases, where we use an adaptive and variational approach to optimize the generators of the evolutions. As an example, we discuss the efficacy of these optimization strategies when considering a spin-chain Hamiltonian as the target. To propose algorithms that can be executed starting today, fully aware of the limitations of the quantum technologies at our disposal, we finally present a selection of diagonal evolution parametrizations that can be directly compiled into CNOTs and single-qubit rotation gates. We discuss the advantages and limitations of this compilation and propose a way to take advantage of this approach when used in synergy with other existing methods.
In this work we introduce the DODAG-X protocol for multipartite entanglement distribution in quantum networks. Leveraging the power of Destination Oriented Directed Acyclic Graphs (DODAGs), our protocol optimizes resource consumption and enhances robustness to noise in dynamic and lossy networks. Implementing a variation on the X-protocol within the DODAG, we minimize graph verification and path-finding calculations, significantly reducing computational overhead when compared to other entanglement routing schemes. Additionally, our benchmarks on grid lattice and small-world topologies reveal substantial measurement reduction compared to existing protocols. We demonstrate the success of DODAG-X for generating maximal three-party entanglement in arbitrary networks, and describe the potential for scaling to generic $n$-party entanglement. The DODAG-X protocol provides a scalable and efficient solution for entanglement routing, advancing current techniques for reliable quantum communication and network applications.
We study finite-dimensional open quantum systems whose density matrix evolves via a Lindbladian, $\dot{\rho}=-i[H,\rho]+{\mathcal D}\rho$. Here $H$ is the Hamiltonian of the isolated system and ${\mathcal D}$ is the dissipator. We consider the case where the system consists of two parts, the "boundary'' $A$ and the ``bulk'' $B$, and ${\mathcal D}$ acts only on $A$, so ${\mathcal D}={\mathcal D}_A\otimes{\mathcal I}_B$, where ${\mathcal D}_A$ acts only on part $A$, while ${\mathcal I}_B$ is the identity superoperator on part $B$. Let ${\mathcal D}_A$ be ergodic, so ${\mathcal D}_A\hat{\rho}_A=0$ only for one unique density matrix $\hat{\rho}_A$. We show that any stationary density matrix $\bar{\rho}$ on the full system which commutes with $H$ must be of the product form $\bar{\rho}=\hat{\rho}_A\otimes\rho_B$ for some $\rho_B$. This rules out finding any ${\mathcal D}_A$ that has the Gibbs measure $\rho_\beta\sim e^{-\beta H}$ as a stationary state with $\beta\neq 0$, unless there is no interaction between parts $A$ and $B$. We give criteria for the uniqueness of the stationary state $\bar{\rho}$ for systems with interactions between $A$ and $B$. Related results for non-ergodic cases are also discussed.
Determining the capacities of quantum channels is one of the fundamental problems of quantum information theory. This problem is extremely challenging and technically difficult, allowing only lower and upper bounds to be calculated for certain types of channels. In this paper, we prove that every quantum channel $\Lambda$ in arbitrary dimension, when contaminated by white noise in the form $\Lambda_x(\rho)=(1-x)\Lambda(\rho)+x\text{Tr}(\rho) \frac{I}{d}$, completely loses its capacity of transmiting quantum states when $x\geq \frac{1}{2}$, no matter what type of encoding and decoding is used. In other words, the quantum capacity of the channel vanishes in this region. To show this, we prove that the quantum depolarizing channel in $d$ dimension, defined as $\mathcal{D}_x (\rho):=(1-x)\rho+\frac{x}{d}I_d$ is anti-degradable when $x\geq \frac{1}{2}$. Although there are indirect proofs of this property, we explicitly find the quantum channel ${\cal N}_x$, which anti-degrades this channel. Furthermore, in this way, we find a new channel, namely ${\cal D}^c_x$ which is degradable in the same region. Being degradable, means that this new channel enjoys additive property for its quantum capacity.
This work presents a novel quantum system characterization and error mitigation framework that applies Pauli check sandwiching (PCS). We motivate our work with prior art in software optimizations for quantum programs like noise-adaptive mapping and multi-programming, and we introduce the concept of PCS while emphasizing design considerations for its practical use. We show that by carefully embedding Pauli checks within a target application (i.e. a quantum circuit), we can learn quantum system noise profiles. Further, PCS combined with multi-programming unlocks non-trivial fidelity improvements in quantum program outcomes.
In this paper, we study an open quantum system consisting of a qubit coupled to a harmonic oscillator subject to two-photon relaxation and demonstrate that such a system can be utilized to construct a cat qubit capable of passive error correction. To this end, we first show that the steady state of the qubit-oscillator system, described by the open quantum Rabi model with two-photon relaxation, undergoes a superradiant phase transition that breaks the strong symmetry of the Lindblad master equation. In the strong symmetry-broken phase, we show that a cat qubit can be stabilized in the steady state by tuning the qubit-oscillator coupling strength and demonstrate that passive error correction can be realized against errors due to fluctuations in the system frequencies. Our study deepens the understanding of dissipative phases in a qubit-oscillator system with strong symmetry and paves the way to utilize them for passive error correction.
We establish a framework for a mechanism steering state vector collapse through time evolution as described by the Schrödinger's equation. Under the premise of a non-Hermitian Hamiltonian dynamics, a main outcome is that collapse has to occur when the Hamiltonian completes a closed loop in the parameter space encoding the interaction with the meter. For two-level systems, we put forward the phenomenon of chiral state conversion as a mechanism effectively eliminating superpositions. Our results open a way to simulate quantum measurements in classical systems that up to now were restricted to the Schrödinger part of the quantum dynamics.
A digital currency is money in a digital form. In this model, maintaining integrity of the supply is a core concern, therefore protections against double-spending are often at the heart of a secure digital money scheme. Quantum money exploits the quantum mechanical principle of no-cloning to enable a currency that is immune to double spending. One of the challenges of the scheme is that users require technology that is currently out of reach. Here, we propose a model for quantum currency, which alleviates the need for quantum wallets by delegating quantum storage and processing to an intermediary that we call a "quantum vault". We develop the basic building blocks of this quantum-enabled digital currency and discuss its benefits and challenges.
We investigate the dependence of physical observable of open quantum systems with Bosonic bath on the bath correlation function. We provide an error estimate of the difference of physical observable induced by the variation of bath correlation function, based on diagrammatic and combinatorial arguments. This gives a mathematically rigorous justification of the result in [Mascherpa et al, Phys Rev Lett 2017].
S.-A. Guo, Y.-K. Wu, J. Ye, L. Zhang, Y. Wang, W.-Q. Lian, R. Yao, Y.-L. Xu, C. Zhang, Y.-Z. Xu, B.-X. Qi, P.-Y. Hou, L. He, Z.-C. Zhou, L.-M. Duan Quantum simulators with hundreds of qubits and engineerable Hamiltonians have the potential to explore quantum many-body models that are intractable for classical computers. However, learning the simulated Hamiltonian, a prerequisite for any applications of a quantum simulator, remains an outstanding challenge due to the fast increasing time cost with the qubit number and the lack of high-fidelity universal gate operations in the noisy intermediate-scale quantum era. Here we demonstrate the Hamiltonian learning of a two-dimensional ion trap quantum simulator with 300 qubits. We employ global manipulations and single-qubit-resolved state detection to efficiently learn the all-to-all-coupled Ising model Hamiltonian, with the required quantum resources scaling at most linearly with the qubit number. Our work paves the way for wide applications of large-scale ion trap quantum simulators.
In semiconductor-based quantum technologies, the capability to shuttle charges between components is profoundly enabling. We numerically simulated various "conveyor-belt" shuttling scenarios for simple Si/SiO2 devices, explicitly modelling the electron's wave function using grid-based split-operator methods and a time-dependent 2D potential (obtained from a Poisson solver). This allowed us to fully characterise the electron loss probability and excitation fraction. Remarkably, with as few as three independent electrodes the process can remain near-perfectly adiabatic even in the presence of pulse imperfection, nearby charge defects, and Johnson-Nyquist noise. Only a substantial density of charge defects, or defects at 'adversarial' locations, can catastrophically disrupt the charge shuttling. While we do not explicitly model the spin or valley degrees of freedom, our results from this charge propagation study support the conclusion that conveyor-belt shuttling is an excellent candidate for providing connectivity in semiconductor quantum devices.
Variational quantum algorithms and, in particular, variants of the varational quantum eigensolver have been proposed to address combinatorial optimization (CO) problems. Using only shallow ansatz circuits, these approaches are deemed suitable for current noisy intermediate-scale quantum hardware. However, the resources required for training shallow variational quantum circuits often scale superpolynomially in problem size. In this study we numerically investigate what this scaling result means in practice for solving CO problems using Max-Cut as a benchmark. For fixed resources, we compare the average performance of training a shallow variational quantum circuit, sampling with replacement, and a greedy algorithm starting from the same initial point as the quantum algorithm. We identify a minimum problem size for which the quantum algorithm can consistently outperform sampling and, for each problem size, characterize the separation between the quantum algorithm and the greedy algorithm. Furthermore, we extend the average case analysis by investigating the correlation between the performance of the algorithms by instance. Our results provide a step towards meaningful benchmarks of variational quantum algorithms for CO problems for a realistic set of resources.
We explore a large $N$ generalization of the Kitaev model on the honeycomb lattice with a simple nearest-neighbor interacting Hamiltonian. In particular, we focus on the $\mathbb{Z}_4$ case with isotropic couplings, which is characterized by an exact $\mathbb{Z}_4$ one-form symmetry. Guided by symmetry considerations and an analytical study in the single chain limit, on the infinitely long cylinders, we find the model is gapped with an extremely short correlation length. Combined with the $\mathbb{Z}_4$ one-form symmetry, this suggests the model is topologically ordered. To pin down the nature of this phase, we further study the model on both finite and infinitely long strips, where we consistently find a $c=1$ conformal field theory (CFT) description, suggesting the existence of chiral edge modes described by a free boson CFT. Further evidence is found by studying the dimer correlators on infinitely long strips. We find the dimer correlation functions show a power-law decay with the exponent close to 2 on the boundary of the strip, while decay much faster in the bulk. Combined with the topological entanglement entropy extracted from cylinder geometry, we identify the spin liquid is chiral and supports a $\mathrm{U}(1)_{-8}$ chiral topological order. A unified perspective for all $\mathbb{Z}_N$ type Kitaev models is also discussed.
Solving the electronic Schrodinger equation for strongly correlated ground states is a long-standing challenge. We present quantum algorithms for the variational optimization of wavefunctions correlated by products of unitary operators, such as Local Unitary Cluster Jastrow (LUCJ) ansatzes, using stochastic reconfiguration and the linear method. While an implementation on classical computing hardware would require exponentially growing compute cost, the cost (number of circuits and shots) of our quantum algorithms is polynomial in system size. We find that classical simulations of optimization with the linear method consistently find lower energy solutions than with the L-BFGS-B optimizer across the dissociation curves of the notoriously difficult N$_2$ and C$_2$ dimers; LUCJ predictions of the ground-state energies deviate from exact diagonalization by 1 kcal/mol or less at all points on the potential energy curve. While we do characterize the effect of shot noise on the LM optimization, these noiseless results highlight the critical but often overlooked role that optimization techniques must play in attacking the electronic structure problem (on both classical and quantum hardware), for which even mean-field optimization is formally NP hard. We also discuss the challenge of obtaining smooth curves in these strongly correlated regimes, and propose a number of quantum-friendly solutions ranging from symmetry-projected ansatz forms to a symmetry-constrained optimization algorithm.
Braneshop, and
the US National Science Foundation.
SciRate