[論文レビュー] Web worlds, web-colouring matrices, and web-mixing matrices

Mark Dukes, Einan Gardi+2 more|arXiv (Cornell University)|Jan 28, 2013

Black Holes and Theoretical Physics参考文献 9被引用数 6

ひとこと要約

本稿では、頂点（ピッグ）におけるエッジの順序付き高さを割り当てることで、グラフを一般化するウェブ図から構成される組み合わせ的構造、ウェブ・ワールドを導入する。ウェブ色分けとウェブ混合行列は、ウェブ・ワールド内での図の変換を定義するエッジ色分けに基づいて定義され、トランスティヴなウェブ・ワールドでは、これらの行列が (2+2)-自由なposetおよび上昇列に結びついており、母関数およびposetの降下多項式を用いて正確な列挙とトレース計算が可能である。

ABSTRACT

We introduce a new combinatorial object called a web world that consists of a set of web diagrams. The diagrams of a web world are generalizations of graphs, and each is built on the same underlying graph. Instead of ordinary vertices the diagrams have pegs, and edges incident to a peg have different heights on the peg. The web world of a web diagram is the set of all web diagrams that result from permuting the order in which endpoints of edges appear on a peg. The motivation comes from particle physics, where web diagrams arise as particular types of Feynman diagrams describing scattering amplitudes in non-Abelian gauge (Yang-Mills) theories. To each web world we associate two matrices called the web-colouring matrix and web-mixing matrix. The entries of these matrices are indexed by ordered pairs of web diagrams (D_1,D_2), and are computed from those colourings of the edges of D_1 that yield D_2 under a transformation determined by each colouring. We show that colourings of a web diagram (whose constituent indecomposable diagrams are all unique) that lead to a reconstruction of the diagram are equivalent to order-preserving mappings of certain partially ordered sets (posets) that may be constructed from the web diagrams. For web worlds whose web graphs have all edge labels equal to 1, the diagonal entries of web-mixing and web-colouring matrices are obtained by summing certain polynomials determined by the descents in permutations in the Jordan-Holder set of all linear extensions of the associated poset. We derive tri-variate generating generating functions for the number of web worlds according to three statistics and enumerate the number of different web diagrams in a web world. Three special web worlds are examined in great detail, and the traces of the web-mixing matrices calculated in each case.

研究の動機と目的

• フェルミオン図の非アーベルゲージ理論における動機をもとに、ピッグ上のエッジ順序の置換から得られるウェブ図の集合としてウェブ・ワールドを形式化すること。
• ウェブ色分け行列とウェブ混合行列という2つの主要な行列を定義・分析し、それらの成分がウェブ・ワールド内での1つの図から別の図への変換をもたらすエッジ色分けの数を数えること。
• 特にトランスティヴな場合に限って、ウェブ・ワールドと (2+2)-自由なposet、上昇列、パターン回避順列といった組み合わせ的対象との関係を確立すること。
• 特定のクラスのウェブ・ワールドについて、ウェブ混合行列のトレースを母関数を用いて導出し、正確な列挙とQCDにおける物理的解釈を可能にすること。

提案手法

• ウェブ図を、ピッグと高さ順に整列されたエッジを持つグラフの一般化として定義し、各ピッグ上のエッジ順序の置換によって得られるすべての図の集合としてウェブ・ワールドを定義する。
• エッジ色分けによる変換を定義し、その色分けが1つの図から別の図への写像を生成するように、ウェブ色分け行列とウェブ混合行列を構成する。
• poset理論を用いる：各ウェブ図を部分順序集合（poset）として表現し、再構成可能な色分けがそのようなposet間の順序を保つ写像に対応することを示す。
• トランスティヴなウェブ・ワールドにおいて、行列を (2+2)-自由なposetと関連づけ、上昇列および母関数に関する既知の結果を用いてトレースと成分を計算する。
• エッジ数、ピッグ数、接続されたピッグペア数に基づく3変数母関数をウェブ・ワールドに対して導出する。
• ジョルダン＝ホルダー理論を適用し、行列の対角成分を関連posetの線形拡張の置換における降下多項式の和として表現する。

実験結果

リサーチクエスチョン

• RQ1 構成される非分解可能図が一意でない場合に、ウェブ図の再構成定理をどのように拡張できるか。
• RQ2 ウェブ色分け行列およびウェブ混合行列の非対角成分は、関連する図のposet間の写像としてどのように特徴付けられるか。
• RQ3 明示的な図の列挙を伴わずに、代表行列 $\mathsf{Represent}(W)$ を用いて行列成分を直接計算する方法はあるか。
• RQ4 ウェブ混合行列のトレースが1であるウェブ・ワールドはどのような特徴を持ち、このような場合に物理的意味は何か。
• RQ5 すべての行列成分 $\mathfrak{M}^{(W)}(x)$ および $\mathfrak{R}^{(W)}$ が明示的に計算可能な、他の正確に解けるウェブ・ワールドは特定できるか。

主な発見

• トランスティヴなウェブ・ワールドにおいて、代表行列 $\mathsf{Represent}(W)$ は上三角行列と一対一対応しており、これらは (2+2)-自由なposetおよび上昇列と双対であることが知られている。
• ウェブ混合行列およびウェブ色分け行列の対角成分は、関連posetのジョルダン＝ホルダー集合に属する置換の降下に基づく多項式の和として表現される。
• トランスティヴなウェブ・ワールドにおけるウェブ混合行列のトレースは母関数を用いて計算可能であり、特定のケースでは明示的に計算されている（例 9.2 では、それぞれ 3, 3, 3, 2, 1 である）。
• ウェブ・ワールド内の異なるウェブ図の数は、ピッグ間の異なるエッジ順序の数に依存し、これは下位のposetの構造およびその線形拡張によって支配される。
• エッジ数、ピッグ数、接続ピッグペア数に基づくトランスティヴなウェブ・ワールドの母関数は既知であり、[5] の定理11に記載されており、完全な列挙フレームワークを提供する。
• 本稿では、$\mathsf{Represent}(W)$ の構造と上昇列などの組み合わせ的対象との直接的な関係を確立し、トレース計算の簡略化およびイケオナル振幅指数に関する物理的洞察の可能性を示している。