[논문 리뷰] Resource theories of knowledge

Lídia del Rio, Lea Kraemer외 1명|arXiv (Cornell University)|2015. 11. 27.

Quantum Mechanics and Applications인용 수 26

한 줄 요약

이 논문은 자원 이론을 일반화하여 에이전트의 지식을 명시적으로 모델링한다. 밀도 연산자를 넘어서 거시적 관측량이나 분리 가능성과 같은 군집화된 기술을 포함한다. 서로 다른 언어로 기술된 이론들 간의 관계를 정립하고, 전역 이론으로부터 부분계를 유도하며, 양자 기초 이론, 열역학, 암호학 분야의 작업을 형식화하는 통합 프레임워크를 제안한다.

ABSTRACT

How far can we take the resource theoretic approach to explore physics? Resource theories like LOCC, reference frames and quantum thermodynamics have proven a powerful tool to study how agents who are subject to certain constraints can act on physical systems. This approach has advanced our understanding of fundamental physical principles, such as the second law of thermodynamics, and provided operational measures to quantify resources such as entanglement or information content. In this work, we significantly extend the approach and range of applicability of resource theories. Firstly we generalize the notion of resource theories to include any description or knowledge that agents may have of a physical state, beyond the density operator formalism. We show how to relate theories that differ in the language used to describe resources, like micro and macroscopic thermodynamics. Finally, we take a top-down approach to locality, in which a subsystem structure is derived from a global theory rather than assumed. The extended framework introduced here enables us to formalize new tasks in the language of resource theories, ranging from tomography, cryptography, thermodynamics and foundational questions, both within and beyond quantum theory.

연구 동기 및 목표

• 동일한 시스템에 대해 서로 다른 지식을 가진 에이전트를 모델링하는 데 있어 전통적인 자원 이론의 한계를 극복하기 위해.
• 예를 들어 미시적 및 거시적 열역학과 같은 서로 다른 서술 언어를 사용하는 이론들 간의 관계를 형식화하기 위해.
• 사전에 가정하지 않고 전역 이론으로부터 부분계의 구조를 도출하기 위해.
• 부분적 또는 근사적인 지식을 포함하는 운영 작업(예: 토모그래피 및 암호학)을 위한 프레임워크를 제공하기 위해.
• 양자 및 고전 물리학, 심지어 후양자 이론까지 포함하는 자원 이론을 통합하기 위해.

제안 방법

• 미세 상태에 대한 확률 분포를 가정하지 않고, '체류 V, 온도 T' 또는 '분리 가능한 상태'와 같은 물리적 상태의 일반적 기술인 '사양(specifications)'을 도입한다.
• 허용 가능한 변환과 자원 전환을 유지하는 사상들을 통해 서로 다른 기술을 연결하는 '사양 통합(specification embeddings)'을 정의한다.
• 순서 이론과 볼록 구조를 사용하여 지식의 근사성과 강건성을 모델링함으로써, 흐릿하거나 불완전한 정보에 대한 추론을 가능하게 한다.
• 전역 대칭성과 가환 변환으로부터 부분계를 도출함으로써 국소성에 대한 상향식 접근을 개발한다.
• 지역 기술의 독립적 접근 조건을 도출하고, 지역 행동의 호환성을 특성화하기 위해 프레임워크를 적용한다.
• 제한된 연산 하에서 자원 전환을 위한 형식적 체계를 도입하여, 일반화된 단조성과 전환 비율을 임의의 지식 기반 제약 조건으로 확장한다.

실험 결과

연구 질문

• RQ1 어떻게 동일한 시스템에 대해 서로 다른 수준의 지식을 가진 에이전트를 모델링할 수 있을까? 이때 사전 분포를 가정하지 않고서도 된다.
• RQ2 예를 들어 열역학적 기술과 미시적 기술과 같은 서로 다른 서술 언어를 사용하는 이론들이 통합 프레임워크 내에서 어떻게 형식적으로 관련지어질 수 있을까?
• RQ3 자원 이론에서 부분계의 구조가 사전에 가정하지 않고 전역 이론으로부터 도출될 수 있을까?
• RQ4 지역 기술이 전역 연산 하에서 독립적으로 접근 가능하고 호환 가능하도록 보장하기 위한 조건은 무엇인가?
• RQ5 예를 들어 확률이 10% 미만일 경우와 같은 근사적 또는 부분적 지식은 어떻게 모델링하고, 자원 전환에 대한 추론에 어떻게 활용될 수 있을까?

주요 결과

• 이 프레임워크는 균일한 사전 확률를 가정하지 않더라도, 마이켈슨의 악마와 같은 거시적 관측자와 같은 서로 다른 지식을 가진 에이전트를 하나의 이론 내에서 일관되게 모델링할 수 있다.
• 사양 통합은 거시적 열역학과 양자역학과 같은 서로 다른 언어를 사용하는 이론들을 엄밀한 방식으로 연결할 수 있는 수단을 제공한다.
• 전역 대칭성과 가환 변환으로부터 부분계의 구조를 도출할 수 있으며, 이는 국소성의 상향식 구성 가능성을 보장한다.
• 지식 기반 제약 조건을 형식화함으로써, 양자 토모그래피 및 암호학과 같은 운영 작업을 지원한다.
• 근사 구조는 불완전하거나 흐릿한 지식 하에서 자원 전환의 강건성을 추론할 수 있게 하며, 이는 열역학 및 얽힘 이론에 적용 가능하다.
• 이 접근법은 일반화된 자원 단조성과 전환 비율을 임의의 지식 기반 제약 조건으로 확장하여, 기존 표준 양자 자원 이론 이론의 적용 범위를 넓힌다.