[論文レビュー] Polynomial Sequences of Binomial Type and Path Integrals

Vladimir V. Kisil|arXiv (Cornell University)|Aug 9, 1998

Algebraic and Geometric Analysis参考文献 15被引用数 4

ひとこと要約

本稿は、離散時間および角運動量変数から成る位相空間における経路積分として、二項型多項式列を表現することにより、数え上げ組合せ論と量子場理論の間の新しい接点を確立する。零点における多項式の微分から導かれるハミルトニアンを用いて、その列に対してシュレーディンガー型方程式を定式化することで、ウムブラル計算と量子力学を結びつけ、並列量子計算のための枠組みを可能にする。

ABSTRACT

Polynomial sequences $p_n(x)$ of binomial type are a principal tool in the umbral calculus of enumerative combinatorics. We express $p_n(x)$ as a \emph{path integral} in the ``phase space'' $\Space{N}{} imes {[-π,π]}$. The Hamiltonian is $h(ϕ)=\sum_{n=0}^\infty p_n'(0)/n! e^{inϕ}$ and it produces a Schrödinger type equation for $p_n(x)$. This establishes a bridge between enumerative combinatorics and quantum field theory. It also provides an algorithm for parallel quantum computations. Keywords: Feynman path integral, umbral calculus, polynomial sequence of binomial type, token, Schrödinger equation, propagator, wave function, cumulants, quantum computation.

研究の動機と目的

• 数え上げ組合せ論と量子場理論を、多項式列の新しい表現によって結びつける。
• 経路積分を用いて、二項型多項式列をシュレーディンガー型方程式の解として定式化する。
• 組合せ的構造を用いた並列量子計算のための計算フレームワークを開発する。
• 位相空間形式の量子力学的枠組みに埋め込むことによって、ウムブラル計算を一般化する。
• 積率と母関数を量子伝播関数の観点から解釈する数学的基盤を提供する。

提案手法

• 多項式列を二項型として、位相空間 $\mathbb{N} \times [-\pi, \pi]$ 上の経路積分として表現する。
• 零点における多項式の微分を用いて、$h(\phi) = \sum_{n=0}^\infty \frac{p_n'(0)}{n!} e^{in\phi}$ としてハミルトニアンを定義する。
• このハミルトニアンを用いて、列 $p_n(x)$ のシュレーディンガー型方程式を導出する。
• 経路積分形式における伝播関数および波動関数を構築し、列の生成に用いる。
• ハミルトニアンのフーリエ表現を用いて、組合せ的母関数と量子振幅を結びつける。
• 形式主義を積率およびトークンベースのモデルに適用し、量子計算をモデル化する。

実験結果

リサーチクエスチョン

• RQ1 二項型多項式列は、量子力学的位相空間における経路積分として表現可能か？
• RQ2 ハミルトニアン力学を用いて、ウムブラル計算を量子場理論の枠組みに埋め込む方法は何か？
• RQ3 母関数の微分が、量子ハミルトニアンを定義する役割を果たすのはどのような仕組みか？
• RQ4 この定式化は、組合せ的構造に基づく並列量子計算モデルを支えることができるか？
• RQ5 この経路積分定式化において、積率と母関数は伝播関数からどのように導かれるか？

主な発見

• 二項型多項式列が、位相空間経路積分から導かれるシュレーディンガー型方程式を満たすことが示された。
• ハミルトニアンは、$\phi$ に関するフーリエ級数として明示的に構成され、係数は微分 $p_n'(0)/n!$ で与えられる。
• 経路積分定式化は、組合せ的列に基づく量子計算のための新しいアルゴリズム的フレームワークを提供する。
• このモデルにおける波動関数は、列の母関数に対応し、時間発展はハミルトニアンによって支配される。
• 形式主義は自然に、経路積分フレームワーク内での積率を量子期待値として組み込む。
• この方法により、伝播関数および時間発展の文脈において、ウムブラル計算と量子場理論の直接的な対応関係が確立された。