This work was supported by Schmidt Sciences.
Interested in purchasing access to solution verifiers? See below.
Ramsey Numbers for Book Graphs
Prove a tight lower bound on Ramsey numbers for a class of off-diagonal book graphs.
A Ramsey-style Problem on Hypergraphs
Construct hypergraphs as large as possible that do not have a certain easy-to-check, difficult-to-find property.
Finiteness Problem for Diophantine Equations
Prove that certain “small” Diophantine equations have infinitely many solutions.
The Arithmetic Kakeya Conjecture
Improve best-known upper bounds by constructing specific combinatorial objects.
Degree vs Sensitivity for Boolean Functions
Improve the exponent in the upper bound that degree has over sensitivity.
Surface with a High Number of Singularities
Present a KLT del Pezzo surface in characteristic 3 with more than 7 singular points.
The -adic Absolute Galois Group
Give a presentation for the absolute Galois group of the field of -adic numbers as a profinite group.
Stretched Littlewood-Richardson Coefficients
Find partitions whose stretched LR-coefficients, when expressed as a polynomial, have a negative coefficient.
Symplectic Ball Packing
Find explicit embeddings of symplectic balls into a single target ball, taking up all but of the target ball's volume.