Showing 1–15 of 15 results for author: Roysdon, M

From simplex slicing to sharp reverse Hölder inequalities

Authors: James Melbourne, Michael Roysdon, Colin Tang, Tomasz Tkocz

Abstract: Simplex slicing (Webb, 1996) is a sharp upper bound on the volume of central hyperplane sections of the regular simplex. We extend this to sharp bounds in the probabilistic framework of negative moments, and beyond, of centred log-concave random variables, establishing a curious phase transition of the extremising distribution for new sharp reverse Hölder-type inequalities. Simplex slicing (Webb, 1996) is a sharp upper bound on the volume of central hyperplane sections of the regular simplex. We extend this to sharp bounds in the probabilistic framework of negative moments, and beyond, of centred log-concave random variables, establishing a curious phase transition of the extremising distribution for new sharp reverse Hölder-type inequalities. △ Less

Submitted 1 May, 2025; originally announced May 2025.

MSC Class: 52A40 (Primary) 52B12 (Secondary)

A Busemann-Petty Type Problem for Dual Radon Transforms

Authors: Michael Roysdon

Abstract: Inspired by resolution of the Busemann-Petty problem (1956), we consider the following comparison problem for dual Radon transforms: Given a pair of continuous functions defined on the affine Grassmannian whose dual Radon transforms satisfy a pointwise inequality, can their $L^p$ norms be compared in a meaningful way? We characterize the solution to this problem for each $p\geq 1$, and as a conseq… ▽ More Inspired by resolution of the Busemann-Petty problem (1956), we consider the following comparison problem for dual Radon transforms: Given a pair of continuous functions defined on the affine Grassmannian whose dual Radon transforms satisfy a pointwise inequality, can their $L^p$ norms be compared in a meaningful way? We characterize the solution to this problem for each $p\geq 1$, and as a consequence of our investigation, we prove reverse $L^p$-$L^q$-estimates for dual Radon transforms. In particular, we reverse an inequality of Solmon (1979). △ Less

Submitted 6 April, 2025; originally announced April 2025.

Comments: Comments are welcome

On the $m$th-order Affine Pólya-Szegö Principle

Authors: Dylan Langharst, Michael Roysdon, Yiming Zhao

Abstract: An affine Pólya-Szegö principle for a family of affine energies, with equality condition characterization, is demonstrated. In particular, this recovers, as special cases, the $L^p$ affine Pólya-Szegö principles due to Cianchi, Lutwak, Yang and Zhang, and subsequently Haberl, Schuster and Xiao. Various applications of this new Pólya-Szegö principle are shown. An affine Pólya-Szegö principle for a family of affine energies, with equality condition characterization, is demonstrated. In particular, this recovers, as special cases, the $L^p$ affine Pólya-Szegö principles due to Cianchi, Lutwak, Yang and Zhang, and subsequently Haberl, Schuster and Xiao. Various applications of this new Pólya-Szegö principle are shown. △ Less

Submitted 5 September, 2024; v1 submitted 3 September, 2024; originally announced September 2024.

Comments: 26 pages

MSC Class: Primary: 46E30; 46E35 Secondary: 52A20

Journal ref: Journal of Geometric Analysis, 2025

On maximal intersection position for logarithmically concave functions and measures

Authors: Steven Hoehner, Michael Roysdon

Abstract: A new position is introduced and studied for the convolution of log-concave functions, which may be regarded as a functional analogue of the maximum intersection position of convex bodies introduced and studied by Artstein-Avidan and Katzin (2018) and Artstein-Avidan and Putterman (2022). Our main result is a John-type theorem for the maximal intersection position of a pair of log-concave function… ▽ More A new position is introduced and studied for the convolution of log-concave functions, which may be regarded as a functional analogue of the maximum intersection position of convex bodies introduced and studied by Artstein-Avidan and Katzin (2018) and Artstein-Avidan and Putterman (2022). Our main result is a John-type theorem for the maximal intersection position of a pair of log-concave functions, including the corresponding decomposition of the identity. The main result holds under very weak assumptions on the functions; in particular, the functions considered may both have unbounded supports. As an application of our results, we introduce a John-type position for even $\log$-concave measures. △ Less

