Preprint
Article

On Geometry of p-adic Coherent States and Mutually Unbiased Bases

Altmetrics

Downloads

109

Views

23

Comments

0

A peer-reviewed article of this preprint also exists.

This version is not peer-reviewed

Submitted:

22 May 2023

Posted:

23 May 2023

You are already at the latest version

Alerts
Abstract
The paper considers coherent states for the representation of Weyl commutation relations over a field of $p$-adic numbers. A geometric object, a lattice in vector space over a field of p-adic numbers, corresponds to the family of coherent states. It is proved that the bases of coherent states corresponding to different lattices are mutually unbiased, and the operators defining the quantization of symplectic dynamics are Hadamard operators.
Keywords: 
Subject: Computer Science and Mathematics  -   Mathematics

1. Introduction. MUBs.

Mutually unbiased bases (MUBs) [1] in Hilbert space C D are two orthonormal bases { | e 1 , , | e D } and { | f 1 , , | f D } such that the square of the magnitude of the inner product between any basis states | e j and | f k equals the inverse of the dimension D:
| e j | f k | 2 = 1 D , j , k { 1 , , D } .
Such bases have numerous applications in quantum information theory (quantum key distribution [2,3,4], quantum state tomography [5], detection of quantum entanglement [6], etc).
The problem is to describe the MUBs set for an arbitrary D.
Within this general statement of the problem, there is a range of subtasks.
Denote by M ( D ) the maximum number of MUBs in C D .
The first problem is what is M ( D ) equal to. In general, to find M ( D ) is a very difficult task, for example, M ( 6 ) has not been found to date, despite considerable efforts [7]. The answer is known when the dimension D is the power of a prime number, namely M ( p n ) = p n + 1 [8].
It is possible to get the following estimation [8]:
p 1 n 1 + 1 M ( D ) D + 1 ,
where D = p 1 n 1 p 2 n 2 p k n k , p 1 n 1 < p 2 n 2 < < p k n k is prime numbers decomposition of D.
The amazing thing is that this is almost all that is known by now.
The problem of finding M ( D ) is closely related to the well-known Winnie-the-Pooh conjecture [9]. Let us consider the Lie algebra sl D ( C ) of D × D matrices with zero trace. The problem of decomposition of this algebra into a direct sum of Cartan subalgebras pairwise orthogonal with respect to the Killing form is posed.
The conjecture is as follows: sl D ( C ) is orthogonally decomposable if and only if D = p n for some prime p.
The corresponding conjecture for MUB looks like this: a complete collection of MUBs exists only in prime power dimension D [10].
Let B be an orthonormal basis in C D . Let’s call a matrix A complex Hadamard if B and A ( B ) are mutually unbiased bases.
Two Hadamard matrices A and C are equivalent if there exist monomial matrices M 1 and M 2 such that the condition is satisfied:
A = M 1 C M 2 .
The problem is to describe the sets of equivalence classes of Hadamard matrices.
There is a complete description only for the case D 5 , and for D = 2 , 3 , 5 the number of Hadamard matrices is finite, for D = 4 there exists a one-dinensional family. For the case D = 6 , the existence of a complex 4-dimensional family of Hadamard matrices is proved [11], for D = 7 , the existence of a one-dimensioin family is proved [12].
There are difficulties with definition of mutually unbiased bases in the case of an infinite-dimensional Hilbert space [13]. In this paper we will give such a definition. Despite its seeming naivety, the definition mentioned above naturally arises in the context of p-adic quantum mechanics.
I also want to note that the above brief overview and bibliographic references do not pretend to be complete, many important and interesting articles are not mentioned.

2. p-Adics numbers.

