Grassmann angles between real or complex subspaces André L. G. Mandolesi ∗ January 13, 2021 Abstract The Grassmann angle improves upon similar angles between subspaces that measure volume contraction in orthogonal projections. It works in real or complex spaces, with important differences, and is asymmetric, what makes it more efficient when dimensions are distinct. It can be seen as an angle in Grassmann algebra, being related to its products and those of Clifford algebra, and gives the Fubini-Study metric on Grassmannians, an asymmetric metric on the full Grassmannian, and Hausdorff distances between full sub-Grassmannians. We give formulas for computing it in arbitrary bases, and identities for angles with certain families of subspaces, some of which are linked to real and complex Pythagorean theorems for volumes and quantum probabilities. Unusual features of the angle with an orthogonal complement, or the angle in complex spaces, are examined. Keywords: angle between subspaces, Grassmann angle, exterior algebra, Grassmann algebra, Grassmannian, Grassmann manifold. MSC: 51M05, 15A75, 51F99 1 Introduction Measuring the separation between subspaces is important in many areas, from geometry and linear algebra to functional analysis [38], statistics [30], data mining [33], etc. In high dimensions no single number fully describes this separation, and different concepts are used, each suitable for certain arXiv:1910.00147v5 [math.MG] 11 Jan 2021 purposes: Jordan’s principal or canonical angles [34], Dixmier’s minimal angle [12], Friedrichs angle [15], maximal angle [40], gap [35], and others. Some important references on the subject are [1, 11, 48, 49, 57], and recent works can be found in [4, 16, 17, 24, 29, 38]. The literature on angles between subspaces can be confusing to the uninitiated. Many authors call their favorite concept the angle, as if the term had a clear and unique meaning, and present it without mention of its peculiarities, limitations, or alternatives. Equivalent concepts are ∗Instituto de Matemática e Estatística, Universidade Federal da Bahia, Av. Adhemar de Barros s/n, 40170-110, Salvador - BA, Brazil. E-mail: [email protected] 1 given different names, or presented in ways which seem unrelated. All this can lead even experienced researchers to error (for an example, see the discussion of Dorst et al. [13] in appendix A). Certain volume projection angles describe how volumes contract in orthogonal projections between subspaces [18, 24]. They keep reappearing under various names and more or less equivalent definitions, in terms of principal angles [17, 29], determinants [54], Grassmann [21, 32, 56, 57] or Clifford algebras [13], and sometimes lie behind other formalisms [1, 48]. They are often defined, or results proven, only for real spaces, but not all concepts adapt well to complex spaces, whose geometry is important in applications like quantum information and computation [5, 51, 52]. We organize and extend the theory on such angles, refining and uni- fying them in a Grassmann angle. Its properties are systematically de- veloped, and results scattered in the literature are brought together and generalized, in a formalism that makes them clearer and proofs simpler. A subtly important alteration makes the angle asymmetric for sub- spaces of distinct dimensions, reflecting their dimensional asymmetry. This leads to better properties and more general results, like a triangle inequality for angles between subspaces of different dimensions. Our angle works well in complex spaces, and most results remain valid, though it is not the same as the angle in the underlying real spaces. Its relation to volume projection changes in a crucial way, which is related to complex Pythagorean theorems for volumes [44], with important con- sequences for quantum theory [45]. Grassmann angles correspond to angles in Grassmann algebra. They give the Fubini-Study metric in Grassmannians, an asymmetric metric in the full Grassmannian, making it more than a disjoint union of Grass- mannians, and Hausdorff distances between full sub-Grassmannians. The angle with a subspace and with its orthogonal complement are linked to products of cosines and sines of principal angles studied by some authors [1, 48, 49]. The relation between these angles is not that of an usual angle complement, being quite intricate. Its analysis gives an ob- struction on complex structures for pairs of real subspaces. In [43] we relate Grassmann angles to various products of Grassmann and Clifford algebras (inner and exterior products, contractions, Clifford geometric product, etc.), and use them to get geometric interpretations for the Clifford product and some of its properties. Here we use the products to get formulas for computing the angles in arbitrary bases, and identities for the angles with certain families of subspaces, some of which are related to generalized Pythagorean theorems [44] and quantum probabilities. Section 2 has concepts and results we will need. Section 3 introduces the Grassmann angle and its basic properties, and section 4 describes its metric properties. Section 5 studies the angle with an orthogonal complement. Section 6 gives formulas for computing the angles. Sections 7 and8 give various identities, and section 9 closes with a few remarks. Appendix A reviews similar angles. 2 2 Preliminaries In this article X is a n-dimensional vector space over R (real case) or C (complex case), with an inner product h·; ·i (Hermitian product in the complex case, with conjugate linearity in the left entry). In the complex case, VR denotes the underlying real space of a complex subspace V , with inner product Reh·; ·i. A k-subspace is a k-dimensional subspace, and a line is a 1-subspace. Given v 2 X, the sets Rv = fcv : c 2 Rg and, in the complex case, Cv = fcv : c 2 Cg are, respectively, the real and complex lines of v, if v 6= 0. In the complex case, Rv is to be understood as a real line in XR. V PW and PW denote, respectively, the orthogonal projections X ! W and V ! W , for subspaces V; W ⊂ X. 2.1 Angles between real or complex vectors We review definitions of angles between vectors, as the complex case has different angles [55]. We also include the 0 vector. Definition. For nonzero v; w 2 X, the (Euclidean) angle θv;w 2 [0; π], π C the Hermitian angle γv;w 2 [0; 2 ], the complex angle ζv;w 2 and, if v 6? w, the phase difference φv;w 2 R from v to w, are given by Rehv; wi jhv; wij cos θ = ; cos γ = ; v;w kvkkwk v;w kvkkwk (1) hv; wi hv; wi cos ζ = ; eiφv;w = : v;w kvkkwk jhv; wij We also define θ0;0 = γ0;0 = ζ0;0 = θ0;v = γ0;v = ζ0;v = 0 and θv;0 = π γv;0 = ζv;0 = 2 . Angles with 0 are unusual, and have the asymmetry θ0;v 6= θv;0. We will find this to be helpful, being due to dim R0 6= dim Rv. In the real case, ζv;w = θv;w is the usual angle between vectors, γv;w = minfθv;w; π − θv;wg, and φv;w = 0 or π. In the complex case (fig. 1), θv;w is the usual angle in XR, γv;w = θv;P v for P = PCw, and φv;w is the oriented angle from P v to w (positive in the orientation given by the iφv;w complex structure). If v 6? w then cos ζv;w = e cos γv;w and cos θv;w = cos φv;w cos γv;w: (2) Definition. In the complex case, v; w 2 X, v 6? w, are aligned if φv;w = 0. This happens when hv; wi > 0, and means P v = cw for some c > 0. The phase difference is such that eiφv;w v gets aligned with w. 2 ◦ Example 2.1. In C , for v = (1; 1) and w = (i−1; 0) we have θv;w = 120 , p 3π ◦ ◦ 2 i 4 γv;w = 45 , φv;w = 135 and ζv;w = arccos( 2 e ). 2.2 Angles between subspaces In high dimensions the relative position of subspaces can be more com- plicated than in R3, and many angle concepts are used to describe it. We review some of them, and specify simple cases in which we drop the qualifiers and just talk about the angle between subspaces. 3 Figure 1: Angles for complex vectors. 2.2.1 Minimal and directed maximal angles Let V; W ⊂ X be nonzero subspaces. min π Definition. The minimal angle θV;W 2 [0; 2 ] between V and W is min θV;W = min fθv;w : v 2 V; w 2 W; v 6= 0; w 6= 0g. In the complex case, using γv;w instead of θv;w gives the same result. Even if the minimal angle is useful at times, the information it provides min is limited. For example, θV;W = 0 if, and only if, V \ W 6= f0g, in which case it tells us nothing else about the relative position of V and W . max π Definition. The directed maximal angle θV;W 2 [0; 2 ] from V to W is max θV;W = max min θv;w. v2V w2W max If dim V ≤ dim W then θV;W is their largest principal angle, described max π below, otherwise θV;W = 2 . 2.2.2 Principal angles Detailed information about the relative position of subspaces requires a list of principal angles [17, 20, 34]. Definition. Let V; W ⊂ X be nonzero subspaces, p = dim V , q = dim W and m = minfp; qg. Orthonormal bases (e1; : : : ; ep) of V and (f1; : : : ; fq) of W are associated principal bases, formed by principal vectors, with π principal angles 0 ≤ θ1 ≤ ::: ≤ θm ≤ 2 , if hei; fj i = δij cos θi: (3) Note that θi = θei;fi (= γei;fi in the complex case) for 1 ≤ i ≤ m.