[논문 리뷰] A Feynman-Kac-Itô Formula for magnetic Schrödinger operators on graphs

Batu Güneysu, Matthias Keller외 1명|arXiv (Cornell University)|2013. 01. 07.

Spectral Theory in Mathematical Physics참고 문헌 36인용 수 9

한 줄 요약

이 논문은 가중치가 부여된 임의의 그래프 위에서 자기장 슈뢰딩거 연산자를 위한 파울리-파인만-카츠-이토 공식을 도입함으로써, 자기장 퍼텐셜과 확률적 선적분에 대한 일반적인 프레임워크를 제시한다. 주요 기여는 이러한 연산자와 관련된 준군에 대한 확률적 표현을 제공함으로써, 카토의 부등식, 골든-템프스터 인과, 명시적 2차 형식 도메인 특성화에 대한 새로운 증명을 가능하게 한다.

ABSTRACT

In this paper we prove a Feynman-Kac-Itô formula for magnetic Schrödinger operators on arbitrary weighted graphs. To do so, we have to provide a natural and general framework both on the operator theoretic and the probabilistic side of the equation. On the operator side we identify a very general class of potentials that allows the definition of magnetic Schrödinger operators. On the probabilistic side, we introduce an appropriate notion of stochastic line integrals with respect to magnetic potentials. Apart from linking the world of discrete magnetic operators with the probabilistic world through the Feynman-Kac-Itô formula, the insights from this paper gained on both sides should be of an independent interest. As applications of the Feynman-Kac-Itô formula, we prove a Kato inequality, a Golden-Thompson inequality and an explicit representation of the quadratic form domains corresponding to a large class of potentials.

연구 동기 및 목표

• 임의의 가중치가 부여된 그래프 위에서 자기장 슈뢰딩거 연산자를 정의하기 위한 일반적이고 자연스러운 프레임워크를 개발하는 것.
• 그래프 위에서 자기장 퍼텐셜에 대한 일관된 확률적 선적분의 개념을 도입하는 것.
• 이산 자기장 연산자와 그래프 위의 확률적 과정을 연결하는 파울리-파인만-카츠-이토 공식을 수립하는 것.
• 이 공식을 적용하여 카토의 부등식과 골든-템프스터 부등식을 포함한 새로운 분석적 결과를 도출하는 것.
• 그래프 위의 광범위한 잠재력 클래스에 대해 2차 형식 도메인을 특성화하는 것.

제안 방법

• 가중치가 부여된 그래프 위에서 자기장 슈뢰딩거 연산자의 자기수반 실현이 가능한 일반적인 잠재력의 클래스를 정의하는 것.
• 자기장 간선 함수를 사용하여 그래프 위의 랜덤 경로를 따라 확률적 선적분의 개념을 도입하는 것.
• 선적분의 확률적 지수를 포함하는 준군 표현을 통해 파울리-파인만-카츠-이토 공식을 구성하는 것.
• 모스코 수렴을 사용하여 2차 형식과 준군에 대한 근사 결과를 정당화하는 것.
• Pitt의 정리와 추상적인 골든-템프스터 부등식을 적용하여 지배성과 트레이스 추정을 도출하는 것.
• 약간의 잠재력 조건 하에서 최대형과 형식-폐쇄된 2차 형식이 동치임을 보이는 것.

실험 결과

연구 질문

• RQ1 이산 그래프 위의 자기장 슈뢰딩거 연산자에 대해 파울리-파인만-카츠-이토 공식을 엄밀하게 구성할 수 있는가?
• RQ2 그래프 위의 자기장 퍼텐셜에 대해 일반적이고 일관된 확률적 선적분의 정의는 무엇인가?
• RQ3 어떤 조건에서 그래프 위의 자기장 슈뢰딩거 연산자는 본질적으로 자기수반인가?
• RQ4 이러한 연산자의 2차 형식 도메인은 어떻게 명시적으로 특성화할 수 있는가?
• RQ5 그래프 위의 파울리-파인만-카츠-이토 공식에서 어떤 확률적 및 분석적 부등식을 도출할 수 있는가?

주요 결과

• 자기장 슈뢰딩거 연산자에 대한 파울리-파인만-카츠-이토 공식이 임의의 가중치가 부여된 그래프 위에서 수립되었으며, 준군이 자기장 선적분을 갖는 확률적 과정과 연결된다.
• 자기장 슈뢰딩거 연산자가 자기수반 연산자로서 잘 정의될 수 있는 일반적인 잠재력의 클래스가 규명되었다.
• 카토의 부등식은 파울리-파인만-카츠-이토 공식의 결과로 증명되었으며, 자기장 준군이 비자기장 준군을 지배함을 보여준다.
• 골든-템프스터 부등식이 추상 형태로 도출되었으며, 두 연산자의 합의 준군에 대한 트레이스 추정을 제공한다.
• 잠재력이 아래로 유계일 경우 자기장 슈뢰딩거 연산자의 2차 형식 도메인이 최대형 도메인으로 명시적으로 특성화된다.
• 잠재력이 아래로 유계일 경우 최대형과 형식-폐쇄된 2차 형식이 일치하며, 이는 일관된 연산자 실현을 보장한다.