Listing superspecial curves of genus three by using Richelot isogeny graph
Authors:
Ryo Ohashi,
Hiroshi Onuki,
Momonari Kudo,
Ryo Yoshizumi,
Koji Nuida
Abstract:
In algebraic geometry, superspecial curves are important research objects. While the number of superspecial genus-3 curves in characteristic $p$ is known, the number of hyperelliptic ones among them has not been determined even for small $p$. In this paper, in order to compute the latter number, we give an algorithm for computing the Richelot isogeny graph of superspecial abelian threefolds by usi…
▽ More
In algebraic geometry, superspecial curves are important research objects. While the number of superspecial genus-3 curves in characteristic $p$ is known, the number of hyperelliptic ones among them has not been determined even for small $p$. In this paper, in order to compute the latter number, we give an algorithm for computing the Richelot isogeny graph of superspecial abelian threefolds by using theta functions. Our algorithm enables us to efficiently list superspecial genus-3 curves, and we succeeded in counting hyperelliptic curves among them when $11 \leq p < 100$ by executing our algorithm in Magma.
△ Less
Submitted 26 June, 2024; v1 submitted 19 January, 2024;
originally announced January 2024.
Characterizing the integer points in 2-decomposable polyhedra by closedness under operations
Authors:
Kei Kimura,
Kazuhisa Makino,
Shota Yamada,
Ryo Yoshizumi
Abstract:
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. An example from the Boolean satisfiability problem is that the solution set of a Horn conjunctive normal form (CNF) is closed under the minimum operation, and this property implies that minimizing a nonnegative linear…
▽ More
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. An example from the Boolean satisfiability problem is that the solution set of a Horn conjunctive normal form (CNF) is closed under the minimum operation, and this property implies that minimizing a nonnegative linear function over a Horn CNF can be done in polynomial time. In this paper, we focus on the set of integer points (vectors) in a polyhedron, and study the relation between these sets and closedness under operations from the viewpoint of 2-decomposability. By adding further conditions to the 2-decomposable polyhedra, we show that important classes of sets of integer vectors in polyhedra are characterized by 2-decomposability and closedness under certain operations, and in some classes, by closedness under operations alone. The most prominent result we show is that the set of integer vectors in a unit-two-variable-per-inequality polyhedron can be characterized by closedness under the median and directed discrete midpoint operations, each of these operations was independently considered in constraint satisfaction and discrete convex analysis.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.