Martin Winter, PhD
winter@math.tu-berlin.de
I am a mathematician. I am Dirichlet fellow at TU Berlin and member of the Nonlinear Algebra group at the Max-Planck-Institute for Mathematics in the Sciences in Leipzig. I am principal investigator in the priority program “Combinatorial Synergies”.
My research is in discrete geometry, real algebraic geometry, geometric rigidity, semi-definite optimization, spectral graph theory, algebraic combinatorics and low-dimensional topology. Most recently I am studying the Wachspress Geometry of convex polytopes. I am also working on the formalization of discrete geometry (especially polytope theory) in Lean.
Until 2024 I was postdoc at the University of Warwick (UK). I got my PhD from TU Chemnitz (Germany) in 2021.
What’s new
- New preprint “The canonical form, scissors congruence and adjoint degrees of polytopes” with Tom Baumbach, Ansgar Freyer and Julian Weigert. [arXiv].
- I just finished two new Wikipedia articles on Graphs of polytopes and Projectively unique polytopes. Feel free to improve or add to them (see the talk section if you want to know what needs to be done).
- New preprint “Rigidity of polytopes with edge length and coplanarity constraints” with Matthias Himmelmann and Bernd Schulze. [arXiv]
What’s coming
- I will be at the Annual Conference of the “Combinatorial Synergies” Priority Program at the Leibniz University Hannover (September 3 – 5, 2025)
- I will take part in the first Workshop of the ProofBench Initiative at the Freiberg University (September 22 – October 3).
- I will be at the Chow Lectures at MPI Leipzig (October 6 – 8).
- I plan to come to the 42th Colloquium on Combinatorics at Bielfeld University (November 14 – 15).
Selected publications
- Rigidity, Tensegrity and Reconstruction of Polytopes under Metric Constraints [arXiv, journal]
This paper won the FSEM Post-Doctoral Research Prize 2024 from the University of Warwick - Kalai’s \(3^d\) conjecture for unconditional and locally anti-blocking polytopes [arXiv, journal]
with Raman Sanyal
I am an active user of the StackExchange network. Here are links to my mathematical profiles:
