English
Related papers

Related papers: Decoding binary Reed-Muller codes via Groebner bas…

200 papers

In [2] we show how to construct information sets for Reed-Muller codes only in terms of their basic parameters. In this work we deal with the corresponding problem for q-ary Generalized Reed-Muller codes of first and second order. We see…

Information Theory · Computer Science 2024-01-31 José Joaquín Bernal

Recently, Bhaintwal and Wasan studied the Generalized Reed-Muller codes over the prime power integer residue ring. In this paper, we give a generalization of these codes to Generalized Reed-Muller codes over Galois rings.

Information Theory · Computer Science 2018-01-17 Harinaivo Andriatahiny , Desiré Arsène Ratahirinjatovo , Sanni José Andrianalisefa

We show that Reed-Muller codes achieve capacity under maximum a posteriori bit decoding for transmission over the binary erasure channel for all rates $0 < R < 1$. The proof is generic and applies to other codes with sufficient amount of…

Information Theory · Computer Science 2015-05-22 Shrinivas Kudekar , Marco Mondelli , Eren Şaşoğlu , Rüdiger Urbanke

In this work, we extend modular techniques for computing Gr\"obner bases involving rational coefficients to (two-sided) ideals in free algebras. We show that the infinite nature of Gr\"obner bases in this setting renders the classical…

Symbolic Computation · Computer Science 2025-02-18 Clemens Hofstadler , Viktor Levandovskyy

Modular algorithm are widely used in computer algebra systems (CAS), for example to compute efficiently the gcd of multivariate polynomials. It is known to work to compute Groebner basis over $\Q$, but it does not seem to be popular among…

Symbolic Computation · Computer Science 2013-11-19 Bernard Parisse

We propose a new class of efficient decoding algorithms for Reed-Muller (RM) codes over binary-input memoryless channels. The algorithms are based on projecting the code on its cosets, recursively decoding the projected codes (which are…

Information Theory · Computer Science 2020-02-27 Min Ye , Emmanuel Abbe

Reed--Muller (RM) codes are known to achieve capacity on binary symmetric channels (BSC) under the Maximum a Posteriori (MAP) decoder. However, it remains an open problem to design a capacity achieving polynomial-time RM decoder. Due to a…

Information Theory · Computer Science 2025-05-05 Xuzhe Xia , Nicholas Kwan , Lele Wang

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…

Information Theory · Computer Science 2017-03-17 Ilya Dumer , Kirill Shabunov

Each linear code can be described by a code ideal given as the sum of a toric ideal and a non-prime ideal. In this way, several concepts from the theory of toric ideals can be translated into the setting of code ideals. It will be shown…

Algebraic Geometry · Mathematics 2014-01-14 Natalia Dück , Karl-Heinz Zimmermann

Boolean functions have important applications in cryptography and coding theory. Two famous classes of binary codes derived from Boolean functions are the Reed-Muller codes and Kerdock codes. In the past two decades, a lot of progress on…

Information Theory · Computer Science 2015-11-23 Cunsheng Ding

Reed-Muller codes belong to the family of affine-invariant codes. As such codes they have a defining set that determines them uniquely, and they are extensions of cyclic group codes. In this paper we identify those cyclic codes with…

Information Theory · Computer Science 2024-01-19 José Joaquín Bernal , Juan Jacobo Simón

We propose to reduce the decoding complexity of polar codes with non-Arikan kernels by employing a (near) ML decoding algorithm for the codes generated by kernel rows. A generalization of the order statistics algorithm is presented for soft…

Information Theory · Computer Science 2018-04-03 Peter Trifonov

We develop a Gr\"obner basis theory for a class of algebras that generalizes both PBW-algebras and rings of differential algebras on smooth varieties. Emphasis lies on methods to compute filtrations and graded structures defined by weight…

Rings and Algebras · Mathematics 2018-09-28 Cornelia Rottner , Mathias Schulze

Reed-Muller (RM) codes are among the oldest, simplest and perhaps most ubiquitous family of codes. They are used in many areas of coding theory in both electrical engineering and computer science. Yet, many of their important properties are…

Information Theory · Computer Science 2020-06-11 Emmanuel Abbe , Amir Shpilka , Min Ye

In this paper we outline the most general and universal algorithmic approach to reduction of loop integrals to basic integrals. The approach is based on computation of Groebner bases for recurrence relations derived from the integration by…

High Energy Physics - Phenomenology · Physics 2009-11-11 Vladimir P. Gerdt

An iterative decoding algorithm for convolutional codes is presented. It successively processes $N$ consecutive blocks of the received word in order to decode the first block. A bound is presented showing which error configurations can be…

Information Theory · Computer Science 2009-08-07 H. Gluesing-Luerssen , U. Helmke , J. I. Iglesias Curto

A set of quantum error correcting codes based on classical Reed-Muller codes is described. The codes have parameters [[n,k,d]] = [[2^r, 2^r - C(r,t) - 2 sum_{i=0}^{t-1} C(r,i), 2^t + 2^{t-1} ]].

Quantum Physics · Physics 2008-02-03 Andrew Steane

In this paper we generalize the classical Groebner basis technique to prove the existence and present a method of computation of a dimension polynomial in two variables associated with a finitely generated D-module, that is, a finitely…

Rings and Algebras · Mathematics 2012-12-11 Christian Dönch , Alexander Levin

This work studies several decoding algorithms for hyperbolic codes. We use some previous ideas to describe how to decode a hyperbolic code using the largest Reed-Muller code contained in it or using the smallest Reed-Muller code that…

Algebraic power series are formal power series which satisfy a univariate polynomial equation over the polynomial ring in n variables. This relation determines the series only up to conjugacy. Via the Artin-Mazur theorem and the implicit…

Commutative Algebra · Mathematics 2014-03-18 M. E. Alonso , F. C. Castro-Jimenez , H. Hauser