Polinomul Erard
Polinomul Herard pentru un poliedru dat dintr-un spațiu multidimensional este un polinom a cărui valoare în orice punct întreg coincide cu numărul de puncte întregi din spațiu (în general, puncte ale oricărei rețele ) situate în interiorul poliedrului dat, crescut cu un factor de .
Volumul poliedrului însuși (cu coeficientul de omotezie ) este egal cu coeficientul de conducere al polinomului Erard, care poate fi considerat ca o variantă a generalizării multidimensionale a teoremei lui Pick .
Numit după Eugène Herard , care le-a studiat în anii 1960.
Definiție
Fie un poliedru cu vârfuri întregi și omotezie cu coeficientul întreg . Se notează cu numărul de puncte întregi în . Se poate demonstra că un număr este exprimat ca polinom în ; acest polinom se numește polinomul Erard .
Exemple
- pentru un singur cub cu dimensiuni întregi .
Proprietăți
- (Reciprocité Erard-McDonald) Numărul de puncte întregi din interior este egal cu
unde
d este dimensiunea lui
P .
- Orice evaluare a politopilor întregi care este invariantă sub deplasări întregi și este exprimată ca o combinație liniară a coeficienților polinomului Herard. [unu]
- Pentru orice politop dimensional , cei trei coeficienți ai polinomului Herard au o interpretare simplă
- termenul liber al polinomului Erard este 1.
- Coeficientul principal la este egal cu volumul poliedrului.
- Coeficientul la este egal cu jumătate din suma rapoartelor ariilor fețelor la determinantul rețelei obținut prin intersecția punctelor întregi cu continuarea feței.
- În special, pentru , polinomul Erard al poligonului este egal
cu
unde este aria poligonului și este numărul de puncte întregi de pe granița acestuia. Înlocuind , obținem
formula Peak .
Note
- ↑ Betke, Ulrich; Kneser, Martin (1985) Zerlegungen und Bewertungen von Gitterpolytopen, J. Reine Angew. Matematică. 358, 202-208.
Link -uri