Gabriele Balletti: Computer-assisted Ehrhart Theory
Speaker: Gabriele Balletti (RaySearch Laboratories)
Time: Wed 2023-09-27 10.15 - 11.15
Location: Room 3721
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.