arXiv subjects

Byeong-Kweon Oh

Publications and source records attributed to Byeong-Kweon Oh.

At least 19 recordsLinked to original sources

arXiv2025

Composition laws of binary quadratic forms and isolations of quadratic forms

A positive definite and integral quadratic form $f$ is called irrecoverable if there is a quadratic form $F$ such that it represents all proper subforms of $f$, whereas it does not represent $f$ itself. In this case, $F$ is called an isolation of $f$. In this article, we prove that there does not exist a binary isolation of any unary quadratic form. We also prove that there does not exist a ternary isolation of any binary quadratic form. Furthermore, if the form class group of a primitive binary quadratic form has no element of order $4$, then the discriminant of any quaternary isolation of it, if exists, is a square of an integer. The composition laws of primitive binary quadratic forms play an essential role in the proofs of the results.

math.NT↗

arXiv2025

Sums of squares of integers except for a fixed one

In this article, we study a sum of squares of integers except for a fixed one. For any nonnegative integer $n$, we find the minimum number of squares of integers except for $n$ whose sums represent all positive integers that are represented by a sum of squares except for it. This problem could be considered as a generalization of Dubouis's result for the case when $n=0$.

math.NT↗

arXiv2024

Minimal rank of primitively $n$-universal integral quadratic forms over local rings

Let $F$ be a local field and let $R$ be its ring of integers. For a positive integer $n$, an integral quadratic form defined over $R$ is called primitively $n$-universal if it primitively represents all quadratic forms of rank $n$. It was proved in arXiv:2005.11268 that the minimal rank of primitively $1$-universal quadratic forms over the $p$-adic integer ring $\mathbb{Z}_p$ is $2$ if $p$ is odd, and $3$ otherwise. In this article, we completely determine the minimal rank of primitively $n$-universal quadratic forms over $R$ for any positive integer $n$ and any local ring $R$ such that $2$ is a unit or a prime.

math.NT↗

arXiv2023

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

Let $\mathfrak o$ be the ring of integers of a totally real number field. If $f$ is a quadratic form over $\mathfrak o$ and $g$ is another quadratic form over $\mathfrak o$ which represents all proper subforms of $f$, does $g$ represent $f$? We show that if $g$ is indefinite, then $g$ indeed represents $f$. However, when $f$ is positive definite and indecomposable, then there exists a $g$ which represents all proper subforms of $f$ but not $f$ itself. Along the way we give a new characterization of positive definite decomposable quadratic forms over $\mathfrak o$ and a number-field generalization of the finiteness theorem of representations of quadratic forms by quadratic forms over $\mathbb Z$ which asserts that given any infinite set $\mathscr S$ of classes of positive definite integral quadratic forms over $\mathfrak o$ of a fixed rank, there exists a finite subset $\mathscr S_0$ of $\mathscr S$ with the property that a positive definite quadratic form over $\mathfrak o$ represents all classes in $\mathscr S$ if and only if it represents all classes in $\mathscr S_0$.

math.NT↗

arXiv2023

Primitively $2$-universal senary integral quadratic forms

For a positive integer $m$, a (positive definite integral) quadratic form is called primitively $m$-universal if it primitively represents all quadratic forms of rank $m$. It was proved in arXiv:2202.13573 that there are exactly $107$ equivalence classes of primitively $1$-universal quaternary quadratic forms. In this article, we prove that the minimal rank of primitively $2$-universal quadratic forms is six, and there are exactly $201$ equivalence classes of primitively $2$-universal senary quadratic forms.

math.NT↗

arXiv2023

Isolations of the sum of two squares from its proper subforms

For a (positive definite and integral) quadratic form $f$, a quadratic form is said to be {\it an isolation of $f$ from its proper subforms} if it represents all proper subforms of $f$, but not $f$ itself. It was proved that the minimal rank of isolations of the square quadratic form $x^2$ is three, and there are exactly $15$ ternary diagonal isolations of $x^2$. Recently, it was proved that any quaternary quadratic form cannot be an isolation of the sum of two squares $I_2=x^2+y^2$, and there are quinary isolations of $I_2$. In this article, we prove that there are at most $231$ quinary isolations of $I_2$, which are listed in Table $1$. Moreover, we prove that $14$ quinary quadratic forms with dagger mark in Table $1$ are isolations of $I_2$.

