Mathematics at PROMYS

“PROMYS is a unique mathematical experience—one where you are given a lot of freedom and responsibility to do what you want and still have incredible opportunities to be immersed in, learn, invent, discover, and experience mathematics.” Vincent T.

At PROMYS, the opportunities for mathematical exploration abound!

Number Theory

Each weekday begins with all participants attending Number Theory lecture from 9:00–10:30 a.m. The main activity of first-year participants is their intensive efforts to solve an assortment of challenging problems in Number Theory. Daily problem sets encourage participants to design their own numerical experiments and to employ their own powers of analysis to discover mathematical patterns, formulate and test conjectures, and justify their ideas by devising their own mathematical proofs.

Advanced Seminars

Each summer, returning students and motivated first-year participants take one or more of the Advanced Seminars offered on diverse topics. PROMYS faculty and visiting mathematicians lead the seminars which meet two or three times per week for lecture and also feature engaging problem sets. In 2024, we offered the following seminars: Discrete Dynamical Systems and the Poincaré Recurrence Theorem; Galois Theory; and Graphy Theory.

2025 Advanced Seminars

Algebra (Marjory Baruch, Syracuse University)

In the PROMYS style, we will be exploring abstract algebraic structures as they arise from concrete examples. We will learn about groups in the context of permutations, symmetries, and transformations. We will look at some classical results, and possibly apply some group theory to puzzles and games. Number theory and counting will be used throughout, as will geometry.

Primes and Zeta Functions (Li-Mei Lim, Boston University)

Are there infinitely many primes? What about primes that are 1 mod 4, or primes that are 3 mod 4? We may have an intuitive sense or even have proven (on the PROMYS Number Theory problem sets or otherwise) that the answer in each case is yes, there are infinitely many such primes. But are there "more" 1 mod 4 primes or 3 mod 4 primes? What does that even mean when both sets are infinite? Using techniques from calculus and analysis, along with infinite series called zeta functions, we will explore these questions and similar ones.

Quivers and their Classifications (Brian Williams, Boston University)

A quiver is a set of vertices with arrows between them (a directed graph). One imagines a quiver as supplying a collection of vector spaces, labeled by the vertices, and a collection of linear maps, labeled by the edges. There are certain "basic" quivers from which all other nicely behaved quivers can be deduced and have fundamental importance in algebra and geometry. In this course we aim to prove a result of Gabriel which classifies quivers of finite type in terms of so-called Dynkin graphs.

2015-2024 Advanced Seminars

2024 Advanced Seminars

Discrete Dynamical Systems and the Poincaré Recurrence Theorem
Professor Margaret Beck (Boston University)
Galois Theory
Professor David Speyer (University of Michigan)
Graph Theory
Professor Marjory Baruch (Syracuse University)

2023 Advanced Seminars

Abstract Algebra
Professor Marjory Baruch (Syracuse University)
Modular Forms
Professor David Rohrlich (Boston University)
Primes and Zeta Functions
Professor Li-Mei Lim (Boston University)

2022 Advanced Seminars

Graphs, Matroids, and Polynomial Countability
Professor Melody Chan (Brown University)
Number-theoretic Cryptography
Professor David Jao (University of Waterloo)
Linear Algebra, Bernstein Polynomials, and Visualization
Professor Marjory Baruch (Syracuse University)

2021 Advanced Seminars

Finding Rational Points on Hyperelliptic Curves
Professor Jennifer Balakrishnan (Boston University)
Galois Theory
Professor David Speyer (University of Michigan)
Geometry and Symmetry
Professor Steve Rosenberg (Boston University)

2020 Advanced Seminars

Undecidability and Hilbert’s 10th Problem
Dr. Henry Cohn (Microsoft Research; MIT) and Dr. Cameron Freer (MIT)
Topology
Professor Dev Sinha (University of Oregon)
Graph Theory
Professor Marjory Baruch (Syracuse University)

2019 Advanced Seminars

