Toeplitz Quantization of a Free $ * $-Algebra

TL;DR

This paper introduces a novel Toeplitz quantization method for free *-algebras, defining operators with non-commutative symbols and exploring creation and annihilation operators within this framework.

Contribution

It presents the first application of Toeplitz quantization to free *-algebras, expanding the theory to non-commutative algebraic structures.

Findings

Defined Toeplitz operators with non-commutative symbols.

Established properties of creation and annihilation operators.

Provided a new example of Toeplitz quantization in non-commutative setting.

Abstract

In this note we quantize the free $ * $-algebra generated by finitely many variables, which is a new example of the theory of Toeplitz quantization of $ * $-algebras as developed previously by the author. This is achieved by defining Toeplitz operators with symbols in that non-commutative free $ * $-algebra. These are densely defined operators acting in a Hilbert space. Then creation and annihilation operators are introduced as special cases of Toeplitz operators, and their properties are studied.

Equations

$${\theta }_j^{\ast }:={\overline{\theta }}_j\mathrm{and}{\overline{\theta }}_j{}^{\ast }:={\theta }_j,$$

$$f={\theta }_{i_1}\cdots {\theta }_{i_r}{\overline{\theta }}_{j_1}\cdots {\overline{\theta }}_{j_s}{f}^{\prime },$$

$$⟨f,g⟩=⟨1,1⟩:=1.$$

$$⟨f,1⟩$$

$$:=w(i_1,\dots ,i_r){\delta }_{r,s}{\delta }_{i_1,j_r}\cdots {\delta }_{i_r,j_1}⟨f^{\prime },1⟩$$

$$=w(i){\delta }_{r,s}{\delta }_{i,j^T}⟨f^{\prime },1⟩$$

$$f={\theta }_{i_1}\cdots {\theta }_{i_r}{\overline{\theta }}_{i_r}\cdots {\overline{\theta }}_{i_1}{f}^{\prime }.$$

$$f={\theta }_i{\overline{\theta }}_{i^T}{f}^{\prime }.$$

$$⟨1,g⟩$$

$$:=w(k_1,\dots ,k_t){\delta }_{t,u}{\delta }_{k_1,l_u}\cdots {\delta }_{k_t,l_1}⟨1,g^{\prime }⟩$$

$$=w(k){\delta }_{t,u}{\delta }_{k,l^T}⟨1,g^{\prime }⟩.$$

$$⟨f,g⟩$$

$$:=w(i,l^T){\delta }_{r+u,s+t}{\delta }_{(i,l^T),(k,j^T)}⟨f^{\prime },g^{\prime }⟩,$$

$$⟨f,g{⟩}^{\ast }=⟨g,f⟩forallf,g\in \mathcal{A}.$$

$$⟨1,1{⟩}^{\ast }=1^{\ast }=1=⟨1,1⟩.$$

$$\langle f,1\rangle^{*}=\big{(}w(i)\delta_{r,s}\delta_{i,j^{T}}\langle f^{\prime},1\rangle\big{)}^{*}=w(i)\delta_{r,s}\delta_{i,j^{T}}\langle 1,f^{\prime}\rangle,$$

$$⟨1,f⟩=⟨1,{\theta }_i{\overline{\theta }}_j{f}^{\prime }⟩=w(i){\delta }_{r,s}{\delta }_{i,j^T}⟨1,f^{\prime }⟩.$$

$$⟨g,f{⟩}^{\ast }$$

$$=w(i,l^T){\delta }_{r+u,s+t}{\delta }_{(i,l^T),(k,j^T)}⟨f^{\prime },g^{\prime }⟩=⟨f,g⟩.$$

$$⟨f_1,f_{2}g⟩$$

$$⟨f_1,f_{2}g⟩=⟨{\theta }_1,{\theta }_1{\theta }_2{\overline{\theta }}_2{\theta }_1{\overline{\theta }}_1⟩=w(1,2){\delta }_{(1,2)(1,2)}⟨1,{\theta }_1{\overline{\theta }}_1⟩=w(1,2)w(1)\ne 0.$$

