Source author record

Leonid P. Pryadko

Leonid P. Pryadko appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

25works
14topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

25 published item(s)

preprint2022arXiv

Distance bounds for generalized bicycle codes

Generalized bicycle (GB) codes is a class of quantum error-correcting codes constructed from a pair of binary circulant matrices. Unlike for other simple quantum code ansätze, unrestricted GB codes may have linear distance scaling. In addition, low-density parity-check GB codes have a naturally overcomplete set of low-weight stabilizer generators, which is expected to improve their performance in the presence of syndrome measurement errors. For such GB codes with a given maximum generator weight $w$, we constructed upper distance bounds by mapping them to codes local in $D\le w-1$ dimensions, and lower existence bounds which give $d\ge {\cal O}({n}^{1/2})$. We have also done an exhaustive enumeration of GB codes for certain prime circulant sizes in a family of two-qubit encoding codes with row weights 4, 6, and 8; the observed distance scaling is consistent with $A(w){n}^{1/2}+B(w)$, where $n$ is the code length and $A(w)$ is increasing with $w$.

preprint2020arXiv

On maximum-likelihood decoding with circuit-level errors

Error probability distribution associated with a given Clifford measurement circuit is described exactly in terms of the circuit error-equivalence group, or the circuit subsystem code previously introduced by Bacon, Flammia, Harrow, and Shi. This gives a prescription for maximum-likelihood decoding with a given measurement circuit. Marginal distributions for subsets of circuit errors are also analyzed; these generate a family of related asymmetric LDPC codes of varying degeneracy. More generally, such a family is associated with any quantum code. Implications for decoding highly-degenerate quantum codes are discussed.

preprint2016arXiv

Algebraic bounds for heterogeneous site percolation on directed and undirected graphs

We analyze site percolation on directed and undirected graphs with site-dependent open-site probabilities. We construct upper bounds on cluster susceptibilities, vertex connectivity functions, and the expected number of simple open cycles through a chosen arc; separate bounds are given on finite and infinite (di)graphs. These produce lower bounds for percolation and uniqueness transitions in infinite (di)graphs, and for the formation of a giant component in finite (di)graphs. The bounds are formulated in terms of appropriately weighted adjacency and non-backtracking (Hashimoto) matrices. It turns out to be the uniqueness criterion that is most closely associated with an asymptotically vanishing probability of forming a giant strongly-connected component on a large finite (di)graph.

preprint2016arXiv

Distance verification for classical and quantum LDPC codes

The techniques of distance verification known for general linear codes are re-applied to quantum stabilizer codes. Then distance verification is addressed for classical and quantum LDPC codes. New complexity bounds for distance verification with provable performance are derived using the average weight spectra of the ensembles of LDPC codes. These bounds are expressed in terms of the erasure-correcting capacity of the corresponding ensemble. We also present a new irreducible-cluster technique that can be applied to any LDPC code and takes advantage of parity-checks' sparsity for both classical and quantum LDPC codes. This technique reduces complexity exponents of all existing deterministic techniques designed for generic stabilizer codes with small relative distances, which also include all known families of quantum LDPC codes.

preprint2016arXiv

Distance verification for LDPC codes

The problem of finding code distance has been long studied for the generic ensembles of linear codes and led to several algorithms that substantially reduce exponential complexity of this task. However, no asymptotic complexity bounds are known for distance verification in other ensembles of linear codes. Our goal is to re-design the existing generic algorithms of distance verification and derive their complexity for LDPC codes. We obtain new complexity bounds with provable performance expressed in terms of the erasure-correcting thresholds of long LDPC codes. These bounds exponentially reduce complexity estimates known for linear codes.

preprint2016arXiv

Exponential decay of connectivity and uniqueness in percolation on finite and infinite graphs

We give an upper bound for the uniqueness transition on an arbitrary locally finite graph ${\cal G}$ in terms of the limit of the spectral radii $ρ\left[ H({\cal G}_t)\right]$ of the non-backtracking (Hashimoto) matrices for an increasing sequence of subgraphs ${\cal G}_t\subset{\cal G}_{t+1}$ which converge to ${\cal G}$. With the added assumption of strong local connectivity for the oriented line graph (OLG) of ${\cal G}$, connectivity on any finite subgraph ${\cal G}'\subset{\cal G}$ decays exponentially for $p<(ρ\left[ H({\cal G}^{\prime})\right])^{-1}$.

preprint2015arXiv

Universal set of Dynamically Protected Gates for Bipartite Qubit Networks II: Soft Pulse Implementation of the [[5,1,3]] Quantum Error Correcting Code

We model repetitive quantum error correction (QEC) with the single-error-correcting five-qubit code on a network of individually-controlled qubits with always-on Ising couplings, using our previously designed universal set of quantum gates based on sequences of shaped decoupling pulses. In addition to serving as accurate quantum gates, the sequences also provide dynamical decoupling (DD) of low-frequency phase noise. The simulation involves integrating unitary dynamics of six qubits over the duration of tens of thousands of control pulses, using classical stochastic phase noise as a source of decoherence. The combined DD/QEC protocol dramatically improves the coherence, with the QEC alone responsible for more than an order of magnitude infidelity reduction.

