On a discrete version of the position-momentum commutation relation

기술 요약: 위치-운동량 교환 관계의 이산 버전에 관하여

문제 정의
연속 변수 양자 역학에서 정준 교환 관계 $[\hat{q}, \hat{p}] = i\hbar$는 양자계의 수학적 기술에 있어 근본적이다. 그러나 유한 차원 힐베르트 공간(qudit)에서는, 에르미트 연산자 쌍이 정확히 존재할 수 없다. 이는 $[\hat{q}, \hat{p}]$의 트레이스(trace)가 0이어야 하는 반면, $i\hbar I$의 트레이스는 0이 아니기 때문이다. 기존의 접근 방식들은 이 관계가 적절한 부분 공간(subspace) 내에서만 성립하도록 정의를 완화함으로써 이를 해결하려고 시도해 왔다. 본 논문은 다른 접근 방식을 조사한다: 고차원 힐베르트 공간의 특정 부분 공간 내에서 이산 버전의 교환 관계가 높은 근사치로 만족될 수 있는지 여부를 결정하고, 이 부분 공간에 거주하는 양자 상태들을 규명하는 것이다.

방법론
저자는 차원이 $d = 2s+1$인 홀수 차원 힐베르트 공간 $\mathcal{H}$를 고려하며, 이는 집합 $\{-s, \dots, s\}$ 상의 함수들로 식별된다. 연구에는 다음과 같은 수학적 프레임워크가 사용된다:

1. 연산자 정의: 위치 연산자 $\hat{q}$는 계산 기저(computational basis)에서의 곱셈 연산자로 정의되며, 운동량 연산자 $\hat{p}$는 이산 푸리에 변환(DFT)을 통해 $\hat{p} = F^\dagger \hat{q} F$로 정의된다.
2. 변위 및 파울리 연산자: 일반화된 파울리 연산자 $Z$와 $X$가 정의되며, 이를 통해 이산 변위 연산자 $D(n,k)$가 도출된다.
3. 근사 지표: 정준 관계로부터의 편차는 연산자 $C = [\hat{q}, \hat{p}] - i \frac{d}{2\pi}$로 정량화된다. 본 논문은 $C$의 고윳값들을 분석하고, $\|C\psi\| < \epsilon$를 만족하는 정규화된 상태 $\psi$의 집합 $S_\epsilon$을 정의한다.
4. 상태 특성: 본 논문은 다양한 이산 양자 상태(가우시안, 코히어런트, 조화 진동자 고유 상태 등)가 차원 $d$가 증가함에 따라 $S_\epsilon$에 속하는지 여부를 수치적으로 평가한다. 또한 이산 해밀토니안의 스펙트럼 특성과 이 상태들 내에서의 불확정성 관계 $\Delta \hat{q} \Delta \hat{p} \ge \frac{d}{4\pi}$의 거동을 조사한다.

주요 기여 및 결과
본 논문은 충분히 큰 차원 $d$에 대해, 힐베르트 공간의 상당 부분이 근사적 교환 관계 $[\hat{q}, \hat{p}] \approx i \frac{d}{2\pi}$를 만족함을 입증한다. 구체적으로:

• 고윳값 분석: 수치 데이터에 따르면, $d$가 증가함에 따라 $|\lambda| < 0.001$인 $C$의 고윳값 비율이 크게 증가한다 (예: $d=11$에서 36%에서 $d=101$에서 84%로).
• 이산 가우시안 상태: 연속 매개변수 $\kappa$에 의존하는 이산 변수 가우시안 상태 군 $g_\kappa$는 근사적 교환 관계와 그에 대응하는 불확정성 원리를 만족하는 것으로 나타났다. 이 상태들은 푸리에 불변성($F[g_\kappa] = g_{1/\kappa}$)을 갖는다.
• 이산 포크 및 조화 진동자 상태: 이산 조화 진동자 해밀토니안 $\hat{H} = (\hat{p}^2 + \hat{q}^2)/2$의 고유 상태들과 이산 생성/소멸 연산자에 의해 생성된 상태들은 낮은 에너지 준위에서 $S_\epsilon$에 속하는 것으로 밝혀졌다. 이 해밀토니안들의 고윳값들은 스펙트럼의 낮은 부분에서 연속적인 경우와 유사하게 거의 등간격인 분포를 보인다.
• 이산 코히어런트 상태: 진공 상태에 이산 변위 연산자를 적용하여 생성된 상태(이산 코히어런트 상태)들은 근사적 관계를 만족한다.
• 특수 상태: 연구는 다음을 포함한 다른 특정 가족들로 확장된다:
  • 메타(Mehta) 상태: 이산 에르미트-가우스 함수의 이산 버전으로, 이산 푸리에 변환의 고유 상태이다.
  • 하퍼(Harper) 상태: 유한 차분 연산자를 사용하여 구성된 해밀토니안의 고유 함수이다.
  • 크라브축(Kravchuk) 상태: 크라브축 다항식에 기반한 상태들이다.
• 불확정성 관계: $S_\epsilon$에 속하는 상태들에 대해 로버트슨-슈뢰딩거 불확정성 관계 $\Delta \hat{q} \Delta \hat{p} \ge \frac{d}{4\pi}$가 높은 근사도로 만족된다.

의의 및 주장
본 논문은 중요한 이산 변수 양자 상태들의 새로운 성질, 즉 힐베르트 공간의 차원이 충분히 클 때 위치-운동량 교환 관계를 근사적으로 만족하는 능력을 식별했다고 주장한다.

• 이론적 함의: 이 결과는 양자 정보 이론에서 사용되는 연속 변수 가우시안 상태 이론과 유사한 이산 변수 시스템을 위한 수학적 형식론이 오직 이러한 특정 상태들만을 사용하여 구축될 수 있음을 시사한다.
• 물리적 해석: 저자는 $\hat{q}$와 $\hat{p}$ 연산자가 물리적으로 등간격 고윳값을 갖는 관측량(예: $SU(2)$시스템의$J_z$)과 그 푸리에 켤레(conjugate)에 대응할 수 있다고 제안한다.
• 실험적 관련성: 이러한 상태들이 특정 이산 해밀토니안의 저에너지 고유 상태로서 자연스럽게 나타나기 때문에, 실험적으로 접근 가능하다는 점을 강조한다.
• 겸손한 태도 및 열린 질문: 저자는 왜 이 특정 상태들이 관계를 만족하는지, 혹은 왜 이들이 저에너지 상태에 해당하는지에 대한 만족스러운 수학적 설명이 현재로서는 없음을 명시적으로 밝힌다. 근사적 교환 관계와 고윳값의 등간격 분포 사이의 연결은 추가적인 이론적 조사가 필요한 상관관계로 언급되었다. 본 논문은 구체적인 실험 설정을 제안하기보다는, 이러한 특정 상태들에 집중함으로써 이산 변수 양자 컴퓨팅을 위한 유용한 모델을 구축할 수 있는 잠재력을 강조한다.