Showing 1–28 of 28 results for author: Dumer, I

Codes approaching the Shannon limit with polynomial complexity per information bit

Authors: Ilya Dumer, Navid Gharavi

Abstract: We consider codes for channels with extreme noise that emerge in various low-power applications. Simple LDPC-type codes with parity checks of weight 3 are first studied for any dimension $m\rightarrow\infty.$ These codes form modulation schemes: they improve the original channel output for any $SNR>$ $-6$ dB (per information bit) and gain $3$ dB over uncoded modulation as $SNR$ grows. However, the… ▽ More We consider codes for channels with extreme noise that emerge in various low-power applications. Simple LDPC-type codes with parity checks of weight 3 are first studied for any dimension $m\rightarrow\infty.$ These codes form modulation schemes: they improve the original channel output for any $SNR>$ $-6$ dB (per information bit) and gain $3$ dB over uncoded modulation as $SNR$ grows. However, they also have a floor on the output bit error rate (BER) irrespective of their length. Tight lower and upper bounds, which are virtually identical to simulation results, are then obtained for BER at any SNR. We also study a combined scheme that splits $m$ information bits into $b$ blocks and protects each with some polar code. Decoding moves back and forth between polar and LDPC codes, every time using a polar code of a higher rate. For a sufficiently large constant $b$ and $m\rightarrow\infty$, this design yields a vanishing BER at any SNR that is arbitrarily close to the Shannon limit of -1.59 dB. Unlike other existing designs, this scheme has polynomial complexity of order $m\ln m$ per information bit. △ Less

Submitted 25 January, 2021; originally announced January 2021.

Comments: 18 pages, 3 figures

Duality and free energy analyticity bounds for few-body Ising models with extensive homology rank

Authors: Yi Jiang, Ilya Dumer, Alexey A. Kovalev, Leonid P. Pryadko

Abstract: We consider pairs of few-body Ising models where each spin enters a bounded number of interaction terms (bonds), such that each model can be obtained from the dual of the other after freezing $k$ spins on large-degree sites. Such a pair of Ising models can be interpreted as a two-chain complex with $k$ being the rank of the first homology group. Our focus is on the case where $k$ is extensive, tha… ▽ More We consider pairs of few-body Ising models where each spin enters a bounded number of interaction terms (bonds), such that each model can be obtained from the dual of the other after freezing $k$ spins on large-degree sites. Such a pair of Ising models can be interpreted as a two-chain complex with $k$ being the rank of the first homology group. Our focus is on the case where $k$ is extensive, that is, scales linearly with the number of bonds $n$. Flip** any of these additional spins introduces a homologically non-trivial defect (generalized domain wall). In the presence of bond disorder, we prove the existence of a low-temperature weak-disorder region where additional summation over the defects have no effect on the free energy density $f(T)$ in the thermodynamical limit, and of a high-temperature region where in the ferromagnetic case an extensive homological defect does not affect $f(T)$. We also discuss the convergence of the high- and low-temperature series for the free energy density, prove the analyticity of limiting $f(T)$ at high and low temperatures, and construct inequalities for the critical point(s) where analyticity is lost. As an application, we prove multiplicity of the conventionally defined critical points for Ising models on all $\{f,d\}$ tilings of the hyperbolic plane, where $df/(d+f)>2$. Namely, for these infinite graphs, we show that critical temperatures with free and wired boundary conditions differ, $T_c^{(\mathrm{f})}<T_c^{(\mathrm{w})}$. △ Less

Submitted 8 May, 2018; v1 submitted 2 May, 2018; originally announced May 2018.

Comments: 18 pages, 6 figures

Numerical and analytical bounds on threshold error rates for hypergraph-product codes

Authors: Alexey A. Kovalev, Sanjay Prabhakar, Ilya Dumer, Leonid P. Pryadko

