Abstract:Let $S \subseteq \mathbb{N}$ be finite. Is there a positive definite quadratic form that fails to represent only those elements in $S$? For $S = \emptyset$, this was solved (for classically integral forms) by the $15$-Theorem of Conway-Schneeberger in the early 1990s and (for all integral forms) by the $290$-Theorem of Bhargava-Hanke in the mid-2000s. In 1938 Halmos attempted to list all weighted sums of four squares that failed to represent $S=\{m\}$; of his $88$ candidates, he could provide complete justifications for all but one. In the same spirit, we ask, "for which $S = \{m, n\}$ does there exist a quadratic form excepting only the elements of $S$?" Extending the techniques of Bhargava and Hanke, we answer this question for quaternary forms. In the process, we prove what Halmos could not; namely, that $x^2+2y^2+7z^2+13w^2$ represents all positive integers except $5$. We develop new strategies to handle forms of higher dimensions, yielding an enumeration of and proofs for the $73$ possible pairs that a classically integral positive definite quadratic form may except.

On the number of solutions of decomposable form inequalities

Asymptotic estimates for the number of integer solutions to decomposable form inequalities

Solution-free sets for sums of binary forms

Number of integers represented by families of binary forms II: binomial forms

Approximate Solutions for Abstract Inequality Systems

Decomposition Strategies to Count Integer Solutions over Linear Constraints

Improvements in Birch's theorem on forms in many variables

On a Conjecture about the Number of Solutions to Linear Diophantine Equations with a Positive Integer Parameter

Quantitative strong approximation for ternary quadratic forms I

A variant of Weyl's inequality for systems of forms and applications

On the Number of Positive Solutions to a Class of Integral Equations

Forms in prime variables and differing degrees

Explicit bounds for the solutions of superelliptic equations over number fields

The number of solutions to Mordell's equations in constrained ranges

Quantitative strong approximation for ternary quadratic forms II

On the number of tuples of group elements satisfying a first-order formula

Integral solutions to systems of diagonal equations

Overpartitions and class numbers of binary quadratic forms

On indefinite and potentially universal quadratic forms over number fields

An explicit solution to Post's Problem over the reals

Classically Integral Quadratic Forms Excepting at Most Two Values