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.

An elementary proof of Hilbert's theorem on ternary quartics: Some complements

A proof of Hilbert's theorem on ternary quartic forms with the ladder technique

A new proof of the Herzog-Hibi-Zheng theorem

An elementary formulation of Kubota's proof of Satz 4 about biquadratic number fields

Convex Ternary Quartics Are SOS-Convex

Generalizing Hurwitz's quaternionic proof of Lagrange's and Jacobi's four-square theorems

On the analytic theory of isotropic ternary quadratic forms II

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

Classically Integral Quadratic Forms Excepting at Most Two Values

On Ternary Quotients of Cubic Hecke Algebras

An Elementary Proof of a Remarkable Relation Between the Squircle and Lemniscate

Exponential sums over singular binary quartic forms and applications

Hasse-Minkowski theorem for quadratic forms on groups

On the arithmetic Hilbert-Samuel theorem : a proof by deformation

On the parity conjecture for Hilbert schemes of points on threefolds

Gram Spectrahedra of Ternary Quartics

An elementary proof of the theorem on the imaginary quadratic fields with class number 1

Some Polynomial Conditions of Cyclic Quadrilaterals, Tilted Kites and Other Quadrilaterals

A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares

Le principe de Hasse pour les intersections de deux quadriques dans $\mathbb{P}^7$

On an elementary proof of the fundamental theorem of algebra