Abstract: We study analytically and numerically decoding properties of finite rate hypergraph-product quantum LDPC codes obtained from random (3,4)-regular Gallager codes, with a simple model of independent X and Z errors. Several non-trival lower and upper bounds for the decodable region are constructed analytically by analyzing the properties of the homological difference, equal minus the logarithm of the… ▽ More We study analytically and numerically decoding properties of finite rate hypergraph-product quantum LDPC codes obtained from random (3,4)-regular Gallager codes, with a simple model of independent X and Z errors. Several non-trival lower and upper bounds for the decodable region are constructed analytically by analyzing the properties of the homological difference, equal minus the logarithm of the maximum-likelihood decoding probability for a given syndrome. Numerical results include an upper bound for the decodable region from specific heat calculations in associated Ising models, and a minimum weight decoding threshold of approximately 7%. △ Less

Submitted 13 June, 2018; v1 submitted 5 April, 2018; originally announced April 2018.

Comments: 14 pages, 5 figures

Journal ref: Phys. Rev. A 97, 062320 (2018)

An elementary description of polarization process

Authors: Ilya Dumer

Abstract: We analyze successive cancellation (SC) decoder by using two random functions. The first function is related to the likelihoods of 0 and 1 in each code position, while the second gives the difference between their posterior probabilities. We then study the second power moments of both functions. We show that these moments are being squared in channel transformations, while their product tends to 0… ▽ More We analyze successive cancellation (SC) decoder by using two random functions. The first function is related to the likelihoods of 0 and 1 in each code position, while the second gives the difference between their posterior probabilities. We then study the second power moments of both functions. We show that these moments are being squared in channel transformations, while their product tends to 0 for growing lengths $n$. This gives an elementary proof of polarization properties of SC decoding. We also derive a simple ordering of decoding channels with construction complexity of order $n\log n$. △ Less

Submitted 23 May, 2020; v1 submitted 21 June, 2017; originally announced June 2017.

Comments: The paper employs wrong equation (14) in Section 5. This equation is then used in Sections 6 and 7. In particular, Theorem 1 of Section 6 contains incorrect proof

On decoding algorithms for polar codes

Authors: Ilya Dumer

Abstract: We survey the known list decoding algorithms for polar codes and compare their complexity. Index terms: Polar codes; Reed-Muller codes; successive cancellation decoding. We survey the known list decoding algorithms for polar codes and compare their complexity. Index terms: Polar codes; Reed-Muller codes; successive cancellation decoding. △ Less

Submitted 17 March, 2017; v1 submitted 14 March, 2017; originally announced March 2017.

Comments: 4 pages, 2 figures

Recursive Decoding and Its Performance for Low-Rate Reed-Muller Codes

Authors: Ilya Dumer

Abstract: Recursive decoding techniques are considered for Reed-Muller (RM) codes of growing length $n$ and fixed order $r.$ An algorithm is designed that has complexity of order $n\log n$ and corrects most error patterns of weight up to $n(1/2-\varepsilon)$ given that $\varepsilon$ exceeds $n^{-1/2^{r}}.$ This improves the asymptotic bounds known for decoding RM codes with nonexponential complexity. Recursive decoding techniques are considered for Reed-Muller (RM) codes of growing length $n$ and fixed order $r.$ An algorithm is designed that has complexity of order $n\log n$ and corrects most error patterns of weight up to $n(1/2-\varepsilon)$ given that $\varepsilon$ exceeds $n^{-1/2^{r}}.$ This improves the asymptotic bounds known for decoding RM codes with nonexponential complexity. △ Less

Submitted 14 March, 2017; originally announced March 2017.

Journal ref: IEEE Trans. Info. Theory, vol. 50, pp. 811-823, 2004

Soft decision decoding of Reed-Muller codes: recursive lists

Authors: Ilya Dumer, Kirill Shabunov

