Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
DEPARTMENT OF MATHEMATICS
Bachelor of Science in Mathematics (Course 18)
Undergraduate Study The subjects in Group I of the program correspond roughly to those
areas of applied mathematics that make heavy use of discrete
An undergraduate degree in mathematics provides an excellent mathematics, while Group II emphasizes those subjects that
basis for graduate work in mathematics or computer science, or deal mainly with continuous processes. Some subjects, such as
for employment in such elds as nance, business, or consulting. probability or numerical analysis, have both discrete and continuous
Students' programs are arranged through consultation with their aspects.
faculty advisors.
Students planning to go on to graduate work in applied mathematics
Undergraduates in mathematics are encouraged to elect an should also take some basic subjects in analysis and algebra.
undergraduate seminar during their junior or senior year. The
experience gained from active participation in a seminar conducted More detail on the Applied Mathematics option can be found on the
by a research mathematician has proven to be valuable for students degree chart (http://catalog.mit.edu/degree-charts/mathematics-
planning to pursue graduate work as well as for those going on to course-18/#appliedmathematicstext).
other careers. These seminars also provide training in the verbal and
written communication of mathematics and may be used to fulll the Pure Mathematics Option
Communication Requirement. Pure (or "theoretical") mathematics is the study of the basic concepts
and structure of mathematics. Its goal is to arrive at a deeper
Many mathematics majors take 18.821 Project Laboratory in understanding and an expanded knowledge of mathematics itself.
Mathematics, which fullls the Institute's Laboratory Requirement
and counts toward the Communication Requirement. Traditionally, pure mathematics has been classied into three
general elds: analysis, which deals with continuous aspects of
mathematics; algebra, which deals with discrete aspects; and
geometry. The undergraduate program is designed so that students
Department of Mathematics | 3
DEPARTMENT OF MATHEMATICS
become familiar with each of these areas. Students also may wish to
explore other topics such as logic, number theory, complex analysis, Inquiries
and subjects within applied mathematics. For further information, see the department's website (http://
math.mit.edu/academics/undergrad) or contact Math Academic
The subjects 18.701 Algebra I and 18.901 Introduction to Topology Services, 617-253-2416.
are more advanced and should not be elected until a student has
had experience with proofs, as in Real Analysis (18.100A, 18.100B,
18.100P or 18.100Q) or 18.700 Linear Algebra.
Graduate Study
For more details, see the degree chart (http:// The Mathematics Department oers programs covering a broad
catalog.mit.edu/degree-charts/mathematics-course-18/ range of topics leading to the Doctor of Philosophy or Doctor of
#theoreticalmathematicstext). Science degree. Candidates are admitted to either the Pure or
Applied Mathematics programs but are free to pursue interests in
Bachelor of Science in Mathematics with Computer Science both groups. Of the roughly 120-130 doctoral students, about two
(Course 18-C) thirds are in Pure Mathematics, one third in Applied Mathematics.
Mathematics and computer science are closely related elds.
Problems in computer science are oen formalized and solved with The programs in Pure and Applied Mathematics oer basic and
mathematical methods. It is likely that many important problems advanced classes in analysis, algebra, geometry, Lie theory, logic,
currently facing computer scientists will be solved by researchers number theory, probability, statistics, topology, astrophysics,
skilled in algebra, analysis, combinatorics, logic and/or probability combinatorics, fluid dynamics, numerical analysis, theoretical
theory, as well as computer science. physics, and the theory of computation. In addition, many
mathematically oriented subjects are oered by other departments.
The purpose of this program is to allow students to study a Students in Applied Mathematics are especially encouraged to
combination of these mathematical areas and potential areas of take subjects in engineering and scientic subjects related to their
application in computer science. Required subjects include linear research.
algebra (18.06 or 18.700) because it is so broadly used, and discrete
mathematics (18.062[J] or 18.200) to give experience with proofs and All students pursue research under the supervision of the faculty
the necessary tools for analyzing algorithms. The required subjects and are encouraged to take advantage of the many seminars and
covering complexity (18.404 Theory of Computation or 18.400[J] colloquia at MIT and in the Boston area.
Automata, Computability, and Complexity) and algorithms (18.410[J]
Design and Analysis of Algorithms) provide an introduction to the Doctor of Philosophy or Doctor of Science
most theoretical aspects of computer science. We also require The requirements for these degrees are described on the
exposure to other areas of computer science (6.031, 6.033, 6.034, department's website (http://math.mit.edu/academics/grad/
or 6.036) where mathematical issues may also arise. More details timeline). In outline, they consist of an oral qualifying examination,
can be found on the degree chart (http://catalog.mit.edu/degree- a thesis proposal, completion of a minimum of 96 units (8 graduate
charts/mathematics-computer-science-course-18-c). subjects), and a thesis containing original research in mathematics.
4 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
doctoral students in participating departments, who may apply to Tobias Colding, PhD
enroll in the program at any time aer the end of their rst year. Cecil and Ida Green Distinguished Professor
For more information, see the full program description (http:// Professor of Mathematics
catalog.mit.edu/interdisciplinary/graduate-programs/phd-statistics)
under Interdisciplinary Graduate Programs. Laurent Demanet, PhD
Professor of Mathematics
Financial Support Professor of Earth, Atmospheric and Planetary Sciences
Financial support is guaranteed for up to ve years to students Alan Edelman, PhD
making satisfactory academic progress. Financial aid aer the rst Professor of Mathematics
year is usually in the form of a teaching or research assistantship.
Pavel I. Etingof, PhD
Inquiries Professor of Mathematics
For further information, see the department's website (http:// (On leave, spring)
math.mit.edu/academics/grad) or contact Math Academic Services,
617-253-2416. Victor W. Guillemin, PhD
Professor of Mathematics
(On leave, fall)
Faculty and Teaching Sta Lawrence Guth, PhD
Michel X. Goemans, PhD Claude E. Shannon (1940) Professor of Mathematics
Professor of Mathematics
Anette E. Hosoi, PhD
Head, Department of Mathematics
Neil and Jane Pappalardo Professor
William Minicozzi, PhD Professor of Mechanical Engineering
Singer Professor of Mathematics Professor of Mathematics
Associate Head, Department of Mathematics Associate Dean, School of Engineering
Member, Institute for Data, Systems, and Society
Professors
David S. Jerison, PhD
Michael Artin, PhD
Professor of Mathematics
Professor Post-Tenure of Mathematics
Steven G. Johnson, PhD
Martin Z. Bazant, PhD
Professor of Mathematics
E.G. Roos Professor
Professor of Physics
Professor of Chemical Engineering
(On leave, fall)
Professor of Mathematics
Executive Ocer, Department of Chemical Engineering Victor Kac, PhD
Professor of Mathematics
Bonnie Berger, PhD
(On leave)
Simons Professor of Mathematics
Professor of Electrical Engineering and Computer Science Jonathan Adam Kelner, PhD
Member, Health Sciences and Technology Faculty Professor of Mathematics
Department of Mathematics | 5
DEPARTMENT OF MATHEMATICS
6 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Department of Mathematics | 7
DEPARTMENT OF MATHEMATICS
8 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Department of Mathematics | 9
DEPARTMENT OF MATHEMATICS
10 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
18.0651 Matrix Methods in Data Analysis, Signal Processing, 18.085 Computational Science and Engineering I
and Machine Learning Subject meets with 18.0851
Subject meets with 18.065 Prereq: Calculus II (GIR) and (18.03 or 18.032)
Prereq: 18.06 U (Fall, Spring, Summer)
G (Spring) 3-0-9 units
3-0-9 units
Review of linear algebra, applications to networks, structures, and
Reviews linear algebra with applications to life sciences, nance, estimation, nite dierence and nite element solution of dierential
engineering, and big data. Covers singular value decomposition, equations, Laplace's equation and potential flow, boundary-value
weighted least squares, signal and image processing, principal problems, Fourier series, discrete Fourier transform, convolution.
component analysis, covariance and correlation matrices, directed Frequent use of MATLAB in a wide range of scientic and engineering
and undirected graphs, matrix factorizations, neural nets, machine applications.
learning, and computations with large matrices. Students in Course Fall: W. G. Strang. Spring: M. Durey
18 must register for the undergraduate version, 18.065.
G. Strang 18.0851 Computational Science and Engineering I
Subject meets with 18.085
18.075 Methods for Scientists and Engineers Prereq: Calculus II (GIR) and (18.03 or 18.032)
Subject meets with 18.0751 G (Fall, Spring, Summer)
Prereq: Calculus II (GIR) and 18.03 3-0-9 units
U (Spring)
3-0-9 units Review of linear algebra, applications to networks, structures,
Credit cannot also be received for 18.04 and estimation, nite dierence and nite element solution of
dierential equations, Laplace's equation and potential flow,
Covers functions of a complex variable; calculus of residues. boundary-value problems, Fourier series, discrete Fourier transform,
Includes ordinary dierential equations; Bessel and Legendre convolution. Frequent use of MATLAB in a wide range of scientic and
functions; Sturm-Liouville theory; partial dierential equations; heat engineering applications. Students in Course 18 must register for the
equation; and wave equations. undergraduate version, 18.085.
H. Cheng Fall: W.G. Strang. Spring: M. Durey
18.0751 Methods for Scientists and Engineers 18.086 Computational Science and Engineering II
Subject meets with 18.075 Subject meets with 18.0861
Prereq: Calculus II (GIR) and 18.03 Prereq: Calculus II (GIR) and (18.03 or 18.032)
G (Spring) Acad Year 2019-2020: Not oered
3-0-9 units Acad Year 2020-2021: U (Spring)
Credit cannot also be received for 18.04 3-0-9 units
Covers functions of a complex variable; calculus of residues. Initial value problems: nite dierence methods, accuracy and
Includes ordinary dierential equations; Bessel and Legendre stability, heat equation, wave equations, conservation laws and
functions; Sturm-Liouville theory; partial dierential equations; heat shocks, level sets, Navier-Stokes. Solving large systems: elimination
equation; and wave equations. Students in Courses 6, 8, 12, 18, and with reordering, iterative methods, preconditioning, multigrid,
22 must register for undergraduate version, 18.075. Krylov subspaces, conjugate gradients. Optimization and minimum
H. Cheng principles: weighted least squares, constraints, inverse problems,
calculus of variations, saddle point problems, linear programming,
duality, adjoint methods.
Information: W. G. Strang
Department of Mathematics | 11
DEPARTMENT OF MATHEMATICS
12 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Covers fundamentals of mathematical analysis: convergence of Covers fundamentals of mathematical analysis: convergence of
sequences and series, continuity, dierentiability, Riemann integral, sequences and series, continuity, dierentiability, Riemann integral,
sequences and series of functions, uniformity, interchange of limit sequences and series of functions, uniformity, interchange of limit
operations. Shows the utility of abstract concepts and teaches operations. Shows the utility of abstract concepts and teaches
understanding and construction of proofs. More demanding than understanding and construction of proofs. Proofs and denitions are
18.100A, for students with more mathematical maturity. Places more less abstract than in 18.100B. Gives applications where possible.
emphasis on point-set topology and n-space. Students in Course 18 Concerned primarily with the real line. Includes instruction and
must register for undergraduate version 18.100B. practice in written communication. Enrollment limited.
Fall: R. Bezrukavnikov. Spring: P-K Hung. C. Mantoulidis
Covers fundamentals of mathematical analysis: convergence of Covers fundamentals of mathematical analysis: convergence of
sequences and series, continuity, dierentiability, Riemann integral, sequences and series, continuity, dierentiability, Riemann integral,
sequences and series of functions, uniformity, interchange of limit sequences and series of functions, uniformity, interchange of limit
operations. Shows the utility of abstract concepts and teaches operations. Shows the utility of abstract concepts and teaches
understanding and construction of proofs. Proofs and denitions are understanding and construction of proofs. More demanding than
less abstract than in 18.100B. Gives applications where possible. 18.100A, for students with more mathematical maturity. Places more
Concerned primarily with the real line. emphasis on point-set topology and n-space. Includes instruction
Fall: C. Rodriguez. Spring: A. Lawrie. and practice in written communication. Enrollment limited.
Y. Zhao
18.100B Real Analysis
Subject meets with 18.1002 18.101 Analysis and Manifolds
Prereq: Calculus II (GIR) Subject meets with 18.1011
U (Fall, Spring) Prereq: (18.06, 18.700, or 18.701) and (18.100A, 18.100B, 18.100P, or
3-0-9 units 18.100Q)
Credit cannot also be received for 18.100A, 18.100Q U (Fall)
3-0-9 units
Covers fundamentals of mathematical analysis: convergence of
sequences and series, continuity, dierentiability, Riemann integral, Introduction to the theory of manifolds: vector elds and densities
sequences and series of functions, uniformity, interchange of limit on manifolds, integral calculus in the manifold setting and the
operations. Shows the utility of abstract concepts and teaches manifold version of the divergence theorem. 18.901 helpful but not
understanding and construction of proofs. More demanding than required.
18.100A, for students with more mathematical maturity. Places more K. Choi
emphasis on point-set topology and n-space.
Fall: R. Bezrukavnikov. Spring: P-K Hung.
Department of Mathematics | 13
DEPARTMENT OF MATHEMATICS
18.1011 Analysis and Manifolds 18.1031 Fourier Analysis: Theory and Applications
Subject meets with 18.101 Subject meets with 18.103
Prereq: (18.06, 18.700, or 18.701) and (18.100A, 18.100B, 18.100P, or Prereq: (18.06, 18.700, or 18.701) and (18.100A, 18.100B, 18.100P, or
18.100Q) 18.100Q)
G (Fall) G (Fall)
3-0-9 units 3-0-9 units
Introduction to the theory of manifolds: vector elds and densities Roughly half the subject devoted to the theory of the Lebesgue
on manifolds, integral calculus in the manifold setting and the integral with applications to probability, and half to Fourier series
manifold version of the divergence theorem. 18.9011 helpful but not and Fourier integrals. Students in Course 18 must register for the
required. Students in Course 18 must register for the undergraduate undergraduate version, 18.103.
version, 18.101. G. Stalani
K. Choi
18.104 Seminar in Analysis
18.102 Introduction to Functional Analysis Prereq: 18.100A, 18.100B, 18.100P, or 18.100Q
Subject meets with 18.1021 U (Spring)
Prereq: (18.06, 18.700, or 18.701) and (18.100A, 18.100B, 18.100P, or 3-0-9 units
18.100Q)
U (Spring) Students present and discuss material from books or journals. Topics
3-0-9 units vary from year to year. Instruction and practice in written and oral
communication provided. Enrollment limited.
Normed spaces, completeness, functionals, Hahn-Banach theorem, G. Stalani
duality, operators. Lebesgue measure, measurable functions,
integrability, completeness of L-p spaces. Hilbert space. Compact, 18.112 Functions of a Complex Variable
Hilbert-Schmidt and trace class operators. Spectral theorem. Subject meets with 18.1121
R. B. Melrose Prereq: (18.06, 18.700, or 18.701) and (18.100A, 18.100B, 18.100P, or
18.100Q)
18.1021 Introduction to Functional Analysis U (Fall)
Subject meets with 18.102 3-0-9 units
Prereq: (18.06, 18.700, or 18.701) and (18.100A, 18.100B, 18.100P, or
18.100Q) Studies the basic properties of analytic functions of one complex
G (Spring) variable. Conformal mappings and the Poincare model of non-
3-0-9 units Euclidean geometry. Cauchy-Goursat theorem and Cauchy integral
formula. Taylor and Laurent decompositions. Singularities,
Normed spaces, completeness, functionals, Hahn-Banach theorem, residues and computation of integrals. Harmonic functions and
duality, operators. Lebesgue measure, measurable functions, Dirichlet's problem for the Laplace equation. The partial fractions
integrability, completeness of L-p spaces. Hilbert space. Compact, decomposition. Innite series and innite product expansions. The
Hilbert-Schmidt and trace class operators. Spectral theorem. Gamma function. The Riemann mapping theorem. Elliptic functions.
Students in Course 18 must register for the undergraduate version, W. Zhang
18.102.
R. B. Melrose
14 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Department of Mathematics | 15
DEPARTMENT OF MATHEMATICS
16 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
18.219 Seminar in Combinatorics 18.305 Advanced Analytic Methods in Science and Engineering
Prereq: Permission of instructor Prereq: 18.04, 18.075, or 18.112
G (Fall) G (Fall)
Not oered regularly; consult department 3-0-9 units
3-0-9 units
Can be repeated for credit. Covers expansion around singular points: the WKB method on
ordinary and partial dierential equations; the method of stationary
Content varies from year to year. Readings from current research phase and the saddle point method; the two-scale method and the
papers in combinatorics. Topics to be chosen and presented by the method of renormalized perturbation; singular perturbation and
class. boundary-layer techniques; WKB method on partial dierential
Information: Y. Zhao equations.
H. Cheng
Department of Mathematics | 17
DEPARTMENT OF MATHEMATICS
18.306 Advanced Partial Dierential Equations with Applications 18.336[J] Fast Methods for Partial Dierential and Integral
Prereq: (18.03 or 18.032) and (18.04, 18.075, or 18.112) Equations
G (Spring) Same subject as 6.335[J]
3-0-9 units Prereq: 6.336[J], 16.920[J], 18.085, 18.335[J], or permission of
instructor
Concepts and techniques for partial dierential equations, especially G (Fall)
nonlinear. Diusion, dispersion and other phenomena. Initial and 3-0-9 units
boundary value problems. Normal mode analysis, Green's functions,
and transforms. Conservation laws, kinematic waves, hyperbolic Unied introduction to the theory and practice of modern, near
equations, characteristics shocks, simple waves. Geometrical linear-time, numerical methods for large-scale partial-dierential
optics, caustics. Free-boundary problems. Dimensional analysis. and integral equations. Topics include preconditioned iterative
Singular perturbation, boundary layers, homogenization. Variational methods; generalized Fast Fourier Transform and other butterfly-
methods. Solitons. Applications from fluid dynamics, materials based methods; multiresolution approaches, such as multigrid
science, optics, trac flow, etc. algorithms and hierarchical low-rank matrix decompositions;
R. R. Rosales and low and high frequency Fast Multipole Methods. Example
applications include aircra design, cardiovascular system
18.327 Topics in Applied Mathematics modeling, electronic structure computation, and tomographic
Prereq: Permission of instructor imaging.
Acad Year 2019-2020: Not oered K. Burns
Acad Year 2020-2021: G (Spring)
3-0-9 units 18.337[J] Numerical Computing and Interactive Soware
Can be repeated for credit. Same subject as 6.338[J]
Prereq: 18.06, 18.700, or 18.701
Topics vary from year to year. G (Fall)
L. Demanet 3-0-9 units
18.330 Introduction to Numerical Analysis Interdisciplinary introduction to computing with Julia. Covers
Prereq: Calculus II (GIR) and (18.03 or 18.032) scientic computing and data analysis problems. Combines
U (Spring) knowledge from computer science and computational science
3-0-9 units illustrating Julia's approach to scientic computing. Sample
scientic computing topics include dense and sparse linear algebra,
Basic techniques for the ecient numerical solution of problems in Fourier transforms, data handling, machine learning, and N-body
science and engineering. Root nding, interpolation, approximation problems. Provides direct experience with the modern realities of
of functions, integration, dierential equations, direct and iterative programming supercomputers, GPUs, and multicores in a high-level
methods in linear algebra. Knowledge of programming in a language language.
such as MATLAB, Python, or Julia is helpful. C. Rackauckas
L. Demanet
18.338 Eigenvalues of Random Matrices
18.335[J] Introduction to Numerical Methods Prereq: 18.701 or permission of instructor
Same subject as 6.337[J] Acad Year 2019-2020: G (Fall)
Prereq: 18.06, 18.700, or 18.701 Acad Year 2020-2021: Not oered
G (Spring) 3-0-9 units
3-0-9 units
Covers the modern main results of random matrix theory as it
Advanced introduction to numerical analysis: accuracy and eciency is currently applied in engineering and science. Topics include
of numerical algorithms. In-depth coverage of sparse-matrix/iterative matrix calculus for nite and innite matrices (e.g., Wigner's semi-
and dense-matrix algorithms in numerical linear algebra (for linear circle and Marcenko-Pastur laws), free probability, random graphs,
systems and eigenproblems). Floating-point arithmetic, backwards combinatorial methods, matrix statistics, stochastic operators,
error analysis, conditioning, and stability. Other computational passage to the continuum limit, moment methods, and compressed
topics (e.g., numerical integration or nonlinear optimization) may sensing. Knowledge of MATLAB hepful, but not required.
also be surveyed. Final project involves some programming. A. Edelman
S. Johnson
18 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
See description under subject 12.009[J]. Topics include the development of Navier-Stokes equations, inviscid
D. H. Rothman flows, boundary layers, lubrication theory, Stokes flows, and surface
tension. Fundamental concepts illustrated through problems drawn
18.353[J] Nonlinear Dynamics: Chaos from a variety of areas, including geophysics, biology, and the
Same subject as 2.050[J], 12.006[J] dynamics of sport. Particular emphasis on the interplay between
Prereq: Physics II (GIR) and (18.03 or 18.032) dimensional analysis, scaling arguments, and theory. Includes
U (Fall) classroom and laboratory demonstrations.
3-0-9 units J. W. Bush
Department of Mathematics | 19
DEPARTMENT OF MATHEMATICS
High-level approaches to understanding complex optical media, Covers the mathematical modeling of physical systems, with
structured on the scale of the wavelength, that are not generally emphasis on the reading and presentation of papers. Addresses
analytically soluable. The basis for understanding optical a broad range of topics, with particular focus on macroscopic
phenomena such as photonic crystals and band gaps, anomalous physics and continuum systems: fluid dynamics, solid mechanics,
diraction, mechanisms for optical connement, optical bers (new and biophysics. Instruction and practice in written and oral
and old), nonlinearities, and integrated optical devices. Methods communication provided. Enrollment limited.
covered include linear algebra and eigensystems for Maxwell's H. Ronellentsch
equations, symmetry groups and representation theory, Bloch's
theorem, numerical eigensolver methods, time and frequency- 18.385[J] Nonlinear Dynamics and Chaos
domain computation, perturbation theory, and coupled-mode Same subject as 2.036[J]
theories. Prereq: 18.03 or 18.032
S. G. Johnson Acad Year 2019-2020: Not oered
Acad Year 2020-2021: G (Fall)
18.376[J] Wave Propagation 3-0-9 units
Same subject as 1.138[J], 2.062[J]
Prereq: 2.003[J] and 18.075 Introduction to the theory of nonlinear dynamical systems with
Acad Year 2019-2020: Not oered applications from science and engineering. Local and global
Acad Year 2020-2021: G (Spring) existence of solutions, dependence on initial data and parameters.
3-0-9 units Elementary bifurcations, normal forms. Phase plane, limit cycles,
relaxation oscillations, Poincare-Bendixson theory. Floquet
See description under subject 2.062[J]. theory. Poincare maps. Averaging. Near-equilibrium dynamics.
T. R. Akylas, R. R. Rosales Synchronization. Introduction to chaos. Universality. Strange
attractors. Lorenz and Rossler systems. Hamiltonian dynamics and
KAM theory. Uses MATLAB computing environment.
R. R. Rosales
20 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Content varies from year to year. Recent developments in quantum A more extensive and theoretical treatment of the material in
eld theory require mathematical techniques not usually covered in 6.045[J]/18.400[J], emphasizing computability and computational
standard graduate subjects. complexity theory. Regular and context-free languages. Decidable
V. G. Kac and undecidable problems, reducibility, recursive function theory.
Time and space measures on computation, completeness, hierarchy
theorems, inherently complex problems, oracles, probabilistic
Theoretical Computer Science
computation, and interactive proof systems. Students in Course 18
18.400[J] Automata, Computability, and Complexity must register for the undergraduate version, 18.404.
Same subject as 6.045[J] M. Sipser
Prereq: 6.042[J]
U (Spring) 18.405[J] Advanced Complexity Theory
4-0-8 units Same subject as 6.841[J]
Prereq: 18.404
See description under subject 6.045[J]. Acad Year 2019-2020: G (Fall)
R. Williams, R. Rubinfeld Acad Year 2020-2021: Not oered
3-0-9 units
18.404 Theory of Computation
Subject meets with 6.840[J], 18.4041[J] Current research topics in computational complexity theory.
Prereq: 6.042[J] or 18.200 Nondeterministic, alternating, probabilistic, and parallel
U (Fall) computation models. Boolean circuits. Complexity classes and
4-0-8 units complete sets. The polynomial-time hierarchy. Interactive proof
systems. Relativization. Denitions of randomness. Pseudo-
A more extensive and theoretical treatment of the material in randomness and derandomizations. Interactive proof systems and
6.045[J]/18.400[J], emphasizing computability and computational probabilistically checkable proofs.
complexity theory. Regular and context-free languages. Decidable R. Williams
and undecidable problems, reducibility, recursive function theory.
Time and space measures on computation, completeness, hierarchy 18.408 Topics in Theoretical Computer Science
theorems, inherently complex problems, oracles, probabilistic Prereq: Permission of instructor
computation, and interactive proof systems. G (Fall, Spring)
M. Sipser 3-0-9 units
Can be repeated for credit.
Department of Mathematics | 21
DEPARTMENT OF MATHEMATICS
22 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Department of Mathematics | 23
DEPARTMENT OF MATHEMATICS
24 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Introduction to stochastic processes, building on the fundamental Continuation of 18.701. Focuses on group representations, rings,
example of Brownian motion. Topics include Brownian motion, ideals, elds, polynomial rings, modules, factorization, integers in
continuous parameter martingales, Ito's theory of stochastic quadratic number elds, eld extensions, and Galois theory.
dierential equations, Markov processes and partial dierential A. Shankar
equations, and may also include local time and excursion theory.
Students should have familiarity with Lebesgue integration and its 18.703 Modern Algebra
application to probability. Prereq: Calculus II (GIR)
N. Sun U (Spring)
3-0-9 units
18.677 Topics in Stochastic Processes (18.177)
Prereq: 18.675 Focuses on traditional algebra topics that have found greatest
G (Spring) application in science and engineering as well as in mathematics:
3-0-9 units group theory, emphasizing nite groups; ring theory, including
Can be repeated for credit. ideals and unique factorization in polynomial and Euclidean rings;
eld theory, including properties and applications of nite elds.
Topics vary from year to year. 18.700 and 18.703 together form a standard algebra sequence.
S. Sheeld J. Shen
Department of Mathematics | 25
DEPARTMENT OF MATHEMATICS
Topics vary from year to year. Continuation of the introduction to algebraic geometry given in
Z. Yun 18.725. More advanced properties of the varieties and morphisms of
schemes, as well as sheaf cohomology.
18.715 Introduction to Representation Theory C. Xu
Prereq: 18.702 or 18.703
Acad Year 2019-2020: Not oered 18.727 Topics in Algebraic Geometry
Acad Year 2020-2021: G (Fall) Prereq: 18.725
3-0-9 units Acad Year 2019-2020: G (Spring)
Acad Year 2020-2021: Not oered
Algebras, representations, Schur's lemma. Representations of SL(2). 3-0-9 units
Representations of nite groups, Maschke's theorem, characters, Can be repeated for credit.
applications. Induced representations, Burnside's theorem, Mackey
formula, Frobenius reciprocity. Representations of quivers. Topics vary from year to year.
G. Lusztig A. Negut
Presents basic examples of complex algebraic varieties, ane and Structure of linear algebraic groups over an algebraically closed
projective algebraic geometry, sheaves, cohomology. eld, with emphasis on reductive groups. Representations of groups
M. Artin over a nite eld using methods from etale cohomology. Some
results from algebraic geometry are stated without proof.
B. Poonen
26 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
18.745 Lie Groups and Lie Algebras I 18.757 Representations of Lie Groups
Prereq: (18.701 or 18.703) and (18.100A, 18.100B, 18.100P, or Prereq: 18.745 or 18.755
18.100Q) G (Spring)
G (Fall) Not oered regularly; consult department
3-0-9 units 3-0-9 units
Covers fundamentals of the theory of Lie algebras and related Covers representations of locally compact groups, with emphasis on
groups. Topics may include theorems of Engel and Lie; enveloping compact groups and abelian groups. Includes Peter-Weyl theorem
algebra, Poincare-Birkho-Witt theorem; classication and and Cartan-Weyl highest weight theory for compact Lie groups.
construction of semisimple Lie algebras; the center of their Information: R. Bezrukavnikov
enveloping algebras; elements of representation theory; compact Lie
groups and/or nite Chevalley groups. 18.781 Theory of Numbers
G. Lusztig Prereq: None
U (Spring)
18.747 Innite-dimensional Lie Algebras 3-0-9 units
Prereq: 18.745
Acad Year 2019-2020: G (Fall) An elementary introduction to number theory with no algebraic
Acad Year 2020-2021: Not oered prerequisites. Primes, congruences, quadratic reciprocity,
3-0-9 units diophantine equations, irrational numbers, continued fractions,
partitions.
Topics vary from year to year. C. Wan
P. I. Etingof
18.782 Introduction to Arithmetic Geometry
18.748 Topics in Lie Theory Prereq: 18.702
Prereq: Permission of instructor Acad Year 2019-2020: U (Fall)
Acad Year 2019-2020: Not oered Acad Year 2020-2021: Not oered
Acad Year 2020-2021: G (Spring) 3-0-9 units
3-0-9 units
Can be repeated for credit. Exposes students to arithmetic geometry, motivated by the problem
of nding rational points on curves. Includes an introduction to p-
Topics vary from year to year. adic numbers and some fundamental results from number theory
P. I. Etingof and algebraic geometry, such as the Hasse-Minkowski theorem and
the Riemann-Roch theorem for curves. Additional topics may include
18.755 Lie Groups and Lie Algebras II Mordell's theorem, the Weil conjectures, and Jacobian varieties.
Prereq: 18.745 or permission of instructor J. Whang
G (Spring)
3-0-9 units 18.783 Elliptic Curves
Subject meets with 18.7831
A more in-depth treatment of Lie groups and Lie algebras. Topics Prereq: 18.702, 18.703, or permission of instructor
may include homogeneous spaces and groups of automorphisms; Acad Year 2019-2020: Not oered
representations of compact groups and their geometric realizations, Acad Year 2020-2021: U (Fall)
Peter-Weyl theorem; invariant dierential forms and cohomology of 3-0-9 units
Lie groups and homogeneous spaces; complex reductive Lie groups,
classication of real reductive groups. Computationally focused introduction to elliptic curves, with
D. A. Vogan applications to number theory and cryptography. Topics include
point-counting, isogenies, pairings, and the theory of complex
multiplication, with applications to integer factorization, primality
proving, and elliptic curve cryptography. Includes a brief introduction
to modular curves and the proof of Fermat's Last Theorem.
A. Sutherland
Department of Mathematics | 27
DEPARTMENT OF MATHEMATICS
Computationally focused introduction to elliptic curves, with Topics vary from year to year.
applications to number theory and cryptography. Topics include W. Zhang
point-counting, isogenies, pairings, and the theory of complex
multiplication, with applications to integer factorization, primality
Mathematics Laboratory
proving, and elliptic curve cryptography. Includes a brief introduction
to modular curves and the proof of Fermat's Last Theorem. Students 18.821 Project Laboratory in Mathematics
in Course 18 must register for the undergraduate version, 18.783. Prereq: Two mathematics subjects numbered 18.10 or above
A. Sutherland U (Fall, Spring)
3-6-3 units. Institute LAB
18.784 Seminar in Number Theory
Prereq: 18.701 or (18.703 and (18.06 or 18.700)) Guided research in mathematics, employing the scientic
U (Spring) method. Students confront puzzling and complex mathematical
3-0-9 units situations, through the acquisition of data by computer, pencil
and paper, or physical experimentation, and attempt to explain
Topics vary from year to year. Students present and discuss them mathematically. Students choose three projects from a large
the subject matter. Instruction and practice in written and oral collection of options. Each project results in a laboratory report
communication provided. Enrollment limited. subject to revision; oral presentation on one or two projects. Projects
J.-L. Kim drawn from many areas, including dynamical systems, number
theory, algebra, fluid mechanics, asymptotic analysis, knot theory,
18.785 Number Theory I and probability. Enrollment limited.
Prereq: None. Coreq: 18.705 H. Cohn, R. Bezrukavnikov
G (Fall)
3-0-9 units
Topology and Geometry
Dedekind domains, unique factorization of ideals, splitting of
primes. Lattice methods, niteness of the class group, Dirichlet's 18.900 Geometry and Topology in the Plane
unit theorem. Local elds, ramication, discriminants. Zeta and Prereq: 18.03 or 18.06
L-functions, analytic class number formula. Adeles and ideles. U (Fall)
Statements of class eld theory and the Chebotarev density 3-0-9 units
theorem.
A. Sutherland Covers selected topics in geometry and topology, which can be
visualized in the two-dimensional plane. Polygons and polygonal
18.786 Number Theory II paths. Billiards. Closed curves and immersed curves. Algebraic
Prereq: 18.785 curves. Triangulations and complexes. Hyperbolic geometry.
G (Spring) Geodesics and curvature. Other topics may be included as time
3-0-9 units permits.
P. Seidel
Continuation of 18.785. More advanced topics in number theory,
such as Galois cohomology, proofs of class eld theory, modular
forms and automorphic forms, Galois representations, or quadratic
forms.
W. Zhang
28 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
18.904 Seminar in Topology Study and discussion of important original papers in the various
Prereq: 18.901 parts of algebraic topology. Open to all students who have taken
U (Fall) 18.906 or the equivalent, not only prospective topologists.
3-0-9 units H. R. Miller
Topics vary from year to year. Students present and discuss 18.937 Topics in Geometric Topology
the subject matter. Instruction and practice in written and oral Prereq: Permission of instructor
communication provided. Enrollment limited. Acad Year 2019-2020: Not oered
T. Bachmann Acad Year 2020-2021: G (Spring)
3-0-9 units
18.905 Algebraic Topology I Can be repeated for credit.
Prereq: 18.901 and (18.701 or 18.703)
G (Fall) Content varies from year to year. Introduces new and signicant
3-0-9 units developments in geometric topology.
T. S. Mrowka
Singular homology, CW complexes, universal coecient and Künneth
theorems, cohomology, cup products, Poincaré duality.
Z. Xu
Department of Mathematics | 29
DEPARTMENT OF MATHEMATICS
30 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Students present and discuss subject matter taken from current Opportunity for group study of subjects in mathematics not
journals or books. Topics vary from year to year. Instruction and otherwise included in the curriculum. Oerings are initiated by
practice in written and oral communication provided. Enrollment members of the Mathematics faculty on an ad hoc basis, subject to
limited. departmental approval. 18.S097 is graded P/D/F.
C. Mantoulidis Fall: K. Okoudjou
Opportunity for study of graduate-level topics in mathematics Opportunity for group study of subjects in mathematics not
under the supervision of a member of the department. For graduate otherwise included in the curriculum. Oerings are initiated by
students desiring advanced work not provided in regular subjects. members of the Mathematics faculty on an ad hoc basis, subject to
Information: W. Minicozzi departmental approval. 18.S097 is graded P/D/F.
Information: W. Minicozzi
18.UR Undergraduate Research
Prereq: Permission of instructor 18.S190 Special Subject in Mathematics (New)
U (Fall, IAP, Spring, Summer) Prereq: Permission of instructor
Units arranged [P/D/F] U (IAP)
Can be repeated for credit. Units arranged
Can be repeated for credit.
Undergraduate research opportunities in mathematics. Permission
required in advance to register for this subject. For further Opportunity for group study of subjects in mathematics not
information, consult the departmental coordinator. otherwise included in the curriculum. Oerings are initiated by
Information: W. Minicozzi members of the Mathematics faculty on an ad hoc basis, subject to
departmental approval.
18.THG Graduate Thesis Sta
Prereq: Permission of instructor
G (Fall, IAP, Spring, Summer) 18.S191 Special Subject in Mathematics (New)
Units arranged Prereq: Permission of instructor
Can be repeated for credit. U (IAP)
Units arranged [P/D/F]
Program of research leading to the writing of a Ph.D. thesis; to be Can be repeated for credit.
arranged by the student and an appropriate MIT faculty member.
Information: W. Minicozzi Opportunity for group study of subjects in mathematics not
otherwise included in the curriculum. Oerings are initiated by
members of the Mathematics faculty on an ad hoc basis, subject to
departmental approval. 18.S191 is graded P/D/F.
Sta
Department of Mathematics | 31
DEPARTMENT OF MATHEMATICS
32 | Department of Mathematics