Contextuality supplies the magic for quantum computation

그래프 기반 맥락성.—

• 맥락성은 여러 측정 맥락에 공통으로 등장하는 검사에 일관된 값이 미리 정해져 있을 가능성을 배제한다. 비맥락성 부등식에서는 이러한 양립 불가능성이 측정 상태에 의존할 수 있다.이전의 입증에서는 측정 상태와 무관하게 비맥락적 모형과 양립할 수 없는 검사 집합을 사용했다.출처: Graph-based contextuality.— · p. 2
• 배타성 그래프는 이진 검사를 rank-1 사영 연산자에 해당하는 꼭짓점으로 나타내고, 양립 가능한 검사 중 사영 연산자가 서로 직교하는 쌍을 연결한다.이처럼 양립 가능한 검사들은 동시에 수행할 수 있다.출처: Graph-based contextuality.— · p. 2
• 비맥락적 숨은 변수 모형에서 증인값의 최댓값은 배타성 그래프의 독립수 α(Γ)와 같다.각 측정에서 값 1을 부여받을 수 있는 사영 연산자는 최대 하나이므로, 선택된 꼭짓점들은 서로 인접하지 않아야 한다.출처: Graph-based contextuality.— · p. 2
• α(Γ) < ϑ(Γ)인 그래프에서는 적절히 선택한 사영 연산자와 상태로 비맥락성 부등식을 위반하여 양자 맥락성을 드러낼 수 있다.Lovasz 수 ϑ(Γ)는 양자 증인값의 최댓값에 상한을 주며, 준정부호 계획법으로 계산할 수 있다.출처: Graph-based contextuality.— · p. 2
• 일반화 확률 이론에서 달성할 수 있는 증인값의 최댓값은 분수 패킹 수 α*(Γ)와 같다.이 값을 달성하는 양자 상태와 사영 연산자는 최대 맥락성을 지닌다. 어떤 일반화 확률 이론도 이보다 큰 비맥락성 부등식 위반을 허용하지 않는다.출처: Graph-based contextuality.— · p. 2

안정자 형식론.—

• 안정자 오류 정정 부호는 파울리 군의 원소를 사용하며, d준위 큐디트로 구성된 회로는 큐비트 회로와 동일한 계산 능력을 갖는다.고차원 큐디트는 실험적 어려움을 수반할 수 있다.출처: The stabilizer formalism.— · p. 2
• 소수 차원 p에서 이 형식론은 일반화된 X 및 Z 연산자와 바일–하이젠베르크 변위 연산자를 사용한다.위상 규약에는 Z_p에서 2의 곱셈 역원을 사용한다. p = 2에서는 해당 위상 인자를 i로 대체하면 큐비트 파울리 연산자를 얻는다.출처: The stabilizer formalism.— · pp. 2–3
• 안정자 상태는 계산 기저에 클리퍼드 군의 원소를 작용시켜 얻는 상태이며, 클리퍼드 군은 변위 연산자의 텐서곱으로 생성되는 군의 정규화군으로 정의된다.이는 변위 연산자를 이용한 구성을 안정자 상태 집합과 연결한다.출처: The stabilizer formalism.— · p. 3
• 안정자 다면체는 안정자 상태들의 볼록 껍질이며, 단일 계에서는 연립 부등식으로 특성화된다.볼록 껍질 구성은 안정자 상태들의 확률적 혼합을 기술한다.출처: The stabilizer formalism.— · pp. 2–3
• 나열된 변위 연산자들의 고유기저는 상호 비편향 기저의 완전한 집합을 이룬다.이 구성은 이들 연산자의 지정된 고윳값에 대응하는 고유벡터로의 사영 연산자를 사용한다.출처: The stabilizer formalism.— · p. 3

매직 상태 증류.—