Abstract: Recursive list decoding is considered for Reed-Muller (RM) codes. The algorithm repeatedly relegates itself to the shorter RM codes by recalculating the posterior probabilities of their symbols. Intermediate decodings are only performed when these recalculations reach the trivial RM codes. In turn, the updated lists of most plausible codewords are used in subsequent decodings. The algorithm is fur… ▽ More Recursive list decoding is considered for Reed-Muller (RM) codes. The algorithm repeatedly relegates itself to the shorter RM codes by recalculating the posterior probabilities of their symbols. Intermediate decodings are only performed when these recalculations reach the trivial RM codes. In turn, the updated lists of most plausible codewords are used in subsequent decodings. The algorithm is further improved by using permutation techniques on code positions and by eliminating the most error-prone information bits. Simulation results show that for all RM codes of length 256 and many subcodes of length 512, these algorithms approach maximum-likelihood (ML) performance within a margin of 0.1 dB. As a result, we present tight experimental bounds on ML performance for these codes. △ Less

Submitted 14 March, 2017; originally announced March 2017.

Journal ref: IEEE Trans. Info. Theory, vol. 52, no. 3, pp. 1260-1266, 2006

Recursive List Decoding for Reed-Muller Codes

Authors: Ilya Dumer, Kirill Shabunov

Abstract: We consider recursive decoding for Reed-Muller (RM) codes and their subcodes. Two new recursive techniques are described. We analyze asymptotic properties of these algorithms and show that they substantially outperform other decoding algorithms with nonexponential complexity known for RM codes. Decoding performance is further enhanced by using intermediate code lists and permutation procedures. Fo… ▽ More We consider recursive decoding for Reed-Muller (RM) codes and their subcodes. Two new recursive techniques are described. We analyze asymptotic properties of these algorithms and show that they substantially outperform other decoding algorithms with nonexponential complexity known for RM codes. Decoding performance is further enhanced by using intermediate code lists and permutation procedures. For moderate lengths up to 512, near-optimum decoding with feasible complexity is obtained. △ Less

Submitted 14 March, 2017; originally announced March 2017.

Journal ref: "Information, Coding and Mathematics", ed. M. Blaum, P. Farrell, and H.C.A. van Tilborg, Kluwer, Boston, 2002, pp. 279-298

Recursive decoding of Reed-Muller codes

Authors: Ilya Dumer

Abstract: New soft- and hard decision decoding algorithms are presented for general Reed-Muller codes $\left\{\genfrac{}{}{0pt}{}{m}{r}\right\} $ of length $2^{m}$ and distance $2^{m-r}$. We use Plotkin $(u,u+v)$ construction and decompose code $\left\{\genfrac{}{}{0pt}{}{m}{r}\right\} $ onto subblocks $u\in\left\{\genfrac{}{}{0pt}{}{m-1}{r}\right\} $ and… ▽ More New soft- and hard decision decoding algorithms are presented for general Reed-Muller codes $\left\{\genfrac{}{}{0pt}{}{m}{r}\right\} $ of length $2^{m}$ and distance $2^{m-r}$. We use Plotkin $(u,u+v)$ construction and decompose code $\left\{\genfrac{}{}{0pt}{}{m}{r}\right\} $ onto subblocks $u\in\left\{\genfrac{}{}{0pt}{}{m-1}{r}\right\} $ and $v\in\left\{\genfrac{}{}{0pt}{}{m-1}{r-1}\right\} .$ In decoding, we first try to find a subblock $v$ from the better protected code and then proceed with the block $u$. The likelihoods of the received symbols are recalculated in a way similar to belief propagation. Thus, decoding is relegated to the two constituent codes. We repeat this recursion and execute decoding only at the end nodes $\left\{\genfrac{}{}{0pt}{}{j}{1}\right\} $ and $\left\{\genfrac{}{}{0pt}{}{j}{j-1}\right\} $. The overall complexity has low order of $n\log n.$ It is shown that this decoding substantially outperforms other algorithms of polynomial complexity known for RM codes. In particular, for medium and high code rates, the algorithm corrects most error patterns of weight $d\ln d/2.$ △ Less

