[논문 리뷰] Tight relative $t$-designs on two shells in hypercubes, and Hahn and Hermite polynomials

Eiichi Bannaĭ, Etsuko Bannai외 2명|arXiv (Cornell University)|2020. 06. 03.

Optimal Experimental Design Methods참고 문헌 38인용 수 4

한 줄 요약

이 논문은 n차원 초입방체에서 두 층에 걸쳐 있는 날것한 상대 t-설계가 두 섬유를 가진 일관된 구성(configuration)을 유도함을 증명하며, 이에 따라 관련된 하한 다항식은 오직 정수 단순 근만을 가져야 한다는 결론을 이끌어낸다. 테르윌리거 대수와 하한 다항식이 에르미트 다항식으로 분해되는 점근적 분석을 통해, 저자들은 큰 t에 대해 비자명한 날것한 상대 t-설계가 희귀함을 증명하며, 이는 이론적으로 하이퍼큐브에서의 조합적 설계에 대해 반복된 밴나이의 방법을 상대 설계 설정으로 확장한 것이다.

ABSTRACT

Relative $t$-designs in the $n$-dimensional hypercube $\mathcal{Q}_n$ are equivalent to weighted regular $t$-wise balanced designs, which generalize combinatorial $t$-$(n,k,\lambda)$ designs by allowing multiple block sizes as well as weights. Partly motivated by the recent study on tight Euclidean $t$-designs on two concentric spheres, in this paper we discuss tight relative $t$-designs in $\mathcal{Q}_n$ supported on two shells. We show under a mild condition that such a relative $t$-design induces the structure of a coherent configuration with two fibers. Moreover, from this structure we deduce that a polynomial from the family of the Hahn hypergeometric orthogonal polynomials must have only integral simple zeros. The Terwilliger algebra is the main tool to establish these results. By explicitly evaluating the behavior of the zeros of the Hahn polynomials when they degenerate to the Hermite polynomials under an appropriate limit process, we prove a theorem which gives a partial evidence that the non-trivial tight relative $t$-designs in $\mathcal{Q}_n$ supported on two shells are rare for large $t$.

연구 동기 및 목표

• 두 층에 걸쳐 있는 하이퍼큐브에서 날것한 조합적 t-설계 이론을 상대 t-설계로 확장하는 것.
• Qn에서 두 층에 걸쳐 있는 날것한 상대 t-설계가 가진 구조적 제약 조건을 조사하는 것.
• 특히 하한 다항식과 에르미트 다항식을 포함한 수직 다항식과의 연결 고리를 설정하는 것.
• 비자명한 날것한 상대 t-설계가 두 층에 걸쳐 있을 경우 큰 t에 대해 희귀함을 증명하며, 조합적 설계에 대한 밴나이의 유한성 결과를 일반화하는 것.

제안 방법

• Qn에서 날것한 상대 t-설계의 구조를 분석하기 위해 주로 테르윌리거 대수를 사용하는 것.
• 약간의 조건 하에 이러한 설계가 두 섬유를 가진 일관된 구성(configuration)을 유도함을 보이는 것.
• 설계와 관련된 하한 다항식의 근을 분석하기 위해 하한 다항식이 에르미트 다항식으로 분해되는 극한 과정을 연구하는 것.
• 이 극한 하에서 하한 다항식의 근의 점근적 분석을 수행하며, 수직 다항식 이론의 결과를 활용하는 것.
• p진 값매김과 같은 수론적 기법을 사용하여 특정 유리수 표현이 정수가 될 수 없음을 보이며, 이는 매개변수 집합이 유한할 때만 모순이 발생함을 보여주는 것.
• 일부 다항식의 무수성에 대한 숄레르의 정리의 변형을 활용하여 가능한 설계의 유한성을 증명하는 것.

실험 결과

연구 질문

• RQ1 Qn에서 두 층에 걸쳐 있는 날것한 상대 t-설계가 어떤 조건에서 두 섬유를 가진 일관된 구성(configuration)을 유도하는가?
• RQ2 테르윌리거 대수가 이러한 설계에 가하는 구조적 제약 조건은 무엇인가?
• RQ3 하한 다항식이 에르미트 다항식으로 분해되는 극한 과정에서 관련된 하한 다항식의 근은 어떻게 행동하는가?
• RQ4 하한 다항식의 성질(예: 정수 단순 근)은 두 층에 걸쳐 있는 비자명한 날것한 상대 t-설계의 존재를 어느 정도 제한하는가?
• RQ5 큰 e에 대해 Qn에서 두 층에 걸쳐 있는 비자명한 날것한 상대 2e-설계는 유한한가?

주요 결과

• 두 층에 걸쳐 있는 Qn에서 날것한 상대 2e-설계는 약간의 조건 하에 두 섬유를 가진 일관된 구성(configuration)을 유도한다.
• 차수 e의 관련된 하한 다항식은 오직 정수 단순 근만을 가져야 하며, 이는 존재에 대한 강력한 필요 조건이다.
• 하한 다항식의 근이 에르미트 다항식으로 분해되는 극한 하에서의 점근적 행동은 테르윌리거 대수와 극한 과정을 통해 분석된다.
• 설계 매개변수를 포함하는 유리수 표현에 대해 p진 값매김을 적용하여 모순을 도출하며, 이는 이러한 설계가 오직 유한 개 존재할 수 있음을 보여준다.
• e ≥ 8일 때, 두 층에 걸쳐 있는 비자명한 날것한 상대 2e-설계의 매개변수 집합은 유한하다. 이는 밴나이의 유한성 결과를 상대 설계의 경우로 확장한 것이다.
• 정규화된 매개변수의 유일한 집적점은 (0, 1/2)이며, 모든 경우의 거의 전부에서 n = 2m여야 한다.