Noteworthy achievements in and around 2010? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T14:29:29Z http://mathoverflow.net/feeds/question/83290 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/83290/noteworthy-achievements-in-and-around-2010 Noteworthy achievements in and around 2010? Alexander Chervov 2011-12-12T21:52:22Z 2012-12-05T07:24:40Z <p>The goal of this question is to compile a list of noteworthy mathematical achievements from about 2010 (so somewhat but not too far in the past). In particular, this is meant to include (but not limited to) results considered of significant importance in the respective mathematical subfield, but that might not yet be widely known throughout the community. </p> <p>Compiling such a list is inevitably a bit subjective, yet this can also be seen as a merit, at least as long as one keeps this implicit subjectivenes in mind. Thus the specific question to be answered is; </p> <blockquote> <p>Which mathematical achievements from about 2010 do you find particularly noteworthy?</p> </blockquote> <p>This is perhaps too broad a question. So, a way to proceed could be that people answering focus on their respective field(s) of expertise and document that they did so in the answer (for an example see Mark Sapir's answer). </p> <p>As my own candidates let me mention two things: [Note: original version of the question by Alexander Chervov, so these are Alexander Chervov's candidates.]</p> <hr> <p>1) "Polar coding" (Actually it is earlier than 2010, but I asked for "around 2010")</p> <p>introduction of "Polar coding" <a href="http://arxiv.org/abs/0807.3917" rel="nofollow">http://arxiv.org/abs/0807.3917</a> by E.Arikan. New approach to construct error-correcting codes with very good properties ("capacity achieving").</p> <p>Comparing the other two recent and popular approaches turbo-codes (http://en.wikipedia.org/wiki/Turbo_code) and LDPC codes (http://en.wikipedia.org/wiki/LDPC) Polar coding promises much simpler decoding procedures, although currently (as far as I know) they have not yet achieved same good characteristics as LDPC and turbo, it might be a matter of time. It became very hot topic of research in information theory these days - just in arxiv 436 items found on the key-word "polar codes".</p> <p>I was surpised how fast such things can go from theory to practice - turbo codes were invented in 1993 and adopted in e.g. mobile communication standards within 10 years. So currently yours smartphones use it.</p> <hr> <p>2) Proof of the Razumov-Stroganov conjecture</p> <p><a href="http://arxiv.org/abs/arXiv:1003.3376" rel="nofollow">http://arxiv.org/abs/arXiv:1003.3376</a></p> <p>So the conjecturee lies in between mathematical physics (integrable systems) and combinatorics. There was much interest in it recent years.</p> <p>Let me quote D. Zeilberger (http://dimacs.rutgers.edu/Events/2010/abstracts/zeil.html):</p> <p>In 1995, Doron Zeilberger famously proved the alternating sign matrix conjecture (given in 1996, a shorter proof by Greg Kuperberg). In 2001, Razumov and Stroganov made an even more amazing conjecture, that has recently been proved by Luigi Cantini and Andrea Sportiello. I will sketch the amazing conjecture and the even more amazing proof, that is based on brilliant ideas of Ben Wieland.</p> http://mathoverflow.net/questions/83290/noteworthy-achievements-in-and-around-2010/83293#83293 Answer by Zeeshan Mahmud for Noteworthy achievements in and around 2010? Zeeshan Mahmud 2011-12-12T22:12:50Z 2011-12-12T22:12:50Z <p>The Table of Contents for Current Developments in Mathematics, 2010 (<a href="http://www.intlpress.com/books/9781571462282.php" rel="nofollow">link</a>) lists:</p> <ul> <li><em>The Arf-Kervaire problem in algebraic topology: Sketch of the proof</em> by Michael A. Hill, Michael J. Hopkins, and Douglas C. Ravenel</li> <li><em>On the Friedlander-Milnor conjecture for groups of small rank</em> by Fabien Morel</li> <li><em>Universal formulas for counting nodal curves on surfaces</em> by Yu-Jong Tzeng</li> <li><em>Some recent results on representations of p-adic special orthogonal groups</em> by Jean-Loup Waldspurger</li> <li><em>Wellposedness of the two- and three-dimensional full water wave problem</em> by Sijue Wu</li> </ul> <p>This <a href="http://www.math.harvard.edu/cdm/" rel="nofollow">website</a> lists topic discussed for Current Developments in Mathematics in 2011.</p> http://mathoverflow.net/questions/83290/noteworthy-achievements-in-and-around-2010/83384#83384 Answer by Mark Sapir for Noteworthy achievements in and around 2010? Mark Sapir 2011-12-14T01:39:28Z 2011-12-14T21:39:56Z <p>I would like to know other people answers, so perhaps other people will want my answer also. I can offer my opinion about the area of geometric/algorithmic/asymptotic group theory which I am doing. I should start with saying that my opinion most probably does not coincide with opinions of other people in my area which, I think, is normal. I may also forget something. Also by an achievement I mean a concrete result, not a theory. In my area, the "top" achievements of the last year are (IMHO, in no particular order) </p> <ul> <li><p>Sela's continued work on Tarski-related problems. His series of 10 papers is now more than 1000 pages long and the latest (recent) results include a solution of an old Malcev's problem about elementary equivalence of free products of groups. That of course assuming it is correct: the solution is being checked. </p></li> <li><p>Kharlampovich-Myasnikov's solution of another Malcev's problem, also related to Tarski problems, that proper subgroups of free non-Abelian groups cannot be defined by first order formulas. </p></li> <li><p>Dani Wise's work on "cubulating" groups, i.e. embedding groups into Right Angled Artin Groups (again assuming it is correct). In particular his solution of an old problem by Baumslag: all 1-related groups with torsion are residually finite. Also his and Agol's results imply that hyperbolic Haken 3-manifold groups are virtually surface-by-cyclic which is a great result. </p></li> <li><p>Igor Mineyev's (very short!) proof of the Strong Hanna Neumann conjecture (more than 40 years old). </p></li> <li><p>Bestvina-Bromberg-Fujiwara's proof that mapping class groups have finite asymptotic dimension. </p></li> </ul> http://mathoverflow.net/questions/83290/noteworthy-achievements-in-and-around-2010/83387#83387 Answer by Timothy Chow for Noteworthy achievements in and around 2010? Timothy Chow 2011-12-14T03:14:46Z 2011-12-14T03:14:46Z <p>Ryan Williams proved a <a href="http://www.stanford.edu/~rrwill/acc-lbs.pdf" rel="nofollow">breakthrough result</a> about circuit lower bounds, showing (for example) that NTIME[$2^n$] does not have non-uniform ACC circuits of polynomial size.</p> <p>Francisco Santos <a href="http://arxiv.org/abs/1006.2814?context=cs" rel="nofollow">disproved the Hirsch conjecture</a>.</p> <p>Tomas Rokicki, Herbert Kociemba, Morley Davidson, and John Dethridge proved that <a href="http://www.cube20.org/" rel="nofollow">diameter of the Rubik's cube group is 20</a>.</p> http://mathoverflow.net/questions/83290/noteworthy-achievements-in-and-around-2010/83534#83534 Answer by Alexander Chervov for Noteworthy achievements in and around 2010? Alexander Chervov 2011-12-15T17:18:31Z 2011-12-15T17:18:31Z <p>AGT conjecture (String theory related to representation theory and algebraic geometry)</p> <p><a href="http://arxiv.org/abs/0906.3219" rel="nofollow">http://arxiv.org/abs/0906.3219</a></p> <p>Liouville Correlation Functions from Four-dimensional Gauge Theories</p> <p>Luis F. Alday, Davide Gaiotto, Yuji Tachikawa</p> <p>"We conjecture an expression for the Liouville theory conformal blocks and correlation functions on a Riemann surface of genus g and n punctures as the Nekrasov partition function of a certain class of N=2 SCFTs recently defined by one of the authors."</p> <p>As far as I understand it became big trend in hep-th, cited more than 200 times. </p> <p>--</p> <p>Nekrasov's paper introducing "Nekrasov partition function" is :</p> <p><a href="http://arxiv.org/abs/hep-th/0206161" rel="nofollow">http://arxiv.org/abs/hep-th/0206161</a></p> <p>Seiberg-Witten Prepotential From Instanton Counting</p> <p>It conjectured mathematical formulation for what is known to physicst as "Seiberg-Witten<br> prepotential" for N=2 supersymmetric Yang-Mills theory. Conjecture has been proved later.</p> http://mathoverflow.net/questions/83290/noteworthy-achievements-in-and-around-2010/83553#83553 Answer by David for Noteworthy achievements in and around 2010? David 2011-12-15T19:26:05Z 2011-12-15T19:26:05Z <p>The biggest result in my field in 2010 was the <a href="http://arxiv.org/abs/1011.4105" rel="nofollow">solution to the Erdos-distance problem in the plane</a> by Guth and Katz. This result was quite a breakthrough, and it was a surprise to many. Specifically, they proved the following conjecture of Erdos.</p> <p>For $E \subset \mathbb{R}^n$ put $\Delta(E) = \lbrace |x - y| : x,y \in E \rbrace$, where $| \cdot |$ denotes Euclidean distance. Then for finite sets $E \subset \mathbb{R}^2$, there exists a universal constant such that</p> <p>$$|\Delta(E)| \geq c \frac{|E|}{\log |E|}.$$</p> http://mathoverflow.net/questions/83290/noteworthy-achievements-in-and-around-2010/83598#83598 Answer by Howard Cheng for Noteworthy achievements in and around 2010? Howard Cheng 2011-12-16T05:59:49Z 2011-12-16T05:59:49Z <p>Duminil-Copin and Smirnov proved Nienhaus' conjecture that the connective constant of the self-avoiding walk on the honeycomb lattice is equal to $\sqrt{2 + \sqrt{2}}$.</p> <p><a href="http://arxiv.org/abs/1007.0575" rel="nofollow">http://arxiv.org/abs/1007.0575</a></p> http://mathoverflow.net/questions/83290/noteworthy-achievements-in-and-around-2010/83997#83997 Answer by Federico Poloni for Noteworthy achievements in and around 2010? Federico Poloni 2011-12-21T10:12:54Z 2011-12-21T10:12:54Z <p>The best-case theoretical complexity of matrix multiplication has been <a href="http://www.scottaaronson.com/blog/?p=839" rel="nofollow">lowered</a> from $n^{2.376}$ to $n^{2.373}$.</p> <p>You may argue against its real-world importance, since it is not based on a ground-breaking new technique and is just 0.1% lower than the previous bound, but this is the first improvement on that exponent in 25 years, so I find it interesting.</p> http://mathoverflow.net/questions/83290/noteworthy-achievements-in-and-around-2010/83998#83998 Answer by Stefan Geschke for Noteworthy achievements in and around 2010? Stefan Geschke 2011-12-21T10:51:28Z 2011-12-21T10:51:28Z <p>Set theorists have started to seriously look at $C^*$-algebras and there have been several nice results in the last years. The most spectacular one is probably due to Farah, Phillips, and Weaver:</p> <p>Whether all automorphism of the Calkin algebra (the quotient of the algebra of bounded operators on a separable Hilbert space by the ideal of compact operators) are inner automorphisms (i.e., conjugation by some unitary element) is independent over ZFC.</p> <p>Philips and Weaver proved the existence of outer automorphisms assuming the continuum hypothesis (Duke Math J., 2009) and Farah showed the non-existence of outer automorphisms assuming Todorcevic's Open Coloring Axiom (Annals of Math, 2011). The interest of set theorists in this field was certainly increased by the Phillips-Weaver result.</p> <p>There have been previous and clearly related results on automorphisms of the Boolean algebra $\mathcal P(\omega)/fin$, but the methods in the case of the Calkin algebra seem to be slightly different and also a bit more involved.</p> http://mathoverflow.net/questions/83290/noteworthy-achievements-in-and-around-2010/84001#84001 Answer by J.C. Ottem for Noteworthy achievements in and around 2010? J.C. Ottem 2011-12-21T12:52:11Z 2011-12-21T12:52:11Z <p><a href="http://www.science.unitn.it/~pignatel/PoAV/talks/Tzeng.pdf" rel="nofollow">Tzeng's proof of the Goettsche's conjecture</a>, which says the number of nodal curves in a linear system $|C|$ on a projective surface $S$ is given by a universal polynomial in the Chern numbers of $C$ and $S$ .</p> http://mathoverflow.net/questions/83290/noteworthy-achievements-in-and-around-2010/115472#115472 Answer by Rodrigo A. Pérez for Noteworthy achievements in and around 2010? Rodrigo A. Pérez 2012-12-05T07:00:58Z 2012-12-05T07:00:58Z <p>The proof of the <a href="http://en.wikipedia.org/wiki/Ehrenpreis_conjecture" rel="nofollow">Ehrenpreis Conjecture</a> by Jeremy Kahn and Vladimir Markovic.</p> http://mathoverflow.net/questions/83290/noteworthy-achievements-in-and-around-2010/115475#115475 Answer by Sebastian for Noteworthy achievements in and around 2010? Sebastian 2012-12-05T07:24:40Z 2012-12-05T07:24:40Z <p>In differential geometry there have been two old conjectures both solved in spring 2012 within 1 month:</p> <ol> <li>A proof of the Willmore conjecture by Marques and Neves (arXiv:1202.6036) which states that the Willmore minimizer amongs immersed tori in $S^3$ is the Clifford torus up to Moebius transformation.</li> <li>A proof of the Lawson conjecture on less than 10 pages by Brendle (arXiv:1203.6597): The only embedded minimal torus in $S^3$ is the Clifford torus.</li> </ol> <p>One should note that the proofs of the theorems rely on totally different methods.</p>