相关论文: The LSB theorem implies the KKM lemma

In this paper, we introduce Kasparov's bivariant K-theory that is equivariant under symmetries of a C*-tensor category. It is motivated by some dualities in quantum group equivariant KK-theory, and the classification theory of inclusions of…

\footnotesize B\"{o}r\"{o}czky, Lutwak, Yang and Zhang recently conjectured a certain strengthening of the Brunn-Minkowski inequality for symmetric convex bodies, the so-called log-Brunn-Minkowski inequality. We establish this inequality…

The proof of Brouwer's fixed-point theorem based on Sperner's lemma is often presented as an elementary combinatorial alternative to advanced proofs based on algebraic topology. The goal of this note is to show that: (i) the combinatorial…

We give in the present work a new methodology that allows to give isoperimetric proofs, for Kneser's Theorem and Kemperman's structure Theory and most sophisticated results of this type. As an illustration we present a new proof of Kneser's…

The Sperner and Tucker lemmas are combinatorial analogous of the Brouwer and Borsuk - Ulam theorems with many useful applications. These classic lemmas are concerning labellings of triangulated discs and spheres. In this paper we show that…

We prove a Kotake-Narasimhan type theorem in general ultradifferentiable classes given by weight matrices. In doing so we simultaneously recover and partially generalize the known results for classes given by weight sequences and weight…

We present a new and simple proof of a theorem due to Kaplansky which unifies theorems of Kolchin and Levitzki on triangularizability of semigroups of matrices. We also give two different extensions of the theorem. As a consequence, we…

We prove a theorem that evaluates weighted averages of sums parametrised by congruence subgroups of $\operatorname{SL}_2(\mathbb{Z})$. In the proof, spectral methods are applied directly to the automorphic kernel instead of going over sums…

The main aim of this article is to develop, in a fully detailed fashion, a {\bf unified} theory of the spectral theory of mean values of individual automorphic L-functions which is a natural extension of the fourth moment of the Riemann…

Let $k$ be a field, $K/k$ finitely generated and $L/K$ a finite, separable extension. We show that the existence of a $k$-valuation on $L$ which ramifies in $L/K$ implies the existence of a normal model $X$ of $K$ and a prime divisor $D$ on…

We apply KAM theory to the equation of the forced relativistic pendulum to prove that all the solutions have bounded momentum. Subsequently, we detect the existence of quasiperiodic solutions in a generalized sense. This is achieved using a…

It is well known that Sperner lemma is equivalent to Brouwer fixed-point theorem. Tanaka [12] proved that Brouwer theorem is equivalent to Arrow theorem, hence Arrow theorem is equivalent to Sperner lemma. In this paper we will prove this…

Following A. Kuznetsov's outline, we restore Kuznetsov's syntactic proof of the assertoric equipollence of the intuitionistic propositional calculus and the proof-intuitionistic calculus KM (Kuznetsov's Theorem). Then, we show that this…

We establish isomorphisms between certain specializations of Birman-Murakami-Wenzl algebras and the symmetric squares of Temperley-Lieb algebras. These isomorphisms imply a link-polynomial identity due to W. B. R. Lickorish. As an…

We consider Brouwer's fixed point theorem and Sperner's lemma in one dimension. We present a proof of the Brouwer theorem using the Sperner lemma, and vice versa. However, we also show that they are not equivalent, because the Sperner lemma…

A simple proof of Atanassov's Conjecture is presented. Atanassov's Conjecture is a generalization of Sperner's Lemma, a lemma which has been used to prove Brouwer's Fixed Point Theorem, among other fixed point theorems. The proof of…

We first establish a general random Sperner lemma by presenting a completely new approach for the theory of $L^{0}$-simplicial subdivisions of $L^{0}$-simplexes. Based on this, we are able to achieve a new complete proof of the random…

We consider generalizations of Gale's colored KKM lemma and Shapley's KKMS theorem. It is shown that spaces and covers can be much more general and the boundary KKM rules can be substituted by more weaker boundary assumptions.

These informal notes, not intended for publication, provide an approach to the Borsuk--Ulam theorem via Stokes' theorem, in a similar spirit to Lima's proof of the Brouwer fixed point theorem. They are intended to be accessible to anyone…

The main purpose of the following article is to give a proof of Y. Kawamata's celebrated subadjunction theorem in the spirit of our previous work on Bergman kernels. We will use two main ingredients : an $\displaystyle L^{2\over…