Just a few words about p-adic numbers, in order to introduce the necessary notation. For more information about p-adic numbers, see, for example, [14].
We fix a prime number p. Any rational number x Q is uniquely representable as
x = p k m n , k , m , n Z , n > 0 , p m , p n .
Let’s define the norm | · | p on Q by the formula | x | p = p k , completion of the field of rational numbers with this norm is the field Q p of p-adic numbers.The p-adic norm of a rational integer n Z is always less than or equal to one, | n | p 1 , the completion of rational integers Z with the p-adic norm is denoted by Z p . Z p = x Q p : | x | p 1 , that is, it is a disk of a unit radius.
For the p-adic norm, the strong triangle inequality holds:
| x + y | p max { | x | p , | y | p } .
The non-Archimedean norm defines totally disconnected topology on Q p (the disks are open and closed simultaneously).
Two disks either do not intersect, or one lies in the other.
Locally constant functions are continuous, for example:
h Z p ( x ) = 1 , x Z p , 0 , x Z p ,
is a continuous function.
Q p is Borel isomorphic to the real line R . The shift-invariant measure d x on Q p (the Haar measure) is normalized in such a way that Z p d x = 1 .
For any nonzero p-adic number, the canonical representation holds:
Q p x = k = n + x k p k , n Z + , x k { 0 , 1 , , p 1 } .
Using the canonical representation, we define the integer [ x ] p and fractional { x } p parts of the number x Q p :
p n x n + p n + 1 x n + 1 + + p 1 x 1 { x } p + x 0 + p x 1 + + p k x k + [ x ] p .
The following function, which takes values in a unit circle T in C , is the additive character of the field of p-adic numbers:
χ p ( x ) = exp 2 π i { x } p , χ p ( x + y ) = χ p ( x ) χ p ( y ) .
p-Adic integers Z p form a group with respect to addition (a consequence of the non-Archimedean norm) and it is profinite (procyclic) group. This is the inverse limit of finite cyclic groups Z / p n Z , n N :
Z / p Z Z / p n Z Z / p n + 1 Z .
Consider the group Z ^ p of characters Z p . This group has the form:
Z ^ p = Q p / Z p = Z ( p ) = exp ( 2 π i m / p n ) , m , n N .
This is the Prüfer group. It is a direct limit of finite cyclic groups (i.e. quasicyclic) of order p n :
Z / p Z p Z / p 2 Z p Z / p n Z p .

3. Representations of CCR. Coherent states.

