Abstract
Genuinely entangled subspaces (GESs) are the class of completely entangled subspaces that contain only genuinely multiparty entangled states. They constitute a particularly useful notion in the theory of entanglement but also have found an application, for instance, in quantum error correction and cryptography. In a recent study (Demianowicz and Augusiak in Phys Rev A 98:012313, 2018), we have shown how GESs can be efficiently constructed in any multiparty scenario from the so-called unextendible product bases. The provided subspaces, however, are not of maximal allowable dimensions, and our aim here is to put forward an approach to building such. The method is illustrated with few examples in small systems. Connections with other mathematical problems, such as spaces of matrices of equal rank and the numerical range, are discussed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Genuinely entangled states are a crucial resource for many quantum information processing protocols in networks (see, e.g., [1,2,3,4,5]). Their exhaustive characterization is thus of vital importance for the success of future quantum technologies, and for this reason, it has been the subject of intensive, both theoretical (see, e.g., [6,7,8,9]) and experimental (see, e.g., [10,11,12]), studies.
A particular line of research on entanglement in multipartite systems concerns characterization of subspaces composed only of entangled states. Primarily, these were completely entangled subspaces (CESs), that is, subspaces only with states that are in any way entangled [13,14,15]. Recently, we have witnessed an interest in so-called genuinely entangled subspaces (GESs), i.e., subspaces composed solely of genuinely multiparty entangled (GME) states, or, in other words, void of states displaying any form of separability [16,17,18,19]. The initial interest in CESs and GESs stemmed from the observation that (mixed) states supported on them are, respectively, entangled and GME. However, entangled subspaces have also been proved useful in quantum error correction [20,21,22,23,24] (in particular, k-uniform subspaces [15]) and, very recently, their applicability in cryptographic protocols has been recognized [25]. It is expected that the range of their applications is much wider and they may be a more general resource in protocols where entangled states already serve as such.
One of the main problems in the area is the construction of entangled subspaces, in particular, those of the maximal possible dimensionality. While it is known how to approach it in the case of CESs, the problem remains unsolved in the general case for GESs and only suboptimal with this respect constructions have been put forward [16, 17]. The aim of the present paper is to fill this gap and propose an approach to constructing maximal GESs. Our strategy is to select those subspaces from the set of CESs which are at the same time GESs. The main tool of our treatment of the problem is the characterization of bipartite CESs given in [26] and its application boils down to finding the form of full rank matrices satisfying a certain finite set of conditions.
The paper is organized as follows. In Sect. 2, we provide the necessary background and the notation. In Sect. 3, we introduce a general method of constructing maximal GESs in qubit systems and discuss its application mainly in the three-partite case. Further, in Sect. 4, we show how the method can be applied in the multiparty setup with parties holding qudits instead and illustrate it with an example. Section 5 discusses connections of the main problem with the notions of spaces of matrices of equal rank and the restricted numerical range. We conclude in Sect. 6, where we also point out some potential future research directions and state open problems.
2 Preliminaries
We begin with an introduction of the terminology and the notation.
Notation In the paper, we focus on finite-dimensional product Hilbert spaces, denoted \(\mathcal{H}_{d_1,d_2, \ldots , d_n}={\mathbb {C}}^{d_1}\otimes {\mathbb {C}}^{d_2}\otimes \cdots \otimes {\mathbb {C}}^{d_n}\) or \(\mathcal{H}_{d^n}={\mathbb {C}}^{d}\otimes \cdots \otimes {\mathbb {C}}^{d}\). Subsystems are denoted \(A_1,A_2, \ldots , A_n =: \mathbf {A}\) in the general multipartite case or \(A,B,\ldots \) for smaller systems. For pure states, we use the traditional denotations: \(|\psi \rangle ,|\varphi \rangle ,\ldots \), often adding subscripts corresponding to respective (groups of) parties, e.g., \(|\psi \rangle _{ABC}\). We will use the standard basis for all the parties \(\{|i\rangle \}_{i=0}^{d}\) and the kets will be written as row vectors.
Entanglement An n-partite pure state \(|\psi \rangle _{A_1A_2\dots A_n}\) is said to be fully product if it can be written as \(|\psi \rangle _{A_1A_2\cdots A_n}=|\varphi \rangle _{A_1}\otimes |\phi \rangle _{A_2}\otimes \cdots \otimes |\xi \rangle _{A_n}\). Otherwise it is called entangled. Among entangled states, a particularly interesting class is constituted by genuinely multiparty entangled (GME) states, i.e., those which cannot be written as \(|\psi \rangle _{A_1A_2\cdots A_n}=|\varphi \rangle _{S}\otimes |\phi \rangle _{{\bar{S}}}\) for any bipartite cut (bipartition) \(S | {\bar{S}}\), where S is a subset of the parties and \({\bar{S}}:=\mathbf{A }{\setminus } S\). In other words, a GME state is not biproduct with respect to any bipartite cut of the parties. A canonical example of a GME state is the famous GHZ state \(|GHZ\rangle =1/\sqrt{2}(|00\cdots 0\rangle +|11\cdots 1\rangle )\). A state \(|\psi \rangle \) is called k-product if it is of the form
where \(S_1 \cup S_2 \cup \dots \cup S_k=\mathbf{A }\) is a k-partition. In the particular case \(k=n\), the vector is fully product; when \(k=2\) it is biproduct.
Completely and genuinely entangled subspaces It is a well-established fact that there exist nontrivial subspaces containing only entangled states, so-called completely entangled subspaces (CESs) [13,14,15]. It has been shown that their maximal achievable dimension for \(\mathcal{H}_{d^n}\) is \( D_{\mathrm {max}}^{\mathrm {CES}}=d^n-n d+n-1 = (d^{n-1}+d^{n-2}+\cdots +1-n)(d-1)\).
A characterization of CESs in the bipartite case with a qubit subsystem, i.e., \(\mathcal{H}_{2,m}\), relevant for our purposes, has been given in [26]. We present it in Sect. 3 and further extend it in Sect. 4 to the domain of qudits.
If one additionally imposes the condition that all states in a CES are not only entangled but their entanglement is genuinely multiparty, one then obtains genuinely entangled subspaces (GESs) [16, 17] (see also [15, 27]). Since this notion is crucial in the present paper, we single out their formal definition.
Definition 1
A subspace \(\mathcal{G}\subset \mathcal{H}_{d_1, \ldots , d_n}\) is called a genuinely entangled subspace (GES) of \(\mathcal{H}_{d_1, \ldots , d_n}\) if any \(|\psi \rangle \in \mathcal{G}\) is genuinely multiparty entangled (GME).
To obtain the maximal available dimension of a GES, one needs to consider maximal dimensions of all bipartite CESs and take the smallest among them. It is then easy to see that for \(\mathcal{H}_{d^n}\) [27]:
Importantly, it is in fact achievable as a set of randomly chosen \(D_{\mathrm {max}}^{{\mathrm {GES}}}\) vectors will typically span a GES. The achievability can also be seen from the construction given in the present paper. We comment on this issue later in the manuscript.
An example of a two-dimensional GES of \(\mathcal{H}_{2^n}\) is given by the span of the already mentioned GHZ state and the W state, \(|W\rangle = 1/\sqrt{n}(|00\dots 001\rangle +|00\dots 010\rangle +\cdots +|10\dots 000\rangle )\). In Refs. [16, 17], we have given few other constructions of GESs working in general multiparty scenarios attaining larger dimensions. In particular, one of these constructions gives a GES of dimension \(d^{n-2}(d-1)^2\). Let us recall it here, for simplicity considering \(\mathcal{H}_{3^3}\). Given is the set of vectors (\(\alpha \in {\mathbb {C}}\)): \( (1,\alpha +\alpha ^3,\alpha ^2+\alpha ^6)\otimes (1,\alpha ^3,\alpha ^6)\otimes (1,\alpha ,\alpha ^2).\) The subspace orthogonal to the span of these vectors is a twelve-dimensional GES. Choosing a set of twelve linearly independent vectors of the form above, one obtains an example of a tripartite non-orthogonal unextendbile product basis.
As a concluding remark, we note that one could also consider ”intermediately” entangled subspaces, i.e., completely entangled subspaces which are not only void of fully product vectors but also lack k-product ones with \(2<k<n\). While they are clearly interesting from the theoretical standpoint, it is an open question whether they are of any practical relevance.
3 Maximal GES in qubit systems
We now turn to the main body of the paper and propose a construction of GESs of maximal dimensionality. As discussed earlier, our strategy is to use a certain characterization of bipartite CESs related to a one versus many parties cut and select from them those which are GESs at the same time.
In this section, we consider multiple qubit Hilbert spaces, i.e., \(\displaystyle \mathcal{H}_{2^n}:=({\mathbb {C}}^{2})^{\otimes n}\). The mentioned relevant characterization of bipartite maximal CESs with a qubit subsystem was given in [26]. We recall it below.
Fact 2
[26] Let \(\mathcal{V}\) be an \((m-1)\)-dimensional CES of \({\mathbb {C}}^2\otimes {\mathbb {C}}^m\). Then there exists a nonsingular transformation \(\mathcal{A}: {\mathbb {C}}^{m} \rightarrow {\mathbb {C}}^{m}\), such that the following vectors span \(\mathcal{V}^{\perp }\) (\(\alpha \in {\mathbb {C}}\))
In our case, \({\mathbb {C}}^{m}=({\mathbb {C}}^{2})^{\otimes (n-1)}\) and we realize that the dimension of the CES agrees with the maximal possible dimension of a GES in this setup: \(2^{n-1}-1\). Our aim is to give a characterization of full rank matrices \(\mathcal{A}\) in (3) leading to GESs.
Before we move to the detailed discussion, let us sketch a general picture of our approach. The condition that \(\mathcal{V}\) is a GES is equivalent to saying that it is void of any biproduct vectors, i.e., we require vectors of the form \(|\psi \rangle _S\otimes |\phi \rangle _{{\bar{S}}}\), for any bipartition \(S|{\bar{S}}\), not to belong to \(\mathcal{V}\). In other words, there can be no such vectors orthogonal to the subspace spanned by the vectors \(|e(\alpha ),f_{\mathcal{A}}(\alpha )\rangle \). In what follows, we strictly formalize the latter condition, which in turn characterizes all \(\mathcal{A}\)’s leading to GESs. We will refer to such characterization of GESs as the \(\mathcal{A}\)-representation.
It is useful to realize that the task is non-trivial and not all full rank matrices will do the job. With this aim, notice that: \((1,\alpha ,\alpha ^2,\ldots ,\alpha ^{2^{n-1}-1})_{A_2\dots A_n}=(1,\alpha ^{2^{n-2}})_{A_2}\otimes (1,\alpha ^{2^{n-3}})A_3\otimes \cdots \otimes (1,\alpha )_{A_n}\). This implies that candidate matrices \(\mathcal{A}\) cannot be product (this in turn precludes, e.g., the simplest choice \(\mathcal{A}={\mathbb {I}}\)) as locally on \(A_1\) and \(A_n\) the subspace spanned by \(|e(\alpha ),f_{\mathcal{A}}(\alpha )\rangle \) is then three-dimensional and there thus exists a vector in \(\mathcal{V}\) which is product across the cut \(A_1 A_n|A_2\dots A_{n-1}\). This is most easily seen for three parties with \(\mathcal{A}={\mathbb {I}}\). We then have the vectors spanning \(\mathcal{V}^{\perp }\): \((1,\alpha )_A\otimes (1,\alpha ^2)_B\otimes (1,\alpha )_C\). The vectors orthogonal to all these vectors are \(|\psi _-\rangle _{AC}\otimes |\gamma \rangle _B\), where \(|\psi _-\rangle =1/\sqrt{2}(|01\rangle -|10\rangle )\) and \(|\gamma \rangle \) is arbitrary.
3.1 General case: n qubits
Let \(\mathcal{V}\) be a subspace whose orthocomplement \(\mathcal{V}^{\perp }\) is given by Eq. (3) with some full rank matrix \(\mathcal{A}: ({\mathbb {C}}^{2})^{\otimes (n-1)} \rightarrow ({\mathbb {C}}^{2})^{\otimes (n-1)}\) acting on \(A_2, \ldots ,A_n\) subsystems. Choose a \(S|{\bar{S}}\) bipartition, \(S\cup {\bar{S}}=\mathbf{A }\), with \(|S|=k\), \(|{\bar{S}}|=n-k\) (\(k \le \lfloor {n/2}\rfloor \)) and consider the following (unnormalized) vectors which are product along this cut:
The complex conjugation of the elements is for later convenience. We assume the parties are ordered lexicographically within each group and the permutation leading to such order is \(\sigma \). For example, for \(S=A_2 A_5\) and \({\bar{S}}=A_1 A_3 A_4\), we have \(\sigma (12345)=25134\). One can notice that due to this ordering the permutation actually determines uniquely the bipartition.
A biproduct vector (4) belongs to \(\mathcal{V}\) if the following holds:
Assuming
and representing the indices of \(\beta _i\) and \(g_j\) in base-2, condition (5) then rewrites for all \(\alpha \):
The LHS of the above is just a polynomial of degree \(2^{n-1}\) in \(\alpha \). Since the condition must hold for any \(\alpha \), each coefficient of this polynomial must be equal to zero, i.e.,
where \( m\in \{0,1, \ldots ,2^{n-1}\} \). If we now treat \(\beta _i^{*}\)’s as parameters, Eq. (8) is a homogeneous system of \(2^{n-1}+1\) linear equations on \(2^{n-k}\) unknowns \(g_i^{*}\) with the principal matrix given by:
with \(m_l \in \{ 0,1 \}\). The demand for a biproduct vector satisfying (5) not to exist, i.e., \(\mathcal{V}\) to be a GES, requires that the system only has the trivial solution. This only happens when the principal matrix (9) of the system is full rank, i.e.,
for all \(\beta _i\)’s not being simultaneously zero. In other words, there cannot be such values of \(\beta _i\)’s for which \(r(\mathcal{X}_{\sigma })<2^{n-k}\). The latter condition can be examined using the minors of order \(2^{n-k}\) of \(\mathcal{X}_{\sigma }\). There are \({2^{n-1}+1} \atopwithdelims (){2^{n-k}}\) such minors being (homogeneous) polynomials in \(\beta _i\)’s, and the rank deficiency of \(\mathcal{X}_{\sigma }\) would require them to have a common root.
We perform analogous analyses for all bipartitions, which is equivalent to all permutations with properly ordered parties and in consequence all \(k\le \lfloor {n/2}\rfloor \) bipartitions (except \(A_1|A_2\dots A_n\), which by construction does need to be examined as the subspace is a CES across this cut) as mentioned earlier. We thus arrive at the following.
Theorem 3
Let \(\mathcal{V}\) be the subspace of \(\mathcal{H}_{2^n}\) orthogonal to the span of the vectors \(|e(\alpha ),f_{\mathcal{A}}(\alpha )\rangle \) (3). Then, \(\mathcal{V}\) is a GES of dimension \(2^{n-1}-1\) iff matrices \(\mathcal{X}_{\sigma }\)’s (9) for all permutations \(\sigma \) are full rank for any values of \(\beta \)’s.
For a given matrix \(\mathcal{A}\), these conditions can be checked using the Gröbner basis [28]. Finding explicit form of a GES is an easy task once we know \(\mathcal{A}\) as one can for example determine the projection onto \(\mathcal{V}^{\perp }\) and then find the orthogonal projection. However, finding a general characterization of \(\mathcal{A}\) for any n and d, or, in other words, characterizing the set of all GESs through their \(\mathcal{A}\)-representations, seems a hopeless task due to the complexity of the problem. It appears that all one could hope for are examples of classes of good matrices for particular cases. One can also easily construct necessary conditions by considering particular classes of biproduct states not to be present in a subspace. This will be our approach in further parts of the paper.
We should note that a generic \(\mathcal{A}\) will lead to a GES as generically the sets of polynomials under scrutiny will not have common roots. Nevertheless, a random matrix will not be satisfactory from the practical point of view and in further parts we will be interested in some structured examples of constructions.
In what follows, an \(\mathcal{A}\) matrix for a setup with n parties holding d level subsystems will be denoted by \(\mathcal{A}^{(n,d)}\).
3.2 Three-qubits case
Let us illustrate the method with the three-qubits case. In principle, in this case it is possible to solve the problem fully and characterize all matrices \(\mathcal{A}\) for GESs. However, the characterization one obtains is very complicated and does not offer much insight into the structure of the matrices, which could later serve as a hint for generalizations for more parties. We will thus be satisfied with an exemplary few parameters class of matrices for GESs and an easy closed-form necessary condition for the form of \(\mathcal{A}\).
3.2.1 General case
The vectors spanning the subspace orthogonal to a GES are now given by:
with a properly chosen full rank matrix
The matrix \(\mathcal{A}^{(3,2)}\) must be constructed in such a way that there are no product, across the cuts B|AC and C|AB, nonzero vectors perpendicular to the subspace spanned by vectors (11). Let us concentrate on the first case, while for the second one the reasoning goes along the same lines with the only difference that the matrix elements are reshuffled in a certain manner.
Let the vectors product across B|AC be written as [cf. (4)]
If there existed such a vector in the subspace under scrutiny, the following would be true for any value of \(\alpha \) [cf. (7)]:
which is equivalent to the statement that for every power of \(\alpha \) in the above its coefficient equals to zero [cf. (8)], i.e.,
For any \(\beta \), Eq. (15) is a system of linear equations with the unknowns \(f_{k\mu }\) (\(k,\mu =0,1\)). Its principal matrix is five-by-four and has the elements [cf. (9)]:
In the more appealing matrix form, this reads
where \({\mathfrak {a}}_i\)’s are the rows of \(\mathcal{A}\) written as columns.
System (15) has a nontrivial solution for \(f_{k\mu }\) iff there exists a value of \(\beta \) such that \(r[\mathcal{X}_{B|AC}(\beta )]<4\).
Analogously, for the AB|C cut we consider vectors \((g_{00}^*,g_{01}^*,g_{10}^*,g_{11}^*)_{AB}\otimes (1,\gamma ^*)_C\) and obtain the corresponding matrix:
or, in the matrix form,
which compared to (16) simply involves the swap of the second and the third row of \(\mathcal{A}^{(3,2)}\). Again, if there existed a product vector for this cut, there would be a value of \(\gamma \) for which \(r[\mathcal{X}_{C|AB}(\gamma )]<4\).
The following then provides a necessary and sufficient condition for a matrix \(\mathcal{A}^{(3,2)}\) to correspond to an \(\mathcal{A}\)-representation of a GES (cf. theorem 3).
Fact 4
\(\mathcal{A}^{(3,2)}\) corresponds to a GES of \(\mathcal{H}_{2^3}\) iff the matrices \(\mathcal{X}_{B|AC}(\beta )\) (16) and \(\mathcal{X}_{C|AB}(\gamma )\) (18) are rank four for any \(\beta \) and \(\gamma \), respectively.
In turn, characterizing all GESs in three-qubit systems amounts to determining the form of \(\mathcal{A}^{(3,2)}\)’s for which \(\mathcal{X}_{B|AC}(\beta )\) and \(\mathcal{X}_{C|AB}(\gamma )\) are full rank for any values of the parameters. Since an \(m\times n\) (\(m \ge n\)) matrix has the rank lower than n iff m distinct \(n\times n\) minors are zero, the full rank condition on each of the matrices tells us that all of its five principal minors cannot vanish simultaneously for some value of the parameter (\(\beta \) or \(\gamma \)), i.e., they cannot have a common root when treated as polynomials in this parameter. In principle, this can be checked analytically for any given matrix as the minors are now polynomials of degree at most four and the methods of solving such polynomial equations are available. Unfortunately, we have not been able to obtain a compact closed-form characterization of such \(\mathcal{A}\)’s. It is nevertheless possible to obtain a simple necessary condition on these matrices by considering particular biproduct states, namely the ones with \(\beta ,\gamma =0\) and \(\beta ,\gamma =\infty \), which correspond to, respectively, \((1,0)_{B,C}\) and \((0,1)_{B,C}\). Imposing now that \(r[\mathcal{X}_{B|AC}(0)]=r[\mathcal{X}_{B|AC}(\infty )]=r[\mathcal{X}_{C|AB}(0)]=r[\mathcal{X}_{C|AB}(\infty )]=4\), we obtain the announced necessary condition.
Theorem 5
Let \(A_{ij}\) be the submatrix of \(\mathcal{A}^{(3,2)}\) composed of its ith and jth rows. If the subspace orthogonal to the span of vectors (3) is a GES, then neither of the matrices \(A_{01}\), \(A_{23}\), \(A_{02}\), or \(A_{13}\) is of the form:
where \(\mathbf {a},\mathbf {b},\mathbf {c}\in {\mathbb {C}}^{2}\), \(\xi ,\xi _1,\xi _2\in {\mathbb {C}}\).
The proof is moved to Appendix C.
These forms can be further restricted by considering non-existence of other vectors in a subspace, e.g., \(|+\rangle |i\rangle |j\rangle \) and \(|-\rangle |i\rangle |j\rangle \), \(i,j=0,1\). One can also reduce the number of parameters at the very beginning and consider only matrices of the form: \({\mathcal {A}}=|0\rangle \langle 0|\otimes (a|0\rangle \langle 0|+b|1\rangle \langle 1|)+|0\rangle \! \langle 1 |\otimes A_{01}+|1\rangle \! \langle 0 |\otimes A_{10}+|1\rangle \langle 1|\otimes A_{11}\), with \(a,b \ge 0\) and two-by-two matrices \(A_{ij}\). This is due to the fact that we can always write \({\mathcal {A}}=\sum _{i,j} |i\rangle \! \langle j |\otimes A_{ij}\) and perform \({\mathbb {1}}\otimes U (\cdot ) \mathbb {{1}}\otimes V^{\dagger }\) with U, V stemming from the singular value decomposition of \(A_{00}\) (this also applies to other blocks). The unitaries are local operations and do not change entanglement properties of the system. The latter approach, however, does not appear to simplify significantly the problem.
3.2.2 Fully solved class of \(\mathcal{A}^{(3,2)}\)
Here we give an exemplary class of matrices, which can be fully solved to give the necessary and sufficient conditions. Consider the following \(\mathcal{A}\) matrix:
with \(a_{1,1} a_{2,2}-a_{1,2} a_{2,1} \ne 0\) to satisfy the full rank condition. Using simple algebra, one finds that it gives a GES if and only if the following conditions are fullfilled:
3.2.3 Decomposition of a Hilbert space into GESs
Here we give an example of a decomposition of \(\mathcal{H}_{2^3}\) into three GESs, with two of them obviously being maximal, i.e., of dimension 3. Such decompositions into orthogonal entangled subspaces are known for CESs [29] and may be of use in quantum error correction.
To this purpose, let us consider a particular matrix from the class considered above, namely \(\mathcal{A}^{(3,2)}(x=2)\). It is easy to verify that the following set of (not orthonormalized) vectors span the corresponding GES: \( |\varphi _1\rangle = |001\rangle - |010\rangle -2|011\rangle -2|110\rangle \), \(|\varphi _2\rangle = |001\rangle - |010\rangle +2|011\rangle -2|101\rangle \), \(|\varphi _3\rangle = |001\rangle + |010\rangle -|100\rangle \). Let us call it \({\hbox {GES}}_1^{(3)}\) with the superscript standing for its dimension. One immediately notices that in its orthocomplement there are the following two GME states which themselves span a two-dimensional GES: \(|\psi _1\rangle =|{\hbox {GHZ}}\rangle =|000\rangle +|111\rangle ,\;\;|\psi _2\rangle =|001\rangle +|010\rangle +2|100\rangle \). Any state orthogonal to \(|\psi _1\rangle \), \(|\psi _2\rangle \), and \({\hbox {GES}}_1^{(3)}\) must have the form: \(|{\tilde{\psi }}_3\rangle =a_0|000\rangle +b_0 |001\rangle -b_0 |010\rangle +d_0|011\rangle +(b_0+d_0)|101\rangle +(b_0-d_0)|110\rangle -a_0|111\rangle \). We also require that the span of \(|\psi _1\rangle \), \(|\psi _2\rangle \), and \(|{\tilde{\psi }}_3\rangle \) is also a GES. An exemplary (unnormalized) state satisfying these conditions is (\(a_0=b_0=0\), \(d_0=1\)): \(|\psi _3\rangle =|011\rangle +|101\rangle - |110\rangle \). Let us denote: \( {\hbox {GES}}_2^{(3)}=\mathrm {span}\{ |\psi _1\rangle , |\psi _2\rangle ,|\psi _3\rangle \}. \) The remaining two-dimensional subspace is: \(\mathcal{H}_2=\mathrm {span}\{|000\rangle -|111\rangle , |001\rangle -|010\rangle +|101\rangle +|110\rangle \}\). It is easy to verify that it is again a GES, call it \({\hbox {GES}}_3^{(2)}\). In turn, we have the decomposition: \( \mathcal{H}_{2^3}={\hbox {GES}}_1^{(3)} \oplus {\hbox {GES}}_2^{(3)} \oplus {\hbox {GES}}_3^{(2)}\).
3.3 Four qubits example
In case of a larger number of parties, the characterization is very difficult due to the number of the bipartite cuts which need to be considered. We thus only give an example of a binary symmetric matrix for a GES. The matrix reads as follows:
The spanning vectors for this GES are given in Appendix A.
4 Maximal GES in qudit systems
We now treat the case of higher-dimensional subsystems. We concentrate on the case of equal local dimensions, but the result can be easily generalized to any dimensions. It turns out that a reasoning similar to the one given in Sect. 3 can also be successfully applied here. This is due to the following lemma.
Lemma 6
Let \(\mathcal{V}^{\perp }\) be the subspace spanned by the vectors (\(\alpha \in {\mathbb {C}}\))
with a full rank matrix \(\mathcal{A}: ({\mathbb {C}}^{d})^{\otimes (n-1)} \rightarrow ({\mathbb {C}}^{d})^{\otimes (n-1)}\). Then, the subspace \(\mathcal{V}\) orthogonal to \(\mathcal{V}^{\perp }\) is a CES. In particular, all vectors from \(\mathcal{V}\) are entangled across the \(A_1|A_2\dots A_n\) cut. The dimension of \(\mathcal{V}\) is maximal for the given dimensions and reads:
This lemma follows directly from [15], where a construction of CESs without the matrix \(\mathcal{A}\) was put forward. This additional element in the construction allows us to select those CESs which are also GESs of \(\mathcal{H}_{d^n}\). The derivation of the conditions on \(\mathcal{A}\) goes along the same lines as in Sect. 3.1, and we omit it here as it does not provide any additional insight.
We stress that in this case not all CESs are given through the characterization put forward in Lemma 6, and in turn, not all GESs may be obtained through this approach. In principle, it could even be the case that none of the GESs is characterized in this way. Nevertheless, a generic matrix will again do the job so we are sure that this is not the case. Clearly, the problem of finding a description of good \(\mathcal{A}\)’s gets much more involved here even for the tripartite case as there are no closed-form expression for roots of polynomials of degree larger than four. In the general (n, d) case, it is thus natural to consider necessary conditions for the form of the matrix as discussed earlier but even for the simplest cases they get quite involved and we only give an exemplary matrix in the qutrit case for three parties in the following subsection.
4.1 Qutrit example
As an illustration, we provide a simple binary matrix giving the \(\mathcal{A}\)-representation of a GES in the case of three qutrits:
The explicit form of the spannig vectors for this GES is given in Appendix B.
5 Connections with other fields
In this section, we discuss connections of the problem of constructing GESs to other fields, in particular, spaces of matrices of equal rank [30] (see also [31] for an application of the concept in the area of quantum error correction) and the restricted, in particular local/product, numerical range [32, 33]. In the former case, the connection is established for the maximal GESs, in the latter—it is a general relation regardless of the dimension of a subspace.
5.1 Spaces of matrices of equal rank perspective
We concentrate here for simplicity on the three-qubit case, but the argument easily generalizes to other cases as well.
One quickly realizes that the matrix \(\mathcal{X}_{B|AC}(\beta )\) (16) is just of the general form \(\mathcal{X}_{B|AC}(\beta )= \mathcal{A}_1 + \beta \mathcal{A}_2\), with five-by-four matrices \(\mathcal{A}_i\) having elements drawn in a certain way from \(\mathcal{A}\). Let us introduce the space of matrices spanned by \(\mathcal{A}_1\) and \(\mathcal{A}_2\): \({\mathfrak {X}}_{B|AC}=\mathrm {span}\{\mathcal{A}_1,\mathcal{A}_2\}\). The condition on \(\mathcal{A}\) to gives rise to the \(\mathcal{A}\)-representation of a GES, i.e., that for all values of \(\beta \) it holds: \(r[\mathcal{X}_{B|AC}(\beta )]=4\), is then equivalent to the demand that \({\mathfrak {X}}_{B|AC}\) is a so-called 4-subspace, that is, all its elements are rank four. Analogously, one introduces another space of matrices \({\mathfrak {X}}_{C|AB}\) stemming from considering biproduct vectors across the AB|C cut. Our problem of finding good \(\mathcal{A}\)’s for the three qubit case can be thus phrased as follows.
Problem. Which full rank \(\mathcal{A}\)’s lead to \({\mathfrak {X}}_{B|AC}\) and \({\mathfrak {X}}_{C|AB}\) being 4-subspaces (i.e., containing only rank-4 elements )?
It should be noted that the connection we have established here is of different nature than the one from [27], where construction of entangled subspaces was related to the notion of spaces of matrices of bounded (from below) or equal rank.
5.2 Restricted numerical range perspective
Various notions of a numerical range have appeared in the quantum information literature in the recent years [32,33,34,35,36]. The one relevant for the present problem—local or product range—belongs to a general class of the restricted numerical range. Let us recall these notions.
The following set is called the restricted numerical range of a matrix A [32]:
where T specifies the type of pure states. If the states belong to the set of fully product states, denote it \(\varOmega _{\otimes ^n}\) , one then deals with the local or product numerical range\(\varLambda _{\otimes ^n}\) [33].
We propose to consider a more general notion, namely that of the k-product numerical range of a matrix A, which we define as follows
where \(\varOmega _{\otimes ^k}\) is the set of k-product vectors. For \(k=n\), this notion is equivalent to the above-defined product numerical range, which we now propose to call fully product one to avoid confusion. In the particular case of \(k=2\), we have the biproduct numerical range\(\varLambda _{\otimes ^2}\). The trivial case \(k=1\) simply recovers the numerical range of A, \(\varLambda (A)\) [37]. Obviously, for a given matrix, the following inclusion relation holds: \( \varLambda _{\otimes ^n} \subseteq \varLambda _{\otimes ^{n-1}} \subseteq \cdots \subseteq \varLambda _{\otimes ^2} \subseteq \varLambda _{\otimes ^1}\equiv \varLambda . \)
Let us now discuss the connection of these notions with the problem of determining whether a subspaces is completely or genuinely entangled. Assume a decomposition of the whole Hilbert space \(\mathcal{H}\): \(\mathcal{H}=\mathcal{P}\oplus \mathcal{Q}\), where \(\mathcal{P}\) is a GES or a CES with projection P; the projector onto \(\mathcal{Q}\) is Q, i.e., \(P+Q=\mathbb {1}\). Clearly, it holds:
or, stating it differently:
In consequence, we have the following fact.
Fact 7
Let \(\mathcal{H}=\mathcal{P}\oplus \mathcal{Q}\), and let P and Q be projections onto, respectively, \(\mathcal{P}\) and \(\mathcal{Q}\). Subspace \(\mathcal{P}\) is a
- (a)
GES iff \(1 \notin \varLambda _{\otimes ^2} (P)\), or, equivalently, \(0 \notin \varLambda _{\otimes ^2} (Q)\),
- (b)
CES iff \(1 \notin \varLambda _{\otimes ^n} (P)\), or, equivalently, \(0 \notin \varLambda _{\otimes ^n} (Q)\).
In some applications, it might be convenient to consider a more specified notion. Let \(\varOmega _{\otimes ^k}^{\mathrm {str.}} \) be the set of strictly k-product vectors, that is, k-product ones for which none of the local vectors can further be written in a product form. We then define the strictly k-product numerical range of A as follows: \( \varLambda _{\otimes ^k}^{\mathrm {str.}} (A)=\{ \langle \psi | A | \psi \rangle : \Vert |\psi \rangle \Vert =1, |\psi \rangle \in \varOmega _{\otimes ^k} ^{\mathrm {str.}} \}. \)
Concluding, let us note that the set \(\varOmega _T\) in (27) can also be taken to be the set \(\varOmega _{k-{{\mathrm {produc.}}}}\) of so-called k-producible states, that is, states which can be written as a product of at most k-partite states. We then arrive at the notion of the k-producible numerical range: \( \varLambda _{k-{\mathrm {produc.}}} (A)=\{ \langle \psi | A | \psi \rangle : \Vert |\psi \rangle \Vert =1, |\psi \rangle \in \varOmega _{k-{\mathrm {produc.}}} \}. \) This notion is expected to be useful, e.g., in the study of the entanglement depth [38, 39] in multiuser networks.
6 Conclusions and outlook
We have considered the problem of constructing genuinely entangled subspaces (GESs) of the maximal possible dimension in any multipartite setup. The solution we have proposed here relies on a certain characterization of completely entangled subspaces (CESs) and boils down to finding a form of full rank matrices fulfilling some finite set of conditions. Unfortunately, we have not been able to provide a general form of such matrices for any number of parties holding systems of arbitrary dimensions. Nevertheless, we have proposed how to construct necessary conditions for these matrices and found their explicit form in the three-qubit case. We have also provided exemplary matrices for some other small systems. Finally, connections with the notions of spaces of matrices of equal rank and the restricted numerical range have been discussed.
The results of the present paper raise the question about a general construction of the matrix \(\mathcal{A}\) working in any dimensions and number of parties. It seems a very difficult task, but it appears that some methods from different fields might prove useful with this aim. It may also be possible that some other approach could more easily provide a general construction of GESs. In particular, it seems that the most promising one might be based on the notion of spaces of matrices of bounded rank already successfully applied for completely entangled subspaces. This will be considered elsewhere [M. Demianowicz and R. Augusiak, in preparation].
References
Tóth, G.: Multipartite entanglement and high-precision metrology. Phys. Rev. A 85, 022322 (2012)
Epping, M., Kampermann, H., Macchiavello, C., Bruß, D.: Multi-partite entanglement can speed up quantum key distribution in networks. New J. Phys. 19(9), 093012 (2017)
Yeo, Y., Chua, W.K.: Teleportation and dense coding with genuine multipartite entanglement. Phys. Rev. Lett. 96, 060502 (2006)
Ribeiro, J., Murta, G., Wehner, S.: Fully device-independent conference key agreement. Phys. Rev. A 97, 022307 (2018)
Yamasaki, H., Pirker, A., Murao, M., Dür, W., Kraus, B.: Multipartite entanglement outperforming bipartite entanglement under limited quantum system sizes. Phys. Rev. A 98, 052313 (2018)
Augusiak, R., Demianowicz, M., Tura, J.: Constructing genuinely entangled multipartite states with applications to local hidden variables and local hidden states models. Phys. Rev. A 98, 012321 (2018)
Kłobus, W., Laskowski, W., Paterek, T., Wieśniak, M., Weinfurter, H.: Higher dimensional entanglement without correlations. Eur. Phys. J. D 73(2), 29 (2019)
Shen, Y., Chen, L.: arXiv:1905.10505 [quant-ph] (2019)
Zhao, J.Y., Zhao, H., Jing, N., Fei, S.M.: Detection of genuine multipartite entanglement in multipartite systems. Int. J. Theor. Phys. 58(10), 3181 (2019)
Barreiro, J., Bancal, J.D., Schindler, P., Nigg, D., Hennrich, M., Monz, T., Gisin, N., Blatt, R.: Demonstration of genuine multipartite entanglement with device-independent witnesses. Nat. Phys. 9, 559 (2013)
Mičuda, M., Stárek, R., Provazník, J., Leskovjanová, O., Mišta, L.: Verifying genuine multipartite entanglement of the whole from its separable parts. Optica 6(7), 896 (2019)
Mooney, G.J., Hill, C.D., Hollenberg, L.C.L.: Entanglement in a 20-qubit superconducting quantum computer. Sci. Rep. 9(1), 13465 (2019)
Bennett, C.H., DiVincenzo, D.P., Mor, T., Shor, P.W., Smolin, J.A., Terhal, B.M.: Unextendible product bases and bound entanglement. Phys. Rev. Lett. 82, 5385 (1999)
Bhat, B.V.R.: A completely entangled subspace of maximal dimension. Int. J. Quantum Inform. 04(02), 325 (2006)
Parthasarathy, K.: A completely entangled subspace of maximal dimension. Proc. Math. Sci. 114(4), 365 (2004)
Demianowicz, M., Augusiak, R.: From unextendible product bases to genuinely entangled subspaces. Phys. Rev. A 98, 012313 (2018)
Demianowicz, M., Augusiak, R.: Entanglement of genuinely entangled subspaces: exact, approximate, and numerical results. Phys. Rev. A 100, 062318 (2019)
Wang, K., Chen, L., Zhao, L., Guo, Y.: \(4 \times 4 \) unextendible product basis and genuinely entangled space. Quantum Inf. Process. 18(7), 202 (2019)
Agrawal, S., Halder, S., Banik, M.: Genuinely entangled subspace with all-encompassing distillable entanglement across every bipartition. Phys. Rev. A 99, 032335 (2019)
Gour, G., Wallach, N.R.: Entanglement of subspaces and error-correcting codes. Phys. Rev. A 76, 042309 (2007)
Raissi, Z., Gogolin, C., Riera, A., Acín, A.: Optimal quantum error correcting codes from absolutely maximally entangled states. J. Phys. A Math. Theor. 51(7), 075301 (2018)
Ball, S.: arXiv:1907.04391v2 [quant-ph] (2019)
Huber, F., Grassl, M.: arXiv:1907.07733 [quant-ph] (2019)
Alsina, D., Razavi, M.: Absolutely maximally entangled states, quantum maximum distance separable codes, and quantum repeaters. arXiv:1907.11253 [quant-ph] (2019)
Shenoy, A.H., Srikanth, R.: Maximally nonlocal subspaces. J. Phys. A Math. Theor. 52(9), 095302 (2019)
Augusiak, R., Tura, J., Lewenstein, M.: A note on the optimality of decomposable entanglement witnesses and completely entangled subspaces. J. Phys. A Math. Theor. 44, 212001 (2011)
Cubitt, T., Montanaro, A., Winter, A.: On the dimension of subspaces with bounded schmidt rank. J. Math. Phys. 49(2), 022107 (2008)
Buchberger, B.: A theoretical basis for the reduction of polynomials to canonical forms. Aequationes Math. 4, 374 (1970)
Augusiak, R., Sarbicki, G., Lewenstein, M.: Optimal decomposable witnesses without the spanning property. Phys. Rev. A 84, 052323 (2011)
Westwick, R.: Spaces of linear transformations of equal rank. Linear Algebra Appl. 5(1), 49 (1972)
Demianowicz, M.: Decoherence-free communication over multiaccess quantum channels. Open. Syst. Inf. Dyn. 20, 1350007 (2013)
Gawron, P., Puchała, Z., Miszczak, J.A., Skowronek, Ł., Zyczkowski, K.: Restricted numerical range: a versatile tool in the theory of quantum information. J. Math. Phys. 51(10), 102204 (2010)
Puchała, Z., Gawron, P., Miszczak, J.A., Skowronek, Ł., Choi, M.D., Zyczkowski, K.: Product numerical range in a space with tensor product structure. Linear Algebra Appl. 434(1), 327 (2011)
Choi, M.D., Kribs, D.W., Zyczkowski, K.: Higher-rank numerical ranges and compression problems. Linear Algebra Appl. 418(2), 828 (2006)
Schulte-Herbrueggen, T., Dirr, G., Helmke, U., Glaser, S.J.: The significance of the c-numerical range and the local c-numerical range in quantum control and quantum information. Linear Multilinear Algebra 56(1–2), 3 (2008)
Demianowicz, M., Horodecki, P., Życzkowski, K.: Multiaccess quantum communication and product higher rank numerical range. Quantum Inf. Comput. 13, 541 (2013)
Hausdorff, F.: Der wertvorrat einer bilinearform. Math. Z. 3(1), 314 (1919)
Sørensen, A.S., Mølmer, K.: Entanglement and extreme spin squeezing. Phys. Rev. Lett. 86, 4431 (2001)
Aloy, A., Tura, J., Baccari, F., Acín, A., Lewenstein, M., Augusiak, R.: Device-independent witnesses of entanglement depth from two-body correlators. Phys. Rev. Lett. 123, 100507 (2019)
Acknowledgements
R.A. acknowledges the support from the Foundation for Polish Science through the First TEAM project (First TEAM/2017-4/31) cofinanced by the European Union under the European Regional Development Fund.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
GES from Sect. 3.3 (four qubits example)
The GES corresponding to matrix (23) is: \( {\mathrm {GES}}(\mathcal{A}^{(4,2)})= \mathrm {span}\{ |0100\rangle +|0110\rangle -|0111\rangle +|1000\rangle -|1111\rangle , |0001\rangle +|0010\rangle -|0100\rangle -|0110\rangle -|1110\rangle , 2 |0000\rangle +5|0010\rangle -|0011\rangle -|0100\rangle -5|0101\rangle -4|0110\rangle -|0111\rangle +2 |1100\rangle ,\)\(2|0000\rangle -|0001\rangle +|0010\rangle +|0011\rangle +2|0100\rangle -3|0101\rangle -|0110\rangle -|1001\rangle , 2|0000\rangle -|0001\rangle +2|0010\rangle +|0011\rangle +|0100\rangle -4 |0101\rangle -2|0110\rangle -|1000\rangle +|1101\rangle , |0000\rangle -|0001\rangle -|0010\rangle +2|0011\rangle \)\(+ |0100\rangle -2|0101\rangle +|0111\rangle -|1000\rangle +|1011\rangle , 4|0000\rangle -4|0001\rangle +|0010\rangle +3|0011\rangle +3|0100\rangle -7|0101\rangle -2|0110\rangle +|0111\rangle -2|1000\rangle +2|1010\rangle \}.\) That this is indeed a GES can be verified with the Gröbner basis for the corresponding set of polynomials as given in the general formulation of the method or with the techniques considered in [17].
GES from Sect. 4.1 (three qutrits example)
The GES is as follows: \( {\mathrm {GES}}(\mathcal{A}^{(3,3)})=\mathrm {span}\{|010\rangle -|021\rangle -|211\rangle ,|001\rangle -|010\rangle -|020\rangle +2|021\rangle -\)\(|100\rangle ,|001\rangle +|011\rangle -|012\rangle +|021\rangle -|112\rangle ,|001\rangle -|012\rangle +|021\rangle +|022\rangle -|110\rangle ,|001\rangle -|012\rangle -|020\rangle +|021\rangle -|122\rangle +|221\rangle ,2|001\rangle -|010\rangle -|012\rangle -|020\rangle +2|021\rangle -|200\rangle ,|001\rangle -|011\rangle -|012\rangle -|020\rangle \)\(+|021\rangle -|022\rangle +|120\rangle ,|001\rangle -2|010\rangle -|011\rangle -|020\rangle +2|021\rangle -|022\rangle +|102\rangle ,|001\rangle +|002\rangle -2|010\rangle -|020\rangle +2|021\rangle \)\(+|022\rangle -|212\rangle ,|001\rangle -|012\rangle -|020\rangle +|021\rangle -|022\rangle -|122\rangle +|210\rangle ,2|001\rangle -|010\rangle -|011\rangle -|012\rangle -2|020\rangle +2|021\rangle +|101\rangle ,2|001\rangle -|010\rangle -|012\rangle -|020\rangle +2|021\rangle +|022\rangle \)\(+|121\rangle ,2|001\rangle +|002\rangle -2|010\rangle -|012\rangle -2|020\rangle +3|021\rangle -|111\rangle ,2|001\rangle +|002\rangle -2|010\rangle +|011\rangle -|012\rangle -2|020\rangle +3|021\rangle +|122\rangle -|220\rangle ,|001\rangle +|002\rangle -|010\rangle -|012\rangle -|020\rangle +2|021\rangle +|022\rangle +|122\rangle -|202\rangle ,\)\( |001\rangle +|002\rangle -2|010\rangle +|011\rangle -|012\rangle -2|020\rangle +3|021\rangle +|022\rangle -|201\rangle \}.\)
Proof of Theorem 5.
Let \(\mathcal{A}^{(3,2)}=\sum _{m,\mu ,n,\nu =0}^1 a_{m\mu ,n\nu }|m\mu \rangle \langle n\nu |\). The superscripts (3, 2) will be omitted onwards. The proof operates on the degree-two minors: \(m_{ij,kl}= a_{{\hat{i}},{\hat{k}}} a_{{\hat{j}},{\hat{l}}} - a_{{\hat{i}},{\hat{l}}} a_{{\hat{j}},{\hat{k}}}\)\(i,j,k,l=0,1,2,3\), where \({\hat{x}}\) denotes the binary representation of a number x. Conditions for rank deficiency of matrices \(\mathcal{X}_{B|AC}(0)\), \(\mathcal{X}_{B|AC}(\infty )\), \(\mathcal{X}_{C|AB}(0)\), and \(\mathcal{X}_{C|AB}(\infty )\) involve the minors for, respectively, \(ij=01,23,02,13\), and in this sense they are decoupled. Moreover, all the conditions have an identical structure for any value of ij, meaning that these cases do not need to be treated separately, but rather collectively, and the obtained characterization must be valid for all ij’s in the range. For clarity, the minors will thus shortly be written as \(m_{kl}\) with subscripts denoting columns from which the elements of \(\mathcal{A}\) are drawn. The said conditions, with the above notation convention, are given by the system of equations:
Our strategy is to find forms of \(\mathcal{A}\)’s, for which either of the above systems has a solution under \(\det \mathcal{A}\ne 0\). Negating them we obtain the forms which \(\mathcal{A}\) cannot assume, i.e., a necessary condition on its form. Already here we notice that the trivial solutions \(m_{kl}=0\) for all kl (for any ij) are not allowed as they do not comply with the full rank condition on \(\mathcal{A}\).
First, we simply inspect (33) without caring for the fact that the variables are the minors of \(\mathcal{A}\) and the matrix must be full rank—these assumptions will enter the proof only later. The analysis of (33) will be split into two cases: (1) \(m_{01}=0\) and (2) \(m_{01}\ne 0\) within which possible subcases will be analyzed.
(1) The condition \(m_{01}=0\) implies \(m_{02}=m_{03}=0\). We have further:
(1x) if \(m_{12}=0\) then \(m_{13}=0\), while \(m_{23}\) is arbitrary,
(1y) if \(m_{12}\ne 0\) then \(\displaystyle m_{23}=m_{13}^2/m_{12}\).
(2) For \(m_{01}\ne 0\), we have the following subcases:
(2x) If \(m_{02}=0\), then \(m_{03}+m_{12}=0\), \(m_{13}=0\), and \(\displaystyle m_{23}=m_{03}^2/m_{01}\),
(2y) For \(m_{02}\ne 0\), we have the following
(\(2y^{(1)}\)) if \(m_{03}=0\) then \(\displaystyle m_{12}=m_{02}^2/m_{01}\) and \(m_{13}=m_{23}=0\),
(\(2y^{(2)}\)) if \(m_{03} \ne 0\) then \( m_{12}=(m_{02}^2-m_{01} m_{03})/m_{01}\), \( m_{13}=m_{02} m_{03}/m_{01}\), and \( m_{23}=m_{03}^2/m_{01}\).
Let us now take into account that m’s are minors of full rank \(\mathcal{A}\) and see what structures of \(\mathcal{A}\) are possible if (33) holds. For any ij let \(A_{ij}\) be the two-by-four matrix residing in the i-th and the j-th row of \(\mathcal{A}\). Let us write this matrix as
with two-dimensional column vectors \(\mathbf {a}_{i}\). Notice that the condition \(r(A)=4\) requiers \(r(A_{ij})=2\). Using the notation above, we have for the minors: \(m_{kl}=|\mathbf {a}_k , \mathbf {a}_l |\), where \(|\mathbf {x},\mathbf {y}|\) is the determinant of a two-by-two matrix with columns being \(\mathbf {x}\) and \(\mathbf {y}\).
We now list the consequences of the conditions derived above.
(1) This condition means that either \(\mathbf {a}_0 =\mathbf {0}\) (other vectors arbitrary) or \(\mathbf {a}_0 \sim \mathbf {a}_1 \sim \mathbf {a}_2 \sim \mathbf {a}_3\) with \(\mathbf {a}_0\ne \mathbf {0}\). In the latter case \(r(A_{ij})= 1\), which contradicts the condition \(r(A)=4\). This implies that it must hold \(\mathbf {a}_0 =\mathbf {0}\). Then, we have:
(1x) [assuming \(\mathbf {a}_0=\mathbf {0}\)] Either \(\mathbf {a}_1=\mathbf {0}\) or \(\mathbf {a}_1 \sim \mathbf {a}_2 \sim \mathbf {a}_3\) (\(\mathbf {a}_1\ne \mathbf {0}\)) holds, in which case it would be that \(r(A_{ij})=1\), again a contradiction with \(r(A)=4\). We then conclude that \(\mathbf {a}_1=\mathbf {0}\) and
with \(\det {\tilde{A}}_{ij}\ne 0\), where is the two-by-two zero matrix.
(1y) [assuming \(\mathbf {a}_0=\mathbf {0}\)] Now, \(\mathbf {a}_1\) and \(\mathbf {a}_2\) are linearly independent. We consider two possibilities within this case.
(\(1y^{(1)}\)) If \(\mathbf {a}_3 =\mathbf {0}\) the matrix \(A_{ij}\) necessarily assume the form:
with full rank \({\tilde{A}}_{ij}\).
(\(1y^{(2)}\)) On the other hand, \(\mathbf {a}_3 \ne \mathbf {0}\) implies
with \(\mathbf {a}_3\) such that \( m_{23}= m_{13}^2/m_{12}\). Since \({\tilde{A}}_{ij}= \left( \mathbf {a}_1, \mathbf {a}_2 \right) \) is full rank, \( \mathbf {a}_1\) and \(\mathbf {a}_2\) span \({\mathbb {C}}^2\), one can write \(\mathbf {a}_3=\alpha \mathbf {a}_1 +\beta \mathbf {a}_2\) for some \(\alpha \) and \(\beta \). Now, \(m_{23}=|\mathbf {a}_2,\mathbf {a}_3|= -\alpha m_{12}\) and \(m_{13}=|\mathbf {a}_1,\mathbf {a}_3|= \beta m_{12}\), which finally means
Notice that \(\beta =0\) recovers form (36) so the latter form does not need to be considered separately.
(2) We have \(A_{ij}=\left( {\tilde{A}}_{ij} ^{2\times 2}, X_{ij}^{2\times 2} \right) \) with full rank \({\tilde{A}}_{ij} ^{2\times 2} =\left( \mathbf {a}_0, \mathbf {a}_1 \right) \) and \(X_{ij}=\left( \mathbf {a}_2 , \mathbf {a}_3 \right) \) to be determined.
(2x) The vanishing of \(m_{02}=|\mathbf {a}_0 , \mathbf {a}_2|\), implies \(\mathbf {a}_2 \sim \mathbf {a}_0 \ne \mathbf {0} \).
(\(2x^{(1)}\)) If \(\mathbf {a}_2 =\mathbf {0}\) then \(m_{03} =m_{12}=m_{23}=0\), which with the condition \(m_{13}=0\) gives
(\(2x^{(2)}_k\)) If \(\mathbf {a}_2 \ne \mathbf {0}\) then \(\mathbf {a}_2 =\alpha \mathbf {a}_0\) for some \(\alpha \ne 0\). This implies that \(m_{12}=|\mathbf {a}_1 , \mathbf {a}_2 |=-\alpha m_{01}\) and, in turn, \(m_{03}=\alpha m_{01}\). Since \(m_{13}=|\mathbf {a}_1 , \mathbf {a}_3 |=0\), we have \(\mathbf {a}_3=\beta \mathbf {a}_1\), which gives \(\displaystyle |\mathbf {a}_2 , \mathbf {a}_3 |=|\alpha \mathbf {a}_0 , \beta \mathbf {a}_1 |=\alpha \beta m_{01}= m_{23}=m_{03}^2/m_{01} = \alpha ^2 m_{01}\), from which it follows \(\alpha =\beta \). Concluding this subcase:
Although we have assumed that \(\alpha \) is nonzero, the case \(\alpha =0\) can be included here as it simply recovers form (39). Actually, we can go even further and include \(\alpha = \infty \), as this reproduces form (35).
(2y) The non-vanishing of \( m_{02}=|\mathbf {a}_0 , \mathbf {a}_2 |\) implies that \(\mathbf {a}_0 \) and \(\mathbf {a}_2\) are both nonzero and they are not proportional to each other (they are linearly independent).
(\(2y^{(1)}\)) The vanishing of \(m_{03}= |\mathbf {a}_0 , \mathbf {a}_3 |\) implies \(\mathbf {a}_3 \sim \mathbf {a}_0\) with \(\mathbf {a}_0\ne \mathbf {0}\). Further, \(m_{13}= |\mathbf {a}_1 , \mathbf {a}_3 |=0\) implies \(\mathbf {a}_3 \sim \mathbf {a}_1\) with \(\mathbf {a}_1 \ne \mathbf {0}\) (since \(m_{01}\ne 0\)). Both conditions can only hold if \(\mathbf {a}_3=\mathbf {0}\). We thus have:
with \(\mathbf {a}_2\) such that the condition \( m_{12}=m_{02}^2/m_{01}\) holds. By the same argument as in (\(1y^{(2)}\)) above, we have
(\(2y^{(2)}\)) We set \(\mathbf {a}_2=\alpha _1 \mathbf {a}_0+\beta _1 \mathbf {a}_1\), \(\mathbf {a}_3=\alpha _2 \mathbf {a}_0+\beta _2 \mathbf {a}_1\) with nonzero \(\beta _i\)’s. By the arguments similar to the ones above, we get:
We notice that for \(\beta _2 =0\) this form reproduces the case \((2y^{(1)})\) and for \(\beta _1 =0\)—the case \((2x^{(2)})\).
Concluding, the forbidden forms of \(A_{ij}\), \(ij=01,23,02,13\), are given by (38) and (43) just as claimed.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Demianowicz, M., Augusiak, R. An approach to constructing genuinely entangled subspaces of maximal dimension. Quantum Inf Process 19, 199 (2020). https://doi.org/10.1007/s11128-020-02688-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11128-020-02688-4