Submitted 14 March, 2017; originally announced March 2017.

Journal ref: Proc. 37th Allerton Conf. on Commun., Control, and Computing, Monticello, IL, USA, 1999, pp. 61-69

Recursive constructions and their maximum likelihood decoding

Authors: Ilya Dumer, Kirill Shabunov

Abstract: We consider recursive decoding techniques for RM codes, their subcodes, and newly designed codes. For moderate lengths up to 512, we obtain near-optimum decoding with feasible complexity. We consider recursive decoding techniques for RM codes, their subcodes, and newly designed codes. For moderate lengths up to 512, we obtain near-optimum decoding with feasible complexity. △ Less

Submitted 14 March, 2017; originally announced March 2017.

Journal ref: Proc. 38th Allerton Conf. Communication, Control, and Computing, Monticello, IL, USA, 2000, pp. 71-80

Polar codes with a stepped boundary

Authors: Ilya Dumer

Abstract: We consider explicit polar constructions of blocklength $n\rightarrow\infty$ for the two extreme cases of code rates $R\rightarrow1$ and $R\rightarrow0.$ For code rates $R\rightarrow1,$ we design codes with complexity order of $n\log n$ in code construction, encoding, and decoding. These codes achieve the vanishing output bit error rates on the binary symmetric channels with any transition error p… ▽ More We consider explicit polar constructions of blocklength $n\rightarrow\infty$ for the two extreme cases of code rates $R\rightarrow1$ and $R\rightarrow0.$ For code rates $R\rightarrow1,$ we design codes with complexity order of $n\log n$ in code construction, encoding, and decoding. These codes achieve the vanishing output bit error rates on the binary symmetric channels with any transition error probability $p\rightarrow 0$ and perform this task with a substantially smaller redundancy $(1-R)n$ than do other known high-rate codes, such as BCH codes or Reed-Muller (RM). We then extend our design to the low-rate codes that achieve the vanishing output error rates with the same complexity order of $n\log n$ and an asymptotically optimal code rate $R\rightarrow0$ for the case of $p\rightarrow1/2.$ △ Less

Submitted 16 February, 2017; originally announced February 2017.

Comments: This article has been submitted to ISIT 2017

Distance verification for classical and quantum LDPC codes

Authors: Ilya Dumer, Alexey A. Kovalev, Leonid P. Pryadko

Abstract: 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-corre… ▽ More 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. △ Less

Submitted 22 November, 2016; originally announced November 2016.

Comments: 16 pages, 2 figures

Distance verification for LDPC codes

Authors: Ilya Dumer, Alexey A. Kovalev, Leonid P. Pryadko

Abstract: 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… ▽ More 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. △ Less

Submitted 8 May, 2016; originally announced May 2016.

Comments: 5 pages, 1 figure, to appear in Proceedings of ISIT 2016 - IEEE International Symposium on Information Theory, Barcelona

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

Authors: Ilya Dumer, Alexey A. Kovalev, Leonid P. Pryadko

Abstract: 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 dis… ▽ More 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. △ Less

Submitted 18 December, 2014; originally announced December 2014.

Comments: 10 pages, 2 figures

Journal ref: Phys. Rev. Lett. 115, 050502 (2015)

Numerical Techniques for Finding the Distances of Quantum Codes

Authors: Ilya Dumer, Alexey A. Kovalev, Leonid P. Pryadko

Abstract: 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)… ▽ More 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. △ Less

Submitted 2 May, 2014; originally announced May 2014.

Comments: 5 pages, 1 figure, to appear in Proceedings of ISIT 2014 - IEEE International Symposium on Information Theory, Honolulu

Linked-Cluster Technique for Finding the Distance of a Quantum LDPC Code

