Related papers: The LSB theorem implies the KKM lemma
We comment on a recent paper that connects certain forms of machine learning to Set Theory. We point out that part of the set-theoretic machinery is related to a result of Kuratowski about decompositions of finite powers of sets and we show…
In this paper we provide an asymptotic theory for the symmetric version of the Kullback--Leibler (KL) divergence. We define a estimator for this divergence and study its asymptotic properties. In particular, we prove Law of Large Numbers…
We build on work of Muro-Raptis in [Ann. K-Theory 2 (2017), no. 2, 303-340] and Cisinski-Neeman in [Adv. Math. 217 (2008), no. 4, 1381-1475] to prove that the additivity of derivator K-theory holds for a large class of derivators that we…
We prove a colorful generalization of the Borsuk--Ulam theorem and derive colorful consequences from it, such as a colorful generalization of the ham sandwich theorem. Even in the uncolored case this specializes to a strengthening of the…
Several variations of the classical Kalman-Yakubovich-Popov Lemma, as well the associated minimax theorem are presented.
The Lovasz Local Lemma (LLL) is a powerful tool in probability theory to show the existence of combinatorial objects meeting a prescribed collection of "weakly dependent" criteria. We show that the LLL extends to a much more general…
In this article we prove that the $KH$-asembly map, as defined by Bartels and L{\"u}ck, can be described in terms of the algebraic $KK$-theory of Cortinas and Thom. The $KK$-theory description of the $KH$-assembly map is similar to that of…
This is a Bourbaki's seminar text. We introduce the combinatorial Kashiwara-Vergne conjecture on the Baker-Campbell-Hausdorff serie. After recalling previous results and consequences, we explain the Alekseev-Meinrenken's proof…
The present paper contains new geometric theorems in mixed characteristic case. We derive a bunch of cohomological consequences using these geometric theorems. Among them an isotropy result for quadratic spaces, a purity result for…
Strong bounds - going beyond Sarnak's density hypothesis - are obtained for the number of automorphic forms for the congruence subgroup Gamma_0(q) of SL_n(Z) violating the Ramanujan conjecture at any given unramified place. The proof is…
We extract the Abhyankar-Moh-Suzuki theorem from the Lin-Zaidenberg theorem.
We show in Bishop's constructive mathematics---in particular, using countable choice---that weak K\"{o}nig's lemma implies the uniform continuity theorem.
Tucker and Ky Fan's lemma are combinatorial analogs of the Borsuk-Ulam theorem (BUT). In 1996, Yu. A. Shashkin proved a version of Fan's lemma, which is a combinatorial analog of the odd mapping theorem (OMT). We consider generalizations of…
We explore the consequences of layering a Lambek proof system over an arbitrary (constraint) logic. A simple model-theoretic semantics for our hybrid language is provided for which a particularly simple combination of Lambek's and the proof…
In this paper we show that the Kazhdan-Lusztig polynomials (and, more generally, parabolic KL polynomials) for the group $S_n$ coincide with the coefficients of the canonical basis in $n$th tensor power of the fundamental representation of…
This note provides a Lefschetz theorem for Minkowski sums of polytopes, and conclude lower bound theorems for Minkowski sums of polytopes. It is written as an appendix to arXiv:1405.7368, so notation and references follow that paper.
We give a proof of the geometric fundamental lemma of Kottwitz. As explained by Laumon, this implies the fundamental lemma for the unitary groups.
We prove a version of the Gr\"atzer-Schmidt theorem for the Lindenbaum-Tarski algebra associated to the Implicational Propositional Calculus.
The main purpose of this note is to prove an upper bound on the number of lattice points of a centrally symmetric convex body in terms of the successive minima of the body. This bound improves on former bounds and narrows the gap towards a…
Following and developing ideas of R. Karasev (Covering dimension using toric varieties, arXiv:1307.3437), we extend the Lebesgue theorem (on covers of cubes) and the Knaster-Kuratowski-Mazurkiewicz theorem (on covers of simplices) to…