Submitted 26 May, 2025; v1 submitted 1 January, 2024; originally announced January 2024.

Comments: 24 pages

MSC Class: 46N10; 52A39; 52A40; 60E05 (Primary) 28A75 (Secondary)

Comparison Problems for Radon Transforms

Authors: Alexander Koldobsky, Michael Roysdon, Artem Zvavitch

Abstract: Given two non-negative functions $f$ and $g$ such that the Radon transform of $f$ is pointwise smaller than the Radon transform of $g$, does it follow that the $L^p$-norm of $f$ is smaller than the $L^p$-norm of $g$ for a given $p>0$? We consider this problem for the classical and spherical Radon transforms. In both cases we point out classes of functions for which the answer is affirmative, and s… ▽ More Given two non-negative functions $f$ and $g$ such that the Radon transform of $f$ is pointwise smaller than the Radon transform of $g$, does it follow that the $L^p$-norm of $f$ is smaller than the $L^p$-norm of $g$ for a given $p>0$? We consider this problem for the classical and spherical Radon transforms. In both cases we point out classes of functions for which the answer is affirmative, and show that in general the answer is negative if the functions do not belong to these classes. The results are in the spirit of the solution of the Busemann-Petty problem from convex geometry, and the classes of functions that we introduce generalize the class of intersection bodies introduced by Lutwak in 1988. We also deduce slicing inequalities that are related to the well-known Oberlin-Stein type estimates for the Radon transform. △ Less

Submitted 28 May, 2023; originally announced May 2023.

Comments: 26 pages

MSC Class: 52A20; 42B10; 46F12; 44A12

Higher-Order Lp Isoperimetric and Sobolev Inequalities

Authors: Julián Haddad, Dylan Langharst, Eli Putterman, Michael Roysdon, Deping Ye

Abstract: Schneider introduced an inter-dimensional difference body operator on convex bodies and proved an associated inequality. In the prequel to this work, we showed that this concept can be extended to a rich class of operators from convex geometry and proved the associated isoperimetric inequalities. The role of cosine-like operators, which generate convex bodies in $\mathbb R^n$ from those in… ▽ More Schneider introduced an inter-dimensional difference body operator on convex bodies and proved an associated inequality. In the prequel to this work, we showed that this concept can be extended to a rich class of operators from convex geometry and proved the associated isoperimetric inequalities. The role of cosine-like operators, which generate convex bodies in $\mathbb R^n$ from those in $\mathbb R^n$, were replaced by inter-dimensional simplicial operators, which generate convex bodies in $\mathbb R^{nm}$ from those in $\mathbb R^{n}$ (or vice versa). In this work, we treat the $L^p$ extensions of these operators, and, furthermore, extend the role of the simplex to arbitrary $m$-dimensional convex bodies containing the origin. We establish $m$th-order $L^p$ isoperimetric inequalities, including the $m$th-order versions of the $L^p$ Petty projection inequality, $L^p$ Busemann-Petty centroid inequality, $L^p$ Santaló inequalities, and $L^p$ affine Sobolev inequalities. As an application, we obtain isoperimetric inequalities for the volume of the operator norm of linear functionals $(\mathbb R^n, \|\cdot\|_E) \to (\mathbb R^m, \|\cdot\|_F)$. △ Less

Submitted 2 November, 2024; v1 submitted 27 May, 2023; originally announced May 2023.

Comments: 39 pgs, results in Santalo section expanded; expanded literature review, expanded section on LYZ body, and changed intro and abstract

MSC Class: 52A39; 52A40; 28A75

Journal ref: Journal of Functional Analysis, 2024, ISSN 0022-1236

On the $m\mathrm{th}$-Order Weighted Projection Body Operator and Related Inequalities

Authors: Dylan Langharst, Eli Putterman, Michael Roysdon, Deping Ye