Authors: Alexey A. Kovalev, Ilya Dumer, Leonid P. Pryadko

Abstract: We present a linked-cluster technique for calculating the distance of a quantum LDPC code. It offers an advantage over existing deterministic techniques for codes with small relative distances (which includes all known families of quantum LDPC codes), and over the probabilistic technique for codes with sufficiently high rates. We present a linked-cluster technique for calculating the distance of a quantum LDPC code. It offers an advantage over existing deterministic techniques for codes with small relative distances (which includes all known families of quantum LDPC codes), and over the probabilistic technique for codes with sufficiently high rates. △ Less

Submitted 7 February, 2013; originally announced February 2013.

Comments: 5.5 pages

Low-complexity quantum codes designed via codeword-stabilized framework

Authors: Alexey A. Kovalev, Ilya Dumer, Leonid P. Pryadko

Abstract: 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 Gi… ▽ More 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. △ Less

Submitted 27 August, 2011; originally announced August 2011.

Comments: 12 pages, 3 figures, 1 table

Journal ref: Phys. Rev. A 84, 062319 (2011)

Structured Error Recovery for Codeword-Stabilized Quantum Codes

Authors: Yunfan Li, Ilya Dumer, Markus Grassl, Leonid P. Pryadko

Abstract: 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 meas… ▽ More 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 grou** 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. △ Less

Submitted 8 March, 2010; v1 submitted 16 December, 2009; originally announced December 2009.

Comments: 13 pages, 9 eps figures

Journal ref: Phys. Rev. A 81, 052337 (2010)

Clustered Error Correction of Codeword-Stabilized Quantum Codes

Authors: Yunfan Li, Ilya Dumer, Leonid P. Pryadko

Abstract: 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 tota… ▽ More 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. △ Less

Submitted 8 March, 2010; v1 submitted 12 July, 2009; originally announced July 2009.

Comments: 4 pages, 2 figures, revtex4; number of editorial changes in v4

On the Fingerprinting Capacity Under the Marking Assumption

Authors: N. Prasanth Anthapadmanabhan, Alexander Barg, Ilya Dumer

Abstract: We address the maximum attainable rate of fingerprinting codes under the marking assumption, studying lower and upper bounds on the value of the rate for various sizes of the attacker coalition. Lower bounds are obtained by considering typical coalitions, which represents a new idea in the area of fingerprinting and enables us to improve the previously known lower bounds for coalitions of size t… ▽ More We address the maximum attainable rate of fingerprinting codes under the marking assumption, studying lower and upper bounds on the value of the rate for various sizes of the attacker coalition. Lower bounds are obtained by considering typical coalitions, which represents a new idea in the area of fingerprinting and enables us to improve the previously known lower bounds for coalitions of size two and three. For upper bounds, the fingerprinting problem is modelled as a communications problem. It is shown that the maximum code rate is bounded above by the capacity of a certain class of channels, which are similar to the multiple-access channel. Converse coding theorems proved in the paper provide new upper bounds on fingerprinting capacity. It is proved that capacity for fingerprinting against coalitions of size two and three over the binary alphabet satisfies $0.25 \leq C_{2,2} \leq 0.322$ and $0.083 \leq C_{3,2} \leq 0.199$ respectively. For coalitions of an arbitrary fixed size $t,$ we derive an upper bound $(t\ln2)^{-1}$ on fingerprinting capacity in the binary case. Finally, for general alphabets, we establish upper bounds on the fingerprinting capacity involving only single-letter mutual information quantities. △ Less

Submitted 20 February, 2008; v1 submitted 14 December, 2006; originally announced December 2006.

Comments: final version, 12 pages, 2 figures, to appear in IEEE Trans. on Inform. Theory - Special Issue on Information-theoretic Security, Jun 2008, simplified proofs in Sections II and III, changes in Theorem 4.1

Covering spheres with spheres

Authors: Ilya Dumer

