PhD – Universidad de Cantabria, Spain (Premio extraordinario de doctorade)

- YEUNG-Y6519+852 3442-0250

Prof Felipe Cucker’s main research focus is on the foundational aspects of numerical algorithms. This encompasses a variety of issues from the structural complexity of algorithms over the real numbers to the roundoff analysis of specific algorithms, from the smoothed analysis of classes of condition numbers to the design of numerical algorithms for specific problems. In addition, he is also interested on other areas of research such as learning theory or the mathematics of emergent behaviour.

Prof Cucker has been a member of the Board of Directors of the Society for the Foundations of Computational Mathematics since its creation until 2017 and was the Chairman of the Society in the period 2008-2011. He either is or was a member of the editorial board of the journals *Foundations of Computational Mathematics*, *Journal of complexity*, *SIAM Journal on Optimization*, and *Theoretical Computer Science*. In 2005 he was made Foreign Member of the Real Academia de Ciencias y Artes de Barcelona, and in 2018 Foreign Member of the European Academy of Sciences.

###### Research Interest

It evolved from real algebra and geometry (in both theoretical and computational aspects) to complexity theory. Between 1983 and 1986 it dealt with the properties of rings of Nash functions over algebraic varieties. From 1987 to 1990 the focus of the research was on the algorithmic side of real algebraic geometry, i.e., the design and analysis of algorithms for problems in this field. From 1990, it deals with the structural approach to the complexity of these problems following the Blum, Shub & Smale model. In the last few years it evolved to include the numerical analysis of some algorithms in optimization. More recently, it has also included areas such as learning theory and problems like the mathematical modelling of human language evolution.

###### Professional Responsibilities

- Member of the Editorial Board of the Journal of Complexity.
- Managing Editor of the Journal of Foundations on Computational Mathematics, 2011-2017.
- Member of the board of directors of FoCM (Society for the Foundations of Computational Mathematics) since its creation in 1995 until 2017.
- Chairman of FoCM, 2008-2011.

###### Books

*Condition*(with P. Bürgisser). Volume 349 in the series "Grundlehren der mathematischen Wissenschaften", Springer-Verlag, 2013.*Manifold Mirrors*: The Crossing Paths of the Arts and Mathematics, Cambridge Univ. Press, 2013.*Learning Theory: An Approximation Theory Viewpoint*(with D.-X. Zhou). Cambridge Monographs on Applied and Computational Mathematics, Cambridge Univ. Press, 2007.*Complexity and Real Computation*(with L. Blum, M. Shub and S. Smale). Springer-Verlag, New York, 1998.*Curso de Programación*(with J. Castro, X. Messeguer, A. Rubio, Ll. Solano and B. Valles). McGraw-Hill, Madrid, 1993.

###### Research Interests

- Complexity and Computation

###### Publications – Main Refereed Articles:

