Related papers: Proving Tucker's Lemma with a Volume Argument
In this paper, we use multivariate splines to investigate the volume of polytopes. We first present an explicit formula for the multivariate truncated power, which can be considered as a dual version of the famous Brion's formula for the…
We extend Polyak's theorem on the convexity of joint numerical range from three to any number of quadratic forms on condition that they can be generated by three quadratic forms with a positive definite linear combination. Our new result…
Tightness of a triangulated manifold is a topological condition, roughly meaning that any simplexwise linear embedding of the triangulation into euclidean space is "as convex as possible". It can thus be understood as a generalization of…
Given a simplicial complex and a collection of subcomplexes covering it, the nerve theorem, a fundamental tool in topological combinatorics, guarantees a certain connectivity of the simplicial complex when connectivity conditions on the…
We consider two CSP problems: the first CSP encodes 2D Sperner's lemma for the standard triangulation of the right triangle on $n^2$ small triangles; the second CSP encodes the fact that it is impossible to match cells of $n \times n$…
We discuss coloring and partitioning questions related to Sperner's Lemma, originally motivated by an application in hardness of approximation. Informally, we call a partitioning of the $(k-1)$-dimensional simplex into $k$ parts, or a…
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…
This paper gives two different proofs to a structural theorem of decreasing minimization (lexicographic optimization) on integrally convex sets. The theorem states that the set of decreasingly minimal elements of an integrally convex set…
Define the tet-volume of a triangulation of the 2-sphere to be the minimum number of tetrahedra in a 3-complex of which it is the boundary, and let $d(v)$ be the maximum tet-volume for $v$-vertex triangulations. In 1986 Sleator, Tarjan, and…
In this paper we provide extensions of the $\lambda$-Lemma (also known as Inclination Lemma) for piecewise smooth vector fields and maps. In order to achieve our main result, we investigate the regularity of time-T-maps of piecewise smooth…
In this paper we give an affirmative answer to the following question posed by Daryl Cooper: If one lengthens the sides of a tetrahedron by one unit, is the result still a tetrahedron and (if so) does the volume increase? Our proof involves…
We present several results on the complexity of various forms of Sperner's Lemma in the black-box model of computing. We give a deterministic algorithm for Sperner problems over pseudo-manifolds of arbitrary dimension. The query complexity…
A classical theorem of P. McMullen describes all valuations on polytopes that are invariant under translations and weakly continuous, i.e., continuous with respect to parallel displacements of the facets of a polytope. While it is typically…
The stationary points of the total scalar curvature functional on the space of unit volume metrics on a given closed manifold are known to be precisely the Einstein metrics. One may consider the modified problem of finding stationary points…
New version of my 1998 article. The method of proof of the main results follows the original, but there are many simplifications/streamlining of arguments, especially Lemma 3.6 (new Lemma 3.7). Fixed small error in proof of lower bound for…
We suggest an axiom system for a collection of matchings that describes the triangulation of product of simplices.
We propose a finite dimensional variational principle on triangulated 3-manifolds so that its critical points are related to solutions to Thurston's gluing equation and Haken's normal surface equation. The action functional is the volume.…
We study a nonlinear system made up of an elliptic equation of blended singular/degenerate type and Poisson's equation with a lowly integrable source. We prove the existence of a weak solution in any space dimension and, chiefly, derive an…
One of the generalizations of the pentagon equation to higher dimensions is the so-called "six-term equation". Geometrically, it corresponds to one of the "Alexander moves", that is elementary rebuildings of simplicial complexes, namely,…
There are three main thrusts to this article: a new proof of Levi's Enlargement Lemma for pseudoline arrangements in the real projective plane; a new characterization of pseudolinear drawings of the complete graph; and proofs that…