Abstract: Given a sphere of any radius $r$ in an $n$-dimensional Euclidean space, we study the coverings of this sphere with solid spheres of radius one. Our goal is to design a covering of the lowest covering density, which defines the average number of solid spheres covering a point in a bigger sphere. For a growing dimension $n,$ we design a covering that has covering density of order $(n\ln n)/2$ for th… ▽ More Given a sphere of any radius $r$ in an $n$-dimensional Euclidean space, we study the coverings of this sphere with solid spheres of radius one. Our goal is to design a covering of the lowest covering density, which defines the average number of solid spheres covering a point in a bigger sphere. For a growing dimension $n,$ we design a covering that has covering density of order $(n\ln n)/2$ for the full Euclidean space or for a sphere of any radius $r>1.$ This new upper bound reduces two times the asymptotic order of $n\ln n$ established in the classical Rogers bound. △ Less

Submitted 20 May, 2018; v1 submitted 31 May, 2006; originally announced June 2006.

Comments: 11 pages, 1 figure

Journal ref: Discrete Computational Geometry, vol. 38, pp. 665--679, 2007

Non-Holonomic Control IV : Coherence Protection in a Rubidium isotope

Authors: E. Brion, V. M. Akulin, D. Comparat, I. Dumer, V. Gershkovich, G. Harel, G. Kurizki, I. Mazets, P. Pillet

Abstract: In this paper, we present a realistic application of the coherence protection method proposed in the previous article. A qubit of information encoded on the two spin states of a Rubidium isotope is protected from the action of electric and magnetic fields. In this paper, we present a realistic application of the coherence protection method proposed in the previous article. A qubit of information encoded on the two spin states of a Rubidium isotope is protected from the action of electric and magnetic fields. △ Less

Submitted 16 July, 2005; originally announced July 2005.

Non-Holonomic Control III : Coherence Protection by the Quantum Zeno Effect and Non-Holonomic Control

Authors: E. Brion, V. M. Akulin, D. Comparat, I. Dumer, V. Gershkovich, G. Harel, G. Kurizki, I. Mazets, P. Pillet

Abstract: In this paper, we present a coherence protection method based upon a multidimensional generalization of the Quantum Zeno Effect, as well as ideas from the coding theory. The non-holonomic control technique is employed as a physical tool which allows its effective implementation. The two limiting cases of small and large quantum systems are considered. In this paper, we present a coherence protection method based upon a multidimensional generalization of the Quantum Zeno Effect, as well as ideas from the coding theory. The non-holonomic control technique is employed as a physical tool which allows its effective implementation. The two limiting cases of small and large quantum systems are considered. △ Less

Submitted 16 July, 2005; originally announced July 2005.

Non-holonomic Control II : Non-holonomic Quantum Devices

Authors: E. Brion, V. M. Akulin, D. Comparat, I. Dumer, V. Gershkovich, G. Harel, G. Kurizki, I. Mazets, P. Pillet

Abstract: In this paper, we show how the non-holonomic control technique can be employed to build completely controlled quantum devices. Examples of such controlled structures are provided. In this paper, we show how the non-holonomic control technique can be employed to build completely controlled quantum devices. Examples of such controlled structures are provided. △ Less

Submitted 16 July, 2005; originally announced July 2005.

Non-Holonomic Control I

Authors: E. Brion, V. M. Akulin, D. Comparat, I. Dumer, V. Gershkovich, G. Harel, G. Kurizki, I. Mazets, P. Pillet

Abstract: In this paper, we present a universal control technique, the non-holonomic control, which allows us to impose any arbitrarily prescribed unitary evolution to any quantum system through the alternate application of two well-chosen perturbations. In this paper, we present a universal control technique, the non-holonomic control, which allows us to impose any arbitrarily prescribed unitary evolution to any quantum system through the alternate application of two well-chosen perturbations. △ Less

Submitted 16 July, 2005; originally announced July 2005.

