[論文レビュー] Rational $Q$-systems, Higgsing and Mirror Symmetry

Jie Gu, Yunfeng Jiang+1 more|arXiv (Cornell University)|Aug 22, 2022

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

本稿は、複数の運動量を運ぶノード、不均一性、ねじれ、$q$-変形を含む一般の$A_{\ell-1}$クイバーBethe ansatz方程式に対して、有理的$Q$-システムの定式化を導入する。これは、2つの分割$\bm{\rho}$と$\bm{\sigma}$によって記述される3次元$\mathcal{N}=4$クイバーゲージ理論$T_{\bm{\rho}}^{\bm{\sigma}}[\mathrm{SU}(n)]$と、1対1の対応関係を確立する。この枠組みにより、分割の変更によってヒッグス分岐とクーロン分岐のヒッグス化が実現され、分割の交換によってミラー双対性が実現され、$n=1,\dots,5$の$\mathrm{U}(n)$SQCDに対するトポロジカルにねじれた指数の効率的計算が可能になる。この方法は非物理的解を排除し、Bethe/ゲージ対応を簡素化する。

ABSTRACT

The rational $Q$-system is an efficient method to solve Bethe ansatz equations for quantum integrable spin chains. We construct the rational $Q$-systems for generic Bethe ansatz equations described by an $A_{\ell-1}$ quiver, which include models with multiple momentum carrying nodes, generic inhomogeneities, generic diagonal twists and $q$-deformation. The rational $Q$-system thus constructed is specified by two partitions. Under Bethe/Gauge correspondence, the rational $Q$-system is in a one-to-one correspondence with a 3d $\mathcal{N}=4$ quiver gauge theory of the type ${T}_{\boldsymbolρ}^{\boldsymbolσ}[SU(n)]$, which is also specified by the same partitions. This shows that the rational $Q$-system is a natural language for the Bethe/Gauge correspondence, because known features of the ${T}_{\boldsymbolρ}^{\boldsymbolσ}[SU(n)]$ theories readily translate. For instance, we show that the Higgs and Coulomb branch Higgsing correspond to modifying one of the partitions in the rational $Q$-system while keeping the other untouched. Similarly, mirror symmetry is realized in terms of the rational $Q$-system by simply swapping the two partitions - exactly as for ${T}_{\boldsymbolρ}^{\boldsymbolσ}[SU(n)]$. We exemplify the computational efficiency of the rational $Q$-system by evaluating topologically twisted indices for 3d $\mathcal{N}=4$ $U(n)$ SQCD theories with $n=1,\ldots,5$.

研究の動機と目的

• 複数の運動量を運ぶノード、不均一性、ねじれ、$q$-変形を含む一般の$A_{\ell-1}$クイバーBethe ansatz方程式に対して、体系的な有理的$Q$-システムの定式化を構築すること。
• 有理的$Q$-システムと3次元$\mathcal{N}=4$クイバーゲージ理論$T_{\bm{\rho}}^{\bm{\sigma}}[\mathrm{SU}(n)]$との1対1の対応関係を確立すること。これらの理論も2つの分割によって特徴づけられる。
• 有理的$Q$-システムが、単純な分割の変更によって、ヒッグス化やミラー双対性といったゲージ理論の幾何的操作を自然に符号化できることを示すこと。
• $\mathrm{U}(n)$SQCD理論（$n=1,\dots,5$）のトポロジカルにねじれた指数を、直接BAEを解くのと比較して計算効率に優れた方法で効率的に計算するために、有理的$Q$-システムを応用すること。

提案手法

