One of the largest obstacles to building a quantum computer is gate error, where the physical evolution of the state of a qubit or group of qubits during a gate operation does not match the intended unitary transformation. Gate error stems from a combination of control errors and random single qubit errors from interaction with the environment. While great strides have been made in mitigating control errors, intrinsic qubit error remains a serious problem that limits gate fidelity in modern qubit architectures. Simultaneously, recent developments of small error-corrected logical qubit devices promise significant increases in logical state lifetime, but translating those improvements into increases in gate fidelity is a complex challenge. In this Letter, we construct protocols for gates on and between small logical qubit devices which inherit the parent device’s tolerance to single qubit errors which occur at any time before or during the gate. We consider two such devices, a passive implementation of the three-qubit bit flip code, and the author’s own [E. Kapit, Phys. Rev. Lett. 116, 150501 (2016)] very small logical qubit (VSLQ) design, and propose error-tolerant gate sets for both. The effective logical gate error rate in these models displays superlinear error reduction with linear increases in single qubit lifetime, proving that passive error correction is capable of increasing gate fidelity. Using a standard phenomenological noise model for superconducting qubits, we demonstrate a realistic, universal one- and two-qubit gate set for the VSLQ, with error rates an order of magnitude lower than those for same-duration operations on single qubits or pairs of qubits. These developments further suggest that incorporating small logical qubits into a measurement based code could substantially improve code performance.

A well-known strategy to characterize multiparticle entanglement utilizes the notion of stochastic local operations and classical communication (SLOCC), but characterizing the resulting entanglement classes is difficult. Given a multiparticle quantum state, we first show that Gilbert’s algorithm can be adapted to prove separability or membership in a certain entanglement class. We then present two algorithms for convex optimization over SLOCC classes. The first algorithm uses a simple gradient approach, while the other one employs the accelerated projected-gradient method. For demonstration, the algorithms are applied to the likelihood-ratio test using experimental data on bound entanglement of a noisy four-photon Smolin state [Phys. Rev. Lett. 105, 130501 (2010)].

Solving linear systems of equations is a frequently encountered problem in machine learning and optimization. Given a matrix $A$ and a vector $\mathbf{b}$ the task is to find the vector $\mathbf{x}$ such that $A\mathbf{x}=\mathbf{b}$. We describe a quantum algorithm that achieves a sparsity-independent runtime scaling of $\mathcal{O}\mathbf{(}{\kappa }^2\sqrt{n}\text{polylog}(n)/\epsilon \mathbf{)}$ for an $n\times n$ dimensional $A$ with bounded spectral norm, where $\kappa$ denotes the condition number of $A$, and $\epsilon$ is the desired precision parameter. This amounts to a polynomial improvement over known quantum linear system algorithms when applied to dense matrices, and poses a new state of the art for solving dense linear systems on a quantum computer. Furthermore, an exponential improvement is achievable if the rank of $A$ is polylogarithmic in the matrix dimension. Our algorithm is built upon a singular value estimation subroutine, which makes use of a memory architecture that allows for efficient preparation of quantum states that correspond to the rows of $A$ and the vector of Euclidean norms of the rows of $A$.

It has been conjectured that, for any distillation protocol for magic states for the $T$ gate, the number of noisy input magic states required per output magic state at output error rate $\epsilon$ is $\mathrm{\Omega }[\log (1/\epsilon )]$. We show that this conjecture is false. We find a family of quantum error correcting codes of parameters $⟦\sum _{i=w+1}^m(\genfrac{}{}{0ex}{}{m}{i}),\sum _{i=0}^w(\genfrac{}{}{0ex}{}{m}{i}),\sum _{i=w+1}^{r+1}(\genfrac{}{}{0ex}{}{r+1}{i})⟧$ for any integers $m>2r$, $r>w\ge 0$, by puncturing quantum Reed-Muller codes. When $m>\nu r$, our code admits a transversal logical gate at the $\nu$th level of Clifford hierarchy. In a distillation protocol for magic states at the level $\nu =3$ ($T$ gate), the ratio of input to output magic states is $O\mathbf{(}{\log }^{\gamma }(1/\epsilon )\mathbf{)}$, where $\gamma =\log (n/k)/\log (d)<0.678$ for some $m$, $r$, $w$. The smallest code in our family for which $\gamma <1$ is on $\approx 2^{58}$ qubits.

We show that a simple modification of the surface code can exhibit an enormous gain in the error correction threshold for a noise model in which Pauli $Z$ errors occur more frequently than $X$ or $Y$ errors. Such biased noise, where dephasing dominates, is ubiquitous in many quantum architectures. In the limit of pure dephasing noise we find a threshold of 43.7(1)% using a tensor network decoder proposed by Bravyi, Suchara, and Vargo. The threshold remains surprisingly large in the regime of realistic noise bias ratios, for example 28.2(2)% at a bias of 10. The performance is, in fact, at or near the hashing bound for all values of the bias. The modified surface code still uses only weight-4 stabilizers on a square lattice, but merely requires measuring products of $Y$ instead of $Z$ around the faces, as this doubles the number of useful syndrome bits associated with the dominant $Z$ errors. Our results demonstrate that large efficiency gains can be found by appropriately tailoring codes and decoders to realistic noise models, even under the locality constraints of topological codes.

