
TL;DR
This paper introduces a generalized multiparametric quon algebra with deformed commutation relations, providing a mathematical framework for particle statistics that extends traditional quantum statistics.
Contribution
It generalizes the quon algebra by incorporating a matrix of deformation parameters and proves its realizability using hyperplane arrangement techniques.
Findings
The model is realizable for certain parameter values.
The generated module can be an indefinite Hilbert space.
Refines the extended Zagier's conjecture.
Abstract
The quon algebra is an approach to particle statistics introduced by Greenberg in order to provide a theory in which the Pauli exclusion principle and Bose statistics are violated by a small amount. We generalize these models by introducing a deformation of the quon algebra generated by a collection of operators , the set of positive integers, on an infinite dimensional module satisfying the -mutator relations . The realizability of our model is proved by means of the Aguiar-Mahajan bilinear form on the chambers of hyperplane arrangements. We show that, for suitable values of , the module generated by the particle states obtained by applying combinations of 's and 's to a vacuum state is an…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
A Multiparametric Quon Algebra
Hery Randriamaro This research was supported by my mother
Lot II B 32 bis Faravohitra, 101 Antananarivo, Madagascar
e-mail: [email protected]
Abstract
The quon algebra is an approach to particle statistics introduced by Greenberg in order to provide a theory in which the Pauli exclusion principle and Bose statistics are violated by a small amount. We generalize these models by introducing a deformation of the quon algebra generated by a collection of operators , the set of positive integers, on an infinite dimensional module satisfying the -mutator relations . The realizability of our model is proved by means of the Aguiar-Mahajan bilinear form on the chambers of hyperplane arrangements. We show that, for suitable values of , the module generated by the particle states obtained by applying combinations of ’s and ’s to a vacuum state is an indefinite Hilbert module. Furthermore, we refind the extended Zagier’s conjecture established independently by Meljanac et al. and by Duchamp et al.
Keywords: Quon Algebra, Indefinite Hilbert Module, Hyperplane Arrangement
MSC Number: 05E15, 81R10
1 Introduction
Denote by the polynomial ring \mathbb{C}\big{[}q_{i,j}\ \big{|}\ i,j\in\mathbb{N}^{*}\big{]} with variables . The quons are particles whose annihilation and creation operators obey the quon algebra which interpolates between fermions and bosons.
Definition 1.1**.**
By multiparametric quon algebra is meant the free algebra , equal to \mathbb{C}[q_{i,j}]\big{[}\mathtt{a}_{i}\ \big{|}\ i\in\mathbb{N}^{*}\big{]}, and subject to the anti-involution exchanging with and to the commutation relations
[TABLE]
where is the Kronecker delta.
The multiparametric quon algebra is a generalization of the deformed quon algebra subject to the restriction independently studied by Bozejko and Speicher [2, § 3], and by Meljanac and Svrtan [6, § 1.1]. Their algebra is in turn a generalization of the deformed quon algebra investigated by Speicher subject to the restriction [8]. Then, his algebra is a generalization of the quon algebra introduced by Greenberg [5] and studied by Zagier [9, § 1] which is subject to the commutation relations obeyed by the annihilation and creation operators of the quon particles, and generating a model of infinite statistics. Finally, the quon algebra is a generalization of the classical Bose and Fermi algebras corresponding to the restrictions and respectively, as well as of the intermediate case suggested by Hegstrom and investigated by Greenberg [4].
In a Fock-like representation, the generators of are the linear operators on an infinite dimensional -vector module satisfying the commutation relations
[TABLE]
and the relations
[TABLE]
where is the adjoint of , and is a nonzero distinguished vector of . The ’s are the annihilation operators and the ’s the creation operators.
Define the -conjugate of a monomial , where , by
[TABLE]
and the -conjugate of a monomial sum by .
Definition 1.2**.**
An indefinite inner product on is a map such that, for , and , we have
- •
and ,
- •
,
- •
and, if , .
Let be the submodule of generated by the particle states obtained by applying combinations of ’s and ’s to , that is \mathbf{H}:=\big{\{}\mathtt{a}|0\rangle\ \big{|}\ \mathtt{a}\in\mathbf{A}\big{\}}. The aim of this article is to prove the realizability of that model through the following theorem.
Theorem 1.3**.**
Under the condition , the module is an indefinite Hilbert module for the map defined, for , and , by
[TABLE]
and where the usual bra-ket product is subject to the defining relations of .
The indefinite inner product of Theorem 1.3 becomes an inner product when the matrix representing is positively diagonalizable. Theorem 1.3 is particularly a generalization of the realizability of the deformed quon algebra model for established independently by Bozejko and Speicher [2, Corollary 3.2], and by Meljanac and Svrtan [6, Theorem 1.9.4], which in turn is a generalization of the realizability of the deformed quon algebra model for established by Speicher [8, Corollary], which finally is a generalization of the realizability of the quon algebra model established by Zagier [9, Theorem 1].
To prove Theorem 1.3, we first show with Lemma 3.1 that
[TABLE]
is a basis of , so that we can assume that \displaystyle\mathbf{H}=\Big{\{}\sum_{i=1}^{n}\mu_{i}\mathtt{b}_{i}\ \Big{|}\ n\in\mathbb{N}^{*},\,\mu_{i}\in\mathbb{C}[q_{i,j}],\,\mathtt{b}_{i}\in\mathbf{B}\Big{\}}.
The infinite matrix associated to the map of Theorem 1.3 is \mathbf{M}:=\big{(}(\mathtt{b},\mathtt{a})\big{)}_{\mathtt{a},\mathtt{b}\in\mathbf{B}}.
Let be the set of multisets of elements in . We prove with Lemma 3.2 that
[TABLE]
where is the permutation set of the multiset . For example,
[TABLE]
Proposition 2.1 and Lemma 3.3 permits us to deduce that, if , then
[TABLE]
For example, .
That determinant was independently computed by Meljanac and Svrtan for the specialization [6, Theorem 1.9.2], by Duchamp et al. for the specialization [3, § 6.4.1], and by Zagier for the specialization [9, Theorem 2].
Moreover, consider the multiset \displaystyle I=\{\overbrace{i_{1},\dots,i_{1}}^{\text{p_{1} times}},\overbrace{i_{2},\dots,i_{2}}^{\text{p_{2} times}},\dots,\overbrace{k,\dots,k}^{\text{p_{k} times}}\}\in\left(\!\!{\mathbb{N}^{*}\choose n}\!\!\right). For , let if . Suppose that the generators of satisfy the commutation relations . In that case, if we regard as the matrix representing a linear map on a module , then we prove with Proposition 2.2 and Lemma 3.4 that is the matrix representing restricted to a submodule such that . Therefore, we can infer that, for every , is nonsingular for , .
When, for special values of the ’s, is diagonalizable, then becomes positive definite. Indeed, as is the identity matrix if , for every , we deduce by continuity that is positive definite. For these suitable values of , becomes a positive definite matrix or, in other terms, the map in Theorem 1.3 becomes an inner product on . It is the case of the algebras investigated by Meljanac and Svrtan, and Zagier since, with their models, is a hermitian matrix, that is consequently diagonalizable.
Finally, we provide another proof of the extended Zagier’s conjecture in Section 4.
Proposition 1.4**.**
Let , and assume that the generators of satisfy the commutation relations . Then, each entry of is an element of \displaystyle\frac{\mathbb{C}[q]}{\displaystyle\prod_{i\in[n-1]}\big{(}1-q^{i^{2}+i}\big{)}^{n-i}}.
The extended Zagier’s conjecture was first established by Meljanac and Svrtan [6, Corollary 2.2.8] who disproved Zagier’s conjecture by using the algorithm of [6, Proposition 2.2.15] for . One deduces also Proposition 1.4 from the study of the representation of the permutation group made by Duchamp et al. [3, Proposition 4.6, 4.9].
2 Hyperplane Arrangements
We establish two results we need concerning the hyperplane arrangement associated to the permutation group of elements in order to prove Theorem 1.3.
Recall that a hyperplane in the space is a -dimensional linear subspace, and a hyperplane arrangement is a finite set of hyperplanes. For a hyperplane , denote its two associated open half-spaces by and , and let . A face of a hyperplane arrangement is a subset of having the form
[TABLE]
A chamber of is a face such that, for every , . Denote the set formed by the chambers of by . Assign a variable , , to every half-space . We work with the polynomial ring R_{\mathcal{A}}:=\mathbb{Z}\big{[}h_{H}^{\varepsilon}\ \big{|}\ H\in\mathcal{A},\,\varepsilon\in\{+,-\}\big{]}, and the module of -linear combinations of chambers \displaystyle M_{\mathcal{A}}:=\Big{\{}\sum_{C\in C_{\mathcal{A}}}x_{C}C\ \Big{|}\ x_{C}\in R_{\mathcal{A}}\Big{\}}.
For , let be the set of half-spaces \big{\{}H^{\epsilon_{H}(C)}\ \big{|}\ H\in\mathcal{A},\,\epsilon_{H}(C)=-\epsilon_{H}(D)\big{\}}.
The Aguiar-Mahajan bilinear form is defined, for , by
[TABLE]
From is defined the linear map , for , by
Let be a variable of . We precisely investigate the hyperplane arrangement associated to the permutation group of elements defined by
[TABLE]
The set formed by the chambers of is
[TABLE]
For with , assign the variable to the half-space . On , the ring R_{\mathcal{A}_{n}}:=\mathbb{Z}\big{[}q_{i,j}\ \big{|}\ i,j\in[n]\big{]} and the module \displaystyle M_{\mathcal{A}_{n}}:=\Big{\{}\sum_{\sigma\in\mathfrak{S}_{n}}x_{\sigma}C_{\sigma}\ \Big{|}\ x_{\sigma}\in R_{\mathcal{A}_{n}}\Big{\}} are considered. The Aguiar-Mahajan bilinear form becomes defined, for , by
[TABLE]
and the linear map defined, for , by
[TABLE]
Proposition 2.1**.**
For an integer , we have
[TABLE]
Proof.
We first discuss about the general case of hyperplane arrangements. A flat of is an intersection of hyperplanes in . Denote the set formed by the flats of by . The weight of a flat is the monomial , and, if we choose a hyperplane containing , the multiplicity of is half the number of chambers which have the property that is the minimal edge containing . Aguiar and Mahajan proved that [1, Theorem 8.11]
[TABLE]
Now, concerning , let . For a subset with , denote by the edge . Randriamaro proved that [7, Lemma 3.2, 3.3]
[TABLE]
∎
Take a partition of . Denote by the subgroup of , where is the permutation group of the set .
Consider the multiset I_{\lambda}=\{\overbrace{1,\dots,1}^{\text{p_{1} times}},\overbrace{2,\dots,2}^{\text{p_{2} times}},\dots,\overbrace{k,\dots,k}^{\text{p_{k} times}}\}. Denote by the permutation set of the multiset . For , define if .
Let be the projection . For , define the element . Denote by the submodule
[TABLE]
For with , assign the variable to the half-space .
Proposition 2.2**.**
Let , and . Then, .
Proof.
If such that , then . Let , and . If ,
[TABLE]
Hence,
[TABLE]
∎
3 The Bra-Ket Product on
We prove some useful properties of the map in Theorem 1.3. We particularly connect it to the bilinear form defined in Section 2.
Lemma 3.1**.**
The vector space generated by our particle states is
[TABLE]
Proof.
Let . We have,
[TABLE]
where the hat over the term of the product indicates that this term is omitted. So
[TABLE]
Thus, one can recursively remove every annihilation operator of an element . ∎
Lemma 3.2**.**
Let and . If, as multisets, is different from , then .
Proof.
Suppose that is the smallest integer in such that Then
[TABLE]
We deduce that .
Similarly, suppose that is the smallest integer in such that does not belong to the multiset Then
[TABLE]
And . ∎
Therefore, we just need to investigate the product where is a multiset permutation of .
Lemma 3.3**.**
Let , and their associated chambers. Then,
[TABLE]
Proof.
We have
[TABLE]
∎
For with , assign the variable to the half-space .
Lemma 3.4**.**
Let , and . Then, for every ,
[TABLE]
Proof.
We have
[TABLE]
For every , and , we have, on one side,
[TABLE]
On the other side, if is the identity permutation, there exists such that , and
[TABLE]
Then,
[TABLE]
∎
4 The Conjecture of Zagier
To prove the extended Zagier’s conjecture, we first have to return to the general case of hyperplane arrangements. The set is a monoid with product defined, for , by
[TABLE]
It is also a meet-semilattice with partial order defined, for , by
[TABLE]
Denote by the face in such that, for every , . The rank of a face is . The weight of a face is the monomial . Clearly, if .
A nested face is a pair of faces in such that . For a nested face , define the set , and the polynomial .
We prove a variant result of Aguiar and Mahajan [1, Proposition 8.13].
Proposition 4.1**.**
Let be a hyperplane arrangement in . Each entry of is an element of .
Proof.
As is a polynomial in with constant term , is consequently invertible.
For a chamber , and a nested face , let . We prove by backward induction that with .
We have . The opposite of a face is the face such that, for every , . One can read in the proof of [1, Proposition 8.13] that
[TABLE]
By induction hypothesis, for every , there exists , such that
[TABLE]
Remark that, for every , we have , which means that
[TABLE]
Since and , replacing with , there exists also , such that, for every , . Therefore,
[TABLE]
with .
For every , we have . Thus with , and . Finally, each entry of is an element of . ∎
We can deduce the extended Zagier’s conjecture.
Corollary 4.2**.**
Let , and suppose that . Then each entry of is an element of \displaystyle\frac{\mathbb{Z}[q]}{\displaystyle\prod_{i\in[n-1]}\big{(}1-q^{i^{2}+i}\big{)}^{n-i}}.
Proof.
Let , , and such that . A -dimensional face has the form
[TABLE]
Thus
[TABLE]
If , then . Since contains exactly -dimensional face, we get \displaystyle\Delta_{O_{n},C_{\sigma}}=\prod_{i\in[n-1]}\big{(}1-q^{(n-i)^{2}+(n-i)}\big{)}^{i}. Finally, we deduce from Proposition 4.1 that each entry of is an element of \displaystyle\frac{\mathbb{Z}[q]}{\displaystyle\prod_{i\in[n-1]}\big{(}1-q^{(n-i)^{2}+(n-i)}\big{)}^{i}}. ∎
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] M. Aguiar, S. Mahajan, Topics in Hyperplane Arrangements , Mathematical Surveys and Monographs 226, 2017.
- 2[2] M. Bozejko, R. Speicher, Completely Positive Maps on Coxeter Groups, Deformed Commutation Relations, and Operator Spaces , Math. Ann. (300) (1994), 97–120.
- 3[3] G. Duchamp, A. Klyachko, D. Krob, J.-Y. Thibon, Noncommutative Symmetric Functions III: Deformations of Cauchy and Convolution Algebras , Discrete Math. Theor. Comput. Sci. (1) (1997), 159–216.
- 4[4] O. Greenberg, Example of Infinite Statistics , Phys. Rev. Lett. (64) 7 (1990), 705–708.
- 5[5] O. Greenberg, Particles with small Violations of Fermi or Bose Statistics , Phys. Rev. D (43) 12 (1991), 4111–4120.
- 6[6] S. Meljanac, D. Svrtan, Study of Gram Matrices in Fock Representation of Multiparametric Canonical Commutation Relations, extended Zagier’s Conjecture, Hyperplane Arrangements and Quantum Groups , Math. Commun. (1) 1 (1996), 1–24.
- 7[7] H. Randriamaro, Computing the Varchenko Determinant of a Bilinear Form , Irish Math. Soc. Bulletin (82) (2018), 79–90.
- 8[8] R. Speicher, Generalized Statistics of Macroscopic Fields , Lett. Math. Phys. (27) (1993), 97–104.
