Source author record

Jangwon Ju

Jangwon Ju appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
1topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

11 published item(s)

preprint2022arXiv

Almost universal sums of triangular numbers with one exception

For an arbitrary integer $x$, an integer of the form $T(x)=\frac{x^2+x}{2}$ is called a triangular number. For positive integers $α_1,α_2,\dots,α_k$, a sum $Δ_{α_1,α_2,\dots,α_k}(x_1,x_2,\dots,x_k)=α_1 T(x_1)+α_2 T(x_2)+\cdots+α_k T(x_k)$ of triangular numbers is said to be almost universal with one exception if the Diophantine equation $Δ_{α_1,α_2,\dots,α_k}(x_1,x_2,\dots,x_k)=n$ has an integer solution $(x_1,x_2,\dots,x_k)\in\mathbb{Z}^k$ for any nonnegative integer $n$ except a single one. In this article, we classify all almost universal sums of triangular numbers with one exception. Furthermore, we provide an effective criterion on almost universality with one exception of an arbitrary sum of triangular numbers, which is a generalization of "15-theorem" of Conway, Miller and Schneeberger.

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.

preprint2022arXiv

Tight universal octagonal forms

Let $P_8(x)=3x^2-2x$. For positive integers $a_1,a_2,\dots,a_k$, a polynomial of the form $a_1P_8(x_1)+a_2P_8(x_2)+\cdots+a_kP_8(x_k)$ is called an octagonal form. For a positive integer $n$, an octagonal form is called tight $\mathcal T(n)$-universal if it represents (over $\mathbb{z}$) every positive integer greater than or equal to $n$ and does not represent any positive integer less than $n$. In this article, we find all tight $\mathcal T(n)$-universal octagonal forms for every $n\ge 2$. Furthermore, we provide an effective criterion on tight $\mathcal T(n)$-universality of an arbirary octagonal form, which is a generalization of "15-Theorem" of Conway and Schneeberger.

preprint2022arXiv

Tight universal sums of $m$-gonal numbers

For a positive integer $n$, the set of all integers greater than or equal to $n$ is denoted by $\mathcal T(n)$. A sum of generalized $m$-gonal numbers $g$ is called tight $\mathcal T(n)$-universal if the set of all nonzero integers represented by $g$ is equal to $\mathcal T(n)$. In this article, we prove the existence of a minimal tight $\mathcal T(n)$-universality criterion set for a sum of generalized $m$-gonal numbers for any pair $(m,n)$. To achieve this, we introduce an algorithm giving all candidates for tight $\mathcal T(n)$-universal sums of generalized $m$-gonal numbers for any given pair $(m,n)$. Furthermore, we provide some experimental results on the classification of tight $\mathcal T(n)$-universal sums of generalized $m$-gonal numbers.

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

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

Ternary quadratic forms representing same integers

In 1997, Kaplansky conjectured that if two positive definite ternary quadratic forms with integer coefficients have perfectly identical integral representations, then they are isometric, both regular, or included either of two families of ternary quadratic forms. In this article, we prove the existence of pairs of ternary quadratic forms representing same integers which are not in the Kaplansky's list.

preprint2020arXiv

Universal sums of generalized pentagonal numbers

For an integer $x$, an integer of the form $P_5(x)=\frac{3x^2-x}2$ is called a generalized pentagonal number. For positive integers $α_1,\dots,α_k$, a sum $Φ_{α_1,\dots,α_k}(x_1,x_2,\dots,x_k)=α_1P_5(x_1)+α_2P_5(x_2)+\cdots+α_kP_5(x_k)$ of generalized pentagonal numbers is called universal if $Φ_{α_1,\dots,α_k}(x_1,x_2,\dots,x_k)=N$ has an integer solution $(x_1,x_2,\dots,x_k) \in \mathbb Z^k$ for any non-negative integer $N$. In this article, we prove that there are exactly $234$ proper universal sums of generalized pentagonal numbers. Furthermore, the "pentagonal theorem of $109$" is proved, which states that an arbitrary sum $Φ_{α_1,\dots,α_k}(x_1,x_2,\dots,x_k)$ is universal if and only if it represents the integers $1, 3, 8, 9, 11, 18, 19, 25, 27, 43, 98$, and $109$.

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.