Let denote the -sphere of radius , i.e.,
equipped with the rotation invariant Haar measure that is normalized such that
This normalization corresponds to the usual surface area. Let denote the probability of a set (that we will always assume to be measurable) with respect to the corresponding Haar probability measure that is normalized such that . A spherical cap of angle and pole is defined as a ball on using the geodesic metric , i.e.,
We say that a set has effective angle if with for some .
The classical isoperimetric inequality on the sphere implies that among all sets on the sphere with a given measure, the spherical cap has the smallest boundary, or more generally the smallest neighborhood ,. This is formalized as follows:
Proposition 1 (Isoperimetric Inequality).
For any arbitrary set such that , where is a spherical cap, it holds that
where is the -neighborhood of defined as
Another basic geometric phenomenon, this time occurring only in high-dimensions, is concentration of measure. On a high-dimensional sphere this manifests as most of the measure of the sphere concentrating around any equator. This is captured by the following proposition .
Proposition 2 (Measure Concentration).
Given any , there exists an such that for any and any ,
where is distributed according to the Haar probability measure.
The above measure concentration result combined with the isoperimetric inequality immediately yields the following result:
Proposition 3 (Blowing-up Lemma).
Let be an arbitrary set with effective angle . Then for any and sufficiently large,
An almost equivalent way to state the blowing-up lemma from Proposition 3 is the following: let be an arbitrary set with effective angle , then for any and sufficiently large ,
where is distributed according to the normalized Haar measure on . In words, if we take a uniformly at random on the sphere and draw a spherical cap of angle slightly larger than around it, this cap will intersect the set with high probability. This statement is almost equivalent to (1.2) since the ’s for which the intersection is not empty lie in the -neighborhood of . Note that this statement would trivially follow from measure concentration on the sphere (Proposition 2) if were known to be a spherical cap, and it holds for any due to the isoperimetric inequality in Proposition 1.
Our main result is the following generalization of (1.3).
Given any , there exists an such that for any the following is true. Let be any arbitrary set with effective angle , and let where with and . Then
is a random vector ondistributed according to the normalized Haar measure.
If itself is a cap then the statement of Theorem 1 is straightforward and follows from the fact that will be concentrated around the equator at angle from the pole of (Proposition 2). Therefore, as gets large, the intersection of the two spherical caps will be given by for almost all ’s. The statement however is much stronger than this and holds for any arbitrary set , analogous to the isoperimetric result in (1.3). It states that no matter what the set is, if we take a random point on the sphere and draw a cap of angle slightly larger than for , then with high probability the intersection of the cap with the set would be at least as large as the intersection we would get if were a spherical cap.
The authors first encountered this problem while working on a geometric framework for proving capacity bounds in information theory. A version of this result on a spherical shell with nonzero thickness was used in  to resolve the Gaussian case of an open problem from , and some partial results for a discrete version on the Hamming sphere were used in .
When viewed as a concentration of measure result, it might seem as though Theorem 1 could be proved with standard methods such as the concentration of Lipschitz functions . We could not find a way to make this work, since the Lipschitz constant for the function can increase exponentially in the dimension . Even if one is only interested in the exponential order of the intersection measure, is equal to when the sets are disjoint, so log composed with this function is not even continuous. However, if instead of the “hard” intersection measure that can be viewed as the indicator function convolved with the kernel , we are interested in the “soft” intersection measure that is convolved with some smooth kernel, then these techniques could possibly be applied. In particular, exhibits the correct order of Lipschitz continuity where denotes the heat semigroup over time on the sphere. Once concentration of has been established, a rearrangement theorem such as Theorem 4.1 from  could be used to establish that the smallest value it can concentrate around is given when is a spherical cap 111Special thanks to Ramon van Handel for pointing out that concentration of Lipschitz functions can indeed be used in this “soft” intersection case..
2. Rearrangement on the Sphere
Our main tool for proving Theroem 1 for arbitrary is the symmetric decreasing rearrangement of functions on the sphere, along with a version of the Riesz rearrangement inequality on the sphere due to Baernstein and Taylor .
For any measurable function and pole , the symmetric decreasing rearrangement of about is defined to be the function such that depends only on the angle , is nonincreasing in , and has super-level sets of the same size as , i.e.
for all . The function is unique except for on sets of measure zero.
One important special case is when the function
is the characteristic function for a subset. The function is just the function such that
In this case, is equal to the characteristic function associated with a spherical cap of the same size as . In other words, if is a spherical cap about the pole such that , then .
Theorem 2 (Baernstein and Taylor ).
Let be a nondecreasing bounded measurable function on the interval . Then for all functions ,
3. Proof of Theorem 1
To do this, given an arbitrary set , we set and
Note that is nondecreasing, bounded, and measurable. Furthermore, the product is one precisely when and , and it is zero otherwise. Thus the integral
is exactly the measure of the set .
We will use test functions that are also characteristic functions. Let where for some (i.e. is a super-level set). For a fixed measure , the left-hand side of the inequality from Theorem 2 will be maximized by this choice of . With this choice we have the following equality:
This follows from the layer-cake decomposition for any non-negative and measurable function in that
Using this equality and our choices for above we will rewrite the inequality from Theorem 2 as
Note that is exactly
Note that both and are spherically symmetric. More concretely, they both depend only on the angle , so in an abuse of notation we will write and where .
For convenience we will define a measure by
where denotes the Haar measure of the -sphere with radius . We do this so that an integral like
can be expressed as
The constant is determined only by the concentration of measure phenomenon cited above, and it does not depend on any parameters in the problem other than . From now on, let us restrict our attention to dimensions . Due to the triangle inequality for the geodesic metric, for such that we have
where is such that . Therefore,
for all for such that and
To prove the lemma, we need to show that
for any arbitrary set . Recall that by the definition of a decreasing symmetric rearrangement, we have
for any threshold and this implies
Therefore, the desired statement in (3.7) can be equivalently written as
Turning to proving (3.9), recall that by the definition of a decreasing symmetric rearrangement, is nonincreasing over the interval . Let be the smallest value such that , or more explicitly,
By the definition of and the fact that is nonincreasing,
To bound the first and third terms of (3.10) note that
as a consequence of (3.4). In order to bound the second term, we establish the following chain of (in)equalities which will be justified below.
must be bounded by which implies the lemma.
which is itself a consequence of (3.2) with and
Next we have (3.15) which is due to the rearrangement inequality (3.3) when is the super-level set . By the definition of a symmetric decreasing rearrangement, , and the set on the right-hand side is an open or closed spherical cap of angle . Thus is a spherical cap with angle and the rearrangement inequality (3.3) gives
Finally, for the inequality (3.16), we first replace the lower integral limit with . Then over the range of the integral due to (3.5). Additionally, over the range of the integral, and the inequality follows.
-  X. Wu, L. Barnes and A. Ozgur, “‘The Capacity of the Relay Channel’: Solution to Cover’s Problem in the Gaussian Case,” accepted to IEEE Transactions on Information Theory.
-  L. Barnes, X. Wu and A. Ozgur, “A solution to Cover’s problem for the binary symmetric relay channel: geometry of sets on the Hamming sphere,” in Proc. of 55th Annual Allerton Conference on Communication, Control, and Computing, Allerton Retreat Center, Monticello, Illinois, Oct. 2017.
-  P. Levy, Problmes concrets d’analyse fonctionnelle (French), 2d ed, Gauthier-Villars, Paris, 1951.
-  J. Matoušek, Lectures on discrete geometry, vol. 212, Springer Science & Business Media, 2002.
-  G. Schechtman, “Concentration, results and applications,” Handbook of the geometry of Banach spaces, vol. 2, pp. 1603-1634, North-Holland, Amsterdam, 2003.
-  S. Li, “Concise formulas for the area and volume of a hyperspherical cap,” Asian Journal of Mathematics and Statistics, vol. 4, pp. 66–70, 2011.
-  Y. Lee and W. C. Kim, “Concise formulas for the surface area of the intersection of two hyperspherical caps,” KAIST Technical Report, 2014.
-  A. Baernstein II and B. A. Taylor, “Spherical rearrangements, subharmonic functions, and -functions in -space,” Duke Mathematical Journal, vol. 43, no. 2, pp. 245-268, 1976.
-  Guy Kindler, Ryan O’Donnel, and David Witmer, “Remarks on the Most Informative Function Conjecture at fixed mean,” arXiv preprint, arXiv:1506.03167, 2015.
-  T. M. Cover, “The capacity of the relay channel,” Open Problems in Communication and Computation, edited by T. M. Cover and B. Gopinath, Eds. New York: Springer-Verlag, 1987, pp. 72-73.