Symmetric Tensor Product (·)_s

Averaging over permutations to land in the symmetric subspace
Symmetric Tensor Product (·)_s

For x1,,xnHx_1,\dots,x_n\in H, the symmetric tensor

(x1xn)s=1n!πSnxπ(1)xπ(n). (x_1\otimes\cdots\otimes x_n)_s=\frac1{n!}\sum_{\pi\in S_n} x_{\pi(1)}\otimes\cdots\otimes x_{\pi(n)}.

Key property (paper use):

  • These generate the symmetric Fock space used for Fock–Cook quantization.

Example: For n=2n=2, (xy)s=12(xy+yx)(x\otimes y)_s=\tfrac12(x\otimes y+y\otimes x).