on the density of cyclotomic lattices constructed from codes · on the density of cyclotomic...
TRANSCRIPT
![Page 1: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/1.jpg)
On the density of cyclotomic lattices constructedfrom codes
Philippe Moustrou
Universite de Bordeaux
Network Coding and DesignsDubrovnik, 07.04.2016
PhD funded by:
supervised by:Christine Bachoc (IMB) and Arnaud Pecher (LaBRI)
![Page 2: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/2.jpg)
Dubrovnik - 07.04.2016
Outline
1 Introduction: The Sphere Packing Problem
2 From Symmetries to High Density
3 Our Construction
2 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 3: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/3.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Motivation: Decoding without Ambiguity
Consider a noisy channel over Rn: suppose there exists ε such thatif x ∈ Rn is sent, with high probability, the received vector y is inB(x , ε):
xε
3 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 4: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/4.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Motivation: Decoding without Ambiguity
If there is only one codeword in the ball of radius ε centred in thereceived vector y ,
yx1
x2
x3x4
3 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 5: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/5.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Motivation: Decoding without Ambiguity
If there is only one codeword in the ball of radius ε centred in thereceived vector y , receiver can decode the message.
yx1
x2
x3x4
ε
3 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 6: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/6.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Motivation: Decoding without Ambiguity
But if there is more than one word in this ball,
yx1x2
x3x4
3 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 7: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/7.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Motivation: Decoding without Ambiguity
But if there is more than one word in this ball, receiver is confusedand can not decode !
yx1x2
x3x4
3 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 8: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/8.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Motivation: Decoding without Ambiguity
This is equivalent to the fact that the balls of radius ε centred in thecodewords do not intersect.
y
x1x2
x3x4
3 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 9: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/9.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Motivation: Decoding without Ambiguity
So we would like these balls to be disjoint...
y
x1x2
x3x4
3 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 10: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/10.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Motivation: Decoding without Ambiguity
...Keeping as many as possible codewords close to 0.
0
3 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 11: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/11.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Motivation: Decoding without Ambiguity
...Keeping as many as possible codewords close to 0.
0
3 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 12: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/12.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
The Sphere Packing Problem
Finding a good code with respect to this property boils downto finding an arrangement of disjoint spheres having the sameradius for which the proportion of space filled is the highestpossible.
This is the sphere packing problem !
Sphere packing problem is an old and hard problem ofgeometry of numbers.
Euclidean lattices provide a way to approach this problem.
4 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 13: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/13.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
The Sphere Packing Problem
Finding a good code with respect to this property boils downto finding an arrangement of disjoint spheres having the sameradius for which the proportion of space filled is the highestpossible.
This is the sphere packing problem !
Sphere packing problem is an old and hard problem ofgeometry of numbers.
Euclidean lattices provide a way to approach this problem.
4 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 14: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/14.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
The Sphere Packing Problem
Finding a good code with respect to this property boils downto finding an arrangement of disjoint spheres having the sameradius for which the proportion of space filled is the highestpossible.
This is the sphere packing problem !
Sphere packing problem is an old and hard problem ofgeometry of numbers.
Euclidean lattices provide a way to approach this problem.
4 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 15: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/15.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
The Sphere Packing Problem
Finding a good code with respect to this property boils downto finding an arrangement of disjoint spheres having the sameradius for which the proportion of space filled is the highestpossible.
This is the sphere packing problem !
Sphere packing problem is an old and hard problem ofgeometry of numbers.
Euclidean lattices provide a way to approach this problem.
4 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 16: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/16.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Reminder on Euclidean lattices
A Euclidean lattice Λ in Rn is the set of all linear combinations withinteger coefficients of the elements of a basis B of Rn.
0
5 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 17: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/17.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Reminder on Euclidean lattices
A Euclidean lattice Λ in Rn is the set of all linear combinations withinteger coefficients of the elements of a basis B of Rn.
0
5 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 18: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/18.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Reminder on Euclidean lattices
A Euclidean lattice Λ in Rn is the set of all linear combinations withinteger coefficients of the elements of a basis B of Rn.
0
5 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 19: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/19.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Reminder on Euclidean lattices
A Euclidean lattice Λ in Rn is the set of all linear combinations withinteger coefficients of the elements of a basis B of Rn.
0
5 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 20: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/20.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Reminder on Euclidean lattices
Let PB the parallelepiped generated by B.
0
5 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 21: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/21.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Reminder on Euclidean lattices
Translating PB by the points of the lattices, we get a partition ofRn into equivalent cells . PB is called a fundamental region of Λ.
0
5 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 22: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/22.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Reminder on Euclidean lattices
This is true for every basis of Λ.
0
5 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 23: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/23.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Reminder on Euclidean lattices
Every fundamental region has the same volume. This is the volumeof the lattice Λ.
0
5 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 24: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/24.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
The lattice sphere packing problem
The lattice sphere packing problem consists in finding the biggestproportion of space that can be filled by a collection of disjointspheres having the same radius, with centers at the points of alattice Λ.
0
6 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 25: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/25.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
The lattice sphere packing problem
For a given lattice Λ, the best sphere packing associated is given byballs of radius µ/2, where µ = min{||λ||, λ ∈ Λ \ {0}}.
0 µ
6 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 26: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/26.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
The lattice sphere packing problem
The density of this packing is
∆(Λ) =Vol(B(µ))
2nVol(Λ)
6 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 27: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/27.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Solutions in low dimensions
For n = 1, the problem is trivial: the best density is 1 !
For n = 2, the best packing density is π√
36 ≈ 0.9069, and is given
by the hexagonal lattice (Lagrange, 1773, best lattice, Thue, 1892and Fejes Toth, 1940, best packing).
7 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 28: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/28.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Solutions in low dimensions
For n = 3, it is the faced-centered cubic lattice which provides the
best density π√
26 ≈ 0.74048 (Kepler conjecture, 1611, Gauss, 1832,
best lattice, and Hales, 1998, 2014, best packing).
7 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 29: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/29.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
And then ?
Up to n = 8 (Korkine and Zolotaref, Blichfeldt) and forn = 24 (Cohn and Kumar), the best lattice packing problem issolved, but it is not known whether it provides the bestpacking...Not true anymore !
M. Viazovska just proved that the best lattice packings indimensions 8 and 24 are optimal.
For other dimensions, the problem is open.
Here we are interested in lower bounds for the best packingdensity ∆n in dimension n when n goes to infinity.
8 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 30: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/30.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
And then ?
Up to n = 8 (Korkine and Zolotaref, Blichfeldt) and forn = 24 (Cohn and Kumar), the best lattice packing problem issolved, but it is not known whether it provides the bestpacking...
Not true anymore !
M. Viazovska just proved that the best lattice packings indimensions 8 and 24 are optimal.
For other dimensions, the problem is open.
Here we are interested in lower bounds for the best packingdensity ∆n in dimension n when n goes to infinity.
8 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 31: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/31.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
And then ?
Up to n = 8 (Korkine and Zolotaref, Blichfeldt) and forn = 24 (Cohn and Kumar), the best lattice packing problem issolved, but it is not known whether it provides the bestpacking...Not true anymore !
M. Viazovska just proved that the best lattice packings indimensions 8 and 24 are optimal.
For other dimensions, the problem is open.
Here we are interested in lower bounds for the best packingdensity ∆n in dimension n when n goes to infinity.
8 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 32: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/32.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
And then ?
Up to n = 8 (Korkine and Zolotaref, Blichfeldt) and forn = 24 (Cohn and Kumar), the best lattice packing problem issolved, but it is not known whether it provides the bestpacking...Not true anymore !
M. Viazovska just proved that the best lattice packings indimensions 8 and 24 are optimal.
For other dimensions, the problem is open.
Here we are interested in lower bounds for the best packingdensity ∆n in dimension n when n goes to infinity.
8 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 33: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/33.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
And then ?
Up to n = 8 (Korkine and Zolotaref, Blichfeldt) and forn = 24 (Cohn and Kumar), the best lattice packing problem issolved, but it is not known whether it provides the bestpacking...Not true anymore !
M. Viazovska just proved that the best lattice packings indimensions 8 and 24 are optimal.
For other dimensions, the problem is open.
Here we are interested in lower bounds for the best packingdensity ∆n in dimension n when n goes to infinity.
8 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 34: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/34.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
And then ?
Up to n = 8 (Korkine and Zolotaref, Blichfeldt) and forn = 24 (Cohn and Kumar), the best lattice packing problem issolved, but it is not known whether it provides the bestpacking...Not true anymore !
M. Viazovska just proved that the best lattice packings indimensions 8 and 24 are optimal.
For other dimensions, the problem is open.
Here we are interested in lower bounds for the best packingdensity ∆n in dimension n when n goes to infinity.
8 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 35: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/35.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Summary of results
Minkowski-Hlawka theorem (stated by Minkowski in 1911,proved by Hlawka in 1943),
∆n ≥2
2n.
Improvement by a linear factor: ∆n ≥ 0.73n2n (Rogers,1947).
Improvements on the constant: ∆n ≥ 2n2n (Ball,1992),
∆n ≥ 2.2n2n for n divisible by 4 (Vance,2011).
Venkatesh (2013): for all n big enough ∆n ≥ 65963n2n , and for
infinitely many dimensions, ∆n ≥ 0.89n log log n2n .
9 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 36: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/36.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Summary of results
Minkowski-Hlawka theorem (stated by Minkowski in 1911,proved by Hlawka in 1943),
∆n ≥2
2n.
Improvement by a linear factor: ∆n ≥ 0.73n2n (Rogers,1947).
Improvements on the constant: ∆n ≥ 2n2n (Ball,1992),
∆n ≥ 2.2n2n for n divisible by 4 (Vance,2011).
Venkatesh (2013): for all n big enough ∆n ≥ 65963n2n , and for
infinitely many dimensions, ∆n ≥ 0.89n log log n2n .
9 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 37: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/37.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Summary of results
Minkowski-Hlawka theorem (stated by Minkowski in 1911,proved by Hlawka in 1943),
∆n ≥2
2n.
Improvement by a linear factor: ∆n ≥ 0.73n2n (Rogers,1947).
Improvements on the constant: ∆n ≥ 2n2n (Ball,1992),
∆n ≥ 2.2n2n for n divisible by 4 (Vance,2011).
Venkatesh (2013): for all n big enough ∆n ≥ 65963n2n , and for
infinitely many dimensions, ∆n ≥ 0.89n log log n2n .
9 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 38: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/38.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Summary of results
Minkowski-Hlawka theorem (stated by Minkowski in 1911,proved by Hlawka in 1943),
∆n ≥2
2n.
Improvement by a linear factor: ∆n ≥ 0.73n2n (Rogers,1947).
Improvements on the constant: ∆n ≥ 2n2n (Ball,1992),
∆n ≥ 2.2n2n for n divisible by 4 (Vance,2011).
Venkatesh (2013): for all n big enough ∆n ≥ 65963n2n , and for
infinitely many dimensions, ∆n ≥ 0.89n log log n2n .
9 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 39: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/39.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Some effective results?
An interesting question is to find some effective results aboutthis problem...
...that is to exhibit finite families of lattices containing alattice having high density.
The best one can do is to find exponential-sized families:
Rush (1989) gave an ”effective” proof of Minkowski-Hlawkatheorem, with a family having a size of order exp(kn log n).
Gaborit and Zemor (2006) gave a construction that provideslattices with density higher than 0.06n
2n , with a complexity ofenumeration of order exp(11n log n).
10 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 40: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/40.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Some effective results?
An interesting question is to find some effective results aboutthis problem...
...that is to exhibit finite families of lattices containing alattice having high density.
The best one can do is to find exponential-sized families:
Rush (1989) gave an ”effective” proof of Minkowski-Hlawkatheorem, with a family having a size of order exp(kn log n).
Gaborit and Zemor (2006) gave a construction that provideslattices with density higher than 0.06n
2n , with a complexity ofenumeration of order exp(11n log n).
10 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 41: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/41.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Some effective results?
An interesting question is to find some effective results aboutthis problem...
...that is to exhibit finite families of lattices containing alattice having high density.
The best one can do is to find exponential-sized families:
Rush (1989) gave an ”effective” proof of Minkowski-Hlawkatheorem, with a family having a size of order exp(kn log n).
Gaborit and Zemor (2006) gave a construction that provideslattices with density higher than 0.06n
2n , with a complexity ofenumeration of order exp(11n log n).
10 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 42: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/42.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Some effective results?
An interesting question is to find some effective results aboutthis problem...
...that is to exhibit finite families of lattices containing alattice having high density.
The best one can do is to find exponential-sized families:
Rush (1989) gave an ”effective” proof of Minkowski-Hlawkatheorem, with a family having a size of order exp(kn log n).
Gaborit and Zemor (2006) gave a construction that provideslattices with density higher than 0.06n
2n , with a complexity ofenumeration of order exp(11n log n).
10 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 43: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/43.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Some effective results?
An interesting question is to find some effective results aboutthis problem...
...that is to exhibit finite families of lattices containing alattice having high density.
The best one can do is to find exponential-sized families:
Rush (1989) gave an ”effective” proof of Minkowski-Hlawkatheorem, with a family having a size of order exp(kn log n).
Gaborit and Zemor (2006) gave a construction that provideslattices with density higher than 0.06n
2n , with a complexity ofenumeration of order exp(11n log n).
10 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 44: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/44.jpg)
Dubrovnik - 07.04.2016 Introduction: The Sphere Packing Problem
Our result
We prove an effective version of Venkatesh’s theorem:
Theorem
For infinitely many dimension n, one can find a lattice Λ ⊂ Rn
satisfying
∆(Λ) >0.89n log log n
2n
with O(exp(7.8n log n)) binary operations.
11 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 45: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/45.jpg)
Dubrovnik - 07.04.2016 From Symmetries to High Density
A proof of Minkowski-Hlawka theorem
Basic idea: Let Λ be a lattice in Rn and r > 0.
If |B(r) ∩ Λ \ {0}| < 1, then µ(Λ) ≥ r , thus
∆(Λ) ≥ Vol(B(r))
2nVol(Λ).
Since Λ is a lattice, if v is in B(r) ∩ Λ \ {0},
0 0
then so does −v !
So the condition |B(r) ∩ Λ \ {0}| < 2 is sufficient to conclude
∆(Λ) ≥ Vol(B(r))2nVol(Λ) .
12 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 46: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/46.jpg)
Dubrovnik - 07.04.2016 From Symmetries to High Density
A proof of Minkowski-Hlawka theorem
Basic idea: Let Λ be a lattice in Rn and r > 0.If |B(r) ∩ Λ \ {0}| < 1, then µ(Λ) ≥ r ,
thus
∆(Λ) ≥ Vol(B(r))
2nVol(Λ).
Since Λ is a lattice, if v is in B(r) ∩ Λ \ {0},
0 0
then so does −v !
So the condition |B(r) ∩ Λ \ {0}| < 2 is sufficient to conclude
∆(Λ) ≥ Vol(B(r))2nVol(Λ) .
12 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 47: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/47.jpg)
Dubrovnik - 07.04.2016 From Symmetries to High Density
A proof of Minkowski-Hlawka theorem
Basic idea: Let Λ be a lattice in Rn and r > 0.If |B(r) ∩ Λ \ {0}| < 1, then µ(Λ) ≥ r , thus
∆(Λ) ≥ Vol(B(r))
2nVol(Λ).
Since Λ is a lattice, if v is in B(r) ∩ Λ \ {0},
0 0
then so does −v !
So the condition |B(r) ∩ Λ \ {0}| < 2 is sufficient to conclude
∆(Λ) ≥ Vol(B(r))2nVol(Λ) .
12 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 48: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/48.jpg)
Dubrovnik - 07.04.2016 From Symmetries to High Density
A proof of Minkowski-Hlawka theorem
Basic idea: Let Λ be a lattice in Rn and r > 0.If |B(r) ∩ Λ \ {0}| < 1, then µ(Λ) ≥ r , thus
∆(Λ) ≥ Vol(B(r))
2nVol(Λ).
Since Λ is a lattice, if v is in B(r) ∩ Λ \ {0},
0 0
then so does −v !
So the condition |B(r) ∩ Λ \ {0}| < 2 is sufficient to conclude
∆(Λ) ≥ Vol(B(r))2nVol(Λ) .
12 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 49: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/49.jpg)
Dubrovnik - 07.04.2016 From Symmetries to High Density
A proof of Minkowski-Hlawka theorem
Basic idea: Let Λ be a lattice in Rn and r > 0.If |B(r) ∩ Λ \ {0}| < 1, then µ(Λ) ≥ r , thus
∆(Λ) ≥ Vol(B(r))
2nVol(Λ).
Since Λ is a lattice, if v is in B(r) ∩ Λ \ {0},
0
0
then so does −v !
So the condition |B(r) ∩ Λ \ {0}| < 2 is sufficient to conclude
∆(Λ) ≥ Vol(B(r))2nVol(Λ) .
12 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 50: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/50.jpg)
Dubrovnik - 07.04.2016 From Symmetries to High Density
A proof of Minkowski-Hlawka theorem
Basic idea: Let Λ be a lattice in Rn and r > 0.If |B(r) ∩ Λ \ {0}| < 1, then µ(Λ) ≥ r , thus
∆(Λ) ≥ Vol(B(r))
2nVol(Λ).
Since Λ is a lattice, if v is in B(r) ∩ Λ \ {0},
0 0
then so does −v !
So the condition |B(r) ∩ Λ \ {0}| < 2 is sufficient to conclude
∆(Λ) ≥ Vol(B(r))2nVol(Λ) .
12 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 51: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/51.jpg)
Dubrovnik - 07.04.2016 From Symmetries to High Density
A proof of Minkowski-Hlawka theorem
Basic idea: Let Λ be a lattice in Rn and r > 0.If |B(r) ∩ Λ \ {0}| < 1, then µ(Λ) ≥ r , thus
∆(Λ) ≥ Vol(B(r))
2nVol(Λ).
Since Λ is a lattice, if v is in B(r) ∩ Λ \ {0},
0 0
then so does −v !
So the condition |B(r) ∩ Λ \ {0}| < 2 is sufficient to conclude
∆(Λ) ≥ Vol(B(r))2nVol(Λ) .
12 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 52: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/52.jpg)
Dubrovnik - 07.04.2016 From Symmetries to High Density
A proof of Minkowski-Hlawka theorem
Siegel’s mean value theorem: Let L be the set of lattices inRn with volume 1. For r > 0,
EL[|B(r) ∩ Λ \ {0}|] = Vol(B(r))
So, when Vol(B(r)) < 2, there is a lattice Λ such that
∆(Λ) ≥ Vol(B(r))2n . In other words:
∆n ≥2
2n
13 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 53: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/53.jpg)
Dubrovnik - 07.04.2016 From Symmetries to High Density
A proof of Minkowski-Hlawka theorem
Siegel’s mean value theorem: Let L be the set of lattices inRn with volume 1.
For r > 0,
EL[|B(r) ∩ Λ \ {0}|] = Vol(B(r))
So, when Vol(B(r)) < 2, there is a lattice Λ such that
∆(Λ) ≥ Vol(B(r))2n . In other words:
∆n ≥2
2n
13 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 54: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/54.jpg)
Dubrovnik - 07.04.2016 From Symmetries to High Density
A proof of Minkowski-Hlawka theorem
Siegel’s mean value theorem: Let L be the set of lattices inRn with volume 1. For r > 0,
EL[|B(r) ∩ Λ \ {0}|] = Vol(B(r))
So, when Vol(B(r)) < 2, there is a lattice Λ such that
∆(Λ) ≥ Vol(B(r))2n . In other words:
∆n ≥2
2n
13 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 55: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/55.jpg)
Dubrovnik - 07.04.2016 From Symmetries to High Density
A proof of Minkowski-Hlawka theorem
Siegel’s mean value theorem: Let L be the set of lattices inRn with volume 1. For r > 0,
EL[|B(r) ∩ Λ \ {0}|] = Vol(B(r))
So, when Vol(B(r)) < 2, there is a lattice Λ such that
∆(Λ) ≥ Vol(B(r))2n . In other words:
∆n ≥2
2n
13 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 56: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/56.jpg)
Dubrovnik - 07.04.2016 From Symmetries to High Density
A proof of Minkowski-Hlawka theorem
Siegel’s mean value theorem: Let L be the set of lattices inRn with volume 1. For r > 0,
EL[|B(r) ∩ Λ \ {0}|] = Vol(B(r))
So, when Vol(B(r)) < 2, there is a lattice Λ such that
∆(Λ) ≥ Vol(B(r))2n . In other words:
∆n ≥2
2n
13 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 57: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/57.jpg)
Dubrovnik - 07.04.2016 From Symmetries to High Density
How can symmetries be useful?
Idea: If we consider lattices with more symmetries, we canreplace the 2-factor in the previous argument by a biggervalue, and get a better bound.
For n = 2` with ` prime, Gaborit and Zemor considered finitefamilies of lattices invariant under the action of Z/`Z via(doubly)-cyclic permutation of coordinates.
For n = 2φ(m), Venkatesh constructed infinite families oflattices invariant under the action of mth-roots of unity.Taking m =
∏q∈Pq≤X
q, he optimized the ratio between m and
2φ(m).
14 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 58: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/58.jpg)
Dubrovnik - 07.04.2016 From Symmetries to High Density
How can symmetries be useful?
Idea: If we consider lattices with more symmetries, we canreplace the 2-factor in the previous argument by a biggervalue, and get a better bound.
For n = 2` with ` prime, Gaborit and Zemor considered finitefamilies of lattices invariant under the action of Z/`Z via(doubly)-cyclic permutation of coordinates.
For n = 2φ(m), Venkatesh constructed infinite families oflattices invariant under the action of mth-roots of unity.Taking m =
∏q∈Pq≤X
q, he optimized the ratio between m and
2φ(m).
14 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 59: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/59.jpg)
Dubrovnik - 07.04.2016 From Symmetries to High Density
How can symmetries be useful?
Idea: If we consider lattices with more symmetries, we canreplace the 2-factor in the previous argument by a biggervalue, and get a better bound.
For n = 2` with ` prime, Gaborit and Zemor considered finitefamilies of lattices invariant under the action of Z/`Z via(doubly)-cyclic permutation of coordinates.
For n = 2φ(m), Venkatesh constructed infinite families oflattices invariant under the action of mth-roots of unity.Taking m =
∏q∈Pq≤X
q, he optimized the ratio between m and
2φ(m).
14 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 60: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/60.jpg)
Dubrovnik - 07.04.2016 From Symmetries to High Density
How can symmetries be useful?
Idea: If we consider lattices with more symmetries, we canreplace the 2-factor in the previous argument by a biggervalue, and get a better bound.
For n = 2` with ` prime, Gaborit and Zemor considered finitefamilies of lattices invariant under the action of Z/`Z via(doubly)-cyclic permutation of coordinates.
For n = 2φ(m), Venkatesh constructed infinite families oflattices invariant under the action of mth-roots of unity.Taking m =
∏q∈Pq≤X
q, he optimized the ratio between m and
2φ(m).
14 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 61: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/61.jpg)
Dubrovnik - 07.04.2016 Our Construction
Our construction
K = Q[ζm]↪→ KR = K ⊗Q R ' Rφ(m)
P prime ideal of OK = Z[ζm] , F = OK/P ' Fq.V = K 2
R, Λ0 = O2K and
π : Λ0 → Λ0
/PΛ0 ' F 2
Definition
Let C be the set of the q + 1 F -lines of Λ0
/PΛ0 = F 2, and LC the
associated set of lattices of V : LC = {π−1(C ),C ∈ C}.
Every lattice in LC has volume qVol(Λ0) and is invariantunder the action of mth-roots of unity.The family satisfies, for r and q chosen in a suitable way:
ELC [|B(r) ∩ Λ \ {0}|] ' Vol(B(r))
qVol(Λ0)
15 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 62: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/62.jpg)
Dubrovnik - 07.04.2016 Our Construction
Our construction
K = Q[ζm]↪→ KR = K ⊗Q R ' Rφ(m)
P prime ideal of OK = Z[ζm] , F = OK/P ' Fq.V = K 2
R, Λ0 = O2K and
π : Λ0 → Λ0
/PΛ0 ' F 2
Definition
Let C be the set of the q + 1 F -lines of Λ0
/PΛ0 = F 2, and LC the
associated set of lattices of V : LC = {π−1(C ),C ∈ C}.
Every lattice in LC has volume qVol(Λ0) and is invariantunder the action of mth-roots of unity.The family satisfies, for r and q chosen in a suitable way:
ELC [|B(r) ∩ Λ \ {0}|] ' Vol(B(r))
qVol(Λ0)
15 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 63: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/63.jpg)
Dubrovnik - 07.04.2016 Our Construction
Our construction
K = Q[ζm]↪→ KR = K ⊗Q R ' Rφ(m)
P prime ideal of OK = Z[ζm] , F = OK/P ' Fq.
V = K 2R, Λ0 = O2
K and
π : Λ0 → Λ0
/PΛ0 ' F 2
Definition
Let C be the set of the q + 1 F -lines of Λ0
/PΛ0 = F 2, and LC the
associated set of lattices of V : LC = {π−1(C ),C ∈ C}.
Every lattice in LC has volume qVol(Λ0) and is invariantunder the action of mth-roots of unity.The family satisfies, for r and q chosen in a suitable way:
ELC [|B(r) ∩ Λ \ {0}|] ' Vol(B(r))
qVol(Λ0)
15 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 64: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/64.jpg)
Dubrovnik - 07.04.2016 Our Construction
Our construction
K = Q[ζm]↪→ KR = K ⊗Q R ' Rφ(m)
P prime ideal of OK = Z[ζm] , F = OK/P ' Fq.V = K 2
R, Λ0 = O2K and
π : Λ0 → Λ0
/PΛ0 ' F 2
Definition
Let C be the set of the q + 1 F -lines of Λ0
/PΛ0 = F 2, and LC the
associated set of lattices of V : LC = {π−1(C ),C ∈ C}.
Every lattice in LC has volume qVol(Λ0) and is invariantunder the action of mth-roots of unity.The family satisfies, for r and q chosen in a suitable way:
ELC [|B(r) ∩ Λ \ {0}|] ' Vol(B(r))
qVol(Λ0)
15 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 65: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/65.jpg)
Dubrovnik - 07.04.2016 Our Construction
Our construction
K = Q[ζm]↪→ KR = K ⊗Q R ' Rφ(m)
P prime ideal of OK = Z[ζm] , F = OK/P ' Fq.V = K 2
R, Λ0 = O2K and
π : Λ0 → Λ0
/PΛ0 ' F 2
Definition
Let C be the set of the q + 1 F -lines of Λ0
/PΛ0 = F 2, and LC the
associated set of lattices of V : LC = {π−1(C ),C ∈ C}.
Every lattice in LC has volume qVol(Λ0) and is invariantunder the action of mth-roots of unity.The family satisfies, for r and q chosen in a suitable way:
ELC [|B(r) ∩ Λ \ {0}|] ' Vol(B(r))
qVol(Λ0)
15 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 66: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/66.jpg)
Dubrovnik - 07.04.2016 Our Construction
Our construction
K = Q[ζm]↪→ KR = K ⊗Q R ' Rφ(m)
P prime ideal of OK = Z[ζm] , F = OK/P ' Fq.V = K 2
R, Λ0 = O2K and
π : Λ0 → Λ0
/PΛ0 ' F 2
Definition
Let C be the set of the q + 1 F -lines of Λ0
/PΛ0 = F 2, and LC the
associated set of lattices of V : LC = {π−1(C ),C ∈ C}.
Every lattice in LC has volume qVol(Λ0) and is invariantunder the action of mth-roots of unity.
The family satisfies, for r and q chosen in a suitable way:
ELC [|B(r) ∩ Λ \ {0}|] ' Vol(B(r))
qVol(Λ0)
15 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 67: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/67.jpg)
Dubrovnik - 07.04.2016 Our Construction
Our construction
K = Q[ζm]↪→ KR = K ⊗Q R ' Rφ(m)
P prime ideal of OK = Z[ζm] , F = OK/P ' Fq.V = K 2
R, Λ0 = O2K and
π : Λ0 → Λ0
/PΛ0 ' F 2
Definition
Let C be the set of the q + 1 F -lines of Λ0
/PΛ0 = F 2, and LC the
associated set of lattices of V : LC = {π−1(C ),C ∈ C}.
Every lattice in LC has volume qVol(Λ0) and is invariantunder the action of mth-roots of unity.The family satisfies, for r and q chosen in a suitable way:
ELC [|B(r) ∩ Λ \ {0}|] ' Vol(B(r))
qVol(Λ0)
15 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 68: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/68.jpg)
Dubrovnik - 07.04.2016 Our Construction
Our construction
K = Q[ζm]↪→ KR = K ⊗Q R ' Rφ(m)
P prime ideal of OK = Z[ζm] , F = OK/P ' Fq.V = K 2
R, Λ0 = O2K and
π : Λ0 → Λ0
/PΛ0 ' F 2
Definition
Let C be the set of the q + 1 F -lines of Λ0
/PΛ0 = F 2, and LC the
associated set of lattices of V : LC = {π−1(C ),C ∈ C}.
Every lattice in LC has volume qVol(Λ0) and is invariantunder the action of mth-roots of unity.The family satisfies, for r and q chosen in a suitable way:
ELC [|B(r) ∩ Λ \ {0}|] ' Vol(B(r))
qVol(Λ0)15 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 69: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/69.jpg)
Dubrovnik - 07.04.2016 Our Construction
Results
Theorem
For every 1 > ε > 0, if φ(m)2m = o(qm1
φ(m) ), then for m bigenough, the family of lattices LC contains a lattice Λ ⊂ R2φ(m)
satisfying
∆(Λ) >(1− ε)m
22φ(m).
This result is a generalization of Gaborit-Zemor’s result: it isvalid for a ”larger” set of dimensions.
The action we consider is free: so we have no loss in theconstant (1/2 instead of 0.06).
16 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 70: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/70.jpg)
Dubrovnik - 07.04.2016 Our Construction
Results
Theorem
For every 1 > ε > 0, if φ(m)2m = o(qm1
φ(m) ), then for m bigenough, the family of lattices LC contains a lattice Λ ⊂ R2φ(m)
satisfying
∆(Λ) >(1− ε)m
22φ(m).
This result is a generalization of Gaborit-Zemor’s result: it isvalid for a ”larger” set of dimensions.
The action we consider is free: so we have no loss in theconstant (1/2 instead of 0.06).
16 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 71: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/71.jpg)
Dubrovnik - 07.04.2016 Our Construction
Results
Theorem
For every 1 > ε > 0, if φ(m)2m = o(qm1
φ(m) ), then for m bigenough, the family of lattices LC contains a lattice Λ ⊂ R2φ(m)
satisfying
∆(Λ) >(1− ε)m
22φ(m).
This result is a generalization of Gaborit-Zemor’s result: it isvalid for a ”larger” set of dimensions.
The action we consider is free: so we have no loss in theconstant (1/2 instead of 0.06).
16 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 72: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/72.jpg)
Dubrovnik - 07.04.2016 Our Construction
Results
Theorem
For every 1 > ε > 0, if φ(m)2m = o(qm1
φ(m) ), then for m bigenough, the family of lattices LC contains a lattice Λ ⊂ R2φ(m)
satisfying
∆(Λ) >(1− ε)m
22φ(m).
This result is a generalization of Gaborit-Zemor’s result: it isvalid for a ”larger” set of dimensions.
The action we consider is free: so we have no loss in theconstant (1/2 instead of 0.06).
16 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 73: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/73.jpg)
Dubrovnik - 07.04.2016 Our Construction
Results
For the particular set of dimensions considered by Venkatesh,we obtain the same density...
Corollary
For infinitely many dimensions, LC contains a lattice Λ ⊂ Rn
satisfying ∆(Λ) ≥ 0.89n log log n2n .
... with finite families of lattices !
Complexity of construction
Let n = 2φ(m). For every 1 > ε > 0, the construction of a lattice
Λ ⊂ Rn satisfying ∆(Λ) > (1−ε)m
22φ(m) requires O(exp(7.8n log n))binary operations.
17 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 74: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/74.jpg)
Dubrovnik - 07.04.2016 Our Construction
Results
For the particular set of dimensions considered by Venkatesh,we obtain the same density...
Corollary
For infinitely many dimensions, LC contains a lattice Λ ⊂ Rn
satisfying ∆(Λ) ≥ 0.89n log log n2n .
... with finite families of lattices !
Complexity of construction
Let n = 2φ(m). For every 1 > ε > 0, the construction of a lattice
Λ ⊂ Rn satisfying ∆(Λ) > (1−ε)m
22φ(m) requires O(exp(7.8n log n))binary operations.
17 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 75: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/75.jpg)
Dubrovnik - 07.04.2016 Our Construction
Results
For the particular set of dimensions considered by Venkatesh,we obtain the same density...
Corollary
For infinitely many dimensions, LC contains a lattice Λ ⊂ Rn
satisfying ∆(Λ) ≥ 0.89n log log n2n .
... with finite families of lattices !
Complexity of construction
Let n = 2φ(m). For every 1 > ε > 0, the construction of a lattice
Λ ⊂ Rn satisfying ∆(Λ) > (1−ε)m
22φ(m) requires O(exp(7.8n log n))binary operations.
17 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 76: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/76.jpg)
Dubrovnik - 07.04.2016 Our Construction
Concluding comments and perspectives
The construction can be adapted in such a way that thelattices of LC are symplectic.
Are these families of lattices good with respect to otherproperties ?
Could we do the same kind of constructions with differentgroups ?
Thank you for your attention
18 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 77: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/77.jpg)
Dubrovnik - 07.04.2016 Our Construction
Concluding comments and perspectives
The construction can be adapted in such a way that thelattices of LC are symplectic.
Are these families of lattices good with respect to otherproperties ?
Could we do the same kind of constructions with differentgroups ?
Thank you for your attention
18 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 78: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/78.jpg)
Dubrovnik - 07.04.2016 Our Construction
Concluding comments and perspectives
The construction can be adapted in such a way that thelattices of LC are symplectic.
Are these families of lattices good with respect to otherproperties ?
Could we do the same kind of constructions with differentgroups ?
Thank you for your attention
18 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes
![Page 79: On the density of cyclotomic lattices constructed from codes · On the density of cyclotomic lattices constructed from codes Philippe Moustrou Universit e de Bordeaux Network Coding](https://reader035.vdocuments.net/reader035/viewer/2022071211/6022dbc2278f214bfa1967e4/html5/thumbnails/79.jpg)
Dubrovnik - 07.04.2016 Our Construction
Concluding comments and perspectives
The construction can be adapted in such a way that thelattices of LC are symplectic.
Are these families of lattices good with respect to otherproperties ?
Could we do the same kind of constructions with differentgroups ?
Thank you for your attention
18 / 18
Philippe Moustrou Density of cyclotomic lattices constructed from codes