Let V = Q p 2 be a two-dimensional vector space over Q p and Δ be a non-degenerate symplectic form on this space.
Let H be a separable complex Hilbert space. A map from V to a set of unitary operators on H satisfying the condition
W ( u ) W ( v ) = χ p ( Δ ( u , v ) ) W ( v ) W ( u ) , u , v V
is called a representation of canonical commutation relations (CCR). We will also require continuity in a strong operator topology and irreducibility. When these conditions are met, such a representation is unique up to unitary equivalence.
p-Adic integers Z p form a ring. Let L be a two-dimensional (compact) Z p -submodule of the space V. Such submodules will be called lattices.
On the set of lattices, we introduce the operations ∨ and ∧:
L 1 L 2 = L 1 + L 2 = { z 1 + z 2 , z 1 L 1 , z 2 L 2 } ,
L 1 L 2 = L 1 L 2 .
We also define the involution *:
L * = { z V : Δ ( z , u ) Z p u L } .
It’s easy to see that L 1 L 2 * = L 1 L 2 . The lattice L invariant with respect to the involution is called self-dual, L = L * .
We normalize the measure on V in such a way that the volume of a self-dual lattice is equal to one. Symplectic group S p ( V ) = S L 2 ( Q p ) acts transitively on the set of self-dual lattices.
By L we denote the set of self-dual lattices. On the set L , we define metric d by the formula
d ( L 1 , L 2 ) = 1 2 log # L 1 L 2 / L 1 L 2 ,
log everywhere further denotes the logarithm to the base p, # is the number of elements of the set.
Example 1.
Let { e , f } be a symplectic basis in V , Δ ( e , f ) = 1 .Then the lattices
L 1 = Z p e Z p f , L 2 = p n Z p e p n Z p f
are self-dual. If n 0 , then
L 1 L 2 = p n Z p e Z p f , L 1 L 2 = Z p e p n Z p f , d ( L 1 , L 2 ) = 1 2 log # L 1 L 2 / L 1 L 2 = 1 2 log p 2 n = n .
Note that for any pair of self-dual lattices, such a basis exists.
The set of self-dual lattices can be represented as a graph. The distance d takes values in the set of non-negative integers. The vertices of the graph are elements of the set L , and the edges are pairs of self-dual lattices { L 2 , L 2 } : d ( L 1 , L 2 ) = 1 .
The graph of self-dual lattices is constructed according to the following rule. Let K p + 1 denote a complete graph with p + 1 vertices.The countable family of copies of the graph K p + 1 is glued together in such a way that each vertex of each graph in this family belongs to exactly p + 1 graphs K p + 1 .
By replacement of each complete graph K p + 1 by a star graph S p + 1 we get a Bruhat-Tits tree.
We proceed with the construction of the vacuum vector. Let us choose a self-dual lattice L L and consider the operator
P L = L d z W ( z ) .
Lemma 1.
The P L operator is a one-dimensional projection.
Indeed, we have:
P L 2 = L d z W ( z ) L d z W ( z ) = = l d z L d z W ( z + z ) = L d z W ( z ) = P L .
The one-dimensionality of the projection P L directly follows from the irreducibility of the representation W.
Our desired vacuum state will be this projection. We fix the notation P L = | 0 L 0 L | .
Definition 1.
The family of states { | z L = W ( z ) | 0 L , z V } in H is said to be the system of (L-)coherent states.
We denote by h L the indicator function of the lattice L,
h L ( z ) = 1 , z L , 0 , z L .
Theorem 1.
Coherent states satisfy the following relation:
| z L | z L | = h L ( z z ) .
In other words, the coherent states | z L z L | and | z L z L | coincide if z z L and are orthogonal otherwise.
Indeed, let u = z z . Then
| z L | z L | = | χ p ( 1 / 2 Δ ( z , u ) ) 0 L | W ( u ) 0 L = | 0 L | W ( u ) 0 L | .
If u L the statement of the theorem follows from the definition of a vacuum vector. If u L , then by virtue of the self-duality of the lattice L, there exists v L that χ p ( Δ ( u , v ) ) 1 . We have
0 L | W ( u ) 0 L = 0 L | W ( v ) W ( u ) W ( v ) 0 L = = χ p ( Δ ( u , v ) ) 0 L | W ( u ) 0 L ,
which is true only if 0 L | W ( u ) 0 L = 0 .
Therefore, non-matching (and pairwise orthogonal) coherent states are parametrized by elements of the set V / L = Q p / Z p 2 Z ( p ) × Z ( p ) . This makes the following modification of Definition 1 natural.
Definition 2.
The set { | α L = W ( α ) | 0 L , α V / L } is said to be the basis of p-adic (L-)coherent states.
Remark 1.
The CCR representations are closely related to the representations of the Heisenberg group. In the language of representation theory, p-adic coherent states are nothing but coherent states for the p-adic Heisenberg group.

4. Main result.

