Q-Gaussian process

Last updated February 03, 2021

q-Gaussian processes are deformations of the usual Gaussian distribution. There are several different versions of this; here we treat a multivariate deformation, also addressed as q-Gaussian process, arising from free probability theory and corresponding to deformations of the canonical commutation relations. For other deformations of Gaussian distributions, see q-Gaussian distribution and Gaussian q-distribution.

History

The q-Gaussian process was formally introduced in a paper by Frisch and Bourret^[1] under the name of parastochastics, and also later by Greenberg^[2] as an example of infinite statistics. It was mathematically established and investigated in papers by Bozejko and Speicher^[3] and by Bozejko, Kümmerer, and Speicher^[4] in the context of non-commutative probability.

It is given as the distribution of sums of creation and annihilation operators in a q-deformed Fock space. The calculation of moments of those operators is given by a q-deformed version of a Wick formula or Isserlis formula. The specification of a special covariance in the underlying Hilbert space leads to the q-Brownian motion,^[4] a special non-commutative version of classical Brownian motion.

q-Fock space

In the following $q\in [-1,1]$ is fixed. Consider a Hilbert space ${\mathcal {H}}$ . On the algebraic full Fock space

{\mathcal {F}}_{\text{alg}}({\mathcal {H}})=\bigoplus _{n\geq 0}{\mathcal {H}}^{\otimes n},

where ${\mathcal {H}}^{0}=\mathbb {C} \Omega$ with a norm one vector $\Omega$ , called vacuum, we define a q-deformed inner product as follows:

\langle h_{1}\otimes \cdots \otimes h_{n},g_{1}\otimes \cdots \otimes g_{m}\rangle _{q}=\delta _{nm}\sum _{\sigma \in S_{n}}\prod _{r=1}^{n}\langle h_{r},g_{\sigma (r)}\rangle q^{i(\sigma )},

where $i(\sigma )=\#\{(k,\ell )\mid 1\leq k<\ell \leq n;\sigma (k)>\sigma (\ell )\}$ is the number of inversions of $\sigma \in S_{n}$ .

The q-Fock space^[5] is then defined as the completion of the algebraic full Fock space with respect to this inner product

{\mathcal {F}}_{q}({\mathcal {H}})={\overline {\bigoplus _{n\geq 0}{\mathcal {H}}^{\otimes n}}}^{\langle \cdot ,\cdot \rangle _{q}}.

For $-1<q<1$ the q-inner product is strictly positive.^[3]^[6] For $q=1$ and $q=-1$ it is positive, but has a kernel, which leads in these cases to the symmetric and anti-symmetric Fock spaces, respectively.

For $h\in {\mathcal {H}}$ we define the q-creation operator $a^{*}(h)$ , given by

a^{*}(h)\Omega =h,\qquad a^{*}(h)h_{1}\otimes \cdots \otimes h_{n}=h\otimes h_{1}\otimes \cdots \otimes h_{n}.

Its adjoint (with respect to the q-inner product), the q-annihilation operator $a(h)$ , is given by

a(h)\Omega =0,\qquad a(h)h_{1}\otimes \cdots \otimes h_{n}=\sum _{r=1}^{n}q^{r-1}\langle h,h_{r}\rangle h_{1}\otimes \cdots \otimes h_{r-1}\otimes h_{r+1}\otimes \cdots \otimes h_{n}.

q-commutation relations

Those operators satisfy the q-commutation relations^[7]

a(f)a^{*}(g)-qa^{*}(g)a(f)=\langle f,g\rangle \cdot 1\qquad (f,g\in {\mathcal {H}}).

For $q=1$ , $q=0$ , and $q=-1$ this reduces to the CCR-relations, the Cuntz relations, and the CAR-relations, respectively. With the exception of the case $q=1,$ the operators $a^{*}(f)$ are bounded.

q-Gaussian elements and definition of multivariate q-Gaussian distribution (q-Gaussian process)

Operators of the form $s_{q}(h)={a(h)+a^{*}(h)}$ for $h\in {\mathcal {H}}$ are called q-Gaussian^[5] (or q-semicircular^[8]) elements.

On ${\mathcal {F}}_{q}({\mathcal {H}})$ we consider the vacuum expectation state $\tau (T)=\langle \Omega ,T\Omega \rangle$ , for $T\in {\mathcal {B}}({\mathcal {F}}({\mathcal {H}}))$ .

