Showing 1–50 of 51 results for author: Boroczky, K J

Uniqueness when the $L_p$ curvature is close to be a constant for $p\in[0,1)$

Authors: Károly J. Böröczky, Christos Saroglou

Abstract: For fixed positive integer $n$, $p\in[0,1]$, $a\in(0,1)$, we prove that if a function $g:\mathbb{S}^{n-1}\to \mathbb{R}$ is sufficiently close to 1, in the $C^a$ sense, then there exists a unique convex body $K$ whose $L_p$ curvature function equals $g$. This was previously established for $n=3$, $p=0$ by Chen, Feng, Liu \cite{CFL22} and in the symmetric case by Chen, Huang, Li, Liu \cite{CHLL20}.… ▽ More For fixed positive integer $n$, $p\in[0,1]$, $a\in(0,1)$, we prove that if a function $g:\mathbb{S}^{n-1}\to \mathbb{R}$ is sufficiently close to 1, in the $C^a$ sense, then there exists a unique convex body $K$ whose $L_p$ curvature function equals $g$. This was previously established for $n=3$, $p=0$ by Chen, Feng, Liu \cite{CFL22} and in the symmetric case by Chen, Huang, Li, Liu \cite{CHLL20}. Related, we show that if $p=0$ and $n=4$ or $n\leq 3$ and $p\in[0,1)$, and the $L_p$ curvature function $g$ of a (sufficiently regular, containing the origin) convex body $K$ satisfies $λ^{-1}\leq g\leq λ$, for some $λ>1$, then $\max_{x\in\mathbb{S}^{n-1}}h_K(x)\leq C(p,λ)$, for some constant $C(p,λ)>0$ that depends only on $p$ and $λ$. This also extends a result from Chen, Feng, Liu \cite{CFL22}. Along the way, we obtain a result, that might be of independent interest, concerning the question of when the support of the $L_p$ surface area measure is lower dimensional. Finally, we establish a strong non-uniqueness result for the $L_p$-Minkowksi problem, for $-n<p<0$. △ Less

Submitted 4 May, 2024; v1 submitted 7 August, 2023; originally announced August 2023.

Comments: 27 pages

MSC Class: Primary: 52A20; Secondary: 52A38; 52A39

Anisotropic flow, entropy and $L^p$-Minkowski problem

Authors: Károly J. Böröczky, Pengfei Guan

Abstract: We provide a natural simple argument using anistropic flows to prove the existence of weak solutions to Lutwak's $L^p$-Minkowski problem on $S^n$ which were obtained by other methods. We provide a natural simple argument using anistropic flows to prove the existence of weak solutions to Lutwak's $L^p$-Minkowski problem on $S^n$ which were obtained by other methods. △ Less

Submitted 22 July, 2023; originally announced July 2023.

Hyperbolic width functions and characterizations of bodies of constant width in the hyperbolic space

Authors: Károly J. Böröczky, András Csépai, Ádám Sagmeister

Abstract: We discuss basic properties of several different width functions in the $n$-dimensional hyperbolic space such as continuity, and we also define a new hyperbolic width as the extension of Leichtweiss' width function. Then we prove a characterization theorem of bodies of constant width regarding the aforementioned notions of hyperbolic width. We discuss basic properties of several different width functions in the $n$-dimensional hyperbolic space such as continuity, and we also define a new hyperbolic width as the extension of Leichtweiss' width function. Then we prove a characterization theorem of bodies of constant width regarding the aforementioned notions of hyperbolic width. △ Less

Submitted 19 January, 2024; v1 submitted 29 March, 2023; originally announced March 2023.

Comments: 19 pages, 4 figures

MSC Class: 52A55

A quantitative stability result for the sphere packing problem in dimensions 8 and 24

Authors: Károly J. Böröczky, Danylo Radchenko, João P. G. Ramos

Abstract: We prove explicit stability estimates for the sphere packing problem in dimensions 8 and 24, showing that, in the lattice case, if a lattice is $\sim \varepsilon$ close to satisfying the optimal density, then it is, in a suitable sense, $O(\varepsilon^{1/2})$ close to the $E_8$ and Leech lattices, respectively. In the periodic setting, we prove that, under the same assumptions, we may take a large… ▽ More We prove explicit stability estimates for the sphere packing problem in dimensions 8 and 24, showing that, in the lattice case, if a lattice is $\sim \varepsilon$ close to satisfying the optimal density, then it is, in a suitable sense, $O(\varepsilon^{1/2})$ close to the $E_8$ and Leech lattices, respectively. In the periodic setting, we prove that, under the same assumptions, we may take a large 'frame' through which our packing locally looks like $E_8$ or $Λ_{24}.$ Our methods make explicit use of the magic functions constructed by M. Viazovska in dimension 8 and by H. Cohn, A. Kumar, S. Miller, the second author, and M. Viazovska in dimension 24, together with results of independent interest on the abstract stability of the lattices $E_8$ and $Λ_{24}.$ △ Less

Submitted 10 January, 2024; v1 submitted 14 March, 2023; originally announced March 2023.

Comments: 24 pages

The Logarithmic Minkowski conjecture and the $L_p$-Minkowski Problem

Authors: Karoly J. Boroczky

