Search

This paper reviews the known error correction methods for QKD systems, identifies their advantages and disadvantages. The method of LDPC-codes is substantiated for improvement. Noise errors can occur when exchanging qubits between Alice and Bob through the quantum channel, and Bob may receive erroneous values ​​when measuring states that need to be corrected in the post-processing phase. The verification matrix for LDPC codes is quasi-cyclic, ie each subsequent row of the matrix is ​​cyclically shifted to the right by one bit relative to the previous row. This allows not only to describe the matrix only by the first line of the matrix, but also to use the property of isomorphism of circulating matrices with a ring of polynomials over the Galois field. That is, the verification matrix can be described by a certain polynomial. And the operations performed on this polynomial are applied to the matrix. Using such isomorphic properties of polynomials makes it much easier to create and store not only a test matrix but also a generating matrix, which avoids long-term matrix multiplications and the use of more memory to store matrix data, greatly simplifying hardware implementation. The code word is created by the method proposed by the author of LDPC-codes R. Gallagher. The decoding of code words in the original message uses a "soft" algorithm for spreading trust (belief-propagation algorithm) or sum-product algorithm (SPA), which has proven its effectiveness and is used in modern telecommunications systems. An algorithm for generating a verification matrix and an algorithm for generating a generating matrix based on the method for finding the inverse Euclidean-Wallis polynomial have been proposed and adapted for writing program code. Software has been created that implements the above algorithms, which can be found on the git repository В цій роботі проведено огляд відомих методів корекції помилок для систем QKD, визначено їх переваги та недоліки. Обґрунтовано для удосконалення метод LDPC-кодів. При обміні кубітів між Алісою та Бобом по квантовому каналу можуть виникати помилки через шуми, а також Боб під час вимірювання станів може отримувати помилкові значення, які необхідно виправляти на етапі пост-обробки. Матриця перевірки для LDPC- кодів є квазіциклічною, тобто кожний наступний рядок матриці є циклічно зсунутим вправо на один біт відносно попереднього рядка. Це дозволяє не лише описати матрицю лише першим рядком матриці, але і використати властивість ізоморфності матриць-циркулянтів з кільцем поліномів над полем Галуа. Тобто матриця перевірки може бути описана певним поліномом. І операції, які виконуються над цим поліномом, застосовуються і на матрицю. Використання таких ізоморфних властивостей поліномів дає змогу значно простіше створювати та зберігати не лише матрицю перевірки, а і породжувальну матрицю, що дозволяє уникнути довготривалих матричних перемножень та застосування більшої кількості пам’яті для зберігання даних матриці, в результаті значно спрощує апаратну реалізацію. Створення кодового слова відбувається методом, запропонованим автором LDPC-кодів Р. Галагером. Для декодування кодових слів у вихідне повідомлення застосовується “м’який” алгоритм розповсюдження довіри (belief-propagation algorithm) або sum-product algorithm (SPA), який показав свою ефективність та використовується в сучасних телекомунікаційних системах. Запропоновано та адаптовано для написання програмного коду алгоритм для генерування матриці перевірки та алгоритм для створення породжувальної матриці, який базується на методі для знаходження зворотного полінома Евкліда-Уолліса. Створено програмне забезпечення, яке реалізує вищесказані алгоритми, з яким можна ознайомитись на git-репозиторії