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.

The classification and representations of positive definite ternary quadratic forms of level 4N

Ternary Quadratic Forms and the Class Numbers of Imaginary Quadratic Fields

Eligible Integers Represented by Positive Ternary Quadratic Forms

On the representation numbers of ternary quadratic forms and modular forms of weight 3/2

Class numbers of ternary quadratic forms

Representation of Integers by Positive Ternary Quadratic Forms

Classically Integral Quadratic Forms Excepting at Most Two Values

Binary quadratic forms of odd class number

Quantitative strong approximation for ternary quadratic forms II

Real Rank Geometry of Ternary Forms

A note on Some Partitions Related to Ternary Quadratic Forms

On indefinite and potentially universal quadratic forms over number fields

Composition of Binary Quadratic Forms over Number Fields

Topographs for binary quadratic forms and class numbers

On the analytic theory of isotropic ternary quadratic forms II

Quaternary quadratic forms with prime discriminant

On the classification of quadratic forms over an integral domain of a global function field

Multiplicative Property of Representation Numbers of Ternary Quadratic Forms

Class numbers of binary quadratic polynomials

Classification of Non-Degenerate Symmetric Bilinear and Quadratic Forms in the Verlinde Category $\mathrm{Ver}_4^+$

Quantitative strong approximation for ternary quadratic forms I