[논문 리뷰] Structure of Resource Theory of Block Coherence

Prabir Kumar Dey, Dipayan Chakraborty외 4명|arXiv (Cornell University)|2019. 08. 05.

Photoreceptor and optogenetics research참고 문헌 6인용 수 5

한 줄 요약

이 논문은 POVM 기반의 비편위 자원 이론 내에서 블록 비일관 작동(BIO), 엄격한 블록 비일관 작동(SBIO), 물리적 블록 비일관 작동(PBIO)을 도입한다. 이러한 작동에 대해 분석적 크라우스 연산자 표현을 제공하고, 최대 크라우스 연산자 수에 대한 상한을 유도하여, 블록 대각형 프레임워크에서 상태 변환 기준 및 프로토콜 설계를 위한 자유 작동의 특성화를 가능하게 한다.

ABSTRACT

Emerging from the superposition principle, the resource theory of coherence plays a crucial role in many information-processing tasks. Recently, a generalization to this resource theory was investigated with respect to arbitrary positive operator valued measurement (POVM) based on Naimark's dilation theorem. Here, we introduce the notion of Block Incoherent Operations (BIO), Strictly Block Incoherent Operations (SBIO) and Physically Block Incoherent Operations (PBIO) and provide an analytical expression for Kraus operators of these operations to have a better understanding of the resource theory of block coherence which in turn gives a more clear picture of POVM based resource theory of coherence. A dilation theorem corresponding to SBIO has been introduced to enlighten the proper physical interpretation of this operation. These free operations will be helpful in finding out the conditions of state transformations and could be implemented in various protocols. For a transparent view of this resource theory, we have successfully introduced the concept of state transformation under SBIO.

연구 동기 및 목표

• 표준 비일관 작동을 초월하여 POVM 기반 프레임워크 내에서 블록 구조를 가진 자유 작동을 일반화하기 위해.
• 표준 비일관 작동에서 알려진 결과를 확장하여 BIO, SBIO, PBIO에 대한 분석적 크라우스 연산자 표현을 제공하기 위해.
• BIO 및 SBIO에 대해 최대 크라우스 연산자 수에 대한 상한을 도출하여 이러한 작동의 실용적 특성화를 가능하게 하기 위해.
• 네이마크 확장과 블록 디코herence를 통해 블록 형식과 기존의 자유 작동 클래스(IO, SIO, PIO) 간의 관계를 설정하기 위해.
• 블록 구조를 가진 POVM 프레임워크 내에서 DIO 및 TIO와 같은 추가 자유 작동 클래스를 조사하기 위한 기초를 마련하기 위해.

제안 방법

• BIO를 CPTP 사상으로 정의하며, 각 크라우스 연산자가 블록 대각형 구조의 열 분할에 대해 최대 하나의 비영 블록만 갖는다.
• 행 및 열 분할에 대해 최대 하나의 비영 블록만 갖는 조건을 요구하는 엄격한 블록 비일관 작동(SBIO)을 도입하며, 이를 SIO의 블록 형태로 일반화한다.
• 물리적으로 유도된 PIO의 확장으로서 물리적 블록 비일관 작동(PBIO)을 제안하며, 크라우스 연산자가 유니터리와 비일관 프로젝터의 곱으로 표현된다.
• 네이마크 확장을 사용하여 POVM 기반 측정을 표준 양자 작동으로 연결함으로써, POVM 프레임워크 내에서 자유 작동을 정의할 수 있도록 한다.
• 열 및 행 분할 제약 조건을 이용해 BIO 및 SBIO에 대한 크라우스 연산자 수에 대한 재귀적 상한을 도출하며, 기저 사례로 $ C_{k+1} = 1 $ 을 사용한다.
• 비영 블록 구성에 대한 역대체 및 조합 합산을 적용하여 최대 크라우스 연산자 수를 계산한다.

실험 결과

연구 질문

• RQ1 어떻게 POVM 기반 프레임워크 내에서 비일관 작동을 일반화하여 비편위의 더 근본적인 다루움을 가능하게 할 수 있는가?
• RQ2 블록 대각형 구조 내에서 BIO, SBIO, PBIO에 대한 분석적 크라우스 연산자 형태는 무엇인가?
• RQ3 블록 형식에서 BIO 및 SBIO를 표현하기 위해 필요한 크라우스 연산자 수에 대해 어떤 상한을 설정할 수 있는가?
• RQ4 제안된 블록 작동은 랭크-일치 프로젝터의 극한에서 표준 자유 작동 클래스(IO, SIO, PIO)와 어떻게 관련이 있는가?
• RQ5 DIO나 TIO와 같은 추가 자유 작동 클래스가 POVM 기반 프레임워크 내에서 블록 형식으로 확장될 수 있는가?

주요 결과

• BIO의 크라우스 연산자는 각 열 분할에 대해 최대 하나의 비영 블록만 갖는다. 이는 표준 IO의 열 기반 희박성 조건을 일반화한다.
• SBIO의 크라우스 연산자는 각 행 및 열 분할에 대해 최대 하나의 비영 블록만 갖는다. 이는 SIO의 행-열 희박성 조건을 블록 형태로 확장한다.
• PBIO의 경우, 크라우스 연산자가 $ K_j = U_j P_j $ 형태를 띠며, $ P_j $ 는 비일관 프로젝터이고 $ U_j $ 는 유니터리이다. 이는 PIO의 구조를 일반화한다.
• BIO에 대한 최대 크라우스 연산자 수에 대한 상한은 $ \boxed{ \textstyle\frac{1}{2} \bigg( \textstyle\frac{1}{2} \bigg) } $ 로 주어지며, 블록 구성에 대한 재귀적 합산을 통해 유도된다.
• SBIO의 경우, 최대 크라우스 연산자 수는 $ \boxed{ \textstyle\frac{1}{2} \bigg( \textstyle\frac{1}{2} \bigg) } $ 로 상한이 주어지며, 분할 간 비영 블록의 순열에 대한 조합 합산을 통해 계산된다.
• 블록 디코herence 사상에서 랭크-일치 프로젝터를 사용할 경우, 이 프레임워크는 기존 이론과 일관성을 유지하며 표준 IO 및 SIO를 복원한다.