The (multivariate) q-Gaussian distribution or q-Gaussian process^[4]^[9] is defined as the non commutative distribution of a collection of q-Gaussians with respect to the vacuum expectation state. For $h_{1},\dots ,h_{p}\in {\mathcal {H}}$ the joint distribution of $s_{q}(h_{1}),\dots ,s_{q}(h_{p})$ with respect to $\tau$ can be described in the following way,:^[1]^[3] for any $i\{1,\dots ,k\}\rightarrow \{1,\dots ,p\}$ we have

\tau \left(s_{q}(h_{i(1)})\cdots s_{q}(h_{i(k)})\right)=\sum _{\pi \in {\mathcal {P}}_{2}(k)}q^{cr(\pi )}\prod _{(r,s)\in \pi }\langle h_{i(r)},h_{i(s)}\rangle ,

where $cr(\pi )$ denotes the number of crossings of the pair-partition $\pi$ . This is a q-deformed version of the Wick/Isserlis formula.

q-Gaussian distribution in the one-dimensional case

For p = 1, the q-Gaussian distribution is a probability measure on the interval $[-2/{\sqrt {1-q}},2/{\sqrt {1-q}}]$ , with analytic formulas for its density.^[10] For the special cases $q=1$ , $q=0$ , and $q=-1$ , this reduces to the classical Gaussian distribution, the Wigner semicircle distribution, and the symmetric Bernoulli distribution on $\pm 1$ . The determination of the density follows from old results^[11] on corresponding orthogonal polynomials.

Operator algebraic questions

The von Neumann algebra generated by $s_{q}(h_{i})$ , for $h_{i}$ running through an orthonormal system $(h_{i})_{i\in I}$ of vectors in ${\mathcal {H}}$ , reduces for $q=0$ to the famous free group factors $L(F_{\vert I\vert })$ . Understanding the structure of those von Neumann algebras for general q has been a source of many investigations.^[12] It is now known, by work of Guionnet and Shlyakhtenko,^[13] that at least for finite I and for small values of q, the von Neumann algebra is isomorphic to the corresponding free group factor.

Related Research Articles

The geometric algebra (GA) of a vector space is an algebra over a field, noted for its multiplication operation called the geometric product on a space of elements called multivectors, which contains both the scalars $and the vector space . Mathematically, a geometric algebra may be defined as the Clifford algebra of a vector space with a quadratic form. Clifford's contribution was to define a new product, the geometric product, that united the Grassmann and Hamilton algebras into a single structure. Adding the dual of the Grassmann exterior product allows the use of the Grassmann-Cayley algebra, and a conformal version of the latter together with a conformal Clifford algebra yields a conformal geometric algebra (CGA) providing a framework for classical geometries. In practice, these and several derived operations allow a correspondence of elements, subspaces and operations of the algebra with geometric interpretations.$

In quantum mechanics, the uncertainty principle is any of a variety of mathematical inequalities asserting a fundamental limit to the accuracy with which the values for certain pairs of physical quantities of a particle, such as position, x, and momentum, p, can be predicted from initial conditions.

In mathematics, the exterior product or wedge product of vectors is an algebraic construction used in geometry to study areas, volumes, and their higher-dimensional analogues. The exterior product of two vectors $and, denoted by, is called a bivector and lives in a space called the exterior square, a vector space that is distinct from the original space of vectors. The magnitude of can be interpreted as the area of the parallelogram with sides and, which in three dimensions can also be computed using the cross product of the two vectors. More generally, all parallel plane surfaces with the same orientation and area have the same bivector as a measure of their oriented area. Like the cross product, the exterior product is anticommutative, meaning that for all vectors and, but, unlike the cross product, the exterior product is associative.$

The Fock space is an algebraic construction used in quantum mechanics to construct the quantum states space of a variable or unknown number of identical particles from a single particle Hilbert space $H$ . It is named after V. A. Fock who first introduced it in his 1932 paper "Konfigurationsraum und zweite Quantelung".