Let L 1 and L 2 be a pair of self-dual lattices, d ( L 1 , L 2 ) 1 .
It turns out that the corresponding bases of L 1 - and L 2 -coherent states are mutually unbiased on finite-dimensional subspaces of dimension p d ( L 1 , L 2 ) .
Theorem 2.
For bases of L 1 - and L 2 -coherent states { | α L 1 , α V / L 1 } and { | β L 2 , β V / L 2 } the following formula is valid
| α L 1 | β L 2 | 2 = p d ( L 1 , L 2 ) h L 1 L 2 ( α β ) .
The theorem means the following. Our Hilbert space of representation of CCR H decomposes into an orthogonal direct sum of finite-dimensional subspaces of the same dimension p d ( L 1 , L 2 ) :
H = a V / ( L 1 L 2 ) H a , dim H a = p d ( L 1 , L 2 ) .
In each of these subspaces, the subbases of L 1 - and L 2 -coherent states are mutually unbiased.
Let’s prove Theorem 2.
The following formula is valid.
| 0 L 1 | W ( β ) 0 L 2 | = | 0 L 1 | 0 L 2 | , β L 1 L 2 , 0 , β L 1 L 2 .
Let β L 1 L 2 , then β = β 1 + β 2 , β 1 L 1 , β 2 L 2 and
| 0 L 1 | W ( β ) 0 L 2 | = | W ( β 1 ) 0 L 1 | W ( β 2 ) 0 L 2 | = | 0 L 1 | 0 L 2 | .
If β L 1 L 2 , then there exists γ L 1 L 2 = L 1 L 2 * such that χ p Δ ( γ , β 1 and
0 L 1 | W ( β ) 0 L 2 = W ( γ ) 0 L 1 | W ( β ) W ( γ ) 0 L 2 = χ p Δ ( γ , β 0 L 1 | W ( β ) 0 L 2 .
From the latter equality, it obviously follows that 0 L 1 | W ( β ) 0 L 2 = 0 , β L 1 L 2 .
Now let’s use formula (1) and the Parseval-Steklov identity:
1 = β V / L 2 0 L 1 | W ( β ) 0 L 2 2 = = 0 L 1 | 0 L 2 2 β L 1 L 2 / L 2 1 = 0 L 1 | 0 L 2 2 p d ( L 1 , L 2 ) .
The following equation follows from formula (2):
0 L 1 | 0 L 2 2 = p d ( L 1 , L 2 ) .
Taking into account formula (1) and the equality (3), we obtain a proof of Theorem 2.
In the case of d ( L 1 , L 2 ) = 1 the subspaces H a , a V / ( L 1 L 2 ) have dimension p. As it can be seen from the construction of the graph of lattices, there are exactly p + 1 pieces of self-dual lattices with unit pairwise distances (the complete graph K p + 1 ). These lattices define a complete set of MUB in each subspace H a .
In the case of d ( L 1 , L 2 ) = 2 the subspaces H a , a V / ( L 1 L 2 ) have dimension p 2 . As it can be seen from the construction of the graph of lattices, there are exactly p ( p + 1 ) pieces of self-dual lattices lying at a distance of 2 from the lattice L 1 . The bases corresponding to these lattices are not mutually unbiased. However, among this set there are families consisting of p + 1 pieces of mutually unbiased bases. These bases saturate the entropic uncertainty relations [15,16].
Remark 2.
Instead of the field Q p , we can consider its algebraic extension of degree n. Such extensions exist for any n. In this case, the elementary building block of the lattice graph will be the complete graph K p n + 1 , which has p n + 1 vertex. The coherent state bases corresponding to the vertices of this graph form a complete set of mutually unbiased bases in p n -dimensional space.
The theorem makes the following definitions natural.
Definition 3.
Let H be an infinite-dimensional Hilbert space. Orthonormal bases { | e i } and { | f j } are mutually unbiased if there exists a decomposition
H = H k , dim H k = n k < ,
such that the subbases { | e i } | H k and { | f j } | H k are mutually unbiased for all k.
Let’s make two remarks. First, the definition assumes that the bases are divided into finite blocks of size n k , each of which forms a subbases in the corresponding subspace H k . Secondly, in the case under consideration of the representation of CCR over a field of p-adic numbers of the dimension of subspaces H k there are powers of p. The construction can be extended to the case of CCR over Vilenkin groups, in which case the above dimensions can be arbitrary natural numbers.

5. p-Adic dynamics. Hadamard operators.

The proposed definition of mutually unbiased bases for the case of an infinite-dimensional Hilbert space makes it possible to introduce the concept of the Hadamard operator for such spaces in a similar way.
Definition 4.
The operator A in the Hilbert space H is called the Hadamard operator if for some orthonormal basis { | e i } in H the bases { | e i } and A ( { | e i } ) are mutually unbiased.
In other words, the Hadamard operator is given by an infinite block-diagonal matrix whose diagonal blocks are ordinary finite Hadamard matrices.
It turns out that the dynamics of a p-adic quantum system is determined by Hadamard operators. More detailed information about p-adic quantum theory can be found, for example, in [17,18]. The dynamics of a classical system is given by a linear symplectic transformation g S p ( V ) of the phase space V. A one-parameter family g t of such transformations can be specified, in which case the parameter t Q p is interpreted as time. For example, the dynamics of a free particle of unit mass is given by the family g t , t Q p , which in some fixed basis of space V has the form:
g t = 1 t 0 1 , t Q p .
If the dynamics of a classical system is determined by the action of a symplectic group on the phase space, then the dynamics of the corresponding quantum system is given by the so-called metaplectic representation of the symplectic group in the Hilbert space of the representation of CCR. The existence of such a representation follows from the uniqueness of irreducible representations of CCR.
Let ( W , H ) be a representation (irreducible) of CCR and g S p ( V ) . Then, by virtue of the uniqueness of the representation, the representations ( W , H ) and ( W g , H ) , W g ( z ) = W ( g z ) , z V are unitarily equivalent, that is, there is a unitary operator satisfying the condition
U ( g ) W ( z ) = W g ( z ) U ( g ) , z V .
The operators U ( g ) , g S p ( V ) define a metaplectic representation of S p ( V ) .
Theorem 3.
Let L be a lattice in V such that d ( L , g L ) 1 . Then U ( g ) is the Hadamard operator for bases { | α L } and { | β g L } .
As mentioned above, the symplectic group acts transitively on the set of self-dual lattices. Thus, if a self-dual lattice L is given, then its image gL under the action of the symplectic transformation g is also a self-dual lattice. The validity of Theorem 3 follows from Theorem 2 for a pair of lattices L and gL.

References

  1. J. Schwinger, Unitary operator bases. Proc. Nat. Acadm Sci. USA 46, 570-579 (1960).
  2. Christopher A. Fuchs, Nicolas Gisin, Robert B. Griffiths, Chi-Sheng Niu and Asher Peres, Optimal eavesdropping in quantum cryptography. I. Information bound and optimal strategy, Phys. Rev. A 56, 1163 (1997).
  3. Dagmar Bruß, Optimal Eavesdropping in Quantum Cryptography with Six States, Phys. Rev. Lett. 81, 3018 (1998).
  4. Nicolas J. Cerf, Mohamed Bourennane, Anders Karlsson, and Nicolas Gisin, Security of Quantum Key Distribution Using d-Level Systems, Phys. Rev. Lett. 88, 127902 (2002).
  5. W. K. Wootters, B. D. Fields, Optimal state-determination by mutually unbiased measurements, Annals of Physics 191, 363-381 (1989).
  6. Christoph Spengler, Marcus Huber, Stephen Brierley, Theodor Adaktylos, and Beatrix C. Hiesmayr, Entanglement detection via mutually unbiased bases, Phys. Rev. A 86, 022311 (2012).
  7. P. Horodecki, L. Ridnicki and K. Zyczkowski, Five open problems in quantum information theory, PRX Quantum, 3, 010101 (2022).
  8. A. Klappenecker and M. R¨otteler, Construction of MUBs, Lect. Notes in Comp. Science 2948, 137 (2004).
  9. A. I. Kostrikin, I. A. Kostrikin and V. A. Ufnarovskii, Orthogonal decompositions of simple Lie algebras (type An), Proc. Steklov Inst. Math. 4, 113 (1983).
  10. P. O. Boykin, M. Sitharam, P. H. Tiep, P. Wocjan, Mutually unbiased bases and orthogonal decompositions of Lie algebras, Quantum Information and Computation, 7, 4, 371-382 (2007).
  11. A. Bondal, I. Zhdanovskiy, Orthogonal pairs and mutually unbiased bases, J. Math. Sci, 216(1), 23-40 (2016).
  12. I. Y. Zhdanovskiy, A. S. Kocherova, Algebras of Projectors and Mutually Unbiased Bases in Dimension 7. J Math Sci 241, 125–157 (2019).
  13. Stefan Weigert and Michael Wilkinson, Mutually unbiased bases for continuous variables, Phys. Rev. A 78, 020303(R)(2008).
  14. W. H. Schikhof, Ultrametric Calculus: An Introduction to P-Adic Analysis, Cambridge University Press, 1984.
  15. V. Hegde and P. Mandayam, Unextendible mutually unbiased bases in prime-squared dimensions, arXiv:1508.05892 [quant-ph] (2015).
  16. Manuel A. Ballester and Stephanie Wehner, Entropic uncertainty relations and locking: Tight bounds for mutually unbiased bases, Phys. Rev. A 75, 022319 (2007).
  17. V. S. Vladimirov, I. V. Volovich, E. I. Zelenov, p-Adic analysis and mathematical physics, World Scientific, 1994.
  18. B. Dragovich, A. Yu. Khrennikov, S. V. Kozyrev, I. V. Volovich and E. I. Zelenov, p-Adic mathematical physics: the first 30 years, p-Adic numbers, Ultram. Anal. Appl. 9, 87 (2017).
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated