View More View Less
  • 1 University of Calgary Department of Mathematics and Statistics 2500 University drive N.W. Calgary AB Canada T2N 1N4
  • 2 Cornell University Department of Mathematics Malott Hall, Room 433 Ithaca NY 14853 USA
Restricted access

Abstract  

Suppose that p = (p1, p2, …, pN) and q = (q1, q2, …, qN) are two configurations in

\documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\mathbb{E}^d$$ \end{document}
, which are centers of balls Bd(pi, ri) and Bd(qi, ri) of radius ri, for i = 1, …, N. In [9] it was conjectured that if the pairwise distances between ball centers p are contracted in going to the centers q, then the volume of the union of the balls does not increase. For d = 2 this was proved in [1], and for the case when the centers are contracted continuously for all d in [2]. One extension of the Kneser-Poulsen conjecture, suggested in [6], was to consider various Boolean expressions in the unions and intersections of the balls, called flowers, where appropriate pairs of centers are only permitted to increase, and others are only permitted to decrease. Again under these distance constraints, the volume of the flower was conjectured to change in a monotone way. Here we show that these generalized Kneser-Poulsen flower conjectures are equivalent to an inequality between certain integrals of functions (called flower weight functions) over
\documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\mathbb{E}^d$$ \end{document}
, where the functions in question are constructed from maximum and minimum operations applied to functions each being radially symmetric monotone decreasing and integrable.