• 有理的$Q$-システムは、分割$\bm{\rho}$に付随するヤング盤に構築され、2番目の分割$\bm{\sigma}$が追加の構造を符号化する。これにより、以前の定式化を一般化し、複数の運動量を運ぶノードと$q$-変形を含める。
• ヤング盤上の$QQ$-関係を用いて、Bethe ansatz方程式の物理的解を符号化し、反復根などの非物理的解を自動的に除外する。
• ヒッグス分岐におけるヒッグス化は、$\bm{\rho}$を変更する一方で$\bm{\sigma}$を固定することに対応し、クーロン分岐におけるヒッグス化は、$\bm{\sigma}$を変更する一方で$\bm{\rho}$を固定することに対応する。
• ミラー双対性は、単に2つの分割$\bm{\rho}$と$\bm{\sigma}$を入れ替えることで実現され、$T_{\bm{\rho}}^{\bm{\sigma}}[\mathrm{SU}(n)]$理論における既知の双対性と一致する。
• この枠組みは、Bethe/ゲージ対応に依拠しており、BAEの解は、$S^1$上でコンact化された3次元$\mathcal{N}=4$クイバー理論の超対称真空に対応し、局在化を用いてトポロジカルにねじれた指数を計算する。
• トポロジカルにねじれた指数は、Bethe根の経路積分として計算され、有理的$Q$-システムを用いて再表現され、数値的不安定性や非物理的解を回避する。

実験結果

リサーチクエスチョン

• RQ1 有理的$Q$-システムは、$A_{\ell-1}$クイバー模型において、複数の運動量を運ぶノード、一般の不均一性、対角的ねじれ、$q$-変形を含むようにどのように一般化可能か？
• RQ2 有理的$Q$-システムと3次元$\mathcal{N}=4$クイバーゲージ理論$T_{\bm{\rho}}^{\bm{\sigma}}[\mathrm{SU}(n)]$との正確な対応関係は何か？
• RQ3 ヒッグス分岐とクーロン分岐におけるヒッグス化操作は、有理的$Q$-システム構造の中でどのように符号化されるか？
• RQ4 ミラー双対性は、有理的$Q$-システム枠組み内でどのように実現されるか？また、$T_{\bm{\rho}}^{\bm{\sigma}}[\mathrm{SU}(n)]$理論における既知の双対性と一致するか？
• RQ5 有理的$Q$-システムは、$n=1,\dots,5$の$\mathrm{U}(n)$SQCDに対して、トポロジカルにねじれた指数を効率的に計算するために使用可能か？

主な発見

• 複数の運動量を運ぶノード、不均一性、ねじれ、$q$-変形を含む一般の$A_{\ell-1}$クイバーBethe ansatz方程式に対して、2つの分割$\bm{\rho}$と$\bm{\sigma}$を用いて完全に特徴づけられる有理的$Q$-システムが構築された。
• 有理的$Q$-システムは、$\bm{\rho}$がヤング盤をラベルし、$\bm{\sigma}$が追加の構造を符号化する3次元$\mathcal{N}=4$クイバーゲージ理論$T_{\bm{\rho}}^{\bm{\sigma}}[\mathrm{SU}(n)]$と1対1の対応関係にある。
• ヒッグス分岐のヒッグス化は$\bm{\rho}$を変更するが$\bm{\sigma}$を固定するのに対応し、クーロン分岐のヒッグス化は$\bm{\sigma}$を変更するが$\bm{\rho}$を固定するのに対応し、ゲージ理論の期待と完全に一致する。
• ミラー双対性は、単に2つの分割$\bm{\rho}$と$\bm{\sigma}$を入れ替えることで実現され、$T_{\bm{\rho}}^{\bm{\sigma}}[\mathrm{SU}(n)]$理論におけるものと正確に一致する。
• 有理的$Q$-システムは、$n=1,\dots,5$の$\mathrm{U}(n)$SQCDに対して、トポロジカルにねじれた指数を効率的に計算可能であり、直接BAEを解く際に生じる数値的不安定性や非物理的解を回避する。
• この方法は、ヤング盤上の$QQ$-関係にBAEの解の全体空間を符号化することで計算効率を達成し、物理的解は単一の$Q$関数の零点に対応する。