[논문 리뷰] Classification of base sequences BS(n+1,n)

Dragomir Ž. Djoković|arXiv (Cornell University)|2010. 02. 06.

graph theory and CDMA systems참고 문헌 7인용 수 4

한 줄 요약

이 논문은 기저 수열 $BS(n+1,n)$에 대한 새로운 동치 관계와 표준형을 도입하여 $n \leq 13$까지의 동치류를 체계적으로 분류하고 정렬한다. 순서 $2^{12}$인 군 작용과 효율적인 인코딩 체계를 활용하여, 이러한 동치류의 대표자를 계산하고 표로 정리하였으며, 동치류 수의 급격한 증가가 비단 단조롭지 않은 양상을 보여주었다. 주요 결과로는 정상적 및 근접 정상적 클래스의 규명과, 동일한 자기상관 노름을 가진다 하더라도 수열이 동치가 되지 않는 반례의 제시가 있다.

ABSTRACT

Base sequences BS(n+1,n) are quadruples of {1,-1}-sequences (A;B;C;D), with A and B of length n+1 and C and D of length n, such that the sum of their nonperiodic autocorrelation functions is a delta-function. The base sequence conjecture, asserting that BS(n+1,n) exist for all n, is stronger than the famous Hadamard matrix conjecture. We introduce a new definition of equivalence for base sequences BS(n+1,n) and construct a canonical form. By using this canonical form, we have enumerated the equivalence classes of BS(n+1,n) for n <= 30. Due to excessive size of the equivalence classes, the tables in the paper cover only the cases n <= 13.

연구 동기 및 목표

• 기저 수열 $BS(n+1,n)$의 분류에 있어 오랫동안 남아 있던 격차를 해소함으로써 힐베르트 행렬과 직교 설계를 구성하는 데 핵심적인 역할을 하는 수열의 체계적 분류를 목표로 한다.
• 기본 변환에 새로운 기본 연산을 추가하여 $BS(n+1,n)$ 수열에 대한 개선된 동치 개념을 제안한다.
• 각 동치류에 대해 유일한 대표자를 선택할 수 있도록 하는 표준형을 개발함으로써 체계적 정렬을 가능하게 한다.
• $n \leq 13$에 대해 동치류의 수를 계산하고 표로 정리하며, 정상적 및 근접 정상적 하위클래스를 포함한다.
• 같은 비주기적 자기상관 함수를 가진 이진 수열 간의 관계를 조사하여, 노름의 동일성이 표준 연산 하에서 동치성을 의미한다는 가정을 도전한다.

제안 방법

• 기본적인 기본 변환 집합에 새로운 변환을 추가하여 $BS(n+1,n)$에 대한 새로운 동치 관계를 도입함으로써 개선된 동치류 구조를 형성한다.
• 기수 분해에서 유도된 기호 수열의 사전순서를 이용하여 기저 수열에 대한 표준형을 정의한다.
• 모든 $BS(n+1,n)$ 집합에 작용하는 순서 $2^{12}$인 추상군 $G_{\rm BS}$를 구성하며, 그 궤도는 정확히 새로운 동치류와 일치한다.
• 각 수열 쌍 $(A;B)$ 및 $(C;D)$를 효율적인 계산과 저장을 위해 압축된 기호 수열로 매핑하는 기수 분해 및 인코딩 체계를 구현한다.
• 표준형을 통한 계산적 정렬을 이용하여 $n \leq 13$에 대해 동치류의 대표자를 나열하였으며, $n \leq 8$에 대해서는 자세한 자기상관 데이터를 제공한다.
• 같은 비주기적 자기상관 함수를 가진 두 이진 수열이 존재할 조건을 분석하고, 표준 연산 하에서 동치가 되지 않는 반례를 구성함으로써 노름의 동일성이 동치성을 의미하지는 않음을 보여준다.

실험 결과

연구 질문

• RQ1 새로운 동치 관계 하에서 $BS(n+1,n)$ 수열의 동치류는 어떤 구조를 가지며, 이는 이전의 분류와 어떻게 다를까?
• RQ2 $n \leq 13$일 때 $BS(n+1,n)$의 동치류는 총 몇 개인가? 이 수는 $n$이 증가함에 따라 어떻게 변화하는가?
• RQ3 모든 동치류에 대해 고유한 대표자가 존재하는 표준형을 정의할 수 있는가? 그리고 이 표준형은 기수 분해로부터 어떻게 구성되는가?
• RQ4 같은 비주기적 자기상관 함수를 공유하는 이진 수열 간의 관계는 무엇이며, 이러한 수열은 체계적으로 생성될 수 있는가?
• RQ5 $BS(n+1,n)$ 내에서 수열이 정상적 또는 근접 정상적인 조건은 무엇이며, 이러한 클래스는 표준형에서 어떻게 식별할 수 있는가?

주요 결과

• $BS(n+1,n)$의 동치류 수는 $n$이 증가함에 따라 급격히 증가하며, $n=13$에 도달할 때 475개에 이르며, $n \leq 30$ 범위에서 비단조적 성향을 보였다.
• $n \leq 13$에 대해 저자들은 모든 동치류의 대표자를 계산하고 표로 정리하였으며, $n \leq 8$에 대해서는 자세한 자기상관 데이터를 제공하였다.
• 표준형은 동치류가 정상적이라면 그 대표자가 정상 수열 집합 $NS(n)$에 속하게 함으로써 이러한 클래스를 효율적으로 식별할 수 있도록 보장한다.
• 논문은 두 이진 수열이 동일한 비주기적 자기상관 함수를 가짐에도 불구하고 부정 또는 역전 연산 하에서 동치가 되지 않는 반례를 구성하였다.
• 다양한 다항식과 그 이중 다항식을 조합하여 동일한 노름을 가진 다수의 이진 수열을 생성하는 일반적 구성법을 제공하였으며, 이는 노름의 동일성이 동치성을 의미하지는 않음을 보여준다.
• $BS(n+1,n)$에 작용하는 순서 $2^{12}$인 군 $G_{\rm BS}$는 궤도가 정확히 새로운 동치류와 일치하므로, 분류에 대한 군론적 기반을 제공한다.