Binary quadratic forms with the same value set

Étienne Fouvry,Peter Koymans

2024-04-29

Abstract:Given a binary quadratic form $F \in \mathbb{Z}[X, Y]$, we define its value set $F(\mathbb{Z}^2)$ to be $\{F(x, y) : (x, y) \in \mathbb{Z}^2\}$. If $F$ and $G$ are two binary quadratic forms with integer coefficients, we give necessary and sufficient conditions on $F$ and $G$ for $F(\mathbb{Z}^2) = G(\mathbb{Z}^2)$.

Number Theory

What problem does this paper attempt to address?

Binary forms with the same value set I

Étienne Fouvry,Peter Koymans

2024-04-17

Abstract:Given a binary form $F \in \mathbb{Z}[X, Y]$, we define its value set to be $\{F(x, y) : (x, y) \in \mathbb{Z}^2\}$. Let $F, G \in \mathbb{Z}[X, Y]$ be two binary forms of degree $d \geq 3$ and with non-zero discriminant. In a series of three papers, we will give necessary and sufficient conditions on $F$ and $G$ to have the same value set. These conditions will be entirely in terms of the automorphism groups of the forms.

Number Theory
Binary forms with the same value set III. The case of ${\bf D}_3$ and ${\bf D_6}$

Étienne Fouvry,Peter Koymans

2024-04-29

Abstract:Let $F, G \in \mathbb{Z}[X, Y]$ be binary forms of degree $\geq 3$ with automorphism groups isomorphic to the dihedral group of cardinality $6$ or $12$. We characterize exactly when $F$ and $G$ have the same value set, i.e. $F(\mathbb{Z}^2) = G(\mathbb{Z}^2)$.

Number Theory
Binary forms with the same value set II. The case of ${\bf D}_4$

Étienne Fouvry,Peter Koymans

2024-04-22

Abstract:Let $F, G \in \mathbb{Z}[X, Y]$ be binary forms of degree $\geq 3$, non-zero discriminant and with automorphism group isomorphic to $D_4$. If $F(\mathbb{Z}^2) = G(\mathbb{Z}^2)$, we show that $F$ and $G$ are ${\rm GL}(2, \mathbb{Z})$--equivalent.

Number Theory
On Binary Quadratic Forms Modulo N

Yang Liu,Yi Ouyang

DOI: https://doi.org/10.1007/s40304-018-0141-1

2018-01-01

Communications in Mathematics and Statistics

Abstract:Given a binary quadratic polynomial $f(x_1,x_2)=\alpha x_1^2+\beta x_1x_2+\gamma x_2^2\in \mathbb {Z}[x_1,x_2]$, for every $c\in \mathbb Z$ and $n\ge 2$, we study the number of solutions $\mathrm {N}_J(f;c,n)$ of the congruence equation $f(x_1,x_2)\equiv c\bmod {n}$ in $(\mathbb {Z}/n\mathbb {Z})^2$ such that $x_i\in (\mathbb {Z}/n\mathbb {Z})^\times $ for $i\in J\subseteq \{1,2\}$.
On indefinite and potentially universal quadratic forms over number fields

Fei Xu,Yang Zhang

DOI: https://doi.org/10.48550/arXiv.2004.02090

2021-11-01

Abstract:A number field $k$ admits a binary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is bigger than one. In this case, there are only finitely many classes of such binary integral quadratic forms over $k$. A number field $k$ admits a ternary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is even. In this case, there are infinitely many classes of such ternary integral quadratic forms over $k$. An integral quadratic form over a number field $k$ with more than one variables represents all integers of $k$ over the ring of integers of a finite extension of $k$ if and only if this quadratic form represents $1$ over the ring of integers of a finite extension of $k$.

Number Theory
Composition of Binary Quadratic Forms over Number Fields

Kristýna Zemková

2023-07-15

Abstract:In this article, the standard correspondence between the ideal class group of a quadratic number field and the equivalence classes of binary quadratic forms of given discriminant is generalized to any base number field of narrow class number one. The article contains an explicit description of the correspondence. In the case of totally negative discriminants, equivalent conditions are given for a binary quadratic form to be totally positive definite.

Number Theory
Multiplicative functions commutable with binary quadratic forms $x^2 \pm xy + y^2$

Poo-Sung Park

DOI: https://doi.org/10.48550/arXiv.2202.10653

2022-02-22

Number Theory

