Source author record

Richard J. Gardner

Richard J. Gardner appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

13works
13topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2022arXiv

Convergence of symmetrization processes

Steiner and Schwarz symmetrizations, and their most important relatives, the Minkowski, Minkowski-Blaschke, fiber, inner rotational, and outer rotational symmetrizations, are investigated. The focus is on the convergence of successive symmetrals with respect to a sequence of $i$-dimensional subspaces of $\mathbb{R}^n$. Such a sequence is called universal for a family of sets if the successive symmetrals of any set in the family converge to a ball with center at the origin. New universal sequences for the main symmetrizations, for all valid dimensions $i$ of the subspaces, are found, by combining two groups of results. The first, published separately, provides finite sets ${\mathcal{F}}$ of subspaces such that reflection symmetry (or rotational symmetry) with respect to each subspace in ${\mathcal{F}}$ implies full rotational symmetry. In the second, proved here, a theorem of Klain for Steiner symmetrization is extended to Schwarz, Minkowski, Minkowski-Blaschke, and fiber symmetrizations, showing that if a sequence of subspaces is drawn from a finite set ${\mathcal{F}}$ of subspaces, the successive symmetrals of any compact convex set converge to a compact convex set that is symmetric with respect to any subspace in ${\mathcal{F}}$ appearing infinitely often in the sequence. It is also proved that for Steiner, Schwarz, and Minkowski symmetrizations, a sequence of $i$-dimensional subspaces is universal for the class of compact sets if and only if it is universal for the class of compact convex sets, and Klain's theorem is shown to hold for Schwarz symmetrization of compact sets.

preprint2022arXiv

Full rotational symmetry from reflections or rotational symmetries in finitely many subspaces

Two related questions are discussed. The first is when reflection symmetry in a finite set of $i$-dimensional subspaces, $i\in \{1,\dots,n-1\}$, implies full rotational symmetry, i.e., the closure of the group generated by the reflections equals $O(n)$. For $i=n-1$, this has essentially been solved by Burchard, Chambers, and Dranovski, but new results are obtained for $i\in \{1,\dots,n-2\}$. The second question, to which an essentially complete answer is given, is when (full) rotational symmetry with respect to a finite set of $i$-dimensional subspaces, $i\in \{1,\dots,n-2\}$, implies full rotational symmetry, i.e., the closure of the group generated by all the rotations about each of the subspaces equals $SO(n)$. The latter result also shows that a closed set in $\mathbb{R}^n$ that is invariant under rotations about more than one axis must be a union of spheres with their centers at the origin.

preprint2020arXiv

Rearrangement and polarization

The paper has two main goals. The first is to take a new approach to rearrangements on certain classes of measurable real-valued functions on $\mathbb{R}^n$. Rearrangements are maps that are monotonic (up to sets of measure zero) and equimeasurable, i.e., they preserve the measure of super-level sets of functions. All the principal known symmetrization processes for functions, such as Steiner and Schwarz symmetrization, are rearrangements, and these have a multitude of applications in diverse areas of the mathematical sciences. The second goal is to understand which properties of rearrangements characterize polarization, a special rearrangement that has proved particularly useful in a number of contexts. In order to achieve this, new results are obtained on the structure of measure-preserving maps on convex bodies and of rearrangements generally.

preprint2014arXiv

The Dual Orlicz-Brunn-Minkowski Theory

This paper introduces the dual Orlicz-Brunn-Minkowski theory for star sets. A radial Orlicz addition of two or more star sets is proposed and a corresponding dual Orlicz-Brunn-Minkowski inequality is established. Based on a radial Orlicz linear combination of two star sets, a formula for the dual Orlicz mixed volume is derived and a corresponding dual Orlicz-Minkowski inequality proved. The inequalities proved yield as special cases the precise duals of the conjectured log-Brunn-Minkowski and log-Minkowski inequalities of Böröczky, Lutwak, Yang, and Zhang. A new addition of star sets called radial $M$-addition is also introduced and shown to relate to the radial Orlicz addition.

preprint2013arXiv

Characterizing the dual mixed volume via additive functionals

Integral representations are obtained of positive additive functionals on finite products of the space of continuous functions (or of bounded Borel functions) on a compact Hausdorff space. These are shown to yield characterizations of the dual mixed volume, the fundamental concept in the dual Brunn-Minkowski theory. The characterizations are shown to be best possible in the sense that none of the assumptions can be omitted. The results obtained are in the spirit of a similar characterization of the mixed volume in the classical Brunn-Minkowski theory, obtained recently by Milman and Schneider, but the methods employed are completely different.

preprint2013arXiv

Geometric reconstruction methods for electron tomography

Electron tomography is becoming an increasingly important tool in materials science for studying the three-dimensional morphologies and chemical compositions of nanostructures. The image quality obtained by many current algorithms is seriously affected by the problems of missing wedge artefacts and nonlinear projection intensities due to diffraction effects. The former refers to the fact that data cannot be acquired over the full $180^\circ$ tilt range; the latter implies that for some orientations, crystalline structures can show strong contrast changes. To overcome these problems we introduce and discuss several algorithms from the mathematical fields of geometric and discrete tomography. The algorithms incorporate geometric prior knowledge (mainly convexity and homogeneity), which also in principle considerably reduces the number of tilt angles required. Results are discussed for the reconstruction of an InAs nanowire.

preprint2013arXiv

Operations between sets in geometry

