[論文レビュー] Orthogonal Representation of Graphs

Alberto Solís-Encina, José R. Portillo|arXiv (Cornell University)|Apr 14, 2015

Quantum Mechanics and Applications参考文献 19被引用数 13

ひとこと要約

本稿は、量子コントキシカルリティおよび隠れ変数理論への応用を目的として、グラフの直交表現、特に忠実な、正規直交な、一般位置のバージョンに焦点を当てている。直交ランクパラメータ間の重要な関係を確立し、自己補完的グラフに対する境界を証明し、切断頂点および補集合グラフを含む次元関係について仮説を提示している。

ABSTRACT

Orthogonal Graph Representations are essential tools for testing existence of hidden variables in quantum theory. As required by the interpretation of Copenhaghe on the foundations of quantum mechanics, a physical observable is not determined before its observation. Conducting experiments quantum contextuality or the information capacity of a quantum system are closely related to the orthogonal representations.

研究の動機と目的

• グラフの異なるタイプの直交表現（OR, FOR, ORGP, FORLO）を形式化・分析し、量子基礎に応用すること。
• 忠実および一般位置の直交表現に必要な最小次元（直交範囲）を特定すること。
• 特に自己補完的およびk連結グラフに対して、直交ランクパラメータ間の理論的境界および関係を確立すること。
• 切断頂点およびカーネル構造が直交表現の次元を決定する役割を調査すること。
• 補集合グラフに関する次元境界を仮説し、グラフとその補集合の直交ランクの差を検討すること。

提案手法

• 直交表現（OR）を、頂点にベクトルを割り当て、隣接する頂点がR^d内での直交ベクトルに写されるように定義する。
• 隣接性がベクトルの直交性と同値であることを要請する忠実直交表現（FOR）を導入し、ORの条件を強化する。
• 一般位置における直交表現（ORGP）について、Lovászの特徴付けを適用し、任意のd個のベクトルが線形独立であることを要件とする。
• Lovász最適忠実直交表現（FORLO）を導入し、Lovászのシータ数θ(G)を達成し、次元を最小化する。
• 標準基底に対する幾何的変換（回転）を用いてFORを構成し、回転の系列によって存在を示す。
• k連結性、切断頂点、自己補完的構造などのグラフ理論的道具を用いて次元境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 任意のグラフGに対して、忠実直交表現に必要な最小次元は何か？ 他の直交ランクパラメータとどのように関係するか？
• RQ2 直交ランクρ⊥(G)、ρpg(G)、ρ⊥_lo(G)の間にはどのような関係があり、理論的関係は何か？
• RQ3 自己補完的グラフの忠実直交ランクにどのような境界を設定できるか？
• RQ4 切断頂点の存在がグラフの直交ランクに与える影響は何か？
• RQ5 グラフとその補集合の直交ランクの差にはどのような可能性があるか？ そして、タイトな境界を確立できるか？

主な発見

• 任意のグラフGに対して、忠実直交ランクはρ⊥(G) ≤ ρpg(G) ≤ 2ρ(G)を満たす。ここでρ(G)は標準的な直交ランクである。
• n頂点を持つ自己補完的グラフに対してはρ⊥(G) ≥ ⌈n/2⌉であり、頂点推移的性を仮定すれば等号が成立すると予想されている。
• 自己補完的グラフGとその補集合Ḡの忠実直交ランクの和はρ⊥(G) + ρ⊥(Ḡ) ≥ nを満たす。
• k連結グラフに対しては、2r ≥ ρpg(G) ≥ r+1が成り立つ。ここでrは隣接行列のランクである。
• ρpg(G)とρ⊥(G)の差は|V(G)| - 3にまで達する可能性があり、一般位置表現と忠実表現の間で顕著なギャップがあることを示唆している。
• 仮説ではρ⊥(G) + ρ⊥(Ḡ) ∈ [n−2, n+2]であるが、これは未解決であり、ORGP表現では成立しない可能性がある。