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

Egenskaper

där d  är dimensionen av P . var är arean av polygonen och är antalet heltalspunkter på dess gräns. Genom att ersätta får vi Peak-formeln .

Anteckningar

  1. Betke, Ulrich; Kneser, Martin (1985) Zerlegungen und Bewertungen von Gitterpolytopen, J. Reine Angew. Matematik. 358, 202-208.

Länkar