[논문 리뷰] Explicit partial and functional differential equations for beables or observables

Edward Anderson|arXiv (Cornell University)|2015. 05. 13.

Quantum Mechanics and Applications참고 문헌 17인용 수 21

한 줄 요약

이 논문은 제약이 있는 해밀토니안 이론에서 디라크 및 쿠차르 비블즈(physical observables)를 특성화하는 유한계와 장 이론에 대한 명시적 편미분방정식(PDEs)과 함수미분방정식(FDEs)을 유도한다. 일반 상대성 이론, 양밀스 이론, 전기역학을 포함한 이론들에서 구성, 운동량, 혼합 의존성 관측가능량을 체계적으로 식별하기 위한 프레임워크를 제공하며, 주요 결과로 순수 구성 비블즈는 제약 생성자로부터 유도된 PDE를 만족하는 반면, 순수 운동량 및 혼합 케이스는 여전히 주로 수학적 문제로 남아 있다.

ABSTRACT

We provide explicit partial differential equations - in finite cases - and functional differential equations - in field-theoretic cases - which determine observables or beables in the senses of Kuchař and of Dirac. These cover a wide range of relational mechanics models as well as Electromagnetism, Yang--Mills Theory and General Relativity. We give an underlying reason why pure-configuration Kuchař observables are already well-known: various types of shape, E-fields, B-fields, loops and 3-geometries. The partial differential equations or functional differential equations for pure-momentum observables are also posed, as are those for observables which have a mixture of configuration and momentum functional dependence.

연구 동기 및 목표

• 제약이 있는 해밀토니안 이론에서 물리적 관측가능량(beables)을 특성화하는 명시적 편미분방정식과 기능미분방정식을 유도하는 것.
• 일반 상대성 이론과 같이 제곱형 제약을 가진 시스템에서 디라크 관측가능량과 쿠차르 관측가능량 간의 구분과 관계를 명확히 하는 것.
• 순수 구성, 순수 운동량, 또는 구성-운동량 혼합 의존성 관측가능량을 체계적으로 식별하는 방법을 제공하는 것.
• 기존에 알려진 구성만 의존하는 관측가능량(예: 형태, 3-기하학, E/B장)의 결과를 운동량 및 혼합 케이스로 확장하여, 이는 여전히 수학적으로 거의 탐색되지 않은 영역이다.
• 양자 중력 이론에서의 '시간 문제'와 '비블즈 문제'를 해결하기 위한 고전적 관측가능량 방정식을 제공함으로써 기초를 마련하는 것.

제안 방법

• 쿠차르 비블즈를 위한 유한차원 PDE를 파아송 괄호 조건을 사용해 유도: ∑_A { (∂C_C/∂Q^A)(∂B_B/∂P_A) − (∂C_C/∂P_A)(∂B_B/∂Q^A) } ≈ 0.
• 스메어드 제약과 기능미분을 사용하여 장 이론으로 이 형식을 확장하여 기능미분방정식(FDEs)을 도입.
• 3-계량과 운동량 변수를 벡터 형태로 재구성하기 위해 DeWitt 2인덱스에서 1인덱스로의 변환을 적용하여 FDEs 내에서 텐서적 구조를 가능하게 한다.
• 일차 제약 조건을 만족하는 제약 시스템에서의 일관성을 확보하기 위해 디라크 괄호와 축소 기하학적 파아송 괄호를 사용.
• 다중 제약 조건을 다루기 위해 복합 원리를 적용하여, 해가 모든 제약 교환관계를 만족하도록 보장.
• 순수 구성 비블즈가 제약 생성자에 의해 제거됨을 보여주며, 순수 운동량 케이스는 새로운 수학적 접근이 필요함을 밝힘.

실험 결과

연구 질문

• RQ1 유한계 및 장 이론적 시스템에서 쿠차르 비블즈의 공간을 지배하는 명시적 PDE 또는 FDE는 무엇인가?
• RQ2 순수 운동량 및 혼합 구성-운동량 비블즈의 방정식은 순수 구성 비블즈의 것과 어떻게 다를까?
• RQ3 왜 순수 구성 비블즈(예: 형태, 3-기하학, 루프)는 이미 잘 알려져 있지만, 운동량 기반 비블즈는 여전히 수학적으로 개발이 부족한가?
• RQ4 일반 상대성 이론과 같이 제곱형 제약을 가진 시스템에서 디라크와 쿠차르 관측가능량의 정의는 어떻게 다를까?
• RQ5 기하학적 역학에서 관측가능량의 FDE를 구성하는 데 DeWitt 변환과 스메어드 기능미분이 수행하는 역할은 무엇인가?

주요 결과

• 순수 구성 쿠차르 비블즈는 제약 대칭 대수로부터 유도된 PDE를 만족하며, 이는 관측가능량이 제약 생성자에 의해 제거됨과 동치이다.
• 장 이론적 비블즈를 위한 기능미분방정식은 스메어드 제약과 기능미분을 사용하여 구성되며, ∫dⁿz ∑_A { δ(C_C|∂ξ^C)/δQ^A(z) · δ(B_B|χ^B)/δP_A(z) − δ(C_C|δξ^C)/δP_A(z) · δ(B_B|χ^B)/δQ^A(z) } ≈ 0 를 만족한다.
• 일반 상대성 이론에서 디라크 관측가능량 조건은 특정 FDE로 이어지며, {G − M D²} δD_D/δp − 2p N δD_D/δh ≈ 0 이다. 여기서 G는 해밀토니안 밀도이고 D²는 라플라스 연산자이다.
• DeWitt 변환은 3-계량 h_ab와 운동량 p^ab를 벡터장 h^A와 p_A로 변환하여, FDEs 내에서 메트릭 M_AB와 N^AB가 자연스럽게 도출되도록 한다.
• 순수 운동량 쿠차르 비블즈는 운동량에 대한 비선형 의존성으로 인해 구성 비블즈와 마찬가지로 생성자에 의한 제거 등가성이 성립하지 않는다.
• 논문은 기저 비블즈(서로 독립적이고 완전한 관측가능량 집합)가 2(q − g)개의 양으로 구성되어야 한다고 규명하며, 여기서 q는 구성 변수의 수이고 g는 일차 제약의 수이다.