Showing 1–6 of 6 results for author: Madore, D

Coloring the Voronoi tessellation of lattices

Authors: Mathieu Dutour Sikirić, David Madore, Philippe Moustrou, Frank Vallentin

Abstract: In this paper we define the chromatic number of a lattice: It is the least number of colors one needs to color the interiors of the cells of the Voronoi tessellation of a lattice so that no two cells sharing a facet are of the same color. We compute the chromatic number of the root lattices, their duals, and of the Leech lattice, we consider the chromatic number of lattices of Voronoi's first kind… ▽ More In this paper we define the chromatic number of a lattice: It is the least number of colors one needs to color the interiors of the cells of the Voronoi tessellation of a lattice so that no two cells sharing a facet are of the same color. We compute the chromatic number of the root lattices, their duals, and of the Leech lattice, we consider the chromatic number of lattices of Voronoi's first kind, and we investigate the asymptotic behaviour of the chromatic number of lattices when the dimension tends to infinity. We introduce a spectral lower bound for the chromatic number of lattices in spirit of Hoffman's bound for finite graphs. We compute this bound for the root lattices and relate it to the character theory of the corresponding Lie groups. △ Less

Submitted 22 March, 2021; v1 submitted 23 July, 2019; originally announced July 2019.

Comments: (v2) 40 pages, 4 figures, 3 tables, suggestions of referee incorporated, to appear in Journal of the London Mathematical Society

MSC Class: 05C15; 52C07

Journal ref: J. London Math. Soc. (2) 104 (2021) 1135-1171

Anticanonical codes from del Pezzo surfaces with Picard rank one

Authors: Régis Blache, Alain Couvreur, Emmanuel Hallouin, David Madore, Jade Nardi, Matthieu Rambaud, Hugues Randriam

Abstract: We construct algebraic geometric codes from del Pezzo surfaces and focus on the ones having Picard rank one and the codes associated to the anticanonical class. We give explicit constructions of del Pezzo surfaces of degree 4, 5 and 6, compute the parameters of the associated anticanonical codes and study their isomorphisms arising from the automorphisms of the surface. We obtain codes with excell… ▽ More We construct algebraic geometric codes from del Pezzo surfaces and focus on the ones having Picard rank one and the codes associated to the anticanonical class. We give explicit constructions of del Pezzo surfaces of degree 4, 5 and 6, compute the parameters of the associated anticanonical codes and study their isomorphisms arising from the automorphisms of the surface. We obtain codes with excellent parameters and some of them turn out to beat the best known codes listed on the database codetable. △ Less

Submitted 22 March, 2019; originally announced March 2019.

The Hadwiger-Nelson problem over certain fields

Authors: David A. Madore

Abstract: We compute the Hadwiger-Nelson numbers $χ(E^2)$ for certain number fields $E$, that is, the smallest number of colors required to color the points in the plane with coordinates in~$E$ so that no two points at distance $1$ from one another have the same color. Specifically, we show that $χ(\mathbb{Q}(\sqrt{2})^2) = 2$, that $χ(\mathbb{Q}(\sqrt{3})^2) = 3$, that $χ(\mathbb{Q}(\sqrt{7})^2) = 3$ despi… ▽ More We compute the Hadwiger-Nelson numbers $χ(E^2)$ for certain number fields $E$, that is, the smallest number of colors required to color the points in the plane with coordinates in~$E$ so that no two points at distance $1$ from one another have the same color. Specifically, we show that $χ(\mathbb{Q}(\sqrt{2})^2) = 2$, that $χ(\mathbb{Q}(\sqrt{3})^2) = 3$, that $χ(\mathbb{Q}(\sqrt{7})^2) = 3$ despite the fact that the graph $Γ(\mathbb{Q}(\sqrt{7})^2)$ is triangle-free, and that $4 \leq χ(\mathbb{Q}(\sqrt{3}, \sqrt{11})^2) \leq 5$. We also discuss some results over other fields, for other quadratic fields. We conclude with some comments on the use of the axiom of choice. △ Less

Submitted 23 September, 2015; originally announced September 2015.

Comments: preliminary version

MSC Class: 05C15; 05C10; 11R04; 11Z05

Calculabilité de la cohomologie étale modulo l

Authors: David A. Madore, Fabrice Orgogozo

