13
$\begingroup$

What are topics in error-correcting coding which are related to interesting math. ? I am primarely interested in nowdays hot topics, but old days topics are also welcome.

Let me try to mention what I heard about.

1) Hot topic in error-correction is finding LDPC codes with very low "error-floor" for code lengths dozens thoursands bits, this might be useful for optic transmission. However it is not clear for me what kind of math playing role here ? ("Error-floor" is related with codewords with small Hamming weight. So the code might be quite good - means majority of codewords have big Hamming weight, so in most case code performs well, but very small number having small Hamming weight will cause small number of errors - it can be seen on the BER/SNR plot as a "floor".)

2) There is certain number of papers applying number theory (lattices in algebraic number fields) to consruct good codes. One may see papers by F. Oggier, G. Rekaya-Ben Othman, J.-C. Belfiore, E. Viterbo: e.g. this one : http://arxiv.org/abs/cs/0604093. I am not aware how "hot" is this topic and how far it is from practical applications...

3) Polar codes is a hot topic. What kind of math is playing role here ?

4) Probably most classical example is the Golay code (1948) and sporadic simple Mathieu groups. Let me quote Wikipedia: http://en.wikipedia.org/wiki/Binary_Golay_code : "The automorphism group of the binary Golay code is the Mathieu group . The automorphism group of the extended binary Golay code is the Mathieu group . The other Mathieu groups occur as stabilizers of one or several elements of W." By the way - is it occasional coincidence of there is something behind it ?

$\endgroup$
15
  • 1
    $\begingroup$ There is certainly some "recent" mathematical research going into ECC as applications. The first example that comes into mind are expanders graphs, and the construction of LDPC codes by Margulis (see for example here - nd.edu/~rosen/Paper/margulis_8.pdf). $\endgroup$
    – Asaf
    Mar 25, 2012 at 19:50
  • $\begingroup$ arxiv.org/abs/1209.3460 Expander-like Codes based on Finite Projective Geometry Swadesh Choudhary, Hrishikesh Sharma, B. S. Adiga, Sachin Patkar (Submitted on 16 Sep 2012) We present a novel error correcting code and decoding algorithm which have construction similar to expander codes. The code is based on a bipartite graph derived from the subsumption relations of finite projective geometry, and Reed-Solomon codes as component codes. We use a modified version of well-known Zemor's decoding algorithm for expander codes, for decoding our codes. ........... $\endgroup$ Sep 18, 2012 at 6:25
  • 1
    $\begingroup$ books.google.com/… Coding theory and algebraic curves over finite fields G VAN DER GEER - … of Algebraic Geometry to Coding Theory, …, 2001 ... tautological classes on the moduli space and the not less spectacular proof by Kontsevich of this ... Deligne and Lusztig showed that irreducible representations of finite Lie groups can be found in a ... For example, the bounds on the number of rational points on cu $\endgroup$ Sep 22, 2012 at 17:16
  • $\begingroup$ arxiv.org/abs/1210.0083 Decoding a Class of Affine Variety Codes with Fast DFT Hajime Matsui An efficient procedure for error-value calculations based on fast discrete Fourier transforms (DFT) in conjunction with Berlekamp-Massey-Sakata algorithm for a class of affine variety codes is proposed. Our procedure is achieved by multidimensional DFT and linear recurrence relations from Grobner basis and is applied to erasure-and-erro ... A motivating example of our algorithm in case of a Reed-Solomon code and a numerical example of our algorithm in case of a Hermitian code are also described. $\endgroup$ Oct 2, 2012 at 5:08
  • $\begingroup$ arxiv.org/abs/1210.0140 Polycyclic codes over Galois rings with applications to repeated-root constacyclic codes Cyclic, negacyclic and constacyclic codes are part of a larger class of codes called polycyclic codes; namely, those codes which can be viewed as ideals of a factor ring of a polynomial ring. The structure of the ambient ring of polycyclic codes over GR(p^a,m) and generating sets for its ideals are considered. Along with some structure details of the ambient ring, the existance of a certain type of generating set for an ideal is proven. $\endgroup$ Oct 2, 2012 at 5:12

3 Answers 3

10
$\begingroup$

Your list certainly has many nice topics.


1) Yup. This would be nice to have. In practical applications we can get rid of the error-floor by concatenating a decent LDPC with a good high rate algebraic code such as a BCH-code that can then correct the residual errors (the one application I know about is the second generation standard for European digital video broadcast, aka digi-TV, their the code length is 64800 or 16200 bits). What makes this challenging is that designing a good LDPC-code requires familiarity with some tools from stochastics (lost me at that point), but those tools don't say anything about the minimum Hamming distance.