Abstract: The current state of art concerning the $L_p$ Minkowski problem as a Monge-Ampere equation on the sphere and Lutwak's Logarithmic Minkowski conjecture about the uniqueness of even solution in the $p=0$ case are surveyed and connections to many related problems are discussed. The current state of art concerning the $L_p$ Minkowski problem as a Monge-Ampere equation on the sphere and Lutwak's Logarithmic Minkowski conjecture about the uniqueness of even solution in the $p=0$ case are surveyed and connections to many related problems are discussed. △ Less

Submitted 23 January, 2024; v1 submitted 1 October, 2022; originally announced October 2022.

Stability of the isodiametric problem on the sphere and in the hyperbolic space

Authors: Károly J. Böröczky, Ádám Sagmeister

Abstract: We prove a stability version of the isodiametric inequality on the sphere and in the hyperbolic space. We prove a stability version of the isodiametric inequality on the sphere and in the hyperbolic space. △ Less

Submitted 15 December, 2022; v1 submitted 6 July, 2022; originally announced July 2022.

Convex bodies of constant width in spaces of constant curvature and the extremal area of Reuleaux triangles

Authors: Karoly J. Boroczky, Adam Sagmeister

Abstract: Extending Blaschke and Lebesgue's classical result in the Euclidean plane, it has been recently proved in spherical and the hyperbolic cases, as well, that Reuleaux triangles have the minimal area among convex domains of constant width $D$. We prove an essentially optimal stability version of this statement in each of the three types of surfaces of constant curvature. In addition, we summarize the… ▽ More Extending Blaschke and Lebesgue's classical result in the Euclidean plane, it has been recently proved in spherical and the hyperbolic cases, as well, that Reuleaux triangles have the minimal area among convex domains of constant width $D$. We prove an essentially optimal stability version of this statement in each of the three types of surfaces of constant curvature. In addition, we summarize the fundamental properties of convex bodies of constant width in spaces of constant curvature, and provide a characterization in the hyperbolic case in terms of horospheres. △ Less

Submitted 30 March, 2022; originally announced March 2022.

The case of equality in geometric instances of Barthe's reverse Brascamp-Lieb inequalit

Authors: Karoly J. Boroczky, Pavlos Kalantzopoulos, Dongmeng Xi

Abstract: The works of Bennett, Carbery, Christ, Tao and of Valdimarsson have clarified when equality holds in the Brascamp-Lieb inequality. Here we characterize the case of equality in the Geometric case of Barthe's reverse Brascamp-Lieb inequality. The works of Bennett, Carbery, Christ, Tao and of Valdimarsson have clarified when equality holds in the Brascamp-Lieb inequality. Here we characterize the case of equality in the Geometric case of Barthe's reverse Brascamp-Lieb inequality. △ Less

Submitted 29 November, 2022; v1 submitted 2 March, 2022; originally announced March 2022.

A quantitative stability result for the Prékopa-Leindler inequality for arbitrary measurable functions

Authors: Károly J. Böröczky, Alessio Figalli, João P. G. Ramos

Abstract: We prove that if a triplet of functions satisfies almost equality in the Prékopa-Leindler inequality, then these functions are close to a common log-concave function, up to multiplication and rescaling. Our result holds for general measurable functions in all dimensions, and provides a quantitative stability estimate with computable constants. We prove that if a triplet of functions satisfies almost equality in the Prékopa-Leindler inequality, then these functions are close to a common log-concave function, up to multiplication and rescaling. Our result holds for general measurable functions in all dimensions, and provides a quantitative stability estimate with computable constants. △ Less

Submitted 27 January, 2022; originally announced January 2022.

Comments: 37 pages, 0 figures

Reverse Alexandrov--Fenchel inequalities for zonoids

Authors: Károly J. Böröczky, Daniel Hug

Abstract: The Alexandrov--Fenchel inequality bounds from below the square of the mixed volume $V(K_1,K_2,K_3,\ldots,K_n)$ of convex bodies $K_1,\ldots,K_n$ in $\mathbb{R}^n$ by the product of the mixed volumes $V(K_1,K_1,K_3,\ldots,K_n)$ and $V(K_2,K_2,K_3,\ldots,K_n)$. As a consequence, for integers $α_1,\ldots,α_m\in\mathbb{N}$ with $α_1+\cdots+α_m=n$ the product… ▽ More The Alexandrov--Fenchel inequality bounds from below the square of the mixed volume $V(K_1,K_2,K_3,\ldots,K_n)$ of convex bodies $K_1,\ldots,K_n$ in $\mathbb{R}^n$ by the product of the mixed volumes $V(K_1,K_1,K_3,\ldots,K_n)$ and $V(K_2,K_2,K_3,\ldots,K_n)$. As a consequence, for integers $α_1,\ldots,α_m\in\mathbb{N}$ with $α_1+\cdots+α_m=n$ the product $V_n(K_1)^{\frac{α_1}{n}}\cdots V_n(K_m)^{\frac{α_m}{n}} $ of suitable powers of the volumes $V_n(K_i)$ of the convex bodies $K_i$, $i=1,\ldots,m$, is a lower bound for the mixed volume $V(K_1[α_1],\ldots,K_m[α_m])$, where $α_i$ is the multiplicity with which $K_i$ appears in the mixed volume. It has been conjectured by Ulrich Betke and Wolfgang Weil that there is a reverse inequality, that is, a sharp upper bound for the mixed volume $V(K_1[α_1],\ldots,K_m[α_m])$ in terms of the product of the intrinsic volumes $V_{α_i}(K_i)$, for $i=1,\ldots,m$. The case where $m=2$, $α_1=1$, $α_2=n-1$ has recently been settled by the present authors (2020). The case where $m=3$, $α_1=α_2=1$, $α_3=n-2$ has been treated by Artstein-Avidan, Florentin, Ostrover (2014) under the assumption that $K_2$ is a zonoid and $K_3$ is the Euclidean unit ball. The case where $α_2=\cdots=α_m=1$, $K_1$ is the unit ball and $K_2,\ldots,K_m$ are zonoids has been considered by Hug, Schneider (2011). Here we substantially generalize these previous contributions, in cases where most of the bodies are zonoids, and thus we provide further evidence supporting the conjectured reverse Alexandrov--Fenchel inequality. The equality cases in all considered inequalities are characterized. More generally, stronger stability results are established as well. △ Less

