New Approaches to Identities for Vacillating Tableaux

技術要約：揺動タブロー（Vacillating Tableaux）に関する新しい恒等式へのアプローチ

問題提起
本論文は、分割代数の表現論に由来する、揺動タブローの数に関する基本的な組合せ論的恒等式を扱っている。具体的には、恒等式 $n^k = \sum_{\lambda \vdash n} f_\lambda m_k(\lambda)$ （ここで $f_\lambda$ は形状 $\lambda$ の標準ヤング・タブローの数、$m_k(\lambda)$ は長さ $2k$ の揺動タブローの数である）およびその任意の微分ポセット（differential posets）への一般化に焦点を当てている。著者らは、これらの恒等式、および交互歩行（alternating walks）を含むいくつかの類似の変種が、特定の表現論的な構成のみに依存するのではなく、微分ポセットの構造的特性から直接導かれることを示すことを目的としている。さらに、本論文は、ヤング・ラティス（Young's lattice $Y$）およびその直積冪（Cartesian powers $Y^r$）において、新しい削除・挿入アルゴリズムを開発することにより、これらの恒等式のより単純な全単射的証明を提供することを目指している。

手法
著者らは、代数的演算子理論と組合せ論的全単射を組み合わせた二段構えのアプローチを採用している。

1. 微分ポセットにおける代数的枠組み：
   本研究は、アップ演算子（$U$）とダウン演算子（$D$）の間に特定の交換関係 $DU - UD = rI$ を満たす、Stanleyによって導入された $r$-微分ポセットの理論に基づいている。著者らは、演算子 $(UD)^k$ を、第2種スターリング数が関与する項 $U^l D^l$ の線形結合へと展開する手法を利用する。これらの演算子恒等式をポセット内の要素に適用し、内積構造を利用することで、特定の長さのダウン・アップおよびアップ・ダウンの交互歩行の数を導出する。

2. リフトされた挿入による組合せ論的全単射：
   ヤング・ラティス（$Y$）およびその冪（$Y^r$）の文脈において、代数的恒等式の全単射的証明を提供するために、著者らは「リフトされた挿入（lifted insertion）」アルゴリズムを導入する。このプロセスは、標準的なRSK（Robinson-Schensted-Knuth）行挿入を修正したものである。

• リフトされた挿入： 標準ヤング・タブロー（SYT）$T$ と整数 $i$ が与えられたとき、アルゴリズムはまず $T$ 内の $i$ 以上のすべてのエントリーを 1 増加させ、その後、標準的なRSK行挿入を用いて $i$ を挿入する。
• 削除・挿入プロセス： 著者らは、（SYT, 整数列）のペアと（SYT, 揺動タブロー）のペアの間の全単射を構築する。このプロセスは、最大要素の削除（deletion）とリフトされた挿入を反復的に行うことで構成される。これにより、HalversonとLewandowskiによる従来の証明で必要とされていた jeu de taquin の使用を回避している。
• $Y^r$ への拡張： アルゴリズムは、整数列を色の付いた整数（値と色のペア）として扱い、座標ごとに削除・挿入ステップを適用することで、分割の $r$ つ組へと一般化される。

主要な貢献と結果
本論文は以下の主要な結果を確立している：

• 微分ポセットへの一般化： 著者らは、揺動タブローの基本恒等式とその一般化（奇数長の歩行やアップ・ダウン交互歩行を含む）が、あらゆる $r$-微分ポセットにおいて成立することを証明している。これらの恒等式は、要素間の歩行の数と、最小要素（$\hat{0}$）からの飽和鎖の数および $r$ の累乗との関係を記述している。

  • 具体的には、定理3において $e(x)(rn)^k = \sum_{y \in P_n} m_k(x \to y)e(y)$ を確立している（ここで $e(x)$ は $\hat{0}$ から $x$ への飽和鎖の数である）。
  • 定理6は、アップ・ダウン交互歩行に関する同様の結果を提供している。

• 新しい全単射的証明： 本論文は、ヤング・ラティスおよびその直積冪におけるこれらの恒等式の全単射的証明を与える、より単純な削除・挿入アルゴリズムを提示している。

  • 全単射 $\phi^k_n$ は、（形状 $\mu$ のSYT, 長さ $k$ の整数列）のペアを、（形状 $\lambda$ のSYT, $\mu$ から $\lambda$ への揺動タブロー）のペアへと写像する。
  • 著者らは、この写像が可逆であることを示し、最終的なタブローと歩行シーケンスから、初期のタブローと整数列を復元できることを示している。
  • このアプローチは、jeu de taquin を排除することで、HalversonおよびLewandowski [12] や Krattenthaler [13] による構成を簡略化している。

• $Y^r$ への拡張： 結果は、ヤング・ラティスの $r$ 乗である $r$-微分ポセット $Y^r$ へと拡張される。著者らは、色の付いた整数シーケンスとタブローの $r$ つ組を用いた全単射を定義し、これらの構造に関する対応する恒等式を証明している。

• 集合分割との関連： 本論文は、特定の要素（$Y$ における分割 $(n)$ など）に対して、揺動タブローの数の平方和がベル数および $r$-色の集合分割に関連していることを指摘しており、MartinおよびRollet [14] による先行研究を一般化している。

意義
本論文の意義は、主に、これらの組合せ論的恒等式をより広いクラスの微分ポセットへと統一し、これらが特定の表現論の産物ではなく、ポセットの定義そのものから生じる構造的な帰結であることを示した点にある。jeu de taquin を必要としない、より単純な純粋組合せ論的全単射を提供することで、著者らは、整数シーケンス、標準ヤング・タブロー、および揺動タブローの関係を理解するための、よりアクセシブルなツールを提供している。$Y^r$ への拡張およびリムフック・ラティス（rim hook lattices）に関する議論は、これらの手法が、色の付いた離散構造とその組合せ論的性質を研究するための多才な枠組みを提供することを示唆している。著者らは、これらの恒等式には表現論的な起源があるものの、その組合せ論的な証明は、初等的な構造的特性とアルゴリズム的な全単射を通じて導かれ、理解され得るものであると結論づけている。