Many a standard (IIRC in addition to European DVB also MediaFlo, a US standard for something similar) uses families of LDPC-codes designed around a specific decoding circuitry. This is more or less necessary, because otherwise the problem of routing the messages generated by the belief propagation algorithm becomes prohibitive. An exception to this rule is the Chinese video broadcast standard. At least the parts of that standard that I have seen describe the LDPC-codes in such a way that no structure is apparent. They may be protecting their intellectual property :-)

So a breakthru in this area would probably have to also keep this in mind in order to end up in future applications.

Hopefully more knowledgable people can comment. I do expect something to happen here in years to come, but the existing LDPC codes already work quite well.


2) This was a relatively hot topic a few years. I am a bit hesitant to call it coding theory - calling it multiantenna signal constellation design might be more fitting, but whatever :-).

By using basic facts of global class field theory my graduate students managed to "improve" upon the Golden code (by Oggier et al). I put the "improve" in quotes, because the improvement is somewhat theoretical. A more precise way of stating their result is that if you carve a given number of multiantenna signals from their lattice (representing a maximal order of a division algebra), you are less likely to make an error at the receiving end than what would happen, if you carve your signal set from one of the codes proposed by Oggier et al. However, that's not the end of the story. If you combine that multiantenna constellation with, for example, an LDPC code, our construction loses its theoretical advantage, because an LDPC-decoder wants to have reliability information about individual bits. When you pack several bits worth of information into a selection of a single multiantenna signal, our method creates more dependencies among those reliability figures, and that makes things worse in the end. Anyway, the math in the construction of my students is fun, and they all graduated, so...

As the number of antennas increases, the computational complexity grows really badly. Some codes suffer more from this than others. A relatively recent idea (B.S. Rajan and his students, couldn't find a proper reference, sorry) is to use representations of Clifford algebras with a view of reducing this complexity. That is a promising idea.

All of the above constructions depend on the receiver knowing the channel state. From some point on you need to allocate too large fraction of the bandwidth to pilot symbols to make that assumption true. So another thread in this area has been to use differential modulation (=use the preceding signal as a pilot for the next) or Grassmannian codes (=the signal is to an extent its own pilot). A lot of fun math going on there, but don't know whether they will stay.

Another theoretically interesting thread within this topic is: "How will the rules change, when two or more independent users transmit simultaneously?" A beginning graduate student in our group has come up with some number theoretic constructions. As a new tool he needed some facts from Diophantine approximation. The information theory in that thread is, I'm sad to say, over my head. I am willing to also bet that this question on MO derives its motivation from this problem area :-)

This question hit too close. It is not entirely clear that I managed to be objective.

The Golden Code (Oggier et al) is in a hyperWLAN standard. Don't know how widely that part of the standard is used. Multiantenna coding in cellular applications goes largely by different rules. This is because there is a feedback channel there, so the transmitter also has an idea of the channel state, and can take advantage. The math becomes easier then (so I've been told). This is not possible in a broadcast application, because there may be millions of receivers, and knowing their channel states is A) impossible, B) useless because you can't optimize the transmission for all of them simultaneously.


3) The Polar codes were a big surprise to me. I can't comment on them for lack of familiarity. Leave this for someone else to answer.


4) The Golay codes have been around. They are a rich source of algebraic and combinatorial miracles - a lot of fun! The codes are way too short to be useful in transmitting bulk data, but do make an appearance in other applications. In their book (SPLAG) Conway & Sloane study these in great detail. Probably the most investigated error-correcting codes of all times!


5) I want to add network coding as a hot topic. It has certainly received a lot of attention lately. It is not clear how deep math they end up using. Sometimes it looks like it is just Grassmannians over a finite field.

$\endgroup$
2
  • $\begingroup$ Wow ! Thank you very much for this detailed answer ! $\endgroup$ Mar 27, 2012 at 6:23
  • 1
    $\begingroup$ @AlexanderChervov For more on Network Coding check out the COST project: network-coding.eu. It's certainly a hot topic right now. $\endgroup$
    – Anurag
    Oct 14, 2015 at 21:01
5
$\begingroup$

Edit: since I only implicitly answered your question in the title (i.e., hot topics in error coding codes related to interesting math), I think one of the current hottest ones is quantum error-correcting codes. Since the discovery by P. Shor of the fact that we can correct quantum errors, the field of quantum information science exploded and made a quantum leap towards realization of large-scale quantum computation and reliable quantum communication. The list of the branches of mathematics used in the field is endless and growing as we speak. [\end Edit]

Jyrki already gave a great answer to many of your questions. So, here's to complement it by addressing a couple points he (she?) didn't cover:

1) Hot topic in error-correction is finding LDPC codes with very low "error-floor" for code lengths dozens thoursands bits, this might be useful for optic transmission. However it is not clear for me what kind of math playing role here ?

That depends on the channel (and decoding method) you have in mind. In what follows, we only consider a binary code (because I don't know much about the non-binary case!).

The simplest case is BEC (the binary erasure channel), where stopping sets determine the characteristic of the BER of an LDPC code. Small stopping sets are like small weight codewords in a traditional code; the more your code has small stopping sets, the worse its error correction performance gets in general.

Stopping sets can be described in a completely combinatorial way. A stopping set of a parity-check matrix $H$ is a set of columns in which every row has at least two $1$'s (within the columns). You can rephrase the definition in the language of set systems by regarding $H$ as an incidence matrix; it's equivalent to a full configuration. Or you can reword it by using terms like check nodes and variable nodes as is standard in the LDPC code literature.

Anyway, the smallest stopping sets dominate at sufficiently high SNR. So improving BER directly corresponds to an avoidance problem (or equivalently a forbidden configuration problem) in a binary matrix. So, it's a combinatorial problem that studies a set system avoiding full configurations that gives the desired code length, rate, other additional properties you want such as a particular automorphism. So it's pretty much the same as good ol' algebraic coding theory; avoiding low weight codewords (or equivalently achieving larger minimum distances) is now replaced by avoiding small stopping sets. In fact, the size of a smallest stopping set is called the stopping distance of $H$.

One thing to note is that the notion of stopping distance is defined for a parity-check matrix. Since one same linear code has various different parity-check matrices, you don't say the stopping distance of a code. Other than this, stopping distance is more or less the analogue of minimum distance when it comes to an LDPC code over BEC.

Things are much more complicated for other well-studied channels like everyone's favorite, the AWGN channel, and the coding theory 101 channel, the binary symmetric channel. Some say that in general better stopping distances tend to lead to better BER or at least it's not a bad sign. But this isn't always the case. The kind of sub-structure in $H$ that screws up your decoding algorithm at high SNR for channels other than BEC is typically not easy to describe by simple combinatorics. If you're curious, searching IEEE Xplore with keywords like "trapping sets" and "pseudo-codewords" should direct you to the right papers.

You can also correct quantum errors by taking advantage of the theory of LDPC codes. But I haven't seen a paper that directly studies the analogue of stopping sets, trapping sets, etc. for quantum channels. The main difficulty in the quantum domain is that not every $H$ defines a quantum LDPC code; the rows should correspond to the generators of a stabilizer that is an abelian subgroup of the Pauli group or otherwise you need either a certain number of qubits in the Bell states shared between sender and receiver or assume a very reliable auxiliary quantum channel to "force" your $H$ to define a stabilizer of a larger group. So, you have more things to consider before you can translate the error floor problem of LDPC coding for quantum channels into the language of mathematics. Or you can say the kind of math playing a role for this particular subfield is the ones you need for quantum information on top of the usual math for LDPC codes such as combinatorics, information theory, and probability.

Since you mentioned polar codes in your third question, spatially-coupled LDPC codes are among the hottest classes of LDPC codes that are competing with polar codes. The noise threshold of spatially-coupled ensamble under iterative decoding matches the MAP decoding's threshold over BEC. The quantum analogues of spatially-coupled LDPC codes and polar codes have been/are being studied, too, albeit with a limited success compared to the remarkable progress for the classical case.

4) Probably most classical example is the Golay code (1948) and sporadic simple Mathieu groups... [Quote from Wikipedia about how Mathieu groups are automorphism groups of the Golay codes, extended Golay codes, etc. goes here] ...Is this a coincidence, or is there something behind it?

Yes. There's something behind it. For instance, the Mathieu group $M_{24}$ is by definition the automorphism group of the extended binary Golay code, or equivalently, of the Steiner $5$-design of order $24$ and block size $8$, which is called the Witt design in combinatorial design theory. Here is a lecture note on this by A. E. Brouwer. This is one of those interesting interactions between finite simple groups, designs, and codes.

I think this answer is getting too long for a forum post, so for the rest I'll just recommend you search the internet with google or your favorite searching engine by keywords like Golay codes, Steiner designs, Witt designs, simple groups, and the like. That way, I won't upset my previous and current posdoc mentors and Ph.D. supervisor at the same time by writing something stupid about what I should know better.

$\endgroup$
0
4
$\begingroup$

For an additional answer, you might be interested in "permutation codes".

This is a warm/hot topic in coding theory with strong mathematical roots.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.