[논문 리뷰] The LU-LC conjecture is false

Zhengfeng Ji, Jianxin Chen외 2명|arXiv (Cornell University)|2007. 09. 09.

Quantum Computing Algorithms and Architecture인용 수 12

한 줄 요약

이 논문은 두 정 stabilizer 상태가 국소 유니터리(LU) 동치일 수 있지만 국소 클리포드(LC) 동치일 수는 없다는 반례를 제시함으로써 LU-LC 추측을 반증한다. 이는 이차형식 문제(QFP)에서 stabilizer 상태로의 변환을 통해, LU 동치이지만 LC 동치가 아닌 명시적인 상태를 구성함으로써 이루어지며, 이는 일반적으로 LU 동치와 LC 동치가 동치가 아님을 보여주며, 특히 랭크가 6 이상인 stabilizer 상태에 대해 그러하다.

ABSTRACT

The LU-LC conjecture is an important open problem concerning the structure of entanglement of states described in the stabilizer formalism. It states that two local unitary equivalent stabilizer states are also local Clifford equivalent. If this conjecture were true, the local equivalence of stabilizer states would be extremely easy to characterize. Unfortunately, however, based on the recent progress made by Gross and Van den Nest, we find that the conjecture is false.

연구 동기 및 목표

• 장기적인 LU-LC 추측을 반증하기 위해, 국소 유니터리(LU) 동치인 stabilizer 상태는 반드시 국소 클리포드(LC) 동치여야 한다는 주장에 도전한다.
• LU 동치와 LC 동치가 일반적으로 동치가 아님을 보이며, stabilizer 상태에서 국소 동치를 완전히 기술하는 데 LC 동치가 충분하지 않다는 가정에 도전한다.
• 이차형식과 그래프 상태 변환을 이용한 반례 생성을 위한 구축 방법을 제공한다.
• stabilizer 형식이 LC 프레임워크를 초월해 국소 유니터리 동치를 기술하는 데서 나타나는 한계를 명확히 한다.

제안 방법

• 최근의 Gross와 Van den Nest의 결과를 활용하여 LU-LC 추측을 더 단순한 문제로 변환함으로써, 이는 이차형식 문제(QFP)로 축소된다.
• 이차 함수 $ Q(x) $를 사용하여, $ \frac{1}{\sqrt{|T|}}\sum_{x\in T}(-1)^{Q(x)}|x\rangle $ 형태의 균일한 초위상 상태로 stabilizer 상태를 구성한다.
• 두 상태를 정의한다: $ |S\rangle = \sum_{x\in S}|x\rangle $ 와 $ |Q,S\rangle = \sum_{x\in S}(-1)^{Q(x)}|x\rangle $, 이들은 DLU 동치이므로 LU 동치이다.
• LC 동치 결정 알고리즘(NDM04a)을 사용하여, 해당 그래프 상태 $ |G_S\rangle $ 와 $ |G_{Q,S}\rangle $ 가 LC 동치인지 테스트한다.
• 그래프 상태 변환을 적용하여 원래 상태를 그래프 상태로 매핑함으로써, 그래프 이론적 규칙을 통해 효율적인 LC 동치 테스트를 가능하게 한다.
• NDM05에서의 최소 stabilizer 지지도 결과를 활용하여, 국소 유니터리가 클리포드가 아닐 경우의 비-LC 동치를 이론적으로 정당화하며 반례에 대한 이론적 근거를 제공한다.

실험 결과

연구 질문

• RQ1 LU-LC 추측이 주장하는 바와 같이, 모든 LU 동치 stabilizer 상태는 반드시 LC 동치여야 하는가?
• RQ2 두 stabilizer 상태가 LU 동치이지만 LC 동치가 아닌 반례를 구성할 수 있는가?
• RQ3 이러한 반례가 존재하기 위해 필요한 최소 큐비트 수는 얼마인가?
• RQ4 stabilizer 군의 구조와 이차형식 $ Q(x) $ 는 LU 동치와 LC 동치의 차이를 어떻게 영향을 주는가?
• RQ5 그래프 이론적 방법이나 stabilizer 형식을 통해 LU-LC 차이를 기술할 수 있는가?

주요 결과

• LU-LC 추측은 잘못되었다: LU 동치이지만 LC 동치가 아닌 stabilizer 상태가 존재한다.
• 27 큐비트의 반례가 구성되었으며, 저자들은 이것이 그러한 반례의 최소 크기일 것이라 믿는다.
• 이 반례는 이차형식 문제(QFP)의 잘못된 사례에서 유도되었으며, 이는 변환을 통해 LU-LC 추측의 부정성을 암시한다.
• 상태 $ |S\rangle $ 와 $ |Q,S\rangle $ 는 DLU 동치이므로 LU 동치이지만, 그에 대응하는 그래프 상태 $ |G_S\rangle $ 와 $ |G_{Q,S}\rangle $ 는 LC 동치가 아니다.
• 이 반례는 오직 한 개의 간선만 다를 뿐인 두 그래프 상태가 LU 동치일 수는 있지만 LC 동치일 수는 없다는 것을 보여준다.
• 랜덤 절차를 사용하여 더 큰 반례들(예: 35 큐비트)을 생성하였으며, 랜덤 구성에서의 통찰을 활용하여 나중에 7 큐비트의 반례도 발견하였다.