In mathematics, and especially differential geometry and gauge theory, a connection on a fiber bundle is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. The most common case is that of a linear connection on a vector bundle, for which the notion of parallel transport must be linear. A linear connection is equivalently specified by a covariant derivative, an operator that differentiates sections of the bundle along tangent directions in the base manifold, in such a way that parallel sections have derivative zero. Linear connections generalize, to arbitrary vector bundles, the Levi-Civita connection on the tangent bundle of a Riemannian manifold, which gives a standard way to differentiate vector fields. Nonlinear connections generalize this concept to bundles whose fibers are not necessarily linear.

In abstract algebra and multilinear algebra, a multilinear form on a vector space $over a field is a map$

In mathematics, the Fubini–Study metric is a Kähler metric on projective Hilbert space, that is, on a complex projective space CPⁿ endowed with a Hermitian form. This metric was originally described in 1904 and 1905 by Guido Fubini and Eduard Study.

In mathematics, a metric connection is a connection in a vector bundle E equipped with a bundle metric; that is, a metric for which the inner product of any two vectors will remain the same when those vectors are parallel transported along any curve. This is equivalent to:

In quantum mechanics, notably in quantum information theory, fidelity is a measure of the "closeness" of two quantum states. It expresses the probability that one state will pass a test to identify as the other. The fidelity is not a metric on the space of density matrices, but it can be used to define the Bures metric on this space.

In 3-dimensional topology, a part of the mathematical field of geometric topology, the Casson invariant is an integer-valued invariant of oriented integral homology 3-spheres, introduced by Andrew Casson.

In mathematics, Hochschild homology is a homology theory for associative algebras over rings. There is also a theory for Hochschild homology of certain functors. Hochschild cohomology was introduced by Gerhard Hochschild (1945) for algebras over a field, and extended to algebras over more general rings by Henri Cartan and Samuel Eilenberg (1956).

Within computational chemistry, the Slater–Condon rules express integrals of one- and two-body operators over wavefunctions constructed as Slater determinants of orthonormal orbitals in terms of the individual orbitals. In doing so, the original integrals involving N-electron wavefunctions are reduced to sums over integrals involving at most two molecular orbitals, or in other words, the original 3N dimensional integral is expressed in terms of many three- and six-dimensional integrals.

Coherent states have been introduced in a physical context, first as quasi-classical states in quantum mechanics, then as the backbone of quantum optics and they are described in that spirit in the article Coherent states. However, they have generated a huge variety of generalizations, which have led to a tremendous literature in mathematical physics. In this article, we sketch the main directions of research on this line. For further details, we refer to several existing surveys.

In machine learning, kernel methods arise from the assumption of an inner product space or similarity structure on inputs. For some such methods, such as support vector machines (SVMs), the original formulation and its regularization were not Bayesian in nature. It is helpful to understand them from a Bayesian perspective. Because the kernels are not necessarily positive semidefinite, the underlying structure may not be inner product spaces, but instead more general reproducing kernel Hilbert spaces. In Bayesian probability kernel methods are a key component of Gaussian processes, where the kernel function is known as the covariance function. Kernel methods have traditionally been used in supervised learning problems where the input space is usually a space of vectors while the output space is a space of scalars. More recently these methods have been extended to problems that deal with multiple outputs such as in multi-task learning.

Quantum refereed game in quantum information processing is a class of games in the general theory of quantum games. It is played between two players, Alice and Bob, and arbitrated by a referee. The referee outputs the pay-off for the players after interacting with them for a fixed number of rounds, while exchanging quantum information.

Generalized relative entropy is a measure of dissimilarity between two quantum states. It is a "one-shot" analogue of quantum relative entropy and shares many properties of the latter quantity.

In machine learning, the kernel embedding of distributions comprises a class of nonparametric methods in which a probability distribution is represented as an element of a reproducing kernel Hilbert space (RKHS). A generalization of the individual data-point feature mapping done in classical kernel methods, the embedding of distributions into infinite-dimensional feature spaces can preserve all of the statistical features of arbitrary distributions, while allowing one to compare and manipulate distributions using Hilbert space operations such as inner products, distances, projections, linear transformations, and spectral analysis. This learning framework is very general and can be applied to distributions over any space $on which a sensible kernel function may be defined. For example, various kernels have been proposed for learning from data which are: vectors in, discrete classes/categories, strings, graphs/networks, images, time series, manifolds, dynamical systems, and other structured objects. The theory behind kernel embeddings of distributions has been primarily developed by Alex Smola, Le Song, Arthur Gretton, and Bernhard Schölkopf. A review of recent works on kernel embedding of distributions can be found in.$

