TheoremBase

The Wick Square with a Mode Cutoff and the Wick Domain

The Wick square at cutoff N subtracts the free-field variance from the square of each kept coordinate and sums; the Wick domain is the set of states at which these cutoff Wick squares converge, and the Wick square is their limit there.

Statement

In the setting of The Wick-Square Problem on the Torus: Standing Notation, sums over the cube ΓN\Gamma_{N} are sums over a finite index set.

Let ckc_{k} be the free-field variance of the mode kk.

1. (Cutoff Wick square) For x∈H−1x\in H^{-1} and N∈NN\in\mathbb{N}, the Wick square of xx at cutoff NN is

:x2:N=∑k∈ΓN(x(k)2−ck).{:}x^{2}{:}_{N}=\sum_{k\in\Gamma_{N}}\bigl(x(k)^{2}-c_{k}\bigr).

2. (Wick domain) The Wick domain W\mathcal{W} is the set of those x∈H−1x\in H^{-1} for which the sequence (:x2:N)N∈N({:}x^{2}{:}_{N})_{N\in\mathbb{N}} converges; for x∈Wx\in\mathcal{W} its limit, unique by claim 1 of Uniqueness of Limits and Boundedness of Convergent Real Sequences, is the Wick square :x2:{:}x^{2}{:} of xx.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…