$$⟨f_1{g}^{\ast },f_2⟩=⟨{\theta }_1{\theta }_1{\overline{\theta }}_1{\theta }_2,{\theta }_1{\theta }_2⟩=0.$$

$$⟨f_1,f_{2}g⟩=⟨{\theta }_1,{\theta }_1{\theta }_2{\overline{\theta }}_2⟩=w(1,2){\delta }_{(1,2),(1,2)}⟨1,1⟩=w(1,2)\ne 0.$$

$$⟨f_1{f}_2^{\ast },g⟩=⟨{\theta }_1{\overline{\theta }}_1,{\theta }_2{\overline{\theta }}_2⟩=w(1,2){\delta }_{(1,2),(2,1)}⟨1,1⟩=0.$$

$$⟨f_1,f_{2}g⟩=⟨f_1{g}^{\ast },f_2⟩$$

$$⟨f_1,f_{2}g⟩=⟨{\theta }_i,{\theta }_j{\theta }_k⟩=⟨{\theta }_i,{\theta }_{(j,k)}⟩=w(i){\delta }_{i,(j,k)}.$$

$$⟨f_1{g}^{\ast },f_2⟩=⟨{\theta }_i({\theta }_k{)}^{\ast },{\theta }_j⟩=⟨{\theta }_i{\overline{\theta }}_{k^T},{\theta }_j⟩=w(i){\delta }_{i,(j,k)},$$

$$\{{\theta }_{i_1}\cdots {\theta }_{i_r}|1\le i_i\le n,\dots ,1\le i_r\le n\},$$

$$⟨f,g⟩=w(i){\delta }_{r,t}{\delta }_{i,k},$$

$$\Phi :=\{{\phi }_i|i=(i_1,\dots ,i_r)\mathrm{with}r\ge 0,1\le i_i\le n,\dots ,1\le i_r\le n\}.$$

$$Pg:=\sum _{{\phi }_i\in \Phi }⟨{\phi }_i,g⟩{\phi }_i.$$

$$⟨{\theta }_i,g⟩$$

$$=w(i,l^T){\delta }_{r+u,t}\delta ((i,l^T),k)⟨1,g^{\prime }⟩$$

Full text

Dedication:

To Nikolai Vasilevski in celebration of his 70th birthday.

Keywords: Toeplitz operators, creation and annihilation operators

1. Introduction

The basic reference for this paper is [3] where a general theory of Toeplitz quantization of $*$-algebras is defined and studied. More details including motivation and references can be found in [3].

2. The Free $*$-algebra

The example in this paper is the free algebra on $2n$ non-commuting variables $\mathcal{A}=\mathbb{C}\{\theta_{1},\overline{\theta}_{1},\dots,\theta_{n},\overline{\theta}_{n}\}$. In particular, the variables $\theta_{j},\overline{\theta}_{j}$ do not commute for $1\leq j\leq n$. The holomorphic sub-algebra is defined by $\mathcal{P}:=\mathbb{C}\{\theta_{1},\dots,\theta_{n}\}$, the free algebra on $n$ variables. The $*$-operation (or conjugation) on $\mathcal{A}$ is defined on the generators by

[TABLE]

where $j=1,\dots,n$. This is then extended to finite products of these $2n$ elements in the unique way that will make $\mathcal{A}$ into a $*$-algebra with $1^{*}=1$. As explained in more detail in a moment these products form a vector space basis of $\mathcal{A}$, and so we extend the $*$-operation to finite linear combinations of them to make it an anti-linear map over the field $\mathbb{C}$ of complex numbers. Therefore, $\mathcal{P}$ is not a sub-$*$-algebra. Rather, we have $\mathcal{P}\cap\mathcal{P}^{*}=\mathbb{C}1$. Moreover, $\mathcal{P}$ is a non-commutative sub-algebra of $\mathcal{A}$ if $n\geq 2$. This set-up easily generalizes to infinitely many pairs of non-commuting variables $\theta_{j},\overline{\theta}_{j}$.

