Let $M$ be an $m$ dimensional submanifold in the Euclidean space ${\mathbf R}^n$ and $H$ be the mean curvature of $M$. We obtain some low geometric estimates of the total square mean curvature $\int_M H^2 d\sigma$. The low bounds are geometric invariants involving the volume of $M$, the total scalar curvature of $M$, the Euler characteristic and the circumscribed ball of $M$.

We prove that convex sets are measure convex and extremal sets are measure extremal provided they are of low Borel complexity. We also present examples showing that the positive results cannot be strengthened.

Given a centrally symmetric convex body $B$ in $\E^d,$ we denote by $\M^d(B)$ the Minkowski space ({\em i.e.,} finite dimensional Banach space) with unit ball $B.$ Let $K$ be an arbitrary convex body in $\M^d(B).$ The relationship between volume $V(K)$ and the Minkowskian thickness ($=$ minimal width) $\thns_B(K)$ of $K$ can naturally be given by the sharp geometric inequality $V(K) \ge \alpha(B) \cdot \thns_B(K)^d,$ where $\alpha(B)>0.$ As a simple corollary of the Rogers--Shephard inequality we obtain that $\binom{2d}{d}{}^{-1} \le \alpha(B)/V(B) \le 2^{-d}$ with equality on the left attained if and only if $B$ is the difference body of a simplex and on the right if $B$ is a cross-polytope. The main result of this paper is that for $d=2$ the equality on the right implies that $B$ is a parallelogram. The obtained results yield the sharp upper bound for the modified Banach--Mazur distance to the regular hexagon.

We give in this note a weighted version of Brianchon and Gram's decomposition for a simple polytope. We can derive from this decomposition the weighted polar formula of Agapito and a weighted version of Brion's theorem, in a manner similar to Haase, where the unweighted case is worked out. This weighted version of Brianchon and Gram' decomposition is a direct consequence of the ordinary Brianchon--Gram formula.

\begin{abstract} We prove that a Minkowski plane is Euclidean if and only if Busemann's or Glogovskij's definitions of angular bisectors coincide with a bisector defined by an angular measure in the sense of Brass. In addition, bisectors defined by the area measure coincide with bisectors defined by the circumference (arc length) measure if and only if the unit circle is an equiframed curve.

Let $X$ be a smooth complex projective variety with a holomorphic vector field with isolated zero set $Z$. From the results of Carrell and Lieberman there exists a filtration $F_0 \subset F_1 \subset \cdots$ of $A(Z)$, the ring of $\c$-valued functions on $Z$, such that $\Gr A(Z) \cong H^*(X, \c)$ as graded algebras. In this note, for a smooth projective toric variety and a vector field generated by the action of a $1$-parameter subgroup of the torus, we work out this filtration. Our main result is an explicit connection between this filtration and the polytope algebra of $X$.

We define a uniform structure on the set of discrete sets of a locally compact topological space on which a locally compact topological group acts continuously. Then we investigate the completeness of these uniform spaces and study these spaces by means of topological dynamical systems.

We give a new characterization of Hardy martingale cotype property of complex quasi-Banach space by using the existence of a kind of plurisubharmonic functions. We also characterize the best constants of Hardy martingale inequalities with values in the complex quasi-Banach space.

Generalizing results from [MM1] referring to the intersection body $IK$ and the cross-section body $CK$ of a convex body $K \subset \sR^d, \, d \ge 2$, we prove theorems about maximal $k$-sections of convex bodies, $k \in \{1, \dots, d-1\}$, and, simultaneously, statements about common maximal $(d-1)$- and $1$-transversals of families of convex bodies.

Unlike the (classical) Kolakoski sequence on the alphabet $\{1,2\}$, its analogue on $\{1,3\}$ can be related to a primitive substitution rule. Using this connection, we prove that the corresponding bi-infinite fixed point is a regular generic model set and thus has a pure point diffraction spectrum. The Kolakoski-$(3,1)$ sequence is then obtained as a deformation, without losing the pure point diffraction property.