In quantum mechanics, weak measurements are a type of quantum measurement that results in an observer obtaining very little information about the system on average, but also disturbs the state very little. From Busch's theorem the system is necessarily disturbed by the measurement. In the literature weak measurements are also known as unsharp, fuzzy, dull, noisy, approximate, and gentle measurements. Additionally weak measurements are often confused with the distinct but related concept of the weak value.

This article summarizes several identities in exterior calculus.

In mathematics, the injective tensor product of two topological vector spaces (TVSs) was introduced by Alexander Grothendieck and was used by him to define nuclear spaces. An injective tensor product is in general not necessarily complete, so its completion is called the completed injective tensor products. Injective tensor products have applications outside of nuclear spaces. In particular, as described below, up to TVS-isomorphism, many TVSs that are defined for real or complex valued functions, for instance, the Schwartz space or the space of continuously differentiable functions, can be immediately extended to functions valued in a Hausdorff locally convex TVS $Y$ without any need to extend definitions from real/complex-valued functions to $Y$ -valued functions.

References

1 2 Frisch, U.; Bourret, R. (February 1970). "Parastochastics". Journal of Mathematical Physics. 11 (2): 364–390. Bibcode:1970JMP....11..364F. doi:10.1063/1.1665149.
↑ Greenberg, O. W. (12 February 1990). "Example of infinite statistics". Physical Review Letters. 64 (7): 705–708. Bibcode:1990PhRvL..64..705G. doi:10.1103/PhysRevLett.64.705. PMID 10042057.
1 2 3 Bożejko, Marek; Speicher, Roland (April 1991). "An example of a generalized Brownian motion". Communications in Mathematical Physics. 137 (3): 519–531. Bibcode:1991CMaPh.137..519B. doi:10.1007/BF02100275. S2CID 123190397.
1 2 3 Bożejko, M.; Kümmerer, B.; Speicher, R. (1 April 1997). "q-Gaussian Processes: Non-commutative and Classical Aspects". Communications in Mathematical Physics. 185 (1): 129–154. arXiv: funct-an/9604010 . Bibcode:1997CMaPh.185..129B. doi:10.1007/s002200050084. S2CID 2993071.
1 2 Effros, Edward G.; Popa, Mihai (22 July 2003). "Feynman diagrams and Wick products associated with q-Fock space". Proceedings of the National Academy of Sciences. 100 (15): 8629–8633. arXiv: math/0303045 . Bibcode:2003PNAS..100.8629E. doi: 10.1073/pnas.1531460100 . PMC 166362 . PMID 12857947.
↑ Zagier, Don (June 1992). "Realizability of a model in infinite statistics". Communications in Mathematical Physics. 147 (1): 199–210. Bibcode:1992CMaPh.147..199Z. CiteSeerX 10.1.1.468.966 . doi:10.1007/BF02099535. S2CID 53385666.
↑ Kennedy, Matthew; Nica, Alexandru (9 September 2011). "Exactness of the Fock Space Representation of the q-Commutation Relations". Communications in Mathematical Physics. 308 (1): 115–132. arXiv: 1009.0508 . Bibcode:2011CMaPh.308..115K. doi:10.1007/s00220-011-1323-9. S2CID 119124507.
↑ Vergès, Matthieu Josuat (20 November 2018). "Cumulants of the q-semicircular Law, Tutte Polynomials, and Heaps". Canadian Journal of Mathematics. 65 (4): 863–878. arXiv: 1203.3157 . doi:10.4153/CJM-2012-042-9. S2CID 2215028.
↑ Bryc, Włodzimierz; Wang, Yizao (24 February 2016). "The local structure of q-Gaussian processes". arXiv: 1511.06667 .Cite journal requires |journal= (help)
↑ Leeuwen, Hans van; Maassen, Hans (September 1995). "A q deformation of the Gauss distribution". Journal of Mathematical Physics. 36 (9): 4743–4756. Bibcode:1995JMP....36.4743V. doi:10.1063/1.530917. hdl: 2066/141604 .
↑ Szegö, G (1926). "Ein Beitrag zur Theorie der Thetafunktionen" [A contribution to the theory of theta functions]. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Phys.-Math. Klasse (in German): 242–252.
↑ Wasilewski, Mateusz (24 February 2020). "A simple proof of the complete metric approximation property for q-Gaussian algebras". arXiv: 1907.00730 .Cite journal requires |journal= (help)
↑ Guionnet, A.; Shlyakhtenko, D. (13 November 2013). "Free monotone transport". Inventiones Mathematicae. 197 (3): 613–661. arXiv: 1204.2182 . doi:10.1007/s00222-013-0493-9. S2CID 16882208.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[FB1970-1] 1 2 Frisch, U.; Bourret, R. (February 1970). "Parastochastics". Journal of Mathematical Physics. 11 (2): 364–390. Bibcode:1970JMP....11..364F. doi:10.1063/1.1665149.

