Journal of the
Korean Mathematical Society

ISSN(Print) 0304-9914 ISSN(Online) 2234-3008

Most Read

  • 2023-07-01

    Complex reflection groups and K3 surfaces II. The groups ${\boldsymbol{G_{29}}}$, ${\boldsymbol{G_{30}}}$ and ${\boldsymbol{G_{31}}}$

    Cédric Bonnafé, Alessandra Sarti

    Abstract : We study some K3 surfaces obtained as minimal resolutions of quotients of subgroups of special reflection groups. Some of these were already studied in a previous paper by W.~Barth and the second author. We give here an easy proof that these are K3 surfaces, give equations in weighted projective space and describe their geometry.

  • 2022-07-01

    The moduli spaces of Lorentzian left-invariant metrics on three-dimensional unimodular simply connected Lie groups

    Mohamed Boucetta, Abdelmounaim Chakkar

    Abstract : Let $\mathrm{G}$ be an arbitrary, connected, simply connected and unimodular Lie group of dimension $3$. On the space $\mathfrak{M}(\mathrm{G})$ of left-invariant Lorentzian metrics on $\mathrm{G}$, there exists a natural action of the group ${\rm Aut}(\mathrm{G})$ of automorphisms of $\mathrm{G}$, so it yields an equivalence relation $\backsimeq$ on $\mathfrak{M}(\mathrm{G})$, in the following way: $h_1\backsimeq h_2 \Leftrightarrow h_2=\phi^{*}(h_1) \;\textrm{for some}\; \phi \in {\rm Aut}(\mathrm{G}).$ In this paper a procedure to compute the orbit space ${\rm Aut}(\mathrm{G})/\mathfrak{M}(\mathrm{G})$ (so called moduli space of $\mathfrak{M}(\mathrm{G})$) is given.

    Show More  
  • 2023-09-01

    Almost universal sums of triangular numbers with one exception

    Jangwon Ju

    Abstract : For an arbitrary integer $x$, an integer of the form $T(x)\!=\!\frac{x^2+x}{2}$ is called a triangular number. Let $\alpha_1,\dots,\alpha_k$ be positive integers. A sum $\Delta_{\alpha_1,\dots,\alpha_k}(x_1,\dots,x_k)=\alpha_1 T(x_1)+\cdots+\alpha_k T(x_k)$ of triangular numbers is said to be {\it almost universal with one exception} if the Diophantine equation $\Delta_{\alpha_1,\dots,\alpha_k}(x_1,\dots,x_k)=n$ has an integer solution $(x_1,\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.

    Show More  
  • 2023-01-01

    Minimal polynomial dynamics on the $p$-adic integers

    Sangtae Jeong

    Abstract : In this paper, we present a method of characterizing minimal polynomials on the ring ${\mathbf Z}_p$ of $p$-adic integers in terms of their coefficients for an arbitrary prime $p$. We first revisit and provide alternative proofs of the known minimality criteria given by Larin [11] for $p=2$ and Durand and Paccaut [6] for $p=3$, and then we show that for any prime $p\geq 5,$ the proposed method enables us to classify all possible minimal polynomials on ${\mathbf Z}_p$ in terms of their coefficients, provided that two prescribed prerequisites for minimality are satisfied.

  • 2022-09-01

    Matrices similar to centrosymmetric matrices

    Benjamín A. Itzá-Ortiz, Rubén A. Martínez-Avendaño

    Abstract : In this paper we give conditions on a matrix which guarantee that it is similar to a centrosymmetric matrix. We use this conditions to show that some $4 \times 4$ and $6 \times 6$ Toeplitz matrices are similar to centrosymmetric matrices. Furthermore, we give conditions for a matrix to be similar to a matrix which has a centrosymmetric principal submatrix, and conditions under which a matrix can be dilated to a matrix similar to a centrosymmetric matrix.

  • 2022-11-01

    On Pairwise Gaussian bases and LLL algorithm for three dimensional lattices

    Kitae Kim, Hyang-Sook Lee, Seongan Lim, Jeongeun Park, Ikkwon Yie

    Abstract : For two dimensional lattices, a Gaussian basis achieves all two successive minima. For dimension larger than two, constructing a pairwise Gaussian basis is useful to compute short vectors of the lattice. For three dimensional lattices, Semaev showed that one can convert a pairwise Gaussian basis to a basis achieving all three successive minima by one simple reduction. A pairwise Gaussian basis can be obtained from a given basis by executing Gauss algorithm for each pair of basis vectors repeatedly until it returns a pairwise Gaussian basis. In this article, we prove a necessary and sufficient condition for a pairwise Gaussian basis to achieve the first $k$ successive minima for three dimensional lattices for each $k\in\{1,2,3\}$ by modifying Semaev's condition. Our condition directly checks whether a pairwise Gaussian basis contains the first $k$ shortest independent vectors for three dimensional lattices. LLL is the most basic lattice basis reduction algorithm and we study how to use LLL to compute a pairwise Gaussian basis. For $\delta\ge 0.9$, we prove that LLL($\delta$) with an additional simple reduction turns any basis for a three dimensional lattice into a pairwise SV-reduced basis. By using this, we convert an LLL reduced basis to a pairwise Gaussian basis in a few simple reductions. Our result suggests that the LLL algorithm is quite effective to compute a basis with all three successive minima for three dimensional lattices.

    Show More  
  • 2022-05-01

    On the scaled inverse of $(x^i-x^j)$ modulo cyclotomic polynomial of the form $\Phi_{p^s}(x)$ or $\Phi_{p^s q^t}(x)$

    Jung Hee Cheon, Dongwoo Kim, Duhyeong Kim, Keewoo Lee

    Abstract : The scaled inverse of a nonzero element $a(x)\in \mathbb{Z}[x]/f(x)$, where $f(x)$ is an irreducible polynomial over $\mathbb{Z}$, is the element $b(x)\in \mathbb{Z}[x]/f(x)$ such that $a(x)b(x)=c \pmod{f(x)}$ for the smallest possible positive integer scale $c$. In this paper, we investigate the scaled inverse of $(x^i-x^j)$ modulo cyclotomic polynomial of the form $\Phi_{p^s}(x)$ or $\Phi_{p^s q^t}(x)$, where $p, q$ are primes with $p<q$ and $s, t$ are positive integers. Our main results are that the coefficient size of the scaled inverse of $(x^i-x^j)$ is bounded by $p-1$ with the scale $p$ modulo $\Phi_{p^s}(x)$, and is bounded by $q-1$ with the scale not greater than $q$ modulo $\Phi_{p^s q^t}(x)$. Previously, the analogous result on cyclotomic polynomials of the form $\Phi_{2^n}(x)$ gave rise to many lattice-based cryptosystems, especially, zero-knowledge proofs. Our result provides more flexible choice of cyclotomic polynomials in such cryptosystems. Along the way of proving the theorems, we also prove several properties of $\{x^k\}_{k\in\mathbb{Z}}$ in $\mathbb{Z}[x]/\Phi_{pq}(x)$ which might be of independent interest.

    Show More  
  • 2022-05-01

    The exceptional set of one prime square and five prime cubes

    Yuhui Liu

    Abstract : For a natural number $n$, let $R(n)$ denote the number of representations of $n$ as the sum of one square and five cubes of primes. In this paper, it is proved that the anticipated asymptotic formula for $R(n)$ fails for at most $O(N^{\frac{4}{9} + \varepsilon})$ positive integers not exceeding $N$.

  • 2023-05-01

    Temporal decay of solutions for a chemotaxis model of angiogenesis type

    Jaewook Ahn, Myeonghyeon Kim

    Abstract : This paper considers a parabolic-hyperbolic-hyperbolic type chemotaxis system in $\mathbb{R}^{d}$, $d\ge3$, describing tumor-induced angiogenesis. The global existence result and temporal decay estimate for a unique mild solution are established under the assumption that some Sobolev norms of initial data are sufficiently small.

  • 2022-07-01

    Foliations from left orders

    Hyungryul Baik, Sebastian Hensel, Chenxi Wu

    Abstract : We describe a construction which takes as an input a left order of the fundamental group of a manifold, and outputs a (singular) foliation of this manifold which is analogous to a taut foliation. We investigate this construction in detail in dimension $2$, and exhibit connections to various problems in dimension $3$.

Current Issue

March, 2024
Vol.61 No.2

Current Issue