The Cycle Double Cover Conjecture
v1.5 literature triageEvery bridgeless graph has a cycle double cover: a collection of cycles that covers each edge exactly twice....
The Erdős-Straus Conjecture
v1.5 literature triageFor every integer $n \geq 2$, the equation $\frac{4}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ has a solution in positive integers x, y, z....
Hilbert's 6th Problem: Axiomatization of Physics
v1.5 literature triageDevelop a mathematical framework that axiomatizes physics, particularly mechanics, thermodynamics, and probability theory....
Hilbert's 13th Problem: Seventh Degree Equations
v1.5 literature triageProve that the general equation of the seventh degree cannot be solved using functions of only two variables....
Smale's 12th Problem: Centralizers of Diffeomorphisms
v1.5 literature triageDetermine the structure of centralizers of generic diffeomorphisms....
The Dynamics of Networks
v1.5 literature triageDevelop high-dimensional mathematics to model and predict behavior in large-scale distributed networks....
21st Century Fluids
v1.5 literature triageExtend classical fluid dynamics to handle complex substances like foams, suspensions, gels, and liquid crystals....
Biological Quantum Field Theory
v1.5 literature triageApply quantum and statistical field theory methods to model and potentially control pathogen evolution....
Beyond Convex Optimization
v1.5 literature triageDetermine whether algebraic geometry can systematically replace linear algebra in optimization....
Mathematics of Quantum Computing
v1.5 literature triageDevelop the mathematics required to control the quantum world for computation....
Game Theory at Scale
v1.5 literature triageCreate scalable mathematics for differential games, replacing traditional PDE approaches....
Computation at Scale
v1.5 literature triageDevelop asymptotics for systems with massive degrees of freedom....
Fundamental Laws of Biology
v1.5 literature triageIdentify governing principles for biological systems, analogous to physical laws....
Computational Duality
v1.5 literature triageUse mathematical duality and geometry as foundations for developing novel computational algorithms....
Occam's Razor in Many Dimensions
v1.5 literature triageFind lower bounds for sensing complexity as data collection grows, addressing entropy maximization....
Physical Consequences of Perelman's Proof
v1.5 literature triageApply Perelman's proof of the Poincaré conjecture to materials fabrication across scales....
Algorithmic Origami and Biology
v1.5 literature triageStrengthen mathematical theory for isometric and rigid embedding relevant to protein folding....
Optimal Nanostructures
v1.5 literature triageDevelop mathematics for creating optimal symmetric structures through nanoscale self-assembly....
The Geometry of Genome Space
v1.5 literature triageEstablish appropriate distance metrics on genome space incorporating biological utility....
Symmetries and Action Principles for Biology
v1.5 literature triageExtend understanding of symmetries and action principles in biology to include robustness, modularity, evolvability, and variability....
Geometric Langlands and Quantum Physics
v1.5 literature triageConnect the Langlands program to fundamental physics symmetries....
Arithmetic Langlands, Topology, and Geometry
v1.5 literature triageExplore homotopy theory's role in Langlands programs....
Hilbert's 7th Problem: Transcendence of Certain Numbers
v1.5 literature triageIf $\alpha$ is algebraic and irrational, and $\beta$ is algebraic and irrational, is $\alpha^\beta$ transcendental?...
Hilbert's 9th Problem: Reciprocity Laws
v1.5 literature triageGeneralize the reciprocity law of number theory to arbitrary number fields....
Hilbert's 11th Problem: Quadratic Forms over Algebraic Number Fields
v1.5 literature triageExtend the theory of quadratic forms with algebraic numerical coefficients....
Hilbert's 14th Problem: Finite Generation of Rings
v1.5 literature triageIs the ring of invariants of a linear algebraic group acting on a polynomial ring always finitely generated?...
Hilbert's 15th Problem: Schubert's Enumerative Calculus
v1.5 literature triageRigorously justify Schubert's enumerative geometry....
Hilbert's 17th Problem: Expression of Definite Forms
v1.5 literature triageCan every non-negative rational function be expressed as a sum of squares of rational functions?...
Hilbert's 18th Problem: Polyhedra and Space-Filling
v1.5 literature triageAre there only finitely many essentially different space-filling convex polyhedra? Is there a polyhedron which tiles space but not in a lattice arrang...
Large Sum-Free Sets
v1.5 literature triageLet $A$ be a set of $n$ positive integers. Does $A$ contain a sum-free set of size at least $n/3 + \Omega(n)$, where $\Omega(n) \to \infty$ as $n \to ...
Restricted Sumset Problem
v1.5 literature triageLet $A \subset \mathbb{Z}$ be a set of $n$ integers. Is there a subset $S \subset A$ of size $(\log n)^{100}$ such that $S \hat{+} S$ is disjoint from...
Product-Free Sets in Finite Groups
v1.5 literature triageWhich finite groups have the smallest largest product-free sets?...
Ulam's Sequence
v1.5 literature triageDefine Ulam's sequence $1, 2, 3, 4, 6, 8, 11, 13, 16, 18, 26, 28, 36, \ldots$ where $u_1 = 1, u_2 = 2$, and $u_{n+1}$ is the smallest number uniquely ...
Almost Sum-Free Sets
v1.5 literature triageSuppose that $A \subset [N]$ has no more than $\varepsilon N^2$ solutions to $x + y = z$. Can one remove $\varepsilon' N$ elements to leave a sum-free...
Sum-Free Subsets of [N]^d
v1.5 literature triageFix an integer $d$. What is the largest sum-free subset of $[N]^d$?...
Progressions in Subsets of Z/NZ
v1.5 literature triageIs $r_5(N) \ll N(\log N)^{-c}$? Is $r_4(\mathbb{F}_5^n) \ll N^{1-c}$ where $N = 5^n$?...
Roth's Theorem with Random Common Differences
v1.5 literature triageLet $S \subset \mathbb{N}$ be random. Under what conditions is Roth's theorem for progressions of length 3 true with common differences in $S$?...
Tuples in Dense Sets
v1.5 literature triageLet $G$ be an abelian group of size $N$, and suppose that $A \subset G$ has density $\alpha$. Are there at least $\alpha^{15}N^{10}$ tuples $(x_1, \ld...
4-term APs in Fourier Uniform Sets
v1.5 literature triageSuppose that $A \subset \mathbb{Z}/N\mathbb{Z}$ has density $\alpha$ and is Fourier uniform (all Fourier coefficients of $1_A - \alpha$ are $o(N)$). D...
Lipschitz AP-Free Graphs
v1.5 literature triageDoes there exist a Lipschitz function $f : \mathbb{N} \to \mathbb{Z}$ whose graph $\Gamma = \{(n, f(n)) : n \in \mathbb{Z}\} \subset \mathbb{Z}^2$ is ...
Linear Equation x + 3y = 2z + 2w
v1.5 literature triageWhat is the largest subset of $[N]$ with no solution to $x + 3y = 2z + 2w$ in distinct integers $x, y, z, w$?...
Progressions in F_3^n with Boolean Common Differences
v1.5 literature triageSuppose that $A \subset \mathbb{F}_3^n$ is a set of density $\alpha$. Under what conditions on $\alpha$ is $A$ guaranteed to contain a 3-term progress...
Corner Problem in Product Sets
v1.5 literature triageSuppose $G$ is a finite group, and let $A \subset G \times G$ be a subset of density $\alpha$. Are there $\gg_\alpha |G|^3$ triples $x, y, g$ such tha...
Multidimensional Szemerédi Theorem Bounds
v1.5 literature triageFind reasonable bounds for instances of the multidimensional Szemerédi theorem....
Large Sieve and Quadratic Sets
v1.5 literature triageSuppose that a large sieve process leaves a set of quadratic size. Is that set quadratic?...
Small Sieve Maximal Sets
v1.5 literature triageSuppose that a small sieve process leaves a set of maximal size. What is the structure of that set?...
Large Cosets in Iterated Sumsets
v1.5 literature triageSuppose that $A \subset \mathbb{F}_2^n$ has density $\alpha$. Does $10A$ contain a coset of some subspace of dimension at least $n - O(\log(1/\alpha))...
Largest Coset in 2A
v1.5 literature triageSuppose that $A \subset \mathbb{F}_2^n$ has density $\alpha$. What is the largest size of coset guaranteed to be contained in $2A$?...
Additive Complements and Cosets
v1.5 literature triageSuppose that $A \subset \mathbb{F}_2^n$ has an additive complement of size $K$. Does $2A$ contain a coset of codimension $O_K(1)$?...
Partitions and Large Cosets
v1.5 literature triageSuppose that $\mathbb{F}_2^n$ is partitioned into sets $A_1, \dots, A_K$. Does $2A_i$ contain a coset of codimension $O_K(1)$ for some $i$?...