\section{Introduction}
\label{sec:intro}

The Brunn-Minkowski-Lyusternik inequality is a cornerstone in a number of fields of mathematics-- it appears in geometry as a route to the isoperimetric principle in Euclidean spaces, in algebraic geometry as a route to the Hodge inequality, in functional analysis as a tool in the asymptotic theory of Banach spaces due to the appearance of symmetric convex bodies as their unit balls,
and in probability as the heart of the Pr\'ekopa-Leindler inequality that provides an efficient route to the concentration of measure phenomenon. It states that, for nonempty compact subsets $A, B$ of ${\mathbb R}^d$,
$$
|A+B|^\frac{1}{d} \geq |A|^\frac{1}{d} + |B|^\frac{1}{d} ,
$$
where $|A|$ denotes the volume (Lebesgue measure) of $A$.
First developed for convex sets by Brunn and Minkowski, it was extended by Lyusternik \cite{Lus35} to compact sets, and more generally to Borel sets. The survey \cite{Gar02} is an excellent introduction to the Brunn-Minkowski-Lyusternik inequality, its history, and its many ramifications and connections to other geometric and functional inequalities.

An immediate consequence of the Brunn-Minkowski-Lyusternik inequality is its extension to $M$ sets. If $A_1, A_2, \ldots, A_{M}$ are compact sets in ${\mathbb R}^d$. then
\begin{align}\label{eq:BM-many}
\bigg|\sum_{i=1}^M A_i\bigg|^\frac{1}{d} \geq \sum_{i=1}^M |A_i|^\frac{1}{d} .
\end{align}
Bobkov, Wang, and the second-named author \cite{BMW11} conjectured that this superadditivity property of the functional $|\cdot|^{1/d}$ may be improved.

\begin{conj}\label{conj-bmw}\cite{BMW11}
The functional $A\mapsto |A|^{1/d}$ is fractionally superadditive with respect to Minkowski summation on the class of compact sets in ${\mathbb R}^d$.
\end{conj}

The fractional superadditivity property is defined in Section~\ref{sec:main}; it would have been a strict improvement of the inequality \eqref{eq:BM-many} for $M$ sets when $M>2$. It was observed in \cite{BMW11} that Conjecture~\ref{conj-bmw} holds for convex sets; thus the interest lay in extending this to general compact, and thence, Borel sets.

Conjecture~\ref{conj-bmw} was motivated by analogies between the inequalities explored in this paper to Information Theory.
The formal resemblance between inequalities in Information Theory and Convex Geometry
was first noticed by Costa and Cover \cite{CC84} but has since been extensively developed.
For example, there now exist entropy analogues of the Blaschke-Santal\'o inequality \cite{LYZ04},
the reverse Brunn-Minkowski inequality \cite{BM11:cras, BM12:jfa}, the Rogers-Shephard inequality \cite{BM13:goetze, MK18} and the Busemann inequality \cite{BNT16}.
Indeed, volume inequalities, entropy inequalities, and certain small ball inequalities can be unified using
the framework of R\'enyi entropies \cite{WM14, MMX17:1}; the surveys \cite{DCT91, MMX17:0} may be
consulted for much more in this vein.
On the other hand, natural analogues in the Brunn-Minkowski theory of inequalities from Information Theory
hold sometimes but not always  \cite{FGM03, AFO14, FM14}.
Another related set of results has to do with Schur-concavity of entropy or volume in various settings;
see \cite{MNT20} for details.

Define the entropy of a random vector $X$ with density function $f_X$
(with respect to Lebesgue measure $dx$) as $h(X) = -\int f_X(x) \log f_X(x) dx$ if the integral exists and $- \infty$ otherwise (see, e.g., \cite{CT91:book}). The entropy power of $X$ is $N(X)=\exp\{2h(X)/n\}$.
The functional $A\mapsto \text{Vol}_n(A)^{1/n}$ in the geometry of compact subsets of ${\mathbb R}^n$,
and the functional $f_X\mapsto N(X)$ in probability are analogues in the resemblance discussed above.
The superadditivity property $N(X+Y)\geq N(X)+N(Y)$ for independent random vectors,
which is called the Shannon-Stam entropy power inequality \cite{Sha48, Sta59} is then the analogue of
the Brunn-Minkowski-Lyusternik inequality. Fractional superadditivity of the entropy power was established
in stages: by \cite{ABBN04:1} for the leave-one-out case in a paper that was celebrated because it
resolved a conjecture regarding the central limit theorem (simpler proofs were given by \cite{MB06:isit, TV06, Shl07}),
for a larger class of hypergraphs by \cite{MB07}, and finally in full by \cite{MG19}, where the Stam region
(which is like the Lyusternik region that we define and explore in this paper, but for entropy powers) was defined and explored.
Conjecture~\ref{conj-bmw} is the precise analogue in this dictionary
of the  fractional superadditivity of entropy power established by \cite{MG19}.

Therefore, it was rather surprising when \cite{FMMZ16} constructed a counterexample to establish that Conjecture~\ref{conj-bmw} fails in dimension 12 and above. This provides another example where the analogy between Euclidean geometry and Information Theory breaks down. The goal of this note is to show that, in fact, the fractional superadditivity conjecture of \cite{BMW11} {\it does} hold in dimension 1. Moreover, a variant of Conjecture~\ref{conj-bmw} does hold in general dimension-- namely, the volume functional itself (without an exponent) is fractionally superadditive with respect to Minkowski summation on the class of compact sets in ${\mathbb R}^d$.

This note is organized as follows. In Section~\ref{sec:main}, we describe our main results carefully, giving all necessary definitions along the way. Section~\ref{sec:fsa-pf} is devoted to proving the theorems described in Section~\ref{sec:main}-- specifically, Sections~\ref{sec:fsa-red} to \ref{sec:fsa-dim} prove in stages
the fractional superadditivity statement in Theorem~\ref{thm:FSA}, which is the technically
most demanding part of this note, while  Section~\ref{ss:cartes}
proves the key lemma underlying the proof of
Theorem~\ref{th:prod}, and Section~\ref{ss:integer-pf} proves Theorem~\ref{th:Z}.
We supplement this main part of the paper with some discussion and open questions in Section~\ref{sec:rmks}, and with some reasons why we believe fractional superadditivity is an important structural property of set functions and therefore worthy of study in the Appendix (Section~\ref{sec:app}).

\section{Main Results}
\label{sec:main}

Let  $A_1, A_2, \ldots, A_{M}$ be compact sets in ${\mathbb R}^d$.
We write $[M]$ for the index set $\{1,2,\ldots,M\}$,
and $\emptyset$ for the empty set.
For any nonempty $S\subset [M]$, define the Minkowski subset sum
\begin{eqnarray*}
A_{\setS}=\sum_{i\inS} A_{i} .
\end{eqnarray*}
We are interested in the volumes of the subset sums $A_{\setS}$ (denoted $|A_{\setS}|$),
which leads naturally to the following objects of study.

\begin{defi}\label{defi:stam}
Let ${\bf \mathcal{K}}_{d,M}$ be the collection of all $M$-tuples  ${\bf A}=(A_1, \ldots, A_M)$
of nonempty compact subsets $A_i$ of ${\mathbb R}^d$.
Define the set function $\nu_{\bf A}:2^{[M]} \rightarrow\RL_{+}:=[0,\infty)$ by $\nu_{\bf A}(\emptyset)=0$ and
\begin{eqnarray}\label{nu}
\nu_{\bf A}(S)=\bigg|\sum_{i\inS} A_i\bigg|
\end{eqnarray}
for nonempty $S\subset [M]$.
The $d$-dimensional Lyusternik region is the subset of $(\RL_{+})^{2^{M}}$ given by
\begin{eqnarray*}
\Lambda_d(M)=\{ \nu_{\bf A} : {\bf A}\in {\bf \mathcal{K}}_{d,M} \}.
\end{eqnarray*}
\end{defi}

We name these regions after L. A. Lyusternik in honor of his pioneering role
\cite{Lus35} in the study of volumes of Minkowski sums, especially when dealing with
sets that are not necessarily convex.
Clearly, any inequality that relates volumes of different subset sums gives a bound on the Lyusternik region.
Conversely, knowing the Lyusternik region is equivalent, in principle, to knowing all volume inequalities that hold
for Minkowski sums of general collections of compact sets, and all that do not.

Let $(\mathcal{G},\beta)$ be a {\it weighted hypergraph} on a set $T$, i.e.,
a collection $\mathcal{G}$ of subsets of $T$ (which we may think of as ``hyperedges''),
together with a weight function $\beta:\mathcal{G} \to \RL_{+}$ that assigns weight $\beta_S=\beta(S)$ to each
set $S$ in $\mathcal{G}$.
We say that  $(\mathcal{G},\beta)$ is a {\it fractional partition} of $T$ if for each $i\in T$, we have
$\sum_{S\in \mathcal{G}:\, i\in S} \beta_S=1$.
These conditions can be phrased as a single one, using the characteristic functions $\mathbf1_S:T\to \{0,1\}$,
as
$\sum_{S\in \mathcal{G}} \beta_S \mathbf1_S={\mathbf 1}_{T}=1.$

We say that a set function $v:2^{[M]}\rightarrow\RL_{+}$ is {\it fractionally superadditive} if for every subset $T\subset [M]$
\begin{eqnarray}\label{fsa}
v(T) \geq \sumS \beta_{\setS} v(S)
\end{eqnarray}
holds for every fractional partition $(\mathcal{G},\beta)$ of $T$.
Write $\Gamma_{FSA}(M)$ for the class of all  fractionally superadditive
set functions  $v$ with $v(\phi)=0$.

The set function $v:2^{[M]}\rightarrow\RL_{+}$ is said to be {\it supermodular} if
\begin{eqnarray*}
v(S\cupT) + v(S\capT)  \geq v(S) + v(T)
\end{eqnarray*}
for all sets $S,T\subset [M]$. Write $\Gamma_{SM}(M)$ for the class of all supermodular
set functions $v$ with $v(\phi)=0$.

It is known \cite{MP82, MT10} that for $n\geq 3$, $\Gamma_{SM}(M)\subsetneq \Gamma_{FSA}(M)$, i.e.,
every supermodular set function is fractionally superadditive but not vice versa. For $n=2$, given the limited
availability of subsets, it is easy to see that  $\Gamma_{SM}(2)= \Gamma_{FSA}(2)$, and both are equal
to the class of superadditive set functions.

We start with two straightforward observations that set the stage for further discussion.

\begin{obs}\label{obs:cone}
For each $d, M \in{\mathbb N}^*$, $\Lambda_d(M)$ is a cone,
which is invariant under the natural action of the symmetric group on $M$ elements.
\end{obs}

