MUBs from bent functions

거대한 정보 도서관을 정리하려고 한다고 상상해 보세요. 하지만 책들을 정리하는 두 가지 방식이 결코 서로 같아 보이지 않도록 하면서도, 모든 방식이 완벽하게 조화를 이루도록 해야 합니다. 이것이 양자 물리학과 수학에서 사용되는 개념인 **상호 unbiased 기저 (Mutually Unbiased Bases, MUBs)**의 핵심 과제입니다.

이 논문에서 수학자 윌리엄 M. 칸토어는 이러한 완벽한 조직 시스템을 만들기 위한 새로운, 간단한 "레시피"를 제시합니다. 그는 **벤트 함수 (bent function)**라고 불리는 특수한 유형의 수학적 함수를 사용하여 이를 달성합니다.

일상적인 비유를 사용하여 그의 아이디어를 살펴보면 다음과 같습니다:

1. 목표: 완벽한 셔플

카드 덱을 생각해 보세요. 당신은 이를 무늬 (Suit) (하트, 다이아몬드 등) 로 정리하거나 순위 (Rank) (에이스, 2, 3 등) 로 정리할 수 있습니다.

만약 어떤 카드가 "하트 에이스"라는 것을 안다면, 당신은 "무늬" 목록에서 그 카드의 위치를 정확히 알 수 있습니다.
하지만 "순위" 목록을 보면, 그것이 "에이스"라는 사실만으로는 그것이 어떤 무늬에 속하는지에 대해 아무런 정보도 알려주지 않습니다. 그것은 네 가지 중 어떤 것이든 될 수 있기 때문입니다.

양자 세계에서는 과학자들이 서로 다른 "목록" (기저) 들을 많이 만들고 싶어 합니다. 한 목록에서 항목의 위치를 알면 다른 어떤 목록에서의 위치에 대해 아무런 정보도 주지 않는 그런 목록들 말입니다. 그들은 가능한 한 많은 이런 완전히 다른 목록들을 만들고 싶어 합니다. 칸토어는 이러한 목록들의 "완전한 집합"을 **완전한 MUB 집합 (Complete Set of MUBs)**이라고 부릅니다.

2. 비밀 재료: 벤트 함수

이러한 목록들을 만들기 위해 칸토어는 "벤트 함수"를 사용합니다.

비유: 함수를 입력 (예: 숫자) 을 받아 결과를 내뱉는 기계라고 상상해 보세요. "벤트" 함수는 완벽하게 "뒤틀리거나" "구부러진" 기계입니다.
특성: 입력을 아주 조금만 변경해도 출력은 완전히 예측 불가능하고 고르게 분포된 방식으로 변합니다. 이는 어떤 횟수를 던지더라도 "앞"이나 "뒤"에 머무르지 않는 공정한 동전 던지기처럼 작동합니다.
"Mubent" 집합: 칸토어는 이러한 벤트 함수들의 전체 팀이 필요합니다. 규칙은 팀에서 어떤 두 함수를 가져와서 하나를 다른 하나에서 빼면, 그 결과 역시 완벽하게 벤트된 함수여야 한다는 것입니다. 그는 이를 **"mubent 집합"**이라고 부릅니다.

3. 구성: 두 가지 다른 레시피

칸토어는 이러한 함수 팀들을 사용하여 목록을 만드는 방법을 보여주지만, 시스템의 크기 (특히 항목의 수가 홀수 소수인지 2 의 거듭제곱인지) 에 따라 두 가지 약간 다른 레시피를 사용해야 합니다.

레시피 A: 홀수를 위한 것 ("홀수 특성" 경우)