[2] Greenberg, O. W. (12 February 1990). "Example of infinite statistics". Physical Review Letters. 64 (7): 705–708. Bibcode:1990PhRvL..64..705G. doi:10.1103/PhysRevLett.64.705. PMID 10042057.

[BS1991-3] 1 2 3 Bożejko, Marek; Speicher, Roland (April 1991). "An example of a generalized Brownian motion". Communications in Mathematical Physics. 137 (3): 519–531. Bibcode:1991CMaPh.137..519B. doi:10.1007/BF02100275. S2CID 123190397.

[BKS1997-4] 1 2 3 Bożejko, M.; Kümmerer, B.; Speicher, R. (1 April 1997). "q-Gaussian Processes: Non-commutative and Classical Aspects". Communications in Mathematical Physics. 185 (1): 129–154. arXiv: funct-an/9604010 . Bibcode:1997CMaPh.185..129B. doi:10.1007/s002200050084. S2CID 2993071.

[EP03-5] 1 2 Effros, Edward G.; Popa, Mihai (22 July 2003). "Feynman diagrams and Wick products associated with q-Fock space". Proceedings of the National Academy of Sciences. 100 (15): 8629–8633. arXiv: math/0303045 . Bibcode:2003PNAS..100.8629E. doi: 10.1073/pnas.1531460100 . PMC 166362 . PMID 12857947.

[Z1992-6] Zagier, Don (June 1992). "Realizability of a model in infinite statistics". Communications in Mathematical Physics. 147 (1): 199–210. Bibcode:1992CMaPh.147..199Z. CiteSeerX 10.1.1.468.966 . doi:10.1007/BF02099535. S2CID 53385666.

[7] Kennedy, Matthew; Nica, Alexandru (9 September 2011). "Exactness of the Fock Space Representation of the q-Commutation Relations". Communications in Mathematical Physics. 308 (1): 115–132. arXiv: 1009.0508 . Bibcode:2011CMaPh.308..115K. doi:10.1007/s00220-011-1323-9. S2CID 119124507.

[8] Vergès, Matthieu Josuat (20 November 2018). "Cumulants of the q-semicircular Law, Tutte Polynomials, and Heaps". Canadian Journal of Mathematics. 65 (4): 863–878. arXiv: 1203.3157 . doi:10.4153/CJM-2012-042-9. S2CID 2215028.

[9] Bryc, Włodzimierz; Wang, Yizao (24 February 2016). "The local structure of q-Gaussian processes". arXiv: 1511.06667 .Cite journal requires |journal= (help)

[10] Leeuwen, Hans van; Maassen, Hans (September 1995). "A q deformation of the Gauss distribution". Journal of Mathematical Physics. 36 (9): 4743–4756. Bibcode:1995JMP....36.4743V. doi:10.1063/1.530917. hdl: 2066/141604 .

[11] Szegö, G (1926). "Ein Beitrag zur Theorie der Thetafunktionen" [A contribution to the theory of theta functions]. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Phys.-Math. Klasse (in German): 242–252.

[12] Wasilewski, Mateusz (24 February 2020). "A simple proof of the complete metric approximation property for q-Gaussian algebras". arXiv: 1907.00730 .Cite journal requires |journal= (help)

[13] Guionnet, A.; Shlyakhtenko, D. (13 November 2013). "Free monotone transport". Inventiones Mathematicae. 197 (3): 613–661. arXiv: 1204.2182 . doi:10.1007/s00222-013-0493-9. S2CID 16882208.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]