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 functions commutable with binary quadratic forms $x^2 \pm xy + y^2$

On Binary Quadratic Forms Modulo N

Multiplicative functions with $f(p+q-n_0) = f(p)+f(q)-f(n_0)$

Binary quadratic forms with the same value set

On indefinite and potentially universal quadratic forms over number fields

Certain functional identities on division rings

Coprime-Universal Quadratic Forms

Prime values of $f(a,b^2)$ and $f(a,p^2)$, $f$ quadratic

Identity-Based Functional Encryption for Quadratic Functions from Lattices

Certain functional identities on division rings of characteristic two

Connections between binomial coefficients and binary quadratic forms

An Additive Function on a Ring of Integers in the Imaginary Quadratic Field Q(√d) with Class-Number One

Improved effective estimates of Pólya's Theorem for quadratic forms

The Quadratic and Cubic Characters of 2

Composition of Binary Quadratic Forms over Number Fields

Classically Integral Quadratic Forms Excepting at Most Two Values

Quadratic functions as solutions of polynomial equations

Linear algebra of quadratic forms and polynomial identity

Multiplicative Property of Representation Numbers of Ternary Quadratic Forms

On $p$-adic denseness of quotients of values of integral forms

Representation of Integers by Positive Ternary Quadratic Forms