Abstract: For a convex body $K$ in $\mathbb R^n$, the inequalities of Rogers-Shephard and Zhang, written succinctly, are $$\text{vol}_n(DK)\leq \binom{2n}{n} \text{vol}_n(K) \leq \text{vol}_n(n\text{vol}_n(K)Π^\circ K).$$ Here, $DK=\{x\in\mathbb R^n:K\cap(K+x)\neq \emptyset\}$ is the difference body of $K$, and $Π^\circ K$ is the polar projection body of $K$. There is equality in either if, and only if,… ▽ More For a convex body $K$ in $\mathbb R^n$, the inequalities of Rogers-Shephard and Zhang, written succinctly, are $$\text{vol}_n(DK)\leq \binom{2n}{n} \text{vol}_n(K) \leq \text{vol}_n(n\text{vol}_n(K)Π^\circ K).$$ Here, $DK=\{x\in\mathbb R^n:K\cap(K+x)\neq \emptyset\}$ is the difference body of $K$, and $Π^\circ K$ is the polar projection body of $K$. There is equality in either if, and only if, $K$ is a $n$-dimensional simplex. In fact, there exists a collection of convex bodies, the so-called radial mean bodies $R_p K$ introduced by Gardner and Zhang, which continuously interpolates between $DK$ and $Π^\circ K$. For $m\in\mathbb N$, Schneider defined the $m$th-order difference body of $K$ as $$D^m(K)=\{(x_1,\dots,x_m)\in\mathbb R^{nm}:K\cap_{i=1}^m(K+x_i)\neq \emptyset\}\subset \mathbb R^{nm}$$ and proved the $m$th-order Rogers-Shephard inequality. In a prequel to this work, the authors, working with Haddad, extended this $m$th-order concept to the radial mean bodies and the polar projection body, establishing the associated Zhang's projection inequality. In this work, we introduce weighted versions of the above-mentioned operators by replacing the Lebesgue measure with measures that have density. The weighted version of these operators in the $m=1$ case was first done by Roysdon (difference body), Langharst-Roysdon-Zvavitch (polar projection body) and Langharst-Putterman (radial mean bodies). This work can be seen as a sequel to all those works, extending them to $m$th-order. In the last section, we extend many of these ideas to the setting of generalized volume, first introduced by Gardner-Hug-Weil-Xing-Ye. △ Less

Submitted 10 June, 2024; v1 submitted 30 April, 2023; originally announced May 2023.

Comments: 33 pages, Keywords: Projection Bodies, Rogers-Shephard Inequality, Zhang's Inequality, Radial Mean Bodies. Title changed from "higher-order..." to "mth order..." Accepted into Pure and Applied Functional Analysis, Special Issue in honour of Nicole Tomczak-Jaegermann

MSC Class: 52A39; 52A40; Secondary: 28A75

Affine Isoperimetric Inequalities for Higher-Order Projection and Centroid Bodies

Authors: Julián Haddad, Dylan Langharst, Eli Putterman, Michael Roysdon, Deping Ye