We give operational meaning to wave-particle duality in terms of discrimination games. Duality arises as a constraint on the probability of winning these games. The games are played with the aid of an $n$-port interferometer, and involve 3 parties, Alice and Bob, who cooperate, and the House, who supervises the game. In one game called ways they attempt to determine the path of a particle in the interferometer. In another, called phases, they attempt to determine which set of known phases have been applied to the different paths. The House determines which game is to be played by flipping a coin. We find a tight wave-particle duality relation that allows us to relate the probabilities of winning these games, and use it to find an upper bound on the probability of winning the combined game. This procedure allows us to express wave-particle duality in terms of discrimination probabilities.

Here, we present the most general framework for $n$-particle Hardy’s paradoxes, which include Hardy’s original one and Cereceda’s extension as special cases. Remarkably, for any $n\ge 3$, we demonstrate that there always exist generalized paradoxes (with the success probability as high as $1/2^{n-1}$) that are stronger than the previous ones in showing the conflict of quantum mechanics with local realism. An experimental proposal to observe the stronger paradox is also presented for the case of three qubits. Furthermore, from these paradoxes we can construct the most general Hardy’s inequalities, which enable us to detect Bell’s nonlocality for more quantum states.

Bob has a black box that emits a single pure state qudit which is, from his perspective, uniformly distributed. Alice wishes to give Bob evidence that she has knowledge about the emitted state while giving him little or no information about it. We show that zero-knowledge evidencing of such knowledge is impossible in quantum relativistic protocols, extending a previous result of Horodecki, Horodecki, and Horodecki. We also show that no such protocol can be both sound and complete. We present a new quantum relativistic protocol which we conjecture to be close to optimal in security against Alice and which reveals little knowledge to Bob, for large dimension $d$. We analyze its security against general attacks by Bob and restricted attacks by Alice.

The relaxation of uniform quantum systems with finite-range interactions after a quench is generically driven by the ballistic propagation of long-lived quasiparticle excitations triggered by a sufficiently small quench. Here we investigate the case of long-range ($1/r^{\alpha }$) interactions for a $d$-dimensional lattice spin model with uniaxial symmetry, and show that, in the regime $d<\alpha <d+2$, the entanglement and correlation buildup is radically altered by the existence of a nonlinear dispersion relation of quasiparticles, $\omega \sim k^{z<1}$, at small wave vectors, leading to a divergence of the quasiparticle group velocity and superballistic propagation. This translates in a superlinear growth of correlation fronts with time and sublinear growth of relaxation times of subsystem observables with size when focusing on $k=0$ fluctuations. Yet the large dispersion in group velocities leads to an extreme wavelength dependence of relaxation times of finite-$k$ fluctuations, with entanglement being susceptible to all of them. Our predictions are directly relevant to current experiments probing the nonequilibrium dynamics of trapped ions, or ultracold magnetic and Rydberg atoms in optical lattices.

We demonstrate carrier-phase optical two-way time-frequency transfer (carrier-phase OTWTFT) through the two-way exchange of frequency comb pulses. Carrier-phase OTWTFT achieves frequency comparisons with a residual instability of $1.2\times {10}^{-17}$ at 1 s across a turbulent 4-km free space link, surpassing previous OTWTFT by 10–20 times and enabling future high-precision optical clock networks. Furthermore, by exploiting the carrier phase, this approach is able to continuously track changes in the relative optical phase of distant optical oscillators to 9 mrad (7 as) at 1 s averaging, effectively extending optical phase coherence over a broad spatial network for applications such as correlated spectroscopy between distant atomic clocks.

We study causal waveform estimation (tracking) of time-varying signals in a paradigmatic atomic sensor, an alkali vapor monitored by Faraday rotation probing. We use Kalman filtering, which optimally tracks known linear Gaussian stochastic processes, to estimate stochastic input signals that we generate by optical pumping. Comparing the known input to the estimates, we confirm the accuracy of the atomic statistical model and the reliability of the Kalman filter, allowing recovery of waveform details far briefer than the sensor’s intrinsic time resolution. With proper filter choice, we obtain similar benefits when tracking partially known and non-Gaussian signal processes, as are found in most practical sensing applications. The method evades the trade-off between sensitivity and time resolution in coherent sensing.

