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.

Symmetric rank of some reducible forms

Border rank of powers of ternary quadratic forms

On the ranks and border ranks of symmetric tensors

Upper bounds for the rank of powers of quadrics

Effective Lower Bounds on the Matrix Rank and Their Applications

Lower bound estimates for the rank of universal quadratic forms in some families of real cubic fields with density one

Rank Decomposition and Symmetric Rank Decomposition over Arbitrary Fields

Slice rank and analytic rank for trilinear forms

Lower bound for ranks of invariant forms

Real Rank Geometry of Ternary Forms

Computing symmetric rank for symmetric tensors

On the cactus rank of cubics forms

Real and complex rank for real symmetric tensors with low ranks

Decompositions of Powers of Quadrics

Hasse-Minkowski theorem for quadratic forms on groups

Diagonalizable higher degree forms and symmetric tensors

Classically Integral Quadratic Forms Excepting at Most Two Values

Quasi-linear relation between partition and analytic rank

Linear algebra of quadratic forms and polynomial identity

Minimal rank of universal lattices and number of indecomposable elements in real multiquadratic fields