math.NT↗

arXiv2022

Primitively universal quaternary quadratic forms

A (positive definite and integral) quadratic form $f$ is said to be $\textit{universal}$ if it represents all positive integers, and is said to be $\textit{primitively universal}$ if it represents all positive integers primitively. We also say $f$ is $\textit{primitively almost universal}$ if it represents almost all positive integers primitively. Conway and Schneeberger proved (see [1]) that there are exactly $204$ equivalence classes of universal quaternary quadratic forms. Recently, Earnest and Gunawardana proved in [4] that among $204$ equivalence classes of universal quaternary quadratic forms, there are exactly $152$ equivalence classes of primitively almost universal quaternary quadratic forms. In this article, we prove that there are exactly $107$ equivalence classes of primitively universal quaternary quadratic forms. We also determine the set of all positive integers that are not primitively represented by each of the remaining $152-107=45$ equivalence classes of primitively almost universal quaternary quadratic forms.

math.NT↗

arXiv2021

The rank of new regular quadratic forms

A (positive definite and integral) quadratic form $f$ is called regular if it represents all integers that are locally represented. It is known that there are only finitely many regular ternary quadratic forms up to isometry. However, there are infinitely many equivalence classes of regular quadratic forms of rank $n$ for any integer $n$ greater than or equal to $4$. A regular quadratic form $f$ is called new if there does not exist a proper subform $g$ of $f$ such that the set of integers that are represented by $g$ is equal to the set of integers that are represented by $f$. In this article, we prove that the rank of any new regular quadratic form is bounded by an absolute constant.

math.NT↗

arXiv2021

Isolations of cubic lattices from their proper sublattices

A (positive definite and integral) quadratic form is called {\it an isolation} of a quadratic form $f$ if it represents all subforms of $f$ except for $f$ itself. The minimum rank of isolations of a quadratic form $f$ is denoted, if it exists, by $\text{Iso}(f)$. In this article, we show that $\text{Iso}(I_2)=5$ and $\text{Iso}(I_3)=6$, where $I_n=x_1^2+\dots+x_n^2$ is the sum of $n$ squares for any positive integer $n$. After proving that there always exists an isolation of $I_n$ for any positive integer $n$, we provide some explicit lower and upper bounds for $\text{Iso}(I_n)$. In particular, we show that $\text{Iso}(I_n) \in Ω(n^{\frac32-ε})$ for any $ε>0$.

math.NT↗

arXiv2021

Tight universal quadratic forms

For a positive integer $n$, let $\mathcal T(n)$ be the set of all integers greater than or equal to $n$. An integral quadratic form $f$ is called tight $\mathcal T(n)$-universal if the set of nonzero integers that are represented by $f$ is exactly $\mathcal T(n)$. The smallest possible rank over all tight $\mathcal T(n)$-universal quadratic forms is defined by $t(n)$. In this article, we find all tight $\mathcal T(n)$-universal diagonal quadratic forms. We also prove that $t(n) \in Ω(\log_2(n)) \cap O(\sqrt{n})$. Explicit lower and upper bounds for $t(n)$ will be provided for some small integer $n$.

math.NT↗

arXiv2021

Ternary universal sums of generalized polygonal numbers

An integer of the form $p_m(x)= \frac{(m-2)x^2-(m-4)x}{2} \ (m\ge 3)$, for some integer $x$ is called a generalized polygonal number of order $m$. A ternary sum $Φ_{i,j,k}^{a,b,c}(x,y,z)=ap_{i+2}(x)+bp_{j+2}(y)+cp_{k+2}(z)$ of generalized polygonal numbers, for some positive integers $a,b,c$ and some integers $1\leq i\leq j \leq k$, is said to be universal over $\mathbb{Z}$ if the equation $Φ_{i,j,k}^{a,b,c}(x,y,z)=n$ has an integer solution $x,y,z$ for any nonnegative integer $n$. In this article, we prove the universalities of $17$ ternary sums of generalized polygonal numbers, which was conjectured by Sun.

math.NT↗

arXiv2020

Minimal universality criterion sets on the representations of quadratic forms

For a set $S$ of (positive definite and integral) quadratic forms with bounded rank, a quadratic form $f$ is called $S$-universal if it represents all quadratic forms in $S$. A subset $S_0$ of $S$ is called an $S$-universality criterion set if any $S_0$-universal quadratic form is $S$-universal. We say $S_0$ is minimal if there does not exist a proper subset of $S_0$ that is an $S$-universality criterion set. In this article, we study various properties of minimal universality criterion sets. In particular, we show that for `most' binary quadratic forms $f$, minimal $S$-universality criterion sets are unique in the case when $S$ is the set of all subforms of the binary form $f$.

math.NT↗

arXiv2020

The Cassels heights of cyclotomic integers

We study the set $\mathscr C$ of mean square values of the moduli of the conjugates of cyclotomic integers $β$. For its $k$th derived set $\mathscr C^{(k)}$, we show that $\mathscr C^{(k)}=(k+1)\mathscr C\,\, (k\ge 0)$, so that also ${\mathscr C}^{(k)}+{\mathscr C}^{(\ell)}={\mathscr C}^{(k+\ell+1)}\,\,(k,\ell\ge 0)$. We also calculate the order type of $\mathscr C$, and show that it is the same as that of the set of PV numbers. Furthermore, we describe precisely the restricted set $\mathscr C_p$ where the $β$ are confined to the ring $\mathbb Z[ω_p]$, where $p$ is an odd prime and $ω_p$ is a primitive $p$th root of unity. In order to do this, we prove that both of the quadratic polynomials $a^2+ab+b^2+c^2+a+b+c$ and $a^2+b^2+c^2+ab+bc+ca+a+b+c$ are universal.

math.NT↗

arXiv2020

Prime-universal diagonal quadratic forms

A (positive definite and integral) quadratic form is said to be $\textit{prime-universal}$ if it represents all primes. Recently, Doyle and Williams in [2] classified all prime-universal diagonal ternary quadratic forms, and all prime-universal diagonal quaternary quadratic forms under two conjectures proposed by themselves. In this article, we classify all prime-universal diagonal quadratic forms regardless of ranks. Furthermore, we prove, so called, $67$-Theorem for a diagonal quadratic form to be prime-universal.

math.NT↗

arXiv2020

On the exceptional sets of integral quadratic forms

A collection $\mathcal S$ of equivalence classes of positive definite integral quadratic forms in $n$ variables is called an $n$-exceptional set if there exists a positive definite integral quadratic form which represents all equivalence classes of positive definite integral quadratic forms in $n$ variables except those in $\mathcal S$. We show that, among other results, for any given positive integers $m$ and $n$, there is always an $n$-exceptional set of size $m$ and there are only finitely many of them.

math.NT↗

arXiv2019

Representations of finite number of quadratic forms with same rank

Let $m, n$ be positive integers with $m\le n$. Let $κ(m,n)$ be the largest integer $k$ such that for any (positive definite and integral) quadratic forms $f_1,\ldots,f_k$ of rank $m$, there exists a quadratic form of rank $n$ that represents $f_i$ for any $i$ with $1\le i \le k$. In this article, we determine the number $κ(m,n)$ for any integer $m$ with $1\le m\le 8$, except for the cases when $(m,n)=(3,5)$ and $(4,6)$. In the exceptional cases, it will be proved that $1\le κ(3,5), \ κ(4,6)\le 2$. We also discuss some related topics.

math.NT↗

arXiv2019

A sum of three nonunit squares of integers

We say a positive integer is a sum of three nonunit squares if it is a sum of three squares of integers other than one. In this article, we find all integers which are sums of three nonunit squares assuming that the Generalized Riemann Hypothesis(GRH) holds. As applications, we find all integers, under the GRH only when $k=3$, which are sums of $k$ nonzero triangular numbers, sums of $k$ nonzero generalized pentagonal numbers, and sums of $k$ nonzero generalized octagonal numbers, respectively for any integer $k\ge 3$.

math.NT↗

arXiv2019

Quadratic forms with a strong regularity property on the representations of squares

A (positive definite and non-classic integral) quadratic form is called strongly $s$-regular if it satisfies a strong regularity property on the number of representations of squares of integers. In this article, we prove that for any integer $k \ge 2$, there are only finitely many isometry classes of strongly $s$-regular quadratic forms with rank $k$ if the minimum of the nonzero squares that are represented by them is fixed.

math.NT↗