Дни комбинаторики и геометрии I
Speakers
Schedule
We discuss some classical problems of mathematical economics, in particular, so-called envy-free division problems. The classical approach to some of such problems reduces to considering continuous maps of a simplex to itself and finding sufficient conditions when this map hits the center of the simplex. The mere continuity is not sufficient for such a conclusion, the usual assumption (for example, in the Knaster–Kuratowski–Mazurkiewicz theorem and the Gale theorem) is a boundary condition.
We try to replace the boundary condition by a certain equivariance condition under all permutations, or a weaker condition of "pseudo-equivariance'', which has a certain real-life meaning for the problem of partitioning a segment and distributing the parts among the players. It turns out that we can guarantee the existence of a solution for the segment partition problem when the number of players is a prime power; and we may produce instances of the problem without a solution otherwise. The case of three players was solved previously by Segal–Halevi, the prime case and the case of four players were solved by Meunier and Zerbib.
Going back to the true equivariance setting, we provide, in the case when the number of players is not a prime power and not twice a prime power, the counterexamples showing that the topological configuration space / test map scheme for a wide class of equipartition problems fails and some envy-free division problems have a counterexample. Moreover, this is also applicable to building stronger counterexamples for the topological Tverberg conjecture.
The sum (resp. the sum of the squares) of the defects in the triangle inequalities for the area one lattice parallelograms in the first quadrant has a surprisingly simple expression. Namely, let $$f(a, b, c, d) = \sqrt{a^2 + b^2} + \sqrt{c^2 + d^2} - \sqrt{(a+c)^2 + (b+d)^2}.$$ Then, $$\sum f(a, b, c, d) = 2, $$ $$\sum f(a, b, c, d)^2 = 2 - \frac{\pi}{2}, $$ where the sum runs by all $a, b, c, d \in Z \geq 0$ such that $ad − bc = 1$. This paper is devoted to the proof of these formulae. We also discuss possible directions in study of this phenomena.
Full article |