Recently, there has been substantial progress in methods of identifying local integrals of motion in interacting integrable models or in systems with many-body localization. We show that one of these approaches can be utilized for constructing local, conserved, Majorana fermions in systems with an arbitrary many-body interaction. As a test case, we first investigate a noninteracting Kitaev model and demonstrate that this approach perfectly reproduces the standard results. Then, we discuss how the many-body interactions influence the spatial structure and the lifetime of the Majorana modes. Finally, we determine the regime for which the information stored in the Majorana correlators is also retained for arbitrarily long times at high temperatures. We show that it is included in the regime with topologically protected soft Majorana modes, but in some cases is significantly smaller.

Microwave squeezing represents the ultimate sensitivity frontier for superconducting qubit measurement. However, measurement enhancement has remained elusive, in part because integration with standard dispersive readout pollutes the signal channel with antisqueezed noise. Here we induce a stroboscopic light-matter coupling with superior squeezing compatibility, and observe an increase in the final signal-to-noise ratio of 24%. Squeezing the orthogonal phase slows measurement-induced dephasing by a factor of 1.8. This scheme provides a means to the practical application of squeezing for qubit measurement.

The three arcsine laws for Brownian motion are a cornerstone of extreme-value statistics. For a Brownian $B_t$ starting from the origin, and evolving during time $T$, one considers the following three observables: (i) the duration $t_{+}$ the process is positive, (ii) the time $t_{\mathrm{last}}$ the process last visits the origin, and (iii) the time $t_{\max }$ when it achieves its maximum (or minimum). All three observables have the same cumulative probability distribution expressed as an arcsine function, thus the name arcsine laws. We show how these laws change for fractional Brownian motion $X_t$, a non-Markovian Gaussian process indexed by the Hurst exponent $H$. It generalizes standard Brownian motion (i.e., $H=\frac{1}{2}$). We obtain the three probabilities using a perturbative expansion in $ϵ=H-\frac{1}{2}$. While all three probabilities are different, this distinction can only be made at second order in $ϵ$. Our results are confirmed to high precision by extensive numerical simulations.

Discrete time crystals are a recently proposed and experimentally observed out-of-equilibrium dynamical phase of Floquet systems, where the stroboscopic dynamics of a local observable repeats itself at an integer multiple of the driving period. We address this issue in a driven-dissipative setup, focusing on the modulated open Dicke model, which can be implemented by cavity or circuit QED systems. In the thermodynamic limit, we employ semiclassical approaches and find rich dynamical phases on top of the discrete time-crystalline order. In a deep quantum regime with few qubits, we find clear signatures of a transient discrete time-crystalline behavior, which is absent in the isolated counterpart. We establish a phenomenology of dissipative discrete time crystals by generalizing the Landau theory of phase transitions to Floquet open systems.

We derive a necessary and sufficient condition for a quantum process to be Markovian which coincides with the classical one in the relevant limit. Our condition unifies all previously known definitions for quantum Markov processes by accounting for all potentially detectable memory effects. We then derive a family of measures of non-Markovianity with clear operational interpretations, such as the size of the memory required to simulate a process or the experimental falsifiability of a Markovian hypothesis.

We study the influence of atomic interactions on quantum simulations in momentum-space lattices (MSLs), where driven transitions between discrete momentum states mimic transport between sites of a synthetic lattice. Low-energy atomic collisions, which are short ranged in real space, relate to nearly infinite-ranged interactions in momentum space. However, the added exchange energy between atoms in distinguishable momentum states leads to an effectively attractive, finite-ranged interaction between atoms in momentum space. In this Letter, we observe the onset of self-trapping driven by such interactions in a momentum-space double well, paving the way for more complex many-body studies in tailored MSLs. We consider the types of phenomena that may result from these interactions, including the formation of chiral solitons in zigzag flux lattices.

Out-of-time-order correlations (OTOCs) characterize the scrambling, or delocalization, of quantum information over all the degrees of freedom of a system and thus have been proposed as a proxy for chaos in quantum systems. Recent experimental progress in measuring OTOCs calls for a more thorough understanding of how these quantities characterize complex quantum systems, most importantly in terms of the buildup of entanglement. Although a connection between OTOCs and entanglement entropy has been derived, the latter only quantifies entanglement in pure systems and is hard to access experimentally. In this work, we formally demonstrate that the multiple-quantum coherence spectra, a specific family of OTOCs well known in NMR, can be used as an entanglement witness and as a direct probe of multiparticle entanglement. Our results open a path to experimentally testing the fascinating idea that entanglement is the underlying glue that links thermodynamics, statistical mechanics, and quantum gravity.

The notion of mutual unbiasedness for coarse-grained measurements of quantum continuous variable systems is considered. It is shown that while the procedure of “standard” coarse graining breaks the mutual unbiasedness between conjugate variables, this desired feature can be theoretically established and experimentally observed in periodic coarse graining. We illustrate our results in an optics experiment implementing Fraunhofer diffraction through a periodic diffraction grating, finding excellent agreement with the derived theory. Our results are an important step in developing a formal connection between discrete and continuous variable quantum mechanics.