preprint2014arXiv

Numerical Techniques for Finding the Distances of Quantum Codes

We survey the existing techniques for calculating code distances of classical codes and apply these techniques to generic quantum codes. For classical and quantum LDPC codes, we also present a new linked-cluster technique. It reduces complexity exponent of all existing deterministic techniques designed for codes with small relative distances (which include all known families of quantum LDPC codes), and also surpasses the probabilistic technique for sufficiently high code rates.

preprint2014arXiv

Spin glass reflection of the decoding transition for quantum error correcting codes

We study the decoding transition for quantum error correcting codes with the help of a mapping to random-bond Wegner spin models. Families of quantum low density parity-check (LDPC) codes with a finite decoding threshold lead to both known models (e.g., random bond Ising and random plaquette $\Z2$ gauge models) as well as unexplored earlier generally non-local disordered spin models with non-trivial phase diagrams. The decoding transition corresponds to a transition from the ordered phase by proliferation of extended defects which generalize the notion of domain walls to non-local spin models. In recently discovered quantum LDPC code families with finite rates the number of distinct classes of such extended defects is exponentially large, corresponding to extensive ground state entropy of these codes. Here, the transition can be driven by the entropy of the extended defects, a mechanism distinct from that in the local spin models where the number of defect types (domain walls) is always finite.

preprint2014arXiv

Thresholds for correcting errors, erasures, and faulty syndrome measurements in degenerate quantum codes

We suggest a technique for constructing lower (existence) bounds for the fault-tolerant threshold to scalable quantum computation applicable to degenerate quantum codes with sublinear distance scaling. We give explicit analytic expressions combining probabilities of erasures, depolarizing errors, and phenomenological syndrome measurement errors for quantum LDPC codes with logarithmic or larger distances. These threshold estimates are parametrically better than the existing analytical bound based on percolation.

preprint2014arXiv

Tight lower bound for percolation threshold on a quasi-regular graph

We construct an exact expression for the site percolation threshold p_c on a quasi-regular tree, and a related exact lower bound for a quasi-regular graph. Both are given by the inverse spectral radius of the appropriate Hashimoto matrix used to count non-backtracking walks. The obtained bound always exceeds the inverse spectral radius of the original graph, and it is also generally tighter than the existing bound in terms of the maximum degree.

preprint2013arXiv

Continuous third harmonic generation in a terahertz driven modulated nanowire

We consider the possibility of observing continuous third-harmonic generation using a strongly driven, single-band one-dimensional metal. In the absence of scattering, the quantum efficiency of frequency tripling for such a system can be as high as 93%. Combining the Floquet quasi-energy spectrum with the Keldysh Green's function technique, we derive the semiclassical master equation for a one-dimensional band of strongly and rapidly driven electrons in the presence of weak scattering by phonons. The power absorbed from the driving field is continuously dissipated by phonon modes, leading to a quasi-equilibrium in the electron distribution. We use the Kronig-Penney model with varying effective mass to establish growth parameters of an InAs/InP nanowire near optimal for third harmonic generation at terahertz frequency range.

preprint2013arXiv

Dynamically corrected gates for qubits with always-on Ising couplings: Error model and fault-tolerance with the toric code

We describe how a universal set of dynamically-corrected quantum gates can be implemented using sequences of shaped decoupling pulses on any qubit network forming a sparse bipartite graph with always-on Ising interactions. These interactions are constantly decoupled except when they are needed for two-qubit gates. We analytically study the error operators associated with the constructed gates up to third order in the Magnus expansion, analyze these errors numerically in the unitary time evolution of small qubit clusters, and give a bound on high-order errors for qubits on a large square lattice. We prove that with a large enough toric code the present gate set can be used to implement a fault-tolerant quantum memory.

preprint2013arXiv

Quantum "hyperbicycle" low-density parity check codes with finite rate

We introduce a "hyperbicycle" ansatz for quantum codes which gives the hypergraph-product (generalized toric) codes by Tillich and Zémor and generalized bicycle codes by MacKay et al. as limiting cases. The construction allows for both the lower and the upper bounds on the minimum distance; they scale as a square root of the block length. Many of thus defined codes have finite rate and a limited-weight stabilizer generators, an analog of classical low-density parity check (LDPC) codes. Compared to the hypergraph-product codes, hyperbicycle codes generally have wider range of parameters; in particular, they can have higher rate while preserving the (estimated) error threshold.

preprint2012arXiv

Fault-Tolerance of "Bad" Quantum Low-Density Parity Check Codes

We discuss error-correction properties for families of quantum low-density parity check (LDPC) codes with relative distance that tends to zero in the limit of large blocklength. In particular, we show that any family of LDPC codes, quantum or classical, where distance scales as a positive power of the block length, $d \propto n^α$, $α>0$, can correct all errors with certainty if the error rate per (qu)bit is sufficiently small. We specifically analyze the case of LDPC version of the quantum hypergraph-product codes recently suggested by Tillich and Zémor. These codes are a finite-rate generalization of the toric codes, and, for sufficiently large quantum computers, offer an advantage over the toric codes.

