arXiv subjects

Daniel Belkin

Publications and source records attributed to Daniel Belkin.

7 recordsLinked to original sources

arXiv2026

Better Pauli Channel Learning with Maximum Likelihood Estimation

Error mitigation in a noisy quantum device requires a very good estimate of the noise channel. The accuracy of probabilistic error cancellation is often limited by the high sample complexity of channel tomography. In principle, optimal sample complexity is attained by maximum likelihood estimation (MLE), but MLE is computationally challenging. We show that MLE can be made computationally tractable in certain cases of interest. For the common case of a 1D-local sparse Pauli-Lindblad channel, the likelihood function reduces to an efficiently-evaluable Bayesian network. We show that the resulting computation leads to substantially improved tomography. In addition, we demonstrate by simulation that this can lead to meaningful improvements to the overhead of error mitigation. We also discuss possible extensions of our algorithm to more general settings, such as non-1D circuits and non-Pauli errors.

quant-ph↗

arXiv2025

Apparent Universal Behavior in Second Moments of Random Quantum Circuits

Just how fast does the brickwork circuit form an approximate 2-design? Is there any difference between anticoncentration and being a 2-design? Does geometry matter? How deep a circuit will I need in practice? We tell you everything you always wanted to know about second moments of random quantum circuits, but were too afraid to compute. Our answers generally take the form of numerical results for up to 50 qubits. Our first contribution is a strategy to determine explicitly the optimal experiment which distinguishes any given ensemble from the Haar measure. With this formula and some computational tricks, we are able to compute $t = 2$ multiplicative errors exactly out to modest system sizes. As expected, we see that most families of circuits form $\epsilon$-approximate $2$-designs in depth proportional to $\log n$. For the 1D brickwork, we work out the leading-order constants explicitly. For graphs, we find some exceptions which are much slower, proving that they require at least $\Omega(n^2)$ gates. This answers a question asked by ref. 1 in the negative. We explain these exceptional architectures in terms of connectedness. Based on this intuition we conjecture universal upper and lower bounds for graph-sampled circuit ensembles. For many architectures, the optimal experiment which determines the multiplicative error corresponds exactly to the collision probability (i.e. anticoncentration). However, we find that the star graph anticoncentrates much faster than it forms an $\epsilon$-approximate $2$-design. Finally, we show that one needs only ten to twenty layers to construct an approximate $2$-design for realistic parameter ranges. This is a large constant-factor improvement over previous constructions. The parallel complete-graph architecture is not quite the fastest scrambler, partially resolving a question raised by ref. 2.

quant-ph↗

arXiv2025

Absence of censoring inequalities in random quantum circuits

Ref. 1 asked whether deleting gates from a random quantum circuit architecture can ever make the architecture a better approximate $t$-design. We show that it can. In particular, we construct a family of architectures such that the approximate $2$-design depth decreases when certain gates are deleted. We also give some intuition for this construction and discuss the relevance of this result to the approximate $t$-design depth of the 1D brickwork. Deleting gates always decreases scrambledness in the short run, but can sometimes cause it to increase in the long run. Finally, we give analogous results for spectral gaps and when deleting edges of interaction graphs.

quant-ph↗

arXiv2024

Conditional t-independent spectral gap for random quantum circuits and implications for t-design depths

A fundamental question is understanding the rate at which random quantum circuits converge to the Haar measure. One quantity which is important in establishing this rate is the spectral gap of a random quantum ensemble. In this work we establish a new bound on the spectral gap of the t-th moment of a one-dimensional brickwork architecture on N qudits. This bound is independent of both t and N, provided t does not exceed the qudit dimension q. We also show that the bound is nearly optimal. The improved spectral gaps gives large improvements to the constant factors in known results on the approximate t-design depths of the 1D brickwork, of generic circuit architectures, and of specially-constructed architectures which scramble in depth O(log N). We moreover show that the spectral gap gives the dominant epsilon-dependence of the t-design depth at small epsilon. Our spectral gap bound is obtained by bounding the N-site 1D brickwork architecture by the spectra of 3-site operators. We then exploit a block-triangular hierarchy and a global symmetry in these operators in order to efficiently bound them. The technical methods used are a qualitatively different approach for bounding spectral gaps and and have little in common with previous techniques.

quant-ph↗

arXiv2024

Approximate t-designs in generic circuit architectures

Unitary t-designs are distributions on the unitary group whose first t moments appear maximally random. Previous work has established several upper bounds on the depths at which certain specific random quantum circuit ensembles approximate t-designs. Here we show that these bounds can be extended to any fixed architecture of Haar-random two-site gates. This is accomplished by relating the spectral gaps of such architectures to those of 1D brickwork architectures. Our bound depends on the details of the architecture only via the typical number of layers needed for a block of the circuit to form a connected graph over the sites. When this quantity is independent of width, the circuit forms an approximate t-design in linear depth. We also give an implicit bound for nondeterministic architectures in terms of properties of the corresponding distribution over fixed architectures.

quant-ph↗

arXiv2021

A Hybrid Nodal-Staggered Pseudo-Spectral Electromagnetic Particle-In-Cell Method with Finite-Order Centering

Electromagnetic particle-in-cell (PIC) codes are widely used to perform computer simulations of a variety of physical systems, including fusion plasmas, astrophysical plasmas, plasma wakefield particle accelerators, and secondary photon sources driven by ultra-intense lasers. In a PIC code, Maxwell's equations are solved on a grid with a numerical method of choice. This article focuses on pseudo-spectral analytical time-domain (PSATD) algorithms and presents a novel hybrid PSATD PIC scheme that combines the respective advantages of standard nodal and staggered methods. The novelty of the hybrid scheme consists in using finite-order centering of grid quantities between nodal and staggered grids, in order to combine the solution of Maxwell's equations on a staggered grid with the deposition of charges and currents and the gathering of electromagnetic forces on a nodal grid. The correctness and performance of the novel hybrid scheme are assessed by means of numerical tests that employ different classes of PSATD equations in a variety of physical scenarios, ranging from the modeling of electron-positron pair creation in vacuum to the simulation of laser-driven and particle beam-driven plasma wakefield acceleration. It is shown that the novel hybrid scheme offers significant numerical and computational advantages, compared to purely nodal or staggered methods, for all the test cases presented.

physics.comp-ph↗

arXiv2018

Long short-term memory networks in memristor crossbars

Recent breakthroughs in recurrent deep neural networks with long short-term memory (LSTM) units has led to major advances in artificial intelligence. State-of-the-art LSTM models with significantly increased complexity and a large number of parameters, however, have a bottleneck in computing power resulting from limited memory capacity and data communication bandwidth. Here we demonstrate experimentally that LSTM can be implemented with a memristor crossbar, which has a small circuit footprint to store a large number of parameters and in-memory computing capability that circumvents the 'von Neumann bottleneck'. We illustrate the capability of our system by solving real-world problems in regression and classification, which shows that memristor LSTM is a promising low-power and low-latency hardware platform for edge inference.

cs.ET↗