- Computing the Homology of Semialgebraic Sets. II: General Formulas (with P Bürgisser and J. Tonelli Cueto). To appear in
*Found. Comput. Math.*. - On local complexity (with T. Krick).
*J. of Complexity*,**57**, 101442, 23 pages, 2020. - Computing the Homology of Semialgebraic Sets. I: Lax Formulas (with P Bürgisser and J. Tonelli Cueto).
*Found. Comput. Math.*,**20**, pp. 71-118, 2020. - On flocks under switching directed interaction topologies (with J.-G. Dong).
*SIAM J. App. Math.*,**79**, pp. 95-110, 2019. - Computing the Homology of Basic Semialgebraic Sets in Weak Exponential Time (with P. Bürgisser and P. Lairez).
*J. of the ACM*,**66**, pp. 5:1-5:30, 2019. - Computing the Homology of Real Projective Sets (with T. Krick and M. Shub).
*Found. Comput. Math.*,**18**, pp. 929-970, 2018. - A stable, polynomial-time algorithm for the eigenpair problem (with D. Armentano, C. Beltrán, P.Bürgisser, and M. Shub).
*J. Eur. Math. Soc.*,**20**, pp. 1375-1437, 2018. - Grid Methods in Computational Real Algebraic (and Semialgebraic) Geometry.
*Chinese Annals of Mathematics, Series B*,**39**, pp. 373–396, 2018. - On the Condition of the Zeros of Characteristic polynomials (with P. Bürgisser and E. Rocha Cardozo).
*J. of Complexity*,**42**, pp. 72–84, 2017. - On Flocks Influenced by Closest Neighbors (with J.-G. Dong).
*Math. Mod. Methods in Appl. Sc.***26**, pp. 2685-2708, 2016. - Condition length and complexity for the solution of polynomial systems (with D. Armentano, C. Beltrán, P.Bürgisser, and M. Shub).
*Found. Comput. Math*,**16**, pp.1401-1422, 2016. - Probabilistic Analyses of Condition Numbers.
*Acta Numerica*,**25**, pp. 321-382, 2016. - A Theory of Complexity, Condition, and Roundoff.
*Forum of Mathematics, Sigma*,**3**, e4, 2015. - A Randomized Homotopy for the Hermitian Eigenpair Problem (with D. Armentano).
*Found. Comput. Math.,***15**, pp. 281-312, 2015. - Solving Second-Order Conic Systems with Finite Precision (with J. Peña and V. Roshchina).
*Math. Programm.*,**150**, pp. 217-250, 2015. - Smoothed analysis of componentwise condition numbers for sparse matrices (with D. Cheung).
*IMA J. of Numerical Analysis,***35**, pp.74-88, 2015. - Fast Computation of Zeros of Polynomial Systems with Bounded Degree under Finite-precision (with I. Briquel, J. Peña and V. Roshchina).
*Math. of Comput.***83**, pp. 1279--1317, 2014. - A Conditional, Collision-Avoiding, Model for Swarming (with J.-G. Dong).
*Discrete and Continuous Dynamical Systems A*.**34**, pp. 1009--1020, 2014. - On the Average Condition of Random Linear Programs (with D. Cheung).
*SIAM J. Optimization*.**23**, pp. 799--810, 2013. - Round-off Estimates for Second-Order Conic Feasibility Problems (with J. Peña and V. Roshchina).
*C. R. Acad. Sc. Paris*, Ser. I**350**, pp. 639--641, 2012. - A Numerical Algorithm for Zero Counting. III: Randomization and Condition (with T. Krick, G. Malajovich and M. Wschebor).
*Adv. Applied Math.*,**48**, pp. 215--248, 2012. - On a Problem Posed by Steve Smale (with P. Bürgisser).
*Annals of Mathematics*,**174**, pp. 1785--1836, 2011. - A General Collision-Avoiding Flocking Framework (with J.-G. Dong).
*IEEE Trans. Autom. Control*,**56**, pp. 1124--1129, 2011. - Smoothed Analysis of Moore-Penrose Inversion (with P. Bürgisser).
*SIAM J. Matrix Anal. Appl.*,**31**, pp. 2769--2783, 2010. - Adversarial Smoothed Analysis (with R. Hauser and M. Lotz).
*J. of Complexity*,**26**, pp. 255--262, 2010. - Avoiding Collisions on Flocks (with J.-G. Dong).
*IEEE Trans. Autom. Control*,**55**, pp. 1238--1243, 2010. - On Strata of Degenerate Polyhedral Cones. II: Relations between Condition Measures, (with D. Cheung and J. Peña).
*J. of Complexity*,**26**, pp. 209--226, 2010. - Coverage Processes on Spheres and Condition Numbers for Linear Programming (with P. Bürgisser and M. Lotz).
*Annals of Probability*,**38**, pp. 570--604, 2010. - A Numerical Algorithm for Zero Counting. II: Distance to Ill-posedness and Smoothed Analysis (with T. Krick, G. Malajovich and M. Wschebor).
*J. Fixed Point Theory Appl.***6**, pp. 285--294, 2009. - Componentwise Condition Numbers of Random Sparse Matrices (with D. Cheung).
*SIAM J. Matrix Anal. Appl.***31**, pp. 721--731, 2009. - Parallel Time and Quantifier Prefixes, (with P. de Naurois).
*Computational Complexity*,**18**, pp. 527--550, 2009. - On the Critical Exponent for Flocks under Hierarchical Leadership, (with J.-G. Dong).
*Math. Mod. Methods in Appl. Sc.***19**, pp. 1391--1404, 2009. - Exotic Quantifiers, Complexity Classes, and Complete Problems, (with P. Buergisser).
*J. Found. Comput. Math.***9**, pp. 135--170, 2009. - On Strata of Degenerate Polyhedral Cones. I: Condition and Distance to Stratae, (with D. Cheung and J. Peña).
*European J. Oper. Res.*,**198**, pp. 23--28, 2009. - Flocking with Informed Agents, (with C. Huepe).
*Mathematics in Action*,**1**, pp. 1--25, 2008. - A Numerical Algorithm for Zero Counting. I: Complexity and Accuracy, (with T. Krick, G. Malajovich and M. Wschebor).
*J. of Complexity*,**24**, pp. 582--605, 2008. - The Probability that a Slightly Perturbed Numerical Analysis Problem is Difficult, (with P. Bürgisser and M. Lotz).
*Mathematics of Computation*,**77**, pp. 1559--1583, 2008. - A Condition Number for Multifold Conic Systems, (with D. Cheung and J. Peña).
*SIAM J. on Optim.*,**19**, pp. 261--280, 2008. - Flocking in noisy environments (with Ernesto Mordecki).
*J. Math. Pures et Appl.*,**89**, pp. 278--296, 2008. - A Note on Parallel and Alternating Time, (with I. Briquel).
*J. of Complexity*,**23**, pp. 594--602, 2007. - Mixed and Componentwise Condition Numbers for Rectangular Structured Matrices, (with H. Diao).
*Calcolo*,**44**, pp. 89--115, 2007. - The Mathematics of Emergence, (with S. Smale).
*Japan J. Math.*,**2**, pp. 197--227, 2007. - Emergent Behavior in Flocks, (with S. Smale).
*IEEE Trans. Autom. Control*,**52**, pp. 852--862, 2007. - On Mixed and Componentwise Condition Numbers for Moore-Penrose Inverse and Linear Least Squares Problems, (with H. Diao and Y. Wei).
*Mathematics of Computation*,**76**, pp. 947--963, 2007. - The Complexity of Semilinear Problems in Succint Representation, (with P. Bürgisser and P. de Naurois).
*Computational Complexity*,**15**, pp. 197--235, 2006. - Smoothed Analysis of Complex Conic Condition Numbers, (with P. Bürgisser and M. Lotz).
*J. Math. Pures et Appl.*,**86**, pp. 293--309, 2006. - General Formulas for the Smoothed Analysis of Condition Numbers, (with P. Bürgisser and M. Lotz).
*C. R. Acad. Sc. Paris*, Ser. I**343**, pp. 145--150, 2006. - Solving Linear Programs with Finite Precision: II. Algorithms, (with D. Cheung).
*Journal of Complexity*,**22**, pp. 305--335, 2006. - Counting Complexity Classes for Numeric Computations II: Algebraic and Semialgebraic Sets, (with P. Bürgisser).
*Journal of Complexity*,**22**, pp. 147--191, 2006. (An extended abstract appeared at Proc. 36th ACM Symp. Theory of Computing, 2004, pp. 475--485). - Implicit Complexity over an Arbitrary Structure: Quantifier Alternations, (with O. Bournez, P. de Naurois, and J.-Y. Marion).
*Information and Computation*,**204**, pp. 210--230, 2006. - Smoothed Analysis for some Condition Numbers, (with Huaian Diao and Yimin Wei).
*Numer. Lin. Alg. with Appl.*,**13**, pp. 17--84, 2006. - Counting Complexity Classes for Numeric Computations III: Complex Projective Sets, (with P. Bürgisser and M. Lotz).
*J. Found. Comput. Math.*,**5**, pp. 351--387, 2005. - On tail decay and moment estimates of a condition number for random linear conic systems, (with D. Cheung and R. Hauser).
*SIAM J. Optim.*,**15**, pp. 1237--1261, 2005. - A note on level-2 condition numbers. (with D. Cheung).
*J. of Complexity*,**21**, pp. 314--319, 2005. - Implicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time, (with Olivier Bournez, Paulin Jacobé de Naurois, and Jean-Yves Marion).
*J. of Logic and Computation*,**15**, pp. 41--58, 2005. - Modelling Language Evolution,(with S. Smale and D.-X. Zhou).
*J. Found. of Comput. Mathematics*,**4**, pp. 315--343, 2004. - The Complexity to Compute the Euler Characteristic of Complex Varieties, (with P. Bürgisser and M. Lotz).
*C. R. Acad. Sc. Paris*, Ser. I**339**, pp. 371--376, 2004. - On sparseness, reducibilities, and complexity over the reals.
*Annals of Pure and Applied Logic*,**134**, pp. 53--61, 2005. - Counting Complexity Classes for Numeric Computations I: Semilinear Sets, (with P. Bürgisser).
*SIAM J. on Computing*,**33**, pp. 227–260, 2004. - Solving Linear Programs with Finite Precision: I. Condition Numbers and Random Programs, (with D. Cheung).
*Math. Program*.,**99**, pp. 175–196, 2004. - Unifying Condition Numbers for Linear Programming, (with D. Cheung and J.Peña).
*Math. of Oper. Res.*,**28**, pp. 609–624, 2003. - Safe recursion over an Arbitrary Structure: PAR, PH and DPH, (with Olivier Bournez, Paulin Jacobé de Naurois, and Jean-Yves Marion).
*Electronic Notes in Theor. Comp. Sc.***90**, pp. 3–14, 2003. URL:http://www.elsevier.nl/locate/entcs/volume90.html - On the expected condition number of linear programming problems, (with M. Wschebor).
*Numerische Mathematik*,**94**, pp. 419–478, 2003. - Learning from rounded-off data, (with D. Cheung).
*Information and Computation*.**182**, pp. 1–13, 2003. - Best choices for regularization parameters in learning theory, (with S. Smale).
*Found. Comput. Math.***2**, pp. 413–428, 2002. - On sparseness and Turing reducibility over the reals.
*Electronic Notes in Theor. Comp. Sc.***67**, 2002. URL:http://www.elsevier.nl/locate/entcs/volume67.html - Probabilistic analysis of condition numbers for linear programming, (with D. Cheung).
*Journal of Optimization Theory and Applications***114**, pp. 55–67, 2002. - Real Computations with Fake Numbers.
*Journal of Complexity***18**, pp. 104–134, 2002. - A primal-dual algorithm for solving polyhedral conic systems with a finite-precision machine, (with J. Peña).
*SIAM J. on Optimization***12**, pp. 522–554, 2002. - On the mathematical foundations of learning, (with S. Smale).
*Bulletin Amer. Math. Soc.***39**, pp. 1–49, 2002. - Decision problems and round-off machines, (with J.-P. Dedieu).
*Theory of Comp. Syst*.**34**, pp. 433–452, 2001. - A new condition number for linear programming, (with D. Cheung).
*Math. Program*., Ser. A,**91**, pp. 163–174, 2001. - There are no sparse NPW-hard sets, (with D. Grigoriev).
*SIAM J. on Computing***31**, pp. 193–198, 2001. - On Weak and Weighted Computations over the Real Closure of
*Q*.*Theoretical Computer Science***225**, pp. 593–600, 2001. - Complexity lower bounds for approximation algebraic computation trees, (with D.Grigoriev).
*Journal of Complexity***15**, pp. 499–512, 1999. - Approximate Zeros and Condition Numbers.
*Journal of Complexity***15**, pp. 214–226, 1999. - Complexity Estimates depending on Condition and Round-off Error, (with S. Smale).
*Journal of the A.C.M.***46**, pp. 113–184, 1999. - A Polynomial Time Algorithm for Diophantine Equations in One Variable, (with P. Koiran and S.Smale).
*Journal of Symb. Comp*.**27**, pp. 21–29, 1999. - Logics which capture complexity classes over the reals, (with K. Meer).
*J. of Symb. Logic*,**64**, pp. 363–390, 1999. - Complexity and dimension, (with P. Koiran and M.Matamala).
*Information Processing Letters*,**62**, pp. 209–212, 1997. - Machines over the reals and non-uniformity.
*Math. Logic Quarterly*,**43**, pp. 143–157, 1997. - On the power of real Turing machines over binary inputs, (with D. Grigoriev ).
*SIAM J. on Comput.*,**26**, pp.243–254, 1997. - Complexity and Real Computation: a Manifesto, (with L. Blum, M.Shub and S.Smale).
*Int. J. of Bifurcation and Chaos*, 6(1), pp. 3–26, 1996. - On real Turing machines that toss coins, (with M. Karpinski, P.Koiran, T.Lickteig and K.Werther).
*Proceedings of ACM Symp. on Theory of Computing*, pp. 335–342, 1995. - On Digital Nondeterminism, (with M. Matamala).
*Math. Syst. Theory*,**29**, pp. 635–647, 1996. - Generalized Knapsack problems and fixed degree separations, (with M. Shub).
*Theoretical Comp. Science*,**161**, pp. 301–306, 1996. - Computing over the reals with addition and order: higher complexity classes, (with P.Koiran),
*Journal of Complexity*,**11**, pp. 358–376, 1995. - Separation of Complexity classes in Koiran's weak model, (with M. Shub and S.Smale),
*Theoretical Comp. Science*,**133**, pp. 3–14, 1994. - On the Complexity of Quantifier Elimination: the structural approach.
*Computer Journal*,**36**(5), pp. 400–408, 1993. - Time bounded computations over the reals, (with J.L. Montaña and L.M. Pardo).
*Int. J. of Algebra and Computation*,**2**, pp. 395–408, 1992. *P*._{R}≠ NC_{R}*Journal of Complexity*, vol.**8**, n3, pp. 230–238, 1992.^{o}- The arithmetical hierarchy over the reals.
*Journal of Logic and Computation*, vol. 2, n3, pp. 375–395, 1992.^{o} - Real algebraic numbers are in NC, (with H. Lanneau, B. Mishra, P. Pedersen and M.-F. Roy).
*App. Alg. in Eng. Comm. and Comp*.**3**, pp.79–98, 1992. - Two P-complete problems in the theory of the reals, (with A. Torrecillas).
*Journal of Complexity*. vol.**8**, n4, pp. 454–466, 1992.^{o} - A theorem on random polynomials and some consequences in average complexity. (with M.-F. Roy).
*Journal of Symb. Comp.*,**10**, pp. 405–409, 1990. - Nondeterministic
*ω*-computations and the analytical hierarchy. (with J. Castro).*Zeit. für Math. Logik und Grund. der Math*. Bd.**35**, pp. 333–342, 1989. - Non recursive functions have transcendental generating series, (with J. Gabarró).
*Inf. Théor. et Applic. R.A.I.R.O.*vol.**23**, n4, pp. 445–448, 1989.^{o} - Nash functions over real spectra.
*Journal of Pure and App. Algebra*, vol.**59**, pp. 43–53, 1989. - Nash functions and the structure sheaf.
*Rocky Mountain J. of Math.*, vol.**19**, n3, pp. 647–649, 1989.^{o} - Sur les anneaux de sections globales du faisceau structural sur le spectre réel.
*Comm. in Alg*. vol.**16**, n2, pp. 307–323, 1988.^{o} - Fonctions de Nash sur les variétés affines.
*Math. Zeit*., Bd.**198**, Heft 1, pp. 53–62, 1988. - Sur la structure réelle des idéaux de
*C [ X*._{1}, … , X_{n}]*C. R. Math. Rep. Acad. Sci. Canada*, vol. XI, n2, pp. 113–118, 1987.^{o} - Un teorema degli zeri per le funzioni de Nash.
*Bolletino Unione Mat. Italiana*, Serie VI, vol. V-D, n1, pp. 9–16, 1986.^{o} - Théorèmes des zéros et Positivstellensatz pour les fonctions de Nash dans le cas non lisse, (with M.-F. Roy),
*C. R. Acad. Sc. Paris*, t.**303**, Série I, n12, pp. 563–566, 1986.^{o}

## Useful Links

CityU Scholars: