[논문 리뷰] Generalised Bent Criteria for Boolean Functions (II)

Constanza Riera, George Petrides외 1명|ArXiv.org|2005. 02. 09.

Polynomial and algebraic computation참고 문헌 10인용 수 9

한 줄 요약

이 논문은 일반화된 헤르미트형 변환 ${ I,H,N}^n$ 하에서 이차 부울 함수의 평탄한 스펙트럼을 세는 재귀적 공식을 개발하며, 스펙트럼 평탄성과 양자 오류정정 코드(QECCs)를 연결한다. 최적의 QECC—특히 거리가 높은 것들—이 평탄한 스펙트럼을 최대화함을 보여, 2차를 초월하는 부울 함수에서 암호학적 강도, 얽힘, 스펙트럼 성질 간의 강력한 연관성을 시사한다.

ABSTRACT

In the first part of this paper [16], some results on how to compute the flat spectra of Boolean constructions w.r.t. the transforms {I,H}^n, {H,N}^n and {I,H,N}^n were presented, and the relevance of Local Complementation to the quadratic case was indicated. In this second part, the results are applied to develop recursive formulae for the numbers of flat spectra of some structural quadratics. Observations are made as to the generalised Bent properties of boolean functions of algebraic degree greater than two, and the number of flat spectra w.r.t. {I,H,N}^n are computed for some of them.

연구 동기 및 목표

• ${ I,H,N}^n$ 변환 집합 하에서 재귀적 이차 부울 함수의 평탄한 스펙트럼 수를 위한 재귀적 공식을 유도하는 것.
• 평탄한 스펙트럼 수와 부울 함수의 암호학적 강도 또는 얽힘 간의 관계를 조사하는 것.
• 최적의 양자 오류정정 코드(QECCs)가 ${ I,H,N}^n$ 하에서 최대 평탄한 스펙트럼을 갖는 부울 함수와 대응되는지 탐색하는 것.
• 이차를 초월하는 부울 함수가 일반화된 평탄한 스펙트럼 기준 하에서 어떻게 행동하는지 조사하는 것.
• ${ I,H,N}^n$ 변환 하에서 그래프의 상호연결 다항식과 스펙트럼 성질 간의 연결 고리를 설정하는 것.

제안 방법

• 단위 행렬 $I$, 헤르미트 행렬 $H$, 네가티브 헤르미트 행렬 $N$을 기반으로 한 일반화된 변환 프레임워크를 사용하여 부울 함수의 각 변수에 적용한다.
• 행렬 수정 규칙을 적용: $I$에 대해서는 행/열을 제거하고, $N$에 대해서는 대각성분을 1에서 0으로 뒤집으며, $H$에 대해서는 그대로 유지한다.
• 변형된 인접행렬이 모듈로 2에서 최대 질량을 가지는지 확인함으로써 평탄한 스펙트럼 존재 여부를 판단한다.
• 선형, 클리크, 클리프-라인-클리프 등 재귀적 이차 구조에 이 방법을 적용한다.
• $n \leq 9$에 대해 폭넓은 컴퓨터 검색을 수행하여 ${ I,H,N}^n$ 하에서 최대 평탄한 스펙트럼을 갖는 부울 함수를 식별한다.
• 이차 부울 함수에서 $\mathrm{GF}(4)$-가법 코드로의 사상에 의해 평탄한 스펙트럼 수를 QECC 거리와 연결한다.

실험 결과

연구 질문

• RQ1 ${ I,H,N}^n$ 변환 집합 하에서 이차 부울 함수의 평탄한 스펙트럼 수에 대해 재귀적 공식을 도출할 수 있는가?
• RQ2 최적의 QECC에 대응하는 부울 함수가 ${ I,H,N}^n$ 하에서 최대 평탄한 스펙트럼 수를 갖는가?
• RQ3 부울 함수의 대수적 차수 2를 초월할수록 평탄한 스펙트럼 수는 어떻게 변화하는가?
• RQ4 ${ I,H,N}^n$ 하에서 그래프의 스펙트럼 평탄성과 상호연결 다항식 $q(x)$ 및 $Q(x)$ 간의 조합론적 또는 대수적 설명은 존재하는가?
• RQ5 중첩 클리프 또는 초그래프 기반의 구조를 구성하여 고차 부울 함수에 대해 평탄한 스펙트럼을 최대화할 수 있는가?

주요 결과

• ${ I,H,N}^n$ 하에서 클리프-라인-클리프 구조의 평탄한 스펙트럼 수에 대해 재귀적 공식이 도출되었으며, $K_{n,m}^{HN} = 2^{n+m-4}(3nm + 2n + 2m + 4)$를 얻었다.
• $n \leq 9$일 때, ${ I,H,N}^n$ 하에서 평탄한 스펙트럼 수가 최대인 이차 부울 함수의 유일한 국소 보완(LC) 궤도는 최대 거리를 갖는 최적의 QECC에 대응한다.
• 삼차, 사차, 오차 함수에 대한 체계적 검색을 통해 대수적 차수 증가에 따라 평탄한 스펙트럼 수가 감소하는 것으로 나타났다.
• 최적의 QECC(최대 거리)는 ${ I,H,N}^n$ 하에서 평탄한 스펙트럼 수를 최대화하는 것으로 밝혀져, QECC 거리와 스펙트럼 평탄성 간의 강력한 연관성을 시사한다.
• 상호연결 다항식 $Q(x)$를 $x=2$에서 평가하면 ${ I,H,N}^n$ 하에서 평탄한 스펙트럼 수가 되며, 이는 스펙트럼 성질과의 조합론적 연결 고리를 제공한다.
• 결과는 중첩 클리프 또는 초그래프 기반의 구조가 2차를 초월하는 함수에 대해 높은 평탄한 스펙트럼 수를 제공할 수 있음을 시사하며, 향후 재귀적 구성 방법을 동력으로 삼을 수 있다.