New grand projects in contemporary math - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T11:47:41Z http://mathoverflow.net/feeds/question/117668 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math New grand projects in contemporary math Mirco Mannucci 2012-12-30T21:08:08Z 2013-03-10T23:21:59Z <p>When I was a graduate student in math (mid-late eighties and early nineties) the arena was dominated by a few grand projects: for instance, Misha Gromov's hyperbolic groups, which spread into many seemingly heterogeneous domains (such as combinatorial group theory, to name just one), and Bill Thurston's classification of low-dim manifolds.</p> <p>A few years have passed, and I must admit that, aside my pet domains, such as categorical algebra and applied logic, I have not kept up with innovations. </p> <p>I am pretty sure, though, that new trends, generated by some core new ideas, are leading contemporary math research, or substantial portions thereof. One such idea I know already, namely Voevodsky's homotopical foundations of logics, which brings together abstract homotopy theory and type theory. </p> <p>What else? </p> <p>PS I am not interested (at least not directly) in new solutions to old problems, unless these solutions are the germs of (and conducive to) new directions. </p> <p>Rather, I would hear about new research projects which unify previously disparate fields, or create entirely new ones, or shed lights into old domains in a radically new way (in other words, I am interested in what Thomas Kuhn called <strong>paradigm shifts</strong>). The ors are of course not mutually exclusive. </p> <p><strong>Addendum:</strong> It looks like there is an ongoing debate on whether this question should be kept open or not. As I have already answered below, I submit entirely and with no reservations to the policy of this respectable forum, whatever the outcome. As a dweller of MO, though, I am entitled to my personal opinion, and this is to keep my question in the air. Nevertheless, I am well aware of the potential risks of either turning it into -what I like best of math right now- or generic answers that provide no meat for this community. Therefore, allow me to add a clarification: </p> <p><strong>My wish is the following- to get to know from informed individuals which new paradigm-shifting trends are currently under way.</strong></p> <p><strong>To this effect I appreciate all the answers so far, but I invite everybody to provide some level of details as to why they have mentioned a specific idea and/or research project (some folks have already done it). For instance, one answer was tropical math, which indeed seems to have risen to prominence in recent years. It would be nice to know which areas it does impact and in which way, which core ideas it is founded on, which threads it brings together, etc. The same applies of course to all other proposals.</strong></p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117669#117669 Answer by unknown (yahoo) for New grand projects in contemporary math unknown (yahoo) 2012-12-30T21:24:56Z 2012-12-30T22:13:10Z <p>Large Networks and Graph Limits - new AMS book by László Lovász</p> <p>"The theory has rich connections with other approaches to the study of large networks, such as property testing'' in computer science and regularity partition in graph theory. It has several applications in extremal graph theory, including the exact formulations and partial answers to very general questions, such as which problems in extremal graph theory are decidable. It also has less obvious connections with other parts of mathematics (classical and non-classical, like probability theory, measure theory, tensor algebras, and semidefinite optimization)." </p> <p>"This book explains many of these connections, first at an informal level to emphasize the need to apply more advanced mathematical methods, and then gives an exact development of the theory of the algebraic theory of graph homomorphisms and of the analytic theory of graph limits. This is an amazing book: readable, deep, and lively. It sets out this emerging area, makes connections between old classical graph theory and graph limits, and charts the course of the future." --Persi Diaconis, Stanford University </p> <p>"This book is a comprehensive study of the active topic of graph limits and an updated account of its present status. It is a beautiful volume written by an outstanding mathematician who is also a great expositor." --Noga Alon, Tel Aviv University, Israel </p> <p>"Modern combinatorics is by no means an isolated subject in mathematics, but has many rich and interesting connections to almost every area of mathematics and computer science. The research presented in Lovasz's book exemplifies this phenomenon. This book presents a wonderful opportunity for a student in combinatorics to explore other fields of mathematics, or conversely for experts in other areas of mathematics to become acquainted with some aspects of graph theory." --Terence Tao, University of California, Los Angeles, CA </p> <p>"Laszlo Lovasz has written an admirable treatise on the exciting new theory of graph limits and graph homomorphisms, an area of great importance in the study of large networks. It is an authoritative, masterful text that reflects Lovasz's position as the main architect of this rapidly developing theory. The book is a must for combinatorialists, network theorists, and theoretical computer scientists alike." --Bela Bollobas, Cambridge University, UK</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117672#117672 Answer by unknown (yahoo) for New grand projects in contemporary math unknown (yahoo) 2012-12-30T21:45:20Z 2012-12-30T21:45:20Z <p>Tropical mathematics</p> <p>The algebraic geometry, analysis and other mathematics over the tropical semiring instead of the real numbers. </p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117675#117675 Answer by David Corwin for New grand projects in contemporary math David Corwin 2012-12-30T21:57:58Z 2013-01-02T22:30:07Z <p>Manjul Bhargava's new field of arithmetic invariant theory is a perfect example of a new grand project. It began with Manjul's <a href="http://www.jstor.org/discover/10.2307/3597249?uid=3739696&amp;uid=2&amp;uid=4&amp;uid=3739256&amp;sid=21101483414553" rel="nofollow">doctoral thesis</a>, in which he presented a completely new view of Gauss's composition law for binary quadratic forms in a way that led to generalizations. This led to a <a href="http://annals.math.princeton.edu/?s=Manjul+Bhargava" rel="nofollow">series of papers</a> on generalizations to cubic forms and beyond, with a general framework coming from representation theory.</p> <p>In addition to being intrinsically interesting, this has led to new results on counting quadratic rings, cubic rings, etc, whose crowning achievement is an important new result on the Birch and Swinnerton-Dyer conjecture (c.f. <a href="http://arxiv.org/abs/1007.0052" rel="nofollow">Bhargava and Shankar</a>). There is much more to research in the theory, and numerous people (including some of his students) have found manifold connections with other areas of math, such as knot theory and algebraic geometry.</p> <p>See <a href="http://www.icm2006.org/proceedings/Vol_II/contents/ICM_Vol_2_13.pdf" rel="nofollow">here</a> for an overview of Manjul's work.</p> <p>See <a href="https://web.math.princeton.edu/~arabindr/ait.html" rel="nofollow">here</a> for some notes from a seminar at Princeton that shows the vast reach of this theory.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117676#117676 Answer by Yuichiro Fujiwara for New grand projects in contemporary math Yuichiro Fujiwara 2012-12-30T22:20:49Z 2013-01-04T00:23:11Z <p>Does compressed sensing count as math? If it does, <a href="http://terrytao.wordpress.com/2007/04/13/compressed-sensing-and-single-pixel-cameras/" rel="nofollow">here</a> is a blog post from the horse's mouth.</p> <p>Edit: For those who would like a popular article, <a href="http://www.wired.com/magazine/2010/02/ff_algorithm/all/1" rel="nofollow">here</a> is a good one in Wired (by JSE if I'm not mistaken). Also, it is encouraged to read the highly upvoted comment by JSE below.</p> <p>Because I don't think I can ever explain it better than Terence Tao's brilliant blog post or think I'm qualified either, I'll just refer to the blog, and here simply mention in which field I, as someone working on combinatorial design theory, personally stumbled on it as an interactions between fields (Please read the following only when you have nothing better to do.). I hope experts edit and improve this post.</p> <p>I had heard good things about compressed sensing before, but <a href="http://dx.doi.org/10.1109/SFCS.2005.5464411" rel="nofollow">the first paper I read</a> was about its application to error correction by Candes, Rudelson, Tao, and Vershynin. I don't know if it's comparable to other recent truly remarkable progress in coding/information theory (e.g., polar coding, which could be a candidate for the answer to OP's question), but it was a refreshing read to me who dabble in coding theory. It's in one sense similar to normal linear codes in that the goal is to recover a vector $f \in R^n$ by knowing $y = Af +e$, where $A$ is an $m$ by $n$ matrix and $e \in R^m$ is the error vector. But the paper studies when $f$ is uniquely determined by $l_1$-minimization a la compressed sensing. Then I learned that some combinatorial design theorists I follow were applying design theory to compressed sensing, in a very rough sense, to give a nice deterministic method for explicitly providing ideal $A$. And when I checked what was up in quantum information these days (I also dabble in quantum information), I ran into <a href="http://prl.aps.org/abstract/PRL/v105/i15/e150401" rel="nofollow">this paper</a> by Gross, Liu, Flammia, Becker, and Eisert, where compressed sensing is applied to quantum state tomography, a method for determining the quantum state of a system. And this is the one paragraph version of how I wound up with an endless to-read backlog of papers spanning multiple fields.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117698#117698 Answer by Adeel for New grand projects in contemporary math Adeel 2012-12-31T08:41:01Z 2012-12-31T08:41:01Z <p>There is the derived algebraic geometry program of Jacob Lurie, starting with his thesis in 2007 and building on the work of ..., Simpson, Toën-Vezzosi, etc. In the words of Lurie, this is basically "jazzing up" the foundations of algebraic geometry with homotopy theory. Lurie has written two 1000-page books called <em>Higher Topos Theory</em> and <em>Higher Algebra</em>, and a series of papers called <em>DAG</em>. He has already had success in applying the theory to the classical topic of <a href="http://www.math.harvard.edu/~lurie/papers/survey.pdf" rel="nofollow">elliptic cohomology</a>.</p> <p>See also this <a href="http://gowers.wordpress.com/2010/08/31/icm2010-spielman-csornyei-lurie/" rel="nofollow">blog post by Tim Gowers</a> and a <a href="http://mathoverflow.net/questions/37825/what-are-jacob-luries-key-insights" rel="nofollow">relevant MO discussion</a>.</p> <p>(Of course, this can be viewed as an extension of Grothendieck's program from the 80's, see e.g. <a href="http://mathoverflow.net/questions/115549/conjectures-in-grothendiecks-pursuing-stacks" rel="nofollow">this MO discussion</a>.)</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117704#117704 Answer by unknown (yahoo) for New grand projects in contemporary math unknown (yahoo) 2012-12-31T09:24:04Z 2012-12-31T09:24:04Z <p>Hyperfields</p> <p>"Krasner, Marshall, Connes and Consani and the author came to hyperfields for different reasons, motivated by different mathematical problems, but we came to the same conclusion: the hyperrings and hyperfields are great, very useful and very underdeveloped in the mathematical literature. Probably, the main obstacle for hyperfields to become a mainstream notion is that a multivalued operation does not fit to the tradition of set-theoretic terminology, which forces to avoid multivalued maps at any cost. I believe the taboo on multivalued maps has no real ground, and eventually will be removed. Hyperfields, as well as multigroups, hyperrings and multirings, are legitimate algebraic objects related in many ways to the classical core of mathematics. They provide elegant terminological and conceptual opportunities. In this paper I try to present new evidences for this."</p> <p>Hyperfields For Tropical Geometry I. Hyperfields And Dequantization, Oleg Viro, <a href="http://arxiv.org/abs/1006.3034" rel="nofollow">http://arxiv.org/abs/1006.3034</a></p> <p>The hyperring of adèle classes, Alain Connes, Caterina Consani, <a href="http://arxiv.org/abs/1001.4260" rel="nofollow">http://arxiv.org/abs/1001.4260</a></p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117706#117706 Answer by Benoît Kloeckner for New grand projects in contemporary math Benoît Kloeckner 2012-12-31T09:38:25Z 2012-12-31T09:38:25Z <p>Ricci flow. It did solve Poincaré's conjecture and the $1/4$-pinching conjecture, but has also become an object of study. More generally, it has launched a large amount of work on geometric flows (mean curvature flow and others), notably with the idea that some other problems can be solved by designing an ad-hoc flow.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117707#117707 Answer by Benoît Kloeckner for New grand projects in contemporary math Benoît Kloeckner 2012-12-31T09:40:54Z 2012-12-31T09:40:54Z <p>Optimal transport. Both its study (generalizations, Monge problem, regularity issues, and geometric properties to cite the part I work in) and its applications (to geometry notably with the Work of Sturm and Lott-Villani, to image processing and recognition, etc.) have developed hugely since the 90's.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117709#117709 Answer by Ricky for New grand projects in contemporary math Ricky 2012-12-31T09:55:55Z 2012-12-31T09:55:55Z <p>The <a href="http://en.wikipedia.org/wiki/Langlands_program" rel="nofollow">Langlands program</a>. It goes back to the sixties, but in the last years, with the proof of the fundamental lemma by Ngô Bảo Châu and with several results in the local case, it became one of the most active area in number theory, and I think there is no hope to finish the job in the next, say, 50 years.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117714#117714 Answer by alvarezpaiva for New grand projects in contemporary math alvarezpaiva 2012-12-31T11:10:25Z 2012-12-31T11:10:25Z <p>The simultaneous study of a <em>space</em> $X$ and its <em>observables</em> $F(X)$ (real, complex, or operator-valued functions on $X$) is an old topic, but with quantum groups and non-commutative geometry it has been the source of much modern mathematics. The introductory <a href="http://www.alainconnes.org/docs/gelfand.ps" rel="nofollow">paper</a> by Connes does a really nice job at explaining this.</p> <p>In the paper Connes underlines the pioneering work of I.M. Gelfand in this area. However he misses one little thing. Gelfand's work on integral geometry was also motivated by this philosophy. The idea is to consider the incidence relation as a special type of multivalued map between the two spaces and to consider how functions, forms, densities, and other functional objects correspond under the map.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117741#117741 Answer by Sam Hopkins for New grand projects in contemporary math Sam Hopkins 2012-12-31T16:23:56Z 2012-12-31T16:23:56Z <p>Is quantum computing too far away from pure math to qualify? Perhaps it has not shaken up mathematics so much, but it has brought together theoretical physics, computer science, and mathematics in a way unseen before.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117772#117772 Answer by Gil Kalai for New grand projects in contemporary math Gil Kalai 2013-01-01T09:21:47Z 2013-01-01T11:45:36Z <p>Theory of computing and more specifically computational complexity and the NP=!P problem represet an important new paradigm in mathematics. This offers new look on classical issues like the study of algorithms, optimization, and randomness, and provide an interesting lens for many areas/examples/results of math. </p> <p>Among other things, computational complexity describes different novel notions of "proofs" and among them the possibility to prove a mathematical statement only "beyond a reasonable doubt." </p> <p>As already mentioned in <a href="http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117741#117741" rel="nofollow">another answer</a>, quantum information/computation and mathematics related to it represent a major new programme/paradigm.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117778#117778 Answer by Gil Kalai for New grand projects in contemporary math Gil Kalai 2013-01-01T11:48:15Z 2013-01-01T11:48:15Z <p>A grand programme in mathematics with some enthusiastic supporters is that of computerized proofs for mathematical theorem.</p> <p>Another related (but different) programme is that of automatic verification of (humanly created) mathematical proofs. </p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117819#117819 Answer by Aleksandar Bahat for New grand projects in contemporary math Aleksandar Bahat 2013-01-02T00:01:05Z 2013-01-02T00:01:05Z <p>The field with one element $\mathbb{F}_1$ (a.k.a. F-un).</p> <p>Having a precise notion of such a field would allow us to further exploit the analogy between number fields and function fields (much like discrete valuation rings, Dedekind domains, schemes, etc. have done in the past). In particular, with a suitable notion of $\mathbb{F}_1$ we should be able to find a proof of the Riemann hypothesis based on Weil’s proof of the Riemann hypothesis for curves over finite fields.</p> <p>The integers are not an algebra over any field in the classical sense, which makes it a priori impossible to adapt Weil's argument to this case. For this analogy to work, a good definition of $\mathbb{F}_1$ should have the property that $\mathbb{Z}$ is an $\mathbb{F}_1$-algebra.</p> <p>Furthermore, there are lots of connections with “q-deformations”. I don't know much about this, but John Baez has some nice stuff written at <a href="http://math.ucr.edu/home/baez/twfcontents.html" rel="nofollow"><em>This Week's Finds in Mathematical Physics</em></a>, weeks 183-187.</p> <p>An example of the cool unification we can do with $\mathbb{F}_1$ at our disposal: we can make sense of statements like</p> <blockquote> <p>Combinatorics is linear algebra over $\mathbb{F}_1$.</p> </blockquote> <p>(This idea is originally due to Jacques Tits, if I recall correctly.)</p> <p>For a possible way of rigorously developing such a theory, see Nikolai Durov's paper <a href="http://arxiv.org/abs/0704.2030" rel="nofollow">New Approach to Arakelov Geometry</a>.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117821#117821 Answer by Joseph O'Rourke for New grand projects in contemporary math Joseph O'Rourke 2013-01-02T01:07:26Z 2013-01-02T01:50:52Z <p>This is a question rather than an answer. Shmuel Weinberger wrote a (to me, amazing) book about a decade ago, entitled</p> <blockquote> <p>"Computers, rigidity, and moduli. The large-scale fractal geometry of Riemannian moduli space" (<a href="http://press.princeton.edu/titles/7903.html" rel="nofollow">Princeton link</a>)</p> </blockquote> <p>Has the "grand project" promised by this book flourished, or at least evolved, in the last decade? I don't mean this question to be critical, I am just curious where his line of thought (e.g., "logical complexity engenders geometric complexity") stands ten years after.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117828#117828 Answer by JSE for New grand projects in contemporary math JSE 2013-01-02T03:28:42Z 2013-01-02T13:45:56Z <p>I think it is certainly appropriate to denote as a "grand project" the remarkable new progress in the area sometimes called additive combinatorics or additive number theory, though the subject has expanded to the point that neither of these are good names any longer, if they ever were. I am talking about the strain of thought whose modern form starts with Gowers and continues through with work of Tao, Green, Helfgott, Breuillard, Ziegler, Pyber-Szabo, and many, many others: loosely speaking, all this work centers around the idea that "things that are approximately structured approximate a structure" -- so that if I am a subset of a group and I am approximately closed under multiplication, I must be close to some literal subgroup; or if I am a subset of Z which contains too many arithmetic progressions, I must actually have big intersection with some infinite arithmetic progression; or if I am a subset of R^2 such that lines containing two points of my set are overly likely to contain a third, then I must look something like a subgroup of a real elliptic curve.... </p> <p>Another way to put it is that this field is concerned with structural dichotomies -- subsets either obey the laws that completely random subsets do, OR they are "structured" in some appropriate way; there is no in between.</p> <p>To me this perfectly meets the definition of a grand program -- like Gromov's take on group theory (with which it shares both some content and some philosophial affinity!) it provides a really new paradigm for "how things are," and at the same time it has given us real progress in a multitude of areas (analytic number theory, harmonic analysis, combinatorial geometry, etc.)</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117832#117832 Answer by Johannas for New grand projects in contemporary math Johannas 2013-01-02T04:22:46Z 2013-01-02T04:22:46Z <p>I might say that algebraic stacks and their development might be a "grand project" (although, admittedly, this is something that I do not know a whole lot about). In particular, there is the "Stacks Project", found here: stacks.math.columbia.edu/</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117834#117834 Answer by Kevin R. Vixie for New grand projects in contemporary math Kevin R. Vixie 2013-01-02T04:57:40Z 2013-01-02T04:57:40Z <p>I have three answers. The first two involve mathematics with an applied flavor, with strong connections to mathematics of a purer flavor. The last one is purer in origin, but full of potential for applications.</p> <hr> <p><strong>$\color{red}{\large\text{I)}}$ $\color{blue}{\large\text{Image Analysis}}$</strong> </p> <p>This is clearly an applied area. But it has strong connections to purer areas like harmonic analysis, PDE, geometric measure theory, and variational analysis. </p> <p>The mathematical branch of image analysis heated up a great deal in the 1990's as a cumulative result of S. Geman and D. Geman (1984). <strong><em>Stochastic Relaxation, Gibbs Distributions, and the Bayesian Restoration of Images</em></strong> (Google citations = 13672), Mumford and Shah (1989) <strong><em>Optimal approximations by piecewise smooth functions and associated variational problems</em></strong> (Google Citations = 3140), and Rudin, Osher and Fatemi (1992) <strong><em>Nonlinear total variation based noise removal algorithms</em></strong> (Google citations = 5079). Innovations in applied harmonic analysis - wavelets! - also had a large impact.</p> <p>Interesting mathematics could be applied to problems that could be seen, literally! This inspired many applied and (pure) mathematicians to explore and contribute. This was strengthened by the formation of the SIAM activity group in about 2001, as well as by the fact that it had strong, influential participants like Guillermo Saprio, Andrea Bertozzi, Don Geman, Stan Osher, Tony Chan, David Mumford ... to name only a very few. Another reason image analysis became interesting to mathematically serious folk (as well as many dabblers) was that the ideas went both ways -- cool mathematics could be applied, but also, applications generated exciting, new mathematical problems.</p> <p>$\color{blue}{\text{Examples}}$ </p> <p><em>The Mumford-Shah functional</em>: This variational functional introduced by David Mumford and Jayant Shah to solve segmentation problems became an object of study attracting lots of intense scrutiny from the likes of E. De Giorgi, L. Ambrosio, G. David and others. And as fas as I know, the structure theory is still not complete.</p> <p><em>ROF functional -- TV Denoising</em>: This functional and it's variants generated a huge amount of interest. In fact that interest has not died off, especially if one looks at the endless variations that have been generated. Interesting algorithms as well as purer investigations using the tools of geometric measure theory have generated new ideas, even in geometric measure theory. Example: Allard's 2007 paper, <strong><em>Total variation regularization for image denoising, I. Geometric theory</em></strong>, uses geometric measure theory tools to definitively expose the nature of TV regularized image functional minimizers.</p> <p><em>Geman and Geman</em>: as is clear from the Google citations, it has had an enormous influnece in applications. I know the least about this subject, so I am not aware of the details of its impact on mathematics. </p> <p>The area is stronger than ever and is characterized by a constant influx of fresh ideas, some of which generate very interesting and rich innovations in mathematics. For example, the CS topic brought up by Yuichiro has a big intersection with mathematical image analysis. </p> <p><strong>$\color{blue}{\text{Dicussion:}}$</strong> Is this a grand challenge? I would argue that it is, but it is much more of a grass roots effort, not dominated by one personality but rather driven by a large number of ingenious people and real world problems. So it is different than the Grothendieck or Lurie or Thurston programs. It is more chaotic, more accessible, yet rich with motivations and inspirations that lead very deeply as well. It feels to me like something at the intersection of mathematics and physics.</p> <p><strong>$\color{red}{\large\text{II)}}$ $\color{blue}{\large\text{Mathematics for and from the Data Deluge}}$</strong> </p> <p>It is not news that massive overloads of data are being generated, nor is it a new idea that old analysis tools are not enough. Those who know something of both the current data challenges and available mathematical technology realize that: </p> <ol> <li>Those mathematical tools are largely unexplored for their potential to data, and</li> <li>data problems are powerful sources of new ideas in those (purer) mathematical areas.</li> </ol> <p>This is definitely another grand challenge which in fact subsumes the previous grand challenge of mathematical image analysis. It is of course driven by real world applications, but this in no way lessens the mathematical challenges. But it does broaden them tremendously.</p> <p>$\color{blue}{\text{What is the nature of the mathematics involved in this challenge?}}$ It is very wide ranging, from geometric measure theory, harmonic analysis and PDE to graph theory, probability and statistics. Real problems are agnostic as to where insights might come from!</p> <p>$\color{blue}{\text{What are the big questions?}}$ How do we extract information from very high dimensional data? How do we characterize streaming data on the fly? How do we find the proverbial needle in the haystack? etc. etc. etc.</p> <p>How does this translate into mathematical programs of research? In tremendously varied ways. One has to look at research in mathematics, electrical engineering and computer science (at least) to get a grasp on the large scale of the intellectual energy devoted to these problems. </p> <p><strong>$\color{red}{\large\text{III)}}$ $\color{blue}{\large\text{Analysis in Metric Spaces}}$</strong></p> <p>I am a neophyte here, but this area is both rather hot and very intriguing. <strong><em>Currents in metric spaces</em></strong> by L Ambrosio, B Kirchheim (2000), <strong><em>Differentiability of Lipschitz functions on metric measure spaces</em></strong> by J Cheeger (1999), and monographs like Heinonen's <strong><em>Lectures on Analysis in Metric Spaces</em></strong> (2001) as well as various papers on analysis in sub-Riemannian spaces are examples and starting points for exploration. (The Helsinki school in analysis seems to me one major driving force here.)</p> <p>There appears to me to be huge opportunities for progress here. Lots of exciting questions!</p> <p>I also believe that the potential of this area for use in understanding and modeling data in metric spaces is just beginning to be realized. Data often comes with some notion of distance, but no natural embedding in a vector space. As the numbers of mathematicians working simultaneously in both pure and applied modes grow, I believe areas like analysis in metric spaces will become exploited for their power to illuminate applied problems.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117838#117838 Answer by Gil Kalai for New grand projects in contemporary math Gil Kalai 2013-01-02T06:00:54Z 2013-01-02T06:00:54Z <p>A successful grand project is the classification of finite simple groups. It was completed but several exciting follow-up projects are ongoing.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117862#117862 Answer by Jonny Evans for New grand projects in contemporary math Jonny Evans 2013-01-02T12:19:59Z 2013-01-07T09:48:54Z <ol> <li><p>One grand project which has generated much work is the quest for mathematical understanding of mirror symmetry (via <a href="http://en.wikipedia.org/wiki/Homological_mirror_symmetry" rel="nofollow">homological mirror symmetry</a>, or the <a href="http://arxiv.org/abs/0802.3407" rel="nofollow">Strominger-Yau-Zaslow/Gross-Siebert</a> picture). Attempts to formulate and prove the conjecture have led to interesting new ideas in symplectic geometry (like the work of Paul Seidel) and attempts to confirm enumerative predictions from string theory have led to new techniques in algebraic geometry. While this grand project has been around since the early 90s (e.g. <a href="http://arxiv.org/abs/alg-geom/9411018" rel="nofollow">Kontsevich's ICM talk</a> which introduced homological mirror symmetry was in 1994) it is still going strong and much progress has been made.</p></li> <li><p>Another very active program in geometry was initiated by the paper of <a href="http://www2.imperial.ac.uk/~rpwt/skd.pdf" rel="nofollow">Donaldson-Thomas</a> (see also the more recent paper of <a href="http://arxiv.org/abs/0902.3239" rel="nofollow">Donaldson-Segal</a>) and is an effort to define instanton counting/Floer-theoretic invariants in the context of higher-dimensional gauge theory and exceptional geometry.</p></li> <li><p>The search for constant scalar curvature Kaehler metrics (see Donaldson's lecture from the Fields Medallists' Lectures Volume or Tian's book "Canonical metrics in Kaehler geometry") and the related Donaldson-Tian-Yau conjecture on existence of Kaehler-Einstein metrics on Fano varieties was <a href="http://arxiv.org/abs/1210.7494" rel="nofollow">recently resolved</a> after nearly twenty years' work by many of the world's leading geometric analysts.</p></li> <li><p>The 2000 paper <a href="http://arxiv.org/abs/math/0010059" rel="nofollow">"Introduction to Symplectic Field Theory"</a> by Eliashberg-Givental-Hofer certainly counts as the initiation of a grand project: the systematic study of punctured pseudoholomorphic curves in certain non-compact symplectic manifolds. The theory has many applications, and a by-product is the new foundational polyfold approach to elliptic moduli problems.</p></li> </ol> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117872#117872 Answer by Dirk for New grand projects in contemporary math Dirk 2013-01-02T14:16:05Z 2013-01-05T12:34:50Z <p>In numerical mathematics there is a recent new grand theme called <strong>randomized numerical linear algebra</strong> (RandNLA). One example (probably even a paradigm) is the "randomized range finder" from the paper <a href="http://arxiv.org/abs/0909.4061" rel="nofollow">"Finding structure with randomness"</a>. In a nutshell, you hit a (probably very large) matrix $A$ from the right with a random matrix $\Omega$ (which should be a short matrix) and then use a traditional numerical algorithm to find an orthonormal base of the range of $A\Omega$. By hitting the matrix from the right, one can reduce the number of columns of the matrix and hence, the potential computational effort can be reduced. On the other hand, one loses some dimensions of the range of the matrix but one hopes that, due to the randomization, the most important dimensions are kept.</p> <p>The general idea is that in most cases the interesting quantities are not such "high-dimensional" as they look at first glance. In the case of a high dimensional range of a matrix $A$, it may be that the "usual element" $Ax$ lives in a space of lower dimension.</p> <p>Interesting questions in this area include: What guarantees can be given for the output of a randomized algorithm? To what extend does the distribution from which the random object in the algorithm is drawn influence the quality of the output? Under what circumstances does randomization pay off (e.g. in terms of computational effort or storage)? </p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117875#117875 Answer by Abdelmalek Abdesselam for New grand projects in contemporary math Abdelmalek Abdesselam 2013-01-02T15:37:10Z 2013-01-04T00:48:08Z <p>Work on the mathematical foundations of quantum field theory. See for instance the recent review by Michael Douglas: "Foundations of quantum field theory" in <a href="http://books.google.fr/books?id=Oy2n7wVuREwC&amp;printsec=frontcover#v=onepage&amp;q&amp;f=false" rel="nofollow">Proc. Symp. Pure Math. vol 85, 2012</a>. See also this recent <a href="http://scgp.stonybrook.edu/scientific/workshops/1498" rel="nofollow">Stony Brook conference</a> on the subject.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/117997#117997 Answer by Timothy Chow for New grand projects in contemporary math Timothy Chow 2013-01-03T21:32:13Z 2013-01-03T21:32:13Z <p>Graph minor theory. The first success of this theory was the proof of Wagner's conjecture that in every infinite set of finite graphs, one is a minor of the other. However, the theory developed over the course of twenty-odd papers by Robertson and Seymour has been enormously fruitful and its consequences are still being actively explored, with no end in sight. The proof of the strong perfect graph conjecture was the next spectacular success, and then came applications to the structure of clawfree graphs. Graph minor theory almost singlehandedly transformed people's perception of graphs as structureless combinatorial gadgets about which only countless ad hoc theorems could be proved, into a realization that graphs are highly structured objects about which general theories can be developed.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/118006#118006 Answer by Adrien Hardy for New grand projects in contemporary math Adrien Hardy 2013-01-03T23:07:12Z 2013-01-03T23:12:25Z <p>Universality phenomena for determinantal point processes and relatives. </p> <p>After the deep results obtained by many great researchers concerning independent random variables, lot of attention has been recently paid to a certain kind of interacting random variables, arising from several (a priori non related) fields of mathematics, which behaves in a same way as the number of such random variables goes to infinity (appearance of the Sine kernel, Tracy-Widom distribution ...) ; the so-called universality phenomenon. This class of interacting random variables is not yet identified but includes </p> <ul> <li><p>the eigenvalues of many random matrix models</p></li> <li><p>the lengths of the rows of Young diagrams distributed according to the Plancherel measure</p></li> <li><p>models from statistical physics like (T)ASEP, polynuclear growth models, random tilings of geometric shapes, ...)</p></li> <li><p>the zeros of the Riemann Zeta function, once assumed the RH</p></li> </ul> <p>and many others.</p> <p>For further information, see e.g. the nice (although not exhaustive) overview of Deift <a href="http://arxiv.org/abs/math-ph/0603038" rel="nofollow">http://arxiv.org/abs/math-ph/0603038</a> </p> <p>Because of the diversity of the mathematics involved a huge community, including a few Fields medals, is now working on a better understanding of such a class of random variables.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/118121#118121 Answer by Alexander Chervov for New grand projects in contemporary math Alexander Chervov 2013-01-05T13:10:28Z 2013-01-05T13:10:28Z <p>In information theory (error-correcting codes) the grand achievements in 90-ies are <a href="http://en.wikipedia.org/wiki/Turbo_code" rel="nofollow">turbo-codes</a> and <a href="http://en.wikipedia.org/wiki/Low-density_parity-check_code" rel="nofollow">LDPC codes</a>. Recent 2009 discovery which became hottest topic is <a href="http://en.wikipedia.org/wiki/Polar_code_%28telecommunication%29" rel="nofollow">polar codes</a>. </p> <p>It is tempting to say that paradigm-shift coming with turbo and LDPC codes instead of earlier popular approaches: <a href="http://en.wikipedia.org/wiki/Convolutional_code" rel="nofollow">convolutional codes</a>, <a href="http://en.wikipedia.org/wiki/Reed-Solomon_error_correction" rel="nofollow">Reed-Solomon codes</a>, <a href="http://en.wikipedia.org/wiki/BCH_codes" rel="nofollow">BCH codes</a> et.al. is shift from algebra to probability, from order to chaos. I mean that earlier constructions were much dominated by algebra considerations e.g. non-recursive convolutional codes are just the ideals in the ring $F_2[x]\oplus ... \oplus F_2[x]$. While turbo and LDPC are actually constructed and decoded with methods which much influenced by probabilistic and randomized considerations: roughly speaking good LDPC codes can be constructed by sufficiently sparse and random matrix. The decoding methods used for LDPC - <a href="http://en.wikipedia.org/wiki/Belief_propagation" rel="nofollow">belief propagation</a> naturally belong to probability or machine learning maths. rather than algebra. </p> <p>Actually turbo code is almost the same as convolutional code, modula one "small" detail - interleaver. Interleaver is "radomizer" added to the algebra-tasted convolutional code, it is crucial thing which makes all work. That what concerns the encoder. The decoder of turbo-codes "resembles" turbine and hence the name "turbo"-code, it is crucially based on probabilistic techniques in coding theory. Well, the key technique - BCJR algorithm was developed much earlier, so, of course, all division into old-new paradigms is not very precise, but nevertheless seems there is something behind it.</p> <p>These ideas found rich practical applications. If someone is reading this with the help of smartphone - say thank to "turbo-codes" - they are working there.</p> <p>New discovery - polar codes - probably can be characterized as algebra's strike back - they seems to be quite algebraic nature, sorry I cannot say much for the moment.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/118197#118197 Answer by John McKay for New grand projects in contemporary math John McKay 2013-01-06T12:21:55Z 2013-01-06T12:21:55Z <p>The CFSG (classification of finite simple groups) yields L: The finite groups of Lie type, and S: the non-Lie groups = 26 sporadic simples. We do not know how natural this taxonomy is.</p> <p>One approach is that of (categorical) 2-groups. Another is that of BIRS Banff 12frg158 which is an attempt to tame the sporadics using integrable systems, symplectic geometry, characteristic classes, and mathematical physics. This may lead to flourishing of new interconnections between many fields.</p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/118265#118265 Answer by András Bátkai for New grand projects in contemporary math András Bátkai 2013-01-07T11:06:56Z 2013-01-07T11:06:56Z <p>The theory of nonlinear dispersive equations, hyperbolic conservation laws, etc., see</p> <p>Terece Tao's <a href="http://terrytao.wordpress.com/books/nonlinear-dispersive-equations-local-and-global-analysis/" rel="nofollow">book</a> on the subject, Jean Bourgains <a href="http://books.google.hu/books?id=FZ7-TFGS9LAC" rel="nofollow">book</a> or Helge Holdens co-authored <a href="http://www.math.ntnu.no/~holden/books.html" rel="nofollow">monographs</a>. </p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/118276#118276 Answer by Nick Gill for New grand projects in contemporary math Nick Gill 2013-01-07T13:16:06Z 2013-01-07T13:16:06Z <p>Within the realm of finite permutation group theory there are a series of projects that could be collectively entitled <strong>The classification of finite combinatorial objects subject to transitivity assumptions</strong>. These kinds of classifications have, of course, been around a long time (for instance the Greeks interest in platonic solids is a particular instance) but the nature of this work changed very dramatically with the completion of the Classification of Finite Simple Groups.</p> <p>Particular threads of this grand project include:</p> <ul> <li>The classification of distance-transitive graphs (cf. work of Saxl, Van Bon, Inglis and others);</li> <li>The classification of flag-transitive designs (cf. the paper of Buekenhout, Delandtsheer, Doyen, Kleidman, Libeck and Saxl which gives an almost-complete classification). More recently the flag-transitivity condition has been relaxed, and progress has been made on classifying designs which are, for instance, line-transitive or point-primitive (cf. work by many authors!)</li> <li>The classification of finite projective planes subject to various assumptions. This is a special case of the previous item. In 1959 Ostrom &amp; Wagner gave a full classification of projective planes admitting 2-transitive automorphism groups; in 1987, and using CFSG, Kantor gave an almost-classification of projective planes admitting point-primitive automorphism groups; results have appeared subsequently dealing with the weaker situation of point-transitivity.</li> <li>The classification of generalized polygons subject to various assumption. The previous item is a special case of this. (I know of recent work on generalized quadrangles due to Bamberg, Giudici, Morris, Royle and Spiga; not sure about hexagons and octagons.)</li> <li>The classification of `special geometries'. This is work initiated (I believe) by Francis Buekenhout in an attempt to understand the sporadic groups (see the earlier answer by J Mckay). The idea is to find geometries on which the sporadic groups act, analogously to the way the groups of Lie type acts on Tits buildings.</li> <li>The classification of regular maps (i.e. graphs embedded nicely on topological surfaces and admitting an automorphism group that is regular on flags/ directed edges). This is the thread that involves the Platonic solids; more recently there is a wealth of work by people like Conder, Siran, Tucker, Jones, Singerman, and many others.</li> </ul> <p>There are many others but these give a flavour (skewed to my own interests).</p> <p>In many of the threads just mentioned (but not all) a crucial first step in classifying objects is to use the Aschbacher-O'Nan-Scott theorem which describes the maximal subgroups of $S_n$. One then often needs information about maximal subgroups of the almost simple groups and so another famous theorem of Aschbacher comes into play (along with results by Kleidman, Liebeck, and others). These theorems are closely related to the answer given by Gil Kalai - the production of results of this ilk (facts about the finite simple groups) is, in itself, a grand project!</p>