Abstract: In 1970, Schneider introduced the $m$th order difference body of a convex body, and also established the $m$th-order Rogers-Shephard inequality. In this paper, we extend this idea to the projection body, centroid body, and radial mean bodies, as well as prove the associated inequalities (analogues of Zhang's projection inequality, Petty's projection inequality, the Busemann-Petty centroid inequali… ▽ More In 1970, Schneider introduced the $m$th order difference body of a convex body, and also established the $m$th-order Rogers-Shephard inequality. In this paper, we extend this idea to the projection body, centroid body, and radial mean bodies, as well as prove the associated inequalities (analogues of Zhang's projection inequality, Petty's projection inequality, the Busemann-Petty centroid inequality and Busemann's random simplex inequality). We also establish a new proof of Schneider's $m$th-order Rogers-Shephard inequality. As an application, a $m$th-order affine Sobolev inequality for functions of bounded variation is provided. △ Less

Submitted 3 June, 2025; v1 submitted 16 April, 2023; originally announced April 2023.

Comments: 42-46 pages Keywords: Projection bodies, Centroid bodies, Radial mean bodies, Busemann-Petty centroid inequality, Steiner symmetrization, Petty projection inequality, affine Sobolev inequality

MSC Class: 2020 Classification: 52A39; 52A40; Secondary: 28A75; 46E35

On Multiple $L_p$-curvilinear-Brunn-Minkowski inequalities

Authors: Michael Roysdon, Sudan Xing

Abstract: We construct the extension of the curvilinear summation for bounded Borel measurable sets to the $L_p$ space for multiple power parameter $\barα=(α_1, \cdots, α_{n+1})$ when $p>0$. Based on this $L_{p,\barα}$-curvilinear summation for sets and concept of {\it compression} of sets, the $L_{p,\barα}$-curvilinear-Brunn-Minkowski inequality for bounded Borel measurable sets and its normalized version… ▽ More We construct the extension of the curvilinear summation for bounded Borel measurable sets to the $L_p$ space for multiple power parameter $\barα=(α_1, \cdots, α_{n+1})$ when $p>0$. Based on this $L_{p,\barα}$-curvilinear summation for sets and concept of {\it compression} of sets, the $L_{p,\barα}$-curvilinear-Brunn-Minkowski inequality for bounded Borel measurable sets and its normalized version are established. Furthermore, by utilizing the hypo-graphs for functions, we enact a brand new proof of $L_{p,\barα}$ Borell-Brascamp-Lieb inequality, as well as its normalized version, for functions containing the special case of $L_{p}$ Borell-Brascamp-Lieb inequality through the $L_{p,\barα}$-curvilinear-Brunn-Minkowski inequality for sets. Moreover, we propose the multiple power $L_{p,\barα}$-supremal-convolution for two functions together with its properties. Last but not least, we introduce the definition of the surface area originated from the variation formula of measure in terms of the $L_{p,\barα}$-curvilinear summation for sets as well as $L_{p,\barα}$-supremal-convolution for functions together with their corresponding Minkowski type inequalities and isoperimetric inequalities for $p\geq1,$ etc. △ Less

Submitted 7 September, 2022; originally announced September 2022.

Comments: 36 pages, submitted

Asymptotic expected $T$-functionals of random polytopes with applications to $L_p$ surface areas

Authors: Steven Hoehner, Ben Li, Michael Roysdon, Christoph Thäle

Abstract: An asymptotic formula is proved for the expected $T$-functional of the convex hull of independent and identically distributed random points sampled from the Euclidean unit sphere in $\mathbb{R}^n$ according to an arbitrary positive continuous density. As an application, the approximation of the sphere by random polytopes in terms of $L_p$ surface area differences is discussed. An asymptotic formula is proved for the expected $T$-functional of the convex hull of independent and identically distributed random points sampled from the Euclidean unit sphere in $\mathbb{R}^n$ according to an arbitrary positive continuous density. As an application, the approximation of the sphere by random polytopes in terms of $L_p$ surface area differences is discussed. △ Less

Submitted 1 August, 2023; v1 submitted 2 February, 2022; originally announced February 2022.

Comments: 20 pages

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

On the framework of $L_{p}$ summations for functions

Authors: Michae Roysdon, Sudan Xing

Abstract: We develop the framework of $L_p$ operations for functions by introducing two primary new types $L_{p,s}$ summations for $p>0$: the $L_{p,s}$ convolution sum and the $L_{p,s}$ Asplund sum for functions. The first type is defined as the linear summations of functions in terms of the $L_p$ coefficients ($C_{p,λ,t}$, $D_{p,λ,t}$), the so-called the $L_{p,s}$ supremal-convolution when $p\geq1$ and the… ▽ More We develop the framework of $L_p$ operations for functions by introducing two primary new types $L_{p,s}$ summations for $p>0$: the $L_{p,s}$ convolution sum and the $L_{p,s}$ Asplund sum for functions. The first type is defined as the linear summations of functions in terms of the $L_p$ coefficients ($C_{p,λ,t}$, $D_{p,λ,t}$), the so-called the $L_{p,s}$ supremal-convolution when $p\geq1$ and the $L_{p,s}$ inf-sup-convolution when $0<p<1$, respectively. The second type $L_{p,s}$ summation is created by the $L_p$ averages of bases for $s$-concave functions. We show that they are equivalent in the case $s=0$ (log-concave functions) and $p\geq1$. For the former type $L_{p,s}$ summation, we establish the corresponding $L_p$-Borell-Brascamp-Lieb inequalities for all $s\in[-\infty,\infty]$ and $p\geq1$. Furthermore, in summarizing the conditions for these new types of $L_p$-Borell-Brascamp-Lieb inequalities, we define a series of the $L_{p,s}$ concavity definitions for functions and measures. On the other hand, for the latter type $L_{p,s}$ Asplund summation, we discover the integral formula for $L_{p,s}$ mixed quermassintegral for functions via tackling the variation formula of quermassintegral of functions for $p\geq 1$. △ Less

Submitted 16 August, 2021; originally announced August 2021.

MSC Class: 2010 Mathematics Subject Classification.Primary: 52A39; 52A40; 46N10; Secondary: 28A75; 26D15

General Measure Extensions of Projection Bodies

Authors: Dylan Langharst, Michael Roysdon, Artem Zvavitch

Abstract: The inequalities of Petty and Zhang are affine isoperimetric-type inequalities providing sharp bounds for $\text{vol}^{n-1}_{n}(K)\text{vol}_n(Π^\circ K),$ where $ΠK$ is a projection body of a convex body $K$. In this paper, we present a number of generalizations of Zhang's inequality to the setting of arbitrary measures. In addition, we introduce extensions of the projection body operator $Π$ to… ▽ More The inequalities of Petty and Zhang are affine isoperimetric-type inequalities providing sharp bounds for $\text{vol}^{n-1}_{n}(K)\text{vol}_n(Π^\circ K),$ where $ΠK$ is a projection body of a convex body $K$. In this paper, we present a number of generalizations of Zhang's inequality to the setting of arbitrary measures. In addition, we introduce extensions of the projection body operator $Π$ to the setting of arbitrary measures and functions, while providing associated inequalities for this operator; in particular, Zhang-type inequalities. Throughout, we apply shown results to the standard Gaussian measure. △ Less

Submitted 14 September, 2022; v1 submitted 24 June, 2021; originally announced June 2021.

Comments: 48 pages. In the Proceedings of the London Mathematical Society

MSC Class: Primary: 52A39; 52A40; Secondary: 28A75

Journal ref: Proceedings of the London Mathematical Society, 125, 5 (2022)

On $L_p$-Brunn-Minkowski type and $L_p$-isoperimetric type inequalities for general measures

Authors: Michael Roysdon, Sudan Xing

Abstract: In 2011 Lutwak, Yang and Zhang extended the definition of the $L_p$-Minkowski convex combination ($p \geq 1$) introduced by Firey in the 1960s from convex bodies containing the origin in their interiors to all measurable subsets in $\mathbb{R}^n$, and as a consequence, extended the $L_p$-Brunn-Minkowski inequality ($L_p$-BMI) to the setting of all measurable sets. In this paper, we present a funct… ▽ More In 2011 Lutwak, Yang and Zhang extended the definition of the $L_p$-Minkowski convex combination ($p \geq 1$) introduced by Firey in the 1960s from convex bodies containing the origin in their interiors to all measurable subsets in $\mathbb{R}^n$, and as a consequence, extended the $L_p$-Brunn-Minkowski inequality ($L_p$-BMI) to the setting of all measurable sets. In this paper, we present a functional extension of their $L_p$-Minkowski convex combination---the $L_{p,s}$--supremal convolution and prove the $L_p$-Borell-Brascamp-Lieb type ($L_p$-BBL) inequalities. Based on the $L_p$-BBL type inequalities for functions, we extend the $L_p$-BMI for measurable sets to the class of Borel measures on $\mathbb{R}^n$ having $\left(\frac{1}{s}\right)$-concave densities, with $s \geq 0$; that is, we show that, for any pair of Borel sets $A,B \subset \mathbb{R}^n$, any $t \in [0,1]$ and $p\geq 1$, one has \[ μ((1-t) \cdot_p A +_p t \cdot_p B)^{\frac{p}{n+s}} \geq (1-t) μ(A)^{\frac{p}{n+s}} + t μ(B)^{\frac{p}{n+s}}, \] where $μ$ is a measure on $\mathbb{R}^n$ having a $\left(\frac{1}{s}\right)$-concave density for $0 \leq s < \infty$. Additionally, with the new defined $L_{p,s}$--supremal convolution for functions, we prove $L_p$-BMI for product measures with quasi-concave densities and for log-concave densities, $L_p$-Prékopa-Leindler type inequality ($L_p$-PLI) for product measures with quasi-concave densities, $L_p$-Minkowski's first inequality ($L_p$-MFI) and $L_p$ isoperimetric inequalities ($L_p$-ISMI) for general measures, etc. Finally a functional counterpart of the Gardner-Zvavitch conjecture is presented for the $p$-generalization. △ Less

Submitted 7 June, 2020; v1 submitted 20 April, 2020; originally announced April 2020.

Comments: Added Clarity to manuscript and added references

Rogers-Shepard Type Inequalities for Sections

Authors: Michael Roysdon

Abstract: In this paper we address the following question: given a measure $μ$ on $\mathbb{R}^n$, does there exists a constant $C>0$ such that, for any $m$-dimensional subspace $H \subset \mathbb{R}^n$ and any convex body $K \subset \mathbb{R}^n$, the following sectional Rogers-Shephard type inequality holds: \[ μ((K-K) \cap H) \leq C \sup_{y \in \mathbb{R}^n} μ(K \cap (H+y))? \] We show that this i… ▽ More In this paper we address the following question: given a measure $μ$ on $\mathbb{R}^n$, does there exists a constant $C>0$ such that, for any $m$-dimensional subspace $H \subset \mathbb{R}^n$ and any convex body $K \subset \mathbb{R}^n$, the following sectional Rogers-Shephard type inequality holds: \[ μ((K-K) \cap H) \leq C \sup_{y \in \mathbb{R}^n} μ(K \cap (H+y))? \] We show that this inequality is affirmative in the class of measures with radially decreasing densities with the constant $C(n,m) = \binom{n+m}{m}$. We also prove marginal inequalities of the Rogers-Shephard type for $\left(\frac{1}{s}\right)$-concave, $0 \leq s < \infty$, and logarithmically concave functions. △ Less

Submitted 28 September, 2019; v1 submitted 5 April, 2019; originally announced April 2019.

Comments: 28 pages

MSC Class: Primary 52A40; 28A25; Secondary 52A20

On Rogers-Shephard type inequalities for general measures

Authors: David Alonso-Gutiérrez, María A. Hernández Cifre, Michael Roysdon, Jesús Yepes Nicolás, Artem Zvavitch

Abstract: In this paper we prove a series of Rogers-Shephard type inequalities for convex bodies when dealing with measures on the Euclidean space with either radially decreasing densities, or quasi-concave densities attaining their maximum at the origin. Functional versions of classical Rogers-Shephard inequalities are also derived as consequences of our approach. In this paper we prove a series of Rogers-Shephard type inequalities for convex bodies when dealing with measures on the Euclidean space with either radially decreasing densities, or quasi-concave densities attaining their maximum at the origin. Functional versions of classical Rogers-Shephard inequalities are also derived as consequences of our approach. △ Less

Submitted 22 December, 2018; v1 submitted 11 September, 2018; originally announced September 2018.

Comments: Added references. Revised discussion in section 2, with new Theorem 2.2. Corrected typos. Main results unchanged

MSC Class: Primary 52A40; 28A25; Secondary 52A20