We study the farthest-point distance function, which measures the distance from $z \in \mathbb{C}$ to the farthest point or points of a given compact set $E$ in the plane. The logarithm of this distance is subharmonic as a function of $z$, and equals the logarithmic potential of a unique probability measure with unbounded support. This measure $\sigma_E$ has many interesting properties that reflect the topology and geometry of the compact set $E$. We prove $\sigma_E(E) \leq \frac12$ for polygons inscribed in a circle, with equality if and only if $E$ is a regular $n$-gon for some odd $n$. Also we show $\sigma_E(E) = \frac12$ for smooth convex sets of constant width. We conjecture $\sigma_E(E) \leq \frac12$ for all~$E$.

We study the dimension of ``random'' Euclidean sections of direct sums of normed spaces. We compare the obtained results with results from \cite{LMS}, to show that for the direct sums the standard randomness with respect to the Haar measure on Grassmanian coincides with a much ``weaker'' randomness of ``diagonal'' subspaces (Corollary~\ref{sle} and explanation after). We also add some relative information on ``phase transition''.

No abstract.

We consider two dynamical systems associated with a substitution of Pisot type: the usual $\mathbb{Z}$-action on a sequence space, and the $\mathbb{R}$-action, which can be defined as a tiling dynamical system or as a suspension flow. We describe procedures for checking when these systems have pure discrete spectrum (the ``balanced pairs algorithm'' and the ``overlap algorithm'') and study the relation between them. In particular, we show that pure discrete spectrum for the $\mathbb{R}$-action implies pure discrete spectrum for the $\mathbb{Z}$-action, and obtain a partial result in the other direction. As a corollary, we prove pure discrete spectrum for every $\mathbb{R}$-action associated with a two-symbol substitution of Pisot type (this is conjectured for an arbitrary number of symbols).

This paper characterizes when a Delone set $X$ in $\mathbb{R}^n$ is an ideal crystal in terms of restrictions on the number of its local patches of a given size or on the heterogeneity of their distribution. For a Delone set $X$, let $N_X (T)$ count the number of translation-inequivalent patches of radius $T$ in $X$ and let $M_X(T)$ be the minimum radius such that every closed ball of radius $M_X(T)$ contains the center of a patch of every one of these kinds. We show that for each of these functions there is a ``gap in the spectrum'' of possible growth rates between being bounded and having linear growth, and that having sufficiently slow linear growth is equivalent to $X$ being an ideal crystal. Explicitly, for $N_X(T)$, if $R$ is the covering radius of $X$ then either $N_X(T)$ is bounded or $N_X (T) \ge T/2R$ for all $T>0$. The constant $1/2R$ in this bound is best possible in all dimensions. For $M_X(T)$, either $M_X(T)$ is bounded or $M_X(T)\ge T/3$ for all $T>0$. Examples show that the constant $1/3$ in this bound cannot be replaced by any number exceeding $1/2$. We also show that every aperiodic Delone set $X$ has $M_X(T)\ge c(n) T$ for all $T>0$, for a certain constant $c(n)$ which depends on the dimension $n$ of $X$ and is $>1/3$ when $n>1$.

A Dirac comb of point measures in Euclidean space with bounded complex weights that is supported on a lattice $\varGamma$ inherits certain general properties from the lattice structure. In particular, its autocorrelation admits a factorization into a continuous function and the uniform lattice Dirac comb, and its diffraction measure is periodic, with the dual lattice $\varGamma^*$ as lattice of periods. This statement remains true in the setting of a locally compact Abelian group whose topology has a countable base.

The geometry of indicatrices is the foundation of Minkowski geometry. A strongly convex indicatrix in a vector space is a strongly convex hypersurface. It admits a Riemannian metric and has a distinguished invariant---(Cartan) torsion. We prove the existence of non-trivial strongly convex indicatrices with vanishing mean torsion and discuss the relationship between the mean torsion and the Riemannian curvature tensor for indicatrices of Randers type.

