Научная статья на тему 'Нижние оценки размерности линейных кодов для технологии сотовой связи CDMA'

Нижние оценки размерности линейных кодов для технологии сотовой связи CDMA Текст научной статьи по специальности «Математика»

CC BY
51
7
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ЛИНЕЙНЫЕ КОДЫ / БЕНТ-ФУНКЦИИ / КОДЫ ПОСТОЯННОЙ АМПЛИТУДЫ / LINEAR CODES / BENT FUNCTIONS / CONSTANT-AMPLITUDE CODES

Аннотация научной статьи по математике, автор научной работы — Одиноких Никита Сергеевич

Линейный код называется кодом, сохраняющим свойство бент (SPB-кодом) для функции f, если сдвиг на любой элемент кода оставляет функцию f в классе бент-функций. В работе построены линейные SPB-коды для функций из класса Мэйорана МакФарланда, получены нижние оценки максимальной размерности SPB-кодов для произвольной бент-функции.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Lower bounds of dimension of linear codes for CDMA

A linear code of the length 2n is called a saving property bent code (SPB-code) for a bent function f if for any element a of the code, f (x ф a) is a bent function. For every bent function from Maiorana McFarland class with 2n variables, there exists SPB-code of the dimension 2n+1 1. For every bent function with a linearity index k, there exists SPB-code of the dimension 2fc+1 1.

Текст научной работы на тему «Нижние оценки размерности линейных кодов для технологии сотовой связи CDMA»

Дискретные функции 45

Теорема 3. Пусть 1 ^ j < i ^ 2n — 1, 1 ^ k ^ 2n — 1, а — примитивный элемент поля F2n. Если n — составное число, то существует взаимно однозначная функция f : F2n ^ F2n вида f (x) = akxi + xj.

Опираясь на результаты [2], доказана

n

Теорема 4. Если 2n — 1 имеет делитель d < —-—— — 1, то существует взаимно

2log2(n)

однозначная функция f : F2n ^ F2n вида f (y) = ауг + yj для некоторого a G F2n, 0 < j < i < 2n — 1.

Остался не исследованным вопрос существования взаимно однозначной векторной

булевой функции при простом числе n и составном числе 2n — 1, если у него нет n

делителя d < —-—— — 1.

2 log2 (n)

С использованием полученных результатов найдены все взаимно однозначные функции данного вида для всех n ^ 8. При этих же значениях n найдены все взаимно однозначные биномиальные дифференциально 4-равномерные векторные булевы функции. Посчитано количество взаимно однозначных биномиальных функций с максимальной компонентной алгебраической иммунностью при n = 4, 6. При n = 4 таких функций 10, а при n = 6 — 319 [3].

ЛИТЕРАТУРА

1. Shallue C. J. Permutation Polynomials of Finite Fields. Honours Thesis. Monash University, 2012.

2. Masuda A. M. and Zieve M. E. Permutation binomials over finite Ffeld // Trans. AMS. 2009. V.361. No. 8. P. 4169-4180.

3. Милосердое А. В. Комбинаторные свойства полиномиального представления булевой функции. Выпускная квалификационная работа бакалавра. Новосибирск: НГУ, 2017.

УДК 519.7 DOI 10.17223/2226308X/10/19

НИЖНИЕ ОЦЕНКИ РАЗМЕРНОСТИ ЛИНЕЙНЫХ КОДОВ ДЛЯ ТЕХНОЛОГИИ СОТОВОЙ СВЯЗИ CDMA1

Н. С. Одиноких

Линейный код называется кодом, сохраняющим свойство бент (SPB-кодом) для функции f, если сдвиг на любой элемент кода оставляет функцию f в классе бент-функций. В работе построены линейные SPB-коды для функций из класса Мэйорана — МакФарланда, получены нижние оценки максимальной размерности SPB-кодов для произвольной бент-функции.

Ключевые слова: линейные коды, бент-функции, коды постоянной амплитуды.

Code Division Multiple Access (CDMA) —это технология мобильной связи, основанная на кодовом разделении канала. Для оценки качества сигнала в CDMA вводится понятие коэффициента отношения пиковой и средней мощностей сигнала (Peak-to-Average Power Ratio). Многие задачи, связанные с CDMA, направлены на снижение коэффициента PAPR, так как высокие значения коэффициента ведут к необходимости использования дорогих усилителей. Векторами, на которых достигается минимальное

1 Работа поддержана грантом РФФИ, проект №17-41-543364.

46

Прикладная дискретная математика. Приложение

значение PAPR, являются векторы значений бент-функций. В связи с этим возникает задача поиска кодов, состоящих из векторов значений бент-функций. Одним из способов построения таких кодов является построение линейного кода для некоторой бент-функции f, такого, что сдвиг на любую функцию из кода оставляет функцию f в классе бент-функций. Код длины 2п называется кодом постоянной амплитуды, если все элементы кода являются векторами значений бент-функций. Линейный код длины 2п называется кодом, сохраняющим свойство бент (SPB-кодом) для функции f, если сдвиг на любой элемент кода оставляет функцию f в классе бент-функций [1]. Если C — SPB-код, то его аффинный сдвиг f ф C является кодом постоянной амплитуды. Это свойство позволяет конструировать коды постоянной амплитуды из линейных кодов.

В работе исследуются свойства бент-функций, лежащих в классе Мэйорана — Мак-Фарланда [2]. Получена нижняя оценка максимальной размерности SPB-кода для произвольной бент-функции.

Теорема 1. Пусть f — бент-функция из класса Мэйорана — МакФарланда от 2n переменных. Тогда для функции f существует SPB-код размерности 2n+1 — 1.

В [3] В. В. Ященко ввёл понятие индекса линейности для произвольной булевой функции. Любую булеву функцию можно представить в виде f (x, y) = x1^1(y) + ... + + xt^t(y) + Ф(у), x E F2, y E Fn-t. Среди всех таких представлений есть представление с максимальным t, которое является аффинным инвариантом и называется индексом линейности булевой функции.

Теорема 2. Пусть f — бент-функция, индекс линейности которой равен k. Тогда для функции f существует SPB-код размерности 2fc+1 — 1.

ЛИТЕРАТУРА

1. Павлов А. В. Бент-функции и линейные коды в CDMA // Прикладная дискретная математика. Приложение. 2010. №3. С. 95-97.

2. McFarland R. L. A family of difference sets in non-cyclic groups //J. Combin. Theory. Ser. A.

1973. V. 15. No. 1. P. 1-10.

3. Ященко В. В. О критерии распространения для булевых функций и о бент-функциях //

Пробл. передачи информ. 1997. Т. 33. Вып. 1. С. 75-86.

УДК 519.212.2, 519.214 DOI 10.17223/2226308X/10/20

УТОЧНЁННЫЕ АСИМПТОТИЧЕСКИЕ ОЦЕНКИ ДЛЯ ЧИСЛА (n, m, к)-УСТОЙЧИВЫХ ДВОИЧНЫХ ОТОБРАЖЕНИЙ

К. Н. Панков

Уточнена локальная предельная теорема для распределения части вектора спектральных коэффициентов линейных комбинаций координатных функций случайного двоичного отображения. С помощью этой теоремы получена асимптотическая формула для |R (m, n, k)| — числа (n, m, к)-устойчивых двоичных отображе-

n (1 — с)

ний в случае n ^ œ, m E {1,2,3,4} и k ^ --- для произвольного

5 + 2 log2 n

0 <с< 1, k = 0( А) :

vln n/

i Надоели баннеры? Вы всегда можете отключить рекламу.