Erard polynom
Herard-polynomet för en given polyeder i ett flerdimensionellt utrymme är ett polynom vars värde vid vilken heltalspunkt som helst sammanfaller med antalet heltalspunkter i rymden (allmänt sett, punkter i vilket gitter som helst ) som finns inuti den givna polyedern, ökat med en faktor på .
Volymen på själva polyedern (med homotetkoefficienten ) är lika med den ledande koefficienten för Erard-polynomet, vilket kan betraktas som en variant av den flerdimensionella generaliseringen av Picks sats .
Uppkallad efter Eugène Herard , som studerade dem på 1960-talet.
Definition
Låta vara en polyeder med heltals hörn, och vara dess homothety med heltal koefficient . Beteckna med antalet heltalspunkter i . Det kan bevisas att ett tal uttrycks som ett polynom i ; detta polynom kallas Erard-polynomet .
Exempel
- för en enda heltalsdimensionell kub .
Egenskaper
- (Erard-McDonald reciprocity) Antalet inre heltalspunkter i är lika med
där
d är dimensionen av
P .
- För varje dimensionell polytop har de tre koefficienterna för Herard-polynomet en enkel tolkning
- den fria termen för Erard-polynomet är 1.
- Huvudkoefficienten vid är lika med volymen av polyedern.
- Koefficienten vid är lika med halva summan av förhållandena mellan ytornas ytor till determinanten för gittret som erhålls genom skärningen av heltalspunkter med fortsättningen av ytan.
- I synnerhet, för , är Erard-polynomet för polygonen lika
med
var är arean av polygonen och är antalet heltalspunkter på dess gräns. Genom att ersätta får vi
Peak-formeln .
Anteckningar
- ↑ Betke, Ulrich; Kneser, Martin (1985) Zerlegungen und Bewertungen von Gitterpolytopen, J. Reine Angew. Matematik. 358, 202-208.
Länkar