Download presentation
Presentation is loading. Please wait.
Published byAvice Day Modified over 6 years ago
1
University of South Florida and Eindhoven University of Technology
A Fast Algorithm for Computing the S-unit Group in Multiquadratics and its application to Class Group Computation J.-F. Biasse and C. van Vredendaal University of South Florida and Eindhoven University of TechnologyΒ
2
Main contribution Let πΎ=β π 1 , π 2 ,β¦, π π for π π >0 and π be a set of non zero prime ideals of πΎ We propose efficient algorithms for computing: The ideal class group of πΎ. The S-class group of K. The S-unit group of K We use a recursive strategy for computing the S-unit group, and then derive the (S)-class group
3
Main Motivation Let πΎ be a number field with maximal order πͺ πΎ . We describe algorithms for computing πΆπ πΎ β Fractional ideals of πΎ {Principal fractional ideals of πΎ} What do we mean by βcomputing πΆπ(πΎ)β ? Typically: Find π 1 ,β¦, π π such that πΆπ πΎ β β€ π 1 β€ Γ β¦ Γ β€ π π β€ Better: Find fractional ideals π€ 1 ,β¦, π€ π such that πΆπ πΎ β [π€ 1 ] Γ β¦ Γ [π€ π ] Even better: Get the πΌ π βπΎ such that π€ π π π =( πΌ π ) πͺ πΎ
4
Relationship between various computational problems
This work S-unit group Generators of principal ideals Relative norm equations Class group Discrete Log in Cl(K) D. Simon 99 S-class group Crypto applications D. Simon 99 CDPR16,CDW17,BEGFK17,BBdVLvV17,β¦
5
The (S)-Unit group The unit group πof πΎ is the integers πΌ that satisfy πΌ πͺ πΎ = πͺ πΎ Connection to the computation of πΆπ(πΎ) via the exact sequence π 1 β πΆπ(πΎ) π πΎ β 1 π=Ker(π) Fractional ideals Collect many principal ideals πΌ π πͺ πΎ πΆπ πΎ =β/Im(π) By linear algebra: find π₯ such that π π πΌ π π₯ π βKer(π) Let π= π 1 ,β¦, π π be a set of non-zero prime ideals of πΎ An S-unit is an element πΌβπΎ such that πΌ πͺ πΎ = π 1 π 1 ,β¦, π π π π For some π 1 ,β¦, π π β β€ π
6
S-class group and S-unit group
Let π be a set of prime ideals of πΎ, the ring of S-integers of K is the ring π
π = πΌβπΎ such that π£ π πΌ β₯0 for all πβπ πΆπ π πΎ = {Fractional ideals of π
π }β{Principal fractional ideals of π
π }. π π is πΌβ π
π that satisfy πΌ π
π = π
π 1 1 πΆπ( π ) 1 1 π π π π πΆπ πΎ ,π, πΆπ π πΎ , π π πΆπ(πΎ) 1 1 π πΎ β β are tied by the following exact sequences 1 πΆπ π πΎ 1 π π πΎ β β π 1 1
7
The computation of πΆπ(πΎ) from S-units
Let S= π 1 ,β¦, π π a set of prime ideals that generate πΆπ(πΎ). We have a surjective morphism: π and π are in the same class if βπΌ, π=(πΌ)π β€ π Ideals of πΎ πΆπ(πΎ) π π πβ€π Class of Ξ πβ€π π π π π Ξ πβ€π π π π π We compute a basis ( π π ) for the lattice β of π£ = π£ 1 ,β¦, π£ π such that: β πΌ π£ β πΎsuch that π 1 π£ 1 β¦ π π π£ π = πͺ πΎ ( πΌ π£ ) πΆπ πΎ β
β€ π / β Bulk of the work: finding a generating set for β. Finding a basis for β and the decomposition of β€ π / β is done by linear algebra. Finding the S-unit group allows us to compute β and thus πΆπ(πΎ)
8
A recursive approach to compute S-units
Let π,πβGal(πΎ/β) be endomorphisms such that π 2 = π 2 =Id. πΎ Degree 2 πΎ π πΎ π πΎ ππ Idea: recover the S-unit group of πΎ from the S-unit groups of πΎ π , πΎ π , πΎ ππ Remark: in subfields, we talk about πβ© πΎ π for πβπ BBdVLvV17: same with units
9
Using S-units of subfields
S-units of πΎ π , πΎ π , πΎ ππ are S-units of πΎ Not all S-unit of πΎ is an S-unit of πΎ π , πΎ π , πΎ ππ We can show that the subgroup πβπΎ generated by S-units of πΎ π , πΎ π , πΎ ππ contains all the squares of the S-units of πΎ: π π 2 βπβ π π πΌ 2 = π© πΎ π πΎ πΌ . π© πΎ π πΎ πΌ π π© πΎ ππ πΎ πΌ General strategy: Compute S-units in πΎ π , πΎ π , πΎ ππ . Compute a basis for the squares in π. Compute the square roots of the basis elements and deduce π π .
10
Those annoying square roots
Goal: Given a generating set for the squares of π π , find a minimal generating set for π π Solution: use maps πΎ π π π½ π π like in the square root phase of Number Field Sieve We consider vectors π πΌ β log β π 1 (πΌ) π 1 , log β π 2 (πΌ) π ,β¦, log β π π (πΌ) π π If π πΌ =0 then βπ, π π (πΌ) is a square mod π π Heuristic: πΌ is a square in πΎ Given π£ π ,β¦, π£ π generating the squares of π π Then π’ π₯ β π π£ π π₯ π is a square Find π₯ such that π π₯ π π π£ π = 0 Compute π’ π₯
11
The case of multiquadratics
Our method works particularly well with fields of the form: πΎ=β π 1 , π 2 ,β¦, π π We focused on the case π π >0 Let π: π π β π π and Ο: π πβ1 β π πβ1 , then we have: πΎ π =β π 1 , π 2 ,β¦, π πβ1 πΎ π =β π 1 ,β¦, π πβ2 , π π πΎ ππ =β π 1 ,β¦, π πβ2 , π πβ1 π π π= deg πΎ = 2 π disc πΎ = Ξ= 2 π π 1 β¦ π π 2 πβ1 π π = π π π π πβ 0,1,2
12
Asymptotic complexity
Our algorithm relies on GRH and a heuristic on square root computation (similar to NFS) Poly Size π .Poly π .Poly Ξ . π π π log π π Asymptotic complexity: Corrolary: if π log π π < log log Ξ π for some π<2 class group computation in Poly Ξ Comparison: best known method with complexity exp π 3 log |Ξ| B10
13
Numerical results Let π 1 =5, π 2 =13, π 3 =17, π 4 =29, π 5 =37, π 6 =41, π 7 =53 πΎ π = β π 1 , π 2 ,β¦, π π I [ π² π :β] Magma Sage This work Cl( π² π ) 3 8 1.4 0.25 99.9 Trivial 4 16 12 0.91 648 πΆ 4 Γ πΆ 4 5 32 3615 77.7 5027 πΆ 2 Γ πΆ 4 Γ πΆ 8 4 6 64 . > πΆ 2 9 Γ πΆ 4 3 Γ πΆ 8 Γ πΆ 4 16 Γ πΆ 48 Γ πΆ 240 7 128 πΆ 2 10 Γ πΆ 4 16 Γ πΆ 8 13 Γ πΆ 16 2 Γ πΆ 48 6 Γ πΆ 96 3 Γ πΆ 480 Γ πΆ 960 Time in CPU sec.
14
Conclusion: further directions
Application to other problems than class groups Extension to other classes of number fields. Efficient parallel implementation of the S-unit computation
15
Thank you for your attention
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.