Skip to main content
Erschienen in: Foundations of Computational Mathematics 1/2015

01.02.2015

Probabilistic Analysis of the Grassmann Condition Number

verfasst von: Dennis Amelunxen, Peter Bürgisser

Erschienen in: Foundations of Computational Mathematics | Ausgabe 1/2015

Einloggen

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

search-config
loading …

Abstract

We analyze the probability that a random m-dimensional linear subspace of \(\mathbb{R}^{n}\) both intersects a regular closed convex cone \(C\subseteq\mathbb{R}^{n}\) and lies within distance α of an m-dimensional subspace not intersecting C (except at the origin). The result is expressed in terms of the spherical intrinsic volumes of the cone C. This allows us to perform an average analysis of the Grassmann condition number https://static-content.springer.com/image/art%3A10.1007%2Fs10208-013-9178-4/MediaObjects/10208_2013_9178_IEq3_HTML.gif for the homogeneous convex feasibility problem ∃xC∖0:Ax=0. The Grassmann condition number is a geometric version of Renegar’s condition number, which we have introduced recently in Amelunxen and Bürgisser (SIAM J. Optim. 22(3):1029–1041 (2012)). We thus give the first average analysis of convex programming that is not restricted to linear programming. In particular, we prove that if the entries of \(A\in\mathbb {R}^{m\times n}\) are chosen i.i.d. standard normal, then for any regular cone C, we have https://static-content.springer.com/image/art%3A10.1007%2Fs10208-013-9178-4/MediaObjects/10208_2013_9178_IEq5_HTML.gif . The proofs rely on various techniques from Riemannian geometry applied to Grassmann manifolds.

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!

Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
1
In fact, (P) and (D) are only weak alternatives, as it may be that both (P) and (D) are satisfiable. But the Lebesgue measure of the set of these ill-posed inputs in \(\mathbb{R}^{m\times n}\) is zero.
 