준비: 점들의 격자가 있다고 상상해 보세요. 당신은 표준 목록 (표준 기저) 을 가지고 있습니다.
마법: 당신의 "mubent 집합"에 있는 모든 벤트 함수에 대해 새로운 목록을 만듭니다. 이는 벤트 함수와 관련된 특정 공식을 사용하여 표준 목록의 항목들을 섞음으로써 이루어집니다.
결과: 칸토어는 수학적으로 증명합니다. 표준 목록으로 시작하여 벤트 함수들이 만든 모든 새로운 목록을 추가하면 완전한 집합을 얻게 된다는 것입니다. 모든 목록은 다른 모든 목록에 대해 완벽하게 "편향되지 않습니다".
주의점: 이 레시피는 홀수에는 훌륭하게 작동하지만, 2 (2 의 거듭제곱) 에 대해서는 적용하면 무너집니다.

레시피 B: 2 의 거듭제곱을 위한 것 ("특성 2" 경우)

문제: 첫 번째 레시피는 2 의 거듭제곱에서는 실패합니다. 왜냐하면 "벤트" 함수들이 같은 방식으로 작동하지 않기 때문입니다.
해결: 칸토어는 규칙을 약간 변경합니다. 간단한 목록 (0, 1, 2...) 에서의 숫자 대신 "모듈로 4" 시스템 (0, 1, 2, 3) 의 숫자를 사용합니다.
새로운 벤트 정의: 이 시스템에서 함수는 출력 간의 차이가 매우 구체적이고 균형 잡힌 방식으로 분포될 때 (0 과 2 의 개수가 같고, 1 과 3 의 개수가 같음) "벤트"라고 정의됩니다.
결과: 이 수정된 정의와 "스프레드 집합 (spread set)"이라고 불리는 특수한 유형의 행렬 (숫자 격자) 을 사용하여 새로운 목록들을 만듭니다. 첫 번째 레시피와 마찬가지로, 이는 완벽하게 편향되지 않은 목록들의 완전한 집합을 생성합니다.

4. 이것이 중요한 이유 (논문에 따르면)

간단함: 이러한 집합을 구축하기 위한 이전 방법들은 종종 복잡한 군론이나 기하학에 의존했습니다. 칸토어의 방법은 "기본적"이고 직접적입니다. 새로운 목록들을 기존 목록들의 간단한 조합으로 작성합니다.
완전성: 그는 이러한 방법들이 가능한 목록의 최대 수 (크기 N 인 시스템에 대해 N+1 개의 목록) 를 생성한다는 것을 증명합니다.
한계: 논문은 이 구성이 간단하지만, 주로 "이차" 함수 (벤트 함수의 특정하고 간단한 유형) 를 사용한다고 지적합니다. 더 많은 고유한 집합을 만들 수 있는 다른 더 기이한 유형의 벤트 함수가 있는지 여부에 대한 수수께끼를 해결하지는 못하지만, 견고하고 작동하는 기초를 제공합니다.

요약

칸토어의 논문은 요리책과 같습니다. 그는 말합니다. "양자 시스템을 정리하는 완전히 다른 방법들의 완벽한 집합을 만들고 싶다면, 여기 간단한 레시피가 있습니다.

'벤트' 함수들 (완벽하게 뒤틀린 함수들) 의 팀을 모으세요.
시스템이 홀수라면 레시피 A 를 사용하세요.
시스템이 2 의 거듭제곱이라면 레시피 B 를 사용하세요 (약간 다른 종류의 벤트 함수가 필요합니다).
이를 표준 목록과 섞으면 완전하고 완벽한 편향되지 않은 기저의 집합을 얻습니다."

이 논문은 이 레시피가 항상 작동한다는 수학적 증명이며, 이러한 복잡한 구조들을 생성하는 명확하고 명시적인 방법을 제공합니다.

기술적 요약: 벤트 함수에서 유도된 MUBs

문제 제기
본 논문은 소수 $p$ 에 대해 $N = p^n$ 인 복소 벡터 공간 $\mathbb{C}^N$ 에서 완전한 상호 무편향 기저 (Mutually Unbiased Bases, MUBs) 집합의 구성을 다룬다. 두 정규 직교 기저가 상호 무편향이라는 것은, 한 기저의 임의의 벡터와 다른 기저의 임의의 벡터 사이의 내적 크기가 정확히 $1/\sqrt{N}$ 임을 의미한다. 완전한 집합은 $N+1$ 개의 쌍별 무편향 기저로 구성된다. 이 문제에 대한 군론적 및 기하학적 접근법이 존재하지만 ([WoF, Wo, CCKS, Ka] 참조), 본 논문은 벤트 함수를 사용하여 새로운 기저 벡터를 표준 기저의 선형 결합으로 명시적으로 표현하는 독자적이고 기초적인 구성을 제공하고자 한다.

