[논문 리뷰] Local automorphisms of some quantum mechanical structures

Lajos Molnár|ArXiv.org|2001. 08. 08.

Advanced Operator Algebra Research참고 문헌 10인용 수 5

한 줄 요약

이 논문은 분리 가능한 무한차원 복소 힐버트 공간 $H$ 상의 아이디포텐트(poset)에서 연속적인 2-국소 자기동형사상은 반드시 자기동형사상임을 입증한다. 또한 오р토모듈라르 프로젝션 poset와 자기수반 연산자의 조르단 링크에 대한 2-국소 자기동형사상 역시 자기동형사상임을 입증하며, 이는 구조 분석과 질서 유지, 직교성, 조르단 준동형사상의 성질을 이용한다.

ABSTRACT

Let H be a separable infinite dimensional complex Hilbert space. We prove that every continuous 2-local automorphism of the poset (that is, partially ordered set) of all idempotents on H is an automorphism. Similar results concerning the orthomodular poset of all projections and the Jordan ring of all selfadjoint operators on H without the assumption on continuity are also presented.

연구 동기 및 목표

• 양자역학적 구조—특히 아이디포텐트의 poset, 오르토모듈라르 프로젝션 poset, 자기수반 연산자의 조르단 링크에 대한 2-국소 자기동형사상이 반드시 자기동형사상인지 조사한다.
• 이전의 $ C^* $-대수의 국소 자기동형사상 결과를 비선형적이고 2-국소적인 설정으로 확장하여 양자 구조에 적용한다.
• 연속성과 2-국소 성질이 아이디포텐트와 프로젝션의 변환에 미치는 구조적 제약 조건을 규명한다.
• 이 구조들에 대한 2-국소 자기동형사상의 형태를 특성화하고, 그것이 반드시 진정한 자기동형사상이어야 한다는 것을 증명한다.
• 2-국소 성질과 함께 랭크 및 직교성 유지 조건이 선형성을 가정하지 않고도 전반적인 자기동형사상의 구조를 강제함을 보여준다.

제안 방법

• 2-국소 자기동형사상은 $\phi$ 라는 사상으로 정의되며, 구조 내의 모든 쌍 $x,y$ 에 대해 $\phi(x) = \phi_{x,y}(x)$ 와 $\phi(y) = \phi_{x,y}(y)$ 를 만족하는 자기동형사상 $\phi_{x,y}$ 가 존재한다.
• $SP(H)$ 상에서 $\phi$ 의 연속성을 이용해 글레이슨 정리를 적용함으로써, $\phi$ 는 랭크 1 프로젝션에 대한 행동에 의해 결정됨을 보장한다.
• $\phi$ 가 유한 랭크, 직교성, 부분순서 $\leq$ 를 유지하고, 유한 랭크 아이디포텐트에 대해 유한 직교加법성을 가짐을 증명한다.
• 아이디포텐트의 구조와 그 합의 성질을 이용해 $\phi$ 를 유한 랭크 연산자 $F(H)$ 상의 조르단 준동형사상으로 확장한다.
• 프로젝션에 유도된 사상이 조르단 자기동형사상임을 보이고, 이는 유니터리 또는 앤티유니터리 연산자에 의한 코남칭을 통해 유도됨을 의미한다.
• 2-국소 성질과 노름 추정(예: $\|P - P'\| < 1$)을 사용하여, $\phi$ 의 분해 성분 중 하나가 무한 랭크 프로젝션에서 0이 되면 전체 분해 성분이 0이 되어야 한다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 분리 가능한 무한차원 힐버트 공간 상의 아이디포텐트 poset에 대한 2-국소 자기동형사상은 반드시 자기동형사상인가?
• RQ2 연속성을 가정하지 않고 오르토모듈라르 프로젝션 poset에 대한 2-국소 성질이 사상이 자기동형사상임을 강제하는가?
• RQ3 프로젝션의 구조와 실수선형성(실선형성)을 이용해 자기수반 연산자의 조르단 링크에 대한 2-국소 자기동형사상이 자기동형사상임을 보일 수 있는가?
• RQ4 2-국소 자기동형사상이 전반적인 자기동형사상이 되도록 하기 위해 필요한 필수 조건(예: 랭크 유지, 직교성)은 무엇이며, 그것이 충분한가?
• RQ5 2-국소 자기동형사상에서 선형성을 가정하지 않을 경우, 1-국소 경우와 비교해 자기동형사상일 가능성이 어떻게 영향을 받는가?

주요 결과

• 분리 가능한 무한차원 힐버트 공간 $H$ 상의 아이디포텐트 poset $SP(H)$ 에 대한 모든 연속적인 2-국소 자기동형사상은 자기동형사상이다.
• 힐버트 공간 $H$ 상의 오르토모듈라르 프로젝션 poset $P(H)$ 에 대한 2-국소 자기동형사상은 연속성을 가정하지 않더라도 자기동형사상이다.
• 힐버트 공간 $H$ 상의 자기수반 연산자 조르단 링크 $B(H)_h$ 에 대한 2-국소 자기동형사상은 자기동형사상이며, 이러한 사상들은 유니터리 또는 앤티유니터리 코남칭에 의해 실현된다.
• $\phi$ 는 유한 랭크 아이디포텐트의 랭크를 유지하며, $SP(H)$ 의 유한 랭크 원소 집합에서 유한 직교加법성을 가진다.
• $\phi$ 가 프로젝션에 작용하는 방식은 유니터리 또는 앤티유니터리 연산자 $U$ 에 의해 결정되며, 모든 프로젝션 $P$ 에 대해 $\phi(P) = UPU^*$ 를 만족한다.
• 증명은 노름 추정과 2-국소 성질에 기반하여, $\phi$ 의 분해 성분 중 하나가 무한 랭크 프로젝션에서 0이 되면 전체 성분이 0이 되어야 한다는 것을 보여준다.