2025-03-07 | | Total: 60
State-of-the-art superconducting quantum processors containing tens to hundreds of qubits have demonstrated the building blocks for realizing fault-tolerant quantum computation. Nonetheless, a fundamental barrier to scaling further is the prevalence of fluctuating quantum two-level system (TLS) defects that can couple resonantly to qubits, causing excess decoherence and enhanced gate errors. Here we introduce a scalable architecture for site-specific and in-situ manipulation of TLS frequencies out of the spectral vicinity of our qubits. Our method is resource efficient, combining TLS frequency tuning and universal single qubit control into a single on-chip control line per qubit. We independently control each qubit's dissipative environment to dynamically improve both qubit coherence times and single qubit gate fidelities -- with a constant time overhead that does not scale with the device size. Over a period of 40 hours across 6 qubits, we demonstrate a $36\%$ improvement in average single qubit error rates and a $17\%$ improvement in average energy relaxation times. Critically, we realize a 4-fold suppression in the occurrence of TLS-induced performance outliers, and a complete reduction of simultaneous outlier events. These results mark a significant step toward overcoming the challenges that TLS defects pose to scaling superconducting quantum processors.
Quantum low-density parity-check (QLDPC) codes present a promising route to low-overhead fault-tolerant quantum computation, yet systematic strategies for their exploration remain underdeveloped. In this work, we establish a topological framework for studying the bivariate-bicycle codes, a prominent class of QLDPC codes tailored for real-world quantum hardware. Our framework enables the investigation of these codes through universal properties of topological orders. Besides providing efficient characterizations for demonstrations using Gröbner bases, we also introduce a novel algebraic-geometric approach based on the Bernstein--Khovanskii--Kushnirenko theorem, allowing us to analytically determine how the topological order varies with the generic choice of bivariate-bicycle codes under toric layouts. Novel phenomena are unveiled, including topological frustration, where ground-state degeneracy on a torus deviates from the total anyon number, and quasi-fractonic mobility, where anyon movement violates energy conservation. We demonstrate their inherent link to symmetry-enriched topological orders and offer an efficient method for searching for finite-size codes. Furthermore, we extend the connection between anyons and logical operators using Koszul complex theory. Our work provides a rigorous theoretical basis for exploring the fault tolerance of QLDPC codes and deepens the interplay among topological order, quantum error correction, and advanced mathematical structures.
The design and performance analysis of quantum error correction (QEC) codes are often based on incoherent and independent noise models since it is easy to simulate. However, these models fail to capture realistic hardware noise sources, such as correlated errors (crosstalk), which can significantly impact QEC code performance, especially when they occur between data and ancillary qubits. In this paper, we systematically study various types of crosstalk noise and quantify their effects on surface codes through memory and stability experiments. Based on our findings, we introduce crosstalk-robust implementations of QEC via redundant stabilizer checks and flag qubit designs. In addition, we analyze logical crosstalk in an $[[n,k>1,d]]$ code block and establish analytical conditions under which physical crosstalk does not lead to logical crosstalk. Together, our analytical and numerical results shed light on designing QEC codes that are robust against hardware-realistic noise, paving the way for reliable experimental realization of fault-tolerant quantum computing.
Parameterized quantum circuits appear ubiquitously in the design of many quantum algorithms, such as variational quantum algorithms, where the optimization of parameters is crucial for algorithmic efficiency. In this work, we propose an Optimal Interpolation-based Coordinate Descent (OICD) method to solve the parameter optimization problem that arises in parameterized quantum circuits. Our OICD method employs an interpolation technique to approximate the cost function of a parameterized quantum circuit, effectively recovering its trigonometric characteristics, then performs an argmin update on a single parameter per iteration on a classical computer. We determine the optimal interpolation nodes in our OICD method to mitigate the impact of statistical errors from quantum measurements. Additionally, for the case of equidistant frequencies -- commonly encountered when the Hermitian generators are Pauli operators -- we show that the optimal interpolation nodes are equidistant nodes, and our OICD method can simultaneously minimize the mean squared error, the condition number of the interpolation matrix, and the average variance of derivatives of the cost function. We perform numerical simulations of our OICD method using Qiskit Aer and test its performance on the maxcut problem, the transverse field Ising model, and the XXZ model. Numerical results imply that our OICD method is more efficient than the commonly used stochastic gradient descent method and the existing random coordinate descent method.
We introduce the random Schrödinger equation, with a noise term given by a random Hermitian matrix as a means to model noisy quantum systems. We derive bounds on the error of the synthesised unitary in terms of bounds on the norm of the noise, and show that for certain noise processes these bounds are tight. We then show that in certain situations, minimising the error is equivalent to finding a geodesic on SU (n) with respect to a Riemannian metric encoding the coupling between the control pulse and the noise process. Our work thus extends the series of seminal papers by Nielsen et al. on the geometry of quantum gate complexity.
Fast tuning of the transition frequency of superconducting qubits using magnetic flux is essential, for example, for realizing high-fidelity two-qubit gates with low leakage or for reducing errors in dispersive qubit readout. To apply accurately shaped flux pulses, signal distortions induced by the flux control lines need to be carefully compensated for. This requires their in situ characterization at the reference plane of the qubit. However, many existing approaches are limited in time resolution or in pulse duration. Here, we overcome these limitations and demonstrate accurate flux control with sub-permille residual frequency errors on time scales ranging from nanoseconds to tens of microseconds. We achieve this by combining two complementary methods to characterize and compensate for pulse distortions. We have deployed this approach successfully in a quantum error correction experiment calibrating 24 flux-activated two-qubit gates. Reliable calibration methods, as the ones presented here, are essential in experiments scaling up superconducting quantum processors.
Retrieving classical information from quantum systems is central to quantum information processing. As a more general task than quantum state discrimination which focuses on identifying the exact state, quantum state exclusion only requires ruling out options, revealing fundamental limits of information extraction from quantum systems. In this work, we study conclusive state exclusion of quantum states under group actions. First, we establish explicit criteria for achieving conclusive exclusion for states under group actions. For complex symmetries, including finite groups and compact Lie groups, we derive a sufficient condition for exclusive exclusion based solely on amplitudes of the seed state and group structure parameters. Second, as applications to special groups such as Abelian groups, we establish necessary and sufficient conditions for conclusive state exclusion and generalize the Pusey-Barrett-Rudolph result to a wider range of scenarios. Third, we explore zero-error communication via conclusive exclusion of quantum states and derive a lower bound on the feedback-assisted and non-signalling-assisted zero-error capacity of classical-quantum channels generated by group actions.
Understanding nonstabilizerness (aka quantum magic) in many-body quantum systems, particularly its interplay with entanglement, represents an important quest in quantum computation and many-body physics. Drawing natural motivations from the study of quantum phases of matter and entanglement, we systematically investigate the notion of long-range magic (LRM), defined as nonstabilizerness that cannot be erased by constant-depth local circuits. By establishing connections to the Bravyi--König theorem concerning the limitation of fault-tolerant logical gates, we show that certain families of topological stabilizer code states exhibit LRM. Then, we show that all ground states of topological orders that cannot be realized by topological stabilizer codes, such as Fibonacci topological order, exhibit LRM, which can be viewed as a ``no lowest-energy trivial magic'' result. Building on our considerations of LRM, we discuss the classicality of short-range magic from e.g.~preparation and learning perspectives, and put forward a ``no low-energy trivial magic'' (NLTM) conjecture that has key motivation in the quantum PCP context. We also connect two-point correlations with LRM, demonstrating certain LRM state families by correlation properties. Most of our proof techniques do not depend on geometric locality and can potentially be extended to systems with general connectivity. Our study leverages and sheds new light on the interactions between quantum resources, coding and fault tolerance theory, complexity theory, and many-body physics.
Quantum computation and quantum simulation require a versatile gate set to optimize circuit compilation for practical applications. However, existing platforms are often limited to specific gate types or rely on parametric couplers to extend their gate set, which compromises scalability. Here, we propose a scalable quantum simulator with an extended gate set based on giant-atom three-level systems, which can be implemented with superconducting circuits. Unlike conventional small atoms, giant atoms couple to the environment at multiple points, introducing interference effects that allow exceptional tunability of their interactions. By leveraging this tunability, our setup supports both CZ and iSWAP gates through simple frequency adjustments, eliminating the need for parametric couplers. This dual-gate capability enhances circuit efficiency, reducing the overhead for quantum simulation. As a demonstration, we showcase the simulation of spin dynamics in dissipative Heisenberg XXZ spin chains, highlighting the setup's ability to tackle complex open quantum many-body dynamics. Finally, we discuss how a two-dimensional extension of our system could enable fault-tolerant quantum computation, paving the way for a universal quantum processor.
Quantum state tomography (QST) is a widely employed technique for characterizing the state of a quantum system. However, it is plagued by two fundamental challenges: computational and experimental complexity grows exponentially with the number of qubits, rendering experimental implementation and data post-processing arduous even for moderately sized systems. Here, we introduce gradient-descent (GD) algorithms for the post-processing step of QST in discrete- and continuous-variable systems. To ensure physically valid state reconstruction at each iteration step of the algorithm, we use various density-matrix parameterizations: Cholesky decomposition, Stiefel manifold, and projective normalization. These parameterizations have the added benefit of enabling a rank-controlled ansatz, which simplifies reconstruction when there is prior information about the system. We benchmark the performance of our GD-QST techniques against state-of-the-art methods, including constrained convex optimization, conditional generative adversarial networks, and iterative maximum likelihood estimation. Our comparison focuses on time complexity, iteration counts, data requirements, state rank, and robustness against noise. We find that rank-controlled ansatzes in our stochastic mini-batch GD-QST algorithms effectively handle noisy and incomplete data sets, yielding significantly higher reconstruction fidelity than other methods. Simulations achieving full-rank seven-qubit QST in under three minutes on a standard laptop, with 18 GB of RAM and no dedicated GPU, highlight that GD-QST is computationally more efficient and outperforms other techniques in most scenarios, offering a promising avenue for characterizing noisy intermediate-scale quantum devices. Our Python code for GD-QST algorithms is publicly available at https://github.com/mstorresh/GD-QST.
In the recent breakthrough result of Slofstra and Mastel (STOC'24), they show that there is a two-player one-round perfect zero-knowledge MIP* protocol for RE. We build on their result to show that there exists a succinct two-player one-round perfect zero-knowledge MIP* protocol for RE with polylog question size and O(1) answer size, or with O(1) question size and polylog answer size. To prove our result, we analyze the four central compression techniques underlying the MIP*= RE proof (Ji et al. '20) -- question reduction, oracularization, answer reduction, and parallel repetition -- and show that they all preserve the perfect (as well as statistical and computational) zero-knowledge properties of the original protocol. Furthermore, we complete the study of the conversion between constraint-constraint and constraint-variable binary constraint system (BCS) nonlocal games, which provide a quantum information characterization of MIP* protocols. While Paddock (QIP'23) established that any near-perfect strategy for a constraint-variable game can be mapped to a constraint-constraint version, we prove the converse, fully establishing their equivalence.
This book serves as an introductory yet thorough guide to tensor networks and their applications in quantum computation and quantum information, designed for advanced undergraduate and graduate-level readers. In Part I, foundational topics are covered, including tensor structures and network representations like Matrix Product States (MPS) and Tree Tensor Networks (TTN). These preliminaries provide readers with the core mathematical tools and concepts necessary for quantum physics and quantum computing applications, bridging the gap between multi-linear algebra and complex quantum systems. Part II explores practical applications of tensor networks in simulating quantum dynamics, with a particular focus on the efficiency they offer for systems of high computational complexity. Key topics include Hamiltonian dynamics, quantum annealing, open system dynamics, and optimization strategies using TN frameworks. A final chapter addresses the emerging role of "quantum magic" in tensor networks. It delves into non-stabilizer states and their contribution to quantum computational power beyond classical simulability, featuring methods such as stabilizer-enhanced MPS and the Clifford-dressed TDVP.
Quantum networks revolutionize the way of information transmission and are an essential step in building a quantum internet. Generally, the information capacity per user-channel in a quantum network drastically decreases with the increase of network capacity, making it difficultly scale to large-user scenarios. To break this limit, we develop a quantum network architecture in which the information capacity per user-channel is independent of the network capacity (NCI-QN), and all previous quantum networks can be regarded as special examples. Three aspects are investigated. Firstly, a quantum network scheme formulated in a comprehensive multi-mode time-frequency representation is presented. Then, information characteristics of the proposed quantum network are delineated by expanding the well-known Pirandola-Laurenza-Ottaviani-Banchi (PLOB) bound and the Holevo bound from the linear combination of point-to-point links to a complex network architecture, demonstrating clear proofs of the network capacity independence. Finally, a practical NCI-QN with a network capacity of 19 is experimentally demonstrated using optical frequency comb in quantum key distribution network scenarios, in which the security under the asymptotic case, finite-size effect, composable security, and composable finite-size security are verified, with a secret key rate up to 8.75 Gbps. This achievement overcomes the user-rate limit of quantum network, which is the keystone for the development of the quantum internet.
We introduce AppQSim, a benchmarking suite for quantum computers focused on applications of Hamiltonian simulation. We consider five different settings for which we define a precise task and score: condensed matter and material simulation (dynamic and static properties), nuclear magnetic resonance simulation, chemistry ground state preparation, and classical optimization. These five different benchmark tasks display different resource requirements and scalability properties. We introduce a metric to evaluate the quality of the output of a tested quantum hardware, called distinguishability cost, defined as the minimal number of gates that a perfect quantum computer would have to run to certify that the output of the benchmarked hardware is incorrect.
The implementation of a quantum router capable of performing both quantum signal routing and quantum addressing (a Q2-router) represents a key step toward building quantum networks and quantum random access memories. We realize a Q2-router that uses fixed-frequency transmon qubits to implement a routing protocol based on two native controlled-iSWAP gates. These gates leverage a large ZZ interaction to selectively route information according to a quantum address. We find an estimated average routing fidelity of 94.8%, with errors arising primarily from decoherence or state preparation and measurement. We present a comprehensive calibration and characterization of both the c-iSWAP gates and the overall routing protocol through randomized benchmarking techniques and state tomography.
Feedback cooling plays a critical role in stabilizing quantum systems and achieving low temperatures, where a key question is to determine the fundamental thermodynamic limits on cooling performance. We establish a fundamental bound on quantum feedback cooling in Gaussian systems, by deriving a generalized second law of thermodynamics involving the kinetic temperatures of the system and a measure of quantum information flow obtained by continuous measurement. In contrast to previously known bounds, the obtained bound can be saturated by experimentally feasible situations using the quantum Kalman filter with a large feedback gain, where the cooling efficiency approaches its maximum. Our theoretical result is numerically demonstrated using parameters from an experiment of levitated nanoparticles. Our theory provides a general framework for understanding the thermodynamic constraints on quantum feedback cooling.
White Gaussian noise (WGN) is widely used in communication system testing, physical modeling, Monte Carlo simulations, and electronic countermeasures. WGN generation relies heavily on random numbers. In this work, we present an implementation of WGN generation utilizing a quantum entropy source chip for the first time. A photonic integrated chip based on the vacuum state scheme generates quantum random numbers at a real-time output rate of up to 6.4 Gbps. A hardware-based inversion method converts uniform quantum random numbers into Gaussian random numbers using the inverse cumulative distribution function. Subsequently, the WGN signal is generated through a digital-to-analog converter and amplifiers. The WGN generator is characterized by a bandwidth of 230 MHz, a crest factor as high as 6.2, and an adjustable peak-to-peak range of 2.5 V. This work introduces a novel approach to WGN generation with information-theory provable quantum random numbers to enhance system security.
Two approaches can be utilized to handle the separability problem, finding out whether a given bipartite qudit state is separable or not: a direct procedure on the state space or the effective tool of entanglement witnesses (EWs). This contribution studies the structure of EWs. Exploiting the very concept of mirrored EWs, increasing the detection power, we show, in contrast to the conjecture in a recent paper (Sci. Rep. {\bf 13}, 10733 (2023)), there exist pairs of optimal EWs, which are both non-decomposible, i.e. can detect bound/PPT-entangled states in an optimal way. Since we show that the structure also extends to higher dimensions, our results reveal a further structure of entanglement witnesses.
The irreversibility and thermalization of many-body systems can be attributed to the erasure of spreaded nonequilibrium state information by local operations. This thermalization mechanism can be demonstrated by the sequence $[\hat{O}^\dagger \hat{O}(t)]^N$, where $\hat{O}$ is a local operator, $\hat{O}(t) = e^{i\hat{H}t} \hat{O} e^{-i\hat{H}t}$, $\hat{H}$ is the system Hamiltonian, and $N$ denotes the number of repetitions. We begin by preparing a nonequilibrium initial state with an inhomogeneous particle number distribution in a one-dimensional Hubbard model. As particles propagate and interact within the lattice, the system evolves into a highly entangled quantum state, where the entanglement entropy satisfies a volume law, yet the information of the initial state remains well preserved. The local operator $\hat{O}$ erases part of the information in the entangled state, altering the interference of the system wavefunction and the disentangling process during time-reversed evolution. Repeatedly applying $\hat{O}^\dagger \hat{O}(t)$ leads to a monotonic increase in the entanglement entropy until it saturates at a steady value. By incorporating this information erasure mechanism into the one-dimensional Hubbard model, our numerical simulations demonstrate that in a completely isolated system, a thermalization process emerges. Finally, we discuss the feasibility of implementing related quantum simulation experiments on superconducting quantum processors.
In 2024, Kliuchnikov and Schönnenbeck showed a connection between the Barnes Wall lattices, stabilizer states and Clifford operations. In this work, we study their results and relate them to the problem of lower bounding stabilizer ranks. We show the first quantitative lower bound on stabilizer fidelity as a function of stabilizer ranks, which reproduces the linear-by-log lower bound for $\chi_{\delta}({|{H}\rangle^{ \otimes n}})$, i.e, on the approximate stabilizer rank of $|H\rangle^{\otimes n}$. In fact, we show that the lower bound holds even when the fidelity between the approximation and ${|H\rangle}^{\otimes n}$ is exponentially small, which is currently the best lower bound in this regime. Next, we define a new magic monotone for pure states, the Barnes Wall norm, and its corresponding approximate variant. We upper bound these monotones by the $CS$-count of state preparation, and also by the stabilizer ranks. In particular, the upper bound given by the $CS$-count is tight, in the sense that we exhibit states that achieve the bound. Apart from these results, we give a Fidelity Amplification algorithm, which provides a trade-off between approximation error and the stabilizer rank. As a corollary, it gives us a way to compose approximate stabilizer decompositions into approximate decompositions of their tensor products. Finally, we provide an alternate, elementary proof of the existence and density of product states with maximal stabilizer ranks, which was first proven by Lovitz and Steffan (2022), where they used results from algebraic geometry.
This work deals with quantum transport in open quantum graphs with two scattering channels. They are used as a two-level system whose weights are defined by its reflection and transmission amplitudes. We propose a controlled operation between two quantum graphs, where the scattering in a quantum graph modifies the second one, changing its outcome. Our findings show that the scattering measurements in this system are linked to recent results on randomized quantum graphs. The main results reveal the presence of entangled states according to the wave-number values in each quantum graph and the applied controlled operation. It was possible to determine the criteria for maximal entanglement or separability. In particular, we uncovered the presence of entanglement in a simple system consisting of two simple quantum graphs, with only one edge and a controlled phase.
Quantum walk followed by some amplitude amplification technique has been successfully used to search for marked vertices on various graphs. Lackadaisical quantum walk can search for target vertices on graphs without the help of any additional amplitude amplification technique. These studies either exploit AKR or SKW coin to distinguish the marked vertices from the unmarked vertices. The success of AKR coin based quantum walk search algorithms highly depend on the arrangements of the set of marked vertices on the graph. For example, it fails to find adjacent vertices, diagonal vertices and other exceptional configurations of vertices on a two-dimensional periodic square lattice and on other graphs. These coins also suffer from low success probability while searching for marked vertices on a one-dimensional periodic lattice and on other graphs for certain arrangements for marked vertices. In this article, we propose a modified coin for the lackadaisical quantum walk search. It allows us to perform quantum walk search for the marked vertices by doing Grover search on the coin space. Our model finds the marked vertices by searching the self-loops associated with the marked vertices. It can search for marked vertices irrespective of their arrangement on the graph with high success probability. For all analyzed arrangements of the marked vertices the time complexity for 1d-lattice and 2d-lattice are $\mathcal{O}(\frac{N}{M})$ and $\mathcal{O}\left(\sqrt{ \frac{N}{M}\log \frac{N}{M}}\right)$ respectively with constant and high success probability.
Quantum walk has been successfully used to search for targets on graphs with vertices identified as the elements of a database. This spacial search on a two-dimensional periodic grid takes $\mathcal{O}\left(\sqrt{N\log N}\right)$ oracle consultations to find a target vertex from $N$ number of vertices with $\mathcal{O}(1)$ success probability, while reaching optimal speed of $\mathcal{O}(\sqrt{N})$ on $d \geq 3$ dimensional square lattice. Our numerical analysis based on lackadaisical quantum walks searches $M$ vertices on a 2-dimensional grid with optimal speed of $\mathcal{O}(\sqrt{N/M})$, provided the grid is attached with additional long range edges. Based on the numerical analysis performed with multiple sets of randomly generated targets for a wide range of $N$ and $M$ we suggest that the optimal time complexity of $\mathcal{O}(\sqrt{N/M})$ with constant success probability can be achieved for quantum search on a two-dimensional periodic grid with long-range edges.
As quantum devices scale to larger numbers of qubits, entangling gates between distant stationary qubits will help provide flexible, long-range connectivity in modular architectures. In this work, we present protocols for implementing long-range two-qubit gates mediated by either Fock-state or time-bin qubits -- photonic encodings that are both compatible with the coplanar waveguide resonators commonly used in circuit quantum electrodynamics (QED). These protocols become deterministic in the limit of vanishing photon loss. Additionally, photon loss can be heralded, signaling a failed two-qubit gate attempt. We model the loss of a time-bin qubit to a dielectric environment consisting of an ensemble of two-level systems (TLSs), which are believed to be the dominant mechanism for dielectric loss in circuit QED architectures. The backaction (on the stationary qubits) associated with the loss of the time-bin qubit is strongly suppressed in a non-Markovian regime where the temporal separation of the time bins is short compared to the dielectric environment's correlation time. This result suggests strategies based on a combination of materials-fabrication and time-bin-qubit optimization for ensuring that the loss of a time-bin qubit is not only heralded, but also approximately backaction-free.
Quantum low-density parity-check codes are a promising approach to fault-tolerant quantum computation, offering potential advantages in rate and decoding efficiency. In this work, we introduce quantum Margulis codes, a new class of QLDPC codes derived from Margulis' classical LDPC construction via the two-block group algebra framework. We show that quantum Margulis codes, unlike bivariate bicycle codes which require ordered statistics decoding for effective error correction, can be efficiently decoded using a standard min-sum decoder with linear complexity, when decoded under depolarizing noise. This is attributed to their Tanner graph structure, which does not exhibit group symmetry, thereby mitigating the well-known problem of error degeneracy in QLDPC decoding. To further enhance performance, we propose an algorithm for constructing 2BGA codes with controlled girth, ensuring a minimum girth of 6 or 8, and use it to generate several quantum Margulis codes of length 240 and 642. We validate our approach through numerical simulations, demonstrating that quantum Margulis codes behave significantly better than BB codes in the error floor region, under min-sum decoding.