[논문 리뷰] Nonlinear generalized functions and the Heisenberg-Pauli foundations of Quantum Field Theory

Jean-François Colombeau, André Gsponer외 1명|ArXiv.org|2007. 05. 16.

Mathematical and Theoretical Analysis참고 문헌 20인용 수 4

한 줄 요약

이 논문은 양자장론(QFT)에서 히젠베르크-파울리 캐논ical 양자화 접근법을 엄밀한 기초로 제공하기 위해 비선형 일반화 함수를 사용하는 수학적 프레임워크를 제안한다. 이는 오랫동안 문제시되어 온 무한대와 분포의 잘 정의되지 않은 곱셈 문제를 해결한다. 고전적 분포 이론을 대체하여 대수적 등식과 약한 연관성 사이의 구분을 가능하게 하는 일반화 함수 설정을 통해, S-행렬과 상호작용 장 연산자는 수학적으로 엄밀하게 정의되며, 기본 수준에서 재규격화에 의존하지 않고 일관되고 유한한 계산이 가능해진다.

ABSTRACT

In 1929 Heisenberg and Pauli laid the foundations of QFT by quantizing the fields (method of canonical quantization). This general theory of quantized fields has remained undisputed up to now. We show how the unmodified Heisenberg-Pauli calculations make sense mathematically by using a theory of generalized functions adapted to nonlinear operations. By providing an appropriate mathematical setting, nonlinear generalized functions open doors for their understanding but there remains presumably very hard technical problems. (i) Domains of the interacting field operators: a priori the H-P calculations give time dependent dense domains, what is not very convenient; (ii) Calculations of the resulting matrix elements of the S operator: from the unitarity of the S operator as a whole there are no longer ``infinities,'' but a priori there is no other hope than heavy computer calculations; (iii) Connection with renormalization theory: it should provide an approximation when the coupling constant is small. The aim of this paper is to present, on the grounds of a standard mathematical model of QFT (a self interacting scalar boson field), a basis for improvement without significant prerequisites in mathematics and physics. It is an attempt to use nonlinear generalized functions in QFT, starting directly from the calculations made by physicists, in the same way as they have already been used in classical mechanics and general relativity.

연구 동기 및 목표

• 양자장론(QFT)에서 히젠베르크-파울리 캐논ical 양자화 형식주의에 대해 오랫동안 물리적으로 타당하다고 여겨졌지만 수학적으로 잘 정의되지 않았던 것을 엄밀한 수학적 해석을 제공한다.
• 분포의 곱셈이 잘 정의되지 않는 문제—예를 들어 분포 이론에서 H² ≠ H—을 해결하기 위해 물리적 차이를 유지하는 일반화 함수 프레임워크를 도입한다.
• S-행렬과 그 행렬 원소가 비선형 일반화 함수를 사용해 엄밀하게 정의될 수 있음을 보여주며, 약한 연관성과 평균화를 통해 발산을 피한다.
• 재규격화에 의존하지 않고도 일반화 함수 연산 수준에서 물리적 일관성을 내재함으로써 QFT의 새로운 수학적 기초를 마련한다.
• 물리적 계산과 고급 수학 도구 사이의 다리를 놓으며, 비선형 일반화 함수가 원래 히젠베르크-파울리 접근법의 물리적 내용을 변경하지 않고도 양자장론의 모호함을 해결할 수 있음을 보여준다.

제안 방법

• 논문은 비선형 일반화 함수 이론(G-이론)를 활용하며, 여기서 일반화 함수는 작은 매개변수 ε > 0에 의존하는 정규화된 가족들의 동치류로 정의된다.
• 적분을 통해 시험 함수에 대해 정의되는 약한 등식인 '연관성'(≈) 개념을 도입하여, 대수적으로 같지 않지만 무한소적으로 근접한 함수들을 구분할 수 있다.
• 헤비사이드 함수 H와 그 도함수 δ = H′과 같은 분포를 일반화 함수로 간주하여, H² ≠ H와 같은 물리적 비선형 연산을 유지한다.
• S-행렬의 행렬 원소는 거의 주기 함수에 영향을 받는 평균화 과정을 통해 ε → 0⁺의 극한에서 분석되며, 진동이 지속되더라도 평균값의 존재를 보장한다.
• 시간 진동 연산자 exp(i(t−τ)H<0>)는 힐레-요시다 정리에 의해 정의되며, 그 작용은 일반화 함수 설정에서 상태에 대해 분석되어 유니타리성과 유한성을 확보한다.
• 논문은 자기 상호작용 스칼라 보손 장을 모델로 사용하여 방법을 설명하며, S-행렬 정의와 일반화 함수 형식주의를 통해 발산 제거에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 히젠베르크-파울리 QFT 계산이 비선형 연산을 다룰 수 있는 일반화 함수 프레임워크를 통해 수학적으로 엄밀하게 정의될 수 있는가?
• RQ2 H² − H와 같은 곱이 δ = H′과 곱해졌을 때 비영이 되는 이유는 무엇이며, 이를 어떻게 일관되게 모델링할 수 있는가?
• RQ3 |⟨Φ₁, Sτ,ε(t)Φ₂⟩|은 1/ε에 대해 거의 주기 함수인가? 그리고 ε → 0⁺일 때 그 평균값이 존재하는가?
• RQ4 약한 연관성(≈)을 고전적 등식( = ) 대신 사용함으로써, 표준 QFT에서 문제를 일으키는 분포의 곱셈에 대한 모호함을 어떻게 해결할 수 있는가?
• RQ5 S-행렬이 재규격화 없이 일반화 함수를 통해 정의될 수 있는가? 이때 물리적 무한대는 통제 가능하고 유한한 방식으로만 유지되는가?

주요 결과

• 이 프레임워크는 대수적 등식(=)과 약한 연관성(≈)을 구분하여, 일반화 함수 설정에서는 H² ≠ H이지만, 유계 φ에 대해 ∫(H² − H)φ dx → 0 as ε → 0⁺임을 보여준다.
• 곱 (H² − H)δ는 비영이 되며, 그 값은 −1/6과 같다. 이는 비선형적 맥락에서 고립된 연산자가 존재할 경우 고전적 항등식 H² = H가 성립하지 않음을 보여준다.
• S-행렬의 행렬 원소는 개별 항목이 진동하더라도, 진동 행동에 대한 평균값의 존재 덕분에 ε → 0⁺ 근처에서 여전히 유한하고 잘 정의되어 있다.
• 일반화 함수 설정에서 S-행렬은 유니타리하며, 표준 QFT에서 무한대를 초래하는 잘 정의되지 않은 곱셈을 피하기 때문에 발산이 존재하지 않는다.
• 이론은 물리적 내용을 변경하지 않고도 일반화 함수 공간에 필요한 수학적 구조를 직접 통합함으로써, 히젠베르크-파울리 형식주의에 대해 일관된 수학적 해석을 제공한다.
• 평균화 과정을 통해 S-행렬 원소에 대해 일관되고 유한한 계산 결과를 도출할 수 있으며, 이는 장기적으로 섭동적 재규격화의 타당한 대안이 될 수 있음을 시사한다.