{"title":"多面体高斯和与对称多面体","authors":"R. Malikiosis, S. Robins, Yichi Zhang","doi":"10.20382/jocg.v7i1a8","DOIUrl":null,"url":null,"abstract":"We define certain natural finite sums of $n$'th roots of unity, called $G_P(n)$, that are associated to each convex integer polytope $P$, and which generalize the classical $1$-dimensional Gauss sum $G(n)$ defined over $\\mathbb Z/ {n \\mathbb Z}$, to higher dimensional abelian groups and integer polytopes. We consider the finite Weyl group $\\mathcal{W}$, generated by the reflections with respect to the coordinate hyperplanes, as well as all permutations of the coordinates; further, we let $\\mathcal G$ be the group generated by $\\mathcal{W}$ as well as all integer translations in $\\mathbb Z^d$. We prove that if $P$ multi-tiles $\\mathbb R^d$ under the action of $\\mathcal G$, then we have the closed form $G_P(n) = \\text{vol}(P) G(n)^d$. Conversely, we also prove that if $P$ is a lattice tetrahedron in $\\mathbb R^3$, of volume $1/6$, such that $G_P(n) = \\text{vol}(P) G(n)^d$, for $n \\in \\{ 1,2,3,4 \\}$, then there is an element $g$ in $\\mathcal G$ such that $g(P)$ is the fundamental tetrahedron with vertices $(0,0,0)$, $(1, 0, 0)$, $(1,1,0)$, $(1,1,1)$.","PeriodicalId":54969,"journal":{"name":"International Journal of Computational Geometry & Applications","volume":"16 1","pages":"149-170"},"PeriodicalIF":0.0000,"publicationDate":"2015-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Polyhedral Gauss sums, and polytopes with symmetry\",\"authors\":\"R. Malikiosis, S. Robins, Yichi Zhang\",\"doi\":\"10.20382/jocg.v7i1a8\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We define certain natural finite sums of $n$'th roots of unity, called $G_P(n)$, that are associated to each convex integer polytope $P$, and which generalize the classical $1$-dimensional Gauss sum $G(n)$ defined over $\\\\mathbb Z/ {n \\\\mathbb Z}$, to higher dimensional abelian groups and integer polytopes. We consider the finite Weyl group $\\\\mathcal{W}$, generated by the reflections with respect to the coordinate hyperplanes, as well as all permutations of the coordinates; further, we let $\\\\mathcal G$ be the group generated by $\\\\mathcal{W}$ as well as all integer translations in $\\\\mathbb Z^d$. We prove that if $P$ multi-tiles $\\\\mathbb R^d$ under the action of $\\\\mathcal G$, then we have the closed form $G_P(n) = \\\\text{vol}(P) G(n)^d$. Conversely, we also prove that if $P$ is a lattice tetrahedron in $\\\\mathbb R^3$, of volume $1/6$, such that $G_P(n) = \\\\text{vol}(P) G(n)^d$, for $n \\\\in \\\\{ 1,2,3,4 \\\\}$, then there is an element $g$ in $\\\\mathcal G$ such that $g(P)$ is the fundamental tetrahedron with vertices $(0,0,0)$, $(1, 0, 0)$, $(1,1,0)$, $(1,1,1)$.\",\"PeriodicalId\":54969,\"journal\":{\"name\":\"International Journal of Computational Geometry & Applications\",\"volume\":\"16 1\",\"pages\":\"149-170\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-08-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Journal of Computational Geometry & Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.20382/jocg.v7i1a8\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"Mathematics\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal of Computational Geometry & Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.20382/jocg.v7i1a8","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"Mathematics","Score":null,"Total":0}
Polyhedral Gauss sums, and polytopes with symmetry
We define certain natural finite sums of $n$'th roots of unity, called $G_P(n)$, that are associated to each convex integer polytope $P$, and which generalize the classical $1$-dimensional Gauss sum $G(n)$ defined over $\mathbb Z/ {n \mathbb Z}$, to higher dimensional abelian groups and integer polytopes. We consider the finite Weyl group $\mathcal{W}$, generated by the reflections with respect to the coordinate hyperplanes, as well as all permutations of the coordinates; further, we let $\mathcal G$ be the group generated by $\mathcal{W}$ as well as all integer translations in $\mathbb Z^d$. We prove that if $P$ multi-tiles $\mathbb R^d$ under the action of $\mathcal G$, then we have the closed form $G_P(n) = \text{vol}(P) G(n)^d$. Conversely, we also prove that if $P$ is a lattice tetrahedron in $\mathbb R^3$, of volume $1/6$, such that $G_P(n) = \text{vol}(P) G(n)^d$, for $n \in \{ 1,2,3,4 \}$, then there is an element $g$ in $\mathcal G$ such that $g(P)$ is the fundamental tetrahedron with vertices $(0,0,0)$, $(1, 0, 0)$, $(1,1,0)$, $(1,1,1)$.
期刊介绍:
The International Journal of Computational Geometry & Applications (IJCGA) is a quarterly journal devoted to the field of computational geometry within the framework of design and analysis of algorithms.
Emphasis is placed on the computational aspects of geometric problems that arise in various fields of science and engineering including computer-aided geometry design (CAGD), computer graphics, constructive solid geometry (CSG), operations research, pattern recognition, robotics, solid modelling, VLSI routing/layout, and others. Research contributions ranging from theoretical results in algorithm design — sequential or parallel, probabilistic or randomized algorithms — to applications in the above-mentioned areas are welcome. Research findings or experiences in the implementations of geometric algorithms, such as numerical stability, and papers with a geometric flavour related to algorithms or the application areas of computational geometry are also welcome.