Il a prouvé que toute suite de fonction réelles L1-bornée contient une sous-suite telle que les moyennes arithmétiques de toutes ses sous-suites convergent simplement presque partout. Dans la terminologie probabiliste, le théorème est le suivant : Soit ξ 1 ,ξ 2 ,... une suite de variables aléatoires telle que E [ξ 1], E [ξ 2],... soit bornée. Alors il existe une sous-suite ξ' 1, ξ' 2 ,... et une variable aléatoire β telle que pour toute sous-suite supplémentaire η 1 ,η 2 ,... de ξ' 0, ξ' 1 ,... on a (η 1 +...+η n )/n → β presque sûrement.
Avec Miklós Ajtai et Endre Szemerédi, il a prouvé [3] la borne supérieure ct2 /log t pour le nombre de RamseyR (3, t ). La borne inférieure correspondante n’a été établie par Jeong Han Kim qu'en 1995, résultat qui lui a valu un prix Fulkerson.
La même équipe d'auteurs a développé le réseau de tri optimal Ajtai–Komlós–Szemerédi[4].
Komlós et Szemerédi ont prouvé que si G est un graphe aléatoire à n sommets avec
↑M. Ajtai, J. Komlós, E. Szemerédi: A note on Ramsey numbers, J. Combin. Theory Ser. A, 29(1980), 354–360.
↑M. Ajtai, J. Komlós et E. Szemerédi, « An 0(n log n) sorting network », Proceedings of the fifteenth annual ACM symposium on Theory of computing, Association for Computing Machinery, sTOC '83, , p. 1–9 (ISBN978-0-89791-099-6, DOI10.1145/800061.808726, lire en ligne, consulté le )
↑J. Komlós, G. Sárközy, Szemerédi: Blow-Up Lemma, Combinatorica, 17(1997), 109–123.
↑(en) János Komlós, János Pintz et Endre Szemerédi, « A Lower Bound for Heilbronn'S Problem », Journal of the London Mathematical Society, vol. s2-25, no 1, , p. 13–24 (DOI10.1112/jlms/s2-25.1.13, lire en ligne, consulté le )
↑(en) J. Komlós, P. Major et G. Tusnády, « An approximation of partial sums of independent RV'-s, and the sample DF. I », Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete, vol. 32, no 1, , p. 111–131 (ISSN1432-2064, DOI10.1007/BF00533093, lire en ligne, consulté le )
↑Michael L. Fredman, Michael L. Fredman, Michael L. Fredman et Michael L. Fredman, « Storing a sparse table with O(1) worst case access time », 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982), , p. 165–169 (DOI10.1109/SFCS.1982.39, lire en ligne, consulté le )
↑M. Ajtai, J. Komlos et E. Szemeredi, « Deterministic simulation in LOGSPACE », Proceedings of the nineteenth annual ACM symposium on Theory of computing, Association for Computing Machinery, sTOC '87, , p. 132–140 (ISBN978-0-89791-221-1, DOI10.1145/28395.28410, lire en ligne, consulté le )