2025-04-03 | | Total: 55
Fermionic averaged circuit eigenvalue sampling (FACES) is a protocol to simultaneously learn the averaged error rates of many fermionic linear optical (FLO) gates simultaneously and self-consistently from a suitable collection of FLO circuits. It is highly flexible, allowing for the in situ characterization of FLO-averaged gate-dependent noise under natural assumptions on a family of continuously parameterized one- and two-qubit gates. We rigorously show that our protocol has an efficient sampling complexity, owing in-part to useful properties of the Kravchuk transformations that feature in our analysis. We support our conclusions with numerical results. As FLO circuits become universal with access to certain resource states, we expect our results to inform noise characterization and error mitigation techniques on universal quantum computing architectures which naturally admit a fermionic description.
We address the joint estimation of changes in the position and linear momentum of a quantum particle or, equivalently, changes in the complex field of a bosonic mode. Although these changes are generated by non-commuting operators, we show that leveraging non-Gaussianity enables their simultaneous estimation with arbitrarily high precision and arbitrarily low quantum incompatibility. Specifically, we demonstrate that any pure non-Gaussian state provides an advantage over all Gaussian states, whether pure or mixed. Moreover, properly tuned non-Gaussian mixtures of Gaussian states can also serve as a resource.
Optimization is often cited as a promising application of quantum computers. However, the low degree of provable quantum speedups has led prior rigorous end-to-end resource analyses to conclude that a quantum computer is unlikely to surpass classical state-of-the-art on optimization problems under realistic assumptions. In this work, we compile and analyze the Quantum Approximate Optimization Algorithm (QAOA) combined with Amplitude Amplification (AA) applied to random 8-SAT at the satisfiability threshold. Our compilation involves careful optimization of circuits for Hamiltonian simulation, which may be of independent interest. We use the analytical scaling of the time-to-solution for QAOA identified by PRX Quantum 5, 030348 (2024) and find that with QAOA depth p=623, QAOA+AA achieves a crossover with state-of-the-art classical heuristics at 179 variables and 14.99 hours of runtime when executed on a surface-code-based fault-tolerant quantum computer with 73.91 million physical qubits, a physical error rate of 10^{-3}, and a 1~\mus code cycle time. Notably, we allow the classical solver to be parallelized as long as its total energy consumption is equal to that required for decoding in the surface code. We further show that this restriction on classical solver energy consumption can be relaxed given optimistic but plausible reductions in physical error rates and fault-tolerance overheads, enabling a crossover of 2.94 hours using 8.88 million physical qubits against a classical solver running on a supercomputer with 725,760 CPU cores. These findings support the hypothesis that large-scale fault-tolerant quantum computers will be useful for optimization.
We study the two-point correlation functions and the bipartite entanglement in the ground state of the exactly-solvable variable-range extended Ising model of qubits in the presence of a transverse field on a one-dimensional lattice. We introduce the variation in the range of interaction by varying the coordination number, \mathcal{Z}, of each qubit, where the interaction strength between a pair of qubits at a distance r varies as \sim r^{-\alpha}. We show that the algebraic nature of the correlation functions is present only up to r=\mathcal{Z}, above which it exhibits short-range exponential scaling. We also show that at the critical point, the bipartite entanglement exhibits a power-law decrease (\sim\mathcal{Z}^{-\gamma}) with increasing coordination number irrespective of the partition size and the value of \alpha for \alpha>1. We further consider a sudden quench of the system starting from the ground state of the infinite-field limit of the system Hamiltonian via turning on the critical Hamiltonian, and demonstrate that the long-time averaged bipartite entanglement exhibits a qualitatively similar variation (\sim\mathcal{Z}^{-\gamma}) with \mathcal{Z}.
Synthetic aperture radar (SAR) data processing is crucial for high-resolution Earth observation and remote sensing applications, one of the most commonly used algorithms for this task is the Range Doppler Algorithm (RDA). Using the Fast Fourier Transform (FFT), the collected signal is transformed to the frequency domain and then goes through the processing steps of this algorithm. However, when it comes to large datasets, this process can be computationally expensive. This paper explores the implementation of a Quantum Range Doppler Algorithm (QRDA), relying on the Quantum Fourier Transform (QFT) as a speedup tool over the classical FFT. Additionally, it proposes a quantum version of the Range Cell Migration Correction (RCMC) in the Fourier domain, one of the key correctional steps of the RDA algorithm, and compares it with its classical counterpart.
The scaling up of trapped-ion quantum processors based on the quantum charge-coupled device (QCCD) architecture is difficult owing to the extensive electronics and high-density wiring required to control numerous trap electrodes. In conventional QCCD architectures, each trap electrode is controlled via a dedicated digital-to-analog converter (DAC). The conventional approach places an overwhelming demand on electronic resources and wiring complexity. This is because the number of trap electrodes typically exceeds the number of trapped-ion qubits. This study proposes a method that leverages a high-speed DAC to generate time-division multiplexed signals to control a large-scale QCCD trapped-ion quantum processor. The proposed method replaces conventional DACs with a single high-speed DAC that generates the complete voltage waveforms required to control the trap electrodes, thereby significantly reducing the wiring complexity and overall resource requirements. Based on realistic parameters and commercially available electronics, our analysis demonstrates that a QCCD trapped-ion quantum computer with 10,000 trap electrodes can be controlled using only 13 field-programmable gate arrays and 104 high-speed DACs. This is in stark contrast to the 10,000 dedicated DACs required by conventional control methods. Consequently, employing this approach, we developed a proof-of-concept electronic system and evaluated its analog output performance.
Optimal control theory is applied to analyze the time-optimal solution with a single scalar control knob in a two-level quantum system without quantum decoherence. Emphasis is \change{placed} on the dependence on the maximum control strength u_\text{max}. General constraints on the optimal protocol are derived and used to rigorously parameterize the time-optimal solution. Two concrete problems are investigated. For generic state preparation problems, both multiple bang-bang and bang-singular-bang are legitimate and should be considered. Generally, the optimal is bang-bang for small u_\text{max}, and there exists a state-dependent critical amplitude above which singular control emerges. For the X-gate operation of a qubit, the optimal protocol \change{is exclusively} multiple bang-bang. The minimum gate time is about 80\% of that based on the resonant Rabi \pi-pulse over a wide range of control strength; in the u_\text{max} \rightarrow 0 limit this ratio is derived to be \pi/4. To develop practically feasible protocols, we present methods to smooth the abrupt changes in the bang-bang control while preserving perfect gate fidelity. \change{The presence of bang-bang segments in the time-optimal protocol} indicates that the high-frequency components and a full calculation (instead of the commonly adopted Rotating Wave Approximation) are essential for the ultimate quantum speed limit.
The conventional method for generating entangled states in qubit systems relies on applying precise two-qubit entangling gates alongside single-qubit rotations. However, achieving high-fidelity entanglement demands high accuracy in two-qubit operations, requiring complex calibration protocols. In this work, we use a minimally calibrated two-qubit iSwap-like gate, tuned via straightforward parameter optimization (flux pulse amplitude and duration), to prepare Bell states and GHZ states experimentally in systems of two and three transmon qubits. By integrating this gate into a variational quantum algorithm (VQA), we bypass the need for intricate calibration while maintaining high fidelity. Our proposed methodology employs variational quantum algorithms (VQAs) to create the target quantum state through imperfect multiqubit operations. Furthermore, we experimentally demonstrate a violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality for Bell states, confirming their high fidelity of preparation.
Quantum Approximate Optimization Algorithm (QAOA) is a promising quantum optimization heuristic with empirical evidence of speedup over classical state-of-the-art for some problems. QAOA solves optimization problems using a parameterized circuit with p layers, with higher p leading to better solutions. Existing methods require optimizing 2p independent parameters which is challenging for large p. In this work, we present an iterative interpolation method that exploits the smoothness of optimal parameter schedules by expressing them in a basis of orthogonal functions, generalizing Zhou et al. By optimizing a small number of basis coefficients and iteratively increasing both circuit depth and the number of coefficients until convergence, our approach enables construction of high-quality schedules for large p. We demonstrate our method achieves better performance with fewer optimization steps than current approaches on three problems: the Sherrington-Kirkpatrick (SK) model, portfolio optimization, and Low Autocorrelation Binary Sequences (LABS). For the largest LABS instance, we achieve near-optimal merit factors with schedules exceeding 1000 layers, an order of magnitude beyond previous methods. As an application of our technique, we observe a mild growth of QAOA depth sufficient to solve SK model exactly, a result of independent interest.
We provide a general framework for the quantisation of light-matter theories with time-dependent holonomic constraints. Unless time dependence is present from the outset at the Lagrangian level, different gauges generally produce non-equivalent canonical theories. The irrotational gauge is defined as that which also yields a correct theory when time dependence is introduced at the Hamiltonian level. We unify examples of such gauges found in existing literature. In particular, we show that for describing time-dependent light-matter interactions the Coulomb gauge is not generally irrotational, so it does not enjoy any special status, contradicting the conclusions in Phys. Rev. A 107, 013722 (2023) and Phys. Rev. Research 3, 023079 (2021), while reaffirming the prior treatment and conclusions reported in Phys. Rev. Research 3, 013116 (2021).
As a quantum thermodynamic device that utilizes quantum systems for energy storage and delivery, the quantum battery (QB) is expected to offer revolutionary advantages in terms of increasing the charging power and the extractable work by using quantum resources. However, the ubiquitous decoherence in the microscopic world inevitably forces the QB to spontaneously lose its stored energy. This is called the self-discharging of the QB and severely limits its realization. We propose a QB scheme based on the nitrogen-vacancy (NV) center in diamond, where the electronic spin serves as the QB. Inspired by our finding that the coherent ergotropy decays more slowly than the incoherent ergotropy, we reveal a mechanism to enhance the inherent robustness of the QB to the self-discharging by improving the ratio of coherent ergotropy to total ergotropy. The unique hyperfine interaction between the electron and the native ^{14}N nucleus in our scheme allows to coherently optimize this ratio. Enriching the understanding on the extractable work of the QB, our results pave the way for the practical realization of the QB.
We present an extension of K-P time-optimal quantum control solutions using global Cartan KAK decompositions for geodesic-based solutions. Extending recent time-optimal \emph{constant-\theta} control results, we integrate Cartan methods into equivariant quantum neural network (EQNN) for quantum control tasks. We show that a finite-depth limited EQNN ansatz equipped with Cartan layers can replicate the constant-\theta sub-Riemannian geodesics for K-P problems. We demonstrate how for certain classes of control problem on Riemannian symmetric spaces, gradient-based training using an appropriate cost function converges to certain global time-optimal solutions when satisfying simple regularity conditions. This generalises prior geometric control theory methods and clarifies how optimal geodesic estimation can be performed in quantum machine learning contexts.
Inspired by recent advances in the manipulation of superconducting circuits coupled to mechanical modes in the quantum regime, we propose a protocol for generating superpositions of orthogonally squeezed states in a quantum harmonic oscillator. The protocol relies on a quadratic coupling between the oscillator and a qubit, and is conceptually similar to methods used for preparing cat states in qubit-oscillator systems. We numerically evaluate the robustness of the state-preparation scheme in the presence of decoherence, considering environmental coupling for both the harmonic oscillator and the qubit. As a potential application, we introduce a quantum error-correcting code based on conditionally-squeezed states and analyze its error-mitigation properties.
Quantum computers are highly vulnerable to noise, necessitating the use of error-correcting codes to protect stored data. Errors must be continuously corrected over time to counteract decoherence using appropriate decoders. Therefore, fast decoding strategies capable of handling real-time syndrome extraction are crucial for achieving fault-tolerant quantum computing. In this paper, we introduce the bubble clustering (BC) decoder for quantum surface codes, which serves as a low-latency replacement for MWPM, achieving significantly faster execution at the cost of a slight performance degradation. This speed boost is obtained leveraging an efficient cluster generation based on bubbles centered on defects, and avoiding the computational overhead associated with cluster growth and merging phases, commonly adopted in traditional decoders. Our complexity analysis reveals that the proposed decoder operates with a complexity on the order of the square of the number of defects. For moderate physical error rates, this is equivalent to linear complexity in the number of data qubits.
Algorithms that promise to leverage resources of quantum computers efficiently to accelerate the finite element method have emerged. However, the finite element method is usually incorporated into a high-level numerical scheme which allows the adaptive refinement of the mesh on which the solution is approximated. In this work, we propose to extend adaptive mesh refinement to the quantum formalism, and apply our method to the resolution of Maxwell's equations. An important step in this procedure is the computation of error estimators, which guide the refinement. By using block-encoding, we propose a way to compute these estimators with quantum circuits. We present first numerical experiments on a 2D geometry.
Optically addressable solid-state spins have been extensively studied for quantum technologies, offering unique advantages for quantum computing, communication, and sensing. Advancing these applications is generally limited by finding materials that simultaneously provide lifetime-limited optical and long spin coherences. Here, we introduce ^{171}Yb^{3+} ions doped into a CaWO_4 crystal. We perform high-resolution spectroscopy of the excited state, and demonstrate all-optical coherent control of the electron-nuclear spin ensemble. We find narrow inhomogeneous broadening of the optical transitions of 185 MHz and radiative-lifetime-limited coherence time up to 0.75 ms. Next to this, we measure a spin-transition ensemble line width of 5 kHz and electron-nuclear spin coherence time reaching 0.15 seconds at zero magnetic field between 50 mK and 1 K temperatures. These results demonstrate the potential of ^{171}Yb^{3+}:CaWO_4 as a low-noise platform for building quantum technologies with ensemble-based memories, microwave-to-optical transducers, and optically addressable single-ion spin qubits.
Quantum timeless approaches solve the problem of time by recovering the usual unitary evolution of quantum theory relative to a clock in a stationary quantum Universe. For some Hamiltonians of the Universe, such as those including an interaction term with the clock, the dynamics is substantially altered and can be non-unitary. This work derives necessary and sufficient conditions for the relative dynamics to be unitary and finds the general form of the unitary evolution operator. A physical interpretation of these conditions is given in terms of the clock's rate. Unitary dynamics is associated with rates that are constant in time and independent of the clock's internal structure.
We propose a technique to investigate multipartite entanglement in the symmetric subspace. Our approach is to map an N-qubit symmetric state onto a bipartite symmetric state of higher local dimension. We show that this mapping preserves separability and allows to characterize the entanglement of the original multipartite state. In particular, we provide several bounds to estimate the symmetric tensor rank and geometric measure of entanglement. Additionally, we identify multipartite symmetric states whose entanglement outperforms that of previously known candidates for maximally entangled symmetric states. Finally, we reveal the existence of entangled symmetric subspaces, where all bipartite states are entangled.
The aircraft loading optimization problem is a computationally hard problem with the best known classical algorithm scaling exponentially with the number of objects. We propose a quantum approach based on a multi-angle variant of the QAOA algorithm (Multi-Angle Layered Variational Quantum Algorithm (MAL-VQA)) designed to utilize a smaller number of two qubit gates in the quantum circuit as compared to the standard QAOA algorithm so that the quantum optimization algorithm can be run on near-term ion-trap quantum processing units (QPU). We also describe a novel cost function implementation that can handle many different types of inequality constraints without the overhead of introducing slack variables in the quantum circuit so that larger problems with complex constraints may be represented on near-term QPUs which have low qubit counts. We demonstrate the performance of the algorithm on different instances of the aircraft loading problem by execution on IonQ QPUs Aria and Forte. Our experiments obtain the optimal solutions for all the problem instances studied ranging from 12 qubits to 28 qubits. This shows the potential scalability of the method to significantly larger problem sizes with the improvement of quantum hardware in the near future as well as the robustness of the quantum algorithm against varying initial guesses and varying constraints of different problem instances.
This paper concerns the problem of checking if two shallow (i.e., constant-depth) quantum circuits perform equivalent computations. Equivalence checking is a fundamental correctness question -- needed, e.g., for ensuring that transformations applied to a quantum circuit do not alter its behavior. For quantum circuits, the problem is challenging because a straightforward representation on a classical computer of each circuit's quantum state can require time and space that are exponential in the number of qubits n. The paper presents decision procedures for two variants of the equivalence-checking problem. Both can be carried out on a classical computer in time and space that, for any fixed depth, is linear in n. Our critical insight is that local projections are precise enough to completely characterize the output state of a shallow quantum circuit. Instead of explicitly computing the output state of a circuit, we generate a set of local projections that serve as constraints on the output state. Moreover, the circuit's output state is the unique quantum state that satisfies all the constraints. Beyond equivalence checking, we show how to use the constraint representation to check a class of assertions, both statically and at run time. Our assertion-checking methods are sound and complete for assertions expressed as conjunctions of local projections. Our experiments show that on a server equipped with 2 x Intel\textsuperscript{\textregistered} Xeon\textsuperscript{\textregistered} Gold 6338 CPUs (128 threads total) and 1.0~TiB of RAM, running Ubuntu 20.04.6 LTS, the constraint representation of a random 100-qubit circuit of depth 6 can be computed in 19.8 seconds. For fixed inputs \ket{0}^{\otimes 100}, equivalence checking of {random} 100-qubit circuits of depth 3 takes 4.46 seconds; for arbitrary inputs, it takes no more than 31.96 seconds.
We study thermalization within a quantum system with an enhanced capacity to store information. This system has been recently introduced to provide a prototype model of how a black hole processes and stores information. We perform a numerical finite-size analysis of this isolated quantum system and find indications that its information-carrying subsystem approaches thermality in the large system-size limit. The results lead us to suggest a novel thermalization mechanism. The corresponding distinguishing characteristic is that for a large class of physically meaningful non-equilibrium initial states | \text{in} \rangle, a few-body observable \hat{A} thermalizes despite unignorable correlations between the fluctuations of its eigenstate expectation values \langle \alpha | \hat{A} | \alpha \rangle in the eigenstate basis of the model \left\{ | \alpha \rangle \right\} and the fluctuations of the squared magnitudes of the coefficients |C_{\alpha}|^2 = |\langle \alpha | \text{in} \rangle |^2.
The chaotic phase of the tilted Bose-Hubbard model is identified as a function of energy, tilt strength and particle interaction, from the eigenstate structure and the statistical features of the energy spectrum. Our analysis reveals that the chaotic phase of the bare Bose-Hubbard Hamiltonian can actually be enhanced by the presence of a moderate tilt. We further unveil the development and scaling of the chaotic regime from the perspective of a homogeneous density configuration typically used in cold atom experiments, providing a valuable phase diagram for future theoretical and experimental studies of this system.
Quantum Key Distribution (QKD) enables two distant users to exchange a secret key with information-theoretic security, based on the fundamental laws of quantum physics. While it is arguably the most mature application of quantum cryptography, it has inherent limitations in the achievable distance and the scalability to large-scale infrastructures. While the applicability of QKD can be readily increased with the use of intermediary trusted nodes, this adds additional privacy requirements on third parties. In this work, we present an efficient scheme leveraging a trusted node with lower privacy requirements thanks to the use of post-quantum cryptographic techniques, and implement it on a deployed fiber optic quantum communication network in the Paris area.
In this study, we explore a relativistic quantum Otto heat engine with a qutrit as the working substance interacting with a quantum scalar field in curved spacetime. Unlike qubits, which extract work by simply expanding or shrinking a single energy gap, qutrits allow multiple energy gaps to be adjusted independently, enabling more versatile work extraction in the quantum Otto cycle. We derive a general positive work condition in terms of the effective temperature that each pair of energy levels perceives. Moreover, we discuss additional subtleties that are absent when using a qubit, such as the generation of coherence terms in the density matrix due to interactions.
Quantum computing (QC) emulators, which simulate quantum algorithms on classical hardware, are indispensable platforms for testing quantum algorithms before scalable quantum computers become widely available. A critical challenge in QC emulation is managing numerical errors from finite arithmetic precision, especially truncation errors in resource-efficient fixed-point arithmetic. Despite its importance, systematic studies quantifying how truncation errors impact quantum algorithm accuracy are limited. In this paper, we propose a rigorous quantitative framework analyzing truncation error propagation in fixed-point QC emulation, focusing on Grover's quantum search algorithm. First, we introduce a simplified two-value amplitude representation of quantum states during Grover's iterations and prove its theoretical validity. Using this representation, we derive explicit mathematical expressions characterizing truncation error accumulation across quantum gate operations. We quantify the overall emulation error by the \ell_2 distance between ideal and emulated probability distributions, obtaining asymptotic bounds scaling as O(2^{n-f}), where n is the number of qubits and f is fractional-bit precision. Extensive numerical simulations and empirical experiments on a practical fixed-point QC emulator confirm that observed errors precisely match our theoretical predictions. Finally, we provide a closed-form formula to determine the minimal fractional-bit precision required to achieve a specified error threshold, offering clear guidelines for emulator designers balancing accuracy and resource utilization.