preprint2012arXiv

Improved quantum hypergraph-product LDPC codes

We suggest several techniques to improve the toric codes and the finite-rate generalized toric codes (quantum hypergraph-product codes) recently introduced by Tillich and Zémor. For the usual toric codes, we introduce the rotated lattices specified by two integer-valued periodicity vectors. These codes include the checkerboard codes, and the family of minimal single-qubit-encoding toric codes with block length $n=t^2+(t+1)^2$ and distance $d=2t+1$, $t=1,2,...$. We also suggest several related algebraic constructions which nearly quadruple the rate of the existing hypergraph-product codes.

preprint2012arXiv

Suppression of Hyperfine Dephasing by Spatial Exchange of Double Quantum Dots

We examine the logical qubit system of a pair of electron spins in double quantum dots. Each electron experiences a different hyperfine interaction with the local nuclei of the lattice, leading to a relative phase difference, and thus decoherence. Methods such as nuclei polarization, state narrowing, and spin-echo pulses have been proposed to delay decoherence. Instead we propose to suppress hyperfine dephasing by adiabatic rotation of the dots in real space, leading to the same average hyperfine interaction. We show that the additional effects due to the motion in the presence of spin-orbit coupling are still smaller than the hyperfine interaction, and result in an infidelity below 10^{-4} after ten decoupling cycles. We discuss a possible experimental setup and physical constraints for this proposal.

preprint2012arXiv

Universal set of scalable dynamically corrected gates for quantum error correction with always-on qubit couplings

We construct a universal set of high fidelity quantum gates to be used on a sparse bipartite lattice with always-on Ising couplings. The gates are based on dynamical decoupling sequences using shaped pulses, they protect against low-frequency phase noise, and can be run in parallel on non-neighboring qubits. This makes them suitable for implementing quantum error correction with low-density parity check codes like the surface codes and their finite-rate generalizations. We illustrate the construction by simulating quantum Zeno effect with the $[[4,2,2]]$ toric code on a spin chain.

preprint2011arXiv

Fluctuation-induced forces between inclusions in a fluid membrane under tension

We discuss the fluctuation-induced force, a finite-temperature analog of the Casimir force, between two inclusions embedded in a fluid membrane under tension. We suggest a method to calculate this Casimir interaction in the most general case, where membrane fluctuations are governed by the combined action of surface tension, bending modulus, and the Gaussian rigidity. We find that the surface tension strongly modifies the power law in the separation dependence of the Casimir interaction. This results in a strong suppression of the Casimir force at separations beyond a characteristic length, which could affect protein aggregation dynamics in cell membranes.

preprint2011arXiv

Low-complexity quantum codes designed via codeword-stabilized framework

We consider design of the quantum stabilizer codes via a two-step, low-complexity approach based on the framework of codeword-stabilized (CWS) codes. In this framework, each quantum CWS code can be specified by a graph and a binary code. For codes that can be obtained from a given graph, we give several upper bounds on the distance of a generic (additive or non-additive) CWS code, and the lower Gilbert-Varshamov bound for the existence of additive CWS codes. We also consider additive cyclic CWS codes and show that these codes correspond to a previously unexplored class of single-generator cyclic stabilizer codes. We present several families of simple stabilizer codes with relatively good parameters.

preprint2010arXiv

Clustered Error Correction of Codeword-Stabilized Quantum Codes

Codeword stabilized (CWS) codes are a general class of quantum codes that includes stabilizer codes and many families of non-additive codes with good parameters. For such a non-additive code correcting all t-qubit errors, we propose an algorithm that employs a single measurement to test all errors located on a given set of t qubits. Compared with exhaustive error screening, this reduces the total number of measurements required for error recovery by a factor of about 3^t.

preprint2010arXiv

Structured Error Recovery for Codeword-Stabilized Quantum Codes

Codeword stabilized (CWS) codes are, in general, non-additive quantum codes that can correct errors by an exhaustive search of different error patterns, similar to the way that we decode classical non-linear codes. For an n-qubit quantum code correcting errors on up to t qubits, this brute-force approach consecutively tests different errors of weight t or less, and employs a separate n-qubit measurement in each test. In this paper, we suggest an error grouping technique that allows to simultaneously test large groups of errors in a single measurement. This structured error recovery technique exponentially reduces the number of measurements by about 3^t times. While it still leaves exponentially many measurements for a generic CWS code, the technique is equivalent to syndrome-based recovery for the special case of additive CWS codes.

preprint2009arXiv

Soft-Pulse Dynamical Decoupling with Markovian Decoherence

We consider the effect of broadband decoherence on the performance of refocusing sequences, having in mind applications of dynamical decoupling in concatenation with quantum error correcting codes as the first stage of coherence protection. Specifically, we construct cumulant expansions of effective decoherence operators for a qubit driven by a pulse of a generic symmetric shape, and for several sequences of $π$- and $π/2$-pulses. While, in general, the performance of soft pulses in decoupling sequences in the presence of Markovian decoherence is worse than that of the ideal $δ$-pulses, it can be substantially improved by shaping.