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.

Multiplicative Property of Representation Numbers of Ternary Quadratic Forms

Representation of Integers by Positive Ternary Quadratic Forms

Automorphic Forms with Degenerate Fourier Coefficients

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

Eligible Integers Represented by Positive Ternary Quadratic Forms

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

Quantitative strong approximation for ternary quadratic forms II

Ternary Quadratic Forms and the Class Numbers of Imaginary Quadratic Fields

Isospectral Definite Ternary F_q[t]-Lattices

Quantitative strong approximation for ternary quadratic forms I

On a product of three theta functions and the number of representations of integers as mixed ternary sums involving squares, triangular, pentagonal and octagonal numbers

Class numbers of ternary quadratic forms

A note on Some Partitions Related to Ternary Quadratic Forms

TERNARY DIVISOR FUNCTIONS IN ARITHMETIC PROGRESSIONS TO SMOOTH MODULI

On Three-Term Linear Relations for Theta Series of Positive-Definite Binary Quadratic Forms

Can we recover an integral quadratic form by representing all its subforms?

Averages of Fourier coefficients of Siegel modular forms and representation of binary quadratic forms by quadratic forms in four variables

Classically Integral Quadratic Forms Excepting at Most Two Values

Coprime-Universal Quadratic Forms

Ternary Associativity and Ternary Lie Algebra at Cube Root of Unity

Forms representing forms: The definite case