• 적절한 안정자 연산 아래에서 측정과 사후선택은 n개의 입력 복사본을 매직 상태에 대한 충실도가 높아진 m개의 출력으로 변환한다.처음 m개를 제외한 모든 레지스터를 측정하고, 출력이 충분히 순수해질 때까지 정제를 반복한다.출처: Magic state distillation.— · p. 3
• 정제된 매직 상태는 상태 주입을 통해 비클리퍼드 연산을 가능하게 하며, 안정자 연산을 보완해 내결함성 범용 양자 계산을 구현한다.해당 오류 정정 부호에서 가능한 횡단 연산의 집합은 유한하고 비범용적이므로, 추가 자원으로 매직 상태가 필요하다.출처: Magic state distillation.— · p. 3
• 효율적인 고전적 시뮬레이션에 관한 결과30,34,35에 따르면, PSIM 내의 상태는 아무리 많이 안정자 회로에 추가해도 매직 상태 증류가 불가능하다.PSIM이 증류 불가능 상태 전체의 집합인지는 아직 해결되지 않은 문제다.출처: Magic state distillation.— · p. 3
• 큐비트에서 PSIM은 안정자 혼합 다포체 PSTAB과 같지만, 그 밖의 모든 소수 차원에서는 PSTAB을 진포함한다.큐트리트 예시는 속박 매직 상태34, 즉 PSTAB 밖에 있으면서도 효율적으로 시뮬레이션할 수 있는 영역 안에 남아 있는 양자 상태를 보여 준다.출처: Magic state distillation.— · p. 3, Figure 1 · p. 3
• 선행 결과34,39에 따르면 PSIM은 음이 아닌 이산 위그너 표현을 갖는 상태들의 집합과 정확히 일치한다.이어지는 분석에서는 증류 불가능성, 비음성, 비맥락성 사이의 관계를 다룬다.출처: Magic state distillation.— · p. 3

계산 자원으로서의 맥락성—

• 단일 큐디트 구성은 각 안정자 사영자가 정확히 하나의 맥락에만 속하므로 맥락성을 띠는 상태를 검출하지 못한다. 여러 맥락을 구성하려면 적어도 두 부분계가 필요하다.모든 상태 ρ에 대해 단일 큐디트 구성은 Tr(Σρ) ≤ α(Γ_r)를 만족하므로 맥락성 위반이 불가능하다.출처: Contextuality as a computational… · p. 4
• 8은 꼭짓점이 30개인 두 큐비트 그래프의 독립수다. |T⟩⟨T| ⊗ σ는 임의의 σ에 대해 이 그래프의 비맥락성 부등식을 최대한 위반한다.그래프의 꼭짓점은 두 큐비트 안정자 상태를 나타내며, 변은 서로 직교하는 상태를 연결한다.출처: Figure 2 · p. 4, Contextuality as a computational… · p. 5
• 두 큐디트 안정자 사영자만으로도 두 번째 계의 상태와 무관하게 이산 위그너 비맥락 모형이 없는 모든 단일 큐디트 상태를 검출할 수 있다.각 면에는 첫 번째 큐디트의 사영자를 계산 기저 상태와 짝지은 p(p^2 − 1)개의 분리 가능한 사영자와 모든 두 큐디트 얽힘 사영자가 사용된다. 두 번째 계는 최대 혼합 상태여도 된다.출처: Contextuality as a computational… · p. 4
• 모든 소수 p ≥ 2에 대해 그래프의 독립수는 p^3이다. p > 2에서는 양자 맥락성의 최댓값이 초양자 상한 p^3 + 1에 도달한다.p > 2에서는 맥락성이 구성된 비맥락성 부등식 중 하나를 위반하는 것과 동치이며, ϑ(Γ_r) = α∗(Γ_r) = p^3 + 1이다.출처: Contextuality as a computational… · p. 4
• 홀수 소수 차원에서 안정자 측정의 맥락성은 PSIM 밖의 상태를 정확히 식별하며, 이는 매직 상태 증류를 통한 양자 가속 가능성과 일치한다.이산 위그너 함수34,40–42는 모든 안정자 측정과 PSIM 안의 상태에 대한 비맥락적 숨은 변수 모형을 제공한다.출처: Contextuality as a computational… · pp. 4–5
• p + 1개의 분리 가능한 기저와 p^3 − p개의 얽힘 기저로 클리크 덮개 논증을 통해 상한 p^3 + 1을 확립한다.문헌40에서 그 존재를 인용한 Tr(A_rρ) = −1인 상태가 이 상한을 달성한다. α(Γ_r) = p^3의 증명은 보충 자료에 제시한다.출처: Contextuality as a computational… · p. 5