Probability, Combinatorics, and Computation
Professor Lionel Levine (Cornell University)
Primes and Zeta Functions
Professor Li-Mei Lim (Boston University)
Algebra
Professor Marjory Baruch (Syracuse University)

2018 Advanced Seminars

Cryptography
Professor Li-Mei Lim (Boston University)
Galois Theory
Professor David Speyer (University of Michigan)
Graph Theory
Professor Marjory Baruch (Syracuse University)

2017 Advanced Seminars

The Analytic Class Number Formula
Professor Jared Weinstein (Boston University)
Algebra
Professor Marjory Baruch (Syracuse University)
Geometry and Symmetry
Professor Steve Rosenberg (Boston University)

2016 Advanced Seminars

Modular Forms
Professor David Rohrlich (Boston University)
The Mathematics of Computer Graphics
Professor Marjory Baruch (Syracuse University)
Geometry and Symmetry
Professor Steve Rosenberg (Boston University)

2015 Advanced Seminars

Complex Analysis in Number Theory (Dirichlet’s Theorem)
Dr. John Bergdall (Boston University)
Galois Theory
Marjory Baruch (Syracuse University)
Geometry and Symmetry
Professor Steve Rosenberg (Boston University)

2024 Guest Lectures

The Counting Project
Tim Harford, The Counting Project
The Inaugural Vicky Neale Public Lecture

The King and His Money
Emma Knight (CIBC)

The Rise and Fall of the Local-to-Global Conjecture
Professor Kate Stange (University of Colorado Boulder)

The Cap Set Problem and Hypothesis Generation by Machine
Professor Jordan Ellenberg (University of Wisconsin Madison)
2024 Arnold Ross Lecture sponsored by the American Mathematical Society (AMS)

Proportion Spaces, Spanning Trees, and Chip Firing
Professor Matt Baker (Georgia Tech School of Mathematics)

2015-2023 Guest Lectures

2023 Guest Lectures

Symmetries and Commutativity
Professor Dev Sinha (University of Oregon)
Interpolation Problems for Curves
Professor Isabel Vogt (Brown University)
2023 Arnold Ross Lecture sponsored by the American Mathematical Society (AMS)
Using Unique Factorization to Solve Diophantine Equations
Professor Padma Srinivasan (Boston University)

2022 Guest Lectures

Spherical Packings/Codes in Various Dimensions
Professor Noam Elkies (Harvard University)
2022 Arnold Ross Lecture sponsored by the American Mathematical Society (AMS)
The Riemann-Roch Theorem for Graphs
Professor Matt Baker (Georgia Tech School of Mathematics)

2021 Guest Lectures

A Survey of Diophantine Equations
Professor Edray Goins (Pomona College)
Tilings and Counting
Professor Philip Engel (University of Georgia)
Problems on Rainbow 3-term Arithmetic Progressions
Professor Michael Young (Carnegie Mellon University)
What does a circle know about primes?
Dr. Aditya Karnataki (Beijing International Center for Mathematical Research)

2020 Guest Lectures

Billiards on Regular Polygons
Professor Diana Davis (Swarthmore College)
Ants on Pants: An introduction to manifolds and bordism
Professor Agnes Beaudry (University of Colorado at Boulder)
How Quadratic Reciprocity is Like Dealing Cards
Professor Matthew Baker (Georgia Institute of Technology)
Waring's Problem
Dr. Vicky Neale (Balliol College at the University of Oxford)
Joy & Happiness in Mathematics
Professor Helen Grundman (Bryn Mawr College and Brown University)
The German Tank Problem: Math/Stats at War
Professor Steven J. Miller (Williams College)

2019 Guest Lectures (30th Anniversary of PROMYS)

The Biggest Known Prime
Professor Keith Conrad (University of Connecticut)
Brussels Sprouts and the Euler Characteristic
Professor Jeremy Booher (University of Arizona)
Binary Quadratic Forms and the Conjectures of Gauss
Professor Ila Varma (UC San Diego/University of Toronto)
Designing New Quantum Materials at the Atomic-scale
Professor Julia Mundy (Harvard University)
How to Turn Pure Math into Applied Math: My Quest for the Perfect Application
Professor David Jao (University of Waterloo)
Natural Language Understanding, Deep Learning, and the BERT Revolution
David R.H. Miller (Google)
Perspectives on Law and Mathematics
Professor Alex Lee (Northwestern University)
Towers of Life
Dr. Glen Whitney (Harvard University)
An Introduction to Bernoulli Percolation
Ryan McDermott (Cornell University)

