Aldo Kiem

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 3003 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). Adjunctions, Box Products, and Forcing Families. [arXiv]
    [BibTeX]
    @misc{2024_KiemParczykSpiegel_Forcing,
      archiveprefix = {arXiv},
      eprint = {2412.12904},
      arxiv = {arXiv:2412.12904},
      primaryclass = {math.CO},
      author = {Kiem, Aldo and Parczyk, Olaf and Spiegel, Christoph},
      title = {Adjunctions, Box Products, and Forcing Families},
      date = {2024-12-17}
    }
  2. Kiem, A., and Wei, F. (2026). Explicit Fractalizers: Prime-Order Paley Graphs and other Cayley Graphs. [arXiv]
    [BibTeX]
    @misc{2026_KiemWei_PrimeOrderPaleyGraphs_2609-33526,
      archiveprefix = {arXiv},
      eprint = {2609.33526},
      arxiv = {arXiv:2609.33526},
      primaryclass = {math.CO},
      author = {Kiem, Aldo and Wei, Fan},
      title = {Explicit Fractalizers: Prime-Order Paley Graphs and other Cayley Graphs},
      date = {2026-09-27}
    }

Conference proceedings

  1. 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 42nd International Conference on Machine Learning, 267, 45236–45255. [URL] [arXiv]
    [BibTeX]
    @inproceedings{2025_MundingerZimmerKiemSpiegelPokutta_NeuralDiscovery,
      year = {2025},
      booktitle = {Proceedings of the 42nd International Conference on Machine Learning},
      series = {Proceedings of Machine Learning Research},
      publisher = {PMLR},
      month = jul,
      volume = {267},
      pages = {45236--45255},
      url = {https://proceedings.mlr.press/v267/mundinger25a.html},
      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?}
    }
  2. Kiem, A., Pokutta, S., and Spiegel, C. (2024). The Four-Color Ramsey Multiplicity of Triangles. Proceedings of the Discrete Mathematics Days, 13–18. [URL] [arXiv] [code]
    [BibTeX]
    @inproceedings{2023_KiemPokuttaSpiegel_4colorramsey:1,
      year = {2024},
      booktitle = {Proceedings of the Discrete Mathematics Days},
      pages = {13--18},
      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}
    }
  3. Kiem, A., Pokutta, S., and Spiegel, C. (2024). Categorification of Flag Algebras. Proceedings of the Discrete Mathematics Days, 259–264. [URL]
    [BibTeX]
    @inproceedings{2024_KiemPokuttaSpiegel_Categorificationflagalgebras,
      year = {2024},
      booktitle = {Proceedings of the Discrete Mathematics Days},
      pages = {259--264},
      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}
    }

Full articles

  1. Kiem, A., Pokutta, S., and Spiegel, C. (2026). The four-color Ramsey multiplicity of triangles. Journal of Combinatorial Theory, Series B, 179, 19–70. DOI: 10.1016/j.jctb.2026.02.001 [arXiv] [code]
    [BibTeX]
    @article{2023_KiemPokuttaSpiegel_4colorramsey,
      year = {2026},
      journal = {Journal of Combinatorial Theory, Series B},
      month = jul,
      volume = {179},
      pages = {19--70},
      doi = {10.1016/j.jctb.2026.02.001},
      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

Jun 2026
Linear Maps Between Flag Algebras (and Categories) by Aldo Kiem
Flags in the Mountains, Bellvue
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é

Events

Nov 2026
43rd Kolloquium über Kombinatorik (KolKom), Berlin
Jun 2026
Flags in the Mountains, Bellvue
Oct 2025
Flag Algebras and Extremal Combinatorics, Pasadena
May 2025
10th CanaDAM Conference, Ottawa
Jul 2024
25th International Symposium on Mathematical Programming (ISMP), Montréal
Jul 2024
13th Discrete Mathematics Days (DMD), Alcalá de Henares
summer 2024
Discrete Mathematics I, Berlin
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

Nov 2026
Organizational support for 43rd Kolloquium über Kombinatorik (KolKom)
2024
Organization of the “What is …?” Seminar
2023
Organization of the “What is …?” Seminar