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.
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.
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.
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.
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.
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.
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.
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$.
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.
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$.
Cédric Bonnafé, Alessandra Sarti
J. Korean Math. Soc. 2023; 60(4): 695-743
https://doi.org/10.4134/JKMS.j220014
Mohamed Boucetta, Abdelmounaim Chakkar
J. Korean Math. Soc. 2022; 59(4): 651-684
https://doi.org/10.4134/JKMS.j210460
Jangwon Ju
J. Korean Math. Soc. 2023; 60(5): 931-957
https://doi.org/10.4134/JKMS.j220231
Sangtae Jeong
J. Korean Math. Soc. 2023; 60(1): 1-32
https://doi.org/10.4134/JKMS.j210494
Jangwon Ju
J. Korean Math. Soc. 2023; 60(5): 931-957
https://doi.org/10.4134/JKMS.j220231
Cédric Bonnafé, Alessandra Sarti
J. Korean Math. Soc. 2023; 60(4): 695-743
https://doi.org/10.4134/JKMS.j220014
Sangtae Jeong
J. Korean Math. Soc. 2023; 60(1): 1-32
https://doi.org/10.4134/JKMS.j210494
Mohamed Boucetta, Abdelmounaim Chakkar
J. Korean Math. Soc. 2022; 59(4): 651-684
https://doi.org/10.4134/JKMS.j210460
© 2022. The Korean Mathematical Society. Powered by INFOrang Co., Ltd