Skip to main content
Erschienen in: Foundations of Computational Mathematics 2/2021

27.05.2020

The Grassmannian of affine subspaces

verfasst von: Lek-Heng Lim, Ken Sze-Wai Wong, Ke Ye

Erschienen in: Foundations of Computational Mathematics | Ausgabe 2/2021

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The Grassmannian of affine subspaces is a natural generalization of both the Euclidean space, points being 0-dimensional affine subspaces, and the usual Grassmannian, linear subspaces being special cases of affine subspaces. We show that, like the Grassmannian, the affine Grassmannian has rich geometrical and topological properties: It has the structure of a homogeneous space, a differential manifold, an algebraic variety, a vector bundle, a classifying space, among many more structures; furthermore, it affords an analogue of Schubert calculus and its (co)homology and homotopy groups may be readily determined. On the other hand, like the Euclidean space, the affine Grassmannian serves as a concrete computational platform on which various distances, metrics, probability densities may be explicitly defined and computed via numerical linear algebra. Moreover, many standard problems in machine learning and statistics—linear regression, errors-in-variables regression, principal components analysis, support vector machines, or more generally any problem that seeks linear relations among variables that either best represent them or separate them into components—may be naturally formulated as problems on the affine Grassmannian.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
In certain areas of algebraic geometry and representation theory, notably Langland’s program, the term ‘affine Grassmannian’ widely refers to a functor associated with an algebraic group, which is completely unrelated to the sense in which it is used in this article.
 
2
Definition 2 has appeared in [26, Definition 3.1]. We reproduce it here for the reader’s easy reference.
 
3
A projection matrix satisfies \(P^2 = P\) and an orthogonal projection matrix is in addition symmetric, i.e., \(P^{\scriptscriptstyle {\mathsf {T}}}= P\). Despite its name, an orthogonal projection matrix P is not an orthogonal matrix unless P is an identity matrix.
 
4
Definition 3 has appeared in [26, Definition 3.4]. We reproduce it here for the reader’s easy reference.
 
5
A cell decomposition of a topological space X is a partition of X into a disjoint union of open subsets \(\{X_i\}_{i\in I}\) such that for each \(i\in I\) there is a continuous map \(f:B^{n_i} \rightarrow X\) from the unit closed ball \(B^{n_i}\) of dimension \(n_i\) to X satisfying (i) the restriction of f to the interior of \(B^{n_i}\) is a homeomorphism onto \(X_i\); and (ii) the image \(f(\partial B^{n_i})\) is contained in the union of finitely many \(X_j\)’s with \(\dim X_j < \dim X_i\).
 
