Source author record

Katherine Thompson

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

6works
4topics
4close collaborators

Published work

6 publications

preprint2022arXiv

Quaternary quadratic forms with prime discriminant

Let QQ be a positive-definite quaternary quadratic form with prime discriminant. We give an explicit lower bound on the number of representations of a positive integer nn by QQ. This problem is connected with deriving an upper bound on the Petersson norm ⟨C,C⟩\langle C, C \rangle of the cuspidal part of the theta series of QQ. We derive an upper bound on ⟨C,C⟩\langle C, C \rangle that depends on the smallest positive integer not represented by the dual form Q∗Q^{*}. In addition, we give a non-trivial upper bound on the sum of the integers nn excepted by QQ.

preprint2016arXiv

Classically Integral Quadratic Forms Excepting at Most Two Values

Let S⊆NS \subseteq \mathbb{N} be finite. Is there a positive definite quadratic form that fails to represent only those elements in SS? For S=∅S = \emptyset, this was solved (for classically integral forms) by the 1515-Theorem of Conway-Schneeberger in the early 1990s and (for all integral forms) by the 290290-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}S=\{m\}; of his 8888 candidates, he could provide complete justifications for all but one. In the same spirit, we ask, "for which S={m,n}S = \{m, n\} does there exist a quadratic form excepting only the elements of SS?" 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 x2+2y2+7z2+13w2x^2+2y^2+7z^2+13w^2 represents all positive integers except 55. We develop new strategies to handle forms of higher dimensions, yielding an enumeration of and proofs for the 7373 possible pairs that a classically integral positive definite quadratic form may except.

preprint2011arXiv

The embedding structure for linearly ordered topological spaces

In this paper, the class of all linearly ordered topological spaces (LOTS) quasi-ordered by the embeddability relation is investigated. In ZFC it is proved that for countable LOTS this quasi-order has both a maximal (universal) element and a finite basis. For the class of uncountable LOTS of cardinality κκ it is proved that this quasi-order has no maximal element for κκ at least the size of the continuum and that in fact the dominating number for such quasi-orders is maximal, i.e. 2κ2^κ. Certain subclasses of LOTS, such as the separable LOTS, are studied with respect to the top and internal structure of their respective embedding quasi-order. The basis problem for uncountable LOTS is also considered; assuming the Proper Forcing Axiom there is an eleven element basis for the class of uncountable LOTS and a six element basis for the class of dense uncountable LOTS in which all points have countable cofinality and coinitiality.

preprint2010arXiv

Arithmetic Structure in Sparse Difference Sets

Using a slight modification of an argument of Croot, Ruzsa and Schoen we establish a quantitative result on the existence of a dilated copy of any given configuration of integer points in sparse difference sets. More precisely, given any configuration {v1,...,vℓ}\{v_1,...,v_\ell\} of vectors in Zd\mathbb{Z}^d, we show that if A⊂[1,N]dA\subset[1,N]^d with ∣A∣/Nd≥CN−1/ℓ|A|/N^d\geq C N^{-1/\ell}, then there necessarily exists r≠0r\ne0 such that {rv1,...,rvℓ}⊆A−A\{rv_1, ...,rv_\ell\}\subseteq A-A.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.