Разбиение математики на разделы, как, впрочем, и всего знания на науки, весьма условно. Средневековый учёный мог всю жизнь заниматься одним делом, а потомки называли бы его физиком, астрономом, математиком и философом одновременно.
Однако, не упрекая и не оправдывая существующий порядок вещей, стоит обратить внимание на одно его очевидное достоинство. Многие вопросы, лежащие на пересечении смежных областей знания, открываются под разными углами и, порой, демонстрируют совершенно неожиданные для приверженцев конкретной точки зрения свойства.
Данная работа, в целом, посвящена теории кодирования, подразделу теории информации. Задача помехоустойчивого кодирования не нова, и классические подходы к её решению были сформулированы ещё Р. Хэммингом в середине прошлого века.
В последние десятилетия вычислительная техника сделала огромный шаг вперёд. Стало возможным применение сложных алгоритмов на широком классе устройств. Сам список этих устройств удлинился на порядок, что, в свою очередь, расширило спектр задач и предъявило более высокие требования к алгоритмам их решения и программным реализациям.
Ещё не так давно закон Мура обеспечивал стабильный рост вычислительных мощностей, а внедрению нового эффективного алгоритма зачастую предпочитался переход на более производительную архитектуру. Сегодня этот закон потерял свою актуальность, чем можно объяснить резко возросшую популярность технологий параллельного программирования и гетерогенных вычислительных комплексов.
Такое развитие событий благотворно повлияло на теоретическую сторону информационных технологий: быстрые алгоритмы стали особенно востребованы. Однако их сложность настолько возросла, что выбрать лучшее решение из удовлетворительных может оказаться непозволительно затратно и долго.
Стремясь всё же удовлетворить теоретический интерес и практическую потребность в хороших кодах, данная работа ставит перед собой следующие цели:
• описать основные идеи и методы теории кодирования;
• рассмотреть применение методов рациональной интерполяции в теории кодирования;
• оценить перспективы использования методов рациональной интерполяции в этой области.
В настоящей статье развит основанный на идеях К. Якоби подход к решению задачи рациональной интерполяции, заключающийся в представлении решения посредством подходящих ганкелевых полиномов. Предложена процедура эффективного вычисления этих полиномов, позволяющая построить не только одиночную интерполянту, но и целое семейство интерполянт при всех возможных комбинациях степеней числителя и знаменателя. Этот аспект обеспечивает возможность выбора решения, не только формально удовлетворяющего интерполяционной таблице, но и обладающего дополнительными свойствами, существенными для задач аппроксимации (как, к примеру, ограниченность на определенном интервале вещественной оси).
Следует отметить, что появление матриц ганкелевой структуры в решениях задач помехоустойчивого кодирования и аппроксимации не должно считаться абсолютно неожиданным: достаточно вспомнить вид системы нормальных уравнений при построении полиномиальной аппроксимации интерполяционной таблицы по методу наименьших квадратов [9]. В книгах [13, 17] можно найти и другие задачи, в которых такие матрицы возникают естественным образом — например, задачу интерполяции таблицы (2.8) комбинацией экспонент: f (x) = рт=1 a ekj.
Направления дальнейших исследований
Развитие предложенного подхода видится в направлении интерполяции многомерной. Кроме того, предполагается произвести сравнение вычислительной эффективности алгоритма с альтернативными подходами, в частности с представлением рационального интерполянта в барицентрической форме [4].
[1] BaravyI. Efficient Interpolation over Infinite and Finite Fields via Hankel Polynomials // Mathematical Modelling and Analysis, Abstracts. 2014. P. 9.
[2] Berlekamp E.R. Algebraic Coding Theory. Aegean Park Press, 1984.
[3] Berrou C. Error-correction coding method with at least two systematic convolutional codings in parallel. US Patent 5,446,747, 1995.
[4] Berrut J.-P., Baltensperger R., Mittelmann H.D. Recent developments in barycentric rational interpolation. International Series of Numerical Mathematics. 2005. Basel, Birkhauser, Vol. 151, P. 27-51.
[5] Blahut R. Theory and Practice of Error Control Codes. Addison-Wesley, 1983.
[6] Blahut R. Fast Algorithms for Digital Signal Processing. Addison-Wesley, 1985.
[7] Bose R.C., Ray-Chaudhuri D.K. On A Class of Error Correcting Binary Group Codes // Information and Control, 1960. Vol. 3, No. 1. P. 68-79.
[8] Cauchy A.-L. Cours d’Analyse de l’Ecole Royale Polytechnique: Part I: Analyse Algebrique. Paris, France: L’Imprimerie Royale, 1821, pt. 1. Annotated English Translation:
[9] Faddeev D.K. Lectures in Algebra. Moscow. Nauka Publ., 1984. 416 p.
[10] HagenauerJ., Offer E., Papke L. Iterative Decoding of Binary Block and Convolutional Codes // IEEE Transactions on Information Theory, 1996. Vol. 42, No. 2. P. 429-445.
[11] Hamming R.W. Error-Detecting and Error-Correcting Codes // Bell Systems Technical Journal, 1950. Vol. 29. P. 147-160.
[12] Hamming R.W. Numerical Methods for Scientists and Engineers. Dover Publications, 1987.
[13] Henrici P. Applied and computational complex analysis, Vol. 1. Power series, integration, conformal mapping, location of zeros. New York, London, Wiley and Sons Inc. Publ., 1974, 700 p.
[14] Hocquenghem A. Codes correcteurs d’erreurs. 1959.
[15] ISO/IEC 18004:2006. Information technology. Automatic identification and data capture techniques. QR Code. Geneva: ISO/IEC, 2000.
[16] ISO 2108:2005. Information and documentation - International standard book number (ISBN). ISO, 2013.
[17] Iohvidov I. S. Hankel and Toeplitz matrices and forms: algebraic theory. Boston, Birkhauser, 1972, 260 p.
[18] Jacobi C.G.J. Uber die Darstellung einer Reihe gegebner Werthe durch eine gebrochne rationale Function //J. reine angew. math, 1846. Vol. 30. P. 127¬156.
[19] Joachimsthal F. Bemerkungen fiber den Sturm’schen Satz //J. reine angew. math, 1854. Vol. 48. P. 386-416.
[20] Kramer H.K., Lane R.N. Decomposition of a function into a weighted sum of shifted replicas of another function // Journal of Mathematical Analysis and Applications, 1974. Vol. 46, No 3. Р. 395-608.
[21] Kronecker L. Uber einreihige Determinanten. Nachrichten den Koniglichen Gesellschaft der Wissenschaften zu Gottingen, 1881. Vol. 9. P. 271-279.
[22] Kronecker L. Zur Theorie der Elimination einer Variabeln aus zwei algebraischen Gleichungen. Monatsberichte der Koniglichen Preussische Akademie des Wissenschaften zu Berlin, 1881, Juni, P. 535-600.
[23] Micron Technology. Error Correction Code (ECC) in Micron® Single-Level Cell (SLC) NAND. Technical Note TN-29-63, 2011.
[24] Netto E. Zur Cauchy’schen Interpolationsaufgabe // Math. Ann. 1893. Vol. 42 (3). P. 453-456.
[25] Reed I.S., Solomon G. Polynomial Codes over Certain Finite Fields // Journal of the Society for Industrial and Applied Mathematics (SIAM), 1960. Vol. 8, No. 2. P. 300-304.
[26] Rong Q.J. Linear independence of translates of a box spline // Journal of Approximatin Theory, 1984. Vol. 40, No 2. Р. 158-160.
[27] Rudra A. Error Correcting Codes: Combinatorics, Algorithms and Applications. http://www.cse.buffalo.edu/~atri/courses/
[28] Shannon C.E. A Mathematical Theory of Communication // Bell System Technical Journal, 1948. Vol. 27, No 3. P. 379-423.
[29] STMicroelectronics. Error Correction Code in NAND Flash Memories. Application Note AN1823, 2004.
[30] Sudan M. Decoding of Reed Solomon codes beyond the error-correction bound //J. Complexity, 1997. Vol. 13. P. 180-193.
[31] Uteshev A.Yu., Baravyl. Inversion in finite fields with the aid of Hankel polynomials // International Conference on Computer Science and Information Technologies, 2013. P. 1-6.
[32] WangY., Zhu X. A fast algorithm for the Fourier transform over finite fields and its VLSI implementation // IEEE Journal on Selected Areas in Communications, 1988. Vol. 6, No. 3. P. 572-577.
[33] Утешев А.Ю., Боровой И.И. Решение задачи рациональной интерполяции с использованием ганкелевых полиномов // Вестник Санкт-Петербургского университета. Сер. 10. Прикладная математика. Информатика. Процессы управления, 2016. Вып. 4. С. 31-43.
[34] Записная книжка профессора Утешева.http://pmpu.ru