BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Kevin M. Woods

Kevin M. Woods appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.COmath.OC

Catalog footprint

What is connected

4works
2topics
3close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2010arXiv

A finite calculus approach to Ehrhart polynomials

A rational polytope is the convex hull of a finite set of points in $\R^d$ with rational coordinates. Given a rational polytope $P \subseteq \R^d$, Ehrhart proved that, for $t\in\Z_{\ge 0}$, the function $#(tP \cap \Z^d)$ agrees with a quasi-polynomial $L_P(t)$, called the Ehrhart quasi-polynomial. The Ehrhart quasi-polynomial can be regarded as a discrete version of the volume of a polytope. We use that analogy to derive a new proof of Ehrhart's theorem. This proof also allows us to quickly prove two other facts about Ehrhart quasi-polynomials: McMullen's theorem about the periodicity of the individual coefficients of the quasi-polynomial and the Ehrhart-Macdonald theorem on reciprocity.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Computing the period of an Ehrhart quasi-polynomial

If P is a rational polytope in R^d, then $i_P(t):=#(tP\cap Z^d)$ is a quasi-polynomial in t, called the Ehrhart quasi-polynomial of P. A period of i_P(t) is D(P), the smallest positive integer D such that D*P has integral vertices. Often, D(P) is the minimum period of i_P(t), but, in several interesting examples, the minimum period is smaller. We prove that, for fixed d, there is a polynomial time algorithm which, given a rational polytope P in R^d and an integer n, decides whether n is a period of i_P(t). In particular, there is a polynomial time algorithm to decide whether i_P(t) is a polynomial. We conjecture that, for fixed d, there is a polynomial time algorithm to compute the minimum period of i_P(t). The tools we use are rational generating functions.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Neighborhood complexes and generating functions for affine semigroups

Given a_1,a_2,...,a_n in Z^d, we examine the set, G, of all non-negative integer combinations of these a_i. In particular, we examine the generating function f(z)=\sum_{b\in G} z^b. We prove that one can write this generating function as a rational function using the neighborhood complex (sometimes called the complex of maximal lattice-free bodies or the Scarf complex) on a particular lattice in Z^n. In the generic case, this follows from algebraic results of D. Bayer and B. Sturmfels. Here we prove it geometrically in all cases, and we examine a generalization involving the neighborhood complex on an arbitrary lattice.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

The Minimum Period of the Ehrhart Quasi-polynomial of a Rational Polytope

If $P\subset \R^d$ is a rational polytope, then $i_P(n):=#(nP\cap \Z^d)$ is a quasi-polynomial in $n$, called the Ehrhart quasi-polynomial of $P$. The period of $i_P(n)$ must divide $\LL(P)= \min \{n \in \Z_{> 0} \colon nP \text{is an integral polytope}\}$. Few examples are known where the period is not exactly $\LL(P)$. We show that for any $\LL$, there is a 2-dimensional triangle $P$ such that $\LL(P)=\LL$ but such that the period of $i_P(n)$ is 1, that is, $i_P(n)$ is a polynomial in $n$. We also characterize all polygons $P$ such that $i_P(n)$ is a polynomial. In addition, we provide a counterexample to a conjecture by T. Zaslavsky about the periods of the coefficients of the Ehrhart quasi-polynomial.

0 citations0 reviewsNo code linkedOpen access