[논문 리뷰] On the continuity and regularity of convex extensions

Orest Bucicovschi, Jiř́í Lebl|arXiv (Cornell University)|2010. 12. 28.

Quantum Information and Cryptography참고 문헌 6인용 수 7

한 줄 요약

이 논문은 컴팩트 집합 C에서 그 볼록포함 K로의 볼록 루프 구성에 의한 연속성과 C¹ 정규성에 대한 필수 및 필요조건을 설정한다. C가 K의 상대적 경계를 포함하고 f가 C에서 연속적이고 볼록일 경우, f는 K로 연속적으로 연장됨을 증명한다; 추가로, 확장의 C¹ 정규성은 경계에서 수직이 아닌 지지 초평면의 존재에 의해 특징지어진다. 이러한 결과는 양자 얽힘 측정법에 적용되어, 연속적인 얽힘 측정법의 볼록 루프 확장을 연속적으로 보장한다.

ABSTRACT

We study continuity and regularity of convex extensions of functions from a compact set $C$ to its convex hull $K$. We show that if $C$ contains the relative boundary of $K$, and $f$ is a continuous convex function on $C$, then $f$ extends to a continuous convex function on $K$ using the standard convex roof construction. In fact, a necessary and sufficient condition for $f$ to extend from any set to a continuous convex function on the convex hull is that $f$ extends to a continuous convex function on the relative boundary of the convex hull. We give examples showing that the hypotheses in the results are necessary. In particular, if $C$ does not contain the entire relative boundary of $K$, then there may not exist any continuous convex extension of $f$. Finally, when the boundary of $K$ and $f$ are $C^1$ we give a necessary and sufficient condition for the convex roof construction to be $C^1$ on all of $K$. We also discuss an application of the convex roof construction in quantum computation.

연구 동기 및 목표

• 컴팩트 집합 C에서 정의된 연속 볼록 함수가 볼록포함 K로 연속적으로 확장될 수 있는 필요 및 충분 조건을 규명하는 것.
• 특히 K의 경계에서의 지지 초평면과 관련하여 볼록 루프 확장이 C¹ 정규성이 되는 조건을 특징짓는 것.
• 원래 정의도메인이 전체 상대적 경계가 아닐 경우, 볼록집합의 경계에서 내부로 볼록 함수를 확장하는 문제를 해결하는 것.
• 이론적 결과를 양자정보이론에 적용하여, 특히 얽힘 측정법의 볼록 루프 확장의 연속성에 대해 다루는 것.
• 순수 양자 상태에서의 얽힘 측정법의 연속성이 혼합 상태로의 볼록 루프 확장의 연속성을 보장함을 보여주는 것.

제안 방법

• 볼록 루프 구성은 집합 C에서 그 볼록포함 K로 함수의 최대 볼록 확장을 정의하는 표준 방법으로 사용된다.
• K의 상대 내부와 상대 경계를 사용하여 확장의 위상적 및 기하학적 조건을 정의하며, 특히 bd(K)가 확장 과정에서 차지하는 역할에 초점을 맞춘다.
• 확장의 C¹ 정규성을 특징짓기 위해 하향도 분석과 지지 초평면을 활용하며, 미분 가능성과 경계점에서 수직이 아닌 지지 초평면의 존재를 연결한다.
• 핵심 기술 도구로는 K의 상대 경계를 확장의 도메인으로 사용하며, 확장이 K에서 연속적이기 위해서는 f가 bd(K)로 연속적으로 연장되어야 한다는 조건을 적용한다.
• 이론적 결과는 혼합 양자 상태의 집합을 컴팩트 볼록집합으로 간주하고, 순수 상태를 그 상대 경계로 식별함으로써 양자역학에 적용된다.
• 논문은 염두에 두는 얽힘 상태의 슈미트 분해와 트레이스 클래스 연산자의 성질을 사용하여 얽힘 측정법과 그 볼록 루프 확장의 분석을 수행한다.

실험 결과

연구 질문

• RQ1 K의 볼록포함 내에 있는 컴팩트 부분집합 C에서 정의된 연속 볼록 함수가 볼록 루프 구성에 의해 전체 볼록포함 K로 연속적으로 확장되는 조건은 무엇인가?
• RQ2 볼록 루프 확장이 K의 상대 내부에서 C¹ 미분 가능성이 되는 정확한 조건은 무엇인가?
• RQ3 K의 상대 경계의 진부분집합에서 정의된 볼록 함수도 여전히 K로 연속적인 볼록 확장을 갖는가?
• RQ4 경계점에서 수직이 아닌 지지 초평면의 존재는 볼록 루프 확장의 C¹ 정규성과 어떻게 관련되는가?
• RQ5 순수 양자 상태의 집합에서의 얽힘 측정법의 연속성은 그 볼록 루프 확장이 혼합 상태의 집합으로 연속적으로 확장되는가를 보장하는가?

주요 결과

• C가 K의 상대 경계를 포함하고 f가 C에서 연속적이고 볼록일 경우, f의 볼록 루프 확장은 K에서 연속적이다.
• 함수 f가 컴팩트 집합 C에서 정의될 때, f가 K의 상대 경계로 연속적으로 연장될 수 있음이 K로의 연속적 확장의 필요 및 충분 조건이다.
• 볼록 루프 확장이 K의 상대 내부에서 C¹ 정규성이 되는 것은, f가 K의 상대 경계의 각 점에서 수직이 아닌 지지 초평면을 가질 때에 한하여 성립한다.
• 엄격히 볼록인 집합 K에 대해서는, bd(K)에서 정의된 임의의 연속 함수도 볼록 루프 구성에 의해 K로 연속적으로 확장된다.
• 양자역학에서, 순수 상태에서 정의된 임의의 연속 얽힘 측정법은 볼록 루프 구성에 의해 모든 혼합 상태로 연속적으로 확장된다.
• 명시적 공식이 없더라도, 논문은 연속된 얽힘 측정법의 볼록 루프 확장이 연속적임을 증명하여 양자정보이론에서 핵심 문제를 해결한다.