Abstract: Let $X$ be an algebraic scheme over an algebraically closed field and $\ell$ a prime number invertible on $X$. According to classical results (due essentially to A. Grothendieck, M. Artin and P. Deligne), the étale cohomology groups $\mathrm{H}^i(X,\mathbb{Z}/\ell\mathbb{Z})$ are finite-dimensional. Using an $\ell$-adic variant of M. Artin's good neighborhoods and elementary results on the cohomol… ▽ More Let $X$ be an algebraic scheme over an algebraically closed field and $\ell$ a prime number invertible on $X$. According to classical results (due essentially to A. Grothendieck, M. Artin and P. Deligne), the étale cohomology groups $\mathrm{H}^i(X,\mathbb{Z}/\ell\mathbb{Z})$ are finite-dimensional. Using an $\ell$-adic variant of M. Artin's good neighborhoods and elementary results on the cohomology of pro-$\ell$ groups, we express the cohomology of $X$ as a well controlled colimit of that of toposes constructed on $BG$ where the $G$ are computable finite $\ell$-groups. From this, we deduce that the Betti numbers modulo $\ell$ of $X$ are algorithmically computable (in the sense of Church-Turing). The proof of this fact, along with certain related results, occupies the first part of this paper. This relies on the tools collected in the second part, which deals with computational algebraic geometry. Finally, in the third part, we present a "universal" formalism for computation on the elements of a field. △ Less

Submitted 4 July, 2014; v1 submitted 19 April, 2013; originally announced April 2013.

Comments: In French. v2 has been considerably reworked and expanded. v3 incorporates slight corrections and simplifications and a few additions (notably: computability of the morphism from hyperčech cohomology, graded algebra structure, and a worked out example); submitted for publication

Journal ref: Algebra Number Theory 9 (2015) 1647-1739

Les hypersurfaces cubiques sont séparablement rationnellement connexes

Authors: David A. Madore

Abstract: This note (which makes no claim to novelty) presents a proof of the separable rational connectedness of smooth cubic hypersurfaces, in any characteristic, by showing how to explicitly construct very free curves (of degree 3) on them. ----- Cette note (qui ne prétend pas à l'originalité) démontre la séparable rationnelle connexité des hypersurfaces cubiques lisses, en toute caractéristique, e… ▽ More This note (which makes no claim to novelty) presents a proof of the separable rational connectedness of smooth cubic hypersurfaces, in any characteristic, by showing how to explicitly construct very free curves (of degree 3) on them. ----- Cette note (qui ne prétend pas à l'originalité) démontre la séparable rationnelle connexité des hypersurfaces cubiques lisses, en toute caractéristique, en construisant explicitement des courbes très libres (de degré 3) tracées dessus. △ Less

Submitted 25 May, 2006; originally announced May 2006.

MSC Class: 14J45; 14J70; 11D25

Surfaces de del Pezzo sans point rationnel sur un corps de dimension cohomologique un

Authors: Jean-Louis Colliot-Thelene, David A. Madore

Abstract: For each integer d=2,3,4, there exists a field F with cohomological dimension 1 and a del Pezzo surface of degree d over F having no rational point. Proofs use the theorem of Merkur'ev and Suslin, the Riemann-Roch theorem on a surface and Rost's degree formula. ----- Pour chaque entier d=2,3,4, il existe un corps F de dimension cohomologique 1 et une surface de del Pezzo de degre d sur F san… ▽ More For each integer d=2,3,4, there exists a field F with cohomological dimension 1 and a del Pezzo surface of degree d over F having no rational point. Proofs use the theorem of Merkur'ev and Suslin, the Riemann-Roch theorem on a surface and Rost's degree formula. ----- Pour chaque entier d=2,3,4, il existe un corps F de dimension cohomologique 1 et une surface de del Pezzo de degre d sur F sans point rationnel. Les demonstrations utilisent le theoreme de Merkur'ev et Suslin, le theoreme de Riemann-Roch sur une surface et la formule du degre de Rost. △ Less

Submitted 28 May, 2003; v1 submitted 13 March, 2003; originally announced March 2003.

Comments: 21 pages, in French; to appear in the Journal de l'Institut Mathematique de Jussieu; second version adds a new section refining earlier results

MSC Class: 14G05; 12G10; 14C35 (Primary) 14J26; 11E76; 11D09 (Secondary)