Mathematical Sciences: Binary Linear Codes: Nonexistence and Classification Theorems

9623205 Jaffe这个奖项为一个项目提供资金，该项目涉及搜索和实施二进制线性码分类算法。这些算法是用一种正在开发的语言编写的，这有助于对二进制线性码的证明进行机械验证。一种方法是采用广义权重枚举器，并使用它来生成线性规划问题，就像Delsarte对普通权重枚举器所做的那样。这些线性规划问题往往很大，因此通常不适合手工计算。一种特别有希望的重量枚举器是由n的分区产生的拆分重量枚举器，其中n是码的长度。利用这种方法和其他方法，将证明许多关于二元线性码的新的具体结果。反过来，这些可能会提出新的算法和封闭的通用声明。这项研究是关于纠错码的，这是数学组合学、计算机科学和电子工程中的一个基本课题。每当信息必须通过嘈杂的信道从一个地方传输到另一个地方时，这样的代码是必不可少的。例如，它们被用于光盘播放机，将数字化音乐从CD表面传送到播放机内部，并用于地球和轨道卫星之间的通信。纠错码通过创造性地将冗余合并到传输的消息中来工作，以允许接收者检测和纠正传输过程中引入的错误，这些错误是由(例如)CD表面的灰尘或宇宙射线引起的。如果代码允许检测和纠正许多错误，而不会招致过度冗余的代价，那么它就是好的。该奖项既资助了寻找好的代码，也资助了对它们能有多好的数学限制的调查。

9623205 Jaffe This award provides funding for a project involving the search for and implementation of algorithms for classifying binary linear codes. These algorithms are codified in a language, under development, which facilitates the mechanical verification of proofs about binary linear codes. One method is to take a generalized weight enumerator, and use it to generate a linear programming problem, as Delsarte did with the ordinary weight enumerator. Thse linear programming problems tend to be large, and thus are not generally amenable to hand calculation. One particularly promising weight enumerator is the split weight enumerator arising from a partition of n, where n is the length of the code. Using this method and others, many new specific results about binary linear codes will be proved. In turn, these may suggest new algorithms and closed-form general statements. This research is about error-correcting codes, a fundamental topic in mathematical combinatorics, computer science, and electrical engineering. Such codes are indispensable whenever information must be transferred across noisy channels from one place to another. For example,they are used in compact disk players to get digitized music from the surface of the CD to the inside of the player, and in communications between the earth and orbiting satellites. Error-correcting codes work by creatively incorporating redundancy into the transmitted message, to permit the receiver to detect and correct those errors introduced in transit, which were caused by (for instance) dust on the surface of the CD or cosmic rays. A code is good if it allows the detection and correction of many errors without incurring the expense of excessive redundancy. This award funds both a search for good codes and an investigation into the mathematical limitations of how good they can be.