Submitted 24 June, 2021; originally announced June 2021.

MSC Class: Primary 52A39; 52A40; 52A10; Secondary 52A25; 52A38

Extremizers and stability of the Betke--Weil inequality

Authors: Ferenc A. Bartha, Ferenc Bencs, Károly J. Böröczky, Daniel Hug

Abstract: Let $K$ be a compact convex domain in the Euclidean plane. The mixed area $A(K,-K)$ of $K$ and $-K$ can be bounded from above by $1/(6\sqrt{3})L(K)^2$, where $L(K)$ is the perimeter of $K$. This was proved by Ulrich Betke and Wolfgang Weil (1991). They also showed that if $K$ is a polygon, then equality holds if and only if $K$ is a regular triangle. We prove that among all convex domains, equalit… ▽ More Let $K$ be a compact convex domain in the Euclidean plane. The mixed area $A(K,-K)$ of $K$ and $-K$ can be bounded from above by $1/(6\sqrt{3})L(K)^2$, where $L(K)$ is the perimeter of $K$. This was proved by Ulrich Betke and Wolfgang Weil (1991). They also showed that if $K$ is a polygon, then equality holds if and only if $K$ is a regular triangle. We prove that among all convex domains, equality holds only in this case, as conjectured by Betke and Weil. This is achieved by establishing a stronger stability result for the geometric inequality $6\sqrt{3}A(K,-K)\le L(K)^2$. △ Less

Submitted 22 March, 2021; originally announced March 2021.

MSC Class: Primary 52A39; 52A40; 52A10; Secondary 52A25; 52A38

Stable solution of the log-Minkowski problem in the case of many hyperplane symmetries

Authors: Karoly J. Boroczky, Apratim De

Abstract: In the case of symmetries with respect to n independent linear hyperplanes, the stability of the solution of the Logarithmic Minkowski problem on S^{n-1} is established. In the case of symmetries with respect to n independent linear hyperplanes, the stability of the solution of the Logarithmic Minkowski problem on S^{n-1} is established. △ Less

Submitted 10 March, 2021; v1 submitted 9 January, 2021; originally announced January 2021.

MSC Class: Primary: 35J96; Secondary: 52A40

Stability of the Prekopa-Leindler inequality for log-concave functions

Authors: Karoly J. Boroczky, Apratim De

Abstract: Stability version of the Prekopa-Leindler inequality for log-concave functions on the n-dimensional Euclidean space is established. Stability version of the Prekopa-Leindler inequality for log-concave functions on the n-dimensional Euclidean space is established. △ Less

Submitted 5 April, 2021; v1 submitted 30 July, 2020; originally announced July 2020.

MSC Class: 26D15

Dimension of the space of unitary equivariant translation invariant tensor valuations

Authors: K. J. Böröczky, M. Domokos, G. Solanes

Abstract: Following the work of Semyon Alesker in the scalar valued case and of Thomas Wannerer in the vector valued case, the dimensions of the spaces of continuous translation invariant and unitary equivariant tensor valuations are computed. In addition, a basis in the vector valued case is presented. Following the work of Semyon Alesker in the scalar valued case and of Thomas Wannerer in the vector valued case, the dimensions of the spaces of continuous translation invariant and unitary equivariant tensor valuations are computed. In addition, a basis in the vector valued case is presented. △ Less

Submitted 16 September, 2020; v1 submitted 10 March, 2020; originally announced March 2020.

Log-Brunn-Minkowski inequality under symmetry

Authors: Károly J. Böröczky, Pavlos Kalantzopoulos

Abstract: We prove the log-Brunn-Minkowski conjecture for convex bodies with symmetries to $n$ independent hyperplanes, and discuss the equality case and the uniqueness of the solution of the related case of the logarithmic Minkowski problem. We also clarify a small gap in the known argument classifying the equality case of the log-Brunn-Minkowski conjecture for unconditional convex bodies. We prove the log-Brunn-Minkowski conjecture for convex bodies with symmetries to $n$ independent hyperplanes, and discuss the equality case and the uniqueness of the solution of the related case of the logarithmic Minkowski problem. We also clarify a small gap in the known argument classifying the equality case of the log-Brunn-Minkowski conjecture for unconditional convex bodies. △ Less

Submitted 3 March, 2022; v1 submitted 27 February, 2020; originally announced February 2020.

Strengthened inequalities for the mean width and the $\ell$-norm

