RUI: Computations in Ehrhart Theory

这项研究提案继续了研究者的各种工作，与有理多面体的离散和连续体积计算有关。这里，连续体积是指多面体的通常(相对)体积，而离散体积是指多面体中整点的数量，通常作为附加参数的函数。后者的例子是Ehrhart(拟)多项式和向量配分函数。近年来，多面体的连续和离散体积计算引起了极大的兴趣，部分原因是应用于许多数学领域，其中一些领域似乎与离散和计算几何相距甚远：数论、交换代数、代数几何、最优化、表示论、统计学和计算机科学。该项目的目标是为多面体的体积计算开发有用的理论和计算方法。PI提出了四个具体的问题线，包括Birkhoff多面体的变体、向量配分函数、格的增长级数和内向外多面体及其在经典枚举组合问题中的应用。所有拟议的工作都以计算为重点。研究人员在接触所有级别的学生(中学、本科生和研究生)，以及建立离散和计算几何可以发展的机构方面，都有持续和认真的努力记录。研究人员将继续吸引学生进入这些领域，并培养学生和年轻研究人员的职业生涯。

This research proposal, continuing various strands of the investigator's work, is related to discrete and continuous volume computation for rational polytopes. Here continuous volume refers to the usual (relative) volume of the polytope, while discrete volume refers to the number of integral points in the polytope, often as a function of additional parameters. Examples of the latter are the Ehrhart (quasi-)polynomials and vector partition functions.Continuous and discrete volume computation for polytopes has been of great interest in recent years, partly because of applications to many mathematical fields, some of which seem distant from discrete and computational geometry: number theory, commutative algebra, algebraic geometry, optimization, representation theory, statistics, and computer science. The goal of this project is to develop useful theoretical and computational methods for volume computation for polytopes. The PI proposes four concrete lines of problems to work on, including variations of the Birkhoff polytope, vector partition functions, growth series of lattices, and inside-out polytopes and their application to classical enumerative combinatorial problems. All of the proposed work has a computational focus. The investigator has a track record of sustained and serious effort both in outreach to students at all levels (secondary, undergraduate, and graduate), and in building institutions in which discrete and computational geometry can grow. The investigator will continue to attract students into these fields and nurture the careers of students and young researchers.