Abstract:If a multiplicative function $f$ is commutable with a quadratic form $x^2+xy+y^2$, i.e., \[ f(x^2+xy+y^2) = f(x)^2 + f(x)\,f(y) + f(y)^2, \] then $f$ is the identity function. In other hand, if $f$ is commutable with a quadratic form $x^2-xy+y^2$, then $f$ is one of three kinds of functions: the identity function, the constant function, and an indicator function for $\mathbb{N}\setminus p\mathbb{N}$ with a prime $p$.
Universality criterion sets for quadratic forms over number fields

Vitezslav Kala,Jakub Krásenský,Giuliano Romeo

2024-10-30

Abstract:In analogy with the 290-Theorem of Bhargava-Hanke, a criterion set is a finite subset $C$ of the totally positive integers in a given totally real number field such that if a quadratic form represents all elements of $C$, then it necessarily represents all totally positive integers, i.e., is universal. We use a novel characterization of minimal criterion sets to show that they always exist and are unique, and that they must contain certain explicit elements. We also extend the uniqueness result to the more general setting of representations of a given subset of the integers.

Number Theory
A binary quadratic approach to $X^2+(2k-1)^Y=k^Z$

Maohua Le,Anitha Srinivasan

2023-12-03

Abstract:A conjecture of N. Terai states that for any integer $k>1$, the equation $x^2+(2k-1)^y =k^z$ has only one solution, namely, $(x, y, z) = (k-1, 1, 2).$ Using the structure of class groups of binary quadratic forms, we prove the conjecture when $4\Vert k$, with $2k-1$ a prime power and $4\le k\le 1000$.

Number Theory
Solution-free sets for sums of binary forms

Sean Prendiville

DOI: https://doi.org/10.1112/plms/pds083

2011-10-10

Abstract:We obtain quantitative estimates for the asymptotic density of subsets of the two-dimensional integer lattice which contain only trivial solutions to an additive equation involving binary forms. In the process we develop an analogue of Vinogradov's mean value theorem applicable to binary forms.

Number Theory
On the set of values of a positive ternary quadratic form

N. Filonov

DOI: https://doi.org/10.1090/spmj/1824

2024-10-06

St Petersburg Mathematical Journal

Abstract:It is shown that the set of values of an integer positive definite quadratic form in three variables contains an infinite arithmetic progression.

mathematics
Classically Integral Quadratic Forms Excepting at Most Two Values

Madeleine Barowsky,William Damron,Andres Mejia,Frederick Saia,Nolan Schock,Katherine Thompson

DOI: https://doi.org/10.48550/arXiv.1608.01656

2016-08-05

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.

Number Theory
On the equivalence of binary cubic forms

J E Cremona

2023-11-09

Abstract:We consider the question of determining whether two binary cubic forms over an arbitrary field $K$ whose characteristic is not $2$ or $3$ are equivalent under the actions of either GL$(2,K)$ or SL$(2,K)$, deriving two necessary and sufficient criteria for such equivalence in each case. One of these involves an algebraic invariant of binary cubic forms which we call the Cardano invariant, which is closely connected to classical formulas and also appears in the work of Bhargava et al. The second criterion is expressed in terms of the base field itself, and also gives explicit matrices in SL$(2,K)$ or GL$(2,K)$ transforming one cubic into the other, if any exist, in terms of the coefficients of bilinear factors of a bicovariant of the two cubics. We also consider automorphisms of a single binary cubic form, show how to use our results to test equivalence of binary cubic forms over an integral domain such as~$\mathbb{Z}$, and briefly recall some connections between binary cubic forms and the arithmetic of elliptic curves. The methods used are elementary, and similar to those used in our earlier work with Fisher concerning equivalences between binary quartic forms.

Number Theory
Representation functions for binary linear forms

Fang-Gang Xue

DOI: https://doi.org/10.21136/cmj.2024.0326-23

2024-02-21

Czechoslovak Mathematical Journal

Abstract:Let be the set of integers, the set of nonnegative integers and F ( x 1 , x 2 ) = u 1 x 1 + u 2 x 2 be a binary linear form whose coefficients u 1 , u 2 are nonzero, relatively prime integers such that u 1 u 2 ≠ ±1 and u 1 u 2 ≠ −2. Let be any function such that the set f −1 (0) has asymptotic density zero. In 2007, M. B. Nathanson (2007) proved that there exists a set A of integers such that r A,F ( n ) = f ( n ) for all integers n , where r A,F ( n ) = ∣{( a,a ′): n = u 1 a + u 2 a ′: a, a ′ ∈ A }∣. We add the structure of difference for the binary linear form F ( x 1 , x 2 ).

