Related papers: Proving Tucker's Lemma with a Volume Argument
Recently, Scullard and Ziff noticed that a broad class of planar percolation models are self-dual under a simple condition that, in a parametrized version of such a model, reduces to a single equation. They state that the solution of the…
Pecan is an automated theorem prover for reasoning about properties of Sturmian words, an important object in the field of combinatorics on words. It is capable of efficiently proving non-trivial mathematical theorems about all Sturmian…
We prove a complex polynomial plank covering theorem for not necessarily homogeneous polynomials. As the consequence of this result, we extend the complex plank theorem of Ball to the case of planks that are not necessarily centrally…
Let $\mathbb C$ be the set of complex numbers, and let $\mathcal P$ be a collection of complex polynomial maps in several variables. Assuming at least one $P\in\mathcal P$ depends on at least two variables, we classify all possibilities for…
We present an algorithm that takes as input a finite point set in Euclidean space, and performs a perturbation that guarantees that the Delaunay triangulation of the resulting perturbed point set has quantifiable stability with respect to…
Although the exact Bethe-Salpeter equation is certainly the appropriate field-theoretic framework to describe the non-perturbative problem of scattering and bound states, the inevitable truncations introduce inconsistencies such as loss of…
Let $K \subset {\mathbb R}^n$ be a compact definable set in an o-minimal structure over $\mathbb R$, e.g., a semi-algebraic or a subanalytic set. A definable family $\{ S_\delta|\> 0< \delta \in {\mathbb R} \}$ of compact subsets of $K$, is…
This paper shows, in the framework of the logical method,the unsolvability of $k$-set agreement task by devising a suitable formula of epistemic logic. The unsolvability of $k$-set agreement task is a well-known fact, which is a direct…
We consider infinite random casual Lorentzian triangulations emerging in quantum gravity for critical values of parameters. With each vertex of the triangulation we associate a Hilbert space representing a bosonic particle moving in…
In this paper, we prove Thomae's formula for a triple covering of $\bold P^1$ with arbitrary index. This formula gives a relation between theta constants, determinants of period integrals and the difference products of branch points. To…
The set of non-linear equations describing the Standard Model kinematics of the top quark antiqark production system in the dilepton decay channel has at most a four-fold ambiguity due to two not fully reconstructed neutrinos. Its most…
Montgomery's Lemma on the torus $\mathbb{T}^d$ states that a sum of $N$ Dirac masses cannot be orthogonal to many low-frequency trigonometric functions in a quantified way. We provide an extension to general manifolds that also allows for…
In this paper, we extend our previous result from [16]. We prove that transport equations with rough coefficients do possess a uniqueness property. Our method relies strongly on duality and bears a strong resemblance with the well-known…
We prove a triangulation theorem for semi-algebraic sets over a p-adically closed field, quite similar to its real counterpart. We derive from it several applications like the existence of flexible retractions and splitting for…
We study the geometry of double point loci of maps $F:M\to N$ of complex manifolds through the lens of Segre-Schwartz-MacPherson (SSM) classes. Classical double point formulas express the fundamental class of the closure of the double point…
In this paper,we obtain two results on closed Reimainnian manifold $M\times [0,T]$.When $T$ is small enough,to any prescribed scalar curvature, the existence and uniqueness of metrics are obtained on the volume element preserving…
Kakutani's fixed point theorem is a generalization of Brouwer's fixed point theorem to upper semicontinuous multivalued maps and is used extensively in game theory and other areas of economics. Earlier works have shown that Sperner's lemma…
We define the infinite dimensional simplex to be the closure of the convex hull of the standard basis vectors in R^infinity, and prove that this space has the 'fixed point property': any continuous function from the space into itself has a…
We survey results on the problem of covering the space ${\mathbb R}^n$, or a convex body in it, by translates of a convex body. Our main goal is to present a diverse set of methods. A theorem of Rogers is a central result, according to…
We discuss five discrete results: the lemmas of Sperner and Tucker from combinatorial topology and the theorems of Carath\'eodory, Helly, and Tverberg from combinatorial geometry. We explore their connections and emphasize their broad…