Stirling operators in spatial combinatorics

DOI10.1016/J.JFA.2021.109285MaRDI QIDQ2056410zbMATH OpenOpenAlexFDO

Authors D. L. Finkelshtein, Yuri Kondratiev, Eugene Lytvynov, M. J. Oliveira

Publication date 2 December 2021

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2007.01175, http://hdl.handle.net/10400.2/11646

Poisson functional spatial falling factorials Stirling operators Wick ordering for canonical commutation relations

Factorials, binomial coefficients, combinatorial functions (05A10) Combinatorial identities, bijective combinatorics (05A19) Bell and Stirling numbers (11B73) Spaces of measures (46E27) Linear difference operators (47B39) Operators arising in mathematical physics (47B93) Point processes (e.g., Poisson, Cox, Hawkes processes) (60G55) Commutation relations and statistics as related to quantum mechanics (general) (81S05)

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 i n m a t h b b N

to the falling factorials

(z)_{n} = z (z - 1) d o t s m (z - n + 1)

of an argument

z

from

m a t h b b F = m a t h b b R e x t o r m a t h b b C

, and Stirling numbers of the first and second kinds are the coefficients of the expansions of

(z)_{n}

through

z^{k}

,

k l e q n

and vice versa. When taking into account spatial positions of elements in a locally compact Polish space

X

, we replace

m a t h b b N

by the space of configurations -- discrete Radon measures

g a m m a = s u m_{i} d e l t a_{x_{i}}

on

X

, where

d e l t a_{x_{i}}

is the Dirac measure with mass at

x_{i}

.The spatial falling factorials

(g a m m a)_{n} := s u m_{i_{1}} s u m_{i_{2} e i_{1}} d o t s m s u m_{i_{n} e i_{1}, d o t s, i_{n} e i_{n - 1}} d e l t a_{(x_{i_{1}}, x_{i_{2}}, d o t s, x_{i_{n}})}

can be naturally extended to mappings

M^{(1)} (X) i o m e g a m a p s t o (o m e g a)_{n} i n M^{(n)} (X)

, where

M^{(n)} (X)

denotes the space of

m a t h b b F

-valued, symmetric (for

n g e 2

) Radon measures on

X^{n}

. There is a natural duality between

M^{(n)} (X)

and the space

m a t h c a l {C F}^{(n)} (X)

of

m a t h b b F

-valued, symmetric continuous functions on

X^{n}

with compact support. The Stirling operators of the first and second kind,

m a t h b f s (n, k)

and

m a t h b f S (n, k)

, are linear operators, acting between spaces

m a t h c a l {C F}^{(n)} (X)

and

m a t h c a l {C F}^{(k)} (X)

such that their dual operators, acting from

M^{(k)} (X)

into

M^{(n)} (X)

, satisfy

(o m e g a)_{n} = s u m_{k = 1}^{n} m a t h b f s (n, k)^{*} o m e g a^{o t i m e s k}

and

o m e g a^{o t i m e s n} = s u m_{k = 1}^{n} m a t h b f S (n, k)^{*} (o m e g a)_{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.

Recommendations

Cites work

Cited in

(9)

Describes a project that uses

Uses Software

Stirling

This page was built for publication: Stirling operators in spatial combinatorics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2056410)