\begin{proof}
To prove the first part, suppose $(\alpha_{\setS}: S\in [M])\in \Lambda_d(M)$. Then there exist compact sets ${\bf A}=(A_1, \ldots, A_M)$ in ${\mathbb R}^d$
such that $\alpha_{\setS}=|A_S|$. For any $\lambda>0$, consider the compact sets ${\bf A}'=(\lambda^\frac{1}{d} A_1, \ldots, \lambda^\frac{1}{d} A_M)$.
Clearly $\nu_{{\bf A}'}=(\lambda \alpha_{\setS}: S\in [M])$. This is also true for $\lambda=0$, since $0\in \Lambda_{d}(M)$ (it can be realized e.g. with singletons). Hence $\Lambda_d(M)$ is a cone.

Let us address the second part. If ${\bf A}=(A_1, \ldots, A_M)$ realizes $(\alpha_{\setS}: S\in [M])\in \Lambda_{d}(M)$,
then clearly $\pi({\bf A}):=(A_{\pi(1)}, \ldots, A_{\pi(M)})$ realizes the vector
$$
(\alpha_{\pi(S)}: S\in [M]),
$$
where $\pi(S):=\{\pi(i):i\inS\}$. Thus
$
(\alpha_{\pi(S)}: S\in [M])\in \Lambda_{d}(n).
$
\end{proof}

\begin{obs}\label{obs:L2}
For all $d\in {\mathbb N}^* $,
\[\Lambda_d(2)=\left \{(0,a,b,c)\in\RL_{+}^4: c\geq \big(a^{\frac1d}+b^{\frac1d}\big)^d \right\}.\]
When $d=1$, this can be rephrased as
$\Lambda_1(2)=\Gamma_{SM}(2)=\Gamma_{FSA}(2)$.
\end{obs}

\begin{proof}
The Brunn-Minkowski inequality states that every nonempty compact subsets of $A_1,A_2$ of ${\mathbb R}^d$ verify $|A_1+A_2|^{\frac1d}\ge |A_1|^{\frac1d}+|A_2|^{\frac1d}$; this proves the inclusion of $\Lambda_d(2)$ in the above set. To see the reverse inclusion,
we need to show that for any triple $(a,b,c)\in\RL_{+}^3$ with $c^{\frac1d}\geq a^{\frac1d}+b^{\frac1d}$,  there exists a pair of compact sets $A_1, A_2$ in ${\mathbb R}$
with $|A_1|=a, |A_2|=b$ and $|A_1+A_2|=c$.

We start with the case when $a$ or $b$ is strictly positive.
Without loss of generality (thanks to the invariance property mentioned in Observation~\ref{obs:cone}), we may assume $a>0$, $b\ge 0$ and $c^{\frac1d} \ge a^{\frac1d}+b^{\frac1d}$.
We may find $q\in {\mathbb N}$ and $r\in[0,a^{\frac1d})$ such that
\[\frac{c-\big(a^{\frac1d}+b^{\frac1d}\big)^d}{a^{\frac{d-1}{d}}}=q a^{\frac1d}+r.\]
Let $e_1$ be the first vector in the canonical basis of ${\mathbb R}^d$. Consider $A_1=[0,a^{\frac1d}]^d$ and
$$A_2=[-b^{\frac1d},0]^d\cup \bigg(\bigcup_{i=1}^{q} \big\{ia^{\frac1d}e_1\big\}\bigg)\cup \big\{\big(qa^{\frac1d} +r\big)e_1\big\},$$
(we understand the union within parentheses to
be empty when $q=0$). Then
\begin{eqnarray*}
A_1+A_2 &=&[-b^{\frac1d},a^{\frac1d}]^d\cup \left( \bigg(\bigcup_{i=1}^q [ia^{\frac1d},(i+1)a^{\frac1d}]\}\bigg)\cup [qa^{\frac1d} +r,(q+1)a^{\frac1d}+r]\right)\times [0,a^{\frac1d}]^{d-1}\\
&=&[-b^{\frac1d},a^{\frac1d}]^d\cup \left(  [a^{\frac1d},(q+1)a^{\frac1d}+r]\times [0,a^{\frac1d}]^{d-1}\right).
\end{eqnarray*}
Consequently $|A_1|=a$, $|A_2|=b$ and $|A_1+A_2|=\big(a^{\frac1d}+b^{\frac1d}\big)^d+(qa^{\frac1d}+r)a^{\frac{d-1}{d}} =c$; thus we are done.

It remains to deal with triples of the form $(0,0,c)$ with $c\ge0$.  By the cone property of Observation \ref{obs:cone} it is enough to deal with one $c>0$. This is very easy in dimension $d\ge 2$, by considering lower dimensional cubes $A_1=[0,1]\times \{0\}^{d-1}$, $A_1=[0,1]^{d-1}\times \{0\}$, which have measure 0 and sum up to the full cube $[0,1]^d$. In dimension 1, we can still use sets of lower dimensions: consider the Cantor ternary set $\mathcal C=\cap_{n\in \mathbb N} E_n$, where $E_0=[0,1]$ and for all $n\ge 0$, $E_{n+1}=\frac{1}{3}E_n\cup \left(\frac23+\frac13 E_n \right)$. It is classical that this compact set has measure zero, and contains all numbers which can be expressed as $\sum_{k\ge 1} x_k 3^{-k}$ for some sequence $(x_k)$ taking values in $\{0,2\}$ (in other words, numbers in $[0,1]$ admitting an expansion in base 3 involving only digits 0 and 2). As a consequence, $\frac12 \mathcal C$ contains numbers in  $[0,1]$ admitting an expansion in base 3 involving only digits 0 and 1, and it is clear that
\[
[0,1]\subset \mathcal C + \frac12 \mathcal C \subset \left[0, \frac32\right].
\]
We have put forward two sets of measure 0, with a sum of positive measure. This completes the proof of Observation \ref{obs:L2}.
\end{proof}

Observation~\ref{obs:L2} gives a complete description of the Lyusternik region
for the case where one has only two sets.
This naturally gives rise to the question that is the main focus of this paper:
what is the relationship between $\Lambda_d(M)$ on the one hand, and $\Gamma_{FSA}(M)$ or $\Gamma_{SM}(M)$ on the other, when $M\geq 3$?
The following statement sums up our contribution to this problem:

\begin{theo}\label{thm:beyondFSA}
For any $d\in{\mathbb N}^*$ and $M\geq 3$,
\begin{itemize}
    \item $\Lambda_d(M) \subsetneq \Gamma_{FSA}(M)$,
    \item $\Lambda_d(M)$ and $\Gamma_{SM}(M)$ have nonempty intersection but neither is a subset of the other.
\end{itemize}
\end{theo}

\begin{proof}
The inclusion $\Lambda_d(M) \subset \Gamma_{FSA}(M)$ comes from the inequality in Theorem \ref{thm:FSA} below.
The fact that the inequality is strict is a consequence of the second item, since $\Gamma_{SM}(M)\subset \Gamma_{FSA}(M)$.

Next we turn to the proof of the second part of the theorem. The null sequence is obviously in $\Lambda_d(M)\cap \Gamma_{SM}(M)$. It was observed in \cite{FMMZ18} that the volume is not supermodular already in dimension 1.
Indeed, they considered the sets $A = \{0, 1\}$ and $B = C = [0, 1]$. Then,
$|A + B + C| + |A| = 3 < 4 = |A + B| + |A + C|$. Consequently it is clear that
for any $M\geq 3$, $\Lambda_1(M) \nsubseteq \Gamma_{SM}(M)$. This example can be adapted to cover the case of dimensions $d\ge 2$: let $k\in {\mathbb N}^*$, and consider $A=[k]^d=\{0,\ldots,k\}^d$, $B=C=[0,1]^d$. Plainly $A+B=A+C=[0,k+1]^d$ and $A+B+C=[0,k+2]^d$ and for $k$ large enough
\[|A + B + C| + |A| = (k+2)^d < 2(k+1)^d= |A + B| + |A + C|.\]

Eventually, we need to show that volumes of partial sums cannot reach all  supermodular set functions. Consider the set function $\alpha:2^{[M]}\to \RL_{+}$ defined by $\alpha(S)=\mathrm{Card}(S)$, which is clearly supermodular. If $\alpha$ was in $\Lambda_d(M)$, there would be compacts sets in ${\mathbb R}^d$ with, in particular, $|A_i|=\mathrm{Card}(\{i\})=1$ and $|A_1+A_2|=\mathrm{Card}(\{1,2\})=2$. In dimension $d\ge 2$ this is impossible since the Brunn-Minkowski inequality ensures that $|A_1+A_2|\ge \big(|A_1|^{\frac1d}+|A_2|^{\frac1d}\big)^d=2^d>2$.

To deal with dimension $d=1$, we consider the set function $\beta$ defined by $\beta([M])=M+1=\alpha([M])+1$ and for $S\subsetneq [M]$, $\beta(S)=\mathrm{Card}(S)=\alpha(S)$. It is still supermodular, since increasing the value of a supermodular function on the full set only improves the supermodularity property. If $\beta$ was in $\Lambda_1(M)$, we would have compact sets in ${\mathbb R}$ with $|A_i|=1$, $|A_i+A_j|=2$ for $i\neq j$. Therefore $A_i, A_j$ are an equality case of the one-dimensional Brunn-Minkowski inequality, which ensures that they are intervals (see, e.g., \cite[Theorem 7.1.1]{Sch14:book}), of length 1. This implies that $|A_1+\cdots+A_M|=M<\beta(M).$ Hence $\beta\not\in \Lambda_1(M)$.
\end{proof}

Our main result is the following fractional superadditivity property:

\begin{theo}\label{thm:FSA}
For any fractional partition  $(\mathcal{G},\beta)$ of $[M]$,
\begin{equation}\label{eq:BMF1}
\big|A_1+\cdots+A_M\big|\ge \sumS \beta_S \, \Big|\sum_{i\in S} A_i\Big|
\end{equation}
holds for non-empty compact subsets  $A_1,\ldots,A_M$  of ${\mathbb R}^d$. In dimension $d=1$, the inequality is an equality when all sets $S\subset [M]$ with $\beta_S>0$ satisfy that $\sum_{i\in S} A_i$ is an interval.
\end{theo}

We note that it is possible to have equality in \eqref{eq:BMF1} for non-convex sets-- for example, one can consider $A_1=A_2=A_3=[0,\frac{1}{2}]\cup [1,\frac{3}{2}]$, and the leave-one-out hypergraph (i.e., $\mathcal{G}=\{\{1,2\}, \{2,3\}, \{3,1\}\}$ is all sets of cardinality 2, and each $\beta_S=\frac{1}{2}$).

Theorem~\ref{thm:FSA} may be compared with the conjecture made by Bobkov et al. \cite[Conjecture 3.1]{BMW11}, which proposed that
\begin{eqnarray}\label{conjdimn}
\big|A_1+\cdots+A_M\big|^\frac{1}{d}\ge \sumS \beta_S \left| \sum_{i\inS} A_i\right|^\frac{1}{d},
\end{eqnarray}
for all compact sets, and verified the same for convex sets. The motivation of \cite{BMW11} came from the fact that the conjectured
inequality would have provided a fundamental refinement of the Brunn-Minkowski inequality for 3 or more sets.
It was proved in \cite{FMMZ16} that even a very special case of the inequality \eqref{conjdimn} (involving
a particular fractional partition and all sets $A_i$ being copies of the same compact set $A$) fails in dimension 12 and above;
nonetheless, Theorem~\ref{thm:FSA} shows in particular that the conjectured inequality \eqref{conjdimn} is
true for all compact sets in dimension 1.

In fact, we also have a positive result in general dimension for a special class of sets.