Authors: Károly J. Böröczky, Ferenc Fodor, Daniel Hug

Abstract: Barthe proved that the regular simplex maximizes the mean width of convex bodies whose John ellipsoid (maximal volume ellipsoid contained in the body) is the Euclidean unit ball; or equivalently, the regular simplex maximizes the $\ell$-norm of convex bodies whose Löwner ellipsoid (minimal volume ellipsoid containing the body) is the Euclidean unit ball. Schmuckenschläger verified the reverse stat… ▽ More Barthe proved that the regular simplex maximizes the mean width of convex bodies whose John ellipsoid (maximal volume ellipsoid contained in the body) is the Euclidean unit ball; or equivalently, the regular simplex maximizes the $\ell$-norm of convex bodies whose Löwner ellipsoid (minimal volume ellipsoid containing the body) is the Euclidean unit ball. Schmuckenschläger verified the reverse statement; namely, the regular simplex minimizes the mean width of convex bodies whose Löwner ellipsoid is the Euclidean unit ball. Here we prove stronger stability versions of these results. We also consider related stability results for the mean width and the $\ell$-norm of the convex hull of the support of centered isotropic measures on the unit sphere. △ Less

Submitted 29 January, 2020; originally announced January 2020.

MSC Class: Primary 52A40; Secondary 52A38; 52B12; 26D15

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.

Comments: 15 pages

MSC Class: Primary: 52A40. Secondary: 52A30; 52A10

The isoperimetric problem for $3$-polytopes with six vertices

Authors: Károly J. Böröczky, Ágnes Kovács

Abstract: We prove that the regular octahedron has the minimal surface area among 3-polytopes of given volume and having at most six vertices. We prove that the regular octahedron has the minimal surface area among 3-polytopes of given volume and having at most six vertices. △ Less

Submitted 8 January, 2019; originally announced January 2019.

The isodiametric problem on the sphere and in the hypebolic space

Authors: Károly J. Böröczky, Ádám Sagmeister

Abstract: We prove the isodiametric inequality in the spherical and in the hyperbolic space We prove the isodiametric inequality in the spherical and in the hyperbolic space △ Less

Submitted 2 June, 2019; v1 submitted 23 December, 2018; originally announced December 2018.

MSC Class: 52A40; 52A55

The Orlicz version of the $L_p$ Minkowski problem on $S^{n-1}$ for $-n<p<0$

Authors: Gabriele Bianchi, Károly J. Böröczky, Andrea Colesanti

Abstract: An Orlicz version of the $L_p$-Minkowski problem on $S^{n-1}$ is discussed corresponding to the case $-n<p<0$. An Orlicz version of the $L_p$-Minkowski problem on $S^{n-1}$ is discussed corresponding to the case $-n<p<0$. △ Less

Submitted 2 September, 2020; v1 submitted 12 December, 2018; originally announced December 2018.

Journal ref: Advances in Applied Mathematics 111 (2019), 1-29

Triangulations and a discrete Brunn-Minkowski inequality in the plane

Authors: Károly J. Böröczky, Máté Matolcsi, Imre Z. Ruzsa, Francisco Santos, Oriol Serra

Abstract: For a set $A$ of points in the plane, not all collinear, we denote by ${\rm tr}(A)$ the number of triangles in any triangulation of $A$; that is, ${\rm tr}(A) = 2i+b-2$ where $b$ and $i$ are the numbers of points of $A$ in the boundary and the interior of $[A]$ (we use $[A]$ to denote "convex hull of $A$"). We conjecture the following analogue of the Brunn-Minkowski inequality: for any two point s… ▽ More For a set $A$ of points in the plane, not all collinear, we denote by ${\rm tr}(A)$ the number of triangles in any triangulation of $A$; that is, ${\rm tr}(A) = 2i+b-2$ where $b$ and $i$ are the numbers of points of $A$ in the boundary and the interior of $[A]$ (we use $[A]$ to denote "convex hull of $A$"). We conjecture the following analogue of the Brunn-Minkowski inequality: for any two point sets $A,B \subset {\mathbb R}^2$ one has \[ {\rm tr}(A+B)^{\frac12}\geq {\rm tr}(A)^{\frac12}+{\rm tr}(B)^{\frac12}. \] We prove this conjecture in several cases: if $[A]=[B]$, if $B=A\cup\{b\}$, if $|B|=3$, or if none of $A$ or $B$ has interior points. △ Less

Submitted 10 December, 2018; originally announced December 2018.

Comments: 30 pages

Journal ref: Discrete Comput. Geom. 64:2 (2020), 396-426

Facets of high-dimensional Gaussian polytopes

Authors: Karoly J Boroczky, Gabor Lugosi, Matthias Reitzner

Abstract: We study the number of facets of the convex hull of n independent standard Gaussian points in d-dimensional Euclidean space. In particular, we are interested in the expected number of facets when the dimension is allowed to grow with the sample size. We establish an explicit asymptotic formula that is valid whenever d/n tends to zero. We also obtain the asymptotic value when d is close to n. We study the number of facets of the convex hull of n independent standard Gaussian points in d-dimensional Euclidean space. In particular, we are interested in the expected number of facets when the dimension is allowed to grow with the sample size. We establish an explicit asymptotic formula that is valid whenever d/n tends to zero. We also obtain the asymptotic value when d is close to n. △ Less

