## Voronoi cell of lattices with the same profile.

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Definition 1. Given a body $V$ in $\mathbb R^n$, the function $$p_V(r)=\mathop{\rm vol} [V\cap B_r(0)]$$ will be called profile of $V$.

Definition 2. Define Voronoi cell of lattice $L$ in $\mathbb R^n$ as $$V_L=\{\,x\in \mathbb R^n;\,|x|\le |x+\ell| \ \text{for any}\ \ell\in L\}.$$

Question. Can it happen that Voronoi cells of a pair of lattices have the same profile, but not isometric?

Comment

• The question is inspired by this one.
-
Presumably $B_r(0)$ is the ball of radius $r$ centered at $0$? If so, it seems, at least, profile $\Rightarrow$ isometric for $n=1$! – Joseph O'Rourke May 20 2011 at 1:19

3
The $II_{16,0}$ and $E_8 + E_8$ lattices in dimension 16 have different Voronoi domains, since the reflection planes for the roots yield different Dynkin diagrams. I think the domains have the same profile, because the theta constants of the lattices are equal. – S. Carnahan♦ May 20 2011 at 2:21

2
Equality of theta-functions is equivalent to the fact that both latices have the same number of points in any ball centered at the origin (?). I do not see why this property related to the one I want --- they sound similar, but I do not see a bridge between them. – Anton Petrunin May 20 2011 at 3:15

2
@Will Jagy: There are quite a few polytopes with the same profile, even centrally symmetric ones. You can stellate two pairs of opposite sides of an icosahedron (or octagon), getting the same profile regardless of the pairs of opposite sides you choose. The symmetries do not act transitively on the possibilities. However, it's much easier to motivate considering the profile of the Voronoi domain of a lattice since it tells you the distribution of distances to the lattice in $\mathbb{R}^n / L$. – Douglas Zare May 20 2011 at 17:24

1
@Scott Carnahan: Given a lattice, one can consider the norm of the "most distant point to the lattice" that is closest to the origin. Is that invariant the same for E_8⊕E_8 and for II_{16,0}? Let me rephrase because I might have said things in a confusing way: I'm asking for the diameters (or maybe "radius") of the Voronoi cells: are they the same for those two lattices? – André Henriques Jul 20 2011 at 23:41
show 3 more comments
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 13, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9138864874839783, "perplexity_flag": "head"}