Related papers: The LSB theorem implies the KKM lemma
Tucker's Lemma is a combinatorial analog of the Borsuk-Ulam theorem and the case n=2 was proposed by Tucker in 1945. Numerous generalizations and applications of the Lemma have appeared since then. In 2006 Meunier proved the Lemma in its…
We give an elementary proof of the Kontsevich conjecture that asserts that the iterations of the noncommutative rational map K_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1}) are given by noncommutative Laurent polynomials.
This note is an exposition of the proof of Thom's conjecture by Kronheimer and Mrowka, using the new Seiberg-Witten invariants.
We prove a bound for quintilinear sums of Kloosterman sums, with congruence conditions on the "smooth" summation variables. This generalizes classical work of Deshouillers and Iwaniec, and is key to obtaining power-saving error terms in…
We present logarithmic series for u, ln u and the Euler-Mascheroni constant gamma. It was indicated by J. Sondow that Theorem 4 and all proofs are new. All proofs are elementary. We present some conjectures.
We study several of the recent conjectures in regards to the role of symmetry in the inequalities of Brunn-Minkowski type, such as the $L_p$-Brunn-Minkowski conjecture of B\"or\"oczky, Lutwak, Yang and Zhang, and the Dimensional…
We introduce the Macdonald piece polynomial $\operatorname{I}_{\mu,\lambda,k}[X;q,t]$, which is a vast generalization of the Macdonald intersection polynomial in the science fiction conjecture by Bergeron and Garsia. We demonstrate a…
We prove the K- and L-theoretic Farrell-Jones Conjecture (with coefficients in additive categories) for GL_n(Z).
A theorem of Kaplansky asserts that a semigroup of matrices with entries from a field whose members all have singleton spectra is triangularizable. Indeed, Kaplansky's Theorem unifies well-known theorems of Kolchin and Levitzki on…
Two proofs of the Koml\'os-Major-Tusn\'ady embedding theorems, one for the uniform empirical process and one for the simple symmetric random walk, are given. More precisely, what are proved are the univariate coupling results needed in the…
We present a new proof of the bi-Lipschitz model theorem, which occupies the main part of the Ending Lamination Conjecture proved by Minsky and Brock-Canary-Minsky. Our proof is done by using techniques of standard hyperbolic geometry as…
We prove the Lukacs characterization of the Wishart distribution on non-octonion symmetric cones of rank greater than 2. We weaken the smoothness assumptions in the version of the Lukacs theorem of [Bobecka-Weso{\l}owski, Studia Math. 152…
Brualdi and Ma found a connection between involutions of length $n$ with $k$ descents and symmetric $k\times k$ matrices with non-negative integer entries summing to $n$ and having no row or column of zeros. From their main theorem they…
We give a constructive elementary proof for the fact that any K-automorphism of the full nxn matrix algebra over a field K is conjugation by some invertible nxn matrix A over K.
Recently (in 2011) several new theorems concerning this conjecture were proved by Bourgain and Kontorovich. The easiest of them states that the set of numbers satisfying Zaremba's conjecture with A=50 has positive proportion in $\N.$ The…
A landmark result in the study of logics for formal verification is Janin & Walukiewicz's theorem, stating that the modal $\mu$-calculus ($\mu\mathrm{ML}$) is equivalent modulo bisimilarity to standard monadic second-order logic (here…
We give a combinatorial proof of a theorem of Gromov, which extends the scope of small cancellation theory to group presentations arising from labelled graphs.
We derive the Kullback-Leibler divergence for the normal-gamma distribution and show that it is identical to the Bayesian complexity penalty for the univariate general linear model with conjugate priors. Based on this finding, we provide…
Kaplansky [2003] proved a theorem on the simultaneous representation of a prime $p$ by two different principal binary quadratic forms. Later, Brink found five more like theorems and claimed that there were no others. By putting…
This survey is mostly concerned with unstable analogues of the Lichtenbaum-Quillen Conjecture. The Lichtenbaum-Quillen Conjecture (now implied by the Voevodsky-Rost Theorem) attempts to describe the algebraic K-theory of rings of integers…