PSI 연구진이 양자정보 이론 미해결 문제 다섯 건에 새 결과를 냈다

AI 연구 시스템과 함께 연구한 PSI 연구진이 양자정보 이론의 미해결 문제 다섯 건에서 새 결과를 얻었다. 각 결과에는 논문, Lean 형식화, 검증 코드가 포함됐으며, 공개 저장소는 각 결과에 AI를 어떻게 사용했는지 기록한다.

OQP 2는 부분전치가 음수인 상태에서 몇 개의 복사본을 사용해도 얽힘을 증류할 수 없는지 묻는다. 연구진은 두 부분계의 밀도 행렬이 I−αF에 비례하는 베르너 상태를 살펴봤다. 여기서 F는 두 부분계를 교환하는 연산자다. 모든 국소 차원 d≥3에서 1/d<α≤37/80(0.4625)이면 이 상태 세 개로 벨 쌍을 증류할 수 없음을 보였다. 기존에 발표된 증명서는 차원 3과 차원 4에서 세 복사본을 쓸 때의 임계값 α=1/2를 확립했다. 임의로 많은 복사본을 사용하는 경우는 여전히 미해결이다.

OQP 12에서는 질량이 있는 자유 스칼라장의 3+1차원 진공에서 모양이 고정된 두 유계 영역이 임의로 멀리 떨어져 있어도 진공 상관관계가 CHSH 벨 부등식을 위반할 수 있는지를 다룬다. 연구진은 두 영역 사이 거리가 유한한 임계값을 넘으면 어떤 국소 관측량을 선택해도 CHSH 부등식을 위반하지 않는다고 증명했다. 다만 두 영역은 거리가 임의로 커져도 얽힌 상태로 남는다.

OQP 27은 국소 차원 d인 고정된 최대 얽힘 상태에서 d개 결과를 갖는 사영 측정 가운데 CGLMP 벨 부등식 위반을 가장 크게 만드는 측정이 무엇인지 묻는다. 연구진은 푸리에 위상 측정 전략이 벨 부등식 위반을 최대화하는 데 최적임을 증명했다. 최대 벨 위반을 내는 모든 측정 전략은 유니터리 변환을 거쳐 이러한 푸리에 위상 측정과 동등하다는 점도 규명했다.

OQP 38은 얽힘을 깨는 데 양의 부분전치(PPT) 사상 몇 개가 필요한지 다룬다. 최근 OpenAI 사전 공개 논문이 보고한 것처럼 두 개로는 일반적으로 충분하지 않다. 연구진은 d≥2인 d차원 시스템에 어떤 2(d−1)개의 PPT 사상을 적용해도 충분하다고 증명했다. 각 단계의 사상은 서로 달라도 되며, 사상들을 합성하면 어떤 기준 시스템과의 얽힘도 깨진다.

OQP 43은 공유된 얽힌 보조 시스템을 써도 상관관계가 인과성을 유지하는 모든 과정이 더 큰 유한 차원의 가역 과정으로 표현될 수 있는지 묻는다. 연구진은 이 주장을 반박하는 두 당사자 사례를 구성했다. 즉, 확장 가능한 인과성을 갖지만 더 큰 유한 차원의 가역 과정으로 설명할 수 없는 과정이 존재함을 보였다.

전체 연구 보기