[논문 리뷰] Characterizations of regularity for certain $Q$-polynomial association schemes

Sho Suda|ArXiv.org|2009. 10. 24.

Coding theory and cryptography참고 문헌 8인용 수 3

한 줄 요약

이 논문은 대칭 설계의 연결된 시스템과 실수 상호비례 기저(MUB)에서 유래하는 $Q$-다항식 연관 체계에서 삼중 및 사중 정규성을 특성화한다. 삼중 정규성이 $a_1^*=0$와 동치임을 증명하고, 최대 MUB가 사중 정규 체계를 유도함을 보이며, 정규성은 차원 $d$에 대해 매개수 $d/2+1$로 완전히 특성화됨을 보여준다. 결과적으로 극한 구성과 고차 정규성 간의 조합적 동치성을 확립한다.

ABSTRACT

It is shown that linked systems of symmetric designs with $a_1^*=0$ and mutually unbiased bases (MUB) are triply regular association schemes. In this paper, we characterize triple regularity of linked systems of symmetric designs by its Krein number. And we prove that maximal MUB carries a quadruply regular association scheme and characterize the quadruple regularity of MUB by its parameter.

연구 동기 및 목표

• 연결된 대칭 설계 시스템에서 유도된 $Q$-다항식 연관 체계에서 삼중 정규성을 특성화하는 것.
• 최대 실수 상호비례 기저(MUB)에서 사중 정규성에 대한 필요충분조건을 확립하는 것.
• 동시로 $Q$-이분형이자 $Q$-반대점성을 갖는 4계급 $Q$-다항식 체계의 조합적 구조를 명확히 하는 것.
• 매개수 $a_1^*=0$를 갖는 대칭 설계의 연결된 시스템이 사중 정규 연관 체계를 유도할 수 있는지 조사하는 것.
• 최대 MUB가 5중 정규 연관 체계를 유도하는지 여부를 규명하는 것.

제안 방법

• 연결된 대칭 설계 시스템에서 삼중 정규성을 특성화하기 위해 크레인 수치 분석을 사용한다.
• 4개의 점으로 구성된 쌍의 수를 세고 사중 정규성에 필요한 조건을 유도하기 위해 코시-슈바르츠 부등식을 적용한다.
• 점 $X_1$과 $\bigcup_{i=2}^f X_i$를 포함하는 포함관계의 이중 세기 조합적 수를 통해 매개수에 대한 제약 조건을 도출한다.
• 최대 MUB에서 유도된 키어도크 유사 이진 코드의 무게 분포를 분석하여 강도 5의 직교 배열 성질을 보여준다.
• 최대 MUB와 동시에 $Q$-이분형이자 $Q$-반대점성을 갖는 4계급 $Q$-다항식 체계 간에 알려진 대응관계를 활용한다.
• 대수적 수론을 통해 사중 정규성을 위해 $v(v-1)(v+3)$가 제곱수여야 함을 보이며, $v \geq 15$일 경우 해가 존재하지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 3계급 $Q$-다항식 연관 체계에서 $Q$-반대점성을 갖는 경우 삼중 정규성은 $a_1^*=0$와 동치인가?
• RQ2 매개수 $a_1^*=0$를 갖는 대칭 설계의 연결된 시스템이 사중 정규 연관 체계를 유도할 수 있는가?
• RQ3 최대 MUB가 사중 정규 연관 체계를 유도하기 위한 필요충분조건은 무엇인가?
• RQ4 최대 MUB에서 사중 정규 체계가 존재하면 5중 정규성도 유도되는가?
• RQ5 연결된 대칭 설계 시스템에서 네 점의 공통 이웃 수가 일정할 경우 발생하는 제약 조건은 무엇인가?

주요 결과

• 3계급 $Q$-다항식 연관 체계에서 $Q$-반대점성을 갖는 경우 삼중 정규성은 $a_1^*=0$일 때이고 그 때에만 성립하며, 이는 이전 결과의 역을 확인한다.
• 연결된 대칭 설계 시스템에 대한 노다의 부등식에서 등호가 성립하면 $a_1^*=0$가 되며, 이는 삼중 정규성과 동치이다.
• 조건 $1<k<v-1$ 및 $v\geq15$를 만족하는 연결된 대칭 설계 시스템은 사중 정규가 될 수 없으며, 이는 조건을 만족하는 범위에서 $v(v-1)(v+3)$가 제곱수가 되는 해가 존재하지 않기 때문이다.
• 차원 $d>4$인 $\mathbb{R}^d$에서의 최대 MUB는 사중 정규 4계급 연관 체계를 유도하며, 정규성은 매개수 $d/2+1$로 완전히 특성화된다.
• 최대 MUB에서 유도된 키어도크 유사 코드는 강도 5를 갖는다. 이는 특정 관계에서 네 점의 공통 이웃 수가 유일하게 결정됨을 의미한다.
• 최대 MUB에서 유도된 사중 정규 체계의 교차 수치의 정수성 조건은 기존의 $d = k^2/16$ 외에 새로운 필수 조건을 유도하지 못한다.