Presentation is loading. Please wait.

Presentation is loading. Please wait.

University of South Florida and Eindhoven University of Technology

Similar presentations


Presentation on theme: "University of South Florida and Eindhoven University of Technology"β€” Presentation transcript:

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


Download ppt "University of South Florida and Eindhoven University of Technology"

Similar presentations


Ads by Google