A Sharpened Rearrangement Inequality for Convolution on the Sphere
Extracted source text ยท arXiv 1810.06813
% !TEX TS-program = pdflatex
% !TEX encoding = UTF-8 Unicode
% This is a simple template for a LaTeX document using the "article" class.
% See "book", "report", "letter" for other types of document.
\documentclass[11pt]{amsart} % use larger type; default would be 10pt
\usepackage[utf8]{inputenc} % set input encoding (not needed with XeLaTeX)
%%% Examples of Article customizations
% These packages are optional, depending whether you want the features they provide.
% See the LaTeX Companion or other references for full information.
%%% PAGE DIMENSIONS
\usepackage{geometry} % to change the page dimensions
\geometry{a4paper} % or letterpaper (US) or a5paper or....
% \geometry{margin=2in} % for example, change the margins to 2 inches all round
% \usepackage[top=1in, bottom=1in, left=1.5 in, right=1.5 in]{geometry} for example
% \geometry{landscape} % set up the page for landscape
% read geometry.pdf for detailed page layout information
\usepackage{graphicx} % support the \includegraphics command and options
% \usepackage[parfill]{parskip} % Activate to begin paragraphs with an empty line rather than an indent
%%% PACKAGES
\usepackage{booktabs} % for much better looking tables
\usepackage{array} % for better arrays (eg matrices) in maths
\usepackage{paralist} % very flexible & customisable lists (eg. enumerate/itemize, etc.)
\usepackage{verbatim} % adds environment for commenting out blocks of text & for better verbatim
\usepackage{subfig} % make it possible to include more than one captioned figure/table in a single float
% These packages are all incorporated in the memoir class to one degree or another...
%STANDARD PACKAGES
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{verbatim}
\usepackage{hyperref}
\usepackage{color}
% define theorem environments
\newtheorem{theorem}{Theorem} %[section]
%\def\thetheorem{\unskip}
\newtheorem{proposition}[theorem]{Proposition}
%\def\theproposition{\unskip}
\newtheorem{conjecture}[theorem]{Conjecture}
\def\theconjecture{\unskip}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{sublemma}[theorem]{Sublemma}
\newtheorem{fact}[theorem]{Fact}
\newtheorem{observation}[theorem]{Observation}
%\def\thelemma{\unskip}
\theoremstyle{definition}
\newtheorem{definition}{Definition}
%\def\thedefinition{\unskip}
\newtheorem{notation}[definition]{Notation}
\newtheorem{remark}[definition]{Remark}
% \def\theremark{\unskip}
\newtheorem{question}[definition]{Question}
\newtheorem{questions}[definition]{Questions}
%\def\thequestion{\unskip}
\newtheorem{example}[definition]{Example}
%\def\theexample{\unskip}
\newtheorem{problem}[definition]{Problem}
\newtheorem{exercise}[definition]{Exercise}
\numberwithin{theorem}{section}
\numberwithin{definition}{section}
\numberwithin{equation}{section}
%%% HEADERS & FOOTERS
\usepackage{fancyhdr} % This should be set AFTER setting up the page geometry
\pagestyle{fancy} % options: empty , plain , fancy
\renewcommand{\headrulewidth}{0pt} % customise the layout...
\lhead{}\chead{}\rhead{}
\lfoot{}\cfoot{\thepage}\rfoot{}
%%% SECTION TITLE APPEARANCE
%\usepackage{sectsty}
%\allsectionsfont{\sffamily\mdseries\upshape} % (See the fntguide.pdf for font help)
% (This matches ConTeXt defaults)
%%% ToC (table of contents) APPEARANCE
%\usepackage[nottoc,notlof,notlot]{tocbibind} % Put the bibliography in the ToC
%\usepackage[titles,subfigure]{tocloft} % Alter the style of the Table of Contents
%\renewcommand{\cftsecfont}{\rmfamily\mdseries\upshape}
%\renewcommand{\cftsecpagefont}{\rmfamily\mdseries\upshape} % No bold!
% NEW COMMANDS
%Functional notation
\newcommand{\ra}{\rightarrow}
%Sets
\def\Z{\mathbb{Z}}
\def\C{\mathbb{C}}
\def\Q{\mathbb{Q}}
\def\N{\mathbb{N}}
\def\R{\mathbb{R}}
%Linear Algebra
\newcommand{\bv}{\begin{pmatrix}{c}}
\newcommand{\ev}{\end{pmatrix}}
%Common Bold and Italicized Letters
\def\bp{\mathbf{p}}
\def\bA{\mathbf{A}}
\def\bE{\mathbf{E}}
\def\bF{\mathbf{F}}
\def\bf{\mathbf{f}}
\def\bg{\mathbf{g}}
\def\bG{\mathbf{G}}
\def\bh{\mathbf{h}}
\def\T{\mathcal{T}}
\def\H{\mathcal{H}}
\def\Q{\mathcal{Q}}
\def\scriptO{\mathcal{O}}
\def\one{{\mathbf 1}}
%Miscellaneous
\def\dist{\text{dist}}
\def\Id{\text{Id}}
\def\Im{\text{Im}}
%%% END Article customizations
%%% The "real" document content comes below...
\title{A Sharpened Rearrangement Inequality for Convolution on the Sphere}
\author{Kevin O'Neill}
%\date{} % Activate to display a given date or no date (if empty),
% otherwise the current date is printed
%\address{
% Kevin O'Neill\\
% Department of Mathematics\\
% University of California \\
% Berkeley, CA 94720-3840, USA}
%\email{kevinwoneill@berkeley.edu}
\begin{document}
\maketitle
\begin{abstract}
One may define a trilinear convolution form on the sphere involving two functions on the sphere and a monotonic function on the interval $[-1,1]$. A symmetrization inequality of Baernstein and Taylor states that this form is maximized when the two functions on the sphere are replaced with their nondecreasing symmetric rearrangements. In the case of indicator functions, we show that under natural hypotheses, the symmetric rearrangements are the only maximizers up to symmetry by establishing a sharpened inequality.
\end{abstract} %This is where the Abstract goes.
%\tableofcontents %Use to make a table of contents. Must compile twice to work!
\section{Introduction}
A version of convolution on the sphere $S^d$ is given by the trilinear form
\begin{equation}\label{eq:define convolution}
\T(f,g,h):=\iint_{S^d\times S^d}f(x)g(y)h(x\cdot y)d\sigma(x)d\sigma(y),
\end{equation}
where $f,g:S^d\ra\R$, $h:[-1,1]\ra\R$ and $\sigma$ is surface measure on $S^d$ (normalized so $\sigma(S^d)=1$).
A natural question to ask is, for which functions $f,g$, and $h$ is $\T(f,g,h)$ relatively large? A useful answer involves the {\it nondecreasing symmetric rearrangement} $f^*$ of a function $f:S^d\ra\R$. Writing the coordinates of $S^d$ as $(x_1,...,x_{d+1})$, $f^*:S^d\ra\R$ is defined as the unique function (up to sets of measure zero) which depends only on $x_{d+1}$, is nondecreasing in $x_{d+1}$, and has the same distribution function as $f$. (That is, $\sigma(\{f^*>\lambda\})=\sigma(\{f>\lambda\})$ for all $\lambda\in\R$.)
A classical result of Baernstein and Taylor \cite{BaernsteinTaylor} says the following:
\begin{theorem}\label{theorem:bernstein}
Let $h:[-1,1]\ra[0,\infty)$ be a nondecreasing, bounded, measurable function and let $f,g\in L^1(S^d)$. Then,
\begin{equation}\label{eq:bernstein}
\T(f,g,h)\leq\T(f^*,g^*,h).
\end{equation}
\end{theorem}
This is analogous to the Riesz-Sobolev inequality
\begin{equation}
\iint_{\R^d\times\R^d}f(x)g(y)h(x+y)dxdy\leq \iint_{\R^d\times\R^d}f^*(x)g^*(y)h^*(x+y)dxdy
\end{equation}
on $\R^d$ (where the symmetric decreasing rearrangement is defined analogously), except the latter makes no extra assumption on the function $h$. Further work of Baernstein established the conclusion of Theorem \ref{theorem:bernstein} without the nondecreasing hypothesis on $h$ in the $d=1$ case \cite{BaernsteinII}. To the best of the author's knowledge, this remains an open problem in dimensions $d\geq2$.
In this paper, we prove a sharpened version of \eqref{eq:bernstein} in the special case where $f,g$ and $h$ are indicator functions, writing $\T(E_1,E_2,I)=\T(\one_{E_1},\one_{E_2},\one_I)$. Here, $E_j\subset S^d$ and $I=[a,1]$ for some $-1<a<1$. Often, $\T(E_1,E_2,I)$ will be written as $\T(E_1,E_2)$ when $I$ is clear from context. $E^*$ will be used to denote the set such that $(\one_{E})^*=\one_{E^*}$, or alternatively, the spherical cap of measure $\sigma(E)$ with center $N=(0,...,0,1)$.
Two obstacles arise in constructing the proper statement of our main theorem.
First, observe that $\T(Q(E_1),Q(E_2),I)=\T(E_1,E_2,I)$ for any orthogonal transformation $Q$ on $\R^{d+1}$. In fact, the symmetry group of the operator $\T$ is the orthogonal group $O(d+1)$. Thus, any sharpened version of \eqref{eq:bernstein} must account for the case in which $E_1,E_2$ are spherical caps centered at some point other than $N$.
For this purpose, define the distance of a pair of sets $\bE=(E_1,E_2)$ from the orbit of maximizers to be
\begin{equation}\label{eq:define distance}
\dist(\bE,\scriptO(\bE^*)):=\inf_{Q\in O(d+1)}\max_{j\in\{1,2\}}|E_j\Delta Q(E_j^*)|,
\end{equation}
where $A\Delta B$ denotes the symmetric difference between the sets $A$ and $B$ and $|A|$ refers to the surface measure of $A$.
Second, consider for example the case where $I=[0,1]$ and $E_1,E_2$ are small spherical caps centered at $N$. A small perturbation of $E_1$ and $E_2$ preserves the property that $x\cdot y>0$ for all $x\in E_1$ and $y\in E_2$. Therefore, $\T(\bE)$ remains constant, despite taking the sets further from their rearrangements. A similar problem arises if $E_2^*$ is much bigger than $E_1^*$ and $I$ is a small interval.
To address this issue, let $r_i$ ($i=1,2$) be the spherical radius of the cap $E_i^*$, that is, the Riemannian distance on $S^d$ from the center of $E_i^*$ to its boundary. If $I$ is the interval $[a,1]$, then let $r_3$ be the Riemannian distance between any two points on $S^d$ whose dot product is $a$. We say that $(\sigma(E_1),\sigma(E_2),I)$ (or $(E_1,E_2,I)$) is {\it strictly admissible} if $r_i+r_j>r_k$ for all permutations $(i,j,k)$ of $(1,2,3)$.
Our main theorem is the following.
\begin{theorem}\label{thm:main}
Let $d\geq1$ and $K$ be a compact subset of the set of strictly admissible triples $(e_1,e_2,a)$ with $0<e_1,e_2<1, -1<a<1$. Then, there exists $c>0$ such that for all $(e_1,e_2,a)\in K$ and pairs of Lebesgue measurable subsets $E_j\subset S^d$ with $\sigma(E_j)=e_j$,
\begin{equation}\label{eq:main result}
\T(E_1,E_2,I)\leq\T(E_1^*,E_2^*,I)-c\dist(\bE,\scriptO(\bE^*))^2,
\end{equation}
where $I=[a,1]$.
\end{theorem}
Results of this type were proved for $\R$ in \cite{ChristRSold} and for $\R^d$ in \cite{ChristRS}.
The $d=1$ case of Theorem \ref{thm:main} is established by Christ and Iliopoulou in the more general case where $I$ is replaced with an arbitrary subset of $[-1,1]$ \cite{ChristIliopoulou}.
While Theorem \ref{thm:main} will be proven focusing on a single arbitrary triple $(e_1,e_2,a)$, one may check that uniformity holds at each step.
To the best of the author's knowledge, the following corollary is new for dimensions $d\geq2$.
\begin{corollary}
Let $d\geq1$. Fix a strictly admissible triple $(e_1,e_2,a)$ and let $I=[a,1]$. Up to difference of Lebesgue null sets, the maximizers of $\T(E_1,E_2,I)$ among $E_j\subset S^d$ with $\sigma(E_j)=e_j$ are precisely $\{(Q(E_1^*),Q(E_2^*)):Q\in O(d+1)\}$.
\end{corollary}
Again, the $d=1$ case is established in \cite{ChristIliopoulou}. A result of this type for $\R^d$ was proven in \cite{BurchardAnnals}.
The proof of Theorem \ref{thm:main} largely follows the proof of the main theorem of \cite{ChristRS}. Similar techniques were used in work by Bianchi and Egnell \cite{BianchiEgnell}. (See also \cite{ChristONeill}.) The strategy is to expand about $(E_1^*,E_2^*)$ and analyze the quadratic term, reducing to functions supported on the boundaries of $E_1^*$ and $E_2^*$. From here, the quadratic form may be diagonalized by spherical harmonics and a balancing lemma is used to eliminate those of degree 1.
However, two distinct challenges arise in following this method. First, in this method one reduces to the case of small perturbations, that is, when $\dist((\bE,\scriptO(\bE^*))\leq\delta_0$. In \cite{ChristRS} and \cite{ChristONeill}, this is done through the use of a continuous flow which takes arbitrary sets to maximizers and under which the functional is nondecreasing. The flow is stopped at precisely the time which the distance from the maximizers is $\delta_0$. In the case of spherical convolution, no such flow is known to exist in dimensions $d\geq2$. (See \cite{ChristIliopoulou} for a flow in $d=1$.)
As an alternative, we use the reflection method deployed in \cite{BaernsteinTaylor} which is used to prove \eqref{eq:bernstein} by transforming the initial sets under a sequence of reflections about hyperplanes. While a general sequence of reflections may not give rise to sets at a distance $\delta_0$ from their rearrangements, one may modify the sequence to produce the desired distance.
Second, it is not inherently clear how to complete the proof once one reduces to the case of particular sets $E_j$ determined by spherical harmonics. To address this issue in \cite{ChristRS}, Christ uses the one-dimensional sharpened Riesz-Sobolev \cite{ChristRSold} and Steiner symmetrization. Given the geometry of the sphere, this part of the proof is completed by induction, applying the sharpened inequality on $S^{d-1}$ to horizontal slices of $S^d$.
%The proof of Theorem \ref{thm:main} is by induction on dimension. However, the inductive step will not be cited until near the end of the proof for $d\geq 2$. The base case $d=1$ will follow from the same proof except for a simplification at the end which avoids the need for an inductive hypothesis.
\section{Reduction to Small Perturbations}
In this section, we show that it suffices to prove Theorem \ref{thm:main} in the case where $\dist(\bE,\scriptO(\bE^*))$ is small. Specifically, Theorem \ref{thm:main} will follow from Proposition \ref{prop:smalldelta}.
\begin{proposition}\label{prop:smalldelta}
Let $d\geq1$ and $(e_1,e_2,a)$ be a strictly admissible triple. Let $I=[a,1]$. Then, there exist $\delta_0,c>0$ such that for all Lebesgue measurable sets $E_j\subset S^d$ with $\sigma(E_j)=e_j$ ($j=1,2$),
\begin{equation}
\T(E_1,E_2,I)\leq\T(E_1^*,E_2^*,I)-c\dist(\bE,\scriptO(\bE^*))^2
\end{equation}
whenever $\dist(\bE,\scriptO(\bE^*))\leq\delta_0$.
\end{proposition}
Given an oriented hyperplane $H$ in $\R^{d+1}$ which passes through the origin, let $H^+$ denote the half-space determined by $H$ and the positive orientation of $H$, and let $H^-$ denote the complement of $H^+$. Let $\rho_H$ denote reflection across $H$.
Construct the set $E_H\subset S^d$ as follows. If $x\in H^+$, then $x\in E_H$ if either $x\in H^+\cap E$ or $\rho_H(x)\in H^-\cap E$. If $x\in H^-$ then $x\in E_H$ if $x\in H^-\cap E$ and $\rho_H(x)\in H^+\cap E$.
A useful formula for $E_H$ is
\begin{equation}\label{eq:EH}
E_H=[H^+\cap(E\cup\rho_H(E)]\cup[H^-\cap E\cap\rho_H(E)].
\end{equation}
Given oriented hyperplanes $H_j$, the notation $E_{H_1\cdots H_n}$ will be used to denote\\ $(\cdots(E_{H_1})_{H_2}\cdots)_{H_n}$.
The following two lemmas were proven in \cite{BaernsteinTaylor} in more general context. (While they were stated for continuous functions in place of sets, a standard approximation argument recovers the conclusion for sets. Lemma \ref{lemma:reflection method} is implicit in the proof of Theorem \ref{theorem:bernstein} found in \cite{BaernsteinTaylor}. Furthermore, we allow for a larger class of reflections, though their results extend trivially.)
\begin{lemma}
Let $E,F\subset S^d$ and $H$ be an oriented hyperplane in $\R^{d+1}$ through the origin. Let $E_H$ and $F_H$ be defined as above. Then,
\begin{enumerate}
\item $|E_H|=|E|$.
\item $\T(E,F)\leq\T(E_H,G_H)$.
\end{enumerate}
\end{lemma}
\begin{lemma}\label{lemma:reflection method}
Given sets $F,G\subset S^d$, there exists a sequence of oriented hyperplanes $H_1,...,H_n,...$ through the origin such that $|F_{H_1\cdots H_n}\Delta F^*|\ra0$ and $|G_{H_1\cdots H_n}\Delta G^*|\ra0$ as $n\ra\infty$.
\end{lemma}
\begin{proof}[Proof of Prop. \ref{prop:smalldelta} $\Rightarrow$ Thm. \ref{thm:main}]
If $\dist(\bE,\scriptO(\bE^*))\leq\delta_0$, we are done, so assume that $\dist(\bE,\scriptO(\bE^*))>\delta_0$.
Let $H_1,...,H_n,...$ be a sequence of oriented hyperplanes guaranteed by Lemma \ref{lemma:reflection method} and let $\bE_n= (E_{1_{H_1\cdots H_n}},E_{2_{H_1\cdots H_n}})$.
Suppose there exists an $n_0$ such that $\dist(\bE_{n_0},\scriptO(\bE^*))\in(\delta_0/100,\delta_0)$. Then, by Lemma \ref{lemma:reflection method}, Proposition \ref{prop:smalldelta}, and the finite measure of $S^d$,
\begin{equation}
\T(\bE)\leq\T(\bE_{n_0})\leq\T(\bE^*)-c\delta_0^2/10^4\leq\T(\bE^*)-\tilde{c}\dist(\bE,\scriptO(\bE^*))^2
\end{equation}
for some $\tilde{c}>0$ by the boundedness of $\dist(\bE,\scriptO(\bE^*))$. (The distance is at most $\sigma(S^d)$.)
Now suppose the contrary, that there exists $n_0$ such that $\dist(\bE_{n_0-1},\scriptO(\bE^*))>\delta_0$, but $\dist(\bE_{n_0},\scriptO(\bE^*))<\delta_0/100$. Our goal is to modify $H_{n_0}$ so that $\dist(\bE_{n_0},\scriptO(\bE^*))$ lies in the interval $(\delta_0/100,\delta_0)$.
Denote $\bF=\bE_{n_0-1}$ and $H_0=H_{n_0}$ so $\dist(\bF_H,\scriptO(\bF^*))<\delta_0/100$.
%Without loss of generality, assume that $\dist(\bE,Q(\bE^*))$ is minimized when $Q=I$ (where $I$ is the identity transformation). If instead the distance is minimized where $Q=Q_0$, then continue the remainder of the proof for $Q(\bE)$ in place of $\bE$, establishing the conclusion of Theorem \ref{thm:main} for $Q(\bE)$, immediately establishing the same conclusion for $\bE$.
%Pick $j_0$ such that $\dist(\bF,\scriptO(\bF^*))\leq|F_{j_0}\Delta F_{j_0}^*|$. Choose a hyperplane $\tilde{H}$ through the origin which does not intersect $N$ and splits $F_{j_0}\cap(F_{j_0}^*)^c$ into two sets of measure at least $\sigma(F_{j_0}\cap(F_{j_0}^*)^c)/3$. Then, at most two thirds of $F_j\cap(F_j^*)^c$ may reflect across $\tilde{H}$ so $|(F_j)_{\tilde{H}}\Delta F_j|\leq\frac{1}{3}\dist(\bF,\scriptO(\bF^*))$ for $j=1,2$ and $\dist(\bF_{\tilde{H}},\scriptO(\bF^*))>\delta_0/3$.
Suppose for the moment that there exists an oriented hyperplane $\tilde{H}$ such that $\dist(\bF_{\tilde{H}},\scriptO(\bF^*))>\delta_0/100$. Let $H(t)$ $(0\leq t\leq1)$ be a continuous path in the space of oriented hyperplanes through the origin such that $H(0)=H_0$ and $H(1)=\tilde{H}$. If $\dist(\bF_{H(t)},\scriptO(\bF^*))$ is continuous in $t$, one may apply the Intermediate Value Theorem to obtain $t_0$ such that $\dist(\bF_{H(t_0)},\scriptO(\bF^*))\in(\delta_0/100,\delta_0)$. Thus, replacing $H_{n_0}$ with $H(t_0)$ reduces to the previously addressed case.
To establish continuity of $\dist(\bF_{H(t)},\scriptO(\bF^*))$ in $t$, note that by $\eqref{eq:EH}$, $|A_H\Delta Q(A^*)|$ is jointly continuous in $H$ and $Q$ for any set $A$. (To prove this, one may use outer regularity of surface measure to reduce to the case where $A$ is a finite union of balls, for which the statement is obvious.) It follows that
\begin{equation}
\dist(\bF_{H},\scriptO(\bF^*))=\inf_{Q\in O(d)}\max_{j=1,2}|(F_j)_H\Delta Q(F_j^*)|
\end{equation}
is continuous in $H$ on the image of $H(t)$.
It remains to establish the existence of such an $\tilde{H}$. Let $F=F_{j_0}$, where $\dist(\bF,\scriptO(\bF^*))=\inf_Q|F_{j_0}\Delta Q(F_{j_0})|$. We begin with a series of reductions. By applying an orthogonal transformation on $F$, one may suppose without loss of generality that $H_0$ is the hyperplane determined by $x_d=0$ oriented toward the positive $x_d$-axis. Thus, choosing $Q$ such that $|F_{H_0}\Delta Q(F^*)|<\delta_0/100$, the center of $Q(F^*)$ is contained in $H^+=\{x_d\geq0\}$. Taking complements, it suffices to prove the claim for $|F|\leq1/2$. By possibly replacing $H_0$ with its opposite orientation, suppose $|F\cap H_0^+|\geq1/2|F|$.
Since $\dist(F,\scriptO(F^*))>\delta_0$ and $|F_{H_0}\Delta Q(F^*)|<\delta_0/100$, we have $|F\Delta F_{H_0}|>99\delta_0/100$, hence there exists a set $G$ such that $|G|>\delta_0/25$, $\rho_{H_0}(G)\subset Q(F^*)$, and $G\cap Q(F^*)=\emptyset$. Since at least half of $F$ is contained in $H^+$ and $|F_{H_0}\Delta Q(F^*)|<\delta_0/100$, a small rotation of $\rho_{H_0}(G)$ intersects $F$ nontrivially. Hence, we may choose $\tilde{H}$ to be a rotation of angle $O(\delta_0)$ in the $x_dx_{d+1}$-plane such that $|G\cap F_{\tilde{H}}|>\delta_0/100$.
Let $G'$ be the subset of $Q(F^*)$ of size $\delta_0/25$ which is furthest from $G$. If $|G'\cap F|>\delta_0/50$, then we are done since $G\cap Q(E^*)=\emptyset$. Else, since $|Q(F^*)\cap F_{\tilde{H}}|<\delta_0/100$, $|\rho_{\tilde{H}}(G')\cap F|>\delta_0/50$ and we are done because no orthogonal transformation of $F^*$ may contain $\rho_{\tilde{H}}(G')\cap F, G$, and $\rho_{\tilde{H}}(G)$.
%To see this, first observe that the maximium of two continuous functions is continuous. Next, let $\epsilon>0$. By the uniform continuity of $\max_{j=1,2}|F_H\Delta Q(F^*)|$ over the compact set $\Im(H(t))\times O(d)\times\{1,2\}$, choose $\delta>0$ such that if $|H-H_0|<\delta$, then $\Delta|F_H\Delta Q(F^*)|<\epsilon$ for all choices of $(Q,j)$. Thus, $\inf_{Q\in O(d)}\max_{j=1,2}|(F_j)_H\Delta Q(F_j^*)|$ changes by at most $\epsilon$.
%The desired continuity follows from restricting to the path $H(t)$.
%Since $\delta_0$ is a small value to be chosen later, we may assume that $99/100$ of $E$ is contained in $E^*$. Choose a hyperplane $\tilde{H}$ through the origin which splits $E^*$ into two pieces, one three times the size of the other. Next, choose a new north pole
\end{proof}
\section{Reductions to Near and on the Boundary}
At this point, we have reduced to the case of small perturbations. Hence, we assume that $\dist(\bE,\scriptO(\bE^*))\leq\delta_0$ and that $(E_1,E_2,I)$ is strictly admissible.
\subsection{Reduction to Near the Boundary}
Replace the coordinates $(x_1,...,x_{d+1})$ of $S^d$ with $(\theta,t)$, where $t=x_{d+1}$ and $\theta$ represents the spherical coordinates on the horizontal $S^{d-1}$ slices of $S^d$. For $j=1,2$, let $B_j=E_j^*$ and let $h_j$ be the value of $t_j$ for the points of $\partial B_j$. A useful fact is that $d\sigma(x)=(1-t^2)^{\frac{d}{2}}dtd\mu(\theta)$, where $\mu$ is the surface measure on $S^{d-1}$, normalized so $\mu(S^{d-1})=1$.
Choose $Q\in O(d+1)$ such that $\max_j|Q(E_j)\Delta E_j^*|=\dist(\bE,\scriptO(\bE^*))$ and replace $\bE$ with $Q(\bE)$. (Note that equality {\it is} attained in the definition of distance since it is the minimum of a continuous function on a compact set.)
Also, let $f_j=\one_{E_j}-\one_{B_j}$.
Expand
\begin{equation}
\T(\bE)=\T(\one_{B_1}+f_1,\one_{B_2}+f_2)=\T(\bE^*)+\sum_{j=1}^2\langle K_j,f_j\rangle+\T(f_1,f_2),
\end{equation}
where $\langle \cdot,\cdot\rangle$ is the $L^2$ inner product on $S^d$ and
\begin{equation}\label{eq:define Kj}
K_j(x)=\int_{S^d}\one_{B_k}(y)\one_I(x\cdot y)d\sigma(y)
\end{equation}
with the notation $\{j,k\}=\{1,2\}$. Each $K_j$ is nonnegative and symmetric (depending only on $t$). Writing $K_j(x)=K_j(t)$, $K_j$ is increasing in $t$.
The strict admissibility hypothesis is equivalent to the statement that $K_j'(h_j)>0$ for $j=1,2$. A related equivalent assertion is that for each $x\in\partial B_j$, there exist $y,y'\in B_k$ ($k\neq j$) such that $x\cdot y>a$ and $x\cdot y'<a$.
Since $\int f_j=0$,
\begin{align*}
\langle K_j,f_j\rangle&=\int(K_j(x)-K_j(h_j))f_j(x)d\sigma(x)\\
&=-\int|K_j(x)-K_j(h_j)|\cdot|f_j(x)|d\sigma(x),
\end{align*}
as $K_j(x)-K_j(h_j)$ and $-f_j(x)$ are both nonnegative on $B_j$ and nonpositive on $B_j^c$.
Let $\lambda$ be a large positive constant independent of $\delta$ to be chosen later. For sufficiently small $\delta$ (say $\leq\delta_0$), $K_j'(h_j)>0$ implies
\begin{align*}
\langle K_j,f_j\rangle&\leq -c\lambda\delta\int_{|t-h_j|\geq\lambda\delta}|f_j(x)|d\sigma(x)\\
&=-c\lambda\delta|\{(\theta,t)\in E_j\Delta B_j:|t-h_j|\geq\lambda\delta\}|.
\end{align*}
The above term is linear in $\delta$, while $\T(f_1,f_2)$ is quadratic in $\delta$. For this reason, we reduce to the case in which $E_j\Delta B_j\subset\{(\theta,t):|t-h_j|\leq\lambda\delta\}$, with the formal argument appearing below.
By an argument found in \cite{ChristRS}, for each $j=1,2$, there exists a set $E_j^\dagger$ such that
\begin{enumerate}
\item $|E_j^{\dagger}|=|E_j|$.
\item $E_j\Delta B_j$ is the disjoint union of $E_j^\dagger\Delta B_j$ and $E_j\Delta E_j^\dagger$.
\item $\{(\theta,t)\in E_j\Delta B_j:|t-h_j|>\lambda\delta\}\subset E_j^\dagger\Delta E_j$.
\item $|E_j^\dagger\Delta E_j|\leq2|\{(\theta,t)\in E_j\Delta B_j:|t-h_j|>\lambda\delta\}|$.
\end{enumerate}
\begin{lemma}\label{lemma:reduce to near boundary}
Let $d\geq1$ and let $(e_1,e_2,a)$ be a strictly admissible triple and let $I=[a,1]$. Then, there exist $\lambda<\infty$ and $\delta_0,c>0$ with the following property. If $E_j\subset S^d$ are Lebesgue measurable sets such that $\sigma(E_j)=e_j$ for $j\in\{1,2\}$, $\max_{j=1,2}|E_j\Delta E_j^*|\leq\delta_0$, and $\bE^\dagger$ is defined as above, then
\begin{equation}
\T(\bE,I)\leq\T(\bE^*,I)-c\lambda\sum_{i=1}^2|E_i\Delta E_i^*|\cdot\sum_{j=1}^2|E_j\Delta E_j^\dagger|.
\end{equation}
\end{lemma}
\begin{proof}
Let $\delta=\max_{j=1,2}|E_j\Delta E_j^*|\leq\delta_0$. Let $f_j^\dagger=\one_{E_j^\dagger}-\one_{B_j}$ and write
\begin{equation}
\one_{E_j}=\one_{B_j}+f_j^\dagger+\tilde{f_j},
\end{equation}
where $\tilde{f_j}=\one_{E_j}-\one_{E_j^\dagger}$.
Expanding $\T(\one_{B_1}+f_1^\dagger+\tilde{f_1},\one_{B_2}+f_2^\dagger+\tilde{f_2})$, one obtains 9 terms. The 4 terms which do not contain an $\tilde{f_j}$ recombine to form $\T(\bE^\dagger)$.
There are 2 terms of the form $\langle K_j,\tilde{f_j}\rangle$. By property (1) of $E_j^\dagger$, $\int f_j=0$. Thus, by the previous discussion and property (3) of $E_j^\dagger$, the sum of these two terms is less than or equal to $-c\lambda\delta\sum_j|E_j\Delta E_j^\dagger|$.
The remaining 3 terms each contain two or more $\tilde{f_j}$ or an $\tilde{f_j}$ and an $f_k^\dagger$. By the inequality
\begin{equation}
\T(E_1,E_2)\leq |E_1|\cdot|E_2|
\end{equation}
and properties (2) and (4) of $E_j^\dagger$, each of these terms is
\begin{equation}
O(\max_j|E_j\Delta E_j^*|\cdot\max_k|E_k^\dagger\Delta E_k|)=O(\delta\max_k|E_k^\dagger\Delta E_k|).
\end{equation}
Putting this together and taking $\lambda$ large enough, we obtain
\begin{align*}
\T(\bE)&\leq\T(\bE^\dagger)-c\lambda\delta\sum_j|E_j\Delta E_j^\dagger|+O(\delta\max_k|E_k^\dagger\Delta E_k|)\\
&\leq c\lambda\sum_{i=1}^2|E_i\Delta E_i^*|\cdot\sum_{j=1}^2|E_j\Delta E_j^\dagger|.
\end{align*}
The claim follows from the conclusion of Theorem \ref{theorem:bernstein}, that $\T(\bE^\dagger)\leq\T(\bE^*)$.
\end{proof}
If $\max_j|E_j\Delta E_j^\dagger|\geq\frac{1}{2}\max_j|E_j\Delta E_j^*|$, then the conclusion of Theorem \ref{thm:main} follows immediately from Lemma \ref{lemma:reduce to near boundary}.
If $\max_j|E_j\Delta E_j^\dagger|\leq\frac{1}{2}\max_j|E_j\Delta E_j^*|$, Lemma \ref{lemma:reduce to near boundary} still gives $\T(\bE)\leq \T(\bE^\dagger)$, so it suffices to prove
\begin{equation}
\T(\bE^\dagger)\leq\T(\bE^*)-c\dist(\bE,\scriptO(\bE^\dagger))^2.
\end{equation}
\subsection{Reduction to the Boundary}
Letting $f_j=\one_{E_j}-\one_{B_j}$ as before, define the functions $f_j^\pm$ with values in $\{0,1\}$ by $f_j^+=\one_{E_j\setminus B_j}$ and $f_j^-=\one_{B_j\setminus E_j}$. Note that $f_j=f_j^+-f_j^-$.
Define $F_j^\pm\in L^2(S^{d-1})=L^2(S^{d-1},\mu)$ by
\begin{equation}\label{eq:define Fj}
F_j^\pm(\theta):=\int_{-1}^1f_j^\pm(\theta,t)(1-t^2)^{\frac{d}{2}}dt.
\end{equation}
We say $F_j$ is the function {\it associated} to the set $E_j$.
By the reduction of the previous subsection, $E_j\Delta B_j\subset\{x:|t-h_j|\leq\lambda\delta\}$. Thus,
\begin{equation}
|E_j\Delta B_j|^2\approx||F_j^+||_{L^2(S^{d-1})}^2+||F_j^-||_{L^2(S^{d-1})}^2
\end{equation}
and it suffices to establish a bound of the form
\begin{equation}
\T(\bE)\leq\T(\bE^*)-c\sum_{j=1}^2\left(||F_j^+||_{L^2(S^{d-1})}^2+||F_j^-||_{L^2(S^{d-1})}^2\right).
\end{equation}
Define the quadratic form $\Q$ on $L^2(S^{d-1})$ by
\begin{equation*}
\Q(F,G):=\iint_{(S^{d-1})^2} F(\theta_1)G(\theta_2)\one_I\left(\sqrt{1-h_1^2}\sqrt{1-h_2^2}\theta_1\cdot\theta_2+h_1h_2\right)d\mu(\theta_1)d\mu(\theta_2).
\end{equation*}
Let $\gamma_j=K_j'(h_j)$, which is positive by the strict admissibility hypothesis.
\begin{proposition}\label{prop:on sphere expansion}
Under the hypotheses from our reductions,
\begin{equation}
\T(\bE)\leq\T(\bE^*)-\frac{1}{2}\sum_{j=1}^2\gamma_j(1-h_j^2)^{-d/2}(||F_j^+||_{L^2}^2+||F_j^-||_{L^2}^2)+\Q(F_1,F_2)+O(\delta^3).
\end{equation}
\end{proposition}
Expand $\T(\one_{B_1}+f_1,\one_{B_2}+f_2)$, obtaining four terms. Proposition \ref{prop:on sphere expansion} is the immediate result of the following two lemmas.
\begin{lemma}
For $j=1,2$,
\begin{equation}
\langle K_j,f_j\rangle\leq-\frac{1}{2}\gamma_j(1-h_j^2)^{-d/2}(||F_j^+||_{L^2}^2+||F_j^-||_{L^2}^2)+O(\delta^3).
\end{equation}
\end{lemma}
\begin{proof}
Since $K_j(t)$ is twice continuously differentiable in a neighborhood of $t=h_j$, we may write
\begin{equation}
\langle K_j,f_j\rangle=\int_{S^{d-1}}\int_{-1}^1(K_j(h_j)+\gamma_j(t-h_j)+O(\delta^2))f_j(\theta,t)(1-t^2)^{d/2}dtd\sigma(\theta).
\end{equation}
Exapnding the above gives three integrals. First,
\begin{equation}\label{eq:the original}
\int_{S^{d-1}}\int_{-1}^1K_j(h_j)f_j(\theta,t)(1-t^2)^{d/2}dtd\mu(\theta)=0
\end{equation}
since $\int f_j=0$. Next,
\begin{equation}
\int_{S^{d-1}}\int_{-1}^1O(\delta^2)f_j(\theta,t)(1-t^2)^{d/2}dtd\sigma(\theta)=O(\delta^2)||f_j||_{L^1}=O(\delta^3)
\end{equation}
Lastly, factor out the $\gamma_j$, split $f_j=f_j^+-f_j^-$, and consider the integral
\begin{equation}\label{eq:f plus}
\int_{S^{d-1}}\int_{-1}^1(t-h_j)f_j^+(\theta,t)(1-t^2)^{d/2}dtd\mu(\theta).
\end{equation}
For each $\theta$, the support of $f_j^+(\theta,t)$ is contained in $\{t\leq h_k\}$. Among functions $g_j$ such that $\int_{-1}^1g_j(\theta,t)(1-t^2)^{d/2}dt=F_j^+(\theta)$ and $\text{supp }g\subset\{t\leq h_j\}$,
\begin{equation}\label{eq:g}
\int_{S^{d-1}}\int_{-1}^1(t-h_j)g(\theta,t)(1-t^2)^{d/2}dtd\mu(\theta)
\end{equation}
is maximized when $g_j(\theta,t)=\one_{[h_j-h(\theta),h_j]}(t)$. Here, the function $h(\theta)$ is defined recursively by
\begin{equation}
F_j^+(\theta)=\int_{h_j-h(\theta)}^{h_j}(1-t^2)^{d/2}dt.
\end{equation}
Since $h(\theta)=O(\delta)$,
\begin{equation}
h(\theta)=(1-h_j^2)^{-d/2}F_j^+(\theta)+O(\delta F_k^+(\theta)).
\end{equation}
Thus, using the fact that $||F_j^+||_{L^\infty}=O(\delta)$,
\begin{align*}
\int_{-1}^1(t-h_j)f_j^+(\theta,t)(1-t^2)^{d/2}dt&\leq\int_{h_j-h(\theta)}^{h_j}(t-h_j)(1-t^2)^{d/2}dt\\
&=-\frac{1}{2}h(\theta)^2(1-h_j^2)^{d/2}+O(h(\theta)^3)\\
&=-\frac{1}{2}(1-h_j^2)^{-d/2}F_j^+(\theta)^2.
\end{align*}
Plugging back into the original integral from \eqref{eq:the original}, we find that
\begin{equation}
\gamma_j\int_{S^{d-1}}\int_{-1}^1(t-h_j)f_j^+(\theta,t)(1-t^2)^{d/2}dtd\mu(\theta)\leq -\frac{1}{2}\gamma_j(1-h_j^2)^{-d/2}||F_j^+||_{L^2}^2+O(\delta^3).
\end{equation}
A similar result holds for $F_j^-(\theta)$ and $f_j$.
\end{proof}
\begin{lemma}
$\T(f_1,f_2)=\Q(F_1,F_2)+O(\delta^3)$.
\end{lemma}
\begin{proof}
Rewriting in $(\theta,t)$-coordinates, the left hand side is equal to
\begin{multline}
\int_{(S^{d-1})^2}\iint_{[-1,1]^2}f_1(\theta_1,t_1)f_2(\theta_2,t_2)\one_I\left(\sqrt{1-t_1^2}\sqrt{1-t_2^2}\theta_1\cdot\theta_2+t_1t_2\right)\hfill\\
\hfill\times(1-t_1^2)^{d/2}(1-t_2^2)^{d/2}dt_1dt_2d\mu(\theta_1)d\mu(\theta_2).
\end{multline}
By the definition of $F_i$, the right hand side is
\begin{equation*}
\iint_{(S^{d-1})^2} F_1(\theta_1)F_2(\theta_2)\one_I\left(\sqrt{1-h_1^2}\sqrt{1-h_2^2}\theta_1\cdot\theta_2+h_1h_2\right)d\mu(\theta_1)d\mu(\theta_2)+O(\delta^3).
\end{equation*}
To compare, it suffices to observe that, since $f_i$ is supported in a $\lambda\delta$-neighborhood of $\{t_i=h_i\}$,
\begin{multline*}
\iint_{[-1,1]^2}f_1(\theta_1,t_1)f_2(\theta_2,t_2)\one_I\left(\sqrt{1-t_1^2}\sqrt{1-t_2^2}\theta_1\cdot\theta_2+t_1t_2\right)(1-t_1^2)^{d/2}(1-t_2^2)^{d/2}dt_1dt_2\hfill\\
\hfill=F_1(\theta_1)F_2(\theta_2)\one_I\left(\sqrt{1-h_1^2}\sqrt{1-h_2^2}\theta_1\cdot\theta_2+h_1h_2\right)
\end{multline*}
unless $|\sqrt{1-h_1^2}\sqrt{1-h_2^2}\theta_1\cdot\theta_2+h_1h_2-a|\leq C\delta$. However, by the strict admissibility hypothesis (and taking $\delta$ sufficiently small), the $\sigma\times \sigma$ measure of the set of pairs $(\theta_1,\theta_2)$ satisfying this inequality is $O(\delta)$. Since $F_i=O(\delta)$, the contribution of this set to the integral is $O(\delta^3)$.
\end{proof}
\section{Diagonalization and Balancing Lemma}
By Proposition \ref{prop:on sphere expansion}, it would suffice to prove Theorem \ref{thm:main} by showing that
\begin{equation}\label{eq:quadratic bound}
\Q(F_1,F_2)\leq A\sum_{j=1}^2\gamma_j(1-h_j^2)^{d/2}||F_j||_{L^2}^2
\end{equation}
for all $F_j\in L^2(S^{d-1})$ satisfying $\int F_jd\sigma=0$ with constant $A<\frac{1}{2}$. This is because
\begin{equation*}
||F_j||_{L^2}^2=\langle F_j^+-F_j^-,F_j^+-F_j^-\rangle=||F_j^+||_{L^2}^2+||F_j^-||_{L^2}^2-2\langle F_j^+,F_j^-\rangle\leq ||F_j^+||_{L^2}^2+||F_j^-||_{L^2}^2.
\end{equation*}
However, \eqref{eq:quadratic bound} does not hold for all $F_j\in L^2(S^{d-1})$ satisfying $\int F_jd\sigma=0$ and $A<\frac{1}{2}$. If it did, then this inequality combined with the above machinery would imply that for all strictly admissible triples $(E_1,E_2,I)$ satisfying $\max_j|E_j\Delta E_j^*|\leq\delta_0$ and $E_j\Delta E_j^*\subset\{(\theta,t):|t-h_j|\leq C\max_j|E_j\Delta E_j^*|\}$, that $\T(\bE)\leq\T(\bE^*)-c\max_j|E_j\Delta E_j^*|^2$. However, this conclusion is false for $\bE=Q(\bE^*)$, where $Q\in O(d+1)$, and $Q(\bE^*)$ satisfies all these hypotheses when $Q$ is small. To fix this problem, we will need to use the full strength of
\begin{equation}\label{eq:same magnitude}
\max_j|E_j\Delta E_j^*|=O(\dist(\bE,\scriptO(\bE^*))).
\end{equation}
We now diagonalize $\Q$ over the spherical harmonics. Lemma \ref{lemma:balancing} will use \eqref{eq:same magnitude} to obtain an orthogonality condition on $F_j$ under which \eqref{eq:quadratic bound} does hold for $A<1/2$.
To begin, let $\H_n\subset L^2(S^{d-1})$ denote the space of all spherical harmonics of degree $n$. Since $\Q$ is a symmetric quadratic form which commutes with rotations, it is diagonalizable over spherical harmonics in the following sense. Let $\pi_n$ denote the projection of $L^2(S^{d-1})$ onto $\H_n$. Then there exists a compact, selfadjoint operator $T$ on $L^2(S^{d-1})$ such that $\Q(F,G)\equiv\langle T(F),G\rangle$, $T:\H_n\ra\H_n$ for all $n$, and $T$ agrees with a scalar multiple $\lambda=\lambda(n,r_1,r_2,r_3)$ of the identity on $\H_n$.
Since $\int F_j=0$ for each $j$, we have $\pi_0(F_j)=0$ and
\begin{equation}\label{eq:diagonalization}
\Q(F_1,F_2)=\sum_{n=1}^\infty Q(\pi_n(F_1),\pi_n(F_2)).
\end{equation}
Let $\Q\circ\pi_n(F_1,F_2)=\Q(\pi_n(F_1),\pi_n(F_2))$. By the compactness of the operator $T$ given above, it suffices to bound
\begin{equation}\label{eq:key for end}
|\Q\circ\pi_n(F_1,F_2)|<\frac{1}{2}\sum_{j=1}^2\gamma_j(1-h_j^2)^{d/2}||\pi_n(F_j)||_{L^2}^2
\end{equation}
for {\it each} $n\geq1$, as the operator norms of $\Q\circ\pi_n$ must tend to zero as $n\ra\infty$, preventing an optimal constant of $1/2$ in the limit. While this statement turns out to be false in the case $n=1$, the following lemma will allow us to ignore that case by applying an $O(\delta)$ perturbation to $\bE$ which makes $\Q(\pi_1(F_1),\pi_1(F_2))=0$.
Let $Id$ denote the identity element of $O(d+1)$.
\begin{lemma}\label{lemma:balancing}
Let $d\geq1$. Let $\bE$ be as above, and let $\delta=\dist(\bE,\scriptO(\bE^*))$. Then there exists $Q\in O(d+1)$ satisfying $||Q-\Id||=O(\delta)$ such that the functions $\tilde{F}_j$ associated to the sets $\tilde{E}_j=Q(E_j)$ satisfy $\pi_1(\tilde{F}_1)=0$.
\end{lemma}
%While the optimal constant $A$ from \eqref{eq:quadratic bound} is $1/2$, we will show in the upcoming analysis that the restriction $\pi_1(F_1)=0$ suffices to make $A<1/2$.
\begin{proof}
As $\tilde{E_2}$ and $\tilde{F_2}$ are absent from the conclusion, consider just $E_1$ and $F_1$, dropping the subscript to write them as $E$ and $F$.
Let $Q\in O(d+1)$ and let $\tilde{F}$ be the function associated to the set $\tilde{E}=Q(E)$. Then,
\begin{align*}
\tilde{F}(\theta)-F(\theta)&=\int_{-1}^1(\one_{Q(E)}-\one_B)(\theta,t)(1-t^2)^{d/2}dt-\int_{-1}^1(\one_E-\one_B)(\theta,t)(1-t^2)^{d/2}dt\\
&=\int_{-1}^1(\one_{Q(E)}-\one_E)(\theta,t)(1-t^2)^{d/2}dt.
\end{align*}
Let $P\in\H_1$. Define $\langle F,P\rangle=\int_{S^{d-1}}F(\theta)P(\theta)d\theta$. Let $x=(\theta,t)$ be coordinates on $S^d$ and $g(x)=g(\theta,t)=P(\theta)$. By linearity of the integral and an orthogonal change of coordinates $x\mapsto Qx$,
\begin{align*}
\langle F,P\rangle-\langle \tilde{F},P\rangle&=\int_{S^d}(\one_{Q(E)}-\one_E)(x)g(x)d\sigma(x)\\
&=\int_{S^d}\one_E(x)[g\circ Q^{-1}(x)-g(x)]d\sigma(x).
\end{align*}
Consider $F$ as an element of $\H_1^*$, the dual space of the vector space $\H_1$, by the linear mapping
\begin{equation}
\langle F,P\rangle=\int_{S^{d-1}}F(\theta)P(\theta)d\mu(\theta),
\end{equation}
where $P\in\H_1$. Then
\begin{align*}
||\tilde{F}-F||_{\H^*_1}||P||_\infty&\leq C||g\circ Q^{-1}-g||_{L^1(S^d)}\\
&\leq C||Q-\Id||\cdot||P||_\infty,
\end{align*}
where $||\cdot||$ is any norm on the finite-dimensional space of linear maps on $\R^{d+1}$. The second line is obtained from the first by splitting $S^d$ into the small set where $|t|\approx 1$ and $g$ is bounded in $L^\infty$ norm, and the remaining set where $g$ has bounded derivative. Thus, $||\tilde{F}-F||_{\H^*_1}=O(||Q-\Id||)$.
We may conclude the proof by a standard application of the Implicit Function Theorem, though it remains to be shown that $Q\mapsto \tilde{F}$ is locally surjective.
Identifying $O(d)$ with the subset of $O(d+1)$ of maps which preserve the coordinate $t$, we see that for any $Q\in O(d)$, $g\circ Q^{-1}-g\equiv 0$. If this were true for all $Q\in O(d+1)$, then no perturbation $\tilde{F}$ of $F$ would satisfy $||\tilde{F}||_{\H_1^*}=0$, as $\tilde{F}$ and $F$ would always be equal. However, considering $S^d$ as a subset of $\R^{n+1}$ with coordinates $(x_1,...,x_{n+1})$, we pick $d$ distinct choices of $Q$ as rotations in the $x_ix_{n+1}$-plane for $1\leq i\leq d$. These choices of $Q$ determine $d$ linearly independent values of $\tilde{F}-F$ in the $d$-dimensional space $\H_1^*$. In fact, one may see these elements of $\H_1^*$ have pairwise $O(\delta)$ inner product by testing them against the basis $\{x_1,...,x_d\}$ for $\H_1$.
\end{proof}
\section{Completing the Proof}
Given a pair of spherical harmonics $\bG=(G_1,G_2)$ of equal degree $n$, define for all real $s$ in a neighborhood of 0
\begin{equation}
E_j(s):=\{(\theta,t):t\geq h_j-\varphi_j(\theta,s)\},
\end{equation}
where $\phi_j(\theta,s)$ is defined recursively via the equation $\int_{h_j-\varphi_j(\theta,s)}^{h_j}(1-t^2)^{d/2}dt=sG_j(\theta)$. Note that the functions $F_{j,s}$ associated to the $E_j(s)$ satisfies $F_{j,s}\equiv sG_j+O(s^2)$.
\begin{lemma}\label{lemma:like prop}
Let $d\geq1$, $n\in\N$ and $(e_1,e_2,a)$ be a strictly admissible triple. Then, uniformly for all pairs of spherical harmonics $\bG$ of degree $n$ satisfying $||\bG||=1$, there exists $\eta>0$ such that
\begin{equation}\label{eq:like prop}
\T(\bE(s))=\T(\bE^*)-\frac{1}{2}s^2\sum_{j=1}^2\gamma_j(1-h_j^2)^{-d/2}(||G_j||_{L^2}^2)+s^2\Q(\bG)+O(s^3)
\end{equation}
whenever $|s|\leq\eta$.
\end{lemma}
In making sense of the above lemma, note that the construction of $\bE(s)$ depends solely on the values of $h_j$, which are in one-to-one correspondence with the values of $\sigma(E_j)$.
The proof of Lemma \ref{lemma:like prop} is essentially the same as that of Proposition \ref{prop:on sphere expansion}. The one difference is that the restrictions of the functions on $S^d$ to a particular $\theta$ are in fact indicator functions of $t$. By considering only these particular choices of sets $\bE$, one is able to reach a conclusion with equality in \eqref{eq:like prop}.
At this point, it is possible to conclude the proof of Theorem \ref{thm:main} in the case $d=1$.
\begin{proof}[Proof of Theorem \ref{thm:main} when $d=1$.]
Let $\tilde{E_j}$ be as in the conclusion of Lemma \ref{lemma:balancing}. Then, by the fact that $\pi_1(F_1)=0$ and $\pi_0(F_1)=\pi_0(F_2)=0$ (since $\int f_j=0$), \eqref{eq:key for end} holds trivially for $n=0$ and $n=1$. When $d=1$, the sphere $S^{d-1}$ consists of two points, so there are no spherical harmonics of degree greater than or equal to 2. Hence, \eqref{eq:key for end} holds in all cases and the proof is complete.
\end{proof}
Now that the base case $d=1$ is established, it is possible to apply Theorem \ref{thm:main} in dimension $d-1$ as an inductive case to prove the theorem in dimension $d$. In particular, the inductive case will be used to prove the following lemma.
\begin{lemma}\label{lemma:thm for Es}
Let $d\geq1$. There exists $c>0$ such that for all pairs $\bG$ of spherical harmonics such that $||\bG||=1$ and $\deg(G_1)=\deg(G_2)=n\geq2$,
\begin{equation}
\T(\bE(s))\leq\T(\bE^*)-cs^2
\end{equation}
for all $s\in\R$ sufficiently close to 0.
\end{lemma}
Combining Lemmas \ref{lemma:like prop} and \ref{lemma:thm for Es}, one obtains \eqref{eq:key for end} for all $n$, completing the proof of Theorem \ref{thm:main} for dimensions $d\geq2$. Thus, it suffices to prove Lemma \ref{lemma:thm for Es}.
\begin{proof}
It suffices to prove the lemma for any single arbitrary such $\bG$. Uniformity will follow by compactness of $\{\bG:||\bG||=1,\deg(G_1)=\deg(G_2)=n\}$.
Of use is the following expression of $\T$ in terms of similar operators acting on sets of one lower dimension. Writing $x=(\theta_1,t_1), y=(\theta_2,t_2)$,
\begin{multline}
\iint_{(S^d)^2}\one_{E_1}(x)\one_{E_2}(y)\one_I(x\cdot y)d\sigma(x)d\sigma(y)\\
=\iint_{[-1,1]^2}\iint\displaylimits_{(S^{d-1})^2}\one_{E_1}(\theta_1,t_1)\one_{E_2}(\theta_2,t_2)\one_I\left(\sqrt{1-t_1^2}\sqrt{1-t_2^2}\theta_1\cdot\theta_2+t_1t_2\right)\\
\times d\mu(\theta_1)d\mu(\theta_2)(1-t_1^2)^{\frac{d}{2}}(1-t_2^2)^{\frac{d}{2}}dt_1dt_2
\end{multline}
For fixed $t_1,t_2$, $\sqrt{1-t_1^2}\sqrt{1-t_2^2}\theta_1\cdot\theta_2+t_1t_2\geq a$ if and only if $\theta_1\cdot\theta_2\geq\frac{a-t_1t_2}{\sqrt{1-t_1^2}\sqrt{1-t_2^2}}$. Thus, we may write
\begin{multline}
\T(\bE(s),[a,1])=\\
\iint_{[-1,1]^2}\T'\left(E_1(s;t_1),E_2(s;t_2),\left[\frac{a-t_1t_2}{\sqrt{1-t_1^2}\sqrt{1-t_2^2}}\right]\right)(1-t_1^2)^{d/2}(1-t_2^2)^{d/2}dt_1dt_2,
\end{multline}
where $E_j(s;t)=\{\theta:(\theta,t)\in E_j(s)\}$ and
\begin{equation}
\T'(A_1,A_2,I'):=\iint_{S^{d-1}\times S^{d-1}}\one_{A_1}(\theta_1)\one_{A_2}(\theta_2)\one_{I'}(\theta_1\cdot \theta_2)d\mu(\theta_1)d\mu(\theta_2).
\end{equation}
One may apply the spherical rearrangement inequality of Theorem \ref{theorem:bernstein} to the sets $E_j(s;t_j)$ on $S^{d-1}$ for any fixed pair $(t_1,t_2)$. It is not immediate that one may apply Theorem \ref{thm:main} for dimension $d-1$, as there are additional hypotheses which must be satisfied. However, it will be shown that these hypotheses hold on a nontrivial subset $S$ of $(h_1-s,h_1+s)\times(h_2-s,h_2+s)$ of size roughly proportional to $s^2$.
To construct $S$, observe that $V_j(s,t_j):=|E_j(s;t)|$ is a continuous function in $t_j$, taking value 0 at $t_j=h_j-s$ and $|S^{d-1}|=1$ at $t_j=h_j+s$. Thus, we may choose
\begin{multline}
S=\{(t_1,t_2)\subset(h_1-s,h_1+s)\times(h_2-s,h_2+s):\\\left(V_1(s,t_1),V_2(s,t_2),\frac{a-t_1t_2}{\sqrt{1-t_1^2}\sqrt{1-t_2^2}}\right)\text{ is strictly admissible}\}
\end{multline}
It immediately follows that $S$ is an open subset of $(h_1-s,h_1+s)\times(h_2-s,h_2+s)$ which has nontrivial measure. The conclusion that the size of $S$ is roughly proportional to $s^2$ follows from dilating it around $(h_1,h_2)$, that $V_j(\lambda s,h_j+\lambda a_j)=V_j(s,h_j+a_j)+O(s^2)$, and the fact that $\frac{a-t_1t_2}{\sqrt{1-t_1^2}\sqrt{1-t_2^2}}$ is locally constant near $t_j=h_j$.
%To verify strict admissibility of this region, observe that at $t_1=T_1, t_2=T_2$, $|\{\theta_j':(\theta_j',t_j)\in E_j(s)\}|=1/2|S^{d-1}|$ because $G_j$ is positive on half the sphere and nonpositive on the other half. Thus, the cap radii are equal and equal to half their maximum. Therefore, we get strict admissibility provided the associated interval $I$ is nontrivial. However, recall that by strict admissibility of the $S^d$ case, there is a positive measured set of pairs of points $(\theta_1,\theta_2)\in\partial E_1^*\times\partial E_2^*$ which satisfy $\theta_1\cdot\theta_2\in I$ and a positive measured set which do not. The fact that the rearranged sets in $S^{d-1}$ take up half of $S^{d-1}$ guarantees that we may take pairs of points of minimal and maximal distance from $\partial E_1^*\times\partial E_2^*$, so the same applies.
%Strict admissibility holds for a neighborhood around here since it is an open property.
Next, to get the desired gain from the inductive hypothesis, one must show that $\dist(E_j(s;t_j),\scriptO(E_j(s;t_j)))>0$. This follows from the fact that for a degree 2 or greater spherical harmonic $G$, the sets $\{\theta:G(\theta)>\alpha\}$ are not spherical caps for $\alpha$ close to 0.
\end{proof}
\bibliographystyle{plain}
\begin{thebibliography}{1}
\bibitem{BaernsteinII}
Albert Baernstein, II.
\newblock Convolution and rearrangement on the circle.
\newblock {\em Complex Variables Theory Appl.}, 12(1-4):33--37, 1989.
\bibitem{BaernsteinTaylor}
Albert Baernstein, II and B.~A. Taylor.
\newblock Spherical rearrangements, subharmonic functions, and
{$\sp*$}-functions in {$n$}-space.
\newblock {\em Duke Math. J.}, 43(2):245--268, 1976.
\bibitem{BianchiEgnell}
Gabriele Bianchi and Henrik Egnell.
\newblock A note on the {S}obolev inequality.
\newblock {\em J. Funct. Anal.}, 100(1):18--24, 1991.
\bibitem{BurchardAnnals}
Almut Burchard.
\newblock Cases of equality in the {R}iesz rearrangement inequality.
\newblock {\em Ann. of Math. (2)}, 143(3):499--527, 1996.
\bibitem{ChristRSold}
M.~{Christ}.
\newblock {Near equality in the Riesz-Sobolev inequality}.
\newblock preprint, arXiv:1309.5856 math.CA.
\bibitem{ChristRS}
M.~{Christ}.
\newblock {A sharpened Riesz-Sobolev inequality}.
\newblock preprint, arXiv:1706.02007 math.CA.
\bibitem{ChristIliopoulou}
M.~{Christ} and M.~{Iliopoulou}.
\newblock {Inequalities of Riesz-Sobolev type for compact connected Abelian
groups}.
\newblock preprint, arXiv:1808.08368 math.CA.
\bibitem{ChristONeill}
M.~{Christ} and K.~{O'Neill}.
\newblock {Maximizers of Rogers-Brascamp-Lieb-Luttinger functionals in higher
dimensions}.
\newblock preprint, arXiv:1712.00109 math.CA.
\end{thebibliography}
\end{document}