Submitted 10 January, 2024; v1 submitted 4 August, 2018; originally announced August 2018.

MSC Class: 60D05 secondary: 52A22; 60C05

The $L_p$ dual Minkowski problem for $p>1$ and $q>0$

Authors: Károly J. Böröczky, Ferenc Fodor

Abstract: General $L_p$ dual curvature measures have recently been introduced by Lutwak, Yang and Zhang. These new measures unify several other geometric measures of the Brunn-Minkowski theory and the dual Brunn-Minkowski theory. $L_p$ dual curvature measures arise from $q$th dual inrinsic volumes by means of Alexandrov-type variational formulas. Lutwak, Yang and Zhang formulated the $L_p$ dual Minkowski pr… ▽ More General $L_p$ dual curvature measures have recently been introduced by Lutwak, Yang and Zhang. These new measures unify several other geometric measures of the Brunn-Minkowski theory and the dual Brunn-Minkowski theory. $L_p$ dual curvature measures arise from $q$th dual inrinsic volumes by means of Alexandrov-type variational formulas. Lutwak, Yang and Zhang formulated the $L_p$ dual Minkowski problem, which concerns the characterization of $L_p$ dual curvature measures. In this paper, we solve the existence part of the $L_{p}$ dual Minkowski problem for $p>1$ and $q>0$, and we also discuss the regularity of the solution. △ Less

Submitted 25 April, 2018; v1 submitted 3 February, 2018; originally announced February 2018.

${\rm SL}(m,C)$-equivariant and translation covariant continuous tensor valuations

Authors: Judit Abardia-Evéquoz, Károly J. Böröczky, Mátyás Domokos, Dávid Kertész

Abstract: The space of continuous, ${\rm SL}(m,C)$-equivariant, $m\geq 2$, and translation covariant valuations taking values in the space of real symmetric tensors on $C^m\cong R^{2m}$ of rank $r\geq 0$ is completely described. The classification involves the moment tensor valuation for $r\geq 1$ and is analogous to the classification of the corresponding tensor valuations that are ${\rm SL}(2m,R)$-equivar… ▽ More The space of continuous, ${\rm SL}(m,C)$-equivariant, $m\geq 2$, and translation covariant valuations taking values in the space of real symmetric tensors on $C^m\cong R^{2m}$ of rank $r\geq 0$ is completely described. The classification involves the moment tensor valuation for $r\geq 1$ and is analogous to the classification of the corresponding tensor valuations that are ${\rm SL}(2m,R)$-equivariant, although the method of proof cannot be adapted. △ Less

Submitted 3 February, 2018; v1 submitted 26 January, 2018; originally announced January 2018.

Stability of optimal spherical codes

Authors: Károly J. Böröczky, Alexey Glazyrin

Abstract: For many extremal configurations of points on a sphere, the linear programming approach can be used to show their optimality. In this paper we establish the general framework for showing stability of such configurations and use this framework to prove the stability of the two spherical codes formed by minimal vectors of the lattice $E_8$ and of the Leech lattice. For many extremal configurations of points on a sphere, the linear programming approach can be used to show their optimality. In this paper we establish the general framework for showing stability of such configurations and use this framework to prove the stability of the two spherical codes formed by minimal vectors of the lattice $E_8$ and of the Leech lattice. △ Less

Submitted 24 January, 2023; v1 submitted 16 November, 2017; originally announced November 2017.

Stability of the simplex bound for packings by equal spherical caps determined by simplicial regular polytopes

Authors: Károly Böröczky, Károly J. Böröczky, Alexey Glazyrin, Ágnes Kovács

Abstract: It is well known that the vertices of any Euclidean simplicial regular polytope determine an optimal packing of equal spherical balls. We prove a stability version of optimal order of this result. It is well known that the vertices of any Euclidean simplicial regular polytope determine an optimal packing of equal spherical balls. We prove a stability version of optimal order of this result. △ Less

Submitted 1 November, 2017; originally announced November 2017.

The $L_p$-Minkowski problem for $-n < p< 1$

Authors: Gabriele Bianchi, Károly J. Böröczky, Andrea Colesanti, Deane Yang

Abstract: Chou and Wang's existence result for the $L_p$-Minkowski problem on ${\mathbb S}^{n-1}$ for $p\in(-n,1)$ and an absolutely continuous measure $μ$ is discussed and extended to more general measures. In particular, we provide an almost optimal sufficient condition for the case $p\in(0,1)$. Chou and Wang's existence result for the $L_p$-Minkowski problem on ${\mathbb S}^{n-1}$ for $p\in(-n,1)$ and an absolutely continuous measure $μ$ is discussed and extended to more general measures. In particular, we provide an almost optimal sufficient condition for the case $p\in(0,1)$. △ Less

Submitted 21 October, 2018; v1 submitted 12 October, 2017; originally announced October 2017.

Journal ref: Advances in Mathematics 341 (2019), pp. 493-535

Smoothness in the $l_p$ Minkowski problem for $p<1$

Authors: Gabriele Bianchi, Károly J. Böröczky, Andrea Colesanti

Abstract: We discuss the smoothness and strict convexity of the solution of the $L_p$ Minkowski problem when $p<1$ and the given measure has a positive density function. We discuss the smoothness and strict convexity of the solution of the $L_p$ Minkowski problem when $p<1$ and the given measure has a positive density function. △ Less

