[math-fun] Codes - note from Berlekamp
I received the note below from Berlekamp, about recent developments in Error Correcting Codes. Posted with his permission. --Rich -------------- (from Elwyn Berlekamp, Nov 22 2005) Coding theory remains an active and dynamic subject, as it has been for the past 58 years. Although I haven't published any papers in this area since 1996, I remain an interested spectator. Low Density Parity Check Codes were invented and studied by Bob Gallager in his PhD thesis in the early 1960s. Even now, most of what is known about them was published by him then. He became an assistant professor at MIT soon after he finished his PhD. Coding theory was then very active at MIT. I was Gallager's second PhD student. Shannon, Elias, and Wozencraft were also on my committee. No one favored further work on low density parity check codes at that time, because they were felt to be relatively well understood but impractical. Convolutional codes with sequential decoding enjoyed popularity in the early and mid 1960s. In the 1970s, Viterbi decoding became more popular, especially in military voice communication systems. Reed-Solomon codes, mostly using decoding algorithms with which I was personally involved, also became popular, especially in computer memory devices such as magnetic discs, optical discs, and magnetic tapes. They are now enjoy very widespread use. Turbo codes appeared in the late 1990s. A revival of interest in low density parity check codes began about the same time. It is true that, for certain channels including the white Gaussian noise channel, both turbo codes and low density parity check codes can achieve performance much closer to the Shannon capacity than any of their competitors. Each is now the topic of many papers. Many theorists study turbo codes in an effort to better understand their good performance, which was initially demonstrated almost entirely empirically. There are some system environments in which one or the other of these two types of coding systems is the clear winner. It is also true that most communication and computer memory systems, even new ones, continue to use older coding techniques such as Reed-Solomon. That's because real systems require tradeoffs among many parameters. In 1980 I published an overview entitled "The Technology of Error-Correcting Codes" in the Proceedings of the IEEE. Most of the considerations discussed there, including code rate, block length, latency, and interface issues, remain highly relevant. The advantages of low density parity check codes become decisive only at VERY long block lengths. A decade or two ago, memory was viewed as too expensive. Latency has now become a bigger concern. Turbo codes require considerably more decoding computation than Viterbi codes or RS codes. The relative performance advantage/disadvantage is strongly dependant on the code rate, and for various reasons not directly related to the coding, most memory systems use very high-rate codes, an environment which is especially favorable to Reed-Solomon. So I would say that the performance claims of turbo codes and low density parity check codes are true, but their impact is often exaggerated. Another major development of the 1990s is the work of Madhu Sudhan and others on list decoding of low-rate Reed-Solomon codes. This buys improved RS performance at the cost of more computation. It's primary use, to date, has been in computer science programs doing probabilistic search rather than in any of the more traditional applications of coding theory.
Just for the record. I wrote, about the canonical grid,
Finally, if this grid has a 19, then all grids have a 19 (and probably an 18). This completed grid has the largest symmetry group of all grids, and there's a principle that grids with higher symmetry don't have puzzles with smaller numbers of clues. Of course I can't prove that part...
but I was wrong. Here is a grid that does not have a puzzle with 19 clues: 145726983 837495261 926381574 293874156 581269347 674153892 318547629 459632718 762918435 It does have a puzzle with 20 clues. I verified that it has no 19 with a program "checker", see http://www.maths.nuim.ie/staff/gmg/sudoku/ I've used checker to look for a 16 (which I don't believe exists). I'm currently trying to modify it to look for a pseudo-16, a puzzle with 16 clues and two completions. There is exactly one of these known so far: 5.2...4.....71...3..............46...7.2......1.......6....2.......3..1.4........ You will notice that neither 8 or 9 appears in this puzzle, so 8 and 9 can be interchanged in any completion to give another completion. That's how the two completions arise. Gary McGuire
Combine puzzle genres; Start with sudoku designed to be etched onto 6 faces of a cube (with common numbers in all the edge positions of adjacent faces. Now move the whole pattern to a rubik's cube, so each cubie corresponds to a 3x3 sudoku cell. How likely are random positions of the rubik's puzzle to also be solvable as sudoku? My guess: not very likely, but probably very difficult to prove that only the intended solved rubik's state is also solvable as sudoku.
I first heard a similar idea from Reed Bowman (a metalworker, not a mathematician) last September. He proposed it instead on a 4x4x4 cube, in which each of the six faces and each of the twelve bands going around the cube (consisting of four squares from each of four faces) had to contain all sixteed numbers. Ed Pegg's Dec 4 update points to Steve Schaefer's (doubtless independent) implementation of the same geometry. Reed's idea was to put the starting position on a size-4 Rubik's cube in such a way that it was not solvable, and the challenge was to perform some small number of Rubik moves to convert it to a solvable initial position, and then solve it. Yow. --Michael On 12/21/05, Dave Dyer <ddyer@real-me.net> wrote:
Combine puzzle genres; Start with sudoku designed to be etched onto 6 faces of a cube (with common numbers in all the edge positions of adjacent faces. Now move the whole pattern to a rubik's cube, so each cubie corresponds to a 3x3 sudoku cell.
How likely are random positions of the rubik's puzzle to also be solvable as sudoku?
My guess: not very likely, but probably very difficult to prove that only the intended solved rubik's state is also solvable as sudoku.
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com http://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
-- It is very dark and after 2000. If you continue you are likely to be eaten by a bleen.
participants (4)
-
Dave Dyer -
Gary McGuire -
Michael Kleber -
Schroeppel, Richard