We consider questions posed in a recent paper of Mandayam et al. (2014) on the nature of “unextendible mutually unbiased bases.” We describe a conceptual framework to study these questions, using a connection proved by the author in Thas (2009) between the set of nonidentity generalized Pauli operators on the Hilbert space of N d-level quantum systems, d a prime, and the geometry of non-degenerate alternating bilinear forms of rank N over finite fields . We then supply alternative and short proofs of results obtained in Mandayam et al. (2014), as well as new general bounds for the problems considered in loc. cit. In this setting, we also solve Conjecture 1 of Mandayam et al. (2014) and speculate on variations of this conjecture.
Finite-dimensional quantum systems—that is, “multiple qudits”—exhibit many interesting properties like quantum entanglement and quantum non-locality. Therefore, they play a crucial role in numerous physical applications like quantum cryptography, quantum coding, quantum cloning/teleportation and/or quantum computing, to mention just a few. As these systems live in finite-dimensional Hilbert spaces, further insights into their behavior require, obviously, a proper understanding of the structure of the associated Hilbert spaces. Within the past few years, a lot of activity in this direction has been devoted to the study of so-called mutually unbiased bases (“MUBs”).
Recall that two orthonormal bases and of the Hilbert space () are mutually unbiased if and only if
for all and . It is a fundamental conjecture, with many applications, that the theoretical upper bound of a set of mutually unbiased bases can only be reached when ℓ is a prime power.
It has been suspected for a long time that there are deep connections between quantum (information) theory and finite geometry—see, for instance, Wootters [1,2] (see also [3,4] and [5,6,7], and references therein.)
As a specific example, proving a conjecture of Saniga and Planat , the author showed in  that the generalized Pauli operators can be identified with the points, and maximum sets of pairwise commuting members of them with the lines (or subspaces of higher dimensions) of a specific finite incidence geometry, so that the structure of the operator space can fully be inferred from the properties of the geometry in question. The incidence geometry is the geometry of a non-degenerate alternating bilinear form over a finite field, called symplectic polar space. Using this connection, it is easy to construct maximal sets of MUBs by just translating known results in the theory of symplectic polar spaces.
In a recent paper , Mandayam, Bandyopadhyay, Grassl and Wootters introduced unextendible mutually unbiased bases (“UMUBs”) (and several variations and related concepts; details can be found in Section 3) as a natural generalization of maximal sets of mutually unbiased bases.
(Mandayam et al. ).Given three Pauli classesbelonging to a complete setof classes in dimension, there exists exactly one more maximal commuting classof Pauli operators in. The classtogether with the remaining two classesandofforms an unextendible set of Pauli classes, whose common eigenbases form a weakly UMUB of order 3.
Using the connection with the polar space, we will give a short proof of this result. Moreover, we generalize this result for all dimensions prime2 (in fact, we present a construction of a new class of maximal partial spreads of the symplectic polar space for any odd prime power d, which translates to UMUBs in the case d is a prime.) In dimension , a similar result is obtained in .
Motivated by Theorem 1 and the result in dimension 8, the following conjecture is then stated in .
(Mandayam et al. ).Givenmaximal commuting Pauli classesbelonging to a complete setof classes in dimension, there exists exactly one more maximal commuting classof Pauli operators in. The classtogether with the remaining classes offorms an unextendible set of Pauli classes of size, whose common eigenbases form a weakly UMUB of order .
We will show that this conjecture is true if and only if or . In fact, we will consider an extension of the conjecture in any characteristic d (i.e., for any prime d), and show that it is true if and only if and or . The formulation of the conjecture has to be adapted, of course, since is not an integer if ℓ is odd. Thus, we will replace by .
We then indicate that an alternative version of the conjecture might be true and describe several new possible construction techniques to obtain weakly unextendible sets of MUBs.
At the end of the paper, we discuss a special kind of weakly unextendible set of MUBs called “Galois MUBs,” which attain an optimal bound in relation to being unextendible.
2. The General Pauli Group
Let d be an odd prime. Let be a computational base of . Define the (generalized) Pauli operators of as
where and are defined by the following actions
The set of generalized Pauli operators of the N-qudit Hilbert space is the set of distinct tensor products of the form
where the run over the set of (generalized) Pauli matrices of . Denote . These operators generate a group —the general Pauli group or discrete Heisenberg–Weyl group—under ordinary matrix multiplication, which has order .
For the case of N-qubit Hilbert spaces, we refer the reader to —it is completely similar (and we use the same notation).
3. Unextendible Sets of MUBs and Operator Classes
Let be a set of mutually orthogonal unitary operators in using the Hilbert–Schmidt norm: operators A and B are orthogonal if . Assuming that contains the identity operator , constitutes a basis for the -vector space of -complex matrices . A standard construction of MUBs outlined in  relies on finding classes of commuting operators, with each class containing mutually orthogonal commuting unitary matrices different from the identity .
3.1. Maximal Commuting Operator Classes
A set of subsets of size constitutes a (partial) partitioning of into mutually disjoint maximal commuting classes if the subsets are such that
the elements of commute for all , and
for all .
In the rest of the paper, we sometimes use the term “Pauli classes” to refer to mutually disjoint maximal commuting classes formed out of the N-qudit Pauli group (in , only qubits are considered). The correspondence between maximal commuting operator classes and MUBs is stated in the following lemma, originally proved in .
().The common eigenbases of ℓ mutually disjoint maximal commuting operator classes form a set of ℓ mutually unbiased bases.
The reference  only considers sets of mutually disjoint maximal commuting operator classes, but the proof is the same.
3.2. Unextendibility of MUBs and Operator Classes
A set of MUBs is called unextendible if there does not exist another basis that is unbiased with respect to the bases .
The correspondence between MUBs and maximal commuting operator classes gives rise to a weaker notion of unextendibility, based on unextendible sets of such classes.
(Unextendible sets of operator classes ).A set of mutually disjoint maximal commuting classesof operators drawn from a unitary basisis said to be unextendibleif no other maximal class can be formed out of the remaining operators in .
The eigenbases of such an unextendible set of classes form a weakly unextendible set of MUBs, as defined below.
(Weakly unextendible sets of MUBs ).Given a set of MUBsthat are realized as common eigenbases of a set of ℓ operator classes comprising operators from, the setis weakly unextendible if there does not exist another unbiased basis that can be realized as the common eigenbasis of a maximal commuting class of operators in .
4. Symplectic Polar Spaces and the Pauli Group
Consider the projective space of dimension , , over the field with d elements, where d is a prime. Let F be a non-degenerate symplectic form of . For F, one can choose the following canonical bilinear form :
Here, and stand for homogeneous coordinates of points in Then, the symplectic polar space consists of the points of together with all totally isotropic spaces of F . Here, a totally isotropic subspace is a linear subspace S of that vanishes under F (that is, the bilinear form is trivial once restricted to S).
One can also define this space in the underlying -dimensional vector space over using a non-degenerate alternating bilinear form (which induces a symplectic form on the projective space).
Remark1 (Number of points).
Note that | points of .
In the following proposition, denotes the commutator relation in the group ; thus, for and is defined as the subgroup generated by the set .
We have the following short exact sequence of groups:
Now, denote the natural map by an overbar (and note that in we use multiplicative notation, which translates into addition in ). Then, the commutator
defines a non-degenerate alternating bilinear form on , and thus defines a symplectic polar space . Here, the derived group is identified with the additive group of .
().Two elements ofcommute if and only if the corresponding points ofare collinear. In other words, the commuting structure of(and) is governed by that of the symplectic polar space .
Two points in are called collinear if there is a line in containing them both.
Applying this result, one can easily construct sets of MUBs of maximal size using the symplectic geometry .
5. Unextendible Mutually Unbiased Bases and Pauli Classes
In this section, we explain in detail the correspondence between Pauli classes and “generators” of symplectic polar spaces of . It has the same proof as Theorem 2, but we make the relationship between (unextendible) commuting Pauli classes and the generators more explicit.
Theorem3 (General connecting theorem).
Two elements ofcommute if and only if the corresponding points ofare collinear. In other words, the commuting structure of(and) is governed by that of the symplectic polar space. As a corollary, “complete” partial spreads ofcorrespond to unextendible sets of operator classes in the Pauli group.
We indicate the proof in several steps.
Let d be any prime and . Let be a partial spread of , i.e., a set of -dimensional totally isotropic subspaces that are pairwise disjoint. Throughout this, we will call -dimensional totally isotropic subspaces “generators.” Let be the number of elements in , and note that (equality holds when , by definition, is a spread). Then, corresponds to a set of mutually unbiased bases in the associated -dimensional Hilbert space, in the following way:
To corresponds a set of subgroups , , of of size which mutually (pairwise) intersect (precisely) in .
In each , one chooses elements () which are not contained in , so that no two such elements are in the same -coset.
Then, is a set of commuting unitary classes.
If is a complete partial spread of , that is, if is not strictly contained in another partial spread, then is unextendible, and the corresponding set of MUBs is weakly unextendible of size .
In particular, this construction applies when is a set of Pauli operators (each -coset contains precisely one Pauli operator).
5.1. The Bijection ρ
Let be the set of generators of , and let be the set of commuting classes of Pauli operators (of size ). Note that, from the above, it follows that we have a bijection
which sends an element to a generator, following the scheme explained above. It is indeed a bijection: to each generator corresponds a unique maximal abelian subgroup as above (and conversely), and each -coset in this subgroup contains precisely one Pauli operator. Together, the set of (nontrivial) Pauli operators in A form one commuting class of Pauli operators of size , that is, one element of .
5.2. Prime Dimension
Now let (i.e., consider the case of prime dimension) and . Then, Proposition 1 tells us that is a group of size and exponent d, and its center has size d—in other words, is extra-special. In , one can now choose subgroups as above, and again  applies. If , the result is well known (but it can also be derived as above).
6. The Case Prime, —Small and Large Examples
If is a prime and , the corresponding symplectic polar space is , with ambient projective space , and it has two types of linear subspaces that are completely contained in , namely points of and (projective) lines.
6.1. Grids and Point-Line Duals
Before proceeding, we explore some synthetic properties of , and ℓ is any prime power now, which will makes things easy below.
Let be the point set of , its line set (that is, its set of generators), and let be the (symmetric) “incidence relation” on which says that () if and only if the point x is on the line L. Then, this point-line geometry is a generalized quadrangle , and an extensive theory exists on these structures. Note that each line contains points and that on each point there are lines. In addition, recall the following defining projection property for generalized quadrangles: if x is a point and X a line not containing x, there is a unique line which meets X (and then at a unique point). We will refer to this property as “property (PR).”
Now consider the point-line geometry with line set , point set and the same incidence relation —the so-called point-line dual of . Then, by Section 3.2.1 in , is isomorphic to the point-line geometry of an orthogonal quadric in . Moreover, if ℓ is even, and are isomorphic; see Section 3.2.1 in . For all other prime powers, and are not isomorphic—see loc. cit.
Let “⊥” denote the orthogonality relation in ; for any element , define , where if there is some element E in such that ; in particular, . Now, for or , define . Now, let be arbitrary lines of which do not meet. Then, consists of lines of , which are mutually disjoint (since, by (PR), there are no triangles). If ℓ is odd, , the set of lines of which meet all lines of , is . If , there is a third line X of besides in this set. In that case, the set of points on the lines of is the same as the set of points on the lines of , and these nine points together with the six lines of form a -grid (see Figure 1); the aforementioned line sets are the reguli of this grid.
In addition, still in the case , an easy counting exercise shows that all lines of have at least one point in common with the point set of . All of these properties can essentially be found in Chapter 3 in .
If ℓ is any odd prime power, we will use the fact that has no -grids. This is a corollary of a property called “antiregularity,” and can be found in Section 3.3.1(i) in  (in the dual version).
If ℓ is any even prime power, we will also use the fact that in , if U and V are lines which do not meet, then , that is, U and V are contained in an -grid of which the line set is . We call a regular pair of lines. We already met this property for the case in Section 6.1. Also in this case, one easily shows that every line of meets the -grid determined by U and V.
6.4. The Case
We start with giving an alternative and very short proof of Theorem 1 of  using the connection between Pauli classes and partial spreads of symplectic polar spaces.
(Mandayam et al. ).Given three Pauli classesbelonging to a complete setof classes in dimension, there exists exactly one more maximal commuting classof Pauli operators in. The classtogether with the remaining two classesandofforms an unextendible set of Pauli classes, whose common eigenbases form a weakly UMUB of order 3.
Interpret in ; then, by Theorem 3 to the correspond lines of (), and they form a spread. Consider the lines . Then, either there is precisely one line L of meeting them all, or there are three such lines. In the latter case, the lines form a regulus of a -grid, and, as we have seen, any line of meets the point set of such a grid, leading to the fact that would not be extendible to a spread, contradiction. Thus, we are in the former case, and the class corresponding to L is the one of the statement. The set obviously is unextendible, since extending it with a class would mean that the corresponding line be contained in the point set of , implying that there would be another line besides L meeting all of , contradiction. ☐
We now give a short proof of another result of , namely Theorem 5 of that paper.
(Mandayam et al. ).Given an unextendible set of three Pauli classesin dimension, the nine operators incan be partitioned into a different set of three maximal commuting classessuch that eachhas precisely one operator in common with each, .
Let be the lines corresponding to in ; we have seen that either one or three lines are contained in ; in the latter case, an easy counting argument shows that all lines of intersect with . Thus, suppose we are in the former case, and let . Then, each point on L is incident with precisely one line besides L and not in . By the projection property of generalized quadrangles, there are six lines different from , which meet the six points of not on L in precisely two points. For, each point of not on L is on one of the lines of meeting in exactly two points; thus, no such point is on a line of meeting in precisely one point. Thus, the total number of lines meeting is 13, and is indeed extendible (since there are 15 lines in total in ). ☐
In the next subsection, we will see a general approach for constructing unextendible Pauli classes in with d a prime number, starting from a complete set. As a corollary, we will obtain yet another proof for the result of Mandayam et al.
6.5. General Case
Theorem6 (Existence of unextendible Pauli class sets for d prime, A).
For each prime, there exists an unextendible set of Pauli classesof sizeorin. The common eigenbases form a weakly UMUB of orderor .
As before, we pass to . Let be any spread of .
Now, let U be any line of which is not contained in ; then, there are precisely lines in which hit U (each in exactly one point), due to the fact that the lines of partition the point set of . Call this line set . Now, consider the line set
Note that . If it is not a complete partial spread, there is at least one other line R of not meeting any line of , and, as a point set, it clearly must be contained in the point set “of” . Then, all lines of meet both U and R. If yet another line would exist that extends , would also be met by the lines of — in other words, while . As we have seen in Section 6.1, this is not possible, so only at most one line R can be added.
Translating back to Pauli classes gives the desired result. ☐
It is easy to see that both cases of Theorem 6 can occur (but not necessarily for every p).
As we have not used the fact that p is prime, we can translate immediately to symplectic polar spaces over any finite field.
For each prime power ℓ, there exists a complete partial spreadofof sizeor. For ℓ even, only the caseoccurs.
When ℓ is odd, the proof is the same as in the odd prime case. If ℓ is even, and if U and R are as above, then by Section 6.3, is a regular pair, so each line of meets the -grid determined by U and R. However, this implies that each of the lines of meet some line of , contradicting the fact that is a spread. Thus, even R cannot be added. ☐
For ℓ even, we have seen this result in the literature (see, e.g.,  and the references therein)—it would be safe to attribute this result to folklore though. We presume the odd case is somewhere as well, but the way of proving is needed below, so it is included anyhow for the sake of completeness.
One could apply the technique in the proof of Theorem 6 multiple times to obtain examples with less elements. Indeed, this works quite well, as we will demonstrate now. We will work immediately in , and will not restrict ourself only to the prime case. Thus, ℓ is a prime power. We do ask that ℓ is odd—it will be used in the proof.
Let be a classical spread of —by this, we mean a spread which in the point-line dual corresponds to an elliptic quadric (c.f. Section 5.2 in ). Take any two lines in , and consider the set ; it consists of mutually disjoint lines which are not in . Now, for each , define to be the set of lines of meeting . As explained in Appendix B of this paper, for each , there is precisely one more line of which meets each line of . Clearly, this line must be in , so we can denote by .
For the sake of convenience, we re-write the set as . For each we have that .
Let ℓ be an odd prime power. Then, for any, there exist complete partial spreads of sizein .
Let k be as in the statement, and consider any subset R of of size ; for simplicity, we consider w.l.o.g. the set . Then, define the following set:
It is straightforward to see that is a partial spread of size . As for completeness, suppose we could enlarge with some line U to another partial spread. As is a spread, U, as a point set, must be contained in , as a point set, and it cannot be contained in nor . By the Pigeon Hole Principle, some must have at least three lines meeting U since U has points and (in case , one does not need the Pigeon Hole Principle). However, this implies the existence of a -grid, contradiction. ☐
For each odd prime power ℓ, the bounds appear to be new (up to some small coincidences). For fixed ℓ, we obtain complete partial spreads of respective sizes
Translating back to Pauli operators, we obtain the next result.
Theorem8 (Existence of unextendible Pauli class sets for d prime, B).
For each odd primeand any, there exists an unextendible set of Pauli classesof sizein. The common eigenbases form a weakly UMUB of order .
The construction has many variations, all using roughly the same ideas, and all giving similar (but not the same) bounds. We will come back to these variations in a forthcoming paper.
7. Solution of Conjecture 1
Motivated by Theorem 1, the following conjecture is then stated in .
(Mandayam et al. ).Givenmaximal commuting Pauli classesbelonging to a complete setof classes in dimension,, there exists exactly one more maximal commuting classof Pauli operators in. The classtogether with the remaining classes offorms an unextendible set of Pauli classes of size, whose common eigenbases form a weakly UMUB of order .
In this section, we will show that this conjecture is true if and only if or . In fact, we will consider an extension of the conjecture in any characteristic d (i.e., for any prime d), replacing by , and show that it is true if and only if and or .
Translated to the geometric setting, we obtain: “given elements belonging to a spread of the polar space , there exists exactly one more generator χ which is completely contained in the union of these elements, such that χ together with the remaining elements of constitutes a complete partial spread.”
Note that the situation implies that χ meets each , .
We will replace by any prime d and consider the same situation (immediately in the geometric setting). We will also slightly generalize the statement by replacing “exactly one” by “at least one.”
Thus, let be a spread of and d be a prime. We assume that the conjecture above is true (in the more general setting).
First, suppose that and are different subsets of , both of size . Let α be a generator which meets all elements of and is covered by these elements, and let be a generator which meets all elements of and is covered by them. Then, .
In the next counting argument, we will use the fact that the number of generators of is . Per subset of of size , by the conjecture, we have at least one generator meeting all of its elements and covered by them. Such a generator is never contained in . Thus, we have that
Now, Equation (5) is equivalent to
or, slightly simplified:
Now, note that
Observe that if for some value , we have
then the same inequality holds for all .
This is already enough to conclude with a contradiction for ; and ; and and . The cases all yield a contradiction when substituted in Equation (5); the substitution , which is precisely the case of which was already studied before, leads to equality in Equation (5), as does the substitution , which is the case of .
Note that the cases are precisely those handled in Section 3, Theorem 1 and Section 3, Theorem 3 of . In the next section, we will formulate and discuss variations on Conjecture 1; to that end, we first try to generalize Theorem 6.
8. Existence of Maximal Pauli Classes
Before proceeding, let us first introduce a simple lemma about complete “partial spreads” of general incidence structures. Let be a triple, with , , and t a surjective function from the set to T. For each , put , and call its elements the elements of type i. Thus,
In particular, we call elements of “points.” We now assume that for , every element of is a subset of . This is a natural assumption: we see each “i-space” (= element of type i) as a point set.
An i-spread of Γ is a partition of in elements of type i. Complete i-spreads are introduced naturally as above.
The following observation is trivial.
Letbe an i-spread of Γ. Let χ be an element of type i which is not contained in, and letbe the subset of elements of, which meet χ in at least one point. Note thatinduces a partition of the points of χ. Then, if we cannot find a setof elements of type i such that
each element ofis a subset of the point set
the elements ofpartition ,
we have thatcannot be completed to an i-spread of Γ.
If could be completed to an i-spread of Γ, must have elements which all are subsets of , and which partition . ☐
If ℓ is the maximum number of elements of type i contained in (where both and the elements of type i are seen as point sets) and which are pairwise disjoint, the number of elements in a maximal partial i-spread containing is at most (note that as χ itself is in .)
Remark3 (Back to the prime case).
Note that the first part of Theorem 6 is an application of the construction method of Proposition 2 (with).
Motivated by Proposition 2, a -set with carrier χ is a set of mutually disjoint generators of , which all meet some generator such that
and such that cannot be partitioned by a partial spread of generators which includes χ.
Note that the number of elements of a -set is not uniquely determined by N and d (one -set could also have different carriers).
Proposition3 (Existence of UMUBs).
The existence of -sets implies the existence of complete partial spreads which are not spreads, that is, of unextendible sets of Pauli classes.
Let be a -set. If is not contained in a spread, then we are done, so suppose it is contained in some spread . Then, by Proposition 2, we have that cannot be completed to a spread. ☐
Note that this proposition can also be applied to general incidence geometries.
For the rest of this section, we suppose d is an odd prime.
Before proceeding, recall that a spread (of generators) of is regular if the following property is satisfied: if for every three distinct elements in , is the set of lines of which meet each of , then there are further elements of which meet every line in . By definition, is called the regulus defined by . It is well known that every symplectic polar space has regular spreads.
Now, let be a regular spread of . Take a generator χ which meets some in a space of dimension (and note that this is possible), and let be the set of elements in which meet χ. Note that . Now consider a generator which contains , and which is disjoint from the elements in (for the existence of such a generator, see Appendix A). Then, because is a regular spread, we conjecture that is a -set with carrier χ. By Proposition 3, this would suggest that (nice) unextendible sets of Pauli classes of always exist (ignoring possible sizes completely), that is, that complete partial spreads which are not spreads always exist in . This fact is not necessarily true for general incidence geometries which have i-spreads (using the nomenclature of above): consider, for instance, an incidence geometry for which the elements of type i precisely form one i-spread. Thus, although the existence of complete partial spreads is probably seen as folklore, we see the need to formalize this matter.
Note that ifis such that there does not exist a generator besides χ which is contained in, then
Adapting the situation to the special case(noting that a different definition is then needed for regular spread), we would end up with an unextendible set of Pauli classes of size .
8.2. Reformulation of Conjecture 2
We have seen that Conjecture 2 is only true when or . On the other hand, there seems to be some evidence that the bound of that conjecture could be attained (see, e.g., the previous remark). Thus, we reformulate the conjecture as follows—we will do it in geometric terms, over all fields with ℓ a prime power, but again, for the applications in quantum information theory, one takes ℓ to be prime.
For each prime power ℓ and positive integer, there exists a spreadofand a generator χ not in, such thatis a complete partial spread of size .
When , one obtains the same bound as in Conjecture 2.
We hope to come back to this conjecture, and the construction theory of -sets, in the near future.
9. “Galois MUBs”
When or 11, there exist extremely exotic examples of unextendible sets of Pauli classes of size in (details, constructions and references can be found in ). We propose calling the corresponding sets of MUBs “Galois MUBs” because they are all related to exotic two-transitive representations of special linear groups, as was first noted by Galois (see also ). They are extremely special amongst Pauli classes of , d being a prime, or even all Hilbert spaces, due to the following result.
(see , Section 2.7).Let Γ be a generalized quadrangle of finite thick order, and letbe a complete partial spread of Γ. If Γ is not contained in a spread of Γ, then
As we have seen that the points and lines of any form a generalized quadrangle, this result applies to and hence also to Pauli classes in .
A set of commuting Pauli classes of sizein, d being a prime, is never unextendible.
The aforementioned examples inare the only known examples which effectively reach the -bound, and conjecturally they are the only ones. Geometrically, they also satisfy very extreme properties, which rightly translate to Pauli classes. Many more details on the geometric structure of partial spreads of sizein generalized quadrangles of ordercan be found in the author’s paper .
The next theorem, taken from the author’s paper , says that when , up to isomorphism, there is only one complete partial spread of size in .
().Up to isomorphism, there is only one complete partial spread of size 3 in .
Up to isomorphism, there is only one unextendible set of Pauli classes of size 3 in .
Remark6 (On isomorphisms).
Of course, one needs to specify what isomorphisms between unextendible sets of Pauli classes are. Because of the General Connecting Theorem (and the bijection ρ), we propose saying that unextendible sets of Pauli classesandinare isomorphic if there exists an automorphism ofwhich maps the complete partial spreadcorresponding to, to the complete partial spreadcorresponding to . This is a natural notion of “isomorphism,” since automorphisms ofpreserve collinearity of points, and thus also the commuting of operators at the level of Pauli operators. One could also define isomorphisms through the general Pauli group. On the other hand, such automorphisms induce automorphisms ofanyhow, while the converse is not true. Thus, one misses (many) maps which should be considered as isomorphisms in this way.
The geometry underlying the space of the generalized Pauli operators/matrices characterizing N d-level quantum systems, with and d any prime, is that of the symplectic polar space of rank N and order d, .
Using this connection, we have derived a short proof of a recent result of  on the unextendibility of MUB sets in (their Theorem 1). Moreover, we generalized this result for all dimensions = square of a prime, and presented a construction of a class of maximal partial spreads of for any odd prime power ℓ, attaining new bounds in generically every case, which rightly translates to (weakly) UMUBs in the case ℓ is a prime. We also gave a very short proof of Theorem 5 of .
We then considered Conjecture 1 of , which conjecturally generalizes the aforementioned result of  to any dimension and showed that it is true if and only if or .
We then indicated that an alternative version of the conjecture might be true and described several new construction techniques to obtain weakly unextendible sets of MUBs.
Finally, we discussed a special kind of weakly unextendible set of MUBs, called “Galois MUBs,” which attain an optimal bound in relation to being unextendible.
The author wishes to thank Marcus Grassl and William K. Wootters for various interesting communications on the subject of this note.
Conflicts of Interest
The author declares no conflict of interest.
Appendix A. Properties of (Symplectic) Polar Spaces
Consider the space , d being a prime, and . We restrict ourself to the prime case because that is the class which translates to Pauli operators, but everything works when d is a prime power as well.
Appendix A.1. The Map μ
Let γ be a generator, and x a point not in γ. Then, a well-known property (of general polar spaces)—see e.g., p. 137, (c) in —says that there is a unique generator on x which meets γ in an -space, (if “⊥” is the orthogonality relation coming from the associated alternating form, then ). Now, let γ and be disjoint generators. Then, it is not hard to see that for every -space δ in , there is precisely one point such that is a generator (). Thus, the map
is a bijection between the points of γ and the hyperplanes of .
Appendix A.2. Generators on (N − 2)-Spaces
Now, let α be a totally isotropic -space of ; it is well known that there are generators containing α. Let β be a generator disjoint from α. By the surjectivity above, it follows that some has to intersect β, and then necessarily in one point.
Appendix A.3. Structure of Spreads
Let be a spread of , d being a prime, and . Let , and let τ be an -space in α. Let be the other generators containing τ. By the previous paragraph, each element of meets some () in precisely one point (and, conversely, each point of , , is, of course, contained in precisely one spread element.)
Appendix B. Some More Properties of W3(d)
As in the first appendix, for the applications in quantum information theory considered here, one wants to think of d as being prime, but everything holds when d is a prime power as well. What we do ask is that d is odd.
Let be a classical spread of ; point-line dualize to obtain — becomes an elliptic quadric, denoted . Now, let x be a point of not contained in . As usual, let “⊥” denote the orthogonality relation associated to the defining quadratic form of (say, corresponding to the variety with equation ). Then, is a conic section, and since d is odd, there is precisely one other point for which
Note that the latter expression is equal to .
Going back to (i.e., dualizing again), we obtain that if X is a line of not in , and is the set of lines in which meet X, then there is precisely one other line Y not in such that
Saniga, M.; Planat, M. Multiple qubits as symplectic polar spaces of order two. Adv. Stud. Theor. Phys.2007, 1, 1–4. [Google Scholar]
Thas, K. The geometry of generalized Pauli operators of N-qudit Hilbert space, and an application to MUBs. Europhys. Lett.2009, 86. [Google Scholar] [CrossRef]
Mandayam, P.; Bandyopadhyay, S.; Grassl, M.; Wootters, W.K. Unextendible mutually unbiased bases from Pauli classes. Quantum Inf. Comput.2014, 14, 823–844. [Google Scholar]
Bandyopadhyay, S.; Boykin, P.O.; Roychowdhury, V.; Vatan, F. A new proof of the existence of mutually unbiased bases. Algorithmica2002, 34, 512–528. [Google Scholar]
Hirschfeld, J.W.P. Projective Geometries over Finite Fields, 2nd ed.; Oxford University Press: Oxford, UK, 1998. [Google Scholar]
Payne, S.E.; Thas, J.A. Finite Generalized Quadrangles; Research Notes in Mathematics 110; Pitman Advanced Publishing Program: Boston, MA, USA, 1984. [Google Scholar]
Cimrakova, M.; De Winter, S.; Fack, V.; Storme, L. On the smallest maximal partial ovoids and spreads of the generalized quadrangles W(q) and Q(4,q). Eur. J. Comb.2007, 28, 1934–1942. [Google Scholar] [CrossRef]
De Winter, S.; Thas, K. Bounds on partial ovoids and spreads in classical generalized quadrangles. Innov. Incid. Geom.2010, 11, 19–33. [Google Scholar]
Thas, K. Nonexistence of complete (st − t/s)-arcs in generalized quadrangles of order (s,t). J. Comb. Theory Ser. A2002, 97, 394–402. [Google Scholar] [CrossRef]
Ueberberg, J. Foundations of Incidence Geometry. Projective and Polar Spaces; Springer Monographs in Math; Springer: Berlin/Heidelberg, Germany, 2011. [Google Scholar]