RESEARCH IN RESIDENCE
Ky Fan type theorems, their relatives and generalizations
Théorèmes de type Ky Fan, leurs parents et généralisations
24 March – 4 April, 2025
Participants
Duško Jojić (University of Banja Luka)
Gaiane Panina (St. Petersburg State University)
Rade T. Živaljević (Mathematical Institute SANU, Belgrade)
Combinatorial statements, such as theorems of Caratheodory, Radon, Helly, Sperner, Tucker, Ky Fan, etc., are fundamental results of combinatorial (algebraic) topology, accessible to non-specialists, which are immediately applicable to mathematical economics, data science, game theory, graph theory, mathematical optimization, computational geometry, and other fields.
The aim of our project is to study the “Ky Fan correspondence » between the topology of triangulated spherical bundles and combinatorics of generalized labelings (coloring) of the associated simplicial complexes. Guided by the review of De Loera et. al. (Bull. Amer. Math. Soc., 2019) we explore the consequences of this correspondence for the envy-free and fair division problem, Tverberg-type theorems, and other related problems of topological combinatorics.
Énoncés combinatoires, tels que les théorèmes de Carathéodorie, Radon, Helly, Sperner, Tucker, Ky Fan, etc., sont des résultats fondamentaux de la topologie combinatoire (algébrique), accessibles aux non-spécialistes, qui sont immédiatement applicables à l’économie mathématique, à la science des données, à la théorie des jeux, à la théorie des graphes, à l’optimisation mathématique, à la géométrie computationnelle et à d’autres domaines.
Le but de notre projet est d’étudier la « correspondance Ky Fan » entre la topologie des faisceaux sphériques triangulés et la combinatoire des marquages généralisés (coloration) des complexes simpliciaux associés. Guidé par l’examen de De Loera et. al. (Bull. Amer. Maths. Soc., 2019), nous explorons les conséquences de cette correspondance pour le problème de division sans envie et équitable, les théorèmes de type Tverberg et d’autres problèmes connexes de combinatoire topologique.