[논문 리뷰] Spatial combinatorics

Dmitri Finkelshtein, Yuri Kondratiev외 2명|arXiv (Cornell University)|2020. 07. 01.

Mathematical Dynamics and Fractals인용 수 1

한 줄 요약

이 논문은 국소적으로 컴act한 폴란드 공간에서의 구성에 대해 고전적 스타링어 수를 일반화한 무한차원 조합론에서의 공간적 스타링어 수를 연산자로 도입한다. 라돈 측도와 연속 함수 사이의 쌍대성을 수립하고, 점 과정의 내림 계승 계승과 텐서 곱 사이의 관계를 정의하는 스타링어 연산자를 유도하며, 캐논리컬 교환 관계 하에서 포아송 과정과 위크 순서화와의 연결 고리를 밝힌다.

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.

연구 동기 및 목표

• 국소적으로 컴 pact한 폴란드 공간에서의 무한차원 공간적 구성에 고전적 스타링어 수를 일반화하는 것.
• 점의 구성에 기반한 순서화되고 서로 다른 구성으로부터 $X^n$ 상의 대칭 라돈 측도인 공간적 내림 계승 계승 $(\gamma)_n$을 정의하는 것.
• 연속 함수 공간의 컴act 지지 집합을 갖는 공간 사이의 선형 사상으로서 첫 번째 및 두 번째 종류의 스타링어 연산자 $\mathbf{s}(n,k)$와 $\mathbf{S}(n,k)$를 정의하는 것.
• 측도 공간과 함수 공간 사이의 쌍대성을 수립하여, 연산자 이론적 표현을 통한 조합 항등식의 수립을 가능하게 하는 것.
• 공간적 스타링어 연산자, 포아송 점 과정, 캐논리컬 교환 관계 하에서의 위크 순서화 간의 관계를 탐색하는 것.

제안 방법

• 국소적으로 컴 pact한 폴란드 공간 $X$ 내의 순서화되고 서로 다른 점의 구성에 대한 합으로서 공간적 내림 계승 $(\gamma)_n$을 정의하며, 이는 $M^{(n)}(X)$로 사상된다. 여기서 $M^{(n)}(X)$는 $X^n$ 상의 대칭적이고 $\mathbb{F}$-값을 갖는 라돈 측도의 공간이다.
• $M^{(n)}(X)$와 $X^n$ 상의 대칭적이고 연속적이며 컴 pact 지지 집합을 갖는 함수의 공간인 $\mathcal{CF}^{(n)}(X)$ 사이에 자연스러운 쌍대성을 수립한다.
• $\mathcal{CF}^{(n)}(X)$에서 $\mathcal{CF}^{(k)}(X)$로의 선형 사상으로서 첫 번째 및 두 번째 종류의 스타링어 연산자 $\mathbf{s}(n,k)$와 $\mathbf{S}(n,k)$를 정의하며, 이들의 쌍대는 $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 고전적 스타링어 수는 국소적으로 컴 pact한 폴란드 공간에서의 무한차원 공간적 구성으로 어떻게 일반화될 수 있는가?
• RQ2 라돈 측도와 연속 함수 사이의 쌍대성은 공간적 스타링어 연산자를 정의하는 데 어떤 역할을 하는가?
• RQ3 공간적 스타링어 연산자는 포아송 점 과정의 모멘트 구조와 어떻게 관련되어 있는가?
• RQ4 공간적 스타링어 연산자는 어떤 방식으로 대칭 측도가 정의된 곱 공간 상의 조합 항등식을 포함하는가?
• RQ5 공간적 스타링어 연산자는 캐논리컬 교환 관계의 프레임워크와 위크 순서화의 맥락에서 어떻게 유도되는가?

주요 결과

• 공간적 내림 계승 $(\gamma)_n$은 구성 $\gamma$ 내의 순서화되고 서로 다른 점의 구성으로부터 생성된 $X^n$ 상의 대칭 라돈 측도로 정의된다.
• 첫 번째 종류의 스타링어 연산자 쌍대는 $(\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)$ 사이의 쌍대성과 일관되며, 대칭 함수 및 측도 공간 상의 잘 정의된 선형 연산을 보장한다.