Noisy decoding by shallow circuits with parities: classical and quantum
- URL: http://arxiv.org/abs/2302.02870v2
- Date: Tue, 19 Dec 2023 10:35:13 GMT
- Title: Noisy decoding by shallow circuits with parities: classical and quantum
- Authors: Jop Bri\"et, Harry Buhrman, Davi Castro-Silva and Niels M. P. Neumann
- Abstract summary: We show that any classical circuit can correctly recover only a vanishingly small fraction of messages, if the codewords are sent over a noisy channel with positive error rate.
We give a simple quantum circuit that correctly decodes the Hadamard code with probability $Omega(varepsilon2)$ even if a $(1/2 - varepsilon)$-fraction of a codeword is adversarially corrupted.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We consider the problem of decoding corrupted error correcting codes with
NC$^0[\oplus]$ circuits in the classical and quantum settings. We show that any
such classical circuit can correctly recover only a vanishingly small fraction
of messages, if the codewords are sent over a noisy channel with positive error
rate. Previously this was known only for linear codes with large dual distance,
whereas our result applies to any code. By contrast, we give a simple quantum
circuit that correctly decodes the Hadamard code with probability
$\Omega(\varepsilon^2)$ even if a $(1/2 - \varepsilon)$-fraction of a codeword
is adversarially corrupted.
Our classical hardness result is based on an equidistribution phenomenon for
multivariate polynomials over a finite field under biased input-distributions.
This is proved using a structure-versus-randomness strategy based on a new
notion of rank for high-dimensional polynomial maps that may be of independent
interest.
Our quantum circuit is inspired by a non-local version of the
Bernstein-Vazirani problem, a technique to generate ``poor man's cat states''
by Watts et al., and a constant-depth quantum circuit for the OR function by
Takahashi and Tani.
Related papers
- Quantum Lego Expansion Pack: Enumerators from Tensor Networks [1.489619600985197]
We provide the first tensor network method for computing quantum weight enumerators in the most general form.
For non-(Pauli)-stabilizer codes, this constitutes the current best algorithm for computing the code distance.
We show that these enumerators can be used to compute logical error rates exactly and thus construct decoders for any i.i.d. single qubit or qudit error channels.
arXiv Detail & Related papers (2023-08-09T18:00:02Z) - Pauli Manipulation Detection codes and Applications to Quantum Communication over Adversarial Channels [0.08702432681310403]
We introduce and explicitly construct a quantum code we coin a "Pauli Manipulation Detection" code (or PMD), which detects every Pauli error with high probability.
We apply them to construct the first near-optimal codes for two tasks in quantum communication over adversarial channels.
arXiv Detail & Related papers (2023-04-13T05:05:35Z) - Local Probabilistic Decoding of a Quantum Code [0.0]
flip is an extremely simple and maximally local classical decoder.
Lowest-weight uncorrectable errors for this decoder are closer to correctable errors than to other uncorrectable errors.
Introducing randomness into the decoder can allow it to correct these "uncorrectable" errors with finite probability.
arXiv Detail & Related papers (2022-12-14T02:44:26Z) - Quantum Worst-Case to Average-Case Reductions for All Linear Problems [66.65497337069792]
We study the problem of designing worst-case to average-case reductions for quantum algorithms.
We provide an explicit and efficient transformation of quantum algorithms that are only correct on a small fraction of their inputs into ones that are correct on all inputs.
arXiv Detail & Related papers (2022-12-06T22:01:49Z) - Quantum computation on a 19-qubit wide 2d nearest neighbour qubit array [59.24209911146749]
This paper explores the relationship between the width of a qubit lattice constrained in one dimension and physical thresholds.
We engineer an error bias at the lowest level of encoding using the surface code.
We then address this bias at a higher level of encoding using a lattice-surgery surface code bus.
arXiv Detail & Related papers (2022-12-03T06:16:07Z) - A single $T$-gate makes distribution learning hard [56.045224655472865]
This work provides an extensive characterization of the learnability of the output distributions of local quantum circuits.
We show that for a wide variety of the most practically relevant learning algorithms -- including hybrid-quantum classical algorithms -- even the generative modelling problem associated with depth $d=omega(log(n))$ Clifford circuits is hard.
arXiv Detail & Related papers (2022-07-07T08:04:15Z) - A lower bound on the space overhead of fault-tolerant quantum computation [51.723084600243716]
The threshold theorem is a fundamental result in the theory of fault-tolerant quantum computation.
We prove an exponential upper bound on the maximal length of fault-tolerant quantum computation with amplitude noise.
arXiv Detail & Related papers (2022-01-31T22:19:49Z) - Towards Demonstrating Fault Tolerance in Small Circuits Using Bacon-Shor
Codes [5.352699766206807]
We study a next step - fault-tolerantly implementing quantum circuits.
We compute pseudo-thresholds for the Pauli error rate $p$ in a depolarizing noise model.
We see that multiple rounds of stabilizer measurements give an improvement over performing a single round at the end.
arXiv Detail & Related papers (2021-08-04T14:24:14Z) - Fault-tolerant Coding for Quantum Communication [71.206200318454]
encode and decode circuits to reliably send messages over many uses of a noisy channel.
For every quantum channel $T$ and every $eps>0$ there exists a threshold $p(epsilon,T)$ for the gate error probability below which rates larger than $C-epsilon$ are fault-tolerantly achievable.
Our results are relevant in communication over large distances, and also on-chip, where distant parts of a quantum computer might need to communicate under higher levels of noise.
arXiv Detail & Related papers (2020-09-15T15:10:50Z) - Describing quantum metrology with erasure errors using weight
distributions of classical codes [9.391375268580806]
We consider using quantum probe states with a structure that corresponds to classical $[n,k,d]$ binary block codes of minimum distance.
We obtain bounds on the ultimate precision that these probe states can give for estimating the unknown magnitude of a classical field.
arXiv Detail & Related papers (2020-07-06T16:22:40Z) - Quantum Gram-Schmidt Processes and Their Application to Efficient State
Read-out for Quantum Algorithms [87.04438831673063]
We present an efficient read-out protocol that yields the classical vector form of the generated state.
Our protocol suits the case that the output state lies in the row space of the input matrix.
One of our technical tools is an efficient quantum algorithm for performing the Gram-Schmidt orthonormal procedure.
arXiv Detail & Related papers (2020-04-14T11:05:26Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.