The definition of $\mathcal{P}$ is motivated as a non-commutative analogy to the commutative algebra of holomorphic polynomials in the Segal-Bargmann space $L^{2}(\mathbb{C}^{n},e^{-|z|^{2}}\mu_{Leb})$, where $\mu_{Leb}$ is Lebesgue measure on the Euclidean space $\mathbb{C}^{n}$. (See [1] and [2].) This is one motivation behind using the notation $\mathcal{P}$ for this sub-algebra.

We will later introduce a projection operator $P:\mathcal{A}\to\mathcal{P}$ using a sesqui-linear form defined on $\mathcal{A}$. This is an essential ingredient in the following definition.

Definition 2.1**.**

Let $g\in\mathcal{A}$ be given. Then we define the Toeplitz operator $T_{g}$ with symbol $g$ as $T_{g}\,\phi:=P(\phi g)$ for all $\phi\in\mathcal{P}$. It follows that $T_{g}:\mathcal{P}\to\mathcal{P}$ is linear. We let $\mathcal{L}(\mathcal{P}):=\{T:\mathcal{P}\to\mathcal{P}\,|\,T\mathrm{~{}is~{}linear}\}$. Then the linear map $\mathcal{A}\ni g\mapsto T_{g}\in\mathcal{L}(\mathcal{P})$ is called the Toeplitz quantization.

Multiplying the symbol $g$ on the left of $\phi$ gives a similar theory, which we will not expound on in further detail.

The sesqui-linear form on $\mathcal{A}$ when restricted to $\mathcal{P}$ will turn out to be an inner product. So $\mathcal{P}$ will be a pre-Hilbert space that is dense in its completion, denoted as $\mathcal{H}$. This is another motivation for using the notation $\mathcal{P}$ for this sub-algebra. So every Toeplitz operator $T_{g}$ will be a densely defined linear operator acting in the Hilbert space $\mathcal{H}$.

The definition of the sesqui-linear form on $\mathcal{A}$ is a more involved story. To start it we let $\mathcal{B}$ be the standard basis of $\mathcal{A}$ consisting of all finite words (or monomials) in the finite alphabet $\{\theta_{1},\overline{\theta}_{1},\dots,\theta_{n},\overline{\theta}_{n}\}$, which has $2n$ letters. The empty word (with zero letters) is the identity element $1\in\mathcal{A}$. Let $f\in\mathcal{B}$ be a word in our alphabet. We let $l(f)$ denote the length of $f$, that is, the number of letters in $f$. Therefore $l(f)=0$ if and only if $f=1$.

Definition 2.2**.**

Let $f\in\mathcal{B}$ with $l(f)>0$. Then we say that $f$ begins with a $\theta$ if the first letter of $f$ (as read from the left) is an element of $\{\theta_{1},\dots,\theta_{n}\}$; otherwise, we say that $f$ begins with a $\overline{\theta}$.

If $f=1$, then we say that $f$ begins with a $\theta$ and $f$ begins with a $\overline{\theta}$.

Remark: Suppose $l(f)>0$ and that $f$ begins with a $\theta$. Then $f$ has a unique representation as

[TABLE]

where $r\geq 1$, $s\geq 0$ and $f^{\prime}$ begins with a $\theta$. That is to say, the word $f$ begins with $r\geq 1$ occurrences of $\theta$’s followed by $s\geq 0$ occurrences of $\overline{\theta}$’s and finally another word $f^{\prime}$ that begins with a $\theta$. Note that if $s=0$, then $f^{\prime}=1$. We also have that $l(f^{\prime})<l(f)$. As a simple example of this representation, note that each basis element $f=\theta_{i_{1}}\cdots\theta_{i_{r}}$ in $\mathcal{P}$ with $r\geq 1$ has this representation with $s=0$ and $f^{\prime}=1$.

