[논문 리뷰] SICs: Extending the list of solutions

A.J. Scott|arXiv (Cornell University)|2017. 03. 11.

Quantum Mechanics and Non-Hermitian Physics인용 수 36

한 줄 요약

이 논문은 수치적으로 발견된 Weyl-Heisenberg 공변 대칭 정보 이론적 완전성 양의 측정 가능한 양의 측정값(이하 SIC-POVM)의 알려진 목록을 d ≤ 121의 모든 차원에서 확장하였으며, 추가로 d = 124, 143, 147, 168, 172, 195, 199, 228, 259, 323의 고차원에서도 해를 발견하였다. Zauner 행렬의 고유공간과 고차 대칭 행렬을 이용한 대칭 제한 검색을 통해 저자들은 d ≤ 90까지의 이러한 SIC에 대해 추정되는 완전한 목록을 제공하였으며, d > 50인 경우 고정밀도 해를 제공하였다.

ABSTRACT

Zauner's conjecture asserts that $d^2$ equiangular lines exist in all $d$ complex dimensions. In quantum theory, the $d^2$ lines are dubbed a SIC, as they define a favoured standard informationally complete quantum measurement called a SIC-POVM. This note supplements A. J. Scott and M. Grassl [J. Math. Phys. 51 (2010), 042203] by extending the list of published numerical solutions. We provide a putative complete list of Weyl-Heisenberg covariant SICs with the known symmetries in dimensions $d\leq 90$, a single solution with Zauner's symmetry for every $d\leq 121$ and solutions with higher symmetry for $d=124,143,147,168,172,195,199,228,259$ and $323$.

연구 동기 및 목표

• 이전까지 알려진 d ≤ 50를 초월하여 수치적으로 발견된 Weyl-Heisenberg 공변 SIC-POVM의 목록을 확장하기 위해.
• Zauner의 행렬과 관련된 대칭 연산자에 대한 고유공간에 검색을 제한하여 d ≤ 90까지의 SIC 기수 벡터에 대해 추정되는 완전한 목록을 제공하기 위해.
• d > 50인 차원에서 고차 대칭을 가진 새로운 SIC 해를 발견하기 위해, 특히 d = 124, 143, 147, 168, 172, 195, 199, 228, 259, 323에서 발견하기 위해.
• d ≤ 50에서 목록의 완전성을 확인하고, 알려진 대칭 제약 조건 하에서 d ≤ 90까지의 완전성 가능성을 평가하기 위해.
• d > 50인 경우 고정밀도 SIC 기수 벡터(150자리)를 공개하여 SIC 대칭성 및 구조에 대한 향후 연구를 가능하게 하기 위해.

제안 방법

• 복소 프로젝티브 공간 CP^{d-1} 위에서 실수 함수의 전역 최소값으로서 SIC를 특성화하는 웰치 부등식의 좌변을 최소화함으로써 SIC 기수 벡터에 대한 수치적 검색을 수행함 (식 54).
• 로컬 최적화를 위해 C++로 구현된 L-BFGS 알고리즘을 사용함. 초기 벡터는 투영 측정법(Hurwitz parametrization)을 통해 Haar 측도에 따라 균일하게 추출함.
• Zauner의 행렬 F_z 및 고차 대칭 행렬 F_a, F_b, F_c, F_d, F_e의 고유공간에 검색 공간을 제한하여 알려진 대칭성을 활용하고 계산 비용을 절감함.
• 반단위 연산 대칭성의 경우, 식 56에 따라 고유값 프로젝터를 사용하여 초기 벡터를 불변 부분공간으로 투영함으로써 대칭 제약 부분다양체에서 효율적인 검색을 가능하게 함.
• 모든 EC(d) 변환에 대한 기수 벡터의 직접 비교를 통해 브루트 포스 방법으로 클리포드 군 궤도를 분류함. 궤도 크기와 대칭 구조를 통해 안정자 부분군을 식별함.
• GMP/MPFR 다중 정밀 산술을 사용하여 해를 150자리 정밀도로 정밀화하고, 특정 유니터리 또는 반단위 연산자에 대한 불변성 검증을 통해 대칭 성질을 확인함.

실험 결과

연구 질문

• RQ1 d ≤ 121인 모든 차원에서 Weyl-Heisenberg 공변 SIC-POVM이 존재하며, 고정밀도로 수치적으로 구성 가능한가?
• RQ2 Zauner의 행렬과 고차 대칭 행렬의 고유공간에 검색을 제한함으로써 SIC 기수 벡터 검색을 더 효율적으로 만들 수 있는가?
• RQ3 d > 50인 차원에서 SIC 기수 벡터의 전체 대칭 구조(안정자)는 무엇이며, F_z, F_a, F_b, F_c, F_d, F_e와 같은 알려진 대칭 유형과 어떻게 관련되어 있는가?
• RQ4 기존 주요 대칭성 F_z와 F_a에 제한된 경우 d ≤ 90까지 Weyl-Heisenberg 공변 SIC 목록이 완전한가?
• RQ5 특정 차원에서 고차 대칭(예: 차수 2, 6, 9)을 가진 해가 존재하는가? 그리고 대칭 제약 검색을 통해 이를 체계적으로 발견할 수 있는가?

주요 결과

• Zauner의 행렬 F_z와 고차 대칭 행렬 F_a의 고유공간에서 해를 찾은 바, d ≤ 90까지의 Weyl-Heisenberg 공변 SIC에 대해 추정되는 완전한 목록을 제공함.
• 모든 차원 d ≤ 121에서 SIC 기수 벡터가 성공적으로 계산되었으며, 동일한 코드베이스를 초고성능 컴퓨터에서 d = 151까지 확장하여, 151차원 이하 모든 차원에서 해의 존재를 확인함.
• 10개의 새로운 차원 d = 124, 143, 147, 168, 172, 195, 199, 228, 259, 323에서 고차 대칭을 가진 해를 발견하였으며, 각각 F_b, F_c, F_d, 또는 F_e와 관련된 고유한 대칭 행렬을 가짐.
• d = 19, 53, 199에서 순서 9의 유니터리 연산 F_d가 F_d^3 ∼ F_z 또는 F_a를 만족함을 발견하여, 서로 다른 대칭 유형 간의 비자명한 연결 고리가 있음을 시사함.
• 궤도 분석을 통해 각 SIC 기수 벡터의 안정자 구조를 규명하였으며, 대부분의 해는 Zauner의 순서 3 유니터리 F_z에 의해 안정화되나, d = 9k+3인 차원에서는 F_a 대칭을 가진 예외적인 해를 발견함.
• d > 50인 경우 고정밀도 해(150자리)를 소스 파일에 공개하여, SIC 기하학 및 수론적 성질에 대한 향후 연구를 가능하게 함.