Gabriele Balletti: Computer-assisted Ehrhart Theory

ABSTRACT: In this nostalgia-infused talk, I will discuss how modern computational techniques can help us get a better understanding of the landscape of Ehrhart Theory.
I will talk about some computer-assisted proofs I dealt with during my PhD, and a computer-assisted disproof I surprisingly encountered while preparing this talk.
The former concerns volume bounds and other inequalities for the h*-polynomial of lattice polytopes, the latter is a counterexample that answer negatively to a question by Ferroni and Higashitani on the unimodality of the h*-polynomial of products of polytopes with unimodal h*-polynomials.