Dually, suppose that $l(f)>0$ and that $f$ begins with a $\overline{\theta}$. Then $f$ has the obvious dual representation.

Now we are going to define a sesqui-linear form $\langle f,g\rangle$ for $f,g\in\mathcal{A}$ by first defining it on pairs of elements of the basis $\mathcal{B}$ and extending sesqui-linearly, which for us means anti-linear in the first entry and linear in the second. The definition on pairs will be by recursion on the length of the words. To start off the recursion for $l(f)=l(g)=0$ (that is, $f=g=1$) we define

[TABLE]

This choice is a convenient normalization convention.

The next case we consider is $l(f)>0$, $f$ begins with a $\theta$ and $g=1$. In that case using (2.1) we define recursively

[TABLE]

where $r\geq 1$ and $w(i)\equiv w(i_{1},\dots,i_{r})>0$ is a positive weight. Here we also define the (variable length) multi-index $i=(i_{1},\dots,i_{r})$ and $j^{T}:=(j_{s},\dots,j_{1})$ to be the reversed multi-index of the multi-index $j=(j_{1},\dots,j_{s})$. It follows that $\langle f,1\rangle\neq 0$ in this case implies that we necessarily have $\langle f^{\prime},1\rangle\neq 0$ and

[TABLE]

Moreover, by recursion $f^{\prime}$ must also has this same form as $f$. Since the lengths are strictly decreasing ($l(f)>l(f^{\prime})>\cdots$), this recursion terminates in a finite number of steps. Thus the previous equation can then be written using the obvious notations $\theta_{i}:=\theta_{i_{1}}\cdots\theta_{i_{r}}$ and $\overline{\theta}_{i^{T}}:=\overline{\theta}_{i_{r}}\cdots\overline{\theta}_{i_{1}}$ as

[TABLE]

Symmetrically, for $f=1$, $l(g)>0$ and $g$ begins with a $\theta$ we write $g=\theta_{k_{1}}\cdots\theta_{k_{t}}\overline{\theta}_{l_{1}}\cdots\overline{\theta}_{l_{u}}g^{\prime}$ uniquely so that $t\geq 1$ and $g^{\prime}$ begins with a $\theta$ and define recursively

[TABLE]

Next suppose that $l(f)>0$ and $l(g)>0$ and that both $f$ and $g$ begin with a $\theta$ and are written as above. In that case, we define

[TABLE]

where $(i,l^{T}):=(i_{1},\dots,i_{r},l_{u},\dots,l_{1})$ is the concatenation of the two multi-indices $i$ and $l^{T}=(l_{u},\dots,l_{1})$. (Similarly for the notation $(k,j^{T})$.)

The definitions for two words that begin with a $\overline{\theta}$ are dual to these definitions. We use the same weight factors for this dual part, though new real weight factors could have been used.

There is still one remaining case for which we have yet to define the sesqui-linear form. That case is when $f$ begins with a $\theta$, $g$ begins with a $\overline{\theta}$, (or vice versa), $l(f)>0$ and $l(g)>0$. In that case we define $\langle f,g\rangle:=0$.

Theorem 2.1**.**

The sesqui-linear form on $\mathcal{A}$ is complex symmetric, that is,

[TABLE]

Proof: The proof is by induction following the various cases of the recursive definition of the sesqui-linear form. First, for $l(f)=l(g)=0$ we have $f=g=1$ in which case

[TABLE]

Next we take the case $l(f)>0$, $f$ begins with a $\theta$ and $l(g)=0$. Then we write $f=\theta_{i}\overline{\theta}_{j}f^{\prime}$ for multi-indices $i,j$ of lengths $r,s$ respectively and $f^{\prime}$ begins with a $\theta$. So we calculate

[TABLE]

where we used the induction hypothesis and the reality of the weight $w(i)$ for the last step. On the other hand, we have by definition that