Submitted 21 October, 2018; v1 submitted 20 June, 2017; originally announced June 2017.

MSC Class: Primary: 52A40; Secondary: 35J96

Journal ref: Journal of Geometric Analysis 30 (2020), 680-705

The planar $L_p$-Minkowski problem for $0< p<1$

Authors: Karoly J. Boroczky, Hai Trinh

Abstract: Necessary and sufficient conditions for the existence of solutions to the asymmetric $L_p$ Minkowski problem in $\mathbb{R}^2$ are established for $0 < p < 1$. Necessary and sufficient conditions for the existence of solutions to the asymmetric $L_p$ Minkowski problem in $\mathbb{R}^2$ are established for $0 < p < 1$. △ Less

Submitted 22 December, 2016; v1 submitted 22 October, 2016; originally announced October 2016.

MSC Class: 52A40

Strengthened volume inequalities for L_p zonoids of even isotropic measures

Authors: Karoly J. Boroczky, Ferenc Fodor, Daniel Hug

Abstract: We strengthen the volume inequalities for L_p zonoids of even isotropic measures and for their duals, which are due to Ball, Barthe and Lutwak, Yang, Zhang. Along the way, we prove a stronger version of the Brascamp-Lieb inequality for a family of functions that can approximate arbitrary well some Gaussians when equality holds. The special case p=\infty yields a stability version of the reverse is… ▽ More We strengthen the volume inequalities for L_p zonoids of even isotropic measures and for their duals, which are due to Ball, Barthe and Lutwak, Yang, Zhang. Along the way, we prove a stronger version of the Brascamp-Lieb inequality for a family of functions that can approximate arbitrary well some Gaussians when equality holds. The special case p=\infty yields a stability version of the reverse isoperimetric inequality for centrally symmetric bodies. △ Less

Submitted 2 September, 2016; v1 submitted 25 August, 2016; originally announced August 2016.

Subspace concentration of dual curvature measures

Authors: Karoly J. Boroczky, Martin Henk, Hannes Pollehn

Abstract: We prove a tight subspace concentration inequality for the dual curvature measures of a symmetric convex body. We prove a tight subspace concentration inequality for the dual curvature measures of a symmetric convex body. △ Less

Submitted 23 April, 2016; originally announced April 2016.

Minkowski valuations on lattice polytopes

Authors: Karoly J. Boroczky, Monika Ludwig

Abstract: A complete classification is established of Minkowski valuations on lattice polytopes that intertwine the special linear group over the integers and are translation invariant. In the contravariant case, the only such valuations are multiples of projection bodies. In the equivariant case, the only such valuations are generalized difference bodies combined with multiples of the newly defined discret… ▽ More A complete classification is established of Minkowski valuations on lattice polytopes that intertwine the special linear group over the integers and are translation invariant. In the contravariant case, the only such valuations are multiples of projection bodies. In the equivariant case, the only such valuations are generalized difference bodies combined with multiples of the newly defined discrete Steiner point. △ Less

Submitted 31 March, 2016; v1 submitted 2 February, 2016; originally announced February 2016.

Comments: accepted in JEMS, 2016

Journal ref: J. Eur. Math. Soc. (JEMS) 21 (2019), no. 1, 163-197

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.

Comments: 49 TEX pages

MSC Class: 52A40

Journal ref: Stud. Sci. Math. Hungar. 50 (2) (2013), 159-198

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.

Comments: 21 pages

MSC Class: Primary: 52A40; Secondary: 52A38; 52A10

Isotropic measures, and stronger forms of the reverse isoperimetric inequality

Authors: Karoly J. Boroczky, Daniel Hug

Abstract: A stability version of the reverse isoperimetric inequality, and the corresponding inequality for isotropic measures are established. A stability version of the reverse isoperimetric inequality, and the corresponding inequality for isotropic measures are established. △ Less

Submitted 12 January, 2015; v1 submitted 17 October, 2014; originally announced October 2014.

The cone volume measure of antipodal points

Authors: Karoly J. Böröczky, Pal Hegedus

Abstract: The optimal condition of the cone volume measure of a pair of antopodal points is proved and analyzed. The optimal condition of the cone volume measure of a pair of antopodal points is proved and analyzed. △ Less

Submitted 14 January, 2015; v1 submitted 4 October, 2014; originally announced October 2014.

The discrete logarithmic Minkowski problem

Authors: Karoly J. Boroczky, Pal Hegedus, Guangxian Zhu

Abstract: Existence of solution of the logarithmic Minkowski problem is proved for the case where the discrete measures on the unit sphere satisfy the subspace concentration condition with respect to some special proper subspaces. In order to understand how optimal this condition is, we discuss certain conditions that any cone volume measure satisfies. Existence of solution of the logarithmic Minkowski problem is proved for the case where the discrete measures on the unit sphere satisfy the subspace concentration condition with respect to some special proper subspaces. In order to understand how optimal this condition is, we discuss certain conditions that any cone volume measure satisfies. △ Less

Submitted 3 June, 2015; v1 submitted 28 September, 2014; originally announced September 2014.

Comments: arXiv admin note: text overlap with arXiv:1406.7503

MSC Class: 52A40

Cone-volume measure and stability

Authors: Károly J. Böröczky, Martin Henk

Abstract: We show that the cone-volume measure of a convex body with centroid at the origin satisfies the subspace concentration condition. This implies, among others, a conjectured best possible inequality for the $\mathrm{U}$-functional of a convex body. For both results we provide stronger versions in the sense of stability inequalities. We show that the cone-volume measure of a convex body with centroid at the origin satisfies the subspace concentration condition. This implies, among others, a conjectured best possible inequality for the $\mathrm{U}$-functional of a convex body. For both results we provide stronger versions in the sense of stability inequalities. △ Less

Submitted 27 July, 2014; originally announced July 2014.

Comments: 29 pages

MSC Class: 52A40

A note on triangulations of sum sets

Authors: Karoly J. Boroczky, Benjamin Hoffman

Abstract: 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 as vertices. We consider the conjecture that tr(A+B)^{1/2}\geq tr(A)^{1/2}+tr(B)^{1/2}. If true, this conjecture would be a discrete, two-dimensional analogue… ▽ More 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 as vertices. We consider the conjecture that tr(A+B)^{1/2}\geq tr(A)^{1/2}+tr(B)^{1/2}. If true, this conjecture would be a discrete, two-dimensional analogue to the Brunn-Minkowski inequality. We prove the conjecture in three special cases. △ Less

Submitted 3 November, 2013; originally announced November 2013.

Equality in Laszlo Fejes Toth's triangle bound for hyperbolic surfaces

Authors: C. Barvard, K. J. Boroczky, B. Ormos, I. Prok, L. Vena, G. Wintsche

Abstract: For k>6, we determine the minimal area of a compact hyperbolic surface, and an oriented compact hyperbolic surface that can be tiled by embedded regular triangles of angle 2π/k. Based on this, all the cases of equality in Laszlo Fejes Toth's triangle bound for hyperbolic surfaces are described. For k>6, we determine the minimal area of a compact hyperbolic surface, and an oriented compact hyperbolic surface that can be tiled by embedded regular triangles of angle 2π/k. Based on this, all the cases of equality in Laszlo Fejes Toth's triangle bound for hyperbolic surfaces are described. △ Less

Submitted 14 June, 2012; originally announced June 2012.

Journal ref: Acta Sci. Math. (Szeged), 77 (2011), 669-679

Stability of the functional forms of the Blaschke-Santalo inequality

Authors: Franck Barthe, Karoly J. Boroczky, Matthieu Fradelizi

Abstract: Stability versions of the functional forms of the Blaschke-Santalo inequality due to Ball, Artstein-Klartag-Milman, Fradelizi-Meyer and Lehec are proved. Stability versions of the functional forms of the Blaschke-Santalo inequality due to Ball, Artstein-Klartag-Milman, Fradelizi-Meyer and Lehec are proved. △ Less

Submitted 2 June, 2012; originally announced June 2012.

Remarks on the equality case of the Bonnesen inequality

Authors: Karoly J. Boroczky, Oriol Serra

Abstract: An argument is provided for the equality case of the high dimensional Bonnesen inequality for sections. The known equality case of the Bonnesen inequality for projections is presented as a consequence. An argument is provided for the equality case of the high dimensional Bonnesen inequality for sections. The known equality case of the Bonnesen inequality for projections is presented as a consequence. △ Less

Submitted 2 June, 2012; v1 submitted 14 May, 2012; originally announced May 2012.

Stronger versions of the Orlicz-Petty projection inequality

Authors: Károly J. Böröczky

Abstract: We verify a conjecture of Lutwak, Yang, Zhang about the equality case in the Orlicz-Petty projection inequality, and provide an essentially optimal stability version. We verify a conjecture of Lutwak, Yang, Zhang about the equality case in the Orlicz-Petty projection inequality, and provide an essentially optimal stability version. △ Less

Submitted 24 July, 2013; v1 submitted 16 May, 2011; originally announced May 2011.

Intrinsic volumes of random polytopes with vertices on the boundary of a convex body

Authors: Károly J. Böröczky, Ferenc Fodor, Daniel Hug

Abstract: Let $K$ be a convex body in $\R^d$, let $j\in\{1, ..., d-1\}$, and let $\varrho$ be a positive and continuous probability density function with respect to the $(d-1)$-dimensional Hausdorff measure on the boundary $\partial K$ of $K$. Denote by $K_n$ the convex hull of $n$ points chosen randomly and independently from $\partial K$ according to the probability distribution determined by $\varrho$. F… ▽ More Let $K$ be a convex body in $\R^d$, let $j\in\{1, ..., d-1\}$, and let $\varrho$ be a positive and continuous probability density function with respect to the $(d-1)$-dimensional Hausdorff measure on the boundary $\partial K$ of $K$. Denote by $K_n$ the convex hull of $n$ points chosen randomly and independently from $\partial K$ according to the probability distribution determined by $\varrho$. For the case when $\partial K$ is a $C^2$ submanifold of $\R^d$ with everywhere positive Gauss curvature, M. Reitzner proved an asymptotic formula for the expectation of the difference of the $j$th intrinsic volumes of $K$ and $K_n$, as $n\to\infty$. In this article, we extend this result to the case when the only condition on $K$ is that a ball rolls freely in $K$. △ Less

Submitted 25 March, 2011; originally announced March 2011.