2018 Guest Lectures

Generalized Catalan Numbers
Professor Paul Gunnells (University of Massachusetts at Amherst)
Tilings and Counting
Dr. Philip Engel (Harvard University)
Paradoxes in Probability
Lila Greco (Cornell University)
Checker Stacks and Related Musing
sJoshua Greene (Weiss Asset Management)

2017 Guest Lectures

How many times to shuffle a deck of cards?
Daniel Jerison (Cornell University)
The Emperor and His Money
Emma Knight (University of Toronto)
What's so special about eight dimensions anyway?
Jonathan Hanke (Goldman Sachs)

2016 Guest Lectures

Impossibility by Modular Arithmetic
Professor Keith Conrad (University of Connecticut)
Applying Physics to Mathematics
Professor Tadashi Tokieda (Stanford University/University of Cambridge)
Summing It Up: Amazon Rank 20,948
Professor Rob Gross (Boston College)
Hasse’s Local-Global Principle
Dr. Ila Varma (Harvard University/Columbia University)
The Future of Prediction
Professor Lionel Levine (Cornell University)

2015 Guest Lectures

Continued Fractions
Professor Keith Conrad (University of Connecticut)
Can you hear the shape of a drum?
Professor Moon Duchin (Tufts University)
Triangles
Professor Melody Chan (Brown University)

Research Projects

All students have the opportunity to participate in the process of scientific research — PROMYS-designed exploration labs for first-year students and research projects mentored by professional mathematicians for returning students. Every summer, research mathematicians propose original problem statements for the PROMYS program. Each returning student selects a problem, then teams of four engage in open-ended exploration under the mentor's guidance. At the end of the summer, students write up and present their research to the entire PROMYS community. Some of these papers have been published or presented at conferences like the Joint Mathematics Meetings.

2024 Research Projects

Letter Counting in Groups
Proposed by Professor Dev Sinha (University of Oregon)

Necklaces and Permutations
Proposed by Professor Matt Baker (Georgia Institute of Technology)

Point-Hyperplane Incidence Matrix
Proposed by Professor Alan Chang (Washington University in St. Louis)

Snake on General Graphs
Proposed by Harry Altman

Summing Primes
Proposed by David Lowry-Duda (ICERM)

Tiered Hypertrees
Proposed by Professor Paul Gunnells (UMass Amherst)

Exploration Labs

First-year students may also choose to participate in open-ended projects called Exploration Labs. They work in small groups, guided by a counselor and faculty member. At the end of the summer, the students write up their findings and make a presentation of their research to the assembled PROMYS community.

Counselor Minicourses

Counselors contribute to the mathematically rich environment at PROMYS by doing their own research and by designing and presenting a wide range of lectures on topics of special interest. They organize minicourses open to all participants and counselor seminars intended for their peers.

2024 Counselor Minicourses

Proofwriting Basics
Linear Algebra
Sphere Packing and Sphere Kissing
Why is Pi Irrational
So, uh, what exactly happened to Silicon Valley Bank?
Group Theory I–II
The Curry-Howard Correspondence
Projective Geometry
Metric Spaces
How to LaTeX
Mathematical Music Theory
Axiomatic Theories and First-Order Languages
The Fundamental Group
Cryptograph
Introduction to Homology
Matrix Tree Theorem
Countability and Measurability
Cyclotomic Polynomials
The Riemann Hypothesis for Zp[x]
Elliptic Curves
3264 Conics
Constructing the Reals
Behrend’s Construction
Hyperbolic Geometry
Proof Assistants 101
Introduction to Abstract Topology
The Geometry of Continued Fractions (T-Shirt Talk)