Квазиполином - Quasi-polynomial

В математика, а квазиполином (псевдополином) является обобщением многочлены. В то время как коэффициенты полинома происходят из звенеть, коэффициенты квазиполиномов вместо периодические функции с интегральным периодом. Квазиполиномы появляются на протяжении большей части комбинаторика в качестве счетчиков для различных объектов.

Квазиполином можно записать как ${displaystyle q (k) = c_ {d} (k) k ^ {d} + c_ {d-1} (k) k ^ {d-1} + cdots + c_ {0} (k)}$ , где ${displaystyle c_ {i} (k)}$ - периодическая функция с целым периодом. Если ${displaystyle c_ {d} (k)}$ не тождественно нулю, то степень ${displaystyle q}$ является ${displaystyle d}$ . Эквивалентно функция ${displaystyle fcolon mathbb {N} o mathbb {N}}$ является квазиполиномом, если существуют многочлены ${displaystyle p_ {0}, точки, p_ {s-1}}$ такой, что ${displaystyle f (n) = p_ {i} (n)}$ когда ${displaystyle nequiv i {mod {s}}}$ . Полиномы ${displaystyle p_ {i}}$ называются составными частями ${displaystyle f}$ .

Примеры

Учитывая ${displaystyle d}$ -размерный многогранник ${displaystyle P}$ с рациональный вершины ${displaystyle v_ {1}, точки, v_ {n}}$ , определять ${displaystyle tP}$ быть выпуклый корпус из ${displaystyle tv_ {1}, dots, tv_ {n}}$ . Функция ${displaystyle L (P, t) = # (tPcap mathbb {Z} ^ {d})}$ является квазиполиномом от ${displaystyle t}$ степени ${displaystyle d}$ . В этом случае, ${displaystyle L (P, t)}$ это функция ${displaystyle mathbb {N} o mathbb {N}}$ . Это известно как Квазиполином Эрхарта, названный в честь Эжен Эрхарт.
Для двух квазиполиномов ${displaystyle F}$ и ${displaystyle G}$ , то свертка из ${displaystyle F}$ и ${displaystyle G}$ является