의의와 전망

• 큐비트와 차원이 홀수 소수인 큐디트 모두에서 마법 상태 증류를 통한 보편 양자 계산에는 맥락성이 필요하다.이러한 큐디트에서 안정자 측정에 대한 비맥락성은 PSIM에 속하는 것과 동치다. PSIM은 마법 상태 증류에 쓸모없다고 알려진 보조계 상태들의 다포체다. 큐비트에서는 PSIM 밖의 모든 상태가 맥락성을 띤다.출처: Significance and outlook.— · p. 5
• 큐디트에서는 PSIM 밖의 모든 상태를 마법 상태로 증류할 수 있음을 증명해야 하므로 충분성은 미해결 문제다.이러한 증류가 가능하다면, 이 맥락적 상태들이 안정자 회로에 보편성을 부여할 수 있음이 입증된다.출처: Significance and outlook.— · p. 5
• 큐비트에서는 맥락성만으로 보편성이 보장되지 않는다. 최대 혼합 상태조차 안정자 측정으로 구성한 비맥락성 부등식을 위반할 수 있다.제시된 구성으로 얻은 부등식은 I/4를 포함한 모든 두 큐비트 상태가 위반한다.출처: Significance and outlook.— · p. 5
• 큐디트 안정자 형식에서는 상태 비의존적 맥락성이 전혀 나타나지 않으므로, 그 맥락성은 반드시 상태 의존적이며 계산의 마법 자원에 조작적으로 필요하다.상태 비의존적 맥락성이 없다는 점이 큐비트와의 핵심 차이다.출처: Significance and outlook.— · p. 5
• 큐비트에서는 양자 가속 가능성을 더 정확히 반영하도록 맥락성을 조작적으로 정교화하거나 정량화하는 방법을 찾는 것이 여전히 미해결 문제다.출처: Significance and outlook.— · p. 5

• 홀수 소수 p와 모든 A_r ∈ A_sim에 대해 Γ_r의 독립수 α(Γ_r)는 정확히 p^3이다.Γ_r의 독립 집합은 {Π}_r에서 서로 비직교인 랭크 1 사영 연산자들의 집합에 대응한다.출처: Supplementary Information:… · pp. 7, 9
• 위상 공간 구성법으로 서로 비직교인 사영 연산자 p^3개를 구성하여 모든 A_r ∈ A_sim에 대한 하한을 확립한다.u ≠ r와 임의의 v에 대해, 위상 공간 점 (u, v)에 값 1을 부여하는 {Π}_r의 사영 연산자는 정확히 p^3개다.출처: Supplementary Information:… · p. 7
• 심플렉틱 Clifford 매개화는 사영 연산자의 비직교성을 대수적 제약으로 변환하며, 심플렉틱 성분은 얽힘 기저를 표시하고 파울리 성분은 기저 상태를 선택한다.Jamiolkowski 동형사상에서 두 큐디트 얽힘 안정자 상태는 단일 큐디트 Clifford 연산자와 정확히 대응한다.출처: Supplementary Information:… · pp. 7–8
• BP의 좌잉여류 p + 1개는 단일 큐디트의 상호 비편향 기저 p + 1개와 일대일로 대응한다.이 잉여류들은 계산 기저를 해당 기저들로 보내며, 이로부터 얻은 표기 체계는 본문에서 사용하는 +1 고유상태를 보존한다.출처: Supplementary Information:… · p. 8
• Lemma 5는 BP의 해당 좌잉여류와의 Jamiolkowski 대응을 통해 주어진 분리 기저와 상호 비편향이 아닌 얽힘 기저들을 식별한다.출처: Supplementary Information:… · p. 8
• 서로 비직교인 안정자 사영 연산자 p^3 + 1개가 모두 {Π}_r에 속할 수는 없으므로 α(Γ_r) < p^3 + 1이 성립한다.이러한 불가능성은 Lemmas 3 and 5에서 확립한 대수적 비직교성 제약으로부터 도출된다.출처: Supplementary Information:… · p. 9