Tsuyoshi Takagi

Kosuke Sakata, Tsuyoshi Takagi

We present an efficient algorithm for computing the leading monomials of a minimal Groebner basis of a generic sequence of homogeneous polynomials. Our approach bypasses costly polynomial reductions by exploiting structural properties conjectured to hold for generic sequences-specifically, that their leading monomial ideals are weakly reverse lexicographic and that their Hilbert series follow a known closed-form expression. The algorithm incrementally constructs the set of leading monomials degree by degree by comparing Hilbert functions of monomial ideals with the expected Hilbert series of the input ideal. To enhance computational efficiency, we introduce several optimization techniques that progressively narrow the search space and reduce the number of divisibility checks required at each step. We also refine the loop termination condition using degree bounds, thereby avoiding unnecessary recomputation of Hilbert series. Experimental results confirm that the proposed method substantially reduces both computation time and memory usage compared to conventional Groebner basis computations for computing the leading monomials of a minimal Groebner basis of generic sequences.

Jintai Ding, Seungki Kim, Tsuyoshi Takagi et al.

Theaimofthepresentpaperistosuggestthatstatisticalphysicsprovides the correct language to understand the practical behavior of the LLL algorithm, most of which are left unexplained to this day. To this end, we propose sandpile models that imitate LLL with compelling accuracy, and prove for these models some of the most desired statements regarding LLL. We also formulate a few conjectures that formally capture our heuristics and would serve as milestones for further development of the theory.

Keisuke Hakuta, Hisayoshi Sato, Tsuyoshi Takagi

This paper explores two techniques on a family of hyperelliptic curves that have been proposed to accelerate computation of scalar multiplication for hyperelliptic curve cryptosystems. In elliptic curve cryptosystems, it is known that Koblitz curves admit fast scalar multiplication, namely, the $τ$-adic non-adjacent form ($τ$-NAF). It is shown that the $τ$-NAF has the three properties: (1) existence, (2) uniqueness, and (3) minimality of the Hamming weight. These properties are not only of intrinsic mathematical interest, but also desirable in some cryptographic applications. On the other hand, G{ü}nther, Lange, and Stein have proposed two generalizations of $τ$-NAF for a family of hyperelliptic curves, called \emph{hyperelliptic Koblitz curves}. However, to our knowledge, it is not known whether the three properties are true or not. We provide an answer to the question. Our investigation shows that the first one has only the existence and the second one has the existence and uniqueness. Furthermore, we shall prove that there exist 16 digit sets so that one can achieve the second one.