Erard polinom
A Herard-polinom egy többdimenziós térben egy adott poliéderre egy olyan polinom, amelynek értéke bármely egész pontban egybeesik az adott poliéderen belül található egész pontok (általánosan szólva bármely rács pontjai) számával, szorzóval növelve .
Maga a poliéder térfogata (a homotitási együtthatóval ) megegyezik az Erard-polinom vezető együtthatójával, amely a Pick-tétel többdimenziós általánosításának egy változataként tekinthető .
Eugène Herard [ nevéhez fűződik , aki az 1960-as években tanulmányozta őket.
Definíció
Legyen egy poliéder integer csúcsokkal, és legyen homothetyája egész együtthatóval . Jelölje a pontok egész számával . Bebizonyítható, hogy egy szám polinomként van kifejezve -ben ; ezt a polinomot Erard-polinomnak nevezzük .
Példák
- egyetlen egész dimenziós kockához .
Tulajdonságok
- (Erard-McDonald reciprocitás) A belső egész pontok száma egyenlő
ahol
d a
P dimenziója .
- Az egész politópokra vonatkozó bármely olyan érték , amely invariáns az egész számok eltolódása alatt, és a Herard-polinom együtthatóinak lineáris kombinációjaként van kifejezve . [egy]
- Bármely dimenziós politóp esetén a Herard-polinom három együtthatójának egyszerű értelmezése van
- az Erard-polinom szabad tagja 1.
- A fő együttható at egyenlő a poliéder térfogatával.
- Az at együttható a lapok területének és a rács determinánsához viszonyított arányának felével, amelyet az egész pontok és a lap folytatása által kapott metszéspontból kapunk.
- Konkrétan - esetén a sokszög Erard-polinomja egyenlő
ahol a sokszög területe, és a határán lévő egész pontok száma. Behelyettesítve megkapjuk
a Peak képletet .
Jegyzetek
- ↑ Betke, Ulrich; Kneser, Martin (1985) Zerlegungen und Bewertungen von Gitterpolytopen, J. Reine Angew. Math. 358, 202-208.
Linkek