[논문 리뷰] Lagrangian representation for fermionic linear optics

Sergey Bravyi|ArXiv.org|2004. 04. 30.

Quantum Information and Cryptography인용 수 15

한 줄 요약

이 논문은 페르미온 시스템에 대해 그라스만 변수를 사용하여 가우시안 상태와 사상의 일반화를 시도하며, 페르미온 선형 광학(FLO)에 대한 라그랑주 표현을 수립한다. 이는 유니터리 변환과 단일 모드 사영자에 의한 상관 행렬의 진화에 대한 명시적 공식을 제공하여, 그라스만 변수에 대한 가우시안 인테그랄을 통해 고전적 시뮬레이션을 가능하게 한다.

ABSTRACT

Notions of a Gaussian state and a Gaussian linear map are generalized to the case of anticommuting (Grassmann) variables. Conditions under which a Gaussian map is trace preserving and (or) completely positive are formulated. For any Gaussian map an explicit formula relating correlation matrices of input and output states is presented. This formalism allows to develop the Lagrangian representation for fermionic linear optics (FLO). It covers both unitary operations and the single-mode projectors associated with FLO measurements. Using the Lagrangian representation we reduce a classical simulation of FLO to a computation of Gaussian integrals over Grassmann variables. Explicit formulas describing evolution of a quantum state under FLO operations are put forward.

연구 동기 및 목표

• 페르미온 시스템에 대해 반교환(그라스만) 변수를 사용하여 가우시안 상태와 사상의 형식을 일반화하기.
• 페르미온 선형 광학(FLO)의 맥락에서 추적을 보존하고 완전히 양자적인 가우시안 사상을 특성화하기.
• 유니터리 연산과 사영 측정을 통합하는 라그랑주 표현을 개발하기.
• 그라스만 변수에 대한 가우시안 인테그랄로 상태 진화를 줄임으로써 FLO의 효율적 고전적 시뮬레이션을 가능하게 하기.

제안 방법

• 창조/소멸 연산자의 클리포드 대수적 구조를 활용하여 페르미온 연산자와 상태의 그라스만 변수 매개변수화를 도입한다.
• 상관 행렬을 통해 페르미온 가우시안 상태를 정의하고, 그라스만 변수에 대한 가우시안 인테그랄과의 등가성을 수립한다.
• 연산자에 작용하는 선형 사상(가우시안 사상)에 대한 라그랑주 표현을 개발하며, 인테그랄 커널은 그라스만 지수를 포함한다.
• 가우시안 사상이 상관 행렬에 작용하는 방식에 대한 명시적 공식을 유도하며, 이는 유니터리 변환과 측정 유도 사상 모두 포함된다.
• 이중 상태 형식을 사용하여 FLO 사영자(예: 단일 모드의 오염 수준 측정)를 가우시안 사상으로 표현한다.
• 가우시안 인테그랄 기법을 적용하여 입력 상관 행렬로부터 측정 후 상태와 측정 결과의 확률을 계산한다.

실험 결과

연구 질문

• RQ1 어떻게 페르미온 시스템에서 반교환(그라스만) 변수를 가진 시스템에 대해 가우시안 상태와 사상을 일반화할 수 있는가?
• RQ2 페르미온 맥락에서 가우시안 사상이 추적을 보존하거나 완전히 양자적인지를 보장하는 조건은 무엇인가?
• RQ3 유니터리 및 사영 측정을 포함한 FLO 연산의 행동을 어떻게 라그랑주 형식으로 통일적으로 묘사할 수 있는가?
• RQ4 FLO의 고전적 시뮬레이션을 그라스만 변수에 대한 가우시안 그라스만 인테그랄의 평가로 줄일 수 있는가?
• RQ5 단일 모드 측정을 포함한 FLO 연산에 의한 상관 행렬의 명시적 변환 규칙은 무엇인가?

주요 결과

• 가우시안 사상이 추적을 보존하는 것은 그 연관 인테그랄 커널이 그라스만 적분으로부터 유도된 특정 정규화 조건을 만족할 때에만 성립한다.
• 완전히 양자적인 가우시안 사상은 사상 커널의 행렬 구조에 대한 조건으로 특성화되며, 이는 출력 상태의 물리적 실현 가능성을 보장한다.
• 유니터리 FLO 연산에 의한 페르미온 가우시안 상태의 진화는 심플렉틱 유사 변환을 통한 상관 행렬의 선형 변환으로 묘사된다.
• 단일 모드 사영자(예: 모드의 점유 수 측정)의 경우, 측정 후 상관 행렬은 입력 행렬에 대한 유리 함수로 주어지며, 구체적으로 $ L = (I - MK)^{-1}M $ 이다. 여기서 $ K $ 는 질량 2인 반대칭 행렬이다.
• 측정 결과의 확률은 $ p_0 = \frac{1}{2} \mathrm{Pf}(M) \mathrm{Pf}(K - M^{-1}) $ 로 주어지며, 이는 기존 결과와 일치하며 본 논문에서는 그라스만 인테그랄 형식에서 유도되었다.
• FLO의 전체 역학, 즉 상태 진화와 측정 통계는 모두 그라스만 변수에 대한 가우시안 인테그랄을 통해 계산 가능하며, 이는 효율적 고전적 시뮬레이션을 가능하게 한다.