Determinantal point process
Definition
Wir betrachten einen lokalkompakten , hausdorffschen Raum
V
{\displaystyle V}
und ein Radon-Maß
μ
{\displaystyle \mu }
darauf (invariante Radon-Maße existieren nur in hausdorffschen Räumen, welche auch lokalkompakt sind).
Weiter sei
K
(
x
,
y
)
{\displaystyle K(x,y)}
ein messbarer, positiver Integralkern eines lokalen Spurklasseoperators
K
:
L
2
(
V
,
μ
)
→
L
2
(
V
,
μ
)
{\displaystyle K\colon L^{2}(V,\mu )\to L^{2}(V,\mu )}
.
Ein simpler Punktprozess
ζ
{\displaystyle \zeta }
ist ein determinantal point process , falls für jedes
n
≥
1
{\displaystyle n\geq 1}
seine
n
{\displaystyle n}
-Punkt-Korrelationsfunktion
ρ
(
n
)
{\displaystyle \rho ^{(n)}}
existiert und gilt
ρ
(
n
)
(
d
x
1
,
…
,
d
x
n
)
=
det
[
K
(
x
i
,
x
j
)
]
1
≤
i
,
j
≤
n
∏
i
=
1
n
μ
(
d
x
i
)
{\displaystyle \rho ^{(n)}(\mathrm {d} x_{1},\dots ,\mathrm {d} x_{n})=\operatorname {det} [K(x_{i},x_{j})]_{1\leq i,j\leq n}\prod \limits _{i=1}^{n}\mu (\mathrm {d} x_{i})}
oder äquivalent
ρ
(
n
)
(
x
1
,
…
,
x
n
)
=
det
[
K
(
x
i
,
x
j
)
]
1
≤
i
,
j
≤
n
{\displaystyle \rho ^{(n)}(x_{1},\dots ,x_{n})=\operatorname {det} [K(x_{i},x_{j})]_{1\leq i,j\leq n}}
Erläuterungen
Da Korrelationsfunktionen positiv sind, muss zwingend auch
K
(
x
,
y
)
{\displaystyle K(x,y)}
positiv sein.
Seien
M
1
,
…
,
M
n
⊂
ζ
{\displaystyle M_{1},\dots ,M_{n}\subset \zeta }
disjunkt, dann gilt
E
[
ζ
(
M
1
)
⋯
ζ
(
M
n
)
]
=
∫
M
1
×
⋯
×
M
n
det
[
K
(
x
i
,
x
j
)
]
1
≤
i
,
j
≤
n
μ
(
d
x
1
)
⋯
μ
(
d
x
n
)
{\displaystyle \mathbb {E} [\zeta (M_{1})\cdots \zeta (M_{n})]=\int _{M_{1}\times \cdots \times M_{n}}\operatorname {det} [K(x_{i},x_{j})]_{1\leq i,j\leq n}\mu (\mathrm {d} x_{1})\cdots \mu (\mathrm {d} x_{n})}
.
Pfaffian point processes
Verallgemeinerungen der determinantal point processes sind pfaffian point processes , deren
n
{\displaystyle n}
-Punkt-Korrelationsfunktionen Pfaffsche Determinanten sind:
ρ
(
n
)
(
d
x
1
,
…
,
d
x
n
)
=
Pf
[
K
(
x
i
,
x
j
)
]
1
≤
i
,
j
≤
n
∏
i
=
1
n
μ
(
d
x
i
)
{\displaystyle \rho ^{(n)}(\mathrm {d} x_{1},\dots ,\mathrm {d} x_{n})=\operatorname {Pf} [K(x_{i},x_{j})]_{1\leq i,j\leq n}\prod \limits _{i=1}^{n}\mu (\mathrm {d} x_{i})}
,
wobei
K
(
x
,
y
)
{\displaystyle K(x,y)}
ein antisymmetrischer
2
×
2
{\displaystyle 2\times 2}
-Kern ist:
K
(
x
,
y
)
=
(
K
11
(
x
,
y
)
K
12
(
x
,
y
)
K
21
(
x
,
y
)
K
22
(
x
,
y
)
)
{\displaystyle K(x,y)={\begin{pmatrix}K_{11}(x,y)&K_{12}(x,y)\\K_{21}(x,y)&K_{22}(x,y)\end{pmatrix}}}
und
K
(
x
,
y
)
t
=
−
K
(
y
,
x
)
{\displaystyle K(x,y)^{\mathrm {t} }=-K(y,x)}
.
Beispiele
Beispiele aus der statistischen Mechanik
Der Fermion process und der Boson process .
Theorie der Zufallsmatrizen
Die empirischen Spektralmaße von einer großen Klasse von unitären Matrizen konvergieren (unter entsprechender Skalierung) zu determinantal point processes mit folgenden Kernen:
Sine2 -Prozess
K
S
i
n
e
(
x
,
y
)
:=
sin
(
π
(
x
−
y
)
)
π
(
x
−
y
)
{\displaystyle \operatorname {K_{Sine}} (x,y):={\frac {\sin(\pi (x-y))}{\pi (x-y)}}}
Airy2 -Prozess
K
A
i
r
y
(
x
,
y
)
:=
Ai
(
x
)
Ai
′
(
y
)
−
Ai
′
(
x
)
Ai
(
y
)
x
−
y
{\displaystyle \operatorname {K_{Airy}} (x,y):={\frac {\operatorname {Ai} (x)\operatorname {Ai} '(y)-\operatorname {Ai} '(x)\operatorname {Ai} (y)}{x-y}}}
,
wobei
Ai
{\displaystyle \operatorname {Ai} }
die Airy-Funktion bezeichnet.
Literatur
Greg W. Anderson, Alice Guionnet, Ofer Zeitouni : An Introduction to Random Matrices . Cambridge University Press, 2009.
Einzelnachweise
↑ Alex Kulesza, Ben Taskar : Determinantal Point Processes for Machine Learning . Now Publisher Inc, 2012, ISBN 978-1-60198-628-3 (englisch).