방법론
저자 윌리엄 M. 칸토어 (William M. Kantor) 는 "mubent" 함수 집합에 기반한 통합된 구성을 제안한다. 이 방법론은 체의 특성 (characteristic) 에 따라 다음과 같이 달라진다:

홀수 특성 ( $p > 2$ ):
- $V = \mathbb{Z}_p^n$ 라 하자. mubent 집합 $\mathfrak{B}$ 는 집합 내의 임의의 두 서로 다른 함수의 차이가 **벤트 함수 (bent function)**가 되는 $|V|$ 개의 함수 $V \to \mathbb{Z}_p$ 의 집합으로 정의된다.
- 함수 $B: V \to \mathbb{Z}_p$ 가 벤트 함수라는 것은, 임의의 $0 \neq u \in V$ 에 대해 차분 함수 $v \mapsto B(v+u) - B(v)$ 가 $\mathbb{Z}_p$ 의 모든 값을 정확히 $|V|/p$ 번 취함을 의미한다.
- 이 구성은 표준 기저 $M_\infty = \{e_a \mid a \in V\}$ 와 각 $B \in \mathfrak{B}$ 에 대한 기저의 집합 $M_B = \{ \frac{1}{\sqrt{N}} e_{a,B} \mid a \in V \}$ 를 정의한다.
- 벡터 $e_{a,B}$ 는 명시적인 선형 결합으로 구성된다: $e_{a,B} = \sum_{v \in V} \zeta^{a \cdot v + B(v)} e_v$ . 여기서 $\zeta$ 는 $p$ 차 본원근 (primitive $p$ -th root of unity) 이다.
특성 2 ( $p = 2$ ):
- $\mathbb{Z}_2$ 위의 벤트 함수의 표준 정의는 $N+1$ 크기의 완전한 집합을 산출하지 못하므로 (최대 크기는 $2^{n-1} + 1$ 로 제한됨), 이 구성은 $\mathbb{Z}_2$ 대신 $\mathbb{Z}_4$ 로 가는 함수 $V \to \mathbb{Z}_4$ 를 사용하도록 수정된다.
- 여기서 mubent 집합 $\mathfrak{B}$ 는 임의의 두 함수의 차이가 $\mathbb{Z}_4$ 로 가는 벤트 함수가 되는 $|V|$ 개의 함수 $V \to \mathbb{Z}_4$ 로 구성된다.
- 함수 $B: V \to \mathbb{Z}_4$ 가 벤트 함수라는 것은, $0 \neq u \in V$ 에 대해 카운트 $n(u, k) = |\{v \in V \mid B(v+u) - B(v) = k\}|$ 가 $n(u, 0) = n(u, 2)$ 및 $n(u, 1) = n(u, 3)$ 을 만족함을 의미한다.
- 기저 벡터는 단위근으로 허수 단위 $i$ 를 사용하여 유사하게 정의된다: $e_{a,B} = \sum_{v \in V} (-1)^{a \cdot v} i^{B(v)} e_v$ .

주요 결과 및 정리
본 논문은 이 구성의 유효성을 증명하는 두 가지 주요 정리를 확립한다:

정리 2.1 (홀수 특성): $\mathfrak{B}$ 가 $V \to \mathbb{Z}_p$ 함수의 mubent 집합이라면, 집합 $\{M_\infty\} \cup \{M_B \mid B \in \mathfrak{B}\}$ 는 $\mathbb{C}^N$ 에서 완전한 MUBs 집합을 형성한다. 이 증명은 벤트 함수의 분포 성질을 활용하여 서로 다른 기저에 대해 내적 크기의 제곱이 $1/N$ 과 같음을 계산함으로써 이루어진다.
정리 3.1 (특성 2): $\mathfrak{B}$ 가 $V \to \mathbb{Z}_4$ 함수의 mubent 집합이라면, $\{M_\infty\} \cup \{M_B \mid B \in \mathfrak{B}\}$ 는 $\mathbb{C}^N$ 에서 완전한 MUBs 집합을 형성한다. 이 증명 역시 $\mathbb{Z}_4$ 위의 벤트 함수에 내재된 특정 균형 조건 ( $n(u,0)=n(u,2)$ 및 $n(u,1)=n(u,3)$ ) 으로 인해 교차 상관 항이 소멸함을 보여준다.

구체적인 구성과 예시
본 논문은 이러한 구성의 존재를 입증하기 위해 mubent 집합의 구체적인 사례를 제공한다:

이차 함수 (Quadratic Functions): 홀수 $p$ 의 경우, 가장 간단한 예시는 트레이스 사상과 $x \mapsto \text{Tr}(ax^2)$ 형태의 이차 함수를 사용한다. mubent 조건은 연관된 행렬 집합이 "스프레드 집합 (spread set, 모든 쌍별 차이가 비특이인 행렬 집합)"을 형성하는 것에 해당한다.
특성 2 적응: $p=2$ 의 경우, 논문은 $\mathbb{Z}_4$ 위의 대칭 행렬을 활용한다. 보조정리 3.2는 2 로 나눈 나머지가 비특이인 $\mathbb{Z}_4$ 위의 임의의 대칭 행렬 $M$ 이 $B_M(v) = \hat{v}M\hat{v}^T$ 형태의 이차 벤트 함수를 생성함을 증명한다. 명제 3.3 은 $\mathbb{Z}_2$ 위의 대칭 행렬의 임의의 스프레드 집합이 $V \to \mathbb{Z}_4$ 로 가는 이차 함수의 mubent 집합을 생성하여 완전한 MUBs 집합을 만들어냄을 보인다.
익숙한 집합: 논문은 예시 2.2 와 3.4 가 기존 문헌에서 가장 잘 알려진 완전한 MUBs 집합을 재현함을 지적한다.

의의 및 주장
저자는 이 작업을 지배적인 군론적 및 기하학적 접근법과 다른 관점을 제공하는 "짧고 기초적인 구성"으로 제시한다. 주요 의의는 다음과 같다:

명시성: 새로운 기저 벡터는 벤트 함수에서 직접 유도된 표준 기저의 선형 결합으로 명시적으로 작성된다.
통합: 홀수 및 짝수 특성을 모두 위한 일관된 프레임워크를 제공하며, 특성 2 의 경우 $\mathbb{Z}_2$ 벤트 함수의 한계를 극복하기 위해 $\mathbb{Z}_4$ 로의 특정 수정이 필요하다.
참신성에 대한 겸손: 저자는 접근 방식이 다르지만, "아직까지 새로운 완전한 MUBs 집합의 구성으로 이어지지 않았다"고 명시적으로 밝힌다. 알려진 집합 (이차 함수와 스프레드 집합을 통해 생성된) 은 기존 문헌과 일치한다.
한계: 본 논문은 이 방법이 완전한 MUBs 집합의 유니타리 동치 (unitary equivalence) 에 관한 질문을 현재 해결하지 못한다고 인정한다. 이는 군론적 접근법이 하이젠베르크 군과 유한 아핀 평면을 통해 처리하는 문제이다. 또한, $p=2$ 의 경우 알려진 완전한 집합의 수가 $N$ 의 다항식으로 제한되지 않는 반면, $p>2$ 의 경우 알려진 집합의 수는 $O(N)$ 임을 지적한다.

요약하자면, 본 논문은 벤트 함수가 체계적으로 완전한 MUBs 집합을 생성하는 데 어떻게 사용될 수 있는지 보여주는 간결한 기술적 노트로서, 이전에 알려지지 않은 기저 집합을 발견했다고 주장하지 않으면서 초등적인 대수적 증명을 통해 구성을 검증한다.