Double-scaled SYK from boundary metrics of planar maps

技術的要約：平面マップの境界計量からの二重スケーリングされたSYK

問題提起
境界計量（バルクのグラフ距離によって誘導される擬距離）を制御した平面マップの計数は、一般に困難な組合せ問題である。球面上における測地線2点関数や3点関数などの特定の距離統計については厳密な結果が存在するが、すべての境界頂点間の距離を同時に制御することは、特に測地線が交差する場合、通常は手に負えない。この困難さは、面の重みが複素数であったり、符号が交互に変化したりするモデルにおいてさらに増大する。

本研究は、この問題を二重スケーリングされたサッチデフ・イェ・キタエフ（DSSYK）モデルという特定の文脈において扱う。DSSYKは、弦の交差に対するボルツマン重みとしてパラメータ $q \ge 0$ を持つ弦図（chord diagrams）による組合せ論的定式化が可能である。DSSYKの分配関数は、特定のエルミート1行列モデル（ETH 1行列モデル）の大きな $N$ 極限と一致することが知られており、このモデルは $q$ 変形された面の重みを持つ特別な族の二部平面マップ（ETH平面マップ）を計数する。中心となる問いは、DSSYKとこれらの平面マップとの対応関係が、分配関数のレベルを超えて、詳細な計量統計、具体的にはマップにおける境界頂点間のグラフ距離と弦図の交差数の関係へと拡張されるかどうかである。

手法
本論文は、組合せ論的なバイジェクション（全単射）、再帰的計数手法、および直交多項式論を組み合わせて用いている。

1. 測地線弦図（Geodesic Chord Diagrams）: 著者らは、二部平面マップ $\mathfrak{m}$ から弦図 $\chi$ への写像 $\text{Geod}(\mathfrak{m})$ を定義する。これは、グラフ距離に関する $\mathfrak{m}$ の外側の面のコーナーのボロノイ図を分析することによって達成される。得られる弦図 $\chi$ は、境界擬距離 $d_\mathfrak{m}$ を、$d_\chi(a,b)$ が $a$ と $b$ の間の区間を横切る弦の数であるような弦図 $d_\chi$ となるように符号化する。
2. ショートカッティング操作（Shortcutting Operations）: 異なる周辺長を持つマップを関連付けるために、著者らは弦図における「ショートカッティング」操作 $\text{Short}_{n,p}$ を導入する。この操作は、平面マップの外側の面にエッジを加えることに対応し、それが境界計量のショートカットとして機能する。本論文では、この操作の下で特定の $\chi$ に写されるすべての弦図 $\chi'$ を分類している。
3. 精緻化されたタット方程式（Refined Tutte Equations）: 平面マップの計数はタット方程式（ループ方程式）によって支配される。著者らは、「測地線ディスク関数」 $F(t; \chi)$ に関する精緻化されたバージョンのこれらを導出している。ここで $F(t; \chi)$ は、固定された測地線弦図 $\chi$ を持つすべてのマップの重みを合計するものである。
4. 直交多項式と $q$-組合せ論: 証明は、DSSYKポテンシャルに関連する特定の重み列 $t(q)$ の性質に強く依存している。著者らは、再正規化された $q$-エルミート多項式の直交性と、$q$-スターリング数（第1種および第2種）の組合せ論的性質を利用している。重要なステップは、精緻化されたタット方程式をETHモデルの特定の重みに適用すると、これらの多項式の直交性を伴う恒等式に還元され、大規模な相殺が生じることを示すことである。

主要な貢献と結果

• 定理1（主要な結果）: DSSYKのポテンシャルから導かれる重み $t(q)$ を持つETH平面マップモデルにおいて、測地線ディスク関数 $F(t(q); \chi)$ は、弦図 $\chi$ の交差数 $i(\chi)$ のみに依存する：
  $$F(t(q); \chi) = q^{i(\chi)}$$
  この恒等式は、$q$ に関する形式的冪級数として成立する。
• 精緻化された対応関係: この結果は、DSSYK分配関数とETHマップ分配関数の既知の等価性を大幅に精緻化するものである。これは、擬距離観測量（任意の境界点間のグラフ距離）の同時モーメントが、DSSYK弦図モデルにおける対応する弦の数統計と正確に一致することを確立している。具体的には、距離に関する任意の関数 $f$ に対して：
  $$\sum_{\mathfrak{m} \in M_{2n}} f(d_\mathfrak{m}(\dots)) w_{t(q)}(\mathfrak{m}) = \sum_{\chi \in C_{2n}} f(d_\chi(\dots)) q^{i(\chi)}$$
• 確率論的解釈（系2）: 著者らは、実数 $q$ に対するこれらの級数の収束を分析している。彼らは、$q$ が十分に小さい場合（$q \lesssim 0.042$）、絶対値の重みが許容可能な数列を形成し、ボルツマン平面マップを伴う確率論的解釈が可能であることを示している。この領域において、固定された測地線弦図 $\chi$ を持つマップの偶数個の頂点数と奇数個の頂点数の確率の差は、$q^{i(\chi)}$ に比例する。
• 弦図の計数: 証明は、「強測地線的（strongly geodesic）」なセグメントを含む新しい精緻化された弦図の計数（命題8）を導入しており、これは $q$-スターリング数第2種へと接続される。

意義と主張
本論文は、この研究が、多くの交差する測地線を同時に含む平面マップの計数的な制御に関する最初の例を提供すると主張している。平面マップにおけるグラフ距離に関するこれまでの厳密な結果は、非交差の測地線（例：2点関数や3点関数）に限定されていたが、本結果は、特定のETHモデルにおいては、交差する測地線の複雑な幾何学が、弦図の単純な交差数によって正確に捉えられることを示している。

著者らは、この対応関係がDSSYKのホログラフィック双対におけるバルク測地線長の離散性を解明し、それらを平面マップのグラフ距離に直接特定するものであると述べている。彼らは、重みの符号が交互に入れ替わるため、この結果は先験的に非確率論的であるが、小さな $q$ の制限された領域では確率論的解釈が存在することを明示している。論文は、$q \to 1$ の極限（JT重力およびWeil-Petersson体積への接続）および高次種数曲面への結果の拡張に関する未解決の問いを提示して締めくくられているが、これらの拡張を解決したとは主張していない。