Babai, Laszlo

University of Chicago, Chicago, IL, United States

The acronym "NP" describes the class of mathematical puzzles that may or may not have a solution but if they do, the solution is easy to verify.Â (Think of Sudoku.)Â Such puzzles are at the heart of much of the progress behind the algorithms that power computation and communication, the twin pillars of societal activity in the information age, including science, commerce, banking, security, etc. While verifying a solution to such puzzles is easy, just how difficult it is to find a solution (or decide that none exists) is an open question, one of the great open problems of mathematics today, known as the "P vs. NP problem. Many puzzles in the class NP are known to be as hard as they can get; these problems are called "NP-complete."Â At the other end of the spectrum is the class "P" of "tractable" problems, i.e., problems solvable in "polynomial time" -- a theoretical benchmark of efficiency.Â NP-problems that do not belong to either extreme (neither in P nor NP-complete) are called "NP-intermediate." In contrast to the vast collection of important problems known to be NP-complete and the rich set of problems in P, there are very few natural candidates for NP-intermediateness.Â One of the most prominent among these is the Graph Isomorphism (GI) problem that asks the simple question, given two networks of nodes and links, are they in effect the same (after relabeling the nodes)?

The PI has recently achieved a result on the complexity of GI that has been hailed as a breakthrough.Â For three decades, the best bound was "moderately exponential" (Luks, 1983), still far out in the intractable domain, but not as bad as "exponential," the suspected complexity of NP-complete problems.Â Recently the PI dramatically reduced the complexity estimate, down to "quasipolynomial," aÂ complexity status "in the suburbs" of the tractable domain, borrowing Scott Aaronson's phrase. The result required a deeper understanding of the interplay between the notionsÂ of symmetry and regularity of mathematical objects.Â The gap between these twoÂ related notions is the essence of the GI problem.Â "Group theory" is the nameÂ of the algebraic theory of symmetry; this classical branch of mathematics has provided the key tools for the PI's work.

The PI's result generated a measure of interest across the globe, unprecedented in the PI's career and seldom seen in connection with any single result; it extended beyond the core research communities and has fascinated scientists, engineers, educators, and amateurs.Â The PI's first seminarÂ lecture about the result drew an overflow audience to the largest lecture theater at the University of Chicago and was live tweeted to a global audience.Â Subsequently the PI gave marathon seminars and lecture series at eminent researchÂ institutions coast to coast and overseas and lectured at conferences in CS, combinatorics, group theory, quantum computing. The result was widely reported in theÂ popular science press. This interest attests to the foundational nature of the problem, the unexpectedÂ strength of the result, and the connection of the work to multiple areas of mathematics and computation theory. While its immediate impact outside CS is in mathematics, notably in algebraic combinatorics and asymptotic group theory, itÂ also addresses as well as raises questions pertinent to the underlying philosophy of computational complexity theory.Â Invitation by the Mathematical Association of America (MAA) to deliver an address at the Joint MathematicsÂ Meetings (January 2018) underlines the interest of mathematics educators in the work.

Groups of undergraduates have shown interest.Â The PI gave presentations at a Research Experiences for Undergraduates (REU) Site at the University of Chicago, at Budapest Semesters in Mathematics (BSM) (aÂ highly-rated study-abroad program for American undergraduates the PI helped found decades ago), and a student seminar in St. Andrews, U.K., arranged by a studentÂ who previously attended the PI's lecture at Chicago.Â This year, a student from the Univ. of Michigan who was among the PI's BSM audience will studyÂ under the PI's mentorship in Chicago over the summer.Â (Note: both students mentioned in this paragraph are female, a reflection of the fact that both BSM andÂ the Chicago REU Site make a special effort to recruit qualified female applicants.) Â Building on the popularity of his work, the PI continues his outreach with the larger goal of popularizing mathematics, the theory of computing, and the close interaction of these fields.Â A professor at St. Andrews reported increasedÂ interest in group theory since the PI's presentation there.

Researchers in the field of quantum computing have also shown interest in the PI's work.Â The central problem of the theory of quantum computation is to identify computational tasks that can be solved more efficiently in the quantum model than in the classical model.Â Following Shor's celebrated paper that demonstrated that two of the most important candidate NP-intermediate problems, factoring integers and discrete logarithm, can be solved efficiently in the quantum model using "quantum Fourier transform" (QFT), attention turned to GI as a problem to be attacked by a nonabelian version of QFT. Â While these attempts have asÂ yet not been successful, the PI's work now provides a more fine-grained approach, some components of which may motivate a search for a quantum approach.Â TheÂ PI has been invited to address quantum computing audiences, even though the PI's work is limited to the classical model.

Building on the momentum of the GI accomplishment, the PI will explore newÂ frontiers in the area of NP-intermediate problems, as well as broaden his agenda to include models of computation where structural symmetry is either part ofÂ the problem definition or is expected to give a new direction to the investigations. Problems of the first type include canonical forms, hypergraph isomorphism, and the group isomorphism problem, as well as the equivalence problem for certain classes of non-explicit structures such as linear codes and permutation groups.Â Problems of the second type include the sensitivity problem for BooleanÂ functions and problems in the "property testing" model, including local list-decoding of homomorphism codes, an area initiated by the classic paper of Goldreich and Levin on Hadamard codes and more recently championed by Madhu Sudan andÂ his collaborators.

Problems at the interface of algorithms and group theory are expected to play aÂ key role in the entire project.Â Beyond the combinatorial problems that have arisen from the study of GI, the project leads to analogous questions of the symmetry vs. regularity gap in linear algebra.

An important extension of the GI problem is the question, can one find canonical forms as efficiently as testing isomorphism under the new result.Â The PI expects that isomorphism of hypergraphs can be tested in time quasipolynomial inÂ the number of vertices and polynomial in the number of edges, providing an interpolation between the GI result and a 1999 result of Luks on hypergraph isomorphism.Â The PI's results on canonical structures ("Split-or-Johnson routine") invite a study of connections to mathematical logic, suggested by audience members at a recent workshop at the Simons Institute for the Theory of Computing in Berkeley.

The isomorphism problem for explicitly given groups represents a barrier to further progress on GI; its quasipolynomial complexity has not been significantlyÂ reduced over the past several decades, in spite of the availability of powerful algebraic machinery.Â The PI aims to gain a better understanding of this barrier in the critical case of nilpotent groups of class 2.Â The related equivalence problem for linear codes may also have connections to cryptography

- Agency
- National Science Foundation (NSF)
- Institute
- Division of Computer and Communication Foundations (CCF)
- Type
- Standard Grant (Standard)
- Application #
- 1718902
- Program Officer
- Tracy J. Kimbrel

- Project Start
- Project End
- Budget Start
- 2017-09-01
- Budget End
- 2020-08-31
- Support Year
- Fiscal Year
- 2017
- Total Cost
- $450,000
- Indirect Cost

- Name
- University of Chicago
- Department
- Type
- DUNS #

- City
- Chicago
- State
- IL
- Country
- United States
- Zip Code
- 60637