Literatur
1.
Zurück zum Zitat Absil, P.-A., Mahony, R., & Sepulchre, R. (2008) Optimization Algorithms on Matrix Manifolds, Princeton University Press, Princeton, NJ.CrossRef Absil, P.-A., Mahony, R., & Sepulchre, R. (2008) Optimization Algorithms on Matrix Manifolds, Princeton University Press, Princeton, NJ.CrossRef
2.
Zurück zum Zitat Absil, P.-A., Mahony, R., & Sepulchre, R. (2004) Riemannian geometry of Grassmann manifolds with a view on algorithmic computation. Acta Appl. Math., 80, no. 2, pp. 199–220.MathSciNetCrossRef Absil, P.-A., Mahony, R., & Sepulchre, R. (2004) Riemannian geometry of Grassmann manifolds with a view on algorithmic computation. Acta Appl. Math., 80, no. 2, pp. 199–220.MathSciNetCrossRef
3.
Zurück zum Zitat Achar, P. N. & Rider, L. (2015) Parity sheaves on the affine Grassmannian and the Mirković–Vilonen conjecture. Acta Math., 215, no. 2, pp. 183–216.MathSciNetCrossRef Achar, P. N. & Rider, L. (2015) Parity sheaves on the affine Grassmannian and the Mirković–Vilonen conjecture. Acta Math., 215, no. 2, pp. 183–216.MathSciNetCrossRef
4.
Zurück zum Zitat Alekseevsky, D. & Arvanitoyeorgos, A. (2007) Riemannian flag manifolds with homogeneous geodesics. Trans. Am. Math. Soc., 359, no. 8, pp. 3769–3789.MathSciNetCrossRef Alekseevsky, D. & Arvanitoyeorgos, A. (2007) Riemannian flag manifolds with homogeneous geodesics. Trans. Am. Math. Soc., 359, no. 8, pp. 3769–3789.MathSciNetCrossRef
5.
Zurück zum Zitat Belkin, M. & Niyogi, P. (2001) Laplacian eigenmaps and spectral techniques for embedding and clustering. Proc. Adv. Neural Inform. Process. Syst., 14, pp. 586–691. Belkin, M. & Niyogi, P. (2001) Laplacian eigenmaps and spectral techniques for embedding and clustering. Proc. Adv. Neural Inform. Process. Syst., 14, pp. 586–691.
6.
Zurück zum Zitat Björck, Å. & Golub, G. H. (1973) Numerical methods for computing angles between linear subspaces. Math. Comput., 27 (1973), no. 123, pp. 579–594.MathSciNetCrossRef Björck, Å. & Golub, G. H. (1973) Numerical methods for computing angles between linear subspaces. Math. Comput., 27 (1973), no. 123, pp. 579–594.MathSciNetCrossRef
7.
Zurück zum Zitat Borel, A. (1953) Sur la cohomologie des espaces fibrés principaux et des espaces homogènes de groupes de Lie compacts. Ann. Math., 57, pp. 115–207.MathSciNetCrossRef Borel, A. (1953) Sur la cohomologie des espaces fibrés principaux et des espaces homogènes de groupes de Lie compacts. Ann. Math., 57, pp. 115–207.MathSciNetCrossRef
8.
Zurück zum Zitat Brown, E. H., Jr (1982) The cohomology of \(B\!{{\rm SO}}_n\) and \(B\!{{\rm O}}_n\) with integer coefficients. Proc. Am. Math. Soc., 85 (1982), no. 2, pp. 283–288. Brown, E. H., Jr (1982) The cohomology of \(B\!{{\rm SO}}_n\) and \(B\!{{\rm O}}_n\) with integer coefficients. Proc. Am. Math. Soc., 85 (1982), no. 2, pp. 283–288.
9.
Zurück zum Zitat Chern, S.-S. (1948) On the multiplication in the characteristic ring of a sphere bundle. Ann. Math., 49, pp. 362–372.MathSciNetCrossRef Chern, S.-S. (1948) On the multiplication in the characteristic ring of a sphere bundle. Ann. Math., 49, pp. 362–372.MathSciNetCrossRef
10.
Zurück zum Zitat Chikuse, Y. (2012) Statistics on Special Manifolds, Lecture Notes in Statistics, 174, Springer, New York, NY. Chikuse, Y. (2012) Statistics on Special Manifolds, Lecture Notes in Statistics, 174, Springer, New York, NY.
11.
Zurück zum Zitat Chirikjian, G. S. & Kyatkin, A. B. (2001) Engineering Applications of Noncommutative Harmonic Analysis, CRC Press, Boca Raton, FL.MATH Chirikjian, G. S. & Kyatkin, A. B. (2001) Engineering Applications of Noncommutative Harmonic Analysis, CRC Press, Boca Raton, FL.MATH
12.
Zurück zum Zitat Edelman, A., Arias, T., & Smith, S. T. (1999) The geometry of algorithms with orthogonality constraints. SIAM J. Matrix Anal. Appl., 20, no. 2, pp. 303–353.MathSciNetCrossRef Edelman, A., Arias, T., & Smith, S. T. (1999) The geometry of algorithms with orthogonality constraints. SIAM J. Matrix Anal. Appl., 20, no. 2, pp. 303–353.MathSciNetCrossRef
13.
Zurück zum Zitat Frenkel, E. & Gaitsgory, D. (2009) Localization of \({\mathfrak{g}}\)-modules on the affine Grassmannian. Ann. Math., 170, no. 3, pp. 1339–1381.MathSciNetCrossRef Frenkel, E. & Gaitsgory, D. (2009) Localization of \({\mathfrak{g}}\)-modules on the affine Grassmannian. Ann. Math., 170, no. 3, pp. 1339–1381.MathSciNetCrossRef
14.
Zurück zum Zitat Golub, G. & Van Loan, C. (2013) Matrix Computations, 4th Ed., John Hopkins University Press, Baltimore, MD.MATH Golub, G. & Van Loan, C. (2013) Matrix Computations, 4th Ed., John Hopkins University Press, Baltimore, MD.MATH
15.
Zurück zum Zitat Gordon, C. S. (1996) Homogeneous Riemannian manifolds whose geodesics are orbits. pp. 155–174, S. Gindikin, Ed., Topics in Geometry, Progress in Nonlinear Differential Equations and their Applications, 20, Birkhäuser, Boston, MA. Gordon, C. S. (1996) Homogeneous Riemannian manifolds whose geodesics are orbits. pp. 155–174, S. Gindikin, Ed., Topics in Geometry, Progress in Nonlinear Differential Equations and their Applications, 20, Birkhäuser, Boston, MA.
16.
Zurück zum Zitat Griffiths, P. & Harris, J. (1994) Principles of Algebraic Geometry, Wiley, New York, NY.CrossRef Griffiths, P. & Harris, J. (1994) Principles of Algebraic Geometry, Wiley, New York, NY.CrossRef
17.
Zurück zum Zitat Haro, G., Randall, G., & Sapiro, G. (2006) Stratification learning: Detecting mixed density and dimensionality in high dimensional point clouds. Proc. Adv. Neural Inform. Process. Syst. (NIPS), 26, pp. 553–560. Haro, G., Randall, G., & Sapiro, G. (2006) Stratification learning: Detecting mixed density and dimensionality in high dimensional point clouds. Proc. Adv. Neural Inform. Process. Syst. (NIPS), 26, pp. 553–560.
18.
19.
Zurück zum Zitat Hodge, W. V. D. & Daniel, P. (1994) Methods of Algebraic Geometry, 2, Cambridge University Press, Cambridge, UK.CrossRef Hodge, W. V. D. & Daniel, P. (1994) Methods of Algebraic Geometry, 2, Cambridge University Press, Cambridge, UK.CrossRef
20.
Zurück zum Zitat Husemoller, D. (1994) Fibre bundles. Third edition. Graduate Texts in Mathematics, 20. Springer, New York, 1994. Husemoller, D. (1994) Fibre bundles. Third edition. Graduate Texts in Mathematics, 20. Springer, New York, 1994.
21.
Zurück zum Zitat Klain, D. A. & Rota, G.-C. (1997) Introduction to Geometric Probability, , Cambridge University Press.MATH Klain, D. A. & Rota, G.-C. (1997) Introduction to Geometric Probability, , Cambridge University Press.MATH
22.
23.
Zurück zum Zitat Koev, P. & Edelman, A. (2006) The efficient evaluation of the hypergeometric function of a matrix argument. Math. Comput., 75, no. 254, pp. 833–846.MathSciNetCrossRef Koev, P. & Edelman, A. (2006) The efficient evaluation of the hypergeometric function of a matrix argument. Math. Comput., 75, no. 254, pp. 833–846.MathSciNetCrossRef
24.
Zurück zum Zitat Lam, T. (2008) Schubert polynomials for the affine Grassmannian. J. Am. Math. Soc., 21, no. 1, pp. 259–281.MathSciNetCrossRef Lam, T. (2008) Schubert polynomials for the affine Grassmannian. J. Am. Math. Soc., 21, no. 1, pp. 259–281.MathSciNetCrossRef
25.
Zurück zum Zitat Lerman, G. & Zhang, T. (2011) Robust recovery of multiple subspaces by geometric \(l_p\) minimization. Ann. Statist., 39, no. 5, pp. 2686–2715.MathSciNetCrossRef Lerman, G. & Zhang, T. (2011) Robust recovery of multiple subspaces by geometric \(l_p\) minimization. Ann. Statist., 39, no. 5, pp. 2686–2715.MathSciNetCrossRef
26.
Zurück zum Zitat Lim, L.-H., Wong, K. S.-W., & Ye, K. (2019) Numerical algorithms on the affine Grassmannian, SIAM J. Matrix Anal. Appl., 40, no. 2, pp. 371–393.MathSciNetCrossRef Lim, L.-H., Wong, K. S.-W., & Ye, K. (2019) Numerical algorithms on the affine Grassmannian, SIAM J. Matrix Anal. Appl., 40, no. 2, pp. 371–393.MathSciNetCrossRef
27.
Zurück zum Zitat Ma, Y., Yang, A., Derksen, H., & Fossum, R. (2008) Estimation of subspace arrangements with applications in modeling and segmenting mixed data. SIAM Rev., 50, no. 3, pp. 413–458.MathSciNetCrossRef Ma, Y., Yang, A., Derksen, H., & Fossum, R. (2008) Estimation of subspace arrangements with applications in modeling and segmenting mixed data. SIAM Rev., 50, no. 3, pp. 413–458.MathSciNetCrossRef
28.
Zurück zum Zitat Milnor, J. W. & Stasheff, J. D. (1974) Characteristic Classes, Annals of Mathematics Studies, 76, Princeton University Press, Princeton, NJ. Milnor, J. W. & Stasheff, J. D. (1974) Characteristic Classes, Annals of Mathematics Studies, 76, Princeton University Press, Princeton, NJ.
29.
Zurück zum Zitat Nicolaescu, L. I. (2007) Lectures on the Geometry of Manifolds, 2nd Ed., World Scientific, Hackensack, NJ.CrossRef Nicolaescu, L. I. (2007) Lectures on the Geometry of Manifolds, 2nd Ed., World Scientific, Hackensack, NJ.CrossRef
30.
Zurück zum Zitat Prasolov, V. V. (2007) Elements of Homology Theory, Graduate Studies in Mathematics, 81, AMS, Providence, RI. Prasolov, V. V. (2007) Elements of Homology Theory, Graduate Studies in Mathematics, 81, AMS, Providence, RI.
31.
Zurück zum Zitat Roweis, S. T. & Saul, L. K. (2000) Nonlinear dimensionality reduction by locally linear embedding. Science, 290, no. 5500, pp. 2323–2326.CrossRef Roweis, S. T. & Saul, L. K. (2000) Nonlinear dimensionality reduction by locally linear embedding. Science, 290, no. 5500, pp. 2323–2326.CrossRef
32.
Zurück zum Zitat Sato, M. & Sato, Y. (1983) Soliton equations as dynamical systems on infinite-dimensional Grassmann manifold. Nonlinear partial differential equations in applied science (Tokyo, 1982), pp. 259–271, North-Holland Math. Stud., 81, Lecture Notes Numer. Appl. Anal., 5, North-Holland, Amsterdam. Sato, M. & Sato, Y. (1983) Soliton equations as dynamical systems on infinite-dimensional Grassmann manifold. Nonlinear partial differential equations in applied science (Tokyo, 1982), pp. 259–271, North-Holland Math. Stud., 81, Lecture Notes Numer. Appl. Anal., 5, North-Holland, Amsterdam.
33.
Zurück zum Zitat Sottile, F. (2001) Schubert calculus, Schubert cell, Schubert cycle, and Schubert polynomials. pp. 343–346 in Hazewinkel, M. (Ed.) Encyclopaedia of Mathematics, Supplement III, Kluwer Academic Publishers, Dordrecht, Netherlands. Sottile, F. (2001) Schubert calculus, Schubert cell, Schubert cycle, and Schubert polynomials. pp. 343–346 in Hazewinkel, M. (Ed.) Encyclopaedia of Mathematics, Supplement III, Kluwer Academic Publishers, Dordrecht, Netherlands.
34.
Zurück zum Zitat St. Thomas, B., Lin, L., Lim, L.-H., & Mukherjee, S. (2014) Learning subspaces of different dimensions. Preprint arXiv:1404.6841. St. Thomas, B., Lin, L., Lim, L.-H., & Mukherjee, S. (2014) Learning subspaces of different dimensions. Preprint arXiv:​1404.​6841.
35.
Zurück zum Zitat Takeuchi, M. (1962) On Pontrjagin classes of compact symmetric spaces. J. Fac. Sci. Univ. Tokyo Sect., Iss. 9, pp. 313–328. Takeuchi, M. (1962) On Pontrjagin classes of compact symmetric spaces. J. Fac. Sci. Univ. Tokyo Sect., Iss. 9, pp. 313–328.
36.
Zurück zum Zitat Tenenbaum, J., De Silva, V., & Langford, J. (2000) A global geometric framework for nonlinear dimensionality reduction, Science, 290, no. 5500, pp. 2319–2323.CrossRef Tenenbaum, J., De Silva, V., & Langford, J. (2000) A global geometric framework for nonlinear dimensionality reduction, Science, 290, no. 5500, pp. 2319–2323.CrossRef
37.
Zurück zum Zitat Thomas, E. (1960) On the cohomology of the real Grassmann complexes and the characteristic classes of \(n\)-plane bundles. Trans. Am. Math. Soc., 96, pp. 67–89.MathSciNetMATH Thomas, E. (1960) On the cohomology of the real Grassmann complexes and the characteristic classes of \(n\)-plane bundles. Trans. Am. Math. Soc., 96, pp. 67–89.MathSciNetMATH
38.
Zurück zum Zitat Tyagi, H., Vural, E., & Frossard, P. (2013) Tangent space estimation for smooth embeddings of Riemannian manifolds. Inf. Inference, 2, no. 1, pp. 69–114MathSciNetCrossRef Tyagi, H., Vural, E., & Frossard, P. (2013) Tangent space estimation for smooth embeddings of Riemannian manifolds. Inf. Inference, 2, no. 1, pp. 69–114MathSciNetCrossRef
39.
Zurück zum Zitat Viro, O. Y. & Fuchs, D. B.Homology and Cohomology, Encyclopaedia Math. Sci., 24, Topology II, pp. 95–196, Springer, Berlin, 2004. Viro, O. Y. & Fuchs, D. B.Homology and Cohomology, Encyclopaedia Math. Sci., 24, Topology II, pp. 95–196, Springer, Berlin, 2004.
40.
Zurück zum Zitat Wong, Y.-C. (1967) Differential geometry of Grassmann manifolds. Proc. Nat. Acad. Sci., 57, no. 3, pp. 589–594.MathSciNetCrossRef Wong, Y.-C. (1967) Differential geometry of Grassmann manifolds. Proc. Nat. Acad. Sci., 57, no. 3, pp. 589–594.MathSciNetCrossRef
41.
Zurück zum Zitat Ye, K. & Lim, L.-H. (2016) Schubert varieties and distances between linear spaces of different dimensions. SIAM J. Matrix Anal. Appl., 37, no. 3, pp. 1176–1197.MathSciNetCrossRef Ye, K. & Lim, L.-H. (2016) Schubert varieties and distances between linear spaces of different dimensions. SIAM J. Matrix Anal. Appl., 37, no. 3, pp. 1176–1197.MathSciNetCrossRef
Metadaten
Titel
The Grassmannian of affine subspaces
verfasst von
Lek-Heng Lim
Ken Sze-Wai Wong
Ke Ye
Publikationsdatum
27.05.2020
Verlag
Springer US
Erschienen in
Foundations of Computational Mathematics / Ausgabe 2/2021
Print ISSN: 1615-3375
Elektronische ISSN: 1615-3383
DOI
https://doi.org/10.1007/s10208-020-09459-8

Weitere Artikel der Ausgabe 2/2021

Foundations of Computational Mathematics 2/2021 Zur Ausgabe

Premium Partner