
Aldo Kiem
I am interested in applications of computers in mathematics. Currently, I am working on Razborov’s Flag Algebras in extremal combinatorics.
📬 Contact
- office
- Room 3105 at ZIB
- kiem (at) zib.de
- languages
- German and English
🎓 Curriculum vitae
- since 2022
- Researcher at ZIB
- Oct 2022
- M.Sc. in Mathematics at FUB
- 2019
- B.Sc. in Mathematics at TUB
📝 Publications and preprints
Preprints
- Kiem, A., Parczyk, O., and Spiegel, C. (2024). Forcing Graphs to Be Forcing.
[arXiv]
[BibTeX]
@misc{2024_KiemParczykSpiegel_Forcing, archiveprefix = {arXiv}, eprint = {2412.12904}, arxiv = {arXiv:2412.12904}, primaryclass = {math.CO}, year = {2024}, author = {Kiem, Aldo and Parczyk, Olaf and Spiegel, Christoph}, title = {Forcing Graphs to Be Forcing}, date = {2024-12-17} }
Conference proceedings
- Mundinger, K., Zimmer, M., Kiem, A., Spiegel, C., and Pokutta, S. (2025). Neural Discovery in Mathematics: Do Machines Dream of Colored Planes? Proceedings of the International Conference on Machine Learning, 267.
[arXiv]
[BibTeX]
@inproceedings{2025_MundingerZimmerKiemSpiegelPokutta_NeuralDiscovery, year = {2025}, booktitle = {Proceedings of the International Conference on Machine Learning}, month = may, volume = {267}, archiveprefix = {arXiv}, eprint = {2501.18527}, arxiv = {arXiv:2501.18527}, primaryclass = {cs.LG}, author = {Mundinger, Konrad and Zimmer, Max and Kiem, Aldo and Spiegel, Christoph and Pokutta, Sebastian}, title = {Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?}, date = {2025-01-30} } - Kiem, A., Pokutta, S., and Spiegel, C. (2024, May). Categorification of Flag Algebras. Proceedings of the Discrete Mathematics Days.
[URL]
[BibTeX]
@inproceedings{2024_KiemPokuttaSpiegel_Categorificationflagalgebras, year = {2024}, booktitle = {Proceedings of the Discrete Mathematics Days}, month = may, url = {https://dmd2024.web.uah.es/files/abstracts/paper_47.pdf}, author = {Kiem, Aldo and Pokutta, Sebastian and Spiegel, Christoph}, title = {Categorification of Flag Algebras} } - Kiem, A., Pokutta, S., and Spiegel, C. (2024). The Four-color Ramsey Multiplicity of Triangles. Proceedings of the Discrete Mathematics Days.
[URL]
[arXiv]
[code]
[BibTeX]
@inproceedings{2023_KiemPokuttaSpiegel_4colorramsey:1, year = {2024}, booktitle = {Proceedings of the Discrete Mathematics Days}, url = {https://dmd2024.web.uah.es/files/abstracts/paper_3.pdf}, archiveprefix = {arXiv}, eprint = {2312.08049}, arxiv = {arXiv:2312.08049}, primaryclass = {math.CO}, author = {Kiem, Aldo and Pokutta, Sebastian and Spiegel, Christoph}, title = {The Four-color Ramsey Multiplicity of Triangles}, code = {https://github.com/FordUniver/kps_trianglemult} }
Full articles
- Kiem, A., Pokutta, S., and Spiegel, C. (2025). The Four-color Ramsey Multiplicity of Triangles. Journal of Combinatorial Theory, Series B.
[arXiv]
[code]
[BibTeX]
@article{2023_KiemPokuttaSpiegel_4colorramsey, year = {2025}, journal = {Journal of Combinatorial Theory, Series B}, archiveprefix = {arXiv}, eprint = {2312.08049}, arxiv = {arXiv:2312.08049}, primaryclass = {math.CO}, author = {Kiem, Aldo and Pokutta, Sebastian and Spiegel, Christoph}, title = {The Four-color Ramsey Multiplicity of Triangles}, code = {https://github.com/FordUniver/kps_trianglemult} }
🔬 Projects
FlagScale MATH+ EF1-21
Scaling Up Flag Algebras in Combinatorics
This project aims to obtain new bounds in Extremal Combinatorics through an application of flag algebras. The goal is to both improve the underlying computational aspects for existing problems as well as to further develop the theory of flag algebras to extend it to new areas of application.
FlagScale MATH+ EF1-21
Oct 2022 to Sep 2025
4
6
💬 Talks and posters
Conference and workshop talks
- Jul 2024
- The Four-Color Ramsey Multiplicity of Triangles by Aldo Kiem
25th International Symposium on Mathematical Programming (ISMP), Montréal - Jul 2024
- The Four-Color Ramsey Multiplicity of Triangles by Aldo Kiem
13th Discrete Mathematics Days (DMD), Alcalá de Henares - Jun 2023
- The 4-color Ramsey Multiplicity of Triangles by Aldo Kiem
FoCM 2023: Graph Theory and Combinatorics (FoCM), Paris
Research seminar talks
- Oct 2025
- Sidorenko's Conjecture, Graph Operators and Box Products with Certain Subgraphs of Hypercubes by Aldo Kiem
ACO Student Seminar, Atlanta - Jan 2025
- Forcing Graphs to Be Forcing by Aldo Kiem
Doctoral Seminar Universität Klagenfurt, Klagenfurt - Nov 2024
- Forcing Graphs and Graph Algebra Operators (2) by Aldo Kiem
Research Seminar Combinatorics, Berlin - Nov 2024
- Forcing Graphs and Graph Algebra Operators (1) by Aldo Kiem
Research Seminar Combinatorics, Berlin - Jun 2024
- Categorification of Flag Algebras by Aldo Kiem
LIMDA Seminar, Barcelona - Feb 2024
- Scaling Up Flag Algebras in Combinatorics by Aldo Kiem
MATH+ Spotlight talks, Berlin - Nov 2022
- Flag Algebras for Edge-colored Graphs by Aldo Kiem
Research Seminar Combinatorics, Berlin
Poster presentations
- Jul 2024
- Categorification of Flag Algebras by Aldo Kiem
13th Discrete Mathematics Days (DMD), Alcalá de Henares
🌍 Research Stays and Visits
- Oct 2025
- Georgia Institute of Technology hosted by Will Perkins
- Aug 2024
- Institute of Science Tokyo hosted by Katsuki Fujisawa
- Jun 2024
- Universitat Politècnica de Catalunya hosted by Juan José Rué
📅 Event Attendance
- Oct 2025
- Flag Algebras and Extremal Combinatorics, Pasadena
- May 2025
- 10th CanaDAM Conference, Ottowa
- Jul 2024
- 25th International Symposium on Mathematical Programming (ISMP), Montréal
- Jul 2024
- 13th Discrete Mathematics Days (DMD), Alcalá de Henares
- Jun 2023
- FoCM 2023: Graph Theory and Combinatorics (FoCM), Paris
- Feb 2023
- Machine Assisted Proofs, Los Angeles
👨🏫 Teaching
- summer 2024
- Tutor for Discrete Mathematics I at FUB
📝 Organization and outreach
- 2024
- Organization of the “What is …?” Seminar
- 2023
- Organization of the “What is …?” Seminar