-
Ball characterizations in planes and spaces of constant curvature, II \vskip.1cm \centerline{\rm{This pdf-file is not identical with the printed paper.}}
Authors:
J. Jerónimo-Castro,
E. Makai Jr
Abstract:
High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to the sphere and the hyperbolic plane, and partly to spaces of constant curvature. We also investigate the dual question about the convex hull of the unions, rather than the intersections.
Let u…
▽ More
High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to the sphere and the hyperbolic plane, and partly to spaces of constant curvature. We also investigate the dual question about the convex hull of the unions, rather than the intersections.
Let us have in $H^2$ proper closed convex subsets $K,L$ with interior points, such that the numbers of the connected components of the boundaries of $K$ and $L$ are finite. We exactly describe all pairs of such subsets $K,L$, whose any congruent copies have an intersection with axial symmetry; there are nine cases. (The cases of $S^2$ and ${\Bbb{R}}^2$ were described in Part I, i.e., \cite{5}.)
Let us have in $S^d$, ${\Bbb{R}}^d$ or $H^d$ proper closed convex $C^2_+$ subsets $K,L$ with interior points, such that all sufficiently small intersections of their congruent copies are symmetric w.r.t.\ a particular hyperplane. Then the boundary components of both $K$ and $L$ are congruent, and each of them is a sphere, a parasphere or a hypersphere.
Let us have a pair of convex bodies in $S^d$, ${\Bbb{R}}^d$ or $H^d$, which have at any boundary points supporting spheres (for $S^d$ of radius less than $π/2$). If the convex hull of the union of any congruent copies of these bodies is centrally symmetric, then our bodies are congruent balls (for $S^d$ of radius less than $π/2$). An analogous statement holds for symmetry w.r.t.\ a particular hyperplane. For $d=2$, suppose the existence of the above supporting circles (for $S^2$ of radius less than $π/2$), and, for $S^2$, smoothness of $K$ and $L$. If we suppose axial symmetry of all the above convex hulls, then our bodies are (incongruent) circles (for $S^2$ of radii less than $π/2$).
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
Ball characterizations in planes and spaces of constant curvature, I
Authors:
Jesús Jerónimo-Castro,
Endre Makai Jr
Abstract:
Let us have in S^2, R^2 or H^2 a pair of convex bodies, for S^2 different from S^2, such that the intersections of any congruent copies of them are centrally symmetric. Then our bodies are congruent circles. If the intersections of any congruent copies of them are axially symmetric, then our bodies are circles.
Let us have in S^2, R^2 or H^2 proper closed convex subsets K,L with interior points,…
▽ More
Let us have in S^2, R^2 or H^2 a pair of convex bodies, for S^2 different from S^2, such that the intersections of any congruent copies of them are centrally symmetric. Then our bodies are congruent circles. If the intersections of any congruent copies of them are axially symmetric, then our bodies are circles.
Let us have in S^2, R^2 or H^2 proper closed convex subsets K,L with interior points, such that the numbers of the connected components of the boundaries of K and L are finite. If the intersections of any congruent copies of K and L are centrally symmetric, then K and L are congruent circles, or, for R^2, parallel strips. We describe all pairs of such subsets K,L, whose any congruent copies have an intersection with axial symmetry. For S^2, R^2 and H^2 there are 1, 5 and 9 cases, resp.
Let us have in S^d, R^d or H^d proper closed convex C^2_+ subsets K,L with interior points, such that all sufficiently small intersections of their congruent copies are symmetric w.r.t. a particular hyperplane. Then the boundary components of both K and L are congruent, and each of them is a sphere, a parasphere or a hypersphere.
Let us have a pair of convex bodies in S^d, R^d or H^d, which have at any boundary points supporting spheres, for S^d of radius less than π/2. If the convex hull of the union of any congruent copies of these bodies is centrally symmetric, then our bodies are congruent balls, for S^d of radius less than π/2. An analogous statement holds for symmetry w.r.t. a particular hyperplane. For d=2 suppose the existence of the above supporting circles, for S^2 of radius less than π/2, and for S^2 smoothness of K and L. If we suppose axial symmetry of all the above convex hulls, then our bodies are circles, for S^2 of radii less than π/2.
△ Less
Submitted 2 October, 2024; v1 submitted 14 June, 2024;
originally announced June 2024.
-
Nearly equal distances in the plane, II
Authors:
P. Erdős,
E. Makai, Jr.,
J. Pach
Abstract:
Let $\{p_1, \ldots , p_n \} \subset {\Bbb{R}}^2$ be a separated point set, i.e., any two points have a distance at least $1$. Let $k \ge 1$ be an integer, and $1 \le t_1 < \ldots < t_k$ be real numbers. Let $δ> 0$. Suppose for all $1 \le \ell (1) \le \ell (2) < \ell (3) \le k$ that $|t_{\ell (3)} / (t_{\ell (1)} + t_{\ell (2)}) - 1| \ge δ$. Then for $n \ge n_{k, δ}$, the number of pairs…
▽ More
Let $\{p_1, \ldots , p_n \} \subset {\Bbb{R}}^2$ be a separated point set, i.e., any two points have a distance at least $1$. Let $k \ge 1$ be an integer, and $1 \le t_1 < \ldots < t_k$ be real numbers. Let $δ> 0$. Suppose for all $1 \le \ell (1) \le \ell (2) < \ell (3) \le k$ that $|t_{\ell (3)} / (t_{\ell (1)} + t_{\ell (2)}) - 1| \ge δ$. Then for $n \ge n_{k, δ}$, the number of pairs $\{ p_i,p_j\} $, for which $d(p_i,p_j) \in [t_1, t_1 + 1] \cup \ldots \cup [t_k, t_k + 1] $, is at most $n^2/4 + C_{k,δ}n$. This is sharp, up to the value of the constant $C_{k,δ} > 0$.
△ Less
Submitted 16 December, 2021;
originally announced December 2021.
-
On the number of antipodal or strictly antipodal pairs of points in finite subsets of $\mathbb{R}^d$, III
Authors:
E. Makai Jr.,
H. Martini,
M. H. Nguyên,
V. Soltan,
I. Talata
Abstract:
We improve our earlier upper bound on the numbers of antipodal pairs of points among $n$ points in ${\mathbb{R}}^3$, to $2n^2/5+O(n^c)$, for some $c<2$. We prove that the minimal number of antipodal pairs among $n$ points in convex position in ${\mathbb{R}}^d$, affinely spanning ${\mathbb{R}}^d$, is $n + d(d - 1)/2 - 1$. Let ${\underline{sa}}^s_d(n)$ be the minimum of the number of strictly antipo…
▽ More
We improve our earlier upper bound on the numbers of antipodal pairs of points among $n$ points in ${\mathbb{R}}^3$, to $2n^2/5+O(n^c)$, for some $c<2$. We prove that the minimal number of antipodal pairs among $n$ points in convex position in ${\mathbb{R}}^d$, affinely spanning ${\mathbb{R}}^d$, is $n + d(d - 1)/2 - 1$. Let ${\underline{sa}}^s_d(n)$ be the minimum of the number of strictly antipodal pairs of points among any $n$ points in ${\mathbb{R}}^d$, with affine hull ${\mathbb{R}}^d$, and in strictly convex position. The value of ${\underline{sa}}^s_d(n)$ was known for $d \le 3$ and any $n$. Moreover, ${\underline{sa}}^s_d(n) = \lceil n/2\rceil $ was known for $n \ge 2d$ even, and $n \ge 4d+1$ odd. We show ${\underline{sa}}^s_d(n) = 2d$ for $2d+1 \le n \le 4d-1$ odd, we determine ${\underline{sa}}^s_d(n)$ for $d=4$ and any $n$, and prove ${\underline{sa}}^s_d(2d -1) = 3(d - 1)$. The cases $d \ge 5 $ and $d+2 \le n \le 2d - 2$ remain open, but we give a lower and an upper bound on ${\underline{sa}}^s_d(n)$ for them, which are of the same order of magnitude, namely $Θ\left( (d-k)d \right) $. We present a simple example of a strictly antipodal set in ${\mathbb{R}}^d$, of cardinality const\,$\cdot 1.5874...^d$. We give simple proofs of the following statements: if $n$ segments in ${\mathbb{R}}^3$ are pairwise antipodal, or strictly antipodal, then $n \le 4$, or $n \le 3$, respectively, and these are sharp. We describe also the cases of equality.
△ Less
Submitted 2 June, 2021; v1 submitted 24 March, 2021;
originally announced March 2021.
-
On polyhedra inscribed in $S^2$, with approximately equal edges
Authors:
E. Makai, Jr
Abstract:
We consider triangle faced convex polyhedra inscribed in the unit sphere $S^2$ in ${\Bbb{R}}^3$. One way of measuring their deviation from regular polyhedra with triangular faces is to consider the quotient of the lengths of the longest and the shortest edges. If the number of faces tends to infinity, and the polyhedron with this number of faces varies, then the limit inferior of this quotient is…
▽ More
We consider triangle faced convex polyhedra inscribed in the unit sphere $S^2$ in ${\Bbb{R}}^3$. One way of measuring their deviation from regular polyhedra with triangular faces is to consider the quotient of the lengths of the longest and the shortest edges. If the number of faces tends to infinity, and the polyhedron with this number of faces varies, then the limit inferior of this quotient is $2 \sin 36^{\circ } = 1.1756 \ldots $.
△ Less
Submitted 6 September, 2019;
originally announced September 2019.
-
Inverse Blaschke-Santaló inequality for convex curves enclosing the origin several times
Authors:
K. J. Böröczky,
E. Makai Jr
Abstract:
H. Guggenheimer generalized the planar volume product problem for locally convex curves $C$ enclosing the origin $k \ge 2$ times. He conjectured that the minimal volume product $V(C)V(C^*)$ for these curves is attained if the curve consists of the longest diagonals of a regular $(2k+1)$-gon, with centre $0$, these diagonals taken always in the positive orientation. This conjectured minimum is of t…
▽ More
H. Guggenheimer generalized the planar volume product problem for locally convex curves $C$ enclosing the origin $k \ge 2$ times. He conjectured that the minimal volume product $V(C)V(C^*)$ for these curves is attained if the curve consists of the longest diagonals of a regular $(2k+1)$-gon, with centre $0$, these diagonals taken always in the positive orientation. This conjectured minimum is of the form $k^2 + O(k)$. We investigate special cases of this conjecture. We prove it for locally convex $n$-gons with $2k+1 \le n \le 4k$, if the central angles at $0$ of all sides are equal to $2k π/n$. For $4k+1 \le n$ we prove that for locally convex $n$-gons enclosing the origin $k \ge 2$ times the critical (stationary) values of the volume product $V(K)V(K^*)$ are attained exactly when up to a non-singular linear map the vertices lie on the unit circle about $0$, and the central angles of all sides are equal to $2k π/n$. For locally convex $n$-gons enclosing the origin $k \ge 2$ times, and inscribed to the unit circle, with $2k+1 \le n$, we prove the conjecture up to a multiplicative factor about $0.43$.
△ Less
Submitted 28 May, 2019;
originally announced May 2019.
-
Two nearly equal distances in $R^d$
Authors:
P. Erdős,
E. Makai, Jr.,
J. Pach
Abstract:
A set $\cal P$ of $n$ points in $R^d$ is separated if all distances of distinct points are at least~$1$. Then we may ask how many of these distances, with multiplicity, lie in an interval $[t, t + 1]$. The authors and J. Spencer proved that the maximum is $(n^2/2)(1 - 1/d) + O(1)$. The authors showed that for $d = 2$ and $\cal P$ separated, the maximal number of distances, with multiplicity, in th…
▽ More
A set $\cal P$ of $n$ points in $R^d$ is separated if all distances of distinct points are at least~$1$. Then we may ask how many of these distances, with multiplicity, lie in an interval $[t, t + 1]$. The authors and J. Spencer proved that the maximum is $(n^2/2)(1 - 1/d) + O(1)$. The authors showed that for $d = 2$ and $\cal P$ separated, the maximal number of distances, with multiplicity, in the union of $k$ unit intervals is $(n^2/2)$ $(1 - 1/(k + 1) + o(1))$. (In these papers the unit intervals could be replaced by intervals of length $\text{const}_d\cdot n^{1/d}$.) In this paper we show that for $k = 2$, and for any $n$, this maximal number is $(n^2/2)(1 - 1/m_{d - 1} + o(1))$, where $m_{d - 1}$ is the maximal size of a two-distance set in $R^{d - 1}$. (The value of $m_{d - 1}$ is known for $d - 1 \leq 8$, and for each $d$ it lies in $\left[\left({d\atop 2}\right), \left({d + 1\atop 2}\right)\right]$. For $d \neq 4,5$ we can replace unit intervals by intervals of length $\text{const}_d \cdot n^{1/d}$, and the maximum is the respective Turán number, for $n \geq n(d)$.) We also investigate a variant of this question, namely with $k$ intervals of the form $[t, t(1 + \varepsilon)]$, for $\varepsilon < \varepsilon (d, k)$, and for $n > n(d, k)$. Here the maximal number of distances, with multiplicity, in the union of $k$ such intervals is the Turán number $T(n, (d + 1)^k + 1)$. Several of these results were announced earlier by Makai-Pach-Spencer.
△ Less
Submitted 4 January, 2019;
originally announced January 2019.
-
A colouring problem for the dodecahedral graph
Authors:
Endre Makai, Jr.,
Tibor Tarnai
Abstract:
We consider vertex colourings of the dodecahedral graph with five colours, such that on each face the vertices are coloured with all the five colours. We show that the total number of these colourings is 240. All such colourings can be obtained from any given such colouring, by permuting the colours, and possibly applying central symmetry with respect to the centre of the regular dodecahedron. For…
▽ More
We consider vertex colourings of the dodecahedral graph with five colours, such that on each face the vertices are coloured with all the five colours. We show that the total number of these colourings is 240. All such colourings can be obtained from any given such colouring, by permuting the colours, and possibly applying central symmetry with respect to the centre of the regular dodecahedron. For any such colouring, the colour classes form the vertex sets of five regular tetrahedra. These tetrahedra together form one of the two compounds of five tetrahedra, inscribed in the regular dodecahedron. We give two proofs: a combinatorial one, and a geometrical one. Our result is related to the result in W. W. Rouse Ball -- H. S. M. Coxeter, stating that there are four such colourings, as follows. There are four such colourings, up to applying an arbitrary orientation-preserving congruence of the regular dodecahedron.
△ Less
Submitted 10 September, 2019; v1 submitted 20 December, 2018;
originally announced December 2018.
-
Five-neighbour packings of centrally symmetric convex discs
Authors:
Endre Makai Jr
Abstract:
In an old paper of the author the thinnest five-neighbour packing of translates of a convex disc (different from a parallelogram) was determined. The minimal density was $3/7$, and was attained for a certain packing of triangles. In that paper it was announced that for centrally symmetric convex plates (different from a parallelogram) the analogous minimal density was $9/14$, and was attained for…
▽ More
In an old paper of the author the thinnest five-neighbour packing of translates of a convex disc (different from a parallelogram) was determined. The minimal density was $3/7$, and was attained for a certain packing of triangles. In that paper it was announced that for centrally symmetric convex plates (different from a parallelogram) the analogous minimal density was $9/14$, and was attained for a certain packing of affine regular hexagons, and a very sketchy idea of the proof was given. In this paper we give details of this proof.
△ Less
Submitted 5 July, 2018;
originally announced July 2018.
-
On the structure of the set of algebraic elements in a Banach algebra and their liftings
Authors:
E. Makai, Jr.,
J. Zemánek
Abstract:
We generalize earlier results about connected components of idempotents in Banach algebras, due to B. Szőkefalvi Nagy, Y. Kato, S. Maeda, Z. V. Kovarik, J. Zemánek, J. Esterle. Let $A$ be a unital complex Banach algebra, and $p(λ) = \prod\limits_{i = 1}^n (λ- λ_i)$ a polynomial over $\Bbb C$, with all roots distinct. Let $E_p(A) := \{a \in A \mid p(a) = 0\}$. Then all connected components of…
▽ More
We generalize earlier results about connected components of idempotents in Banach algebras, due to B. Szőkefalvi Nagy, Y. Kato, S. Maeda, Z. V. Kovarik, J. Zemánek, J. Esterle. Let $A$ be a unital complex Banach algebra, and $p(λ) = \prod\limits_{i = 1}^n (λ- λ_i)$ a polynomial over $\Bbb C$, with all roots distinct. Let $E_p(A) := \{a \in A \mid p(a) = 0\}$. Then all connected components of $E_p(A)$ are pathwise connected (locally pathwise connected) via each of the following three types of paths: 1)~similarity via a finite product of exponential functions (via an exponential function); 2)~a polynomial path (a cubic polynomial path); 3)~a polygonal path (a polygonal path consisting of $n$ segments). If $A$ is a $C^*$-algebra, $λ_i \in \Bbb R$, let $S_p(A):= \{a\in A \mid a = a^*$, $p(a) = 0\}$. Then all connected components of $S_p(A)$ are pathwise connected (locally pathwise connected), via a path of the form $e^{-ic_mt}\dots e^{-ic_1t} ae^{ic_1t}\dots e^{ic_mt}$, where $c_i = c_i^*$, and $t \in [0, 1]$ (of the form $e^{-ict} ae^{ict}$, where $c = c^*$, and $t \in [0,1]$). For (self-adjoint) idempotents we have by these old papers that the distance of different connected components of them is at least~$1$. For $E_p(A)$, $S_p(A)$ we pose the problem if the distance of different connected components is at least $\min \bigl\{|λ_i - λ_j| \mid 1 \leq i,j \leq n, \ i \neq j\bigr\}$. For the case of $S_p(A)$, we give a positive lower bound for these distances, that depends on $λ_1, \dots, λ_n$. We show that several local and global lifting theorems for analytic families of idempotents, along analytic families of surjective Banach algebra homomorphisms, from our recent paper with B. Aupetit and M. Mbekhta, have analogues for elements of $E_p(A)$ and $S_p(A)$.
△ Less
Submitted 4 July, 2018;
originally announced July 2018.
-
Generalized forms of an overconstrained sliding mechanism consisting of two congruent tetrahedra
Authors:
Endre Makai, Jr.,
T. Tarnai
Abstract:
We investigate the motions of a bar structure consisting of two congruent tetrahedra, whose edges in their basic position form the face diagonals of a rectangular parallelepiped. The constraint of the motion is that the originally intersecting edges should remain coplanar. We determine all finite motions of our bar structure. This generalizes our earlier work, where we did the same for the case wh…
▽ More
We investigate the motions of a bar structure consisting of two congruent tetrahedra, whose edges in their basic position form the face diagonals of a rectangular parallelepiped. The constraint of the motion is that the originally intersecting edges should remain coplanar. We determine all finite motions of our bar structure. This generalizes our earlier work, where we did the same for the case when the rectangular parallelepiped was a cube. At the end of the paper we point out three further possibilities to generalize the question about the cube, and give for them examples of finite motions.
△ Less
Submitted 25 August, 2022; v1 submitted 4 July, 2018;
originally announced July 2018.
-
Ball characterizations in spaces of constant curvature
Authors:
J. Jerónimo-Castro,
E. Makai, Jr
Abstract:
High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to spherical, Euclidean and hyperbolic spaces, under some regularity assumptions. Suppose that in any of these spaces there is a pair of closed convex sets of class $C^2_+$ with interior points, di…
▽ More
High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to spherical, Euclidean and hyperbolic spaces, under some regularity assumptions. Suppose that in any of these spaces there is a pair of closed convex sets of class $C^2_+$ with interior points, different from the whole space, and the intersections of any congruent copies of these sets are centrally symmetric (provided they have non-empty interiors). Then our sets are congruent balls. Under the same hypotheses, but if we require only central symmetry of small intersections, then our sets are either congruent balls, or paraballs, or have as connected components of their boundaries congruent hyperspheres (and the converse implication also holds).
Under the same hypotheses, if we require central symmetry of all compact intersections, then either our sets are congruent balls or paraballs, or have as connected components of their boundaries congruent hyperspheres, and either $d \ge 3$, or $d=2$ and one of the sets is bounded by one hypercycle, or both sets are congruent parallel domains of straight lines, or there are no more compact intersections than those bounded by two finite hypercycle arcs (and the converse implication also holds).
We also prove a dual theorem. If in any of these spaces there is a pair of smooth closed convex sets, such that both of them have supporting spheres at any of their boundary points --- for $S^d$ of radius less than $ π/2$ --- and the closed convex hulls of any congruent copies of these sets are centrally symmetric, then our sets are congruent balls.
△ Less
Submitted 4 July, 2018; v1 submitted 3 August, 2017;
originally announced August 2017.
-
Densest packings of translates of strings and layers of balls
Authors:
K. Böröczky,
A. Heppes,
E. Makai Jr
Abstract:
Let $L \subset {\Bbb R}^3$ be the union of unit balls, whose centres lie on the $z$-axis, and are equidistant with distance $2d \in [2, 2\sqrt{2}]$. Then a packing of unit balls in ${\Bbb R}^3$ consisting of translates of $L$ has a density at most $π/(3d\sqrt{3-d^2})$, with equality for a certain lattice packing of unit balls. Let $L \subset {\Bbb R}^4$ be the union of unit balls, whose centres li…
▽ More
Let $L \subset {\Bbb R}^3$ be the union of unit balls, whose centres lie on the $z$-axis, and are equidistant with distance $2d \in [2, 2\sqrt{2}]$. Then a packing of unit balls in ${\Bbb R}^3$ consisting of translates of $L$ has a density at most $π/(3d\sqrt{3-d^2})$, with equality for a certain lattice packing of unit balls. Let $L \subset {\Bbb R}^4$ be the union of unit balls, whose centres lie on the $x_3x_4$ coordinate plane, and form either a square lattice or a regular triangular lattice, of edge length $2$. Then a packing of unit balls in ${\Bbb R}^4$ consisting of translates of $L$ has a density at most $π^2/16$, with equality for the densest lattice packing of unit balls in ${\Bbb R}^4$. This is the first class of non-lattice packings of unit balls in ${\Bbb R}^4$, for which this conjectured upper bound for the packing density of balls is proved. Our main tool for the proof is a theorem on $(r,R)$-systems in ${\Bbb R}^2$. If $R/r \le 2 \sqrt{2}$, then the Delone triangulation associated to this $(r,R)$-system has the following property. The average area of a Delone triangle is at least $\min \{ V_0, 2r^2 \} $, where $V_0$ is the infimum of the areas of the non-obtuse Delone triangles. This general theorem has applications also in other problems about packings: namely for $2r^2 \ge V_0$ it is sufficient to deal only with the non-obtuse Delone triangles, which is in general a much easier task. Still we give a proof of an unpublished theorem of L. Fejes Tóth and E (=J.) Székely: for the $2$-dimensional analogue of our question about equidistant strings of unit balls, we determine the densest packing of translates of an equidistant string of unit circles with distance $2d$, for the first non-trivial interval $2d \in (2{\sqrt{3}},4)$.
△ Less
Submitted 16 June, 2017;
originally announced June 2017.
-
Density estimates for $k$-impassable lattices of balls and general convex bodies in ${\Bbb R}^n$
Authors:
E. Makai, Jr.,
H. Martini
Abstract:
G. Fejes Tóth posed the following problem: Determine the infimum of the densities of the lattices of closed balls in $\bR^n$ such that each affine $k$-subspace $(0 \le k \le n-1)$ of $\bR^n$ intersects some ball of the lattice. We give a lower estimate for any $n,k$ like above. If, in the problem posed by G. Fejes Tóth, we replace the ball $B^n$ by a (centrally symmetric) convex body…
▽ More
G. Fejes Tóth posed the following problem: Determine the infimum of the densities of the lattices of closed balls in $\bR^n$ such that each affine $k$-subspace $(0 \le k \le n-1)$ of $\bR^n$ intersects some ball of the lattice. We give a lower estimate for any $n,k$ like above. If, in the problem posed by G. Fejes Tóth, we replace the ball $B^n$ by a (centrally symmetric) convex body $K\subset \bR^n$, we may ask for the infimum of all above infima of densities of lattices of translates of $K$ with the above property, when $K$ ranges over all (centrally symmetric) convex bodies in $\bR^n$. For these quantities we give lower estimates as well, which are sharp, or almost sharp, for certain classes of convex bodies $K$. For $k=n-1$ we give an upper estimate for the supremum of all above infima of densities, $K$ also ranging as above (i.e., a "minimax" problem). For $n=2$ our estimate is rather close to the conjecturable maximum. We point out the connection of the above questions to the following problem: Find the largest radius of a cylinder, with base an $(n-1)$-ball, that can be fitted into any lattice packing of balls (actually, here balls can be replaced by some convex bodies $K \subset \bR^n$, the axis of the cylinder may be $k$-dimensional and its basis has to be chosen suitably). Among others we complete the proof of a theorem of I. Hortobágyi from 1971. Our proofs for the lower estimates of densities for balls, and for the cylinder problem, follow quite closely a paper of J. Horváth from 1970. This paper is also an addendum to a paper of the first named author from 1978 in the sense that to some arguments given there not in a detailed manner, we give here for all of these complete proofs.
△ Less
Submitted 5 December, 2016;
originally announced December 2016.
-
Weak and strong structures and the $T_{3.5}$ property for generalized topological spaces
Authors:
E. Makai, Jr.,
E. Peyghan,
B. Samadi
Abstract:
We investigate weak and strong structures for generalized topological spaces, among others products, sums, subspaces, quotients, and the complete lattice of generalized topologies on a given set. Also we introduce $T_{3.5}$ generalized topological spaces and give a necessary and sufficient condition for a generalized topological space to be a $T_{3.5}$ space: they are exactly the subspaces of powe…
▽ More
We investigate weak and strong structures for generalized topological spaces, among others products, sums, subspaces, quotients, and the complete lattice of generalized topologies on a given set. Also we introduce $T_{3.5}$ generalized topological spaces and give a necessary and sufficient condition for a generalized topological space to be a $T_{3.5}$ space: they are exactly the subspaces of powers of a certain natural generalized topology on $[0,1]$. For spaces with at least two points here we can have even dense subspaces. Also, $T_{3.5}$ generalized topological spaces are exactly the dense subspaces of compact $T_4$ generalized topological spaces. We show that normality is productive for generalized topological spaces. For compact generalized topological spaces we prove the analogue of the Tychonoff product theorem. We prove that also Lindelöfness (and $κ$-compactness) is productive for generalized topological spaces. On any ordered set we introduce a generalized topology and determine the continuous maps between two such generalized topological spaces: for $|X|, |Y| \ge 2$ they are the monotonous maps continuous between the respective order topologies. We investigate the relation of sums and subspaces of generalized topological spaces to ways of defining generalized topological spaces.
△ Less
Submitted 13 April, 2016; v1 submitted 11 April, 2016;
originally announced April 2016.
-
Unique local determination of convex bodies
Authors:
E. Makai, Jr.,
H. Martini
Abstract:
Barker and Larman asked the following. Let $K' \subset {\Bbb{R}}^d$ be a convex body, whose interior contains a given convex body $K \subset {\Bbb{R}}^d$, and let, for all supporting hyperplanes $H$ of $K$, the $(d-1)$-volumes of the intersections $K' \cap H$ be given. Is $K'$ then uniquely determined? Yaskin and Zhang asked the analogous question when, for all supporting hyperplanes $H$ of $K$, t…
▽ More
Barker and Larman asked the following. Let $K' \subset {\Bbb{R}}^d$ be a convex body, whose interior contains a given convex body $K \subset {\Bbb{R}}^d$, and let, for all supporting hyperplanes $H$ of $K$, the $(d-1)$-volumes of the intersections $K' \cap H$ be given. Is $K'$ then uniquely determined? Yaskin and Zhang asked the analogous question when, for all supporting hyperplanes $H$ of $K$, the $d$-volumes of the "caps" cut off from $K'$ by $H$ are given. We give local positive answers to both of these questions, for small $C^2$-perturbations of $K$, provided the boundary of $K$ is $C^2_+$. In both cases, $(d-1)$-volumes or $d$-volumes can be replaced by $k$-dimensional quermassintegrals for $1 \le k \le d-1$ or for $1 \le k \le d$, respectively. Moreover, in the first case we can admit, rather than hyperplane sections, sections by $l$-dimensional affine planes, where $1 \le k \le l \le d-1$. In fact, here not all $l$-dimensional affine subspaces are needed, but only a small subset of them (actually, a $(d-1)$-manifold), for unique local determination of $K'$.
△ Less
Submitted 2 February, 2016;
originally announced February 2016.
-
Pairs of convex bodies in $S^d$, ${\Bbb R}^d$ and $H^d$, with symmetric intersections of their congruent copies
Authors:
J. Jerónimo-Castro,
E. Makai Jr
Abstract:
High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to spherical and hyperbolic planes. If in any of these planes, or in ${\Bbb R}^2$, there is a pair of closed convex sets with interior points, and the intersections of any congruent copies of these…
▽ More
High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to spherical and hyperbolic planes. If in any of these planes, or in ${\Bbb R}^2$, there is a pair of closed convex sets with interior points, and the intersections of any congruent copies of these sets are centrally symmetric, then, under some mild hypotheses, our sets are congruent circles, or, for ${\Bbb R}^2$, two parallel strips. We prove the analogue of this statement, for $S^d$, ${\Bbb R}^d$, $H^d$, if we suppose $C^2_+$: again, our sets are congruent balls. In $S^2$, ${\Bbb R}^2$ and $H^2$ we investigate a variant of this question: supposing that the numbers of connected components of the boundaries of both sets are finite, we exactly describe all pairs of such closed convex sets, with interior points, whose any congruent copies have an intersection with axial symmetry (there are 1, 5 or 9 cases, respectively).
△ Less
Submitted 18 January, 2016;
originally announced January 2016.
-
Nice connecting paths in connected components of sets of algebraic elements in a Banach algebra
Authors:
E. Makai, Jr.,
Jaroslav Zemánek
Abstract:
Generalizing earlier results about the set of idempotents in a Banach algebra, or of self-adjoint idempotents in a $C^*$-algebra, we announce constructions of nice connecting paths in the connected components of the set of elements in a Banach algebra, or of self-adjoint elements in a $C^*$-algebra, that satisfy a given polynomial equation, without multiple roots. In particular, we will prove that…
▽ More
Generalizing earlier results about the set of idempotents in a Banach algebra, or of self-adjoint idempotents in a $C^*$-algebra, we announce constructions of nice connecting paths in the connected components of the set of elements in a Banach algebra, or of self-adjoint elements in a $C^*$-algebra, that satisfy a given polynomial equation, without multiple roots. In particular, we will prove that in the Banach algebra case every such non-central element lies on a complex line, all of whose points satisfy the given equation. We also formulate open questions.
△ Less
Submitted 7 January, 2016;
originally announced January 2016.
-
Volume product of planar polar convex bodies --- lower estimates with stability
Authors:
K. J. Böröczky,
E. Makai Jr.,
M. Meyer,
S. Reisner
Abstract:
Let $K \subset {\mathbb R}^2$ be an $o$-symmetric convex body, and $K^*$ its polar body. Then we have $|K|\cdot |K^*| \ge 8$, with equality if and only if $K$ is a parallelogram. ($| \cdot |$ denotes volume). If $K \subset {\mathbb R}^2$ is a convex body, with $o \in {\text{int}}\,K$, then $|K|\cdot |K^*| \ge 27/4$, with equality if and only if $K$ is a triangle and $o$ is its centroid. If…
▽ More
Let $K \subset {\mathbb R}^2$ be an $o$-symmetric convex body, and $K^*$ its polar body. Then we have $|K|\cdot |K^*| \ge 8$, with equality if and only if $K$ is a parallelogram. ($| \cdot |$ denotes volume). If $K \subset {\mathbb R}^2$ is a convex body, with $o \in {\text{int}}\,K$, then $|K|\cdot |K^*| \ge 27/4$, with equality if and only if $K$ is a triangle and $o$ is its centroid. If $K \subset {\mathbb R}^2$ is a convex body, then we have $|K| \cdot |[(K-K)/2)]^* | \ge 6$, with equality if and only if $K$ is a triangle. These theorems are due to Mahler and Reisner, Mahler and Meyer, and to Eggleston, respectively. We show an analogous theorem: if $K$ has $n$-fold rotational symmetry about $o$, then $|K|\cdot |K^*| \ge n^2 \sin ^2 ( π/n)$, with equality if and only if $K$ is a regular $n$-gon of centre $o$. We will also give stability variants of these four inequalities, both for the body, and for the centre of polarity. For this we use the Banach-Mazur distance (from parallelograms, or triangles), or its analogue with similar copies rather than affine transforms (from regular $n$-gons), respectively. The stability variants are sharp, up to constant factors. We extend the inequality $|K|\cdot |K^*| \ge n^2 \sin ^2 ( π/n)$ to bodies with $o \in {\text{int}}\,K$, which contain, and are contained in, two regular $n$-gons, the vertices of the contained $n$-gon being incident to the sides of the containing $n$-gon. Our key lemma is a stability estimate for the area product of two sectors of convex bodies polar to each other. To several of our statements we give several proofs; in particular, we give a new proof for the theorem of Mahler-Reisner.
△ Less
Submitted 6 July, 2015;
originally announced July 2015.
-
The recent status of the volume product problem
Authors:
E. Makai Jr
Abstract:
In this small survey we consider the volume product, and sketch some of the best upper and lower estimates known up to now, based on our paper [BMMR]. The author thanks the organizers of the conference in Jurata, March 2010, for their kind invitation, and the excellent atmosphere there. This paper is based on the talk of the author on that conference.
In this small survey we consider the volume product, and sketch some of the best upper and lower estimates known up to now, based on our paper [BMMR]. The author thanks the organizers of the conference in Jurata, March 2010, for their kind invitation, and the excellent atmosphere there. This paper is based on the talk of the author on that conference.
△ Less
Submitted 6 July, 2015;
originally announced July 2015.
-
Centrally symmetric convex bodies and sections having maximal quermassintegrals
Authors:
E. Makai Jr.,
H. Martini
Abstract:
Let $d \ge 2$, and let $K \subset {\Bbb{R}}^d$ be a convex body containing the origin $0$ in its interior. In a previous paper we have proved the following. The body $K$ is $0$-symmetric if and only if the following holds. For each $ω\in S^{d-1}$, we have that the $(d-1)$-volume of the intersection of $K$ and an arbitrary hyperplane, with normal $ω$, attains its maximum if the hyperplane contains…
▽ More
Let $d \ge 2$, and let $K \subset {\Bbb{R}}^d$ be a convex body containing the origin $0$ in its interior. In a previous paper we have proved the following. The body $K$ is $0$-symmetric if and only if the following holds. For each $ω\in S^{d-1}$, we have that the $(d-1)$-volume of the intersection of $K$ and an arbitrary hyperplane, with normal $ω$, attains its maximum if the hyperplane contains $0$. An analogous theorem, for $1$-dimensional sections and $1$-volumes, has been proved long ago by Hammer (\cite{H}). In this paper we deal with the ($(d-2)$-dimensional) surface area, or with lower dimensional quermassintegrals of these intersections, and prove an analogous, but local theorem, for small $C^2$-perturbations, or $C^3$-perturbations of the Euclidean unit ball, respectively.
△ Less
Submitted 6 July, 2015;
originally announced July 2015.
-
Local and global liftings of analytic families of idempotents in Banach algebras
Authors:
Bernard Aupetit,
Endre Makai, Jr.,
Mostafa Mbekhta,
Jaroslav Zemánek
Abstract:
Generalizing results of our earlier paper, we investigate the following question. Let $π(λ) : A \to B$ be an analytic family of surjective homomorphisms between two Banach algebras, and $q(λ)$ an analytic family of idempotents in $B$. We want to find an analytic family $p(λ)$ of idempotents in $A$, lifting $q(λ)$, i.e., such that $π(λ)p(λ) = q(λ)$, under hypotheses of the type that the elements of…
▽ More
Generalizing results of our earlier paper, we investigate the following question. Let $π(λ) : A \to B$ be an analytic family of surjective homomorphisms between two Banach algebras, and $q(λ)$ an analytic family of idempotents in $B$. We want to find an analytic family $p(λ)$ of idempotents in $A$, lifting $q(λ)$, i.e., such that $π(λ)p(λ) = q(λ)$, under hypotheses of the type that the elements of $\text{Ker}\, π(λ)$ have small spectra. For spectra which do not disconnect $\Bbb C$ we obtain a local lifting theorem. For real analytic families of surjective $^*$-homomorphisms (for continuous involutions) and self-adjoint idempotents we obtain a local lifting theorem, for totally disconnected spectra. We obtain a global lifting theorem if the spectra of the elements in $\text{Ker}\, π(λ)$ are $\{0\}$, both in the analytic case, and, for $^*$-algebras (with continuous involutions) and self-adjoint idempotents, in the real analytic case. Here even an at most countably infinite set of mutually orthogonal analytic families of idempotents can be lifted to mutually orthogonal analytic families of idempotents. In the proofs, spectral theory is combined with complex analysis and general topology, and even a connection with potential theory is mentioned.
△ Less
Submitted 4 February, 2016; v1 submitted 18 November, 2014;
originally announced November 2014.
-
On a theorem of D. Ryabogin and V. Yaskin about detecting symmetry
Authors:
E. Makai, Jr.,
H. Martini,
T. Ódor
Abstract:
We give a simple deduction of a recent theorem of D. Ryabogin and V. Yaskin, about detecting symmetry of star bodies in ${\Bbb{R}}^n$ with $C^1$ radial functions --- via their conical section functions --- from an older theorem of us.
We give a simple deduction of a recent theorem of D. Ryabogin and V. Yaskin, about detecting symmetry of star bodies in ${\Bbb{R}}^n$ with $C^1$ radial functions --- via their conical section functions --- from an older theorem of us.
△ Less
Submitted 17 November, 2014;
originally announced November 2014.
-
Remarks on planar Blaschke-Santaló inequality
Authors:
K. J. Böröczky,
E. Makai Jr
Abstract:
We prove the Blaschke-Santaló inequality restricted to $n$-gons: the extremal polygons are the affine regular $n$-gons. If either the John or the Löwner ellipse of a planar $o$-symmetric convex body $K$ is the unit circle about $o$, then a sharpening of the Blaschke-Santaló inequality holds: even the aritmetic mean $\left( V(K) + V( K^*) \right) /2 $ is at least $π$. We give stability variants of…
▽ More
We prove the Blaschke-Santaló inequality restricted to $n$-gons: the extremal polygons are the affine regular $n$-gons. If either the John or the Löwner ellipse of a planar $o$-symmetric convex body $K$ is the unit circle about $o$, then a sharpening of the Blaschke-Santaló inequality holds: even the aritmetic mean $\left( V(K) + V( K^*) \right) /2 $ is at least $π$. We give stability variants of the Blaschke-Santaló inequality for the plane. If for some $n \ge 3$ the planar convex body $K$ is $n$-fold rotationally symmetric about $o$, then we give the exact maximum of $V(K^*)$, as a function of $V(K)$ and the area of either the John or the Löwner ellipse.
△ Less
Submitted 14 November, 2014;
originally announced November 2014.
-
Epireflective subcategories of Top, $T_2$Unif, Unif, closed under epimorphic images, or being algebraic
Authors:
E. Makai Jr
Abstract:
The epireflective subcategories of ${\bold{Top}}$, that are closed under epimorphic (or bimorphic) images, are $\{X \mid |X| \le 1 \} $, $\{X \mid X$ is indiscrete$\} $ and ${\bold{Top}}$. The epireflective subcategories of ${\bold{T_2Unif}}$, closed under epimorphic images, are: $\{X \mid |X| \le 1 \} $, $\{X \mid X$ is compact $T_2 \} $, $\{X \mid $ covering character of $X$ is $ \le λ_0 \} $ (w…
▽ More
The epireflective subcategories of ${\bold{Top}}$, that are closed under epimorphic (or bimorphic) images, are $\{X \mid |X| \le 1 \} $, $\{X \mid X$ is indiscrete$\} $ and ${\bold{Top}}$. The epireflective subcategories of ${\bold{T_2Unif}}$, closed under epimorphic images, are: $\{X \mid |X| \le 1 \} $, $\{X \mid X$ is compact $T_2 \} $, $\{X \mid $ covering character of $X$ is $ \le λ_0 \} $ (where $λ_0$ is an infinite cardinal), and ${\bold{T_2Unif}}$. The epireflective subcategories of ${\bold{Unif}}$, closed under epimorphic (or bimorphic) images, are: $\{X \mid |X| \le 1 \} $, $\{X \mid X$ is indiscrete$\} $, $\{X \mid $ covering character of $X$ is $ \le λ_0 \} $ (where $λ_0$ is an infinite cardinal), and ${\bold{Unif}}$. The epireflective subcategories of ${\bold{Top}}$, that are algebraic categories, are $\{X \mid |X| \le 1 \} $, and $\{X \mid X$ is indiscrete$\} $. The subcategories of ${\bold{Unif}}$, closed under products and closed subspaces and being varietal, are $\{X \mid |X| \le 1 \} $, $\{X \mid X$ is indiscrete$\} $, $\{X \mid X$ is compact $T_2 \} $. The subcategories of ${\bold{Unif}}$, closed under products and closed subspaces and being algebraic, are $\{X \mid X$ is indiscrete$ \} $, and all epireflective subcategories of $\{X \mid X$ is compact $T_2 \} $. Also we give a sharpened form of a theorem of Kannan-Soundararajan about classes of $T_3$ spaces, closed for products, closed subspaces and surjective images.
△ Less
Submitted 4 July, 2014;
originally announced July 2014.
-
The infimum of the volumes of convex polytopes of any given facet areas is 0
Authors:
N. V. Abrosimov,
E. Makai, Jr.,
A. D. Mednykh,
Yu. G. Nikonorov,
G. Rote
Abstract:
We prove the theorem mentioned in the title, for ${\mathbb{R}}^n$, where $n \ge 3$. The case of the simplex was known previously. Also, the case $n=2$ was settled, but there the infimum was some well-defined function of the side lengths. We also consider the cases of spherical and hyperbolic $n$-spaces. There we give some necessary conditions for the existence of a convex polytope with given facet…
▽ More
We prove the theorem mentioned in the title, for ${\mathbb{R}}^n$, where $n \ge 3$. The case of the simplex was known previously. Also, the case $n=2$ was settled, but there the infimum was some well-defined function of the side lengths. We also consider the cases of spherical and hyperbolic $n$-spaces. There we give some necessary conditions for the existence of a convex polytope with given facet areas, and some partial results about sufficient conditions for the existence of (convex) tetrahedra.
△ Less
Submitted 21 October, 2014; v1 submitted 24 April, 2013;
originally announced April 2013.
-
Inscribing cubes and covering by rhombic dodecahedra via equivariant topology
Authors:
Tamas Hausel,
Endre Makai Jr.,
Andras Szucs
Abstract:
First, we prove a special case of Knaster's problem, implying that each symmetric convex body in R^3 admits an inscribed cube. We deduce it from a theorem in equivariant topology, which says that there is no S_4-equivariant map from SO(3) to S^2, where S_4 acts on SO(3) as the rotation group of the cube and on S^2 as the symmetry group of the regular tetrahedron. We also give some generalization…
▽ More
First, we prove a special case of Knaster's problem, implying that each symmetric convex body in R^3 admits an inscribed cube. We deduce it from a theorem in equivariant topology, which says that there is no S_4-equivariant map from SO(3) to S^2, where S_4 acts on SO(3) as the rotation group of the cube and on S^2 as the symmetry group of the regular tetrahedron. We also give some generalizations.
Second, we show how the above non-existence theorem yields Makeev's conjecture in R^3 that each set in R^3 of diameter 1 can be covered by a rhombic dodecahedron, which has distance 1 between its opposite faces. This reveals an unexpected connection between inscribing cubes into symmetric bodies and covering sets by rhombic dodecahedra.
Finally, we point out a possible application of our second theorem to the Borsuk problem in R^3.
(Similar results were obtained recently by V.V. Makeev and independently by G. Kuperberg (cf. math.MG/9809165).)
△ Less
Submitted 20 April, 2000; v1 submitted 10 June, 1999;
originally announced June 1999.
