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
e-mail
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

  1. Kiem, A., Parczyk, O., and Spiegel, C. (2024). Forcing Graphs to Be Forcing. [arXiv]
    [BibTeX]
    @misc{2024_KiemParczykSpiegel_Forcing,
      archiveprefix = {arXiv},
      eprint = {2412.12904},
      primaryclass = {math.CO},
      year = {2024},
      author = {Kiem, Aldo and Parczyk, Olaf and Spiegel, Christoph},
      title = {Forcing Graphs to Be Forcing}
    }

Conference proceedings

  1. 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,
      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},
      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}
    }
  2. Kiem, A., Pokutta, S., and Spiegel, C. (2024). 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},
      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}
    }

🔬 Projects

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.

MATH+ EF1-21
Oct 2022 to Sep 2025
4
4

💬 Talks and posters

Conference and workshop talks

Jul 2024
The Four-Color Ramsey Multiplicity of Triangles
25th International Symposium on Mathematical Programming (ISMP), Montréal
Jul 2024
The Four-Color Ramsey Multiplicity of Triangles
13th Discrete Mathematics Days (DMD), Alcalá de Henares
Jun 2023
The 4-color Ramsey Multiplicity of Triangles
FoCM 2023 Workshop I.3: Graph Theory and Combinatorics, Paris

Research seminar talks

Nov 2024
Forcing Graphs and Graph Algebra Operators (2)
Research Seminar Combinatorics, Berlin
Nov 2024
Forcing Graphs and Graph Algebra Operators (1)
Research Seminar Combinatorics, Berlin
Jun 2024
Categorification of Flag Algebras
LIMDA Seminar, Barcelona
Feb 2024
Scaling Up Flag Algebras in Combinatorics
MATH+ Spotlight talks, Berlin
Nov 2022
Flag Algebras for Edge-colored Graphs
Research Seminar Combinatorics, Berlin

Poster presentations

Jul 2024
Categorification of Flag Algebras
13th Discrete Mathematics Days (DMD), Alcalá de Henares

🌍 Research Stays and Visits

Aug 2024
Institute of Science Tokyo hosted by Katsuki Fujisawa
Jun 2024
Universitat Politècnica de Catalunya hosted by Juan José Rué

📅 Event Attendance

👨‍🏫 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