Source author record

Byeong-Kweon Oh

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

ResearcherUnclaimed source record

math.NT

Catalog footprint

Research overview

14works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

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.

preprint2021arXiv

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.

preprint2020arXiv

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$ .

preprint2020arXiv

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.

preprint2020arXiv

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.

preprint2020arXiv

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.

preprint2019arXiv

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.

preprint2016arXiv

A generalization of Watson transformation and representations of ternary quadratic forms

Let $L$ be a positive definite (non-classic) ternary $\z$-lattice and let $p$ be a prime such that a $\frac 12\z_p$-modular component of $L_p$ is nonzero isotropic and $4\cdot dL$ is not divisible by $p$ . For a nonnegative integer $m$ , let $\mathcal G_{L,p}(m)$ be the genus with discriminant $p^m\cdot dL$ on the quadratic space $L^{p^m}\otimes \q$ such that for each lattice $T \in \mathcal G_{L,p}(m)$ , a $\frac 12\z_p$-modular component of $T_p$ is nonzero isotropic, and $T_q$ is isometric to $(L^{p^m})_q$ for any prime $q$ different from $p$ . Let $r(n,M)$ be the number of representations of an integer $n$ by a $\z$-lattice $M$ . In this article, we show that if $m \le 2$ and $n$ is divisible by $p$ only when $m=2$ , then for any $T \in \mathcal G_{L,p}(m)$ , $r(n,T)$ can be written as a linear summation of $r(pn,S_i)$ and $r(p^3n,S_i)$ for $S_i \in \mathcal G_{L,p}(m+1)$ with an extra term in some special case. We provide a simple criterion on when the extra term is necessary, and we compute the extra term explicitly. We also give a recursive relation to compute $r(n,T)$ , for any $T \in \mathcal G_{L,p}(m)$ , by using the number of representations of some integers by lattices in $\mathcal G_{L,p}(m+1)$ for an arbitrary integer $m$ .

preprint2016arXiv

Genus-correspondences respecting spinor genus

For two positive definite integral ternary quadratic forms $f$ and $g$ and a positive integer $n$ , if $n\cdot g$ is represented by $f$ and $n\cdot dg=df$ , then the pair $(f,g)$ is called a representable pair by scaling $n$ . The set of all representable pairs in $\text{gen}(f)\times \text{gen}(g)$ is called a genus-correspondence. Jagy conjectured that if $n$ is square free and the number of spinor genera in the genus of $f$ equals to the number of spinor genera in the genus of $g$ , then such a genus-correspondence respects spinor genus in the sense that for any representable pairs $(f,g), (f',g')$ by scaling $n$ , $f' \in \text{spn}(f)$ if and only if $g' \in \text{spn}(g)$ . In this article, we show that by giving a counter example, Jagy's conjecture does not hold. Furthermore, we provide a necessary and sufficient condition for a genus-correspondence to respect spinor genus.

preprint2016arXiv

Spinor representations of positive definite ternary quadratic forms

For a positive definite integral ternary quadratic form $f$ , let $r(k,f)$ be the number of representations of an integer $k$ by $f$ . The famous Minkowski-Siegel formula implies that if the class number of $f$ is one, then $r(k,f)$ can be written as a constant multiple of a product of local densities which are easily computable. In this article, we consider the case when the spinor genus of $f$ contains only one class. In this case the above also holds if $k$ is not contained in a set of finite number of square classes which are easily computable (see, for example, \cite{sp1} and \cite {sp2}). By using this fact, we prove some extension of the results given in both \cite {cl} on the representations of generalized Bell ternary forms and \cite {be} on the representations of ternary quadratic forms with some congruence conditions.

preprint2016arXiv

The number of representations of squares by integral ternary quadratic forms (II)

Let $f$ be a positive definite ternary quadratic form. We assume that $f$ is non-classic integral, that is, the norm ideal of $f$ is $\z$. We say $f$ is {\it strongly $s$ -regular } if the number of representations of squares of integers by $f$ satisfies the condition in Cooper and Lam's conjecture in \cite {cl}. In this article, we prove that there are only finitely many strongly $s$ -regular ternary forms up to equivalence if the minimum of the non zero squares that are represented by the form is fixed. In particular, we show that there are exactly $207$ non-classic integral strongly $s$ -regular ternary forms that represent one (see Tables 1 and 2). This result might be considered as a complete answer to a natural extension of Cooper and Lam's conjecture.

preprint2015arXiv

The number of representations of squares by integral ternary quadratic forms

Let $f$ be a positive definite integral ternary quadratic form and let $r(k,f)$ be the number of representations of an integer $k$ by $f$ . In this article we study the number of representations of squares by $f$ . We say the genus of $f$ , denoted by $\text{gen}(f)$ , is indistinguishable by squares if for any integer $n$ , $r(n^2,f)=r(n^2,f')$ for any quadratic form $f' \in \text{gen}(f)$ . We find some non trivial genera of ternary quadratic forms which are indistinguishable by squares. We also give some relation between indistinguishable genera by squares and the conjecture given by Cooper and Lam, and we resolve their conjecture completely.

preprint2013arXiv

Class numbers of ternary quadratic forms

G.L. Watson \cite{watson1, watson2} introduced a set of transformations, called Watson transformations by most recent authors, in his study of the arithmetic of integral quadratic forms. These transformations change an integral quadratic form to another integral quadratic form with a smaller discriminants, but preserve many arithmetic properties at the same time. In this paper, we study the change of class numbers of positive definite ternary integral quadratic formula along a sequence of Watson transformations, thus providing a new and effective way to compute the class number of positive definite ternary integral quadratic forms. Explicit class number formulae for many genera of positive definite ternary integral quadratic forms are derived as illustrations of our method.

preprint2012arXiv

Representations of integral quadratic polynomials

In this paper, we study the representations of integral quadratic polynomials. Particularly, it is shown that there are only finitely many equivalence classes of positive ternary universal integral quadratic polynomials, and that there are only finitely many regular ternary triangular forms. A more general discussion of integral quadratic polynomials over a Dedekind domain inside a global field is also given.

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.

Byeong-Kweon Oh

Research overview

Is this your work?

14 publications

Primitively universal quaternary quadratic forms

Ternary universal sums of generalized polygonal numbers

Minimal universality criterion sets on the representations of quadratic forms

On the exceptional sets of integral quadratic forms

Prime-universal diagonal quadratic forms

The Cassels heights of cyclotomic integers

Representations of finite number of quadratic forms with same rank

A generalization of Watson transformation and representations of ternary quadratic forms

Genus-correspondences respecting spinor genus

Spinor representations of positive definite ternary quadratic forms

The number of representations of squares by integral ternary quadratic forms (II)

The number of representations of squares by integral ternary quadratic forms

Class numbers of ternary quadratic forms

Representations of integral quadratic polynomials

See the researcher in context

Building this map preview