On the Complexity of Computing Gr\"obner Bases for Quasi-homogeneous Systems
Abstract
Let be a field and (f1, …, fn)⊂ [X1, …, Xn] be a sequence of quasi-homogeneous polynomials of respective weighted degrees (d1, …, dn) w.r.t a system of weights (w1,…,wn). Such systems are likely to arise from a lot of applications, including physics or cryptography. We design strategies for computing Gr\"obner bases for quasi-homogeneous systems by adapting existing algorithms for homogeneous systems to the quasi-homogeneous case. Overall, under genericity assumptions, we show that for a generic zero-dimensional quasi-homogeneous system, the complexity of the full strategy is polynomial in the weighted B\'ezout bound Πi=1ndi / Πi=1nwi. We provide some experimental results based on generic systems as well as systems arising from a cryptography problem. They show that taking advantage of the quasi-homogeneous structure of the systems allow us to solve systems that were out of reach otherwise.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.