[论文解读] Combinatorics of the Quantum Symmetric Simple Exclusion Process, associahedra and free cumulants

Philippe Biane|arXiv (Cornell University)|Nov 24, 2021

Stochastic processes and statistical mechanics被引用 6

一句话总结

本文為量子对称简单排斥过程（QSSEP）中出现的环多项式提供了显式的组合公式，将其表示为与单纯形面一一对应的Schröder树的和。关键结果是这些多项式等价于一组交换随机变量的自由矩，揭示了量子统计力学与自由概率论之间出人意料的联系。

ABSTRACT

The Quantum Symmetric Simple Exclusion Process (QSSEP) is a model of quantum particles hopping on a finite interval and satisfying the exclusion principle. Recently Bernard and Jin have studied the fluctuations of the invariant measure for this process, when the number of sites goes to infinity. These fluctuations are encoded into polynomials, for which they have given equations and proved that these equations determine the polynomials completely. In this paper, I give an explicit combinatorial formula for these polynomials, in terms of Schr\\"oder trees. I also show that, quite surprisingly, these polynomials can be interpreted as free cumulants of a family of commuting random variables.

研究动机与目标

• 为编码量子对称简单排斥过程（QSSEP）不变测度中涨落的环多项式 $ Q_{\tau} $ 提供显式的组合表达式。
• 通过Schröder树建立这些多项式与单纯形几何之间的联系。
• 证明环多项式对应于一族交换随机变量的自由矩，揭示量子统计力学与自由概率论之间新颖的联系。
• 通过提供构造性的组合解释，解决环多项式系数表征的开放问题。

提出的方法

• 基于循环置换和Schröder树，通过递归组合构造推导环多项式 $ Q_{\tau} $。
• 将多项式 $ R_{\tau} $ 定义为Schröder树的和，其中单项式项的权重为 $ x_i $ 和 $ (1 - 2x_j) $ 的乘积，反映树的结构。
• 证明 $ R_{\tau} $ 满足与 $ Q_{\tau} $ 相同的递推关系和交换关系，通过唯一性确立 $ Q_{\tau} = R_{\tau} $。
• 利用自由概率中的矩-累积量公式，将 $ Q_{\tau} $ 解释为自由矩 $ \kappa_n(\Pi_{x_{\sigma(k)}}, \dots, \Pi_{x_k}) $，其中 $ \Pi_x $ 是 $[0,1]$ 上的指示函数。
• 利用自由矩的循环不变性及非交叉划分的结构，验证自由矩表达式满足 $ Q_{\tau} $ 的定义性质。
• 建立Schröder树与单纯形面之间的双射，将组合结构嵌入一个著名的几何对象中。

实验结果

研究问题

• RQ1 QSSEP中环多项式 $ Q_{\sigma} $ 的系数背后显式的组合结构是什么？
• RQ2 环多项式如何与单纯形及其面格的几何结构相关联？
• RQ3 环多项式能否被解释为自由概率中一族交换随机变量的自由矩？
• RQ4 $ Q_{\sigma} $ 满足的递推与交换关系是否唯一地将其表征为Schröder树的构造？
• RQ5 非交叉划分的组合结构与环多项式结构之间的确切联系是什么？

主要发现

• 环多项式 $ Q_{\sigma} $ 可显式表示为Schröder树的和，每棵Schröder树贡献一个涉及 $ x_i $ 和 $ (1 - 2x_j) $ 乘积的单项式项。
• 环多项式的系数为整数，且对应于具有特定结构特性的Schröder树的数量，将其与单纯形的面格联系起来。
• 多项式 $ Q_{\sigma} $ 等于自由矩 $ \kappa_n(\Pi_{x_{\sigma(k)}}, \dots, \Pi_{x_k}) $，其中 $ \Pi_x $ 是 $[0,1]$ 上的指示函数，建立了与自由概率的深刻联系。
• 环多项式满足一组递推与交换关系，这些关系唯一地确定了它们，且已证明Schröder树构造满足这些关系。
• 该构造表明，相同的组合数据（Schröder树）同时编码了单纯形的几何结构与自由矩的概率结构。
• 将 $ Q_{\sigma} $ 解释为自由矩，为理解QSSEP中的涨落提供了新的概率框架，暗示其在量子统计力学与随机矩阵理论中的广泛影响。