Related papers: A Product on Lorenz Hulls, Zonoids, and Vector Mea…
Every convex body K in R^n has a coordinate projection PK that contains at least vol(0.1 K) cells of the integer lattice PZ^n, provided this volume is at least one. Our proof of this counterpart of Minkowski's theorem is based on an…
We describe the formalization of the existence and uniqueness of Haar measure in the Lean theorem prover. The Haar measure is an invariant regular measure on locally compact groups, and it has not been formalized in a proof assistant…
This paper is about integral zonotopes. It is proven that large zonotopes in a convex cone have a limit shape, meaning that, after suitable scaling, the overwhelming majority of the zonotopes are very close to a fixed convex set. Several…
We show the importance of the Voros product in defining a noncommutative Schwarzschild black hole. The corrected entropy/area-law is then computed in the tunneling formalism. Two types of corrections are considered; one, due to the effects…
The paper contains a characterization of compact groups $G\subseteq\GL(V)$, where $V$ is a finite dimensional real vector space, which have the following property \SP{}: the family of convex hulls of $G$-orbits is a semigroup with respect…
We study operators acting on a tensor product Hilbert space and investigate their product numerical range, product numerical radius and separable numerical range. Concrete bounds for the product numerical range for Hermitian operators are…
The convex hull property is the natural generalization of maximum principles from scalar to vector valued functions. Maximum principles for finite element approximations are often crucial for the preservation of qualitative properties of…
Let X be a closed manifold of dimension 2m >= 6 with torsion-free middle-dimensional homology. We construct metrics on X of arbitrarily small volume, such that every middle-dimensional submanifold of less than unit volume necessarily…
Twisted torus links are given by twisting a subset of strands on a closed braid representative of a torus link. T--links are a natural generalization, given by repeated positive twisting. We establish a one-to-one correspondence between…
We introduce a particular class of unbounded closed convex sets of $\R^{d+1}$, called F-convex sets (F stands for future). To define them, we use the Minkowski bilinear form of signature $(+,...,+,-)$ instead of the usual scalar product,…
We determine when a convex body in $\mathbb{R}^d$ is the closed unit ball of a reasonable crossnorm on $\mathbb{R}^{d_1}\otimes\cdots\otimes\mathbb{R}^{d_l},$ $d=d_1\cdots d_l.$ We call these convex bodies "tensorial bodies". We prove that,…
A recently developed tool allows for a description of spacetime as a manifold with a Lorentz-invariant (lower) limit length built-in. This is accomplished in terms of geometric quantities depending on two spacetime events (bitensors) and…
Seeking the convex hull of an object is a very fundamental problem arising from various tasks. In this work, we propose two variational convex hull models using level set representation for 2-dimensional data. The first one is an exact…
Consider $n$ points $X_1,\ldots,X_n$ in $\mathbb R^d$ and denote their convex hull by $\Pi$. We prove a number of inclusion-exclusion identities for the system of convex hulls $\Pi_I:=conv(X_i\colon i\in I)$, where $I$ ranges over all…
We present a simple algorithm for determining the extremal points in Euclidean space whose convex hull is the nth polytope in the sequence known as the multiplihedra. This answers the open question of whether the multiplihedra could be…
Let $C\subset {\mathbb R}^n$ be a convex body. We introduce two notions of convexity associated to C. A set $K$ is $C$-ball convex if it is the intersection of translates of $C$, or it is either $\emptyset$, or ${\mathbb R}^n$. The $C$-ball…
In a number of recent papers, the idea of generalized boundaries has found use in fractal and in multiresolution analysis; many of the papers having a focus on specific examples. Parallel with this new insight, and motivated by quantum…
The Brunn-Minkowski theory in convex geometry concerns, among other things, the volumes, mixed volumes, and surface area measures of convex bodies. We study generalizations of these concepts to Borel measures with density in…
Arithmetic automata recognize infinite words of digits denoting decompositions of real and integer vectors. These automata are known expressive and efficient enough to represent the whole set of solutions of complex linear constraints…
We prove bounds on intersections of algebraic varieties in $\mathbb{C}^4$ with Cartesian products of finite sets from $\mathbb{C}^2$, and we point out connections with several classic theorems from combinatorial geometry. Consider an…