MSC Class: 52A22 (Primary) 60D05; 52A27 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 365 (2013), no. 2, 785-809

On the cardinality of sumsets in torsion-free groups

Authors: Károly J. Böröczky, Péter P. Pálfy, Oriol Serra

Abstract: Let $A, B$ be finite subsets of a torsion-free group $G$. We prove that for every positive integer $k$ there is a $c(k)$ such that if $|B|\ge c(k)$ then the inequality $|AB|\ge |A|+|B|+k$ holds unless a left translate of $A$ is contained in a cyclic subgroup. We obtain $c(k)<c_0k^{6}$ for arbitrary torsion-free groups, and $c(k)<c_0k^{3}$ for groups with the unique product property, where $c_0$ is… ▽ More Let $A, B$ be finite subsets of a torsion-free group $G$. We prove that for every positive integer $k$ there is a $c(k)$ such that if $|B|\ge c(k)$ then the inequality $|AB|\ge |A|+|B|+k$ holds unless a left translate of $A$ is contained in a cyclic subgroup. We obtain $c(k)<c_0k^{6}$ for arbitrary torsion-free groups, and $c(k)<c_0k^{3}$ for groups with the unique product property, where $c_0$ is an absolute constant. We give examples to show that $c(k)$ is at least quadratic in $k$. △ Less

Submitted 30 September, 2010; originally announced September 2010.

Stability results for the volume of random simplices

Authors: Gergely Ambrus, Károly J. Böröczky

Abstract: It is known that for a convex body K in R^d of volume one, the expected volume of random simplices in K is minimised if K is an ellipsoid, and for d = 2, maximised if K is a triangle. Here we provide corresponding stability estimates. It is known that for a convex body K in R^d of volume one, the expected volume of random simplices in K is minimised if K is an ellipsoid, and for d = 2, maximised if K is a triangle. Here we provide corresponding stability estimates. △ Less

Submitted 2 June, 2010; v1 submitted 27 May, 2010; originally announced May 2010.

Comments: 26 pages

Stability of some versions of the Prékopa-Leindler inequality

Authors: Károly J. Böröczky, Keith M. Ball

Abstract: Two consequences of the stability version of the one dimensional Prékopa-Leindler inequality are presented. One is the stability version of the Blaschke-Santaló inequality, and the other is a stability version of the Prékopa-Leindler inequality for even functions in higher dimensions, where a recent stability version of the Brunn-Minkowski inequality is also used in an essential way. Two consequences of the stability version of the one dimensional Prékopa-Leindler inequality are presented. One is the stability version of the Blaschke-Santaló inequality, and the other is a stability version of the Prékopa-Leindler inequality for even functions in higher dimensions, where a recent stability version of the Brunn-Minkowski inequality is also used in an essential way. △ Less

Submitted 21 September, 2009; originally announced September 2009.

Stability of the Prékopa-Leindler inequality

Authors: Károly J. Böröczky, Keith M. Ball

Abstract: We prove a stability version of the Prékopa-Leindler inequality. We prove a stability version of the Prékopa-Leindler inequality. △ Less

Submitted 21 September, 2009; originally announced September 2009.

The mean width of random polytopes circumscribed around a convex body

Authors: Károly J. Böröczky, Ferenc Fodor, Daniel Hug

Abstract: Let K be a d-dimensional convex body, and let $K^{(n)}$ be the intersection of n halfspaces containing $K$ whose bounding hyperplanes are independent and identically distributed. Under suitable distributional assumptions, we prove an asymptotic formula for the expectation of the difference of the mean widths of $K^{(n)}$ and K, and another asymptotic formula for the expectation of the number of… ▽ More Let K be a d-dimensional convex body, and let $K^{(n)}$ be the intersection of n halfspaces containing $K$ whose bounding hyperplanes are independent and identically distributed. Under suitable distributional assumptions, we prove an asymptotic formula for the expectation of the difference of the mean widths of $K^{(n)}$ and K, and another asymptotic formula for the expectation of the number of facets of $K^{(n)}$. These results are achieved by establishing an asymptotic result on weighted volume approximation of $K$ and by "dualizing" it using polarity. △ Less

Submitted 22 January, 2009; originally announced January 2009.

MSC Class: 52A22

Journal ref: J. London Math. Soc. 81 (2010), no. 2, 499-523

The mean width of circumscribed random polytopes

Authors: Károly J. Böröczky, Rolf Schneider

Abstract: For a given convex body K in $R^d$, a random polytope $K^{(n)}$ is defined (essentially) as the intersection of $n$ independent closed halfspaces containing $K$ and having an isotropic and (in a specified sense) uniform distribution. We prove upper and lower bounds, of optimal orders, for the difference of the mean widths of $K^{(n)}$ and K, as n tends to infinity. For a simplicial polytope P, a… ▽ More For a given convex body K in $R^d$, a random polytope $K^{(n)}$ is defined (essentially) as the intersection of $n$ independent closed halfspaces containing $K$ and having an isotropic and (in a specified sense) uniform distribution. We prove upper and lower bounds, of optimal orders, for the difference of the mean widths of $K^{(n)}$ and K, as n tends to infinity. For a simplicial polytope P, a precise asymptotic formula for the difference of the mean widths of $P^{(n)}$ and P is obtained. △ Less

Submitted 21 January, 2009; originally announced January 2009.

MSC Class: 52A22