[논문 리뷰] On the Matrix Representation of Quantum Operations

Yoshihiro Nambu, Kazuo Nakamura|ArXiv.org|2005. 04. 12.

Quantum Computing Algorithms and Architecture참고 문헌 4인용 수 4

한 줄 요약

이 논문은 양자 연산의 두 핵심 행렬 표현인 $χ$-행렬과 $؃$-행렬 간의 체계적인 변환 프레임워크를 수립한다. 이는 명시적이고 계산 가능한 행렬 곱셈 공식을 통해 이루어지며, 이중 연산자 기저를 통한 리우빌 초연산자와 초이 연산자 간의 이sovorphism에 기반한다. 이를 통해 다중-qudit 시스템에서 물리적 및 정보이론적 응용 분야에서 양자 연산을 통합적으로 분석할 수 있다.

ABSTRACT

This paper considers two frequently used matrix representations -- what we call the $χ$- and $\mathcal{S}$-matrices -- of a quantum operation and their applications. The matrices defined with respect to an arbitrary operator basis, that is, the orthonormal basis for the space of linear operators on the state space are considered for a general operation acting on a single or two extit{d}-level quantum system (qudit). We show that the two matrices are given by the expansion coefficients of the Liouville superoperator as well as the associated bijective, positive operator on the doubled-space defined with respect to two types of induced operator basis having different tensor product structures, i.e., Kronecker products of the relevant operator basis and dyadic products of the associated bipartite state basis. The explicit conversion formulas between the two matrices are established as a computable matrix multiplication. Extention to more qudits case is trivial. Several applications of these matrices and the conversion formulas in quantum information science and technology are presented.

연구 동기 및 목표

• 두 광범위하게 사용되는 양자 연산의 행렬 표현인 $χ$-행렬과 $؃$-행렬 간의 관계를 통합하고 명확히 하기.
• 힐베르트-슈미트 공간 내 정규직교 연산자 기저를 사용하여 $χ$-와 $؃$-행렬 간의 명시적이고 계산 가능한 변환 공식을 제공하기.
• 다중-qudit 시스템으로 이 formalism을 확장하여 복합 양자 연산과 회로의 분석을 가능하게 하기.
• 두 표현 방식이 물리적 특성 분석(예: $χ$-행렬의 분리 가능성에 의한 얽힘 성질)과 논리적 회로 설계(예: $؃$-행렬의 조합을 통한)에서 서로 다른데 보완적인 응용을 어떻게 지원하는지 보여주기.

제안 방법

• 정규직교 연산자 기저에서 리우빌 초연산자의 전개 계수로 $χ$-행렬을 정의함으로써 물리적 연산에 대한 완전 양성 보장.
• 이중 케트 표기법과 힐베르트-슈미트 내적을 사용하여 리우빌 공간에서 동일한 초연산자의 행렬 표현으로서 $؃$-행렬을 정의.
• 연산자 기저의 크로네커乘법의 구조와 관련된 이중 상태 기저의 이항곱(dyadic product)의 구조 간 이분사적 사상(bijection)을 수립함으로써 변환 가능성을 확보.
• 초이 이sovorphism을 통해 $χ$-와 $؃$-행렬 간의 명시적 변환 공식(식 40과 41)을 유도하며, 이는 행렬 곱셈 형태로 표현된다.
• 단일-qudit $؃$-행렬을 비작용하는 하위계에 대한 항등행렬과의 텐서곱을 취하여 다중-qudit 시스템으로의 확장을 수행함으로써 복합 연산의 $؃$-행렬을 확장된 $؃$-행렬의 곱으로 계산할 수 있도록 한다.
• 두 표현 간의 다리 역할을 하는 초이 연산자를 사용하여, $χ$-행렬이 초이 상태의 분리 가능성 성질과 대응됨을 보여줌.

실험 결과

연구 질문

• RQ1 양자 연산의 $χ$-행렬과 $؃$-행렬 표현 간의 체계적인 관계를 계산 가능한 변환으로 어떻게 유도할 수 있는가?
• RQ2 이중 기저 구성의 관점에서 리우빌 초연산자와 초이 연산자 간의 이sovorphism의 수학적 구조는 무엇인가?
• RQ3 $χ$-와 $؃$-행렬 간의 변환은 다중-qudit 시스템으로 어떻게 일반화될 수 있는가?
• RQ4 $χ$-와 $؃$-행렬은 양자 과정 특성 분석과 양자 회로 설계에서 어떻게 서로 다른데 보완적인 응용을 지원하는가?
• RQ5 이 형식은 측정과 노이즈 있는 채널과 같은 비단위 연산을 통합된 행렬 프레임워크 내에서 분석하는 데 사용될 수 있는가?

주요 결과

• $χ$-행렬과 $؃$-행렬은 초이 이sovorphism과 이중 기저 구조에 기반한 명시적이고 계산 가능한 행렬 곱셈 공식을 통해 유도된 관계를 가진다.
• $χ$-와 $؃$-행렬 간의 변환은 이중 힐베르트 공간에서 연산자 기저의 크로네커 곱과 상태 기저의 이항곱 간의 이분사적 사상에 의해 달성된다.
• $χ$-행렬은 양자 연산의 얽힘 성질 분석에 특히 유용하며, 연산의 분리 가능성은 $χ$-행렬의 분리 가능성과 대응된다.
• $؃$-행렬은 양자 회로의 효율적 조합을 가능하게 하며, 연속된 연산의 $؃$-행렬은 개별 연산의 확장된 $؃$-행렬을 곱하여 얻을 수 있다.
• 다중-qudit 연산의 확장된 $؃$-행렬은 비작용하는 하위계에 대한 항등행렬과 단일-qudit $؃$-행렬의 텐서곱을 취하여 계산된다.
• 이 형식은 이sovotropic 상태 입력을 사용하여 이중 힐베르트 공간에서 헤르미트 연산자 기저의 기댓값을 측정함으로써 실험적으로 양자 연산을 특성화할 수 있도록 한다.