2,878 research outputs found
Lemma for Linear Feedback Shift Registers and DFTs Applied to Affine Variety Codes
In this paper, we establish a lemma in algebraic coding theory that
frequently appears in the encoding and decoding of, e.g., Reed-Solomon codes,
algebraic geometry codes, and affine variety codes. Our lemma corresponds to
the non-systematic encoding of affine variety codes, and can be stated by
giving a canonical linear map as the composition of an extension through linear
feedback shift registers from a Grobner basis and a generalized inverse
discrete Fourier transform. We clarify that our lemma yields the error-value
estimation in the fast erasure-and-error decoding of a class of dual affine
variety codes. Moreover, we show that systematic encoding corresponds to a
special case of erasure-only decoding. The lemma enables us to reduce the
computational complexity of error-evaluation from O(n^3) using Gaussian
elimination to O(qn^2) with some mild conditions on n and q, where n is the
code length and q is the finite-field size.Comment: 37 pages, 1 column, 10 figures, 2 tables, resubmitted to IEEE
Transactions on Information Theory on Jan. 8, 201
Efficient Multi-Point Local Decoding of Reed-Muller Codes via Interleaved Codex
Reed-Muller codes are among the most important classes of locally correctable
codes. Currently local decoding of Reed-Muller codes is based on decoding on
lines or quadratic curves to recover one single coordinate. To recover multiple
coordinates simultaneously, the naive way is to repeat the local decoding for
recovery of a single coordinate. This decoding algorithm might be more
expensive, i.e., require higher query complexity. In this paper, we focus on
Reed-Muller codes with usual parameter regime, namely, the total degree of
evaluation polynomials is , where is the code alphabet size
(in fact, can be as big as in our setting). By introducing a novel
variation of codex, i.e., interleaved codex (the concept of codex has been used
for arithmetic secret sharing \cite{C11,CCX12}), we are able to locally recover
arbitrarily large number of coordinates of a Reed-Muller code
simultaneously at the cost of querying coordinates. It turns out that
our local decoding of Reed-Muller codes shows ({\it perhaps surprisingly}) that
accessing locations is in fact cheaper than repeating the procedure for
accessing a single location for times. Our estimation of success error
probability is based on error probability bound for -wise linearly
independent variables given in \cite{BR94}
Qudit surface codes and gauge theory with finite cyclic groups
Surface codes describe quantum memory stored as a global property of
interacting spins on a surface. The state space is fixed by a complete set of
quasi-local stabilizer operators and the code dimension depends on the first
homology group of the surface complex. These code states can be actively
stabilized by measurements or, alternatively, can be prepared by cooling to the
ground subspace of a quasi-local spin Hamiltonian. In the case of spin-1/2
(qubit) lattices, such ground states have been proposed as topologically
protected memory for qubits. We extend these constructions to lattices or more
generally cell complexes with qudits, either of prime level or of level
for prime and , and therefore under tensor
decomposition, to arbitrary finite levels. The Hamiltonian describes an exact
gauge theory whose excitations
correspond to abelian anyons. We provide protocols for qudit storage and
retrieval and propose an interferometric verification of topological order by
measuring quasi-particle statistics.Comment: 26 pages, 5 figure
Quantum information and statistical mechanics: an introduction to frontier
This is a short review on an interdisciplinary field of quantum information
science and statistical mechanics. We first give a pedagogical introduction to
the stabilizer formalism, which is an efficient way to describe an important
class of quantum states, the so-called stabilizer states, and quantum
operations on them. Furthermore, graph states, which are a class of stabilizer
states associated with graphs, and their applications for measurement-based
quantum computation are also mentioned. Based on the stabilizer formalism, we
review two interdisciplinary topics. One is the relation between quantum error
correction codes and spin glass models, which allows us to analyze the
performances of quantum error correction codes by using the knowledge about
phases in statistical models. The other is the relation between the stabilizer
formalism and partition functions of classical spin models, which provides new
quantum and classical algorithms to evaluate partition functions of classical
spin models.Comment: 15pages, 4 figures, to appear in Proceedings of 4th YSM-SPIP (Sendai,
14-16 December 2012
- …