Suppose we have an atom at every point with integer coordinates in $\mathbb{R}^d$. Take a ($d-1$)-dimensional hyperplane going through $\mathbf{0}$ and orthogonal to $(1,1,1,\ldots)$. What is the name of the lattice formed by atoms in that plane?
What is the name of this lattice?
2
$\begingroup$
geometry
probability-theory
-
1This lattice is used in the image processing paper "Fast High-Dimensional Filtering Using the Permutohedral Lattice" by Adams et al, 2010 (http://graphics.stanford.edu/papers/permutohedral/). According to the caption of their Figure 2, it is the lattice $dA^*_{d-1}$. – 2010-10-05
-
0Thanks, that's what I was looking for. Search for "permutohedral" seems to give CS papers exclusively, so I'd guess $A_d$ is the mathematical name – 2010-10-05
-
1Note that the permutohedral lattice is formed by projecting the d-dimensional Cartesian lattice onto your plane, so a priori it is not exactly what you would get by taking a slice. The lattice described in the question could be the inverse of the permutohedral lattice? (as BCC is inverse to FCC) ... that is a wild guess based on the [slice-projection theorem](http://en.wikipedia.org/wiki/Projection-slice_theorem) – 2010-10-05
-
0Oh, as Rahul already mentions the "permutohedral" lattice is $dA^*{d-1}$, presumably the astrisk is significant. – 2010-10-05
-
0Yes, it denotes the "dual" of the original lattice. – 2010-10-06
1 Answers
5
It's called $A_{d-1}$. See http://en.wikipedia.org/wiki/Root_system#An .
-
0To be precise, $A_{d-1}$ doesn't consist of *all* integer vectors in the hyperplane, only those with zeros as coordinates except for one +1 and one -1. To obtain the whole lattice one can take integer-coefficient linear combinations of the vectors in $A_{d-1}$, but I don't know if that has a name of its own. – 2010-10-06
-
0Hans, the name is "the $A_{d-1}$ lattice" :-) – 2010-10-06
-
0@Hans Lundmark: A_{d-1} is an object with more structure than a lattice, namely it comes with a distinguished set of generators. But as far as it refers to the entire root system it refers to all of the integer vectors in the hyperplane in question. – 2010-10-06
-
0OK, I take it back. But to my defence, I can say that I was just reading the definition of the $A_n$ root system in the Wikipedia article that you yourself linked to. :-) However, as that article also says, the terminology doesn't seem completely fixed ("some authors omit condition this or that in the definition"), and of course if one talks about the $A_n$ *lattice* it's clear what is meant, so I shouldn't have been so categorical in my statement. – 2010-10-07