[논문 리뷰] Incompatibility in general probabilistic theories, generalized spectrahedra, and tensor norms

Andreas Blühm, Anna Jenčová외 1명|Research at the University of Copenhagen (University of Copenhagen)|2020. 11. 12.

Quantum Mechanics and Applications참고 문헌 47인용 수 5

한 줄 요약

이 논문은 일반적 확률 이론(GPTs)에서 측정의 호환성에 대한 다수의 동치 특성화를 수립하며, 비호환성과 양의 사상, 일반화된 스펙트라헤드론, 바나흐 공간 내의 텐서 크로스노름 간의 연결 고리를 밝힌다. 주요 기여는 중심 대칭 GPTs의 경우 호환성 정도가 관련 바나흐 공간의 포함 및 사영 텐서 노름의 비율에 의해 결정됨을 보여주며, 이를 통해 호환성 영역의 정확한 계산과 1-합산 노름을 통한 보편적 경계 도출이 가능하다.

ABSTRACT

In this work, we investigate measurement incompatibility in general probabilistic theories (GPTs). We show several equivalent characterizations of compatible measurements. The first is in terms of the positivity of associated maps. The second relates compatibility to the inclusion of certain generalized spectrahedra. For this, we extend the theory of free spectrahedra to ordered vector spaces. The third characterization connects the compatibility of dichotomic measurements to the ratio of tensor crossnorms of Banach spaces. We use these characterizations to study the amount of incompatibility present in different GPTs, i.e. their compatibility regions. For centrally symmetric GPTs, we show that the compatibility degree is given as the ratio of the injective and the projective norm of the tensor product of associated Banach spaces. This allows us to completely characterize the compatibility regions of several GPTs, and to obtain optimal universal bounds on the compatibility degree in terms of the 1-summing constants of the associated Banach spaces. Moreover, we find new bounds on the maximal incompatibility present in more than three qubit measurements.

연구 동기 및 목표

• 일반적 확률 이론(GPTs) 전반에 걸쳐 측정 호환성의 특성화를 통합하고 일반화하기 위해.
• GPTs에서의 비호환성과 양의 사상, 일반화된 스펙트라헤드론, 바나흐 공간 내 텐서 노름 간의 연결 고리를 설정하기 위해.
• 1-합산 노름과 텐서 크로스노름 비율을 이용해 GPTs에서 비호환성에 대한 보편적 경계를 도출하기 위해.
• 초입방체, 유클리드 구, 그리고 교차 단체와 같은 특정 GPTs의 호환성 영역을 계산하기 위해.
• 기능 해석학적 도구를 활용해 비호환성을 양자 자원으로 측정 가능한 프레임워크를 제공하기 위해.

제안 방법

• 순서가 부여된 벡터 공간 간 선형 사상의 양성에 의해 호환성을 특성화한다.
• 자유 스펙트라헤드론 이론을 순서가 부여된 벡터 공간으로 확장하여 일반화된 스펙트라헤드론을 정의하고, 그 포함 관계가 측정 호환성과 연결됨을 밝힌다.
• 이분 측정 호환성과 바나흐 공간 내 포함 및 사영 텐서 노름의 비율 간의 대응 관계를 수립한다.
• 구형 프로그래밍의 쌍대성 원리를 활용해 호환성 노름 ‖·‖_c를 원형-쌍대 공식화를 통해 계산한다.
• 대칭 GPTs에서 일반화된 스펙트라헤드론의 포함 상수를 도출하기 위해 대칭화 기법을 적용한다.
• 바나흐 공간 이론에서 알려진 결과를 활용해 1-합산 노름을 경계화하고, 이를 통해 GPTs에서의 최대 비호환성 정도를 결정한다.

실험 결과

연구 질문

• RQ1 일반적 확률 이론(GPTs)에서 측정 호환성은 양의 사상으로 어떻게 특성화될 수 있는가?
• RQ2 일반화된 스펙트라헤드론의 포함 관계는 GPTs에서의 측정 호환성과 어떤 방식으로 관련되는가?
• RQ3 중심 대칭 GPTs에서 텐서 크로스노름과 이분 효과의 호환성 간의 정확한 관계는 무엇인가?
• RQ4 바나흐 공간의 1-합산 노름은 GPTs에서의 최대 비호환성을 어떻게 경계로 사용할 수 있는가?
• RQ5 초입방체, 유클리드 구, 교차 단체와 같은 특정 GPTs의 정확한 호환성 영역은 무엇인가?

주요 결과

• 중심 대칭 GPTs의 경우, 호환성 정도는 관련 바나흐 공간의 포함 및 사영 텐서 노름의 비율로 주어진다.
• 상태 공간이 초입방체, 유클리드 구, 또는 교차 단체일 경우, 대칭화로부터 유도된 포함 상수를 사용해 GPT의 호환성 영역이 완전히 특성화된다.
• 관련 바나흐 공간의 1-합산 상수의 표현을 통해 호환성 정도에 대한 최적의 보편적 경계가 도출된다.
• 논문은 호환성 노름 ‖·‖_c를 계산하기 위한 구형 프로그래밍 공식화를 제공하며, 이는 양자역학에서의 준선형 프로그래밍을 일반화한다.
• 텐서 노름 비율을 활용해 3개 이상의 qubit 측정에 대한 최대 비호환성에 대한 새로운 경계가 유도된다.
• 구형 프로그래밍의 쌍대성은 강한 쌍대성과 유한한 최적값을 보장하며, 이는 호환성 조건의 효과적인 계산을 가능하게 한다.