분산 양자 컴퓨팅을 위한 분산 의미론

요약

본 논문은 양자 프로세스 계산에서 공간적 구성성 문제를 해결하기 위해 Deutsch-Hayden 디스크립터를 제안합니다. 이 모델은 큐비트 상태와 진화를 모듈식으로 표현하여, 기존의 전역 상태 표현이 놓치던 얽힘 정보를 유지하며 시스템을 분할하고 병합하는 새로운 프로세스 계산을 가능하게 합니다.

핵심 포인트

• Deutsch-Hayden 디스크립터로 양자 상태를 모델링하여 공간적 구성성을 확보함.
• 큐비트 이동 메시지를 실제 상태 전달로 구현한 특이한 프로세스 계산을 제시함.
• 외부와 얽힌 열린 시스템(open systems) 및 BB84 프로토콜 일부에 적용 가능함을 시연함.
• 정보 흐름 추론에는 여전히 밀도 행렬의 도움이 필요함을 밝힘.