4 papers
UTVPI-representable integer point sets: discrete convexity, polymorphisms, and pairwise closure
Kei Kimura, Kazuhisa Makino, Shota Yamada +1
We study subsets of the integer lattice represented by single-variable-per-inequality (SVPI), difference-constraint (DC), unit two-variable-per-inequality (UTVPI), and two-variable…
Geometric construction of modular polynomials with level structures
Hiroshi Onuki, Yukihiro Uchida, Ryo Yoshizumi
The classical modular polynomial for -invariants describes the relation between two elliptic curves connected by isogenies. This polynomial has been applied to various algorithm…
Characterizing the integer points in 2-decomposable polyhedra by closedness under operations
Kei Kimura, Kazuhisa Makino, Shota Yamada +1
Characterizing the solution sets in a problem by closedness under operations is recognized as one of the key aspects of algorithm development, especially in constraint satisfaction…
Listing superspecial curves of genus three using Richelot isogeny graphs
Ryo Ohashi, Hiroshi Onuki, Momonari Kudo +2
In algebraic geometry, superspecial curves are important research objects. While the number of superspecial genus-3 curves in characteristic is known, the number of hyperellipt…