Related papers: A remark on A+B and A-A for compact sets in R^n

The classical Brunn-Minkowski inequality states that for $A_1,A_2\subset\R^n$ compact, $$ |A_1+A_2|^{1/n}\ge |A_1|^{1/n}+|A_2|^{1/n}\eqno(1) $$ where $|\cdot|$ denotes the Lebesgue measure on $\R^n$. In 1986 V. Milman {\bf [Mil 1]}…

Let A,B,S be finite subsets of an abelian group G. Suppose that the restricted sumset C={a+b: a in A, b in B, and a-b not in S} is nonempty and some c in C can be written as a+b with a in A and b in B in at most m ways. We show that if G is…

What sets A \subset Z^n can be written in the form (K-K) \cap Z^n, where K is a compact subset of R^n such that K+Z^n=R^n? Such sets A are called achievable, and it is known that if A is achievable, then < A >=Z^n. This condition completely…

We classify the pairs of subsets (A,B) of a locally compact abelian group satisfying m(A+B)=m(A)+m(B), where m is Haar measure. This generalizes a result of M. Kneser classifying such pairs under the additional assumption that G is compact…

For a compact set $A$ in $\mathbb{R}^n$ the Hausdorff distance from $A$ to $\text{conv}(A)$ is defined by \begin{equation*} d(A):=\sup_{a\in\text{conv}(A)}\inf_{x\in A}|x-a|, \end{equation*} where for $x=(x_1,\dots,x_n)\in\mathbb{R}^n$ we…

Let $G$ be a connected compact group equipped with the normalised Haar measure $\mu$. Our first result shows that given $\alpha, \beta>0$, there is a constant $c = c(\alpha,\beta)>0$ such that for any compact sets $A,B\subseteq G$ with $…

It is known that if A and B are two n-by-n complex matrices and (A,A^T) is simultaneously equivalent to (B,B^T), then A is congruent to B. We extend this statement to multilinear forms.

Given a simple Lie algebra $\mathfrak{g}$ and an element $\mu\in\mathfrak{g}^*$, the corresponding shift of argument subalgebra of $\text{S}(\mathfrak{g})$ is Poisson commutative. In the case where $\mu$ is regular, this subalgebra is known…

For finite sets A and B in the plane, we write A+B to denote the set of sums of the elements of A and B. In addition, we write tr(A) to denote the common number of triangles in any triangulation of the convex hull of A using the points of A…

Let A and B be subsets of an elementary abelian 2-group G, none of which are contained in a coset of a proper subgroup. Extending onto potentially distinct summands a result of Hennecart and Plagne, we show that if |A+B|<|A|+|B|, then…

A method of proving local continuity of concave functions on convex set possessing the $\mu$-compactness property is presented. This method is based on a special approximation of these functions. The class of $\mu$-compact sets can be…

We consider a (possibly discrete) unimodular locally compact group $G$ with Haar measure $\mu_G$, and a compact $A\subseteq G$ of positive measure with $\mu_G(A^2)\leq K\mu_G(A)$. Let $H$ be a closed normal subgroup of G and $\pi: G…

We prove that for every compact, convex subset $K\subset\mathbb{R}^2$ the operator system $A(K)$, consisting of all continuous affine functions on $K$, is hyperrigid in the C*-algebra $C(\mathrm{ex}(K))$. In particular, this result implies…

Let $\textrm{Mat}_2(\mathbb{R})$ be the set of $2 \times 2$ matrices with real entries. For any $\varepsilon>0$ and any finitely--supported probability measure $\mu$ on $\textrm{Mat}_2(\mathbb{R})$, we prove that either \[ T(\mu) = \sum_{X,…

Let $G$ be a connected unimodular group equipped with a (left and hence right) Haar measure $\mu_G$, and suppose $A, B \subseteq G$ are nonempty and compact. An inequality by Kemperman gives us…

We derive two formulae for (A + B)^n, where A and B are elements in a non-commutative, associative algebra with identity.

In this work we prove constructively that the complement ${\mathbb R}^n\setminus{\mathcal K}$ of an $n$-dimensional unbounded convex polyhedron ${\mathcal K}\subset{\mathbb R}^n$ and the complement ${\mathbb R}^n\setminus{\rm Int}({\mathcal…

The Brunn-Minkowski inequality states that for bounded measurable sets $A$ and $B$ in $\mathbb{R}^n$, we have $|A+B|^{1/n} \geq |A|^{1/n}+|B|^{1/n}$. Also, equality holds if and only if $A$ and $B$ are convex and homothetic sets in…

We succeed to say something on the identities of (mu^+, mu) when mu>theta>cf(mu), mu strong limit theta--compact. This hopefully will help to prove the consistency of ``some pair (mu^+,mu) is not compact'', however, this has not been…

We prove a compactness criterion in $L^p({\mu},X)$: a subset of $L^p({\mu},X)$ is relatively norm compact iff the set of integrals of its functions over any measurable set is relatively norm compact, it satisfies the Fr\'echet oscillation…