We give a new measure-theoretical proof of the uniform distribution property of points in model sets (cut and project sets). Each model set comes as a member of a family of related model sets, obtained by joint translation in its ambient (the `physical') space and its internal space. We prove, assuming only that the window defining the model set is measurable with compact closure, that almost surely the distribution of points in any model set from such a family is uniform in the sense of Weyl, and almost surely the model set is pure point diffractive.

Travelling wave solutions to the vortex filament flow generated by elastica produce surfaces in $\R^3$ that carry mutually orthogonal foliations by geodesics and by helices. These surfaces are classified in the special cases where the helices are all congruent or are all generated by a single screw motion. The first case yields a new characterization for the B\"acklund transformation for constant torsion curves in $\R^3$, previously derived from the well-known transformation for pseudospherical surfaces. A similar investigation for surfaces in $H^3$ or $S^3$ leads to a new transformation for constant torsion curves in those spaces that is also derived from pseudospherical surfaces.

We extend the recent results of R.~Lata{\l}a and O.~Gu\'edon about equivalence of $L_q$-norms of logconcave random variables (Kahane-Khinchin's inequality) to the quasi-convex case. We construct examples of quasi-convex bodies $K_n \subset \R$ which demonstrate that this equivalence fails for uniformly distributed vector on $K_n$ (recall that the uniformly distributed vector on a convex body is logconcave). Our examples also show the lack of the exponential decay of the ``tail" volume (for convex bodies such decay was proved by M.~Gromov and V.~Milman).

A lower bound on the number of points that can be placed in a square of side $\sigma$ such that no two points are within unit distance from each other is proven. The result is constructive, and the series of packings obtained contains many conjecturally optimal packings.

Let $(X, \norm)$ be a Minkowski space (finite dimensional Banach space) with unit ball $B$. Various definitions of surface area are possible in $X$. Here we explore the one given by Benson \cite{ben1}, \cite{ben2}. In particular, we show that this definition is convex and give details about the nature of the solution to the isoperimetric problem.

The purposen of this paper is to present a short, self-contained proof of Euler's relation. The ingredients of this proof are (i) the principle of inclusion and exclusion of combinatorics and (ii) the Euler characteristic; a development of the Euler characteristic is included.

Nous {\'e}tablissons un th{\'e}or{\`e}me pour les fonctions holomorphes {\`a} valeurs dans une partie convexe ferm{\'e}e. Ce th{\'e}or{\`e}me pr{\'e}cise la position des coefficients de Taylor de telles fonctions et peut {\^e}tre consid{\'e}r{\'e} comme une g{\'e}n{\'e}ralisation des in{\'e}galit{\'e}s de Cauchy. Nous montrons alors comment ce th{\'e}or{\`e}me permet de retrouver des versions connues du principe du maximum et d'obtenir de nouveaux r{\'e}sultats sur les applications holomorphes {\`a} valeurs vectorielles.

For positive integers $p$ and $q$ with $(p-2)(q-2) > 4$ there is, in the hyperbolic plane, a group $[p,q]$ generated by reflections in the three sides of a triangle $ABC$ with angles $\pi /p$, $\pi/q$, $\pi/2$. Hyperbolic trigonometry shows that the side $AC$ has length $\psi$, where $\cosh \psi = c/s$, $c = \cos \pi/q$, $s = \sin\pi/p$. For a conformal drawing inside the unit circle with centre $A$, we may take the sides $AB$ and $AC$ to run straight along radii while $BC$ appears as an arc of a circle orthogonal to the unit circle. The circle containing this arc is found to have radius $1/\sinh \psi = s/z$, where $z = \sqrt{c^2-s^2}$, while its centre is at distance $1/\tanh \psi = c/z$ from $A$. In the hyperbolic triangle $ABC$, the altitude from $AB$ to the right-angled vertex $C$ is $\zeta$, where $\sinh\zeta = z$.