Literatur
1.
Zurück zum Zitat D. Amelunxen, Geometric analysis of the condition of the convex feasibility problem, Ph.D. thesis, Univ. Paderborn (2011). D. Amelunxen, Geometric analysis of the condition of the convex feasibility problem, Ph.D. thesis, Univ. Paderborn (2011).
3.
Zurück zum Zitat D. Amelunxen, P. Bürgisser, A coordinate-free condition number for convex programming, SIAM J. Optim. 22(3), 1029–1041 (2012). CrossRefMATHMathSciNet D. Amelunxen, P. Bürgisser, A coordinate-free condition number for convex programming, SIAM J. Optim. 22(3), 1029–1041 (2012). CrossRefMATHMathSciNet
4.
Zurück zum Zitat A. Belloni, R.M. Freund, A geometric analysis of Renegar’s condition number, and its interplay with conic curvature, Math. Program., Ser. A 119(1), 95–107 (2009). CrossRefMATHMathSciNet A. Belloni, R.M. Freund, A geometric analysis of Renegar’s condition number, and its interplay with conic curvature, Math. Program., Ser. A 119(1), 95–107 (2009). CrossRefMATHMathSciNet
5.
Zurück zum Zitat T. Bonnesen, W. Fenchel, Theorie der Konvexen Körper (Springer, Berlin, 1974). Berichtigter Reprint. CrossRefMATH T. Bonnesen, W. Fenchel, Theorie der Konvexen Körper (Springer, Berlin, 1974). Berichtigter Reprint. CrossRefMATH
6.
Zurück zum Zitat W.M. Boothby, An Introduction to Differentiable Manifolds and Riemannian Geometry, 2nd edn. Pure and Applied Mathematics, Vol. 120 (Academic Press, Orlando, 1986). MATH W.M. Boothby, An Introduction to Differentiable Manifolds and Riemannian Geometry, 2nd edn. Pure and Applied Mathematics, Vol. 120 (Academic Press, Orlando, 1986). MATH
7.
Zurück zum Zitat S. Boyd, L. Vandenberghe, Convex Optimization (Cambridge University Press, Cambridge, 2004). CrossRefMATH S. Boyd, L. Vandenberghe, Convex Optimization (Cambridge University Press, Cambridge, 2004). CrossRefMATH
8.
Zurück zum Zitat P. Bürgisser, Smoothed analysis of condition numbers, in Foundations of Computational Mathematics, Hong Kong, 2008. London Math. Soc. Lecture Note Ser., Vol. 363 (Cambridge University Press, Cambridge, 2009), pp. 1–41. P. Bürgisser, Smoothed analysis of condition numbers, in Foundations of Computational Mathematics, Hong Kong, 2008. London Math. Soc. Lecture Note Ser., Vol. 363 (Cambridge University Press, Cambridge, 2009), pp. 1–41.
9.
Zurück zum Zitat P. Bürgisser, F. Cucker, Condition: The Geometry of Numerical Algorithms. Grundlehren der Mathematischen Wissenschaften, Bd. 349 (Springer, Berlin, 2013). P. Bürgisser, F. Cucker, Condition: The Geometry of Numerical Algorithms. Grundlehren der Mathematischen Wissenschaften, Bd. 349 (Springer, Berlin, 2013).
10.
Zurück zum Zitat P. Bürgisser, F. Cucker, M. Lotz, The probability that a slightly perturbed numerical analysis problem is difficult, Math. Comp. 77(263), 1559–1583 (2008). CrossRefMATHMathSciNet P. Bürgisser, F. Cucker, M. Lotz, The probability that a slightly perturbed numerical analysis problem is difficult, Math. Comp. 77(263), 1559–1583 (2008). CrossRefMATHMathSciNet
11.
Zurück zum Zitat I. Chavel, Riemannian Geometry, 2nd edn. Cambridge Studies in Advanced Mathematics, Vol. 98 (Cambridge University Press, Cambridge, 2006). A modern introduction. CrossRefMATH I. Chavel, Riemannian Geometry, 2nd edn. Cambridge Studies in Advanced Mathematics, Vol. 98 (Cambridge University Press, Cambridge, 2006). A modern introduction. CrossRefMATH
12.
Zurück zum Zitat Z. Chen, J.J. Dongarra, Condition numbers of Gaussian random matrices, SIAM J. Matrix Anal. Appl. 27(3), 603–620 (2005) (electronic). CrossRefMathSciNet Z. Chen, J.J. Dongarra, Condition numbers of Gaussian random matrices, SIAM J. Matrix Anal. Appl. 27(3), 603–620 (2005) (electronic). CrossRefMathSciNet
13.
Zurück zum Zitat D. Cheung, F. Cucker, A new condition number for linear programming, Math. Program., Ser. A 91(1), 163–174 (2001). MATHMathSciNet D. Cheung, F. Cucker, A new condition number for linear programming, Math. Program., Ser. A 91(1), 163–174 (2001). MATHMathSciNet
14.
Zurück zum Zitat F. Cucker, J. Peña, A primal-dual algorithm for solving polyhedral conic systems with a finite-precision machine, SIAM J. Optim. 12(2), 522–554 (2001/2002) (electronic). CrossRef F. Cucker, J. Peña, A primal-dual algorithm for solving polyhedral conic systems with a finite-precision machine, SIAM J. Optim. 12(2), 522–554 (2001/2002) (electronic). CrossRef
16.
Zurück zum Zitat M.P. do Carmo, Riemannian Geometry. Mathematics: Theory & Applications (Birkhäuser Boston, Boston, 1992). Translated from the second Portuguese edition by Francis Flaherty. CrossRefMATH M.P. do Carmo, Riemannian Geometry. Mathematics: Theory & Applications (Birkhäuser Boston, Boston, 1992). Translated from the second Portuguese edition by Francis Flaherty. CrossRefMATH
17.
Zurück zum Zitat M. Epelman, R.M. Freund, A new condition measure, preconditioners, and relations between different measures of conditioning for conic linear systems, SIAM J. Optim. 12(3), 627–655 (2002) (electronic). CrossRefMATHMathSciNet M. Epelman, R.M. Freund, A new condition measure, preconditioners, and relations between different measures of conditioning for conic linear systems, SIAM J. Optim. 12(3), 627–655 (2002) (electronic). CrossRefMATHMathSciNet
18.
Zurück zum Zitat H. Federer, Geometric Measure Theory. Die Grundlehren der mathematischen Wissenschaften, Bd. 153 (Springer, New York, 1969). MATH H. Federer, Geometric Measure Theory. Die Grundlehren der mathematischen Wissenschaften, Bd. 153 (Springer, New York, 1969). MATH
19.
Zurück zum Zitat S. Filipowski, On the complexity of solving feasible linear programs specified with approximate data, SIAM J. Optim. 9(4), 1010–1040 (1999). Dedicated to John E. Dennis Jr. on his 60th birthday. CrossRefMATHMathSciNet S. Filipowski, On the complexity of solving feasible linear programs specified with approximate data, SIAM J. Optim. 9(4), 1010–1040 (1999). Dedicated to John E. Dennis Jr. on his 60th birthday. CrossRefMATHMathSciNet
20.
Zurück zum Zitat R.M. Freund, F. Ordóñez, On an extension of condition number theory to nonconic convex optimization, Math. Oper. Res. 30(1), 173–194 (2005). CrossRefMATHMathSciNet R.M. Freund, F. Ordóñez, On an extension of condition number theory to nonconic convex optimization, Math. Oper. Res. 30(1), 173–194 (2005). CrossRefMATHMathSciNet
21.
Zurück zum Zitat R.M. Freund, J.R. Vera, Condition-based complexity of convex optimization in conic linear form via the ellipsoid algorithm, SIAM J. Optim. 10(1), 155–176 (1999) (electronic). CrossRefMATHMathSciNet R.M. Freund, J.R. Vera, Condition-based complexity of convex optimization in conic linear form via the ellipsoid algorithm, SIAM J. Optim. 10(1), 155–176 (1999) (electronic). CrossRefMATHMathSciNet
22.
Zurück zum Zitat R.M. Freund, J.R. Vera, Some characterizations and properties of the “distance to ill-posedness” and the condition measure of a conic linear system, Math. Program., Ser. A 86(2), 225–260 (1999). CrossRefMATHMathSciNet R.M. Freund, J.R. Vera, Some characterizations and properties of the “distance to ill-posedness” and the condition measure of a conic linear system, Math. Program., Ser. A 86(2), 225–260 (1999). CrossRefMATHMathSciNet
23.
Zurück zum Zitat F. Gao, D. Hug, R. Schneider, Intrinsic volumes and polar sets in spherical space, Math. Notae 41, 159–176 (2003), (2001/2002). Homage to Luis Santaló. Vol. 1 (Spanish). MathSciNet F. Gao, D. Hug, R. Schneider, Intrinsic volumes and polar sets in spherical space, Math. Notae 41, 159–176 (2003), (2001/2002). Homage to Luis Santaló. Vol. 1 (Spanish). MathSciNet
24.
Zurück zum Zitat S. Glasauer, Integralgeometrie konvexer Körper im sphärischen Raum, Thesis, Univ. Freiburg i. Br. (1995). S. Glasauer, Integralgeometrie konvexer Körper im sphärischen Raum, Thesis, Univ. Freiburg i. Br. (1995).
25.
Zurück zum Zitat S. Glasauer, Integral geometry of spherically convex bodies, Diss. Summ. Math. 1(1–2), 219–226 (1996). MathSciNet S. Glasauer, Integral geometry of spherically convex bodies, Diss. Summ. Math. 1(1–2), 219–226 (1996). MathSciNet
26.
Zurück zum Zitat G.H. Golub, C.F. Van Loan, Matrix Computations, 4th edn. Johns Hopkins Studies in the Mathematical Sciences (Johns Hopkins University Press, Baltimore, 2013). MATH G.H. Golub, C.F. Van Loan, Matrix Computations, 4th edn. Johns Hopkins Studies in the Mathematical Sciences (Johns Hopkins University Press, Baltimore, 2013). MATH
27.
Zurück zum Zitat S. Helgason, Differential Geometry, Lie Groups, and Symmetric Spaces. Pure and Applied Mathematics, Vol. 80 (Academic Press/Harcourt Brace Jovanovich, New York, 1978). MATH S. Helgason, Differential Geometry, Lie Groups, and Symmetric Spaces. Pure and Applied Mathematics, Vol. 80 (Academic Press/Harcourt Brace Jovanovich, New York, 1978). MATH
28.
Zurück zum Zitat R.A. Horn, C.R. Johnson, Matrix Analysis (Cambridge University Press, Cambridge, 1990). Corrected reprint of the 1985 original. MATH R.A. Horn, C.R. Johnson, Matrix Analysis (Cambridge University Press, Cambridge, 1990). Corrected reprint of the 1985 original. MATH
29.
Zurück zum Zitat R. Howard, The kinematic formula in Riemannian homogeneous spaces, Mem. Amer. Math. Soc. 106(509), vi + 69 (1993). R. Howard, The kinematic formula in Riemannian homogeneous spaces, Mem. Amer. Math. Soc. 106(509), vi + 69 (1993).
30.
Zurück zum Zitat D.A. Klain, G.-C. Rota, Introduction to Geometric Probability. Lezioni Lincee (Cambridge University Press, Cambridge, 1997). [Lincei Lectures] MATH D.A. Klain, G.-C. Rota, Introduction to Geometric Probability. Lezioni Lincee (Cambridge University Press, Cambridge, 1997). [Lincei Lectures] MATH
31.
Zurück zum Zitat S. Kobayashi, K. Nomizu, Foundations of Differential Geometry, vol. I (Interscience/Wiley, New York/London, 1963). MATH S. Kobayashi, K. Nomizu, Foundations of Differential Geometry, vol. I (Interscience/Wiley, New York/London, 1963). MATH
32.
Zurück zum Zitat F. Morgan, Geometric Measure Theory, 2nd edn. (Academic Press, San Diego, 1995). A beginner’s guide. MATH F. Morgan, Geometric Measure Theory, 2nd edn. (Academic Press, San Diego, 1995). A beginner’s guide. MATH
33.
Zurück zum Zitat M. Moszyńska, Selected Topics in Convex Geometry (Birkhäuser Boston, Boston, 2006). Translated and revised from the 2001 Polish original. M. Moszyńska, Selected Topics in Convex Geometry (Birkhäuser Boston, Boston, 2006). Translated and revised from the 2001 Polish original.
34.
Zurück zum Zitat J. Peña, Understanding the geometry of infeasible perturbations of a conic linear system, SIAM J. Optim. 10(2), 534–550 (2000) (electronic). CrossRefMATHMathSciNet J. Peña, Understanding the geometry of infeasible perturbations of a conic linear system, SIAM J. Optim. 10(2), 534–550 (2000) (electronic). CrossRefMATHMathSciNet
35.
Zurück zum Zitat J. Peña, A characterization of the distance to infeasibility under block-structured perturbations, Linear Algebra Appl. 370, 193–216 (2003). CrossRefMATHMathSciNet J. Peña, A characterization of the distance to infeasibility under block-structured perturbations, Linear Algebra Appl. 370, 193–216 (2003). CrossRefMATHMathSciNet
36.
Zurück zum Zitat J. Peña, J. Renegar, Computing approximate solutions for convex conic systems of constraints, Math. Program., Ser. A 87(3), 351–383 (2000). CrossRefMATH J. Peña, J. Renegar, Computing approximate solutions for convex conic systems of constraints, Math. Program., Ser. A 87(3), 351–383 (2000). CrossRefMATH
38.
Zurück zum Zitat J. Renegar, Incorporating condition measures into the complexity theory of linear programming, SIAM J. Optim. 5(3), 506–524 (1995). CrossRefMATHMathSciNet J. Renegar, Incorporating condition measures into the complexity theory of linear programming, SIAM J. Optim. 5(3), 506–524 (1995). CrossRefMATHMathSciNet
39.
Zurück zum Zitat J. Renegar, Linear programming, complexity theory and elementary functional analysis, Math. Program., Ser. A 70(3), 279–351 (1995). MATHMathSciNet J. Renegar, Linear programming, complexity theory and elementary functional analysis, Math. Program., Ser. A 70(3), 279–351 (1995). MATHMathSciNet
40.
Zurück zum Zitat R. Schneider, Convex Bodies: The Brunn-Minkowski Theory. Encyclopedia of Mathematics and Its Applications, Vol. 44 (Cambridge University Press, Cambridge, 1993). CrossRefMATH R. Schneider, Convex Bodies: The Brunn-Minkowski Theory. Encyclopedia of Mathematics and Its Applications, Vol. 44 (Cambridge University Press, Cambridge, 1993). CrossRefMATH
41.
Zurück zum Zitat R. Schneider, W. Weil, Stochastic and Integral Geometry. Probability and Its Applications (New York) (Springer, Berlin, 2008). CrossRefMATH R. Schneider, W. Weil, Stochastic and Integral Geometry. Probability and Its Applications (New York) (Springer, Berlin, 2008). CrossRefMATH
42.
Zurück zum Zitat S. Smale, Complexity theory and numerical analysis, in Acta Numerica, 1997. Acta Numer., Vol. 6 (Cambridge University Press, Cambridge, 1997), pp. 523–551. S. Smale, Complexity theory and numerical analysis, in Acta Numerica, 1997. Acta Numer., Vol. 6 (Cambridge University Press, Cambridge, 1997), pp. 523–551.
43.
Zurück zum Zitat M. Spivak, Calculus on Manifolds. A Modern Approach to Classical Theorems of Advanced Calculus (Benjamin, New York/Amsterdam, 1965). MATH M. Spivak, Calculus on Manifolds. A Modern Approach to Classical Theorems of Advanced Calculus (Benjamin, New York/Amsterdam, 1965). MATH
44.
Zurück zum Zitat M. Spivak, A Comprehensive Introduction to Differential Geometry. Vol. I, 3rd edn. (Publish or Perish, Houston, 1999). M. Spivak, A Comprehensive Introduction to Differential Geometry. Vol. I, 3rd edn. (Publish or Perish, Houston, 1999).
45.
Zurück zum Zitat R.P. Stanley, Log-concave and unimodal sequences in algebra, combinatorics, and geometry, in Graph Theory and Its Applications: East and West, Jinan, 1986. Ann. New York Acad. Sci., Vol. 579 (N.Y. Acad. Sci., New York, 1989), pp. 500–535. R.P. Stanley, Log-concave and unimodal sequences in algebra, combinatorics, and geometry, in Graph Theory and Its Applications: East and West, Jinan, 1986. Ann. New York Acad. Sci., Vol. 579 (N.Y. Acad. Sci., New York, 1989), pp. 500–535.
46.
Zurück zum Zitat J.A. Thorpe, Elementary Topics in Differential Geometry. Undergraduate Texts in Mathematics (Springer, New York, 1994). J.A. Thorpe, Elementary Topics in Differential Geometry. Undergraduate Texts in Mathematics (Springer, New York, 1994).
47.
Zurück zum Zitat J.R. Vera, Ill-posedness and the complexity of deciding existence of solutions to linear programs, SIAM J. Optim. 6(3), 549–569 (1996). CrossRefMATHMathSciNet J.R. Vera, Ill-posedness and the complexity of deciding existence of solutions to linear programs, SIAM J. Optim. 6(3), 549–569 (1996). CrossRefMATHMathSciNet
48.
Zurück zum Zitat J.R. Vera, On the complexity of linear programming under finite precision arithmetic, Math. Program., Ser. A 80(1), 91–123 (1998). CrossRefMATHMathSciNet J.R. Vera, On the complexity of linear programming under finite precision arithmetic, Math. Program., Ser. A 80(1), 91–123 (1998). CrossRefMATHMathSciNet
49.
Zurück zum Zitat J.C. Vera, J.C. Rivera, J. Peña, Y. Hui, A primal-dual symmetric relaxation for homogeneous conic systems, J. Complex. 23(2), 245–261 (2007). CrossRefMATH J.C. Vera, J.C. Rivera, J. Peña, Y. Hui, A primal-dual symmetric relaxation for homogeneous conic systems, J. Complex. 23(2), 245–261 (2007). CrossRefMATH
Metadaten
Titel
Probabilistic Analysis of the Grassmann Condition Number
verfasst von
Dennis Amelunxen
Peter Bürgisser
Publikationsdatum
01.02.2015
Verlag
Springer US
Erschienen in
Foundations of Computational Mathematics / Ausgabe 1/2015
Print ISSN: 1615-3375
Elektronische ISSN: 1615-3383
DOI
https://doi.org/10.1007/s10208-013-9178-4

Weitere Artikel der Ausgabe 1/2015

Foundations of Computational Mathematics 1/2015 Zur Ausgabe

Foreword

Foreword