An investigation is launched into the fundamental characteristics of operations on and between sets, with a focus on compact convex sets and star sets (compact sets star-shaped with respect to the origin) in $n$-dimensional Euclidean space $\R^n$. For example, it is proved that if $n\ge 2$, with three trivial exceptions, an operation between origin-symmetric compact convex sets is continuous in the Hausdorff metric, GL(n) covariant, and associative if and only if it is $L_p$ addition for some $1\le p\le\infty$. It is also demonstrated that if $n\ge 2$, an operation * between compact convex sets is continuous in the Hausdorff metric, GL(n) covariant, and has the identity property (i.e., $K*\{o\}=K=\{o\}*K$ for all compact convex sets $K$, where $o$ denotes the origin) if and only if it is Minkowski addition. Some analogous results for operations between star sets are obtained. An operation called $M$-addition is generalized and systematically studied for the first time. Geometric-analytic formulas that characterize continuous and GL(n)-covariant operations between compact convex sets in terms of $M$-addition are established. The term "polynomial volume" is introduced for the property of operations * between compact convex or star sets that the volume of $rK*sL$, $r,s\ge 0$, is a polynomial in the variables $r$ and $s$. It is proved that if $n\ge 2$, with three trivial exceptions, an operation between origin-symmetric compact convex sets is continuous in the Hausdorff metric, GL(n) covariant, associative, and has polynomial volume if and only if it is Minkowski addition.

preprint2013arXiv

The Orlicz-Brunn-Minkowski theory: A general framework, additions, and inequalities

The Orlicz-Brunn-Minkowski theory, introduced by Lutwak, Yang, and Zhang, is a new extension of the classical Brunn-Minkowski theory. It represents a generalization of the $L_p$-Brunn-Minkowski theory, analogous to the way that Orlicz spaces generalize $L_p$ spaces. For appropriate convex functions $φ:[0,\infty)^m\to [0,\infty)$, a new way of combining arbitrary sets in $\R^n$ is introduced. This operation, called Orlicz addition and denoted by $+_φ$, has several desirable properties, but is not associative unless it reduces to $L_p$ addition. A general framework is introduced for the Orlicz-Brunn-Minkowski theory that includes both the new addition and previously introduced concepts, and makes clear for the first time the relation to Orlicz spaces and norms. It is also shown that Orlicz addition is intimately related to a natural and fundamental generalization of Minkowski addition called $M$-addition. The results obtained show, roughly speaking, that the Orlicz-Brunn-Minkowski theory is the most general possible based on an addition that retains all the basic geometrical properties enjoyed by the $L_p$-Brunn-Minkowski theory. Inequalities of the Brunn-Minkowski type are obtained, both for $M$-addition and Orlicz addition. The new Orlicz-Brunn-Minkowski inequality implies the $L_p$-Brunn-Minkowski inequality. New Orlicz-Minkowski inequalities are obtained that generalize the $L_p$-Minkowski inequality. One of these has connections with the conjectured log-Brunn-Minkowski inequality of Lutwak, Yang, and Zhang, and in fact these two inequalities together are shown to split the classical Brunn-Minkowski inequality.

preprint2011arXiv

A problem of Klee on inner section functions of convex bodies

In 1969, Vic Klee asked whether a convex body is uniquely determined (up to translation and reflection in the origin) by its inner section function, the function giving for each direction the maximal area of sections of the body by hyperplanes orthogonal to that direction. We answer this question in the negative by constructing two infinitely smooth convex bodies of revolution about the $x_n$-axis in $\R^n$, $n\ge 3$, one origin symmetric and the other not centrally symmetric, with the same inner section function. Moreover, the pair of bodies can be arbitrarily close to the unit ball.

preprint2010arXiv

Phase retrieval for characteristic functions of convex bodies and reconstruction from covariograms

We propose strongly consistent algorithms for reconstructing the characteristic function 1_K of an unknown convex body K in R^n from possibly noisy measurements of the modulus of its Fourier transform \hat{1_K}. This represents a complete theoretical solution to the Phase Retrieval Problem for characteristic functions of convex bodies. The approach is via the closely related problem of reconstructing K from noisy measurements of its covariogram, the function giving the volume of the intersection of K with its translates. In the many known situations in which the covariogram determines a convex body, up to reflection in the origin and when the position of the body is fixed, our algorithms use O(k^n) noisy covariogram measurements to construct a convex polytope P_k that approximates K or its reflection -K in the origin. (By recent uniqueness results, this applies to all planar convex bodies, all three-dimensional convex polytopes, and all symmetric and most (in the sense of Baire category) arbitrary convex bodies in all dimensions.) Two methods are provided, and both are shown to be strongly consistent, in the sense that, almost surely, the minimum of the Hausdorff distance between P_k and K or -K tends to zero as k tends to infinity.

preprint1999arXiv

An analytic solution to the Busemann-Petty problem on sections of convex bodies

We derive a formula connecting the derivatives of parallel section functions of an origin-symmetric star body in R^n with the Fourier transform of powers of the radial function of the body. A parallel section function (or (n-1)-dimensional X-ray) gives the ((n-1)-dimensional) volumes of all hyperplane sections of the body orthogonal to a given direction. This formula provides a new characterization of intersection bodies in R^n and leads to a unified analytic solution to the Busemann-Petty problem: Suppose that K and L are two origin-symmetric convex bodies in R^n such that the ((n-1)-dimensional) volume of each central hyperplane section of K is smaller than the volume of the corresponding section of L; is the (n-dimensional) volume of K smaller than the volume of L? In conjunction with earlier established connections between the Busemann-Petty problem, intersection bodies, and positive definite distributions, our formula shows that the answer to the problem depends on the behavior of the (n-2)-nd derivative of the parallel section functions. The affirmative answer to the Busemann-Petty problem for n\le 4 and the negative answer for n\ge 5 now follow from the fact that convexity controls the second derivatives, but does not control the derivatives of higher orders.