mathematics
The Spectrum of $\mathbb{Q}$-Isotropic Binary Quadratic Forms

Giorgos Kotsovolis

2024-04-26

Abstract:We give a complete list of the points in the spectrum $$\mathcal{Z}=\{\inf_{(x,y)\in\Lambda,xy\neq0}{\left\vert xy\right\vert},\,\text{$\Lambda$ is a unimodular rational lattice of $\mathbb{R}^2$}\}$$ above $\frac{1}{3}.$ We further show that the set of limit points of $\mathcal{Z}$ with values larger than $\frac{1}{3},$ is equal to the set $\{\frac{2m}{\sqrt{9m^2-4}+3m},\text{ where $m$ is a Markoff number}\}$.

Number Theory,Dynamical Systems
Binary forms with covariant points close to the real axis

Eugenia Rosu

2024-09-21

Abstract:For a real binary form $F(X, Z)$, Stoll and Cremona have defined a reduction theory using the action of the modular group $SL_2(\mathbb{Z})$, and associated to each binary form a covariant point $z(F)$ located in the upper half plane. When the point $z(F)$ is close to the real axis, then at least half of the roots will be on a circle of small radius $r$. Conversely, we find conditions depending on the radius $r$ such that the covariant point $z(F)$ to be close to the real axis. The results have further applications to improving the reduction algorithm for binary forms of Stoll and Cremona.

Number Theory
Correlations of representation functions of binary quadratic forms

Lilian Matthiesen

DOI: https://doi.org/10.48550/arXiv.1205.4145

2012-05-18

Abstract:This paper extends previous work on linear correlations of representation functions of positive definite binary quadratic forms to allow indefinite forms.

Number Theory
On n-universal quadratic forms over dyadic local fields

Zilong He,Yong Hu

DOI: https://doi.org/10.1007/s11425-022-2133-0

2024-02-03

Science China Mathematics

Abstract:Let n ⩾ 2 be an integer. We give necessary and sufficient conditions for an integral quadratic form over dyadic local fields to be n -universal by using invariants from Beli's theory of bases of norm generators. Also, we provide a minimal set for testing n -universal quadratic forms over dyadic local fields, as an analogue of Bhargava and Hanke's 290-theorem (or Conway and Schneeberger's 15-theorem) on universal quadratic forms with integer coefficients.

mathematics, applied
Overpartitions and class numbers of binary quadratic forms

Kathrin Bringmann,Jeremy Lovejoy

DOI: https://doi.org/10.1073/pnas.0900783106

2009-04-07

Abstract:We show that the Zagier-Eisenstein series shares its nonholomorphic part with certain weak Maass forms whose holomorphic parts are generating functions for overpartition rank differences. This has a number of consequences, including exact formulas, asymptotics, and congruences for the rank differences as well as q-series identities of the mock theta type.
Representing rational integers by generalized quadratic forms over quadratic fields

Ondřej Chwiedziuk,Matěj Doležálek,Emma Pěchoučková,Zdeněk Pezlar,Om Prakash,Giuliano Romeo,Anna Růžičková,Mikuláš Zindulka

2024-03-12

Abstract:We investigate generalized quadratic forms with values in the set of rational integers over quadratic fields. We characterize the real quadratic fields which admit a positive definite binary generalized form of this type representing every positive integer. We also show that there are only finitely many such fields where a ternary generalized form with these properties exists.

Number Theory

Binary quadratic forms with the same value set

Binary forms with the same value set I

Binary forms with the same value set III. The case of ${\bf D}_3$ and ${\bf D_6}$

Binary forms with the same value set II. The case of ${\bf D}_4$

On Binary Quadratic Forms Modulo N

On indefinite and potentially universal quadratic forms over number fields

Composition of Binary Quadratic Forms over Number Fields

Multiplicative functions commutable with binary quadratic forms $x^2 \pm xy + y^2$

Universality criterion sets for quadratic forms over number fields

A binary quadratic approach to $X^2+(2k-1)^Y=k^Z$

Solution-free sets for sums of binary forms

On the set of values of a positive ternary quadratic form

Classically Integral Quadratic Forms Excepting at Most Two Values

On the equivalence of binary cubic forms

Representation functions for binary linear forms

The Spectrum of $\mathbb{Q}$-Isotropic Binary Quadratic Forms

Binary forms with covariant points close to the real axis

Correlations of representation functions of binary quadratic forms

On n-universal quadratic forms over dyadic local fields

Overpartitions and class numbers of binary quadratic forms

Representing rational integers by generalized quadratic forms over quadratic fields