We take initial steps towards a general framework for constructing logical gates in general quantum CSS codes. Viewing CSS codes as cochain complexes, we observe that cohomology invariants naturally give rise to diagonal logical gates. We show that such invariants exist if the quantum code has a structure that relaxes certain properties of a differential graded algebra. We show how to equip quantum codes with such a structure by defining cup products on CSS codes. The logical gates obtained from this approach can be implemented by a constant-depth unitary circuit. In particular, we construct a $\Lambda$-fold cup product that can produce a logical operator in the $\Lambda$-th level of the Clifford hierarchy on $\Lambda$ copies of the same quantum code, which we call the copy-cup gate. For any desired $\Lambda$, we can construct several families of quantum codes that support gates in the $\Lambda$-th level with various asymptotic code parameters.
Quantum state tomography is the fundamental physical task of learning a complete classical description of an unknown state of a quantum system given coherent access to many identical samples of it. The complexity of this task is commonly characterised by its sample-complexity: the minimal number of samples needed to reach a certain target precision of the description. While the sample complexity of quantum state tomography has been well studied, the memory complexity has not been investigated in depth. Indeed, the bottleneck in the implementation of naïve sample-optimal quantum state tomography is its massive quantum memory requirements. In this work, we propose and analyse a quantum state tomography algorithm which retains sample-optimality but is also memory-efficient. Our work is built on a form of unitary Schur sampling and only requires streaming access to the samples.
We present the first computationally-efficient algorithm for average-case learning of shallow quantum circuits with many-qubit gates. Specifically, we provide a quasi-polynomial time and sample complexity algorithm for learning unknown QAC$^0$ circuits -- constant-depth circuits with arbitrary single-qubit gates and polynomially many $CZ$ gates of unbounded width -- up to inverse-polynomially small error. Furthermore, we show that the learned unitary can be efficiently synthesized in poly-logarithmic depth. This work expands the family of efficiently learnable quantum circuits, notably since in finite-dimensional circuit geometries, QAC$^0$ circuits require polynomial depth to implement.
The study of undecidability in problems arising from physics has experienced a renewed interest, mainly in connection with quantum information problems. The goal of this review is to survey this recent development. After a historical introduction, we first explain the necessary results about undecidability in mathematics and computer science. Then we briefly review the first results about undecidability in physics which emerged mostly in the 80s and early 90s. Finally we focus on the most recent contributions, which we divide in two main categories: many body systems and quantum information problems.
The ZX calculus is a graphical language for representing and rewriting quantum circuits. While its graphical rewrite rules preserve semantics, they may not preserve other features. For example, applying rewrites to a circuit that implements an error-correcting code can change its distance. Here, we define the notion of distance-preserving rewrites that enables the transformation of error-correcting codes without changing their distance. Using these rewrites, we propose an algorithm that transforms a high-weight Pauli measurement into an equivalent quantum circuit with only single- and two-qubit operations. Since we only use distance-preserving rewrites, we guarantee that errors in the low-weight implementation do not propagate to create multiple data errors. Going further, we generalise the Floquetification procedure of [arXiv:2308.15489] to arbitrary stabiliser codes. Given a stabiliser code, we synthesise a new quantum error-correcting code which encodes the same number of qubits with at least the same distance. The number of additional qubits this method requires is linearly dependent on the weight or the largest Pauli measurement. This creates a tradeoff between easily implementable low-weight Pauli measurements at the cost of additional physical qubits.
In this short note we show that the ensemble $\{O \vert 0\rangle \langle 0 \vert O^\top \ \vert \ O \in \mathbb{O(d)}\}$, where $O$ is drawn from the Haar measure on $\mathbb{O}(d)$ cannot be distinguished from $t$ copies of a Haar random state unless $t = \Omega(\sqrt{d})$. Our proof has the benefit of exactly computing the trace distance, which scales as $\Theta(t^2/d)$ for $t = O(\sqrt{d})$, between the moments as well as being surprisingly short. Lastly, we show that twirling certain states with orthogonal matrices yields exact $t=3$ designs, yet the same cannot be true for $t>3$.
This paper introduces a method for calculating the quantum relative entropy of channels, an essential quantity in quantum channel discrimination and resource theories of quantum channels. By building on recent developments in the optimization of relative entropy for quantum states [Kossmann and Schwonnek, arXiv:2404.17016], we introduce a discretized linearization of the integral representation for the relative entropy for states, enabling us to handle maximization tasks of the relative entropy of a channel over input states. Our approach here extends previous work on minimizing relative entropy to the more complicated domain of maximization. It also provides efficiently computable upper and lower bounds that sandwich the true value with any desired precision, leading to a practical method for computing the relative entropy of channels.
Simulating time evolution under quantum Hamiltonians is one of the most natural applications of quantum computers. We introduce TE-PAI, which simulates time evolution exactly by sampling random quantum circuits for the purpose of estimating observable expectation values at the cost of an increased circuit repetition. The approach builds on the Probabilistic Angle Interpolation (PAI) technique and we prove that it simulates time evolution without discretisation or algorithmic error while achieving optimally shallow circuit depths that saturate the Lieb-Robinson bound. Another significant advantage of TE-PAI is that it only requires executing random circuits that consist of Pauli rotation gates of only two kinds of rotation angles $\pm\Delta$ and $\pi$, along with measurements. While TE-PAI is highly beneficial for NISQ devices, we additionally develop an optimised early fault-tolerant implementation using catalyst circuits and repeat-until-success teleportation, concluding that the approach requires orders of magnitude fewer T-states than conventional techniques, such as Trotterization -- we estimate $3 \times 10^{5}$ T states are sufficient for the fault-tolerant simulation of a $100$-qubit Heisenberg spin Hamiltonian. Furthermore, TE-PAI allows for a highly configurable trade-off between circuit depth and measurement overhead by adjusting the rotation angle $\Delta$ arbitrarily. We expect that the approach will be a major enabler in the late NISQ and early fault-tolerant periods as it can compensate circuit-depth and qubit-number limitations through an increased circuit repetition.
We consider the problem of shared randomness-assisted multiple access channel (MAC) simulation for product inputs and characterize the one-shot communication cost region via almost-matching inner and outer bounds in terms of the smooth max-information of the channel, featuring auxiliary random variables of bounded size. The achievability relies on a rejection-sampling algorithm to simulate an auxiliary channel between each sender and the decoder, and producing the final output based on the output of these intermediate channels. The converse follows via information-spectrum based arguments. To bound the cardinality of the auxiliary random variables, we employ the perturbation method from [Anantharam et al., IEEE Trans. Inf. Theory (2019)] in the one-shot setting. For the asymptotic setting and vanishing errors, our result expands to a tight single-letter rate characterization and consequently extends a special case of the simulation results of [Kurri et al., IEEE Trans. Inf. Theory (2022)] for fixed, independent and identically distributed (iid) product inputs to universal simulation for any product inputs. We broaden our discussion into the quantum realm by studying feedback simulation of quantum-to-classical (QC) MACs with product measurements [Atif et al., IEEE Trans. Inf. Theory (2022)]. For fixed product inputs and with shared randomness assistance, we give a quasi tight one-shot communication cost region with corresponding single-letter asymptotic iid expansion.
High-fidelity mid-circuit measurements, which read out the state of specific qubits in a multiqubit processor without destroying them or disrupting their neighbors, are a critical component for useful quantum computing. They enable fault-tolerant quantum error correction, dynamic circuits, and other paths to solving classically intractable problems. But there are almost no methods to assess their performance comprehensively. We address this gap by introducing the first randomized benchmarking protocol that measures the rate at which mid-circuit measurements induce errors in many-qubit circuits. Using this protocol, we detect and eliminate previously undetected measurement-induced crosstalk in a 20-qubit trapped-ion quantum computer. Then, we use the same protocol to measure the rate of measurement-induced crosstalk error on a 27-qubit IBM Q processor, and quantify how much of that error is eliminated by dynamical decoupling.
We study the query complexity analogue of the class TFNP of total search problems. We give a way to convert partial functions to total search problems under certain settings; we also give a way to convert search problems back into partial functions. As an application, we give new separations for degree-like measures. We give an exponential separation between quantum query complexity and approximate degree for a total search problem. We also give an exponential separation between approximate degree and the positive quantum adversary for a total search problem. We then strengthen the former separation to upper bound a larger measure: the two-sided approximate non-negative degree, also called the conical junta degree. This measure is often larger than quantum query complexity and even a separation from randomized query complexity was not known. We extend our results to communication complexity, and obtain an exponential separation between quantum information complexity and the relaxed partition bound for a total search problem. Even a weaker separation between randomized communication complexity and the relaxed partition bound was not known for total search problems (or even for partial functions). Most of our separations for total search problems can be converted to separations for partial functions. Using this, we reprove the recent exponential separation between quantum query complexity and approximate degree for a partial function by Ambainis and Belovs (2023), among other new results.
This paper is about the epistemology of quantum theory. We establish a new result about a limitation to knowledge of its central object -- the quantum state of the universe. We show that, if the universal quantum state can be assumed to be a typical unit vector from a high-dimensional subspace of Hilbert space (such as the subspace defined by a low-entropy macro-state as prescribed by the Past Hypothesis), then no observation can determine (or even just narrow down significantly) which vector it is. Typical state vectors, in other words, are observationally indistinguishable from each other. Our argument is based on a typicality theorem from quantum statistical mechanics. We also discuss how theoretical considerations that go beyond the empirical evidence might bear on this fact and on our knowledge of the universal quantum state.
Channel resolvability concerns the minimum resolution for approximating the channel output. We study the resolvability of classical-quantum channels in two settings, for the channel output generated from the worst input, and form the fixed independent and identically distributed (i.i.d.) input. The direct part of the worst-input setting is derived from sequential hypothesis testing as it involves of non-i.i.d.~inputs. The strong converse of the worst-input setting is obtained via the connection to identification codes. For the fixed-input setting, while the direct part follows from the known quantum soft covering result, we exploit the recent alternative quantum Sanov theorem to solve the strong converse.
How much cryptographically-secure randomness can be extracted from a quantum state? This fundamental question probes the absolute limits of quantum random number generation (QRNG) and yet, despite the technological maturity of QRNGs, it remains unsolved. In this work we consider a general adversarial model that allows for an adversary who has quantum side-information about both the source and the measurement device. Using links between randomness extraction rates and sandwiched Rényi entropies, we provide compact, easy to compute, achievable rates of secure randomness extraction from quantum states. In turn, this provides a simple to evaluate benchmarking tool for the randomness generation rates of QRNG protocols.
Classical public-key cryptography standards rely on the Rivest-Shamir-Adleman (RSA) encryption protocol. The security of this protocol is based on the exponential computational complexity of the most efficient classical algorithms for factoring large semiprime numbers into their two prime components. Here, we attack RSA factorization building on Schnorr's mathematical framework where factorization translates into a combinatorial optimization problem. We solve the optimization task via tensor network methods, a quantum-inspired classical numerical technique. This tensor network Schnorr's sieving algorithm displays numerical evidence of a polynomial scaling of the resources with the bit-length of the semiprime. We factorize RSA numbers up to 100 bits encoding the optimization problem in quantum systems with up to 256 qubits. Only the high-order polynomial scaling of the required resources limits the factorization of larger numbers. Although these results do not currently undermine the security of the present communication infrastructure, they strongly highlight the urgency of implementing post-quantum cryptography or quantum key distribution.
Daniel Gonzalez-Cuadra, Majd Hamdan, Torsten V. Zache, Boris Braverman, Milan Kornjaca, Alexander Lukin, Sergio H. Cantu, Fangli Liu, Sheng-Tao Wang, Alexander Keesling, Mikhail D. Lukin, Peter Zoller, Alexei Bylinskii Lattice gauge theories (LGTs) describe a broad range of phenomena in condensed matter and particle physics. A prominent example is confinement, responsible for bounding quarks inside hadrons such as protons or neutrons. When quark-antiquark pairs are separated, the energy stored in the string of gluon fields connecting them grows linearly with their distance, until there is enough energy to create new pairs from the vacuum and break the string. While such phenomena are ubiquitous in LGTs, simulating the resulting dynamics is a challenging task. Here, we report the observation of string breaking in synthetic quantum matter using a programmable quantum simulator based on neutral atom arrays. We show that a (2+1)D LGT with dynamical matter can be efficiently implemented when the atoms are placed on a Kagome geometry, with a local U(1) symmetry emerging from the Rydberg blockade, while long-range Rydberg interactions naturally give rise to a linear confining potential for a pair of charges, allowing us to tune both their masses as well as the string tension. We experimentally map out the corresponding phase diagram by adiabatically preparing the ground state of the atom array in the presence of defects, and observe substructure of the confined phase, distinguishing regions dominated by fluctuating strings or by broken string configurations. Finally, by harnessing local control over the atomic detuning, we quench string states and observe string breaking dynamics exhibiting a many-body resonance phenomenon. Our work paves a way to explore phenomena in high-energy physics using programmable quantum simulators.
Fault-tolerant fusion-based photonic quantum computing (FBQC) greatly relies on entangling two-photon measurements, called fusions. These fusions can be realized using linear-optical projective Bell-state measurements (BSMs). These linear-optical BSMs are limited to a success probability of 50%, greatly reducing the performance of FBQC schemes. To improve the performance of FBQC architectures, a boosted BSM scheme taking advantage of ancillary entangled photon pairs and a 4x4 multiport interferometer has been proposed. This scheme allows the success probability to be increased up to 75%. In this work, we experimentally demonstrate this boosted BSM by using two Sagnac photon-pair sources and a fibre-based 4x4 multiport beam splitter. A boosted BSM success probability of $(69.3\pm0.3)\%$ has been achieved, exceeding the 50% limit. Furthermore, based on our BSMs, we calculate photon-loss thresholds for a fusion network using encoded six-ring resource states. We show that with this boosted BSM scheme an individual photon loss probability of 1.4% can be tolerated, while the non-boosted BSM leads to a photon-loss threshold of 0.45%.
We show that in the operational setting of a two-agent, local operations, classical communication (LOCC) protocol, Alice and Bob cannot operationally distinguish monogamous entanglement from a topological identification of points in their respective local spacetimes, i.e. that ER = EPR can be recovered as an operational theorem. Our construction immediately implies that in this operational setting, the local topology of spacetime is observer-relative. It also provides a simple demonstration of the non-traversability of ER bridges. As our construction does not depend on an embedding geometry, it generalizes previous geometric approaches to ER = EPR.
Hubert C. George, Mateusz T. Mądzik, Eric M. Henry, Andrew J. Wagner, Mohammad M. Islam, Felix Borjans, Elliot J. Connors, Joelle Corrigan, Matthew Curry, Michael K. Harper, Daniel Keith, Lester Lampert, Florian Luthi, Fahd A. Mohiyaddin, Sandra Murcia, Rohit Nair, Rambert Nahm, Aditi Nethwewala, Samuel Neyens, Roy D. Raharjo, et al (10) Intels efforts to build a practical quantum computer are focused on developing a scalable spin-qubit platform leveraging industrial high-volume semiconductor manufacturing expertise and 300 mm fabrication infrastructure. Here, we provide an overview of the design, fabrication, and demonstration of a new customized quantum test chip, which contains 12-quantum-dot spin-qubit linear arrays, code named Tunnel Falls. These devices are fabricated using immersion and extreme ultraviolet lithography (EUV), along with other standard high-volume manufacturing (HVM) processes, as well as production-level process control. We present key device features and fabrication details, as well as qubit characterization results confirming device functionality. These results corroborate our fabrication methods and are a crucial step towards scaling of extensible 2D qubit array schemes.
The surprisingly long-lasting oscillations observed in the dynamics of highly excited states of chains of Rydberg atoms defy the expectation that interacting systems should thermalize fast. The phenomenon is reminiscent of wavepackets in quantum billiards that trace classical periodic orbits. While analogs of the associated scarred eigenfunctions have been found for Rydberg chains, an underlying classical limit hosting periodic orbits has remained elusive. Here we generalize the Rydberg (pseudospin $S=1/2$) system to a chain of arbitrary spin $S$. Its classical limit features unexpectedly stable periodic orbits that are essential to understand the emergence of robust, parametrically suppressed quantum chaoticity, with semi-classical coherence times diverging as $\sqrt{S}$. The classical limit successfully explains several empirical features of the quantum limit.
Bosonic codes enable the protection and correction of quantum information in a single continuous variable system. In this paper, we propose a systematic framework to engineer bosonic code states for fault-tolerant quantum computing based on Floquet Hamiltonian engineering. We construct the target Hamiltonian directly from the target state and engineer the codes states with an adiabatic ramp protocol. We introduce a new universal set of quantum lattice gate composed of only one type of gate element, and develop a systematic decomposition of complex code state preparation and transformation processes into sequences of quantum lattice gates. We apply our method to three basic code states engineering processes, including single code state preparation, code space embedding and transformation. We also discuss the automatic quantum error correction against photon loss with four-legged cat codes. Our proposal is particularly well-suited for superconducting circuit architectures with Josephson junctions, where the full nonlinearity of Josephson junction potential is harnessed as a quantum resource.
Till Huckemann, Pascal Muster, Wolfram Langheinrich, Varvara Brackmann, Michael Friedrich, Laura K. Diebel, Verena Stieß, Dominique Bougeard, Claus Dahl, Lars R. Schreiber, Hendrik Bluhm This paper reports the compatibility of heterostructure-based spin qubit devices with industrial CMOS technology. It features Si/Si-Ge quantum dot devices fabricated using Infineon's 200 mm production line within a restricted thermal budget. The devices exhibit state-of-the-art charge sensing, charge noise and valley splitting characteristics, showing that industrial fabrication is not harming the heterostructure quality. These measured parameters are all correlated to spin qubit coherence and qubit gate fidelity. We describe the single electron device layout, design and its fabrication process using electron beam lithography. The incorporated standard 90 nm back-end of line flow for gate-layer independent contacting and wiring can be scaled up to multiple wiring layers for scalable quantum computing architectures. In addition, we present millikelvin characterization results. Our work exemplifies the potential of industrial fabrication methods to harness the inherent CMOS-compatibility of the Si/Si-Ge material system, despite being restricted to a reduced thermal budget. It paves the way for advanced quantum processor architectures with high yield and device quality.
There has been some recent interest in applying the techniques of Algebraic Quantum Field Theory (AQFT) to entanglement problems in perturbative QFT. In particular, the Hilbert space independence of this formulation makes it particularly interesting in the context of curved spacetimes and the emphasis on the algebra of observables makes the treatment of Bell inequalities in QFT resemble such treatment in non-relativistic Quantum Mechanics. In this work, we present the mathematical structures needed for formulating AQFT in terms of the Haag-Araki-Kastler (HAK) axioms and discuss their implications. Moreover, we discuss the algebraic approach to quantum entanglement in the form of Bell inequalities. We provide an extension of this formulation to general globally hyperbolic spacetimes using the so-called Locally Covariant approach to QFT, which extends the HAK axioms to general spacetimes by means of the Category Theory language.
Indifferentiability is a popular cryptographic paradigm for analyzing the security of ideal objects -- both in a classical as well as in a quantum world. It is typically stated in the form of a composable and simulation-based definition, and captures what it means for a construction (e.g., a cryptographic hash function) to be ``as good as'' an ideal object (e.g., a random oracle). Despite its strength, indifferentiability is not known to offer security against pre-processing attacks in which the adversary gains access to (classical or quantum) advice that is relevant to the particular construction. In this work, we show that indifferentiability is (generically) insufficient for capturing pre-computation. To accommodate this shortcoming, we propose a strengthening of indifferentiability which is not only composable but also takes arbitrary pre-computation into account. As an application, we show that the one-round sponge is indifferentiable (with pre-computation) from a random oracle. This yields the first (and tight) classical/quantum space-time trade-off for one-round sponge inversion.
In arXiv:1609.03493, the authors extended the exact renormalization group (ERG) to arbitrary wave-functionals in quantum field theory (QFT). Applying this formalism, we show that the ERG flow of density matrices is given by a Lindblad master equation. The Lindbladian consists of a "Hamiltonian" term which is the sum of a scaling and a coarse-graining (disentangling) operator, and a dissipative term with absorption and emission rates for each momentum mode. We consider as examples the flow of Gaussian states and the perturbative ground state of $\lambda \phi^4$ theory, and highlight the role of the dissipative terms in generating the correct flow of couplings. Integrating the Lindblad master equation, we find that a finite ERG flow of density matrices is described by a quantum channel. It follows from the data processing inequality that any distinguishability measure of states is an ERG monotone.
Using the Parity Flow formalism, we show that physical SWAP gates can be eliminated in linear hardware architectures, without increasing the total number of two-qubit operations. This has a significant impact on the execution time of quantum circuits in linear Quantum Charge-Coupled Devices (QCCDs), where SWAP gates are implemented by physically changing the position of the ions. Because SWAP gates are one of the most time-consuming operations in QCCDs, our scheme considerably reduces the runtime of the quantum Fourier transform and the quantum approximate optimization algorithm on all-to-all spin models, compared to circuits generated with standard compilers (TKET and Qiskit). While increasing the problem size (and therefore the number of qubits) typically demands longer runtimes, which are constrained by coherence time, our runtime reduction enables a significant increase in the number of qubits at a given coherence time.
We present a quantum algorithm for portfolio optimisation. Specifically, We present an end-to-end quantum approximate optimisation algorithm (QAOA) to solve the discrete global minimum variance portfolio (DGMVP) model. This model finds a portfolio of risky assets with the lowest possible risk contingent on the number of traded assets being discrete. We provide a complete pipeline for this model and analyses its viability for noisy intermediate-scale quantum computers. We design initial states, a cost operator, and ansätze with hard mixing operators within a binary encoding. Further, we perform numerical simulations to analyse several optimisation routines, including layerwise optimisation, utilising COYBLA and dual annealing. Finally, we consider the impacts of thermal relaxation and stochastic measurement noise. We find dual annealing with a layerwise optimisation routine provides the most robust performance. We observe that realistic thermal relaxation noise levels preclude quantum advantage. However, stochastic measurement noise will dominate when hardware sufficiently improves. Within this regime, we numerically demonstrate a favourable scaling in the number of shots required to obtain the global minimum -- an indication of quantum advantage in portfolio optimisation.
Standard approaches to quantum computing require significant overhead to correct for errors. The hardware size for conventional quantum processors in solids often increases linearly with the number of physical qubits, such as for transmon qubits in superconducting circuits or electron spin qubits in quantum dot arrays. While photonic circuits based on flying qubits do not suffer from decoherence or lack of potential scalability, they have encountered significant challenges to overcome photon loss in long delay circuits. Here, we propose an alternative approach that utilizes flying electronic wave packets propagating in solid-state quantum semiconductor circuits. Using a novel time-bin architecture for the electronic wave packets, hardware requirements are drastically reduced because qubits can be created on-demand and manipulated with a common hardware element, unlike the localized approach of wiring each qubit individually. The electronic Coulomb interaction enables reliable coupling and readout of qubits. Improving upon previous devices, we realize electronic interference at the level of a single quantized mode that can be used for manipulation of electronic wavepackets. This important landmark lays the foundation for fault-tolerant quantum computing with a compact and scalable architecture based on electron interferometry in semiconductors.
This paper considers the problem for finding the $(\delta,\epsilon)$-Goldstein stationary point of Lipschitz continuous objective, which is a rich function class to cover a great number of important applications. We construct a zeroth-order quantum estimator for the gradient of the smoothed surrogate. Based on such estimator, we propose a novel quantum algorithm that achieves a query complexity of $\tilde{\mathcal{O}}(d^{3/2}\delta^{-1}\epsilon^{-3})$ on the stochastic function value oracle, where $d$ is the dimension of the problem. We also enhance the query complexity to $\tilde{\mathcal{O}}(d^{3/2}\delta^{-1}\epsilon^{-7/3})$ by introducing a variance reduction variant. Our findings demonstrate the clear advantages of utilizing quantum techniques for non-convex non-smooth optimization, as they outperform the optimal classical methods on the dependency of $\epsilon$ by a factor of $\epsilon^{-2/3}$.
Large-scale quantum computation requires to be performed in the fault-tolerant manner. One crucial issue of fault-tolerant quantum computing (FTQC) is reducing the overhead of implementing logical gates. Recently proposed correlated decoding and ``algorithmic fault tolerance" achieve fast logical gates that enables universal quantum computation. However, for circuits involving mid-circuit measurements and feedback, this approach is incompatible with window-based decoding, which is a natural requirement for handling large-scale circuits. In this letter, we propose an alternative architecture that employs delayed fixup circuits, integrating window-based correlated decoding with fast transversal gates. This design significantly reduce both the frequency and duration of correlated decoding, while maintaining support for constant-time logical gates and universality across a broad class of quantum codes. More importantly, by spatial parallelism of windows, this architecture well adapts to time-optimal FTQC, making it particularly useful for large-scale computation. Using Shor's algorithm as an example, we explore the application of our architecture and reveals the promising potential of using fast transversal gates to perform large-scale quantum computing tasks with acceptable overhead on physical systems like ion traps.
Quantum many-body scars (QMBS) represent a weak ergodicity-breaking phenomenon that defies the common scenario of thermalization in closed quantum systems. They are often regarded as a many-body analog of quantum scars (QS) -- a single-particle phenomenon in quantum chaos -- due to their superficial similarities. However, unlike QS, a clear connection between QMBS and classical chaos has remained elusive. It has nevertheless been speculated that in an appropriate semiclassical limit, QMBS should have a correspondence to weakly unstable periodic orbits. In this paper, I present a counterexample to this conjecture by studying a bosonic model with a large number of flavors. The dynamics of out-of-time-ordered correlators (OTOCs) suggest that QMBS do not display chaotic behavior in the semiclassical limit. In contrast, chaotic dynamics are expected for initial states not associated with QMBS. Interestingly, the anomalous OTOC dynamics persist even under weak perturbations that eliminate the scarred eigenstates, suggesting a certain robustness in the phenomenon.
Quantum maps are fundamental to quantum information theory and open quantum systems. Covariant or weakly symmetric quantum maps, in particular, play a key role in defining quantum evolutions that respect thermodynamics, establish free operations in resource theories, and are consistent with transformations of quantum reference frames. To implement quantum maps in the lab, one typically engineers a physical dilation, which corresponds to a unitary evolution entangling the system with an environment. This work systematically explores how weak symmetries of quantum maps manifest in their dilations. We demonstrate that for various classes of physical dilations, including Hamiltonian-driven dilations and short-time collision models that simulate Markovian open quantum dynamics, weak symmetries always lead to strong symmetries in the dilated evolution, resulting in conserved quantities in the system-environment space. We also characterize the subspace where these symmetries arise using Krylov subspaces. Moreover, we show that some different types of physical dilations have no constraints on the dilated evolution, requiring no strong symmetry. Finally, we complement our findings with a variety of illustrative and pedagogical examples. Our results provide essential guidelines for constructing physical dilations of quantum maps, offering a comprehensive understanding of how symmetries shape their implementations in a laboratory or on a quantum computer.
Heavy quark thermalization in the quark-gluon plasma (QGP) is one of the most promising phenomena for understanding the strong interaction, where their energy loss and momentum broadening at low momentum can be well described by a stochastic process with drag and diffusion terms. We propose an accelerated quantum circuit Monte-Carlo (aQCMC) framework that ultilizes the quantum amplitude estimation (QAE) algorithm to simulate heavy quark thermalization with quadratically less resources. Specifically, we simulate the thermalization of a heavy quark in both 1D and 2D and in isotropic and anisotropic mediums using an ideal quantum simulator and compare that to analytical thermal expectations.
The possibility of extracting more work from a physical system thanks to the information obtained from measurements has been a topic of fundamental interest in the context of thermodynamics since the formulation of the Maxwell's demon thought experiment. We here consider this problem from the perspective of an open quantum battery interacting with an environment that can be continuously measured. By modeling it via a continuously monitored collisional model, we show how to implement the corresponding dynamics as a quantum circuit, including the final conditional feedback unitary evolution that allows to enhance the amount of work extracted. By exploiting the flexibility of IBM quantum computers and by properly modelling the corresponding quantum circuit, we experimentally simulate the work extraction protocol showing how the obtained experimental values of the daemonic extracted work are close to their theoretical upper bound quantified by the so-called daemonic ergotropy. We also demonstrate how by properly modelling the noise affecting the quantum circuit, one can improve the work extraction protocol by optimizing the corresponding extraction unitary feedback operation.
To implement the dynamics of a projected Hamiltonian or Lindbladian, the quantum Zeno effect is a fundamental quantum phenomenon that approximates the effective dynamic by intersecting the Hamiltonian or Lindblad evolution by any quantum operation that converges to the desired projected subspace. Unlike the related Trotter product formula, the best-known convergence rate of the quantum Zeno effect is limited to the order $1/n$. In this work, we improve the convergence rate using a multi-product formula to achieve any power of $1/n^{K+1}$, employing a modified Chernoff Lemma, a modified Dunford-Segal approximation, and the holomorphic functional calculus. We then briefly illustrate this scheme using the bosonic cat code, as well as a broad class of examples governed by the `Bang-Bang' method used to decouple systems from their environment.
In the wake of quantum computing advancements and quantum algorithmic progress, quantum algorithms are increasingly being employed to address a myriad of combinatorial optimization problems. Among these, the Independent Domination Problem (IDP), a derivative of the Domination Problem, has practical implications in various real-world scenarios. Despite this, existing classical algorithms for IDP are plagued by high computational complexity, and quantum algorithms have yet to tackle this challenge. This paper introduces a Quantum Approximate Optimization Algorithm (QAOA)-based approach to address the IDP. Utilizing IBM's qasm_simulator, we have demonstrated the efficacy of QAOA in solving IDP under specific parameter settings, with a computational complexity that surpasses that of classical methods. Our findings offer a novel avenue for the resolution of IDP.
Network verification (NWV), broadly defined as the verification of properties of distributed protocols used in network systems, cannot be efficiently solved on classical hardware via brute force. Prior work has developed a variety of methods that scale by observing a structure in the search space and then evaluating classes within the search space instead of individual instances. However, even these classification mechanisms have their limitations. In this paper, we consider a radically different approach: applying quantum computing to more efficiently solve NWV problems. We provide an overview of how to map variants of NWV problems into unstructured search problems that can be solved via quantum computing with quadratic speedup, making the approach feasible in theory to problems that are double in size (of the input). Emerging quantum systems cannot yet tackle problems of practical interest, but rapid advances in hardware and algorithm development make now a great time to start thinking about their application. With this in mind, we explore the limits of scale of the problem for which quantum computing can solve NWV problems as unstructured search.
We derive a closed-form achievable rate for entanglement-assisted classical communication over a lossy thermal-noise bosonic channel, where the entanglement is in the form of a Two-Mode Squeezed Vacuum (TMSV) modulation restricted to Phase Shift Keying (PSK). The achievable rate is non-asymptotic in terms of the mean signal photon number, mean noise photon number, and transmissivity defining the communication channel, which provides insights into the interplay of these physical parameters and bridges recent experimental demonstrations of entanglement-assisted communications with the coding theorems used in information-theoretic proofs. The key challenge we address is deriving an analytical bound for the von Neumann entropy of the non-Gaussian mixed state resulting from the phase modulation of one arm of a TMSV. Our approach hinges on two key observations: 1) as the size of the PSK modulation increases, the resulting mixed state converges in trace distance to a diagonal state in the Fock basis; 2) the Fock-basis representation of the diagonal state involves hypergeometric functions that can be appropriately bounded to offer a tractable lower bound for the Holevo information.
This paper investigates a transmission scheme for enhancing quantum communication security, aimed at improving the security of space-air-ground integrated networks (SAGIN). Quantum teleportation achieves the transmission of quantum states through quantum channels. In simple terms, an unknown quantum state at one location can be reconstructed on a particle at another location. By combining classical Turbo coding with quantum Shor error-correcting codes, we propose a practical solution that ensures secure information transmission even in the presence of errors in both classical and quantum channels. To provide absolute security under SAGIN, we add a quantum secure direct communication (QSDC) protocol to the current system. Specifically, by accounting for the practical scenario of eavesdropping in quantum channels, the QSDC protocol utilizes virtual entangled pairs to detect the presence of eavesdroppers. Consequently, the overall scheme guarantees both the reliability and absolute security of communication.
We study quantum entanglement and test violation of Bell-type inequality at the Circular Electron Positron Collider (CEPC), which is one of the most attractive future colliders. It's a promising particle collider designed to search new physics, make Standard Model (SM) precision measurements, and serving as a Higgs factory. Our study is based on a fast simulation of the $Z$ boson pair production from Higgs boson decay at $\sqrt{s} = 250$ GeV. The detector effects are also included in the simulation. The spin density matrix of the joint $ZZ$ system is parametrized using irreducible tensor operators and reconstructed from the spherical coordinates of the decay leptons. To test Bell inequalities, we construct observable quantities for the $H \to ZZ*$ process in CEPC by using the (Collins-Gisin-Linden-Massar-Popescu) CGLMP inequality, whose value is determined from the density matrix of the Z boson pairs. The sensitivity of the Bell inequality violation is observed with more than 1$\sigma$ and the presence of the quantum entanglement is probed with more than 2$\sigma$ confidence level.
The question of the correct formulation for the momentum of light in a dielectric medium is typically referred to as the ``Abraham-Minkowski controversy". Experiments conducted to elucidate the issue have primarily focused on measuring forces and momentum transfers. In this work, we propose an interferometric approach using matter waves to measure the light-induced version of the He-McKellar-Wilkens (optical HMW) phase for a neutral atomic dipole in dynamical electromagnetic fields. Beginning from the action principle, we show that this geometric phase is directly related via the Euler-Lagrange equations of motion to the Abraham force lying at the heart of the controversy.
Quantum devices capable of breaking the public-key cryptosystems that Bitcoin relies on to secure its transactions are expected with reasonable probability within a decade. Quantum attacks would put at risk the entire Bitcoin network, which has an estimated value of around 500 billion USD. To prevent this threat, a proactive approach is critical. The only known way to prevent any such attack is to upgrade the currently used public-key cryptosystems, namely ECDSA, with so-called post-quantum cryptosystems which have no known vulnerabilities to quantum attacks. In this paper, we analyse the technical cost of such an upgrade. We calculate a non-tight lower bound on the cumulative downtime required for the above transition to be 1827.96 hours, or 76.16 days. We also demonstrate that the transition needs to be fully completed before the availability of ECDSA-256 breaking quantum devices, in order to ensure Bitcoin's ongoing security. The conclusion is that the Bitcoin upgrade to quantum-safe protocols needs to be started as soon as possible in order to guarantee its ongoing operations.
Spin-orbit coupling in solids is typically a single-body effect arising from relativity. In this work, we propose a spontaneous generation of spin-orbit coupling from symmetry breaking. A spin-dependent electron-phonon coupling model is investigated on a half-filled square lattice, which is solved by sign-problem-free quantum Monte Carlo simulations. The phase diagram as function of phonon frequency $\omega$ and coupling constant $\lambda$ is fully investigated. The spin-orbit coupling emerges as an order in the ground state for any $\lambda$ in the adiabatic limit, accompanied by a breathing mode of lattice distortion and a staggered loop spin-current. This phase dominates in the entire range of $\omega$ with $\lambda< \lambda_{\infty}$, a critical value in the $\omega \to \infty$ limit. With increasing $\omega$ and $\lambda > \lambda_{\infty}$, the emergent spin-orbit coupling is suppressed and a phase transition occurs leading to charge-density-wave degenerate with superconductivity order. Our work opens up the possibility of hidden spin-orbit coupling in materials where it is otherwise forbidden by lattice symmetry and paves the way to explore new usable materials or devices in spintronics.
The transfer matrix of scattering theory in one dimension can be expressed in terms of the time-evolution operator for an effective non-unitary quantum system. In particular, it admits a Dyson series expansion which turns out to facilitate the construction of the low-frequency series expansion of the scattering data. In two and three dimensions, there is a similar formulation of stationary scattering where the scattering properties of the scatterer are extracted from the evolution operator for a corresponding effective quantum system. We explore the utility of this approach to scattering theory in the study of the scattering of low-frequency time-harmonic scalar waves, $e^{-i\omega t}\psi(\mathbf{r})$, with $\psi(\mathbf{r})$ satisfying the Helmholtz equation, $[\nabla^2+k^2\hat\varepsilon(\mathbf{r};k)]\psi(\mathbf{r})=0$, $\omega$ and $k$ being respectively the angular frequency and wavenumber of the incident wave, and $\hat\varepsilon(\mathbf{r};k)$ denoting the relative permittivity of the carrier medium which in general takes complex values. We obtain explicit formulas for low-frequency scattering amplitude, examine their effectiveness in the study of a class of exactly solvable scattering problems, and outline their application in devising a low-frequency cloaking scheme.
The study of spontaneously induced nonclassicality as a result of the interaction of an ensemble of two-level emitters embedded onto crystal structure embodying photonic band gap (PBG) is presented. The method of coherent-state propagator is applied upon expressing collective atomic operators in terms of boson operators in view of Schwinger's representation. The autocorrelation of photon number of the radiation alone is shown to display super-Poissonian statistics and chaotic photon character. However, the state of the coupled system is found to exhibit entanglement and nonclassical intensity correlation attributed to the confinement, where intensity of the emitted radiation and degree of entanglement are enhanced near the edge. The prospect of embedding emitters onto PBG can hence be taken as a reliable testing ground for examining fundamentals of emitter-radiation interaction and implementing quantum information processing task that requires mapping of stationary memory with flying message.
Biphoton frequency comb (BFC), which encompasses multiple discrete frequency modes and represents high-dimensional frequency entanglement, is crucial in quantum information processing due to its high information capacity and error resilience. It also holds significant potential for enhancing timing precision in quantum metrology. Here, we examine quantum metrology timing limits using the BFC as a probe state and derive a quantum Cramér-Rao bound that scales quadratically with the number of frequency modes. Under ideal conditions (zero loss and perfect visibility), this bound can be saturated by both spectrally non-resolved Hong-Ou-Mandel (HOM) interferometry at zero delay and spectrally resolved HOM interferometry at arbitrary delays. In particular, under imperfect experimental conditions, Fisher information rapidly increases up to its maximum as the mode number increases for a fixed time delay close to zero, indicating that increasing the mode number is an optimal strategy for improving the timing precision in practice. Furthermore, compared with spectrally non-resolved measurement, spectrally resolved measurement is a better strategy due to its higher Fisher information, shorter measurement times, and ambiguity-free dynamic range.
The common model to describe exciton-plasmon interaction phenomenologically is the coupled oscillator model. Originally developed for atomic systems rather than solid-state matter, this model treats both excitons and plasmons as single harmonic oscillators coupled via a constant which can be fitted to experiments. In this work, we present a modified coupled oscillator model specifically designed for exciton-plasmon interactions in hybrids composed of two-dimensional excitons, such as in a transition metal dichalcogenide (TMDC) monolayers and metal nanoparticles while maintaining the simplicity of the commonly applied coupled oscillator models. Our approach is based on a microscopic perspective and Maxwell's equations, allowing to analytically derive an effective exciton-plasmon coupling constant. Our findings highlight the importance of the spatial dispersion, i.e., the delocalized nature of TMDC excitons, necessitating the distinction between bright and momentum-dark excitons. Both types of excitons occur at different resonance energies and exhibit a qualitatively different coupling with localized plasmons. We find a strong coupling between the plasmon and momentum-dark excitons, while a weakly coupled bright exciton manifests as an additional, third peak in the spectrum. Consequently, we propose a realistic modeling of the primary spectral features in experiments incorporating three harmonic oscillator equations instead of the conventional two. However, we also shed light on the limitations of the three coupled oscillator model in describing the line shape of extinction and scattering cross section spectra.
Prior attempts to formulate the Laws of Thermodynamics for a small region within a larger quantum system have led to inconsistencies and unexplained infinities. The entropy and external work, in particular, require careful analysis when partitioning over the various subsystems. In this work, we analyze the thermodynamics of a quantum subsystem driven quasi-statically by external forces. We show that the thermodynamic functions of a quantum subsystem can be defined dynamically in terms of its local spectrum. The external work is found to be intrinsically nonlocal due to the nonlocal character of the underlying quantum states. This nonlocal quantum work can be harnessed in a "quantum lever" to provide up to 100% amplification of the local work done on a quantum subsystem.
Coherent quantum emitters are a central resource for advanced quantum technologies. Hexagonal boron nitride (hBN) hosts a range of quantum emitters that can be engineered using techniques such as high-temperature annealing, optical doping, and irradiation with electrons or ions. Here, we demonstrate that such processes can degrade the coherence, and hence the functionality, of quantum emitters in hBN. Specifically, we show that hBN annealing and doping methods that are used routinely in hBN nanofabrication protocols give rise to decoherence of B-center quantum emitters. The decoherence is characterized in detail, and attributed to defects that act as charge traps which fluctuate electrostatically during SPE excitation and induce spectral diffusion. The decoherence is minimal when the emitters are engineered by electron beam irradiation of as-grown, pristine flakes of hBN, where B-center linewidths approach the lifetime limit needed for quantum applications involving interference and entanglement. Our work highlights the critical importance of crystal lattice quality to achieving coherent quantum emitters in hBN, despite the common perception that the hBN lattice and hBN SPEs are highly-stable and resilient against chemical and thermal degradation. It underscores the need for nanofabrication techniques that are minimally invasive and avoid crystal damage when engineering hBN SPEs and devices for quantum-coherent technologies.
A generic Boolean-phase SWAP gate is introduced for quantum cost-effectiveness. This gate is termed the "p-SWAP", and p is a customizable phase difference between the swapped qubits, where 0 <= p <= ${\pm \pi}$ radians. The cost-effectiveness of p-SWAP gate comes from a lower quantum cost for its final transpiled quantum circuit into a real quantum computer. The p-SWAP gate only utilizes two Feynman (CNOT) gates, as compared to the standard SWAP gate constructed from three CNOT gates. The quantum circuit of p-SWAP gate is geometrically designed using our Bloch sphere approach. The generality of p-SWAP gate is proposed for Phase oracles requiring a desirable p for a combination set of swapped qubits, as well as for Boolean oracles requiring a cost-effective SWAP gate when p is ignored. In this paper, after transpilation (synthesization) into a real quantum computer, it was concluded that the transpiled quantum circuit of p-SWAP gate has a lower quantum cost than that of the standard SWAP gate.
Braneshop, and
the US National Science Foundation.
SciRate