[TABLE]

This proves that $\langle f,1\rangle^{*}=\langle 1,f\rangle$. Similarly, one shows $\langle 1,g\rangle^{*}=\langle g,1\rangle$, where $l(g)>0$ and $g$ begins with a $\theta$.

For the case where $l(f)>0$ and $l(g)>0$ and both $f$ and $g$ begin with a $\theta$, we write $f=\theta_{i}\overline{\theta}_{j}f^{\prime}$ and $g=\theta_{k}\overline{\theta}_{l}g^{\prime}$, where $i,j,k,l$ are multi-indices of lengths $r,s,t,u$ respectively and $f^{\prime},g^{\prime}$ begin with a $\theta$. Then we see by induction that

[TABLE]

The proofs for words that begin with $\overline{\theta}$ are similar. The final case is if one of the pair $f,g$ begins with a $\theta$ and the other begins with a $\overline{\theta}$. But then $\langle f,g\rangle=0$ as well as $\langle g,f\rangle=0$. So in this final case the identity is trivially true. $\quad\blacksquare$

While the sesqui-linear form is complex symmetric according to this proposition, when $n\geq 2$ it does not satisfy the nice properties with respect to the $*$-operation as were given in [3]. We recall that those properties are

[TABLE]

where $f_{1},f_{2}\in\mathcal{P}$ and $g\in\mathcal{A}$. It seems reasonable to conjecture that these identities do hold for $n=1$. This detail is left to the reader’s further consideration.

For the first property (2.3) the counterexample is provided by taking $f_{1}=\theta_{1}$, $f_{2}=\theta_{1}\theta_{2}$ and $g=\overline{\theta}_{2}\theta_{1}\overline{\theta}_{1}$. Then we have on the one hand that

[TABLE]

On the other hand

[TABLE]

For the second property (2.4), we take $f_{1}=f_{2}=\theta_{1}$ and $g=\theta_{2}\overline{\theta}_{2}$. Then we have for the left side that

[TABLE]

But for the right side we get

[TABLE]

Thus this example is not compatible with all of the general theory presented in [3] when $n\geq 2$. But it still is an illuminating example as we shall discuss in more detail a bit later on. However, we do have a particular case of (2.3) in this example. The only change from (2.3) in the following is that now $g\in\mathcal{P}\cup\mathcal{P}^{*}$ is required instead of $g\in\mathcal{A}$.

Theorem 2.2**.**

Suppose that $f_{1},f_{2},\in\mathcal{P}$ and $g\in\mathcal{P}\cup\mathcal{P}^{*}$. Then

[TABLE]

Proof: We first prove the result for $g\in\mathcal{P}$. It suffices to consider $f_{1}=\theta_{i}$, $f_{2}=\theta_{j}$ and $g=\theta_{k}$ for multi-indices $i,j,k$. Then we get

[TABLE]

Next the other side evaluates to

[TABLE]

using $(k^{T})^{T}=k$. And so the identity holds in this case.

Next suppose that $g\in\mathcal{P}^{*}$. Then we apply the result of the first case to the element $g^{*}\in\mathcal{P}$. And that will prove this second case as the reader can check by using Theorem 2.1. $\quad\blacksquare$

Continuing our comments about why this is an illuminating example, let us note that it satisfies the first seven of the eight properties used for the more general theory presented in [3]. While it does not satisfy in general the eighth property (that $T_{g}$ and $T_{g^{*}}$ are adjoints on the domain $\mathcal{P}$ for all $g\in\mathcal{A}$), it satisfies the weaker version of this property given in Theorem 2.5 below.

According to the general theory we have to find a set $\Phi$ which must be a Hamel basis of $\mathcal{P}$ as well as being an orthonormal set. Clearly, the candidate is

[TABLE]

