준비-변환-측정 시나리오의 비맥락성 부등식
본 연구는 준비-변환-측정(PTM) 시나리오에서 맥락성을 증명하는 체계적인 기법을 최초로 제시합니다. 특히, 선형 정량자 제거(linear quantifier elimination)를 활용하여 일반화된 비맥락성과 일치하는 상관관계 다면체(polytope)를 계산하는 방법을 보여줍니다. 이 다면체는 관측된 데이터가 선형 연산자 동일성(linear operational identities)에 기반한 고전적 설명을 허용하기 위한 필요충분조건인 비맥락성 부등식들로 정의됩니다. 다이어그램 보존 제약을 포함하면 더 엄격한 부등식이 도출되지만…