Long Nonbinary Codes Exceeding the Gilbert - Varshamov Bound for any Fixed Distance

Authors: Sergey Yekhanin, Ilya Dumer

Abstract: Let A(q,n,d) denote the maximum size of a q-ary code of length n and distance d. We study the minimum asymptotic redundancy ρ(q,n,d)=n-log_q A(q,n,d) as n grows while q and d are fixed. For any d and q<=d-1, long algebraic codes are designed that improve on the BCH codes and have the lowest asymptotic redundancy ρ(q,n,d) <= ((d-3)+1/(d-2)) log_q n known to date. Prior to this work, codes of fixe… ▽ More Let A(q,n,d) denote the maximum size of a q-ary code of length n and distance d. We study the minimum asymptotic redundancy ρ(q,n,d)=n-log_q A(q,n,d) as n grows while q and d are fixed. For any d and q<=d-1, long algebraic codes are designed that improve on the BCH codes and have the lowest asymptotic redundancy ρ(q,n,d) <= ((d-3)+1/(d-2)) log_q n known to date. Prior to this work, codes of fixed distance that asymptotically surpass BCH codes and the Gilbert-Varshamov bound were designed only for distances 4,5 and 6. △ Less

Submitted 23 June, 2004; v1 submitted 21 June, 2004; originally announced June 2004.

Comments: Submitted to IEEE Trans. on Info. Theory

Coherence protection by the quantum Zeno effect and non-holonomic control in a Rydberg Rubidium isotope

Authors: E. Brion, V. M. Akulin, D. Comparat, I. Dumer, G. Harel, N. Kebaili, G. Kurizki, I. Mazets, P. Pillet

Abstract: The protection of the coherence of open quantum systems against the influence of their environment is a very topical issue. A scheme is proposed here which protects a general quantum system from the action of a set of arbitrary uncontrolled unitary evolutions. This method draws its inspiration from ideas of standard error-correction (ancilla adding, coding and decoding) and the Quantum Zeno Effe… ▽ More The protection of the coherence of open quantum systems against the influence of their environment is a very topical issue. A scheme is proposed here which protects a general quantum system from the action of a set of arbitrary uncontrolled unitary evolutions. This method draws its inspiration from ideas of standard error-correction (ancilla adding, coding and decoding) and the Quantum Zeno Effect. A pedagogical demonstration of our method on a simple atomic system, namely a Rubidium isotope, is proposed. △ Less

Submitted 3 October, 2005; v1 submitted 30 March, 2004; originally announced March 2004.

Comments: 17 pages, 6 figures

Journal ref: Phys. Rev. A 71, 052311 (2005)

Decoherence Correction by the Zeno Effect and Non-Holonomic Control

Authors: E. Brion, G. Harel, N. Kebaili, V. M. Akulin, I. Dumer

Abstract: We show that multidimensional Zeno effect combined with non-holonomic control allows to efficiently protect quantum systems from decoherence by a method similar to classical coding. Contrary to the conventional approach, our method is applicable to arbitrary error-inducing Hamiltonians and general quantum systems. We also propose algorithms of finding encoding that approaches the Hamming upper b… ▽ More We show that multidimensional Zeno effect combined with non-holonomic control allows to efficiently protect quantum systems from decoherence by a method similar to classical coding. Contrary to the conventional approach, our method is applicable to arbitrary error-inducing Hamiltonians and general quantum systems. We also propose algorithms of finding encoding that approaches the Hamming upper bound along with methods of practical realizations of the encodings. Two new codes protecting 2 information qubits out of 7 and 4 information qubits out of 9 against a single error with arbitrarily small probability of failure are constructed as an example. △ Less

Submitted 31 October, 2002; originally announced November 2002.

Comments: 4 revtex pages

Journal ref: Europhys. Lett. 66, 157 (2004); J. Opt. B: Quantum Semiclass. Opt. 7, S353 (2005)