[论文解读] Spatial combinatorics

Dmitri Finkelshtein, Yuri Kondratiev+2 more|arXiv (Cornell University)|Jul 1, 2020

Mathematical Dynamics and Fractals被引用 1

一句话总结

本文引入了空间斯特林数作为无限维组合数学中的算子，将经典斯特林数推广至局部紧致波兰空间中的配置。建立了雷多尼测度与连续函数之间的对偶性，推导出将点过程的下降阶乘与张量幂关联的斯特林算子，并与泊松过程及典型对易关系下的维尔克排序相关联。

ABSTRACT

We define and study a spatial (infinite-dimensional) counterpart of Stirling numbers. In classical combinatorics, the Pochhammer symbol $(m)_n$ can be extended from a natural number $m\in\mathbb N$ to the falling factorials $(z)_n=z(z-1)\dotsm (z-n+1)$ of an argument $z$ from $\mathbb F=\mathbb R ext{ or }\mathbb C$, and Stirling numbers of the first and second kinds are the coefficients of the expansions of $(z)_n$ through $z^k$, $k\leq n$ and vice versa. When taking into account spatial positions of elements in a locally compact Polish space $X$, we replace $\mathbb N$ by the space of configurations---discrete Radon measures $\gamma=\sum_i\delta_{x_i}$ on $X$, where $\delta_{x_i}$ is the Dirac measure with mass at $x_i$.The spatial falling factorials $(\gamma)_n:=\sum_{i_1}\sum_{i_2 e i_1}\dotsm\sum_{i_n e i_1,\dots, i_n e i_{n-1}}\delta_{(x_{i_1},x_{i_2},\dots,x_{i_n})}$ can be naturally extended to mappings $M^{(1)}(X) i\omega\mapsto (\omega)_n\in M^{(n)}(X)$, where $M^{(n)}(X)$ denotes the space of $\mathbb F$-valued, symmetric (for $n\ge2$) Radon measures on $X^n$. There is a natural duality between $M^{(n)}(X)$ and the space $\mathcal {CF}^{(n)}(X)$ of $\mathbb F$-valued, symmetric continuous functions on $X^n$ with compact support. The Stirling operators of the first and second kind, $\mathbf{s}(n,k)$ and $\mathbf{S}(n,k)$, are linear operators, acting between spaces $\mathcal {CF}^{(n)}(X)$ and $\mathcal {CF}^{(k)}(X)$ such that their dual operators, acting from $M^{(k)}(X)$ into $M^{(n)}(X)$, satisfy $(\omega)_n=\sum_{k=1}^n\mathbf{s}(n,k)^*\omega^{\otimes k}$ and $\omega^{\otimes n}=\sum_{k=1}^n\mathbf{S}(n,k)^*(\omega)_k$, respectively. We derive combinatorial properties of the Stirling operators, present their connections with a generalization of the Poisson point process and with the Wick ordering under the canonical commutation relations.

研究动机与目标

• 将经典斯特林数推广至局部紧致波兰空间中的无限维空间配置。
• 通过点的配置，将空间下降阶乘定义为乘积空间上的对称雷多尼测度。
• 将第一类与第二类斯特林算子定义为紧支连续函数空间之间的线性映射。
• 建立测度空间与函数空间之间的对偶性，从而实现组合恒等式的算子理论表述。
• 探讨空间斯特林算子、泊松点过程以及典型对易关系下维尔克排序之间的联系。

提出的方法

• 将空间下降阶乘 $(\gamma)_n$ 定义为在局部紧致波兰空间 $X$ 中有序且互异的点配置的和，映射至 $M^{(n)}(X)$，即 $X^n$ 上的对称、$\mathbb{F}$-值雷多尼测度空间。
• 在 $M^{(n)}(X)$ 与 $\mathcal{CF}^{(n)}(X)$（即 $X^n$ 上的对称、连续、紧支函数空间）之间建立自然对偶性。
• 将斯特林算子 $\mathbf{s}(n,k)$ 与 $\mathbf{S}(n,k)$ 定义为从 $\mathcal{CF}^{(n)}(X)$ 到 $\mathcal{CF}^{(k)}(X)$ 的线性映射，其对偶算子作用于从 $M^{(k)}(X)$ 到 $M^{(n)}(X)$。
• 推导关键恒等式：$(\omega)_n = \sum_{k=1}^n \mathbf{s}(n,k)^* \omega^{\otimes k}$ 与 $\omega^{\otimes n} = \sum_{k=1}^n \mathbf{S}(n,k)^* (\omega)_k$，将下降阶乘与张量幂联系起来。
• 利用对偶性推导斯特林算子的组合性质，并将其与泊松点过程的矩生成结构相联系。
• 通过配置空间上对称泛函的结构，将算子与典型对易关系下的维尔克排序相联系。

实验结果

研究问题

• RQ1 经典斯特林数如何推广至局部紧致波兰空间中的无限维空间配置？
• RQ2 雷多尼测度与连续函数之间的对偶性在定义空间斯特林算子中起什么作用？
• RQ3 空间斯特林算子如何与泊松点过程的矩结构相关联？
• RQ4 斯特林算子在乘积空间上的对称测度背景下，如何编码组合恒等式？
• RQ5 空间斯特林算子在典型对易关系与维尔克排序的框架下如何出现？

主要发现

• 空间下降阶乘 $(\gamma)_n$ 被定义为 $X^n$ 上的对称雷多尼测度，其由配置 $\gamma$ 中有序且互异的点配置构造而成。
• 第一类斯特林算子的对偶满足 $(\omega)_n = \sum_{k=1}^n \mathbf{s}(n,k)^* \omega^{\otimes k}$，推广了经典下降阶乘的展开式。
• 第二类斯特林算子的对偶满足 $\omega^{\otimes n} = \sum_{k=1}^n \mathbf{S}(n,k)^* (\omega)_k$，反转了经典关系。
• 证明斯特林算子与泊松点过程的矩生成函数之间存在紧密联系，其作用于对称测度时体现此关系。
• 这些算子为典型对易关系的福克空间表示中的维尔克排序提供了组合框架。
• 整个构造与 $M^{(n)}(X)$ 和 $\mathcal{CF}^{(n)}(X)$ 之间的对偶性一致，确保了在对称函数与测度空间上定义良好的线性运算。