[論文レビュー] Combinatorial Models of Creation-Annihilation

Paweł Błasiak, Philippe Flajolet|arXiv (Cornell University)|Oct 2, 2010

Stochastic processes and statistical mechanics参考文献 104被引用数 57

ひとこと要約

本稿は、[D,X] = 1 を満たす消滅・生成作用素の多項式の正規順序化のための組合せ的枠組みを確立し、基本的「ゲート」としてのラベル付き図を用いて、正規形を体系的に列挙する。主な貢献は、作用素の簡約を、集合分割、順列、増加木、格子路といった古典的組合せ構造と結びつける統一的な図的モデルを提供することにある。

ABSTRACT

Quantum physics has revealed many interesting formal properties associated with the algebra of two operators, A and B, satisfying the partial commutation relation AB-BA=1. This study surveys the relationships between classical combinatorial structures and the reduction to normal form of operator polynomials in such an algebra. The connection is achieved through suitable labelled graphs, or "diagrams", that are composed of elementary "gates". In this way, many normal form evaluations can be systematically obtained, thanks to models that involve set partitions, permutations, increasing trees, as well as weighted lattice paths. Extensions to q-analogues, multivariate frameworks, and urn models are also briefly discussed.

研究の動機と目的

• 非可換作用素の多項式式の正規順序化を、[D,X] = 1 を満たす作用素に対して体系的な組合せ的アプローチで開発すること。
• 集合分割、順列、格子路といった多様な組合せ的対象を、作用素代数に基づく単一の図的枠組みで統一すること。
• 正規順序化から生じる恒等式（特に(XD)^n、(X^2D)^n、(X^a + D^b)^nの形）に対して、明示的かつ解釈可能な組合せ的解釈を提供すること。
• q-類似、多変数設定、ウームモデルへの拡張を図り、量子代数および統計力学への応用範囲を広げること。
• 図モデルが、代数的に不透明または間接的手法でのみ知られている恒等式に対して、透明で構成的な証明機構を提供することを示すこと。

提案手法

• 作用素の順序を符号化するエッジを備えた、基本的単項式X^rD^sを表すラベル付き「ゲート」からなる図的モデルを構築する。
• DX = XD + 1 の交換関係を用いた簡約プロセスを定義し、正規形X^rD^sへの作用素の再順序化を、書き換え系としてモデル化する。
• 「同等性の原理」（定理1）を確立し、与えられた正規形単項式と一致する異なる図の数が、正規順序展開における係数に等しいことを証明する。
• 母関数および指数型母関数を用いて、e^{zrak{H}} といった正規順序化恒等式の族全体を符号化する。
• 作用素形式と組合せ的構造の対応を確立する：例えば(XD)^nは集合分割に対応し、(X^2D)^nは増加木に対応し、(X^a + D^b)^nは重み付き格子路に対応する。
• 重み付き図を用いてq-類似に拡張し、多項式および指数型母関数を用いて多変数設定に拡張する。

実験結果

リサーチクエスチョン

• RQ1 作用素DとXの多項式の正規順序化が、[D,X] = 1 を満たす場合に、どのように組合せ的図を用いて体系的にモデル化できるか。
• RQ2 特定の作用素形式、例えば(XD)^n や (X^2D)^n から自然に生じる組合せ的構造（集合分割、順列、格子路など）は何か。
• RQ3 図的モデルをq-類似、多変数作用素多項式、ウームモデルに拡張できるか。また、どのような新しい恒等式が導かれるか。
• RQ4 図モデルが、量子代数および組合せ論における既知の恒等式を統一的かつ直感的に説明する仕組みは何か。
• RQ5 本フレームワークと、微分的ポセット、Fomin–Stanley理論、PASEP排他過程といった他の組合せ的モデルとの間にどのような関係があるか。

主な発見

• (XD)^n の正規順序化により、n要素集合の集合分割の数に一致する係数が得られ、合計係数の和はn番目の順序付きベル数に等しい。
• (X^2D)^n の正規形は増加木を用いて表現可能であり、係数は特定の木の族を数える。
• 二項形(X^a + D^b)^n の正規順序化係数は重み付き格子路によって数えられ、生成関数が連分数展開を満たすことが示された。
• (X^2D^2)^n は、集合分割に追加の構造を加えたものに相当する積の形をとり、(XD)^n の場合を一般化する。
• フレームワークは自然にq-類似に拡張され、図の重みが標準的組合せ的数のq-変形に対応する。
• 図モデルにより、{rak{N}}(ABABA) = B^2A^3 + 3BA^2 + A といった恒等式が、ラベル付き図を通じた簡約の追跡によって構成的かつ視覚的に証明可能である。