\begin{theo}\label{th:prod}
Let $(\mathcal{G},\beta)$ be a fractional partition of $[M]$. Fix $k\leq M$. For each $i\in [k]$, suppose $C_{i,1}, \ldots, C_{i,M}$ are nonempty compact convex subsets of ${\mathbb R}^{d_{i}}$.
For each $k+1\leq i\leq L$, suppose $C_{i,1}, \ldots, C_{i,M}$  are non-empty compact subsets of ${\mathbb R}$.
Let $A_j=C_{1,j}\times \ldots \times C_{L,j}$, so that each $A_i$ is a compact subset of ${\mathbb R}^d$, with $d=L-k +\sum_{i=1}^k d_i$. Then
$$\big|A_1+\cdots+A_M\big|^\frac{1}{d} \ge \sum_{S\in \mathcal{G}} \beta_S \, \Big|\sum_{i\in S} A_i\Big|^\frac{1}{d}.$$
\end{theo}

\begin{proof}
Combining  Lemma~\ref{lem:cartes} (which we will prove in Section~\ref{ss:cartes})
with our main result (fractional superadditivity for $d=1$) and the fractional Brunn-Minkowski inequality for convex bodies
observed in \cite{BMW11}, we obtain Theorem~\ref{th:prod}.
\end{proof}

It is natural to ask if the phenomena investigated thus far for Minkowski sums in finite-dimensional real vector spaces
also have analogues in a discrete setting, i.e., for Minkowski sums of finite subsets of a discrete group, with volume replaced
by cardinality. One would expect such discrete analogues to be relevant to the field of additive combinatorics, as they are related
to the Cauchy-Davenport inequality.  We observe that an analogue does hold in the group of integers, extending a result of
Gyarmati, Matolcsi and Ruzsa \cite{GMR10}.

\begin{theo}\label{th:Z}
Let $(\mathcal{G},\beta)$ be a fractional partition of $[M]$. Let $A_1,\ldots,A_M$ be non-empty finite subsets of ${\mathbb Z}$. Then
$$\big|A_1+\cdots+A_M\big|-1\ge \sum_{S\in \mathcal{G}} \beta_S \, \left(\Big|\sum_{i\in S} A_i\Big|-1\right),$$
where for $S\subset \mathbb Z$, $|S|$ denotes the cardinal of $S$. The inequality is an equality when there exists $\rho\in{\mathbb N}$ such that  all $S\subset [M]$ with $\beta_S>0$ verify that  $\sum_{i\in S} A_i$ is an arithmetic progression of increment $\rho$.
\end{theo}

This is proved in Section~\ref{ss:integer-pf}. Note that the leave-one-out case of Theorem~\ref{th:Z} was proved by \cite{GMR10}.
For other related inequalities, the reader may consult \cite{MMT10:itw, MMT12, WWM14:isit, MWW21, MWW19}.

\section{Proofs}
\label{sec:fsa-pf}

\subsection{A reduction to regular fractional partitions}
\label{sec:fsa-red}

A first step in the proof is to reduce to regular fractional partitions. First note that
fractional partitions can be viewed as maps  defined on subsets of $[M]$, $\beta:2^{[M]}\to [0,1]$
where subsets with non-zero coefficients will give the collection $\mathcal{G}$ of subsets.
The fractional partition condition becomes
$$\sum_{S\subset [M]} \beta_S \mathbf1_S=\mathbf 1.$$
Obviously the term corresponding to $S=\emptyset$ is superfluous,
so that we may represent the set of possible fractional partitions of $[M]$
as follows:
$$\mathcal F_{M}=\left\{ (\beta_S)_{\emptyset \subset S \subset [M]};\;  \forall S,\, \beta_S\ge 0 \mbox{ and } \forall i\in [M], \sum_{S; \; i\in S} \beta_S=1
\right\}.$$
Note that the above conditions ensure that $\beta_S\le 1$. This representation
thus shows that $\mathcal F_M$ is a compact polyhedral convex set.
Any of its extreme points $\beta$ is the unique point in $\mathcal F_M$ satisfying $\beta_S=0$ for all $S$ in a certain collection $\mathcal{G}\subset 2^{[M]}\setminus\{\emptyset\}$. This means
that $(\beta_S)_{S\not\in \mathcal{G}}$ is the unique solution of a system of the form: for all $i\in [M]$,
$\sum_{S\not \in \mathcal{G};\; i\in S} \beta_S=1$. Hence this system is invertible
and since it has rational coefficients, we get that the non-zero coefficients $\beta_S$
are rational. Hence, we have shown\footnote{This is not claimed to be new; similar arguments and conclusions
appear, e.g., in \cite{Sha67, GG08}, which also contain additional information about extreme
fractional partitions. For example, \cite{GG08} show that one needs to allow denominators of the rational numbers
that appear in extreme fractional partitions to grow at least exponentially in $n$.} that extreme fractional partitions only involve rational  coefficients $\beta_S$.

In order to prove Inequality \eqref{eq:BMF1} for all fractional partitions (a convex condition on $\beta$), it is enough
to prove it for the extreme points of the set of fractional partitions. In particular
it is enough to deal with partitions with $\beta_S\in \mathbb Q$ for all $S$.
 Writing these coefficients as fractions with the same denominator $q$
and allowing to repeat sets (as many times as the numerator of their coefficient by $\beta$),
we can reduce to the following simpler setting:
$S_1,\ldots,S_s$ are subsets of $[M]$ and verify
\begin{equation}
\label{eq:q-cover}
\sum_{j=1}^s \mathbf1_{S_j}=q\mathbf 1,
\end{equation}
or equivalently, for each $i\in [M]$, there are exactly $q$ indices $j$ such that $i\in S_j$.
This means  that $[M]$ is covered exactly $q$ times by the sets $(S_j)_{1\le j\le s}$.
Observe that because of repetitions, we use a finite sequence of sets, rather than a collection
of sets.
Under the above assumption \eqref{eq:q-cover}, our task is to show that
$$q\big|A_1+\cdots+A_M\big|\ge \sum_{j=1}^s  \Big|\sum_{i\in S_j} A_i\Big|.$$

\subsection{Starting with examples}
\label{sec:fsa-eg}

Gyarmati, Matolcsi and Ruzsa \cite{GMR10} have dealt (for subsets of $\mathbb Z$), with the "leave-one-out" case where the fractional
partition is made of all the subsets of $[M]$ with cardinality $M-1$ and equal weights. Their argument is based on decompositions of
the small sums-sets and a double counting argument. As noted  in \cite{FMMZ16} it also  works for subsets of $\mathbb R$.
As a warm-up we present the simplest non-trivial
case of $M=3$, for subsets of $\mathbb R$ and the fractional partition
$$ \mathbf 1_{\{1,2,3\}}=\frac12 \left( \mathbf  1_{\{1,2\}}+ \mathbf 1_{\{2,3\}}+ \mathbf 1_{\{3,1\}}\right).$$
Let $A_1,A_2,A_3$ be three non-empty compact subsets of $\mathbb R$.
Assume that $\min(A_i)=0$ and denote $a_i:=\max(A_i)$.
Since $0$ belongs to all $A_i$'s, the following inclusions hold:
\begin{eqnarray}\label{123}
 (A_1+A_2)\cup \, {}_{a_1+a_2<}(a_1+A_2+A_3)& \subset & A_1+A_2+A_3\\
 (A_2+A_3)_{\le a_2} \cup (A_1+a_2+A_3) &\subset & A_1+A_2+A_3, \nonumber
 \end{eqnarray}
where ${}_{t<}S:=S\cap(t,+\infty)$ and $S_{\le t}:=S\cap(-\infty, t]$. By construction
the unions are essentially disjoint (sets intersect in at most one point), hence passing to lengths
 and summing up the corresponding two inequalities gives
\begin{eqnarray*}
2 |A_1+A_2+A_3|&\ge&  |A_1+A_2|+ |{}_{a_1+a_2<}(a_1+A_2+A_3)|+ |(A_2+A_3)_{\le a_2} |+|A_1+a_2+A_3|\\
&=&  |A_1+A_2|+ |{}_{a_2<}(A_2+A_3)|+ |(A_2+A_3)_{\le a_2} |+|A_1+A_3|\\
&=&  |A_1+A_2|+ |A_2+A_3|+|A_1+A_3|
\end{eqnarray*}
One can  cook up by hand such decompositions for slightly more complicated fractional partitions. In order to explain our strategy
for general regular partitions, let us put forward some features of the above decomposition. Since this is only meant to
explain where our forthcoming formal proof comes from, we do not try to  give formal definitions.

We shall say that  and element $i\in [M]$ is covered by a term in the above decompositions (i.e. a truncated sum-set),  if this term contains
a translate of $A_i$ (or rather of $A_i\setminus\{0,a_i\}$ and this should be true regardless of the actual values of the sets. This is actually a property of the formula rather than of the sets).

For instance $A_1+A_2$ covers $1$ since $A_1\subset A_1+A_2$ (for all $A_i$'s).
It also covers $2$, but not 3.
The term ${}_{a_1+a_2<}(a_1+A_2+A_3)$ covers 3 since it contains $a_1+a_2+A_3$
(more precisely $a_1+a_2+A_3\setminus\{0\})$. It does not cover 1, neither 2.

If we rewrite the decompositions \eqref{123} and underline in each term the indices which it covers, we get:
\begin{eqnarray}\label{123underline1}
 (\underline{A_1}+\underline{A_2})\cup {}_{a_1+a_2<}(a_1+A_2+\underline{A_3})& \subset & A_1+A_2+A_3\\
 (\underline{A_2}+A_3)_{\le a_2} \cup (\underline{A_1}+a_2+\underline{A_3}) &\subset & A_1+A_2+A_3,\label{123underline2}
 \end{eqnarray}
we observe that each decomposition covers  every index once. We can encode
this on the incidence matrix of the regular partition (columns correspond to elements $i\in [M]$ and lines to the sets in the partition): for each decomposition we connect
the couples $(i,S)$ where $i$ is covered by a term involving a translation of $\sum_{k\in S}A_k$. For the first line \eqref{123underline1} we connect $(1,\{1,2\})$ to $(2,\{1,2\})$ and to $(3,\{2,3\})$. As we observed that all indices are covered this line is a graph of a function on $[M]=\{1,2,3\}$.  For \eqref{123underline2} we connect $(1,\{1,3\})$ to $(2,\{,2,3\})$ and to $(3,\{1,3\})$. We get Figure \ref{fig3}.

\begin{figure}
\center
\begin{tikzpicture}

	\tikzstyle{indice}=[rectangle]
	\tikzstyle{rond}=[rectangle,draw,rounded corners=3pt

	\node[indice](1) at (0,0){1};
	\node[indice](2) at (2,0){2};
	\node[indice](3) at (4,0){3};
	\node[indice](12) at (-1,1){$\{1,2\}$};
	\node[indice](23) at (-1,2){$\{2,3\}$};
	\node[indice](13) at (-1,3){$\{1,3\}$};
	\node[rond](1e12) at (0,1){};
	\node[rond](2e12) at (2,1){};
	\node[rond](2e23) at (2,2){};
	\node[rond](3e23) at (4,2){};
	\node[rond](1e13) at (0,3){};
	\node[rond](3e13) at (4,3){};

	\tikzstyle{lienb}=[-,color=blue]
	\tikzstyle{lienr}=[-,color=red]

	\draw[lienb] (1e12) -- (2e12)-- (3e23);
	\draw[lienr] (1e13) -- (2e23) -- (3e13);
\end{tikzpicture}
\caption{Leave-one-out partition on $\{1,2,3\}$}
\label{fig3}
\end{figure}
Reading this simple figure from bottom to top, one can recover the decompositions \eqref{123}: the bottom graph (in blue) corresponds to \eqref{123underline1};
again we read by considering lines (corresponding to sets) from  bottom up: we use
$A_1+A_2$ to cover 1 and 2, and then $A_2+A_3$ to cover 3, but we truncate it from below at $a_1+a_2$ (corresponding to 1 and 2 being already covered) for disjointness.
Next we pass to the upper graph, and consider sets starting from below: the first relevant one is $A_2+A_3$ which we use to cover 2 only, so we truncate it from above at $a_2$.
Next we use $A_1+A_3$, translated by $a_2$ (note that the translation corresponds to the previously covered index).

The main feature of the figure is that it contains the graphs of two functions on $\{1,2,3\}$ which do not cross. Since  the partition is regular, they are uniquely determined by this property.

\medskip
Let us try this reverse engineering approach in a more intricate situation:
$$ 3\mathbf1_{[5]}= \mathbf 1_{\{2,3\}}+\mathbf 1_{\{1,2,4\}}+\mathbf 1_{\{1,2,4,5\}}+\mathbf 1_{\{1,3,5\}}+\mathbf 1_{\{3,4,5\}}.$$
We start with plotting the incidence table of this fractional partition in Figure \ref{fig5} and we draw the corresponding non-crossing graphs. Next we use them
in order to build decompositions of sum-sets.

\begin{figure}
\center
\begin{tikzpicture}

	\tikzstyle{indice}=[rectangle]
	\tikzstyle{rond}=[rectangle,draw,rounded corners=3pt

	\node[indice](1) at (0,0){1};
	\node[indice](2) at (2,0){2};
	\node[indice](3) at (4,0){3};
	\node[indice](4) at (6,0){4};
	\node[indice](5) at (8,0){5};
	\node[indice](23) at (-1,1){$\{2,3\}$};
	\node[indice](124) at (-1,2){$\{1,2,4\}$};
	\node[indice](1245) at (-1,3){$\{1,2,4,5\}$};
	\node[indice](135) at (-1,4){$\{1,3,5\}$};
	\node[indice](345) at (-1,5){$\{3,4,5\}$};
	\node[rond](2e23) at (2,1){};
	\node[rond](3e23) at (4,1){};
	\node[rond](1e124) at (0,2){};
	\node[rond](2e124) at (2,2){};
	\node[rond](4e124) at (6,2){};
	\node[rond](1e1245) at (0,3){};
	\node[rond](2e1245) at (2,3){};
	\node[rond](4e1245) at (6,3){};
	\node[rond](5e1245) at (8,3){};
	\node[rond](1e135) at (0,4){};
	\node[rond](3e135) at (4,4){};
	\node[rond](5e135) at (8,4){};
	\node[rond](3e345) at (4,5){};
	\node[rond](4e345) at (6,5){};
	\node[rond](5e345) at (8,5){};

	\tikzstyle{lienb}=[-,color=blue]
	\tikzstyle{lienr}=[-,color=red]
	\tikzstyle{liend}=[-,color=black]

	\draw[lienb] (1e124) -- (2e23)-- (3e23)-- (4e124) -- (5e1245);
    \draw[lienr] (1e1245) -- (2e124)-- (3e135)--(4e1245)--(5e135);
       \draw[liend] (1e135) -- (2e1245)-- (3e345)--(4e345)--(5e345);
\end{tikzpicture}
\caption{A 3-regular partition of $\{1,2,3,4,5\}$}
\label{fig5}
\end{figure}

We start with the bottom graph over $[5]$ (in blue). We consider the sets of the partition starting from the botton and at each step we want to cover exactly the indices $1\le i\le 5$ which are on the set and on the graph:
\begin{itemize}
\item The first set is $\{2,3\}$ it is entirely on the blue graph: we need to cover 2 and 3, so can simply take $A_2+A_3$.  We could  write $(\underline{A_2}+\underline{A_3})_{\le a_2+a_3}$ even if the truncation is useless here, in order
to stress  our goal: cover 2 and 3, but nothing more.
\item We move up and consider the next set $\{1,2,4\}$. Our goal is to cover the
indices 1 and 4 (which correspond to the dots on the graph at the height of  $\{1,2,4\}$), using $A_1+A_2+A_4$ translated by as many $a_i$ as we can, for previously covered indices $i$. The truncation from below is imposed by the upper
bound on the previous set, the one from above by the fact that we do not want to cover more indices than 1 and 4 (it is surperfluous in this case). The only choice is
  $$ {}_{a_2+a_3<}(\underline{A_1}+A_2+a_3+\underline{A_4})_{\le a_1+a_2+a_3+a_4}.$$
  \item The last dot on the blue graph in at the third line, so we have to use the
  set $\{1,2,4,5\}$ in order to cover the last uncovered index 5. By similar considerations we are led to choose:
    $$ {}_{a_1+a_2+a_3+a_4<} (A_1+A_2+a_3+A_4+\underline{A_5}).$$
 \end{itemize}
Summing up, using the blue line, we have obtained the following disjoint
union inside the full sum set:
\begin{equation}\label{eq:5-1}
(\underline{A_2}+\underline{A_3}) \bigcup {}_{a_2+a_3<}(\underline{A_1}+A_2+a_3+\underline{A_4})\bigcup
{}_{a_1+a_2+a_3+a_4<} (A_1+A_2+a_3+A_4+\underline{A_5}) \subset \sum_{i=1}^5 A_i
\end{equation}
Next we deal with the second graph (in red).
\begin{itemize}
\item The first relevant set (starting from bottom) is $\{1,2,4\}$ and only the point $(2,\{1,2,4\})$ is on the red  graph. So we select $(A_1+\underline{A_2}+A_4)_{\le a_2}$
\item Going up one set, the points $(1,\{1,2,4,5\})$ and $(4,\{1,2,4,5\})$ are on the red graph so we need to use $\{1,2,4,5\}$ to cover 1 and 4. This leads to
$$ {}_{a_2<}( \underline{A_1}+A_2+ \underline{A_4}+A_5)_{\le a_1+a_2+a_4}.$$
\item Eventually considering the set $\{1,3,5\}$ which meets the red graph at 3 and 5 we choose
$$  {}_{a_1+a_2+a_4<}(A_1+a_2+\underline{A_3}+a_4+\underline{A_5}).$$
\end{itemize}
Summing up, the red line leads to the inclusion
\begin{equation}\label{eq:5-2}
(A_1+\underline{A_2}+A_4)_{\le a_2} \bigcup  {}_{a_2<}( \underline{A_1}+A_2+ \underline{A_4}+A_5)_{\le a_1+a_2+a_4} \bigcup  {}_{a_1+a_2+a_4<}(A_1+a_2+\underline{A_3}+a_4+\underline{A_5})
 \subset \sum_{i=1}^5 A_i
\end{equation}
The same procedure for the upper graph (in black) gives
\begin{equation}\label{eq:5-3}
(A_1+\underline{A_2}+A_4+A_5)_{\le a_2} \bigcup (\underline{A_1}+a_2+A_3+A_5)_{\le a_1+a_2} \bigcup (a_1+a_2+\underline{A_3}+\underline{A_4}+\underline{A_5})
 \subset \sum_{i=1}^5 A_i
\end{equation}

Eventually, passing to length of sets in the inclusions \eqref{eq:5-1}, \eqref{eq:5-2}, \eqref{eq:5-3}, adding everything up and  collecting the pieces of the various sum-sets gives
$$ 3 \Big| \sum_{i=1}^5 A_i\Big| \ge |A_2+A_3|+ |A_1+A_2+A_4|+ |A_1+A_2+A_4+A_5|+ |A_1+A_3+A_5|+ |A_3+A_4+A_5|.$$
After these examples, we are ready for the general case.

\subsection{Proof for the real line}
\label{sec:fsa-real}

Let us proceed to some simplifications and introduce concise notation. First of all, by translation
invariance of Lebesgue's measure, we can translate all the sets and assume that for all $i\in [M]$, $\min A_i=0$. Then we denote $a_i:=\max A_i$.
Viewing $A$ as a function from $[M]$ to $2^{\mathbb R}$ and $a$ as a function from $[M]$ to ${\mathbb R}_+$,
we write
$$ \sum_S A:= \sum_{i\in S} A_i \qquad \mathrm{and} \qquad \sum_S a:= \sum_{i\in S} a_i.$$
With this notation our goal is to show that
\begin{equation}
\label{eq:qBM}
 q\big|\sum_{[M]}A\big|\ge \sum_{j=1}^s  \Big|\sum_{S_j} A\Big|.
 \end{equation}
Our proof of this inequality will rely on the arbitrary choice of an order of the sets (which was
already made in the notation  $(S_j)_{1\le j\le s}$).

\medskip
By the $q$-covering hypothesis, each $i\in [M]$ belongs to exactly $q$ of the sets $(S_j)_{j=1}^s$.
Hence there are indices
 $$1\le h_1(i)<h_2(i)<\cdots < h_q(i)\le s$$
 such that $i$ belongs to the sets having these indices, and to these sets only:
 $i\in S_{h_k(i)}$ for all $k$ with $1\le k\le q$. Hence, we have built $q$ functions $h_1,\ldots, h_k$ from $[M]$ to $[s]$. They will play a central role in the argument. For each of these functions,
 we prove a lower bound on the length of the full sum $\sum_{[M]}A$:

 \begin{lem}\label{lem:decomp}
 Let $k\in[q]$ be an integer between 1 and $q$. Then
 \begin{equation}\label{eq:U1}
  \bigcup_{j=1}^s \left(\left(\sum_{S_j}A+\sum_{h_k^{-1}([1,j-1])\setminus S_j }a \right)\cap \left(\sum_{h_k^{-1}([1,j-1])}a\; ;\sum_{h_k^{-1}([1,j])}a\right]\right)\subset \sum_{[M]} A,
  \end{equation}
 where the union is disjoint. Hence, passing to lengths of sets:
  \begin{equation}\label{eq:U2}
   \sum_{j=1}^s \left|\left(\sum_{S_j}A+\sum_{h_k^{-1}([1,j-1])\setminus S_j }a \right)\cap \left(\sum_{h_k^{-1}([1,j-1])}a\; ;\sum_{h_k^{-1}([1,j])}a\right] \right|\le  \Big| \sum_{[M]} A\Big|.
 \end{equation}
 \end{lem}
 Observe that quite a few of the above sets can be empty. For instance when $j=1$,
 $[1,j-1]=\emptyset$ and $\sum_{h_k^{-1}([1,j-1])}a=0$ as a sum on the empty set.
More importantly, when $j$ does not belong to the range of $h_k$ the interval
 $\left(\sum_{h_k^{-1}([1,j-1])}a\; ;\sum_{h_k^{-1}([1,j])}a\right]$ is also empty.

\begin{proof}
Since for all $i\in [M]$, $0\in A_i$ and $a_i\in A_i$ it is plain that
 $$\sum_{S_j}A+\sum_{h_k^{-1}([1,j-1])\setminus S_j }a \subset  \sum_{[M]} A,$$
 hence the inclusion is proved.
 The fact that the union is disjoint comes from the disjointness of the intervals
 $$\left(\sum_{h_k^{-1}([1,j-1])}a\; ;\sum_{h_k^{-1}([1,j])}a\right].$$
 Indeed, since $a_i\ge 0$, $j_1\le j_2$ implies that  $\sum_{h_k^{-1}([1,j_1])}a \le \sum_{h_k^{-1}([1,j_2])}a$.

\end{proof}

In order to prove the fractional inequality \eqref{eq:qBM}, we sum up the inequalities provided
by the above lemma, for $k$ ranging from 1 to $q$. Permuting sums, we obtain
\begin{eqnarray*}
q\big|\sum_{[M]}A\big|
&\ge & \sum_{j=1}^s  \sum_{k=1}^q  \left|\left(\sum_{S_j}A+\sum_{h_k^{-1}([1,j-1])\setminus S_j }a \right)\cap \left(\sum_{h_k^{-1}([1,j-1])}a\; ;\sum_{h_k^{-1}([1,j])}a\right] \right| \\
&=& \sum_{j=1}^s  \left( \sum_{k=1}^q  \left|\sum_{S_j}A \cap \left(\sum_{h_k^{-1}([1,j-1])\cap S_j}a\; ;\sum_{h_k^{-1}([1,j])\setminus (h_k^{-1}([1,j-1])\setminus S_j )}a\right] \right| \right)
\end{eqnarray*}
Using in the first place that $B\setminus (C\setminus D)= (B\setminus C)\cup (B\cap D)$,
and then the inclusion $h_k^{-1}(\{j\})\subset S_j$ (which follows from the definitions), we get that
\begin{eqnarray*}
h_k^{-1}([1,j])\setminus (h_k^{-1}([1,j-1])\setminus S_j )&=&h_k^{-1}(\{j\})\cup (h_k^{-1}([1,j])\cap S_j)\\
 &=& h_k^{-1}([1,j])\cap S_j.
 \end{eqnarray*}
 Hence we have shown that
\begin{equation}
\label{eq:last}
q\big|\sum_{[M]}A\big| \ge
\sum_{j=1}^s  \left( \sum_{k=1}^q  \left|\sum_{S_j}A \cap \left(\sum_{h_k^{-1}([1,j-1])\cap S_j}a\; ;\sum_{h_k^{-1}([1,j])\cap S_j }a\right] \right| \right)
\end{equation}
In order to combine the terms in the inner sum, we need some observations on the
end-points of the various intervals.

\begin{lem}
Let $1\le j\le s$ and $1\le k\le q-1$ be integers. Then
\begin{enumerate}
\item $\displaystyle h_q^{-1}\big([1,j-1]\big)\cap S_j=\emptyset$
\item $\displaystyle h_1^{-1}\big([1,j]\big)\cap S_j=S_j$
\item $\displaystyle h_{k+1}^{-1}\big([1,j]\big)\cap S_j=  h_k^{-1}\big([1,j-1]\big)\cap S_j$
\end{enumerate}
\end{lem}
\begin{proof}
The first point is obvious when $j=1$ since $[1,j-1]=\emptyset$ in that case. If $j\ge 1$, and
if $i\in \displaystyle h_q^{-1}\big([1,j-1]\big)\cap S_j$ then $h_q(i)\le j-1$. Therefore, by definition
the $q$ sets to which $i$ belongs have indices $h_1(i)<\cdots<h_q(i)\le j-1$. This contradicts the
fact that $i\in S_j$.

To prove the second point, it is enough to show that $S_j\subset h_1^{-1}\big([1,j]\big)$. This is also very simple: if $i\in S_j$ then by definition there exists $1\le \ell\le q$ such that $j=h_\ell(i)$.
Therefore $1\le h_1(i)\le h_\ell(i)=j$.

Let us address the third point, by establishing inclusions in both directions. First, assume that $i\in S_j$ and $h_{k+1}(i)\le j$. By definition $h_k(i)<h_{k+1}(i)$. Since these are integer numbers,
$h_k(i)\le h_{k+1}(i)-1\le j-1$. This proves that  $\displaystyle h_{k+1}^{-1}\big([1,j]\big)\cap S_j\subset  h_k^{-1}\big([1,j-1]\big)\cap S_j$.

Conversely, assume that $i\in S_j$ and $h_k(i)\le j-1$. Since $i$ belongs to $S_j$ there exists $\ell$ such that $h_\ell(i)=j$. It follows that $h_k(i)<h_\ell(i)=j$. Since $t\mapsto h_t(i)$ is strictly
increasing, we can deduce that $k<\ell$, that is $k+1\le \ell$. Consequently $h_{k+1}(i)\le h_\ell(i)=j$. Thus we have shown that $i\in h_{k+1}^{-1}\big([1,j]\big)\cap S_j$. The proof of the lemma is complete.
\end{proof}
Let us explain how to conclude the proof, resuming at \eqref{eq:last}.
By the latter lemma,
$$\left(\sum_{h_q^{-1}([1,j-1])\cap S_j}a\; ;\sum_{h_q^{-1}([1,j])\cap S_j }a\right]=
  \left(\sum_{\emptyset }a\; ;\sum_{h_q^{-1}([1,j])\cap S_j }a\right] =
  \left(0\; ;\sum_{h_q^{-1}([1,j])\cap S_j }a\right] ,$$
and for all $k$ such that $1\le k\le q-1$
$$\left(\sum_{h_k^{-1}([1,j-1])\cap S_j}a\; ;\sum_{h_k^{-1}([1,j])\cap S_j }a\right]
=\left(\sum_{h_{k+1}^{-1}([1,j])\cap S_j}a\; ;\sum_{h_k^{-1}([1,j])\cap S_j }a\right].$$
Recalling $h_k<h_{k+1}$, it is then clear that the above $q$ intervals are disjoint, and that
their union is
$$  \left(0\; ;\sum_{h_1^{-1}([1,j])\cap S_j }a\right]= \left(0\; ;\sum_{ S_j }a\right],$$
where we have used the second point of the lemma in the last step. Using this information,
we may rewrite \eqref{eq:last} as
\begin{equation}
\label{eq:recollect}
q\big|\sum_{[M]}A\big| \ge
\sum_{j=1}^s  \left|\sum_{S_j}A \cap \Big(0\; ;\sum_{S_j }a\Big] \right|
\end{equation}
Recall that $A_i\subset[\min(A_i),\max(A_i)]=[0,a_i]$, hence
$\sum_{S_j}A \subset  \Big[0\; ;\sum_{S_j }a\Big]$ and actually it contains $0$.
A point being Lebesgue negligeable,
$$\left|\sum_{S_j}A \cap \Big(0\; ;\sum_{S_j }a\Big] \right| =\Big|\sum_{S_j}A  \Big|$$
and the fractional inequality is established.

\medskip
Eventually we check the sufficient condition for equality claimed in Theorem \ref{thm:FSA}. Without loss of generality we may assume that for all $S$, $\beta_S>0$  (otherwise we remove the sets from the fractional partition) and that $\min(A_i)=0$, $\max(A_i)=a_i$. Summing up the inclusions $\{0,a_i\}\subset A_i \subset [0,a_i]$ gives for all $S\subset [M]$,
\[ \left\{0,\sum_S a\right\}\subset \sum_S A \subset \left[0,\sum_S a\right]. \]
Since by hypothesis $\sum_S A$ is an interval for $S\in \mathcal G$, we get $|\sum_S A|= \sum_{i\in S} a_i$. Hence, using the fractional partition,
\[\sum_{S\in \mathcal G} \beta_S \big|\sum_S A\big|=\sum_{S\in \mathcal G} \beta_S \left(\sum_{i\in S} a_i\right) =\sum_{i=1}^M a_i \left( \sum_{S\in\mathcal G; i\in S}  \beta_S\right)= \sum_{i=1}^M a_i.\]
Moreover the above inclusion implies that $|\sum_{[M]} A|\le \sum_{i=1}^M a_i=\sum_{S\in \mathcal G}\beta_S \big|\sum_S A\big|$, which should be combined to the general inequality $|\sum_{[M]} A|\ge \sum_{S\in \mathcal G} \beta_S\big|\sum_S A\big|$ in order to get equality.

\subsection{Extension to higher dimensions}
\label{sec:fsa-dim}

\begin{theo}\label{th:Rd}
Let $(\mathcal{G},\beta)$ be a fractional partition of $[M]$. Let $A_1,\ldots,A_M$ be non-empty compact subsets of ${\mathbb R}^d$. Then
$$\big|A_1+\cdots+A_M\big|\ge \sum_{S\in \mathcal{G}} \beta_S \, \Big|\sum_{i\in S} A_i\Big|,
$$
where for $|S|$ denotes the $d$-dimensional Lebesgue measure.
\end{theo}
\begin{proof}
As before, it is enough to deal with the regular case. On each compact set $A_i$ the first
coordinate function $\pi$ (defined for $x\in {\mathbb R}^d$ by $\pi(x)=x_1$) achieves its maximum  at a point $a_i\in A_i$. Since our problem
is invariant by translation, we may assume without loss of generality that the minimum of $x\mapsto x_1$ on $A_i$ is achieved at the origin.
So $\{0,a_i\}\subset A_i$ and $A_i\subset\{x\in {\mathbb R}^ d; \; x_1\in [0, (a_i)_1]\}$, where $(a_i)_1$ is the first coordinate of $a_i$.  In other words
$$ A_i\subset  \pi^{-1}\big( [0,\pi(a_i)]\big),$$
and their boundaries meet at least at $0$ and $a_i$.
The statement of Lemma \ref{lem:decomp} should be modified by
replacing the intervals
$$ \left(\sum_{h_k^{-1}([1,j-1])}a\; ;\sum_{h_k^{-1}([1,j])}a\right]$$
by the slabs
$$ \pi^{-1}\left(\left(\sum_{h_k^{-1}([1,j-1])}\pi(a)\; ;\sum_{h_k^{-1}([1,j])}\pi(a)\right] \right).$$
The rest of the proof is the same.
\end{proof}

We remark that the idea here follows \cite{FMMZ18}, where a similar approach is used for the leave-one-out case.

\subsection{Cartesian products}
\label{ss:cartes}

The next simple lemma allows combining fractional superadditivity results for volumes:

\begin{lem}\label{lem:cartes}
Let $d_1,d_2$ be positive integers and $p,q>0$
For $i\in[M]$, let $A_i\subset {\mathbb R}^{d_1}$ and $B_i\subset {\mathbb R}^{d_2}$ be non-empty compact sets. Let $(\beta_S)_{S\subset [M]}$ be non-negative numbers and assume
that we have the following two volume inequalities:
\[
\Big| \sum_{i\in [M]}A_i\Big|_{d_1}^{\frac{1}{p}} \ge \sum_S  \beta_S\Big|\sum_{i\in S}A_i\Big|_{d_1}^{\frac{1}{p}}
\quad\mbox{ and }\quad
\Big| \sum_{i\in [M]}B_i\Big|_{d_2}^{\frac{1}{q}} \ge \sum_S  \beta_S\Big|\sum_{i\in S}B_i\Big|_{d_2}^{\frac{1}{q}}
\]
Then the cartesion product sets $A_i\times B_i\in {\mathbb R}^{d_1+d_2}$ satisfy
\[
\Big| \sum_{i\in [M]}(A_i\times B_i)\Big|_{d_1+d_2}^{\frac{1}{p+q}} \ge \sum_S  \beta_S\Big|\sum_{i\in S}(A_i\times B_i)\Big|_{d_1+d_2}^{\frac{1}{p+q}}.
\]
\end{lem}
\begin{proof}
 Observe that $\sum_{i\in S}(A_i\times B_i)= \Big(\sum_{i\in S}A_i\Big)\times \Big(\sum_{i\in S} B_i\Big)$. Thus by H\"older's inequality
 \begin{eqnarray*}
 \sum_S  \beta_S\Big|\sum_{i\in S}(A_i\times B_i)\Big|^{\frac{1}{p+q}}
&=&  \sum_S  \beta_S\Big|\sum_{i\in S}A_i\Big|^{\frac{1}{p+q}}\Big|\sum_{i\in S}B_i\Big|^{\frac{1}{p+q}}\\
&\le & \left(  \sum_S  \beta_S\Big|\sum_{i\in S}A_i\Big|^{\frac{1}{p}}\right)^{\frac{p}{p+q}} \left(  \sum_S  \beta_S\Big|\sum_{i\in S}B_i\Big|^{\frac{1}{q}}\right)^{\frac{q}{p+q}}\\
&\le & \left(  \Big|\sum_{i\in [M]}A_i\Big|^{\frac{1}{p}}\right)^{\frac{p}{p+q}} \left(  \Big|\sum_{i\in [M]}B_i\Big|^{\frac{1}{q}}\right)^{\frac{q}{p+q}}
= \Big| \sum_{i\in [M]}(A_i\times B_i)\Big|^{\frac{1}{p+q}}
 \end{eqnarray*}
 \end{proof}

\subsection{Proof for the integers}
\label{ss:integer-pf}

The argument is the same with minor changes. Again we translate the sets in order to have $\min A_i=0$ and set $a_i:=\max A_i\in \mathbb Z$.
Then we observe that the set on the left-hand side of  \eqref{eq:U1}  is included in
$$ \left(0\; ;\sum_{h_k^{-1}([1,s])}a\right]=\left(0\; ;\sum_{[M]}a\right]$$
so it does not contain $0$, the minimal element of $\sum_{[M]}A$. So we may improve on  \eqref{eq:U1}:

\begin{equation}\label{eq:U1Z}
  \bigcup_{j=1}^s \left(\left(\sum_{S_j}A+\sum_{h_k^{-1}([1,j-1])\setminus S_j }a \right)\cap \left(\sum_{h_k^{-1}([1,j-1])}a\; ;\sum_{h_k^{-1}([1,j])}a\right] \right)\subset \Big( \sum_{[M]} A\Big) \setminus \{0\},
  \end{equation}
Taking cardinals gives
  \begin{equation}\label{eq:U2Z}
   \sum_{j=1}^s \left|\left(\sum_{S_j}A+\sum_{h_k^{-1}([1,j-1])\setminus S_j }a \right)\cap \left(\sum_{h_k^{-1}([1,j-1])}a\; ;\sum_{h_k^{-1}([1,j])}a\right]\right|\le  \Big| \sum_{[M]} A\Big|-1.
 \end{equation}
 Then we follow the same line of reasoning and get instead of \eqref{eq:recollect}:
 \begin{equation}
\label{eq:recollectZ}
q\left(\big|\sum_{[M]}A\big|-1\right) \ge
\sum_{j=1}^s  \left|\sum_{S_j}A \cap \Big(0\; ;\sum_{S_j }a\Big] \right|=
 \sum_{j=1}^s \left( \Big|\sum_{S_j}A \Big|-1\right),
\end{equation}
since $\min\left( \sum_{S_j}A\right)= 0$ and $\max\left( \sum_{S_j}A\right)=\sum_{S_j} a $. This concludes the proof in the regular case.
The general case follows.

\medskip
Eventually we check the sufficient condition for equality. Without loss of generality, we assume that for all $S$, $\beta_S>0$  and that $\min(A_i)=0$, $\max(A_i)=a_i$. Summing up the inclusions $\{0,a_i\}\subset A_i \subset [0,a_i]$ gives for all $S\subset [M]$,
\begin{equation}\label{eq:2inclusions} \left\{0,\sum_S a\right\}\subset \sum_S A \subset \left[0,\sum_S a\right]. \end{equation}
Since by hypothesis $\sum_S A$ is an arithmetic progression of increment $\rho$, we get $|\sum_S A|= 1+\frac1\rho\sum_{i\in S} a_i$. Hence, using the fractional partition,
\[\sum_{S\in \mathcal G} \beta_S\left(\big|\sum_S A\big|-1\right)=\sum_{S\in \mathcal G} \beta_S\left(\frac1\rho\sum_{i\in S} a_i\right) =\frac1\rho \sum_{i=1}^M a_i \left( \sum_{S\in\mathcal G; i\in S}  \beta_S\right)= \frac1\rho \sum_{i=1}^M a_i.\]
Each $i\in [M]$ belongs to some $S\in \mathcal G$, hence $A_i\subset \sum_S A \subset \rho {\mathbb Z}$, where we used that $0\in \cap_j A_j$ and that $\sum_S A$ is an arithmetic progression of increment $\rho$. Hence $\sum_{[M]} A \subset \rho {\mathbb Z}$, which together with
\eqref{eq:2inclusions} implies that
\[|\sum_{[M]} A|-1\le \frac1\rho\sum_{i=1}^M a_i=\sum_{S\in \mathcal G}\beta_S \left(\big|\sum_S A\big|-1\right).\]

\section{Concluding remarks and open questions}
\label{sec:rmks}

We leave a number of interesting open questions for future work.

\begin{itemize}

\item
The question of characterizing all equality cases for our main inequality \eqref{eq:BMF1} in dimension 1 is interesting, and seems doable but tedious.

\item The central problem posed in this paper-- that of a full characterization of the Lyusternik region for $M>2$ -- seems quite difficult in general. It should however be possible to improve on our (inclusion) bounds or to put forward qualitative properties of these sets.  From the discussion of the counterexample
showing that partial sums cannot reach all supermodular set functions, it is clear
that characterizing the region would require at least to be able to say that if the two-by-two sums are not too big, then
the sets are not far from convex and thus the three-by-three sum is not too big either.
Such considerations lead towards refined stability results (see, e.g., \cite{FJ15}) and additive combinatorics,
and would be very interesting to pursue.

\item It is natural to ask what the analogue of the Lyusternik region
looks like when, instead of allowing all compact sets, one restricts to convex sets.
In this case, the question becomes clearly related to mixed volumes and their
properties-- indeed, supermodularity properties of mixed volumes are discussed in \cite{FMZ21},
some properties of the reverse kind (log-submodularity) that hold for special subclasses of convex sets
are discussed in \cite{FMZ21, FMMZ21}, and some extensions to measures beyond Lebesgue measure
are discussed in \cite{FLMZ21}. We remark that studies of regions involving the set of possible mixed volumes of convex bodies have been undertaken
in a series of works in convex geometry (see, e.g., \cite{She60, HHS12}); however there does not appear to be a direct connection between
our work and those results because our interest is focused on what can be said for general compact sets.

\item It is shown in \cite{FMMZ18} that if $A, B, C$ are compact subsets of ${\mathbb R}$, then
$$
|A+B+C| + |\mathrm{conv}(A)| \geq |A+B| + |A+C|.
$$
In particular, a supermodularity-type inequality holds if the set $A$ is convex (i.e., a closed interval). This may also be written as follows: if $A$ is a compact convex set and $B, C$ are arbitrary compact sets, and we define $\Delta_B(A)=|A+B|-|A|$, then
$$
\Delta_{B+C}(A) \geq \Delta_B(A) + \Delta_C(A).
$$
This inequality was recently verified in general dimension when $B$ is a zonoid (and $C$ is an arbitrary compact set) by \cite{FMZ21},
but the question is open in general. It is also unknown if even in ${\mathbb R}$, the superadditivity property of $\Delta_{\cdot}(A)$ for a fixed convex body $A$ under Minkowski summation can be refined to a fractional superadditivity statement.

\end{itemize}


\section{INTRODUCTION}
Electromagnetically induced transparency (EIT), where a transmission window is induced within an absorption resonance, arises from the destructive quantum interference of different excitation pathways~\cite{fleischhauer2005electromagnetically,liu2017electromagnetically,gu2017microwave}. As a counterpart of EIT, electromagnetically induced absorption (EIA) accompanied by a substantial enhancement of the absorption rate of a probe field~\cite{akulshin1998electromagnetically,lezama1999electromagnetically,taichenachev1999electromagnetically, lipsich2000absorption,goren2003electromagnetically,sheng2011all} also has received considerable attention due to its versatile applications such as enhancing photodetection~\cite{romero2009microwave,peropadre2011approaching,akhlaghi2015waveguide}, giant Faraday rotation~\cite{floess2017plasmonic}, and high-precise quantum sensing~\cite{thaicharoen2019electromagnetically,liao2020microwave,jadoon2020multiphoton}. In contrast to EIT introduced by destructive quantum interference, the observed EIA arises due to the constructive interference between different excitation pathways~\cite{dimitrijevic2011coherent,zhang2015electromagnetically,limonov2017fano,yelikar2020analogue}. In particular, the incident electromagnetic field can be perfectly absorbed by precisely controlling the constructive interference~\cite{agarwal2015photon,agarwal2016perfect,wang2017interference,wei2018coherent,xiong2020coherent}. Coherent perfect absorption (CPA) is achieved when the dip of EIA spectrum \MSB{approaches} zero~\cite{baranov2017coherent,zhang2017observation,wu2016coherent,wu2017perfect}. Intriguing applications through the CPA include synthetic reflectionless media~\cite{roger2015coherent,li2018tunable,berkhout2019perfect}, \vari{time-reversed lasers}~\cite{chong2010coherent,wan2011time,stone2011gobbling,wong2016lasing} and random anti-lasing~\cite{pichler2019random}.

The above intriguing applications are closely related to the amplitude responses of light transmission. Meanwhile, the phase also exhibits interesting properties, e.g., EIT and EIA with unique behaviors of dispersion~\cite{boyd2009slow,ian2010tunable,li2011experimental,peng2014and,lu2018optomechanically,zhao2021phase} could lead to group delay (slow light) or advance (fast light), respectively. Classical analogs for EIT and EIA have been simultaneously demonstrated in a variety platforms such as plasmonics~\cite{taubert2012classical}, metamaterials~\cite{tassin2012electromagnetically}, and optical resonators~\cite{yang2017realization}. Similar to EIT and EIA realized through mechanical effects of light~\cite{agarwal2010electromagnetically,huang2011electromagnetically,qu2013phonon}, optomechanically induced transparency (OMIT) and absorption (OMIA) are also caused by destructive and constructive pathway interferences~\cite{weis2010optomechanically,safavi2011electromagnetically,karuza2013optomechanically,dong2013transient,dong2015brillouin,kim2015non}, respectively. In the microwave domain, OMIT~\cite{teufel2011circuit,ockeloen2019sideband,massel2012multimode,zhou2013slowing,fan2015cascaded} and OMIA~\cite{hocke2012electromechanically,massel2011microwave,fong2014microwave,zhang2016cavity} have been demonstrated in electromechanical devices where a superconducting microwave resonator couples to a mechanical resonator realized as a capacitor~\cite{aspelmeyer2014cavity,xiong2018fundamentals,liu2018cavity}. Integrating electromechanics with solid-state qubits, e.g., superconducting qubits~\cite{rodrigues2019coupling,pirkkalainen2013hybrid,bera2021large,lecocq2015resolving,zoepfl2020single}, leads to a promising hybrid architecture for a quantum repeater~\cite{mirhosseini2020superconducting}. The parametric optomechanical coupling has a great tunability. \vari{\MS{Change of probe light transmission} from absorption to transparency \MS{or} amplification has been experimentally observed by tuning the power of a blue-detuned sideband pump~\cite{hocke2012electromechanically}. The probe light could be completely absorbed and fast-slow light conversion occurs at a critical pump power~\cite{chen2021tunable}.} The \MSB{amplitude} and \MSB{phase of} the cavity output photons are both measurable. Therefore, \MSB{optomechanical systems provide} an ideal experimental platform to study how CPA affects the phase evolution, and allow us to study fast-slow light transition, and then explore \MSB{an} ultralong group delay around this phase singularity.

\textit{The device.}---As shown in Fig.~\ref{fig1}(a), the cavity electromechanical device consists of a three-dimensional (3D) superconducting aluminum (Al) cavity and a mechanically compliant capacitor. The external coupling strength is adjusted by the protrusion length of the SMA connector's pin inside the cavity. The dark-red interference fringes within the narrow capacitor gap \MSB{indicate} that the distance is at a few hundred nanometers level. \MSB{The} schematic in Fig.~\ref{fig1}(b) shows how the metalized silicon-nitride (SiN) membrane is flip-chip mounted over the bottom antenna pads. Detailed fabrication and packaging processes are presented in the Supplementary Material~\cite{Liu2021antilasing}. The H-shaped antenna is used to enhance \MSB{the} electromechanical coupling. The choice of \MSB{a} high-stress SiN membrane as the mechanical resonator is motivated by its high-Q performance at millikelvin temperatures~\cite{yuan2015large,yuan2015silicon,noguchi2016ground,ghadimi2018elastic,tsaturyan2017ultracoherent,maccabe2020nano}.
\begin{figure}[ptb]
\includegraphics[scale=0.5]{fig1.pdf}
\caption{(a) The 3D microwave cavity and \MSB{a} mechanically compliant \MSB{capacitor.} Microwave signals couple in and out of the cavity through a common connector. (b) Schematic showing the placement of the metalized membrane over the antenna pads. (c) \textcolor[rgb]{1.00,0.00,0.00}{Lumped}-element model consists of cavity capacitance $C_{c}$, inductance $L_{c}$, antenna-cavity coupling capacitance $C_{p}$, and the mechanical capacitance $C_{m}$.}
\label{fig1}
\end{figure}

The equivalent lumped-element model of the cavity and membrane capacitor is shown in Fig.~\ref{fig1}(c). The vibration of the SiN membrane changes the capacitance of the circuit resonator and causes a change in its resonant frequency. Therefore, a dispersive optomechanical coupling is formed. A coherent pump tone with frequency $\Omega_{c}$ and amplitude $\xi$ is used to enhance the optomechanical coupling~\cite{aspelmeyer2014cavity}. In this experiment, the pump frequency is red-detuned \MSB{from} the cavity resonant frequency ($\omega_{c}$) \vari{by the} mechanical frequency ($\omega_{m}$), i.e., $\Omega_{c}=\omega_{c}-\omega_{m}$. A weak coherent probe field with frequency $\Omega_{p}$ and amplitude $\varepsilon$ is used to measure the transmission response. Working in the rotating frame at the pump-tone frequency, the linearized Hamiltonian is given as
\begin{equation}
H/\hbar=\Delta \left(a^{\dag}a+b^{\dag}b\right)+G\left(a^{\dag }b+b^{\dag }a\right)+i\sqrt{\eta \kappa}(\varepsilon a^{\dag }-\varepsilon^{\ast}a). \label{Hamiltonian}
\end{equation}
The cavity mode is described by the bosonic \MSB{operators} $a$ ($a^{\dag}$) and the mechanical mode is described by $b$ ($b^{\dag}$), respectively. The detuning is defined as $\Delta=\omega_{c}-\Omega_{p}$. \vari{Here, $G=g\sqrt{\bar{n}_{\textrm{c}}}$ is the linearized and field-enhanced coupling strength. The quantity $g$ is the single-photon optomechanical coupling rate and $\bar{n}_{\textrm{c}}$ is the average number of photons in the cavity.} Thus, the cavity-mechanics coupling rate $G$ can be continuously adjusted by controlling the power of the coherent pump tone. Without loss of generality, $G$ is assumed to be a real number. The coupling to \MSB{the} SMA connector results in an external decay rate of $\kappa_{e}$. The cavity mode can be characterized by a total loss $\kappa$ and the external coupling parameter $\eta=\kappa_{e}/\kappa$. By considering the input-output relations, the transmission coefficient is given as
\begin{equation}
t=1-\frac{\eta \kappa \left(i\Delta +\gamma_{m}/2\right)}{\left(i\Delta +\gamma_{m}/2\right) \left( i\Delta +\kappa/2\right)+G^{2}}, \label{Transimission}
\end{equation}
where $\gamma_{m}$ represents the decay rate of the mechanical mode. The amplitude and phase responses are given as $T=|t|^2$, and $\varphi=\arg \left(t\right)$, respectively. The transmission at cavity resonance with zero-detuning (setting $\Delta$ to be zero) becomes
\begin{equation}
t_{z}=\frac{G^{2}-\left(\eta-1/2\right) \kappa \gamma_{m}/2}{G^{2}+\kappa \gamma_{m}/4}. \label{TRcentere}
\end{equation}

At zero-detuning, $t_{z}$ is always a real number. Setting $t_{z}$ to be zero yields a critical coupling $G_{\mathrm{c}}=\sqrt{\left(\eta-1/2\right) \kappa \gamma_{m}/2}$. When $G<G_{\mathrm{c}}$ ($G>G_{\mathrm{c}}$), $t_{z}$ is negative (positive). Under critical coupling, the amplitude at \MSB{the} cavity resonance becomes zero, indicating that the mechanically induced CPA (MCPA) occurs. The phase at zero detuning (cavity resonance) is given \MSB{as} $\varphi_{z}=\arg\left(t_{z}\right)$. It is notable that the imaginary part of $t_{z}$ \MSB{on resonance} is always zero [i.e., $\mathrm{Im}(t_{z})=0$]. We then have $\mathrm{tan}\left(\varphi_{z}\right)=\mathrm{Im}(t_{z})/\mathrm{Re}(t_{z})=0$, and the nontrivial solutions for the phase at zero detuning are $\varphi_{z}\in[0,\pi]$. Because $\mathrm{cos}(\varphi_{z})\varpropto\mathrm{Re}(t_{z})$, and the \MSB{value} of $\mathrm{cos}(\varphi_{z})$ is negative (positive) for $G<G_{\mathrm{c}}$ ($G>G_{\mathrm{c}}$), hence \MS{yielding} a phase $\varphi_{z}=\pi$ ($\varphi_{z}=0$), respectively. Remarkably, the MCPA mediates an abrupt $\pi$-phase transition at the critical coupling.

\textit{Observation of the MCPA and anti-lasing.}---In earlier work, CPA and anti-lasing have been achieved by controlling the interference of multiple incident waves inside a thin film~\cite{chong2010coherent,wan2011time,stone2011gobbling}. \vari{For cavity optomechanical systems, the probe light can be perfectly absorbed through the constructive interference with the down-converted pump tone from the blue-detuned sideband~\cite{hocke2012electromechanically}. \MS{In this case,} the interaction Hamiltonian is written as $H_{\textrm{int}}/\hbar=G(a^{\dag}b^{\dag}+ab)$, corresponding to parametric amplification~\cite{massel2011microwave,fong2014microwave,zhang2016cavity}. Switching from blue-detuned to red-detuned driving can \MSB{induce a change from constructive to destructive interference}, giving rise to OMIT~\cite{aspelmeyer2014cavity}. The interaction Hamiltonian becomes \MS{beam-splitter} like $H_{\textrm{int}}/\hbar=G(a^{\dag}b+b^{\dag}a)$ \MS{as in the present case, with the transmission coefficient given} in Eq.~(\ref{TRcentere}). If the \MS{cavity} is under-coupled ($\eta<1/2$), e.g., for the devices studied in Refs.~\cite{weis2010optomechanically,safavi2011electromagnetically,karuza2013optomechanically}, destructive interference occurs, and only OMIT is \MS{observed} (see detailed discussions in Sec.~IV of Ref.~\cite{Liu2021antilasing}). However, \textcolor[rgb]{1.00,0.00,0.00}{as will be shown in this work,} \MS{with over-coupling} ($\eta>1/2$), interference becomes constructive again and OMIA can occur.}

For the experiment, the device is mounted on a cold plate with a cryogenic temperature of 10~mK inside a dilution refrigerator. The measurement setups are shown in Sec.~III of Ref.~\cite{Liu2021antilasing}. For our device, the external coupling corresponds to over-coupling, $\eta=0.651$, and the pump driving is red-detuned. \MSB{The resonance frequencies of the cavity and of the mechanical resonator} are measured to be $\omega_{c}/2\pi=5.318$~GHz and \vari{$\omega_{m}/2\pi=755.5$~kHz}, respectively. The other parameters for this device are calibrated as $\kappa/2\pi=420$~kHz, and $\gamma_{m}/2\pi=9.7$~mHz. Detailed calibration processes can be found in Sec.~V of Ref.~\cite{Liu2021antilasing}. Then, the calculated critical coupling is given as $G_{\mathrm{c}}/2\pi=17.53$~Hz.
\begin{figure}[ptb]
\includegraphics[scale=0.35]{fig2.pdf}
\caption{(a) The transmission spectrum for the MCPA; and (b) The amplitude at cavity resonance versus coupling strength. Inset in (a) zooms inside the absorption dip. Inset in (b) demonstrates a typical transparent window in the transparency regime with $G/2\pi=176.8$~Hz. Blue-circle: data; Red-solid lines: fit. Blue (orange) background marks the anti-lasing (transparency) regime, respectively.}
\label{fig2}
\end{figure}

The amplitude \MSB{response}, with a coupling strength $G/2\pi=17.66$~Hz, \MSB{is} presented in Fig.~\ref{fig2}(a). The amplitude at the absorption dip is nearly 50~dB lower than the baseline of the transmission spectrum. As shown in Fig.~\ref{fig2}(b), the \MSB{amplitude} $T_{z}$ at \MSB{the} cavity resonance \MSB{is} measured with \MSB{a} continuously increasing $G$. \MSB{The} amplitude $T_{z}$ dramatically drops until $G$ reaches $G_{c}$, and then starts to increase with further increasing the coupling strength. The MCPA occurs and \textcolor[rgb]{1.00,0.00,0.00}{anti-lasing} is observed at $G_{c}$. Figure~\ref{fig2}(b) shows that the measured critical coupling \MSB{occurs} at $G_{c}/2\pi=17.528$~Hz, which agrees well with the calculated value. The coupling strength corresponding to the boundary between \textcolor[rgb]{1.00,0.00,0.00}{absorption (anti-lasing) and transparency} is given as $G_{b}=\sqrt{\left(\eta/2-1/4\right)\kappa\gamma_{\mathrm{m}}/\left(1-\eta\right)}$. For our device, the boundary-coupling is $G_{b}/2\pi=29.68$~Hz. The inset in Fig.~\ref{fig2}(a) [Fig.~\ref{fig2}(b)] shows the typical amplitude response in the transparency (anti-lasing) regime, respectively.

The MCPA allows for the following physical interpretation. Optomechanical interaction of the pump and probe tones creates a sideband at the probe tone frequency. Below critical coupling ($G<G_{c}$), the mechanical sideband is smaller than the probe tone, leading to only partial absorption, and the phase is that of the probe tone. At the critical coupling ($G=G_{c}$), the sideband perfectly interferes with the probe field inside the cavity, leading to coherent perfect absorption and no emitted field. Above critical coupling but below the boundary-coupling ($G_{c}<G<G_{b}$), the sideband now dominates \MSB{over} the probe, so that only part of the sideband tone is transmitted out of the cavity, \MSB{being} $\pi$ out of phase with respect to the original probe tone. Above the boundary-coupling ($G>G_{b}$), the sideband is strong enough to increase the transmission beyond the bare microwave cavity background, and a transmission peak \MSB{appears}.

\textit{The $\pi$-phase transition and phase slope flip.}---In the anti-lasing regime, for a specific value of $T_{z}$, there exist two coupling strengths which \MSB{are located to the left or right of} $G_{c}$, respectively. The phase responses for $G/2\pi=17.24$ and $17.84$~Hz (corresponding to $T_{z}=-42$~dB) are shown in Fig.~\ref{fig3}(a). Under these two coupling strengths, although both the amplitude responses exhibit absorption dips [as shown in Fig.~\ref{fig2}(a)], the phase at zero-detuning undergoes an abrupt shift by $\pi$ (referred to as $\pi$-phase transition). \vari{As the detuning becomes large, \MS{at} the coupling \MS{values just} above and below $G_{c}$, \MS{the phase becomes $\pi$ at over-coupling, whereas under-coupling yields a zero phase \cite{Liu2021antilasing}.} Thus, switching from \MS{under- to over-coupling leads to \MSB{the} destructive interference (OMIT) changing into constructive interference (OMIA).}}

The \MSB{phases $\varphi_{z}$} at the cavity resonance are measured for different coupling strengths $G$ and are shown in Fig.~\ref{fig3}(b). An obvious $\pi$-phase transition occurs at the critical \MSB{coupling $G_{c}$, where} all the inject microwave photons are absorbed ($T_{z}$ becomes zero). Thus, the MCPA mediates such $\pi$-phase transition. \MSB{The} insets in Fig.~\ref{fig3}(b) show a typical phase response, where $G$ is located either on the left or right side of $G_{c}$. On the right side of $G_{c}$, it is notable that the phase response maintains the same lineshape [as shown in the right inset in Fig.~\ref{fig3}(b)] in both the anti-lasing and transparency regimes. It is \MS{also worthy to note} that the $\pi$-phase transition further flips the slope in the frequency dependence of \MSB{the} phase, as shown in Fig.~\ref{fig3}(a). For $G<G_{c}$ ($G>G_{c}$), the \vari{phase slope} at zero-detuning is always positive (negative), respectively, undergoing a positive-negative transition around the cavity resonance. Thus, the phase slope at $G_{c}$ is discontinuous, which indicates a singularity for the phase slope.
\begin{figure}[ptb]
\includegraphics[scale=0.35]{fig3.pdf}
\caption{(a) Phase $\varphi$ versus detuning $\Delta$ for two coupling strengths
close to the critical coupling $G_{c}$ on both sides. (b) Phase $\varphi_{z}$ at cavity resonance versus coupling strength $G$. Insets in (b) illustrate typical phase response with coupling strengths on either side of $G_{c}$. Red- and black-solid lines: fit; Circle, rhombus, and triangle: data.}
\label{fig3}
\end{figure}

\textit{Infinite discontinuity and a singularity in the group delay.}---Group delay is given by $\tau = \partial \varphi /\partial \Omega_{p} = - \partial \varphi /\partial \Delta$. Hence, multiplying the phase slope by a negative-sign implies a group delay. Thus, a singularity exists in the group velocity \MS{in our case}. In the experiment, the group delay is initially measured at several frequencies of the probe-tone, which is generated and further analyzed by \MSB{a} VNA.

Figure~\ref{fig4}(a), (b) and (c) \MSB{shows} the measured group delay $\tau$ for three different coupling strengths. The corresponding phase responses have been presented in Fig.~\ref{fig3}(a), and right inset in Fig.~\ref{fig3}(b), respectively. Figure~\ref{fig4}(a) shows group advance with a coupling $G/2\pi=17.24$~Hz, and Fig.~\ref{fig4}(b) shows group delay with a coupling $G/2\pi=17.84$~Hz. These two coupling strengths \MSB{are} inside the anti-lasing regime \MSB{and} very close to $G_{c}$ from either side. However, the amplitude responses around $G_{c}$ only exhibit absorption dips, as shown in Fig.~\ref{fig2}(a). Figure \ref{fig4}(c) shows group delay with a coupling $G>G_{b}$ in the transparency regime, and its corresponding amplitude response has been shown in the inset of Fig.~\ref{fig2}(b).
\begin{figure}[ptb]
\includegraphics[scale=0.35]{fig4.pdf}
\caption{\MS{Group} delay $\tau$ versus detuning $\Delta$ are shown in (a) with $G/2\pi$=17.24~Hz, (b) with $G/2\pi$=17.84~Hz, and (c) with $G/2\pi$=176.8~Hz, respectively. (d) The group delay at zero-detuning ($\tau_{z}$) versus coupling strength $G$ are measured. Blue-circle (green-rhombus) marks the VNA (pulsed) measurements. Red-solid: fit.}
\label{fig4}
\end{figure}

The group delay at \MSB{the} cavity resonance $\tau_{z}$ versus different coupling strengths \MSB{is} demonstrated in Fig.~\ref{fig4}(d). Fast (slow) light with negative (positive) group delay are observed on the left (right) sides of $G_{c}$, respectively. The group advance and delay approach infinite at $G_{c}$. Thus, the $\pi$-phase transition and \MSB{the} phase slope flip result in a singularity in group delay with an infinite discontinuity, \MSB{located} at $G_{c}$. Compared to group delay in the transparency (or OMIT) regime extensively discussed in the literature~\cite{weis2010optomechanically,safavi2011electromagnetically,karuza2013optomechanically,dong2013transient,dong2015brillouin,kim2015non,teufel2011circuit,ockeloen2019sideband,massel2012multimode,zhou2013slowing,fan2015cascaded}, the group delay around the singularity is greatly enhanced or even diverges.

\textit{Pulsed measurements.}---To directly explore the group delay, microwave pulses are generated by modulating the amplitude of \MSB{a} probe tone derived from a microwave generator. The Gaussian-shaped envelopes are generated with an arbitrary waveform generator. To avoid any pulse distortion in group delay measurements, the pulse bandwidths are chosen to be narrower than the transparency (absorption) window width. The emission of a probe pulse is synchronized with the acquisition of the transmitted probe field \cite{Liu2021antilasing}.
The group delay is given by the difference between measured pulse center-time (time at peak-center) with and without a continuous-wave pump tone sent into the cavity.
\begin{figure}[ptb]
\includegraphics[scale=0.3]{fig5.pdf}
\caption{Pulses propagating at cavity resonance are shown in (a), (c) and (e) with different coupling strengths. The extracted group delay versus $\Delta$ are given in (b), (d), and (f), respectively. The coupling strength is fixed at $G/2\pi$=11.87~Hz for (a) and (b); $G/2\pi$=23.93~Hz for (c) and (d);  $G/2\pi$=155.1~Hz for (e) and (f). Red-solid (blue-solid) Gaussian-shaped pulse is measured with (without) the pump tone. Black-solid: fit.}
\label{fig5}
\end{figure}

In the anti-lasing regime, a group advance [as shown in Fig.~\ref{fig5}(a) and (b)] is achieved, when $G$ is located on the left side of the singularity (e.g., $G/2\pi=11.87$~Hz). Figure~\ref{fig5}(c) and (d) \MSB{shows} a typical group delay when $G$ is to the right from the singularity (e.g., $G/2\pi=23.93$~Hz). In the transparency regime, a regular group delay is measured [as shown in figure~\ref{fig5}(c) and (d)] with, e.g, $G/2\pi=155.1$~Hz. The maximum group delay ($\tau_{m}$) occurs at the zero detuning point.

It is notable that the maximum group delay is proportional to the mechanical lifetime (i.e., $\tau_{m}\propto1/\gamma_{m}$) in \MSB{the} transparency regime~\cite{safavi2011electromagnetically,zhou2013slowing,fan2015cascaded}. Assisted by \MSB{a} low mechanical damping ($\gamma_{m}=9.7$~mHz), the measured maximum group delay in Fig.~\ref{fig5}(f) arrives at $\tau_{m}=1.2$~s, which is \MSB{an improvement of} eight orders of magnitude \MSB{compared to} 50~ns \MSB{measured} in optomechanical crystals, e.g., in Ref.~\cite{safavi2011electromagnetically} and three orders of magnitude improvement over 3~ms measured earlier in circuit electromechanics~\cite{zhou2013slowing}. The measured group advance and delay when probe-tone detuning is varied, \MSB{exhibit} an excellent agreement with our model. The measured group delay in a pulsed measurement also agrees well with the VNA group delay measurements (see Sec.~VI of Ref.~\cite{Liu2021antilasing}).

\textit{Conclusion.}---\MSB{We experimentally study anti-lasing and MCPA, and find the latter occurs at a critical optomechanical coupling.} Meanwhile, MCPA (anti-lasing) mediates a $\pi$-phase transition, which further flips the phase slope at cavity resonance. Subsequently, the group delay measured with \MSB{a} continuous or pulsed probe field exhibits a singularity, around which the group advance and delay diverge. An abrupt transition from \MSB{an} infinite group advance to delay is observed at this singularity. \vari{The $\pi$-phase transition and group-delay singularity could be further explored within an amplification regime by, e.g., utilizing blue-detuned sideband driving, to overcome the absorption loss~\cite{Liu2021antilasing}.} The singularity with \MSB{the} infinite group delay may motivate ways to realize extremely \MSB{long signal storage times as an alternative} to the schemes based on, e.g., solid nuclear spins~\cite{zhong2015optically}, or atomic frequency comb~\cite{ma2021one}. Our scheme could also be realized in several other cavity-based quantum systems such as the cavity spintronics~\cite{wang2020dissipative}, circuit-QED~\cite{haroche2020cavity}, and microcavity-photonics~\cite{chen2018nonreciprocity}.

\textit{Acknowledgements.}---This work is supported by the National Key Research and Development Program of China (Grant No. 2016YFA0301200), the National Natural Science Foundation of China (Grant No. 12004044, Grants No. 62074091, and No. U1930402), and Science Challenge Project (Grant No. TZ2018003), and by the Academy of Finland (contracts 307757, 312057, 336810).