the words in the sub-alphabet $\{\theta_{1},\dots,\theta_{n}\}$. And this almost works. We need only to normalize these words. Taking $f=\theta_{i_{1}}\cdots\theta_{i_{r}}$ and $g=\theta_{k_{1}}\cdots\theta_{k_{t}}$ in (2.2) (so we have $s=u=0$, $f^{\prime}=1$ and $g^{\prime}=1$) we get

[TABLE]

where $i=(i_{1},\dots,i_{r})$ and $k=(k_{1},\dots,k_{t})$ are multi-indices of lengths $r,t$ respectively. In particular, $\langle f,g\rangle=0$ if $f\neq g$. On the other hand, $\langle f,f\rangle=w(i)>0$. So we define $\varphi_{i}:=w(i)^{-1/2}\,\theta_{i_{1}}\cdots\theta_{i_{r}}=w(i)^{-1/2}\,\theta_{i}$, and the orthonormal Hamel basis is defined by

[TABLE]

This argument shows that the complex symmetric sesqui-linear form restricted to $\mathcal{P}$ is positive definite, that is, it is an inner product. We let $\mathcal{H}$ denote the completion of $\mathcal{P}$ with respect to this inner product. Then $\Phi$ is an orthonormal basis of $\mathcal{H}$. However, it is sometimes more convenient to work with the orthogonal (but perhaps not orthonormal) set $\{\theta_{i}=\theta_{i_{1}}\cdots\theta_{i_{r}}\}$ of $\mathcal{H}$.

We now have enough information about the sesqui-linear form in order to define the projection $P:\mathcal{A}\to\mathcal{P}$.

Definition 2.3**.**

Let $g\in\mathcal{A}$ be given. Then define

[TABLE]

This will be well defined when we show in a moment that the sum on the right side of (2.5) is finite. If this were a Hilbert space setting, we could write $P=\sum_{i}|\varphi_{i}\rangle\langle\varphi_{i}|$ in Dirac notation, and $P$ would be the orthogonal projection onto the closed subspace $\mathcal{P}$. Anyway, this abuse of notation motivates the definition of $P$. Given that $P$ is well-defined, it is clear that $P$ is linear, that it acts as the identity on $\mathcal{P}$ (since $\Phi$ is an orthonormal basis of $\mathcal{P}$) and that its range is $\mathcal{P}$.

Theorem 2.3**.**

The sum on the right side of (2.5) has only finitely many non-zero terms. Consequently, $P$ is well-defined.

Proof: Take $g\in\mathcal{A}$. It suffices to show that $\langle\theta_{i},g\rangle=0$ except for finitely many multi-indices $i$, since $\varphi_{i}$ is proportional to $\theta_{i}$. So it suffices to calculate $\langle\theta_{i},g\rangle$ for all possible multi-indices $i$. We do this by cases.

If $g$ begins with a $\overline{\theta}$, then $\langle\theta_{i},g\rangle=0$ for all multi-indices $i\neq\emptyset$, the empty multi-index. (Note that $\theta_{\emptyset}=1$.) It follows that all of the terms, except possibly one term, on the right side of (2.5) are [math] and so $P(g)=\langle 1,g\rangle\,1$ in this case. For the particular case $g=1$ (i.e., $l(g)=0$) we have that $P(1)=1$, using $\langle 1,1\rangle=1$.

So the only remaining the case is when $g$ begins with a $\theta$ and $l(g)>0$. Then, using $g=\theta_{k}\overline{\theta}_{l}g^{\prime}$ for multi-indices $k,l$ of lengths $t\geq 1$ and $u\geq 0$ respectively and $g^{\prime}$ begins with a $\theta$, we have

[TABLE]

Whether this is non-zero now is the question. More explicitly, for a given $g$ of this form how many $\theta_{i}$’s are there such that this expression could be non-zero? However, if the factor $\delta((i,l^{T}),k)$ is non-zero, then we have necessarily that the multi-index $i=(i_{1},\dots,i_{r})$ of variable length $r\geq 0$ forms the initial $r$ entries in the given multi-index $k$ of length $t\geq 1$. Thus for a given $g$ there are at most finitely many $\theta_{i}$ for which (2.6) could be non-zero. So the sum on the right side of (2.5) has only finitely many non-zero terms, and $P$ is well-defined. $\quad\blacksquare$

Theorem 2.4**.**

$P$* is symmetric with respect to the sesqui-linear form, that is, $\langle Pf,g\rangle=\langle f,Pg\rangle$ for all $f,g\in\mathcal{A}$.*

Proof: Using Theorem 2.1 to justify the third equality, we calculate

[TABLE]

We also used the finite additivity of the sesqui-linear form in each entry, since the sums have only finitely many non-zero terms. $\quad\blacksquare$

This result says that $P$ has an adjoint on $\mathcal{A}$, namely $P$ itself. Since the sesqui-linear form may be degenerate, adjoints need not be unique.

Theorem 2.5**.**

Suppose that $g\in\mathcal{P}\cup\mathcal{P}^{*}$. Then for all $f_{1},f_{2}\in\mathcal{P}$ we have $\langle f_{1},T_{g}f_{2}\rangle=\langle T_{g^{*}}f_{1},f_{2}\rangle.$

Proof: Using the previous result and Theorem 2.2 we calculate

[TABLE]

Since the sesqui-linear form is an inner product when restricted to $\mathcal{P}$, $T_{g^{*}}$ is the unique adjoint of $T_{g}$ on $\mathcal{P}$. Symmetrically, $T_{g}$ is the unique adjoint of $T_{g^{*}}$ on $\mathcal{P}$.

Next, for all $\phi\in\mathcal{P}$ we define the creation and annihilation operators associated to the variables $\theta_{j}$, $\overline{\theta}_{j}$ for $1\leq j\leq n$ by

[TABLE]

respectively. These are operators densely defined in $\mathcal{H}$ sending $\mathcal{P}$ to itself. By Theorem 2.5 the operators $A_{j}^{\dagger}$ and $A_{j}$ are adjoints of each other on the domain $\mathcal{P}$.

We now evaluate these operators on the basis elements $\varphi_{i}$ of $\mathcal{P}$, where $i$ is a multi-index. First, for the creation operator we have

[TABLE]

Here $j=1,\dots,n$ and also $j$ denotes the multi-index with exactly one entry, namely the integer $j$. Also we are using the notation $(i,j)$ for the multi-index with the integer $j$ concatenated to the right of the multi-index $i$. It follows that the kernel of $A_{j}^{\dagger}$ is zero as the reader can check. Also, the weight of the ‘higher’ state $\varphi_{(i,j)}$ appears in the numerator while the weight of the ‘lower’ state $\varphi_{i}$ is in the denominator. This turns out to be consistent with the way the weights (which are products of factorials) work in the case of standard quantum mechanics.

Next, for the annihilation operator $A_{j}$ for $1\leq j\leq n$ we have to evaluate $A_{j}(\varphi_{k})=P(\varphi_{k}\overline{\theta}_{j})=\sum_{i}\langle\varphi_{i},\varphi_{k}\overline{\theta}_{j}\rangle\varphi_{i}$ for every multi-index $k$. To do this, consider

[TABLE]

where the multi-indices $i=(i_{1},\dots,i_{r})$ and $k=(k_{1},\dots,k_{t})$ have lengths $r$ and $t$ respectively. We also used $j^{T}=j$, since $j$ is a multi-index with exactly one entry in it. The only possible non-zero value occurs when the concatenated multi-index $(i,j)$ is equal to the multi-index $k$. So for $k\neq(i,j)$ we have that $\langle\varphi_{i},\varphi_{k}\overline{\theta}_{j}\rangle=0.$ If the last entry in the multi-index $k$ is not $j$ (i.e., $k_{t}\neq j$), then $k\neq(i,j)$ for all multi-indices $i$. Consequently, in this case we calculate

[TABLE]

Therefore, in this example the annihilation operator $A_{j}$ has infinite dimensional kernel. As a very particular case, we take $k=\emptyset$, the empty multi-index, and get that $A_{j}({\varphi_{\emptyset}})=A_{j}(1)=0$ for all $1\leq j\leq n$, that is, $1\in\cap_{j=1}^{n}\ker\,A_{j}$. So $1$ is a normalized vacuum state in $\mathcal{H}$.

On the other hand if $k=(i,j)$ for some clearly unique multi-index $i$ (and in particular $r+1=t$), then we find that

[TABLE]

and consequently in this case

[TABLE]

Again, the weight of the ‘higher’ state $\varphi_{(i,j)}$ appears in the numerator while the weight of the ‘lower’ state $\varphi_{i}$ is in the denominator. And again this is consistent with standard quantum mechanics.

It is now an extended exercise to compute the commutation relations of these operators. For example, $[A_{j}^{{\dagger}},A_{k}^{{\dagger}}]\neq 0$ if $j\neq k$, since $\theta_{j}\theta_{k}\neq\theta_{k}\theta_{j}$. The formulas for these relations are simpler if we take the weights to be $w_{i}=w_{i_{1},\dots,i_{r}}:=\mu_{i_{1}}\cdots\mu_{i_{r}}$ for positive real numbers $\mu_{1},\dots,\mu_{n}$.

3. Concluding Remarks

I conclude with possibilities for future related research concerning algorithms that manipulate the words in the basis of the algebra $\mathcal{A}$.

The sesqui-linear form on $\mathcal{A}$ serves mainly to define the projection operator $P$, which is crucial in this quantization theory. Using this, creation operators tack on a holomorphic variable on the right (up to a weight factor), while annihilation operator chop off the appropriate holomorphic variable on the right, if present (again up to a weight), and otherwise map the word to zero. One can define other projection operators that see more deeply into the word, rather than looking at only the rightmost part of the word. In general each occurrence of $\overline{\theta}_{j}$ is erased while at the same time some corresponding occurrence of $\theta_{j}$ is also erased. The end result is a word with no $\overline{\theta}$’s at all. Moreover, if the original word had no $\overline{\theta}$’s to begin with, then it will remain unchanged. Basically, the projection map is an algorithm that scans a word from one end to the other, eliminating all $\overline{\theta}$’s and some $\theta$’s.

There are many such algorithms. To give the reader an idea of this, let us consider scanning a word from left to right until we hit the first occurrence of $\overline{\theta}_{j}$ for some $j$. We change the word by eliminating this $\overline{\theta}_{j}$ and the rightmost occurrence of $\theta_{j}$ to the left of this $\overline{\theta}_{j}$, if there is such an occurrence. If there is no occurrence of $\theta_{j}$ to the left, we define $P$ on this word to be zero. Otherwise, we continue scanning from our current position in the word looking for the next $\overline{\theta}_{k}$ for some $k$. We repeat the same procedure. Since the word is finite in length, this algorithm will terminate. At such time there will be no occurrences of $\overline{\theta}$’s left. The resulting word (or zero) will be $P$ evaluated on the original word.

The reader is invited to produce other algorithms for finding one (or various) occurrences of $\theta_{j}$ to pair with an identified occurrence of $\overline{\theta}_{j}$. There are other deterministic algorithms for sure, but there are even stochastic algorithms as well. These stochastic algorithms could pair a random number of occurrences of $\theta_{j}$, including zero occurrences with non-zero probability, with a given occurrence of $\overline{\theta}_{j}$. Also, the locations of these occurrences could be random. Then all Toeplitz operators, including those of creation and annihilation, would become random operators.

ACKNOWLEDGMENT

I thank the organizers for the opportunity to participate in the event Operator Algebras, Toeplitz Operators and Related Topics, (OATORT) held in Boca del Rio, Veracruz, Mexico in November, 2018.