\section{Introduction and main results}

\hspace*{\parindent}In recent years, the following nonlinear elliptic equation
\begin{equation}\label{eq1.1}
\left\{\begin{array}{ll}
-\Delta_{p(x)} u=f(x,u), &\mbox{in}\ \Omega,\\
u=0, &\mbox{on}\ \partial \Omega
\end{array}\right.
\end{equation}
has received considerable attention due to the fact that it can be applied to fluid mechanics and the
field of image processing (see \cite{CLR, RM}), where $\Omega\subset  \mathbb{R}^{N}$ is a smooth
bounded domain, $p: \overline{\Omega} \rightarrow \mathbb{R}$ is a continuous function satisfying
$1<p^-=\min_{x\in \overline{\Omega}}p(x)\leq p(x)\leq\max_{x\in \overline{\Omega}}p(x)=p^+<N $ and
$f: \overline{\Omega}\times\mathbb{R} \rightarrow \mathbb{R}$ is a suitable function.

In 2003, Fan and Zhang in \cite{FZ} gave several sufficient conditions for the existence and multiplicity
of nontrivial solutions for problem \eqref{eq1.1}. These conditions include either the sublinear growth
condition
$$|f(x,t)|\leq C\left(1+|t|^\beta\right),\ \ \mbox{for}  \ x\in\Omega\ \mbox{and}\ t\in\mathbb{R}$$
or Ambrosetti-Rabinowitz type superlinear  condition ($(AR)$-condition, for short)
$$f(x,t)t\geq \theta F(x,t)>0,\ \ \text{for}\ x\in\Omega\ \mbox{and}\ |t| \ \text{sufficiently large},$$
where $C>0$, $1\leq\beta<p^-$, $\theta>p^+$ and $F(x,t)=\int_0^tf(x,s)\,ds$. Subsequently, Chabrowski
and Fu in \cite{CF} discussed problem \eqref{eq1.1} in a more general setting than that in \cite{FZ}. It is
well known that $(AR)$-condition is important to guarantee the boundedness of Palais-Smale sequence
of the Euler-Lagrange functional which plays a crucial pole in applying the critical point theory. However,
it excludes many cases of nonlinearity (see \cite{JF, RV, TF, YZ, ZA, ZZ}). In fact, either the uniform
superlinear growth condition or the uniform sublinear growth condition was still imposed on $f(x,t)$. In
addition, some papers discussed problem \eqref{eq1.1} with concave-convex nonlinearities (see
\cite{GZZ, MOY, NT, YW}).

For the case $f(x,t)=Q(x)|t|^{r(x)-2}t$, problem \eqref{eq1.1} reduces to
\begin{equation}\label{eq1.2}
\left\{\begin{array}{ll}
-\Delta_{p(x)} u=Q(x)|u|^{r(x)-2}u, &\mbox{in}\ \Omega,\\
u=0, &\mbox{on}\ \partial \Omega,
\end{array}\right.
\end{equation}
where $Q, r: \overline{\Omega} \rightarrow \mathbb{R}$ are nonnegative continuous functions. The sets
$\Omega_0=\{x\in \Omega\,|\,r(x)=p(x)\}$, $\Omega_-=\{x\in \Omega\,|\,r(x)<p(x)\}$ and
$\Omega_+=\{x\in \Omega\,|\,r(x)>p(x)\}$ can have positive measure at the same time. This situation
is new and closely related to the existence of variable exponents since we can't meet such a phenomenon
in the constant exponent case. Mih$\check{a}$ilescu and R$\check{a}$dulescu in \cite{MR} have
considered problem \eqref{eq1.2} with $Q(x)\equiv \lambda$ under the basic assumption
$1<r^-=\min_{x\in \overline{\Omega}}r(x)<p^-<r^+=\max_{x\in \overline{\Omega}}r(x)$ and proved that
there exists $\lambda_0>0$ such that any $\lambda\in (0,\lambda_0)$ is an eigenvalue for problem
\eqref{eq1.2}. Subsequently, Fan in \cite{FX} extended the main results of \cite{MR} in the case
$\Omega=\Omega_{-}$ (but $r^+<p^-$ does not hold) and in the case $\Omega=\Omega_{+}$ (but
$r^->p^+$ does not hold), respectively. Their results implied that for any positive constant $C>0$ there
exists $u_0\in W^{1,p(x)}_0(\Omega)$ such that
$$C\displaystyle\int_{\Omega}|u_0|^{r(x)}dx\geq \displaystyle\int_{\Omega}|\nabla u_0|^{p(x)}dx.$$
Therefore, we have to overcome new difficulties in dealing with \eqref{eq1.2}.

Different from the concave-convex nonlinearities, the main feature of problem \eqref{eq1.2} is that
$Q(x)|t|^{r(x)}$ has both local superlinear growth and local sublinear growth. Due to this, it is difficult to
prove the boundedness of Palais-Smale sequence of the Euler-Lagrange functional. To the best of our
knowledge, we only realize that Aouaoui \cite{AS} obtainded at least three nontrivial solutions of problem \eqref{eq1.2} with $\Omega=\mathbb{R}^N$ by perturbation method. In the current paper, we are concerned with
the existence of infinitely many small solutions and infinitely many large solutions for problem \eqref{eq1.2}
under the assumption $1\leq r(x)<p^*(x)=\frac{Np(x)}{N-p(x)}$ and  $r^-<p^-\leq p^+<r^+$. The main results
of this paper read as follows.

\begin{Thm} \label{thm1.1}
Suppose that $1\leq r(x)<p^*(x)$, $r^-<p^-\leq p^+<N$, $Q: \overline{\Omega}\to\mathbb{R}$ is a nonnegative
continuous function and there exists a point $x_1\in\Omega^{-}=\{x\in\Omega\,|\,r(x)<p^-\}$ such that
$Q(x_1)>0$. Then problem \eqref{eq1.2} has infinitely many solutions $\{u_k\}$ with the property
$\|u_k\|_{L^\infty(\Omega)}\rightarrow 0$ as $k\rightarrow \infty$.
\end{Thm}

\begin{Thm} \label{thm1.2}
Suppose that $1<p^-\leq p^+<N$, $1\leq r(x)<p^*(x)$, $r^+>p^+$, $Q: \overline{\Omega}\to\mathbb{R}$ is a
nonnegative continuous function and there exists a point $x_2\in\Omega^{+}=\{x\in\Omega\,|\,r(x)>p^+\}$
such that $Q(x_2)>0$.  Either $r^->p^+$, or $1< r^-\leq p^+$ and there exists $\varepsilon>0$ such that
$Q(x)\equiv 0$ in $\Omega_{\varepsilon}=\{x\in\Omega\,|\, p^--\varepsilon<r(x)< p^++\varepsilon\}$.
Then problem \eqref{eq1.2} has infinitely many  solutions $\{v_k\}$  such that $\|v_k\|\rightarrow \infty$
as $k\rightarrow \infty$.
\end{Thm}

As a corollary of Theorems 1.1 and 1.2, we have

\begin{Cor} \label{cor1.3}
Suppose that $1<p^-\leq p^+<N$, $1\leq r(x)<p^*(x)$, $r^-<p^-$, $r^+>p^+$, $Q(x)$ is a nonnegative
continuous function and there exist $\varepsilon>0$,  $x_1\in\Omega^{-}=\{x\in\Omega\,|\, r(x)<p^-\}$,
$x_2\in\Omega^{+}=\{x\in\Omega\,|\,r(x)>p^+\}$ such that $Q(x_1),\ Q(x_2)>0$ and $Q(x)\equiv 0$ in
$\Omega_{\varepsilon}=\{x\in\Omega\,|\, p^--\varepsilon<r(x)< p^++\varepsilon\}$. Then problem
\eqref{eq1.2} has  infinitely many small solutions $\{u_k\}$ and infinitely many large solutions $\{v_k\}$.
\end{Cor}

In this paper, the letters $C$ and $C_j$ stand for positive constants. $\|u\|_s$ denotes the standard norms
of $L^s(\Omega)\ (s\geq 1)$. The paper is organized as follows. In Section 2, we give some basic properties
of the variable exponent Lebesgue space and Sobolev space. In Sections 3 and 4, we prove Theorems
\ref{thm1.1} and \ref{thm1.2} by the Clark's theorem and the symmetric mountain pass lemma, respectively.

\section{Preliminaries}

\hspace*{\parindent}The variable exponent Lebesgue space $L^{p(x)}(\Omega)$ is defined by
$$L^{p(x)}(\Omega)=\left\{u\ |\ u: \Omega\rightarrow \mathbb{R}\ \text{is measurable},
\ \displaystyle\int_{\Omega}| u|^{p(x)}\,dx<\infty\right\}$$
with the norm
$$|u|_{p(x)}=\inf\left\{\lambda>0\ \Big|\,\displaystyle\int_{\Omega}\left| \displaystyle\frac{u}{\lambda}\right|^{p(x)}dx\leq 1\right\}.$$
The variable exponent Sobolev space $W^{1, p(x)}(\Omega)$ is defined by
$$W^{1,p(x)}(\Omega)=\left\{u\in L^{p(x)}(\Omega)\ |\ |\nabla u|\in  L^{p(x)}(\Omega)\right\}$$
with the norm
$$\|u\|_{1,p(x)}=|u|_{p(x)}+|\nabla u|_{p(x)}.$$
Define $W^{1,p(x)}_0(\Omega)$ as the closure of $C^{\infty}_0(\Omega)$ in $W^{1,p(x)}(\Omega)$.
The spaces $L^{p(x)}(\Omega)$, $W^{1,p(x)}(\Omega)$ and $W^{1,p(x)}_0(\Omega)$ are separable
and reflexive Banach spaces if $1<p^-\leq p^+<\infty$ (see \cite{FZ}). Moreover, there is a constant
$C>0$ such that
$$|u|_{p(x)}\leq C|\nabla u|_{p(x)}, \ \ \text{for any}\ u\in W^{1,p(x)}_0(\Omega).$$
Therefore, $\|u\|=|\nabla u|_{p(x)}$ and $\|u\|_{1,p(x)}$  are equivalent norms on $W^{1,p(x)}_0(\Omega)$.
We will use $\|u\|$ to replace $\|u\|_{1,p(x)}$ in the following discussions.

\begin{Lem}  (\cite{FZ})\label{lem2.1}
If $q \in C(\overline{\Omega})$ satisfies $1\leq q(x)<p^{*}(x)$ for $x\in \overline{\Omega}$, then the
imbedding from $W^{1,p(x)}(\Omega)$ to $L^{q(x)}(\Omega)$ is compact and continuous.
\end{Lem}

\begin{Lem} (\cite{FZ, FX3}) \label{lem2.2}
Set
$$\rho(u)=\int_{\Omega}| u|^{p(x)}\,dx,\ \ \mbox{for}\ u\in L^{p(x)}(\Omega).$$
If $u\in L^{p(x)}(\Omega)$ and $\{u_k\}_{k\in\mathbb{N}}\subset L^{p(x)}(\Omega)$, then we have\\
(i) $|u|_{p(x)}<1\ (=1;\ >1)\Leftrightarrow \rho(u)<1\ (=1;\ >1)$;\\
(ii) $|u|_{p(x)}>1\Rightarrow |u|_{p(x)}^{p^-}\leq\rho(u)\leq |u|_{p(x)}^{p^+}$;\\
(iii) $|u|_{p(x)}<1\Rightarrow |u|_{p(x)}^{p^+}\leq\rho(u)\leq |u|_{p(x)}^{p^-}$;\\
(iv) $\lim_{k\rightarrow\infty}|u_k-u|_{p(x)}=0\Leftrightarrow \lim_{k\rightarrow\infty}\rho(u_k-u)=0
\Leftrightarrow u_k\to u\ \mbox{in measure in}\ \Omega\ \mbox{and}\\
\lim_{k\rightarrow\infty}\rho(u_k)=\rho(u)$.
\end{Lem}

Similar to Lemma \ref{lem2.2}, we have

\begin{Lem} \label{lem2.3}
Set $$L(u)=\int_{\Omega}|\nabla u|^{p(x)}\,dx,\ \ \mbox{for}\ u\in W^{1,p(x)}_0(\Omega).$$
If $u\in W^{1,p(x)}_0(\Omega)$ and $\{u_k\}_{k\in\mathbb{N}}\subset W^{1,p(x)}_0(\Omega)$, we have\\
(i) $\|u\|<1\ (=1;\ >1)\Leftrightarrow L(u)<1\ (=1;\ >1)$;\\
(ii) $\|u\|>1\Rightarrow \|u\|^{p^-}\leq L(u)\leq \|u\|^{p^+}$;\\
(iii) $\|u\|<1\Rightarrow \|u\|^{p^+}\leq L(u)\leq \|u\|^{p^-}$;\\
(iv)  $\|u_k\|\rightarrow 0\Leftrightarrow L(u_k)\rightarrow 0$; $\|u_k\|\rightarrow \infty\Leftrightarrow
L(u_k)\rightarrow \infty$.
\end{Lem}

\begin{Def} \label{def2.4}
$u\in W^{1,p(x)}_0(\Omega)$ is called a weak solution of problem \eqref{eq1.2} if
$$\int_{\Omega}|\nabla u|^{p(x)-2}\nabla u\cdot\nabla \phi\,dx=\int_{\Omega}Q(x)| u|^{r(x)-2} u\phi\,dx$$
for all $\phi\in W^{1,p(x)}_0(\Omega)$.
\end{Def}

\section{Infinitely many small solutions}

\hspace*{\parindent} In this section, we use a truncation technique and the Clark's theorem to get a
sequence of solutions converging to zero. We first introduce a variant of the Clark's theorem.

\begin{Thm}  (\cite{LW}, Theorem 1.1)\label{thm3.1}
Let $X$ be a Banach space, $\Phi\in C^1(X,\mathbb{R})$. Assume $\Phi$ satisfies the Palais-Smale condition
($(PS)$ condition for short), is even and bounded from below, and $\Phi(0)=0$. If for any $k\in \mathbb{N}$, there
exists a $k$-dimensional subspace $X^k$ of $X$ and $\rho_k>0$ such that $\sup_{X^k\cap S_{\rho_k}}\Phi<0$, where $S_{\rho}=\{u\in X\,|\,\|u\|=\rho\}$, then at least one of the following conclusions holds.\\
(i) There exists a sequence of critical points $\{u_k\}$ satisfying $\Phi(u_k)<0$ for all $k$ and
$\|u_k\|\rightarrow 0$ as $k\rightarrow \infty$.\\
(ii) There exists $R>0$ such that for any $0<b<R$ there exists a critical point $u$ such that $\|u\|=b$
and $\Phi(u)=0$.
\end{Thm}

Recall that there is no restriction on $r^+$ Theorem \ref{thm1.1}.  In order to obtain infinitely many small
solutions, we need to have a proper truncation of the nonlinear terms. Let $\phi\in C(\mathbb{R}, \mathbb{R})$ be an even
function satisfying $0\leq \phi(t)\leq 1$, $\phi(t)=1$ for $|t|\leq \frac{1}{2}$ and $\phi(t)=0$ for $|t|\geq 1$.
Define $g: \overline{\Omega}\times\mathbb{R}\to\mathbb{R}$ by $g(x,t):= Q(x)\phi(t)|t|^{r(x)-2}t$ and consider the auxiliary
problem
\begin{equation}\label{eq3.1}
\left\{\begin{array}{ll}
-\Delta_{p(x)} u=g(x,u), &\mbox{in}\ \Omega,\\
u=0, &\mbox{on}\ \partial \Omega.
\end{array}\right.
\end{equation}
The energy functional $J : W^{1,p(x)}_0(\Omega)\to\mathbb{R}$ associated with \eqref{eq3.1} is defined by
$$J(u)=\displaystyle\int_{\Omega}\displaystyle\frac{|\nabla u|^{p(x)}}{p(x)}\,dx-\displaystyle\int_{\Omega}G(x,u)\,dx,$$
where $G(x,t)=\int_0^tg(x,s)\,ds$. We will show that $J$ satisfies the conditions of Theorem 3.1 and obtain
infinitely many solutions $\{u_k\}$ of \eqref{eq3.1} such that $\|u_k\|_{L^\infty(\Omega)}\leq \frac12$ for large
$k$. Then, for large $k$, there holds $g(x,u_k)= Q(x)|u_k|^{r(x)-2}u_k$, and so $u_k$ becomes a solution of \eqref{eq1.2}.

\begin{proof}[\bf Proof of Theorem \ref{thm1.1}.]
From the properties of $\eta$, we see that there exists a constant $M>0$ such that $|g(x,t)|\leq M$ and
$|G(x,t)|\leq M$ for all $(x, t)\in \overline{\Omega}\times \mathbb{R}$. Set $X:=W^{1,p(x)}_0(\Omega)$. Then it is
easy to see that $J(0)=0$, $J\in C^1(X,\mathbb{R})$ is even and bounded from below, and satisfies the $(PS)$
condition.

Since $r(x_1)<p^-$ and $Q(x_1)>0$, we see from the continuity of $Q$ and $r$ that there exist
$\delta_1>0$, $Q_1>0$ and $r_1<p^-$ such that
\begin{equation}\label{eq3.2}
r^-\leq r(x)< r_1 \ \ \text{and} \ \ Q(x)>Q_1,\ \
\text{for}\ x\in\Omega_1 \triangleq B(x_1,\delta_1)\cap \Omega.
\end{equation}
By the definition of $g$ and \eqref{eq3.2}, we have
\begin{equation}\label{eq3.3}
G(x,u)=\displaystyle\frac{Q(x)}{r(x)} |u|^{r(x)}\geq \displaystyle\frac{Q_1}{r_1}|u|^{r_1},\ \
\text{for}\ x\in \Omega_1\ \text{and}\ |u|\leq \frac12.
\end{equation}
For $k\in\mathbb{N}$, choose $\{\varphi_j\}_{j=1}^k\subset C_0^\infty (\Omega)$ such that
$$\varphi_j\neq 0,\ \mbox{supp}\,\varphi_j\subset\Omega_1,\ \mbox{supp}\,\varphi_i\cap\mbox{supp}\,\varphi_j=\emptyset\ \mbox{for}\ i\neq j.$$
Let $X^k:=\text{span}\{\varphi_1, \varphi_2, \cdots, \varphi_k\}$. Then $X^k$ is a $k$-dimensional subspace
of $X$. Since any norms in a finite dimensional space are equivalent, there exist $a_k, b_k>0$ such that
\begin{equation}\label{eq3.4}
\|u\|_{r_1}\geq a_k\|u\|,\ \ \|u\|\geq b_k\|u\|_{L^\infty(\Omega)},\ \ \text{for any}\ u\in X^k.
\end{equation}
Set
$$\rho_k=\min\left\{\frac12, \frac{b_k}{2},\left(\frac{p^{-}Q_1a_k^{r_1}}{2r_1}\right)^{\frac{1}{p^{-}-r_1}}\right\}.$$
It follows from \eqref{eq3.3}, \eqref{eq3.4} and Lemma \ref{lem2.3} that, for any $u\in X^k\cap S_{\rho_k}$,
$$J(u)\leq\displaystyle\int_{\Omega}\displaystyle\frac{|\nabla u|^{p(x)}}{p(x)}\,dx-\displaystyle\frac{Q_1}{r_1}\displaystyle\int_{\Omega_1}|u|^{r_1}dx
\leq\displaystyle\frac{1}{p^-}\|u\|^{p^-}-\displaystyle\frac{Q_1a_k^{r_1}}{r_1}\|u\|^{r_1}<0.
$$
According to Theorem 3.1, $J$ has a sequence of nontrivial critical points $\{u_k\}$ satisfying $J(u_k)\leq 0$
for all $k$ and $\|u_k\|\rightarrow 0$ as $k\rightarrow \infty$. Since $g(x,t)$ is bounded in
$\overline{\Omega}\times \mathbb{R}$, the weak solutions $\{u_k\}$ belong to $C^{1,\mu}(\overline{\Omega})$ for some
$\mu \in (0,1)$ and they are bounded in this space (see \cite{FX2}). Here $\mu$ is independent of $k$ and $C^{1,\mu}(\overline{\Omega})$ denotes the set of all $C^1(\overline{\Omega})$ functions whose derivatives
are H\"older continuous with exponent $\mu$. Since $C^{1,\mu}(\overline{\Omega})$ is compactly embedded
in $C^1(\overline{\Omega})$, there is a subsequence of $\{u_k\}$, still denoted by itself, such that
$u_k\to u_{\infty}$ in $C^1(\overline{\Omega})$. Since $u_k\rightarrow 0$  in $X$, $u_{\infty}$ must be zero.
By the uniqueness of the limit $u_{\infty}$, we can show that $\{u_k\}$ itself (without extracting a subsequence) converges to zero in $C^1(\overline{\Omega})$. Then $\|u_k\|_{L^\infty(\Omega)}\leq \frac12$ for large $k$ and
so $u_k$ is a solution of \eqref{eq1.2}. The proof is complete.
\end{proof}

\section{Infinitely many large solutions}

\hspace*{\parindent} In this section, we will apply the symmetric mountain pass lemma (see \cite[Theorem 9.12]{PHR}) to get a sequence of large solutions. As in Section 3, we denote $X=W^{1,p(x)}_0(\Omega)$. The energy functional $I : X\to\mathbb{R}$ associated with \eqref{eq1.2} is defined by
$$I(u)=\displaystyle\int_{\Omega}\displaystyle\frac{|\nabla u|^{p(x)}}{p(x)}\,dx-\displaystyle\int_{\Omega}\frac{Q(x)}{r(x)}|u|^{r(x)}\,dx.$$
First of all, we prove that the functional $I$ satisfies $(PS)$ condition.

\begin{Lem} \label{lem4.1}
Under the assumption of theorem 1.2, the functional $I$ satisfies $(PS)$ condition.
\end{Lem}
\begin{proof}
Let $\{u_n\}\subset X$  be a $(PS)$ sequence of the functional $I$. Then there exists a constant $C>0$ such
that
\begin{equation}\label{eq4.1}
I(u_n)\leq C,\ \ I'(u_n)\rightarrow 0\ \text{in}\ X^*,
\end{equation}
where $X^*$ denotes the dual space of $X$.

We first prove that $\{u_n\}$ is bounded in $X$. If $r^->p^+$, then it follows from $Q(x)\geq 0$ and Lemma \ref{lem2.3} that
\begin{align*}
r^-I(u_n)-\langle I'(u_n),u_n\rangle
&=\displaystyle\int_{\Omega}\displaystyle\frac{r^--p(x)}{p(x)}|\nabla u|^{p(x)}\,dx+\displaystyle\int_{\Omega}\displaystyle\frac{r(x)-r^-}{r(x)}Q(x)|u_n|^{r(x)}dx\\
&\geq\displaystyle\frac{r^--p^+}{p^+}\min\{\|u_n\|^{p^-}, \|u_n\|^{p^+}\}.
\end{align*}
From \eqref{eq4.1} and $1<p^-\leq p^+$, we see that $\{u_n\}$ is bounded in $X$. If $1< r^-\leq p^+$, we
set $\Omega_{\varepsilon^-}:=\{x\in\Omega\,|\,r(x)\leq p^--\varepsilon\}$ and
$\Omega_{\varepsilon^+}:=\{x\in\Omega\,|\,r(x)\geq p^++\varepsilon\}$. From $Q(x)\geq 0$ and Lemma
\ref{lem2.1}, we have
\begin{align}\label{eq4.2}
\displaystyle\int_{\Omega_{\varepsilon^-}}\displaystyle\frac{p^++\varepsilon-r(x)}{r(x)}Q(x)|u_n|^{r(x)}dx
&\leq \displaystyle\frac{p^++\varepsilon}{r^-}\sup_{x\in {\Omega}}Q(x)\displaystyle\int_{\Omega}(|u_n|^{p^--\varepsilon}+1)dx\nonumber\\
&\leq C_{\varepsilon}\|u_n\|^{p^--\varepsilon}+C_{\varepsilon}
\end{align}
and
\begin{align}\label{eq4.3}
\displaystyle\int_{\Omega_{\varepsilon^+}}\displaystyle\frac{p^++\varepsilon-r(x)}{r(x)}Q(x)|u_n|^{r(x)}dx\leq 0,
\end{align}
where $C_\varepsilon>0$. Recall that $Q(x)\equiv 0$ in $\Omega_{\varepsilon}$. By \eqref{eq4.2}, \eqref{eq4.3}
and Lemma \ref{lem2.3}, we have
\begin{align*}
&(p^++\varepsilon)I(u_n)-\langle I'(u_n),u_n\rangle\\
=&\displaystyle\int_{\Omega}\displaystyle\frac{p^++\varepsilon-p(x)}{p(x)}|\nabla u|^{p(x)}\,dx
-\displaystyle\int_{\Omega_{\varepsilon^-}}\displaystyle\frac{p^++\varepsilon-r(x)}{r(x)}Q(x)|u_n|^{r(x)}dx\\
&-\displaystyle\int_{\Omega_{\varepsilon}}\displaystyle\frac{p^++\varepsilon-r(x)}{r(x)}Q(x)|u_n|^{r(x)}dx
-\displaystyle\int_{\Omega_{\varepsilon^+}}\displaystyle\frac{p^++\varepsilon-r(x)}{r(x)}Q(x)|u_n|^{r(x)}dx\\\\
\geq&\displaystyle\frac{\varepsilon}{p^+}\min\{\|u_n\|^{p^-},\|u_n\|^{p^+}\}
-C_{\varepsilon}\|u_n\|^{p^--\varepsilon}-C_{\varepsilon}.
\end{align*}
Then, by \eqref{eq4.1}, $\{u_n\}$ is bounded in $X$.

Up to a subsequence, we may assume that $u_n\rightharpoonup u$ and then
$\langle I'(u_n),u_n-u\rangle\rightarrow 0$ as $n\rightarrow\infty$. Since the imbedding from X to
$L^{r(x)}(\Omega)$ is compact, we obtain $u_n\rightarrow u$ in $L^{r(x)}(\Omega)$. Then
$$\left |\displaystyle\int_{\Omega}Q(x)|u_n|^{r(x)-2}u_n(u_n-u)dx\right |
\leq\sup\limits_{x\in \Omega}Q(x)\displaystyle\int_{\Omega}|u_n|^{r(x)-1}|u_n-u|dx\to 0.$$
Therefore, one has
$$\displaystyle\int_{\Omega}|\nabla u_n|^{p(x)-2}\nabla u_n\cdot \nabla(u_n-u)dx\to 0.$$
By \cite[Theorem 3.1]{FZ}, we have $u_n\rightarrow u$ in $X$. Therefore, $I$ satisfies $(PS)$ condition.
\end{proof}

Since $r(x_2)>p^+$ and $Q(x_2)>0$, we see from the continuity of $Q$ and $r$ that there exist
$\delta_2>0$, $Q_2>0$ and $r_2>p^+$ such that
\begin{equation}\label{eq4.4}
r_2<r(x)\leq r^+ \ \ \text{and}\ \ Q(x)\geq Q_2,\ \
\text{for all}\ x\in\Omega_2 \triangleq B(x_2,\delta_2)\cap\Omega.
\end{equation}
For $k\in\mathbb{N}$, choose $\{\psi_j\}_{j=1}^k\subset C_0^\infty (\Omega)$ such that
$$\psi_j\neq 0,\ \mbox{supp}\,\psi_j\subset\Omega_2,\
\mbox{supp}\,\psi_i\cap\mbox{supp}\,\psi_j=\emptyset\ \mbox{for}\ i\neq j.$$
Denote $Y^k:=\text{span}\{\psi_1, \psi_2, \cdots, \psi_k\}$.

\begin{Lem}\label{lem4.2}
Under the assumption of theorem 1.2, there exists $R_k>0$ such that
\begin{equation}\label{eq4.5}
I(u)<0,\ \ \text{for any}\ u\in Y^k \ \text{with}\ \|u\|\geq R_k.
\end{equation}
\end{Lem}

\begin{proof}[\bf Proof.]
By \eqref{eq4.4}, we have
$$\frac{Q(x)}{r(x)}|u|^{r(x)}\geq \frac{Q_2}{r^+} |u|^{r_2},\ \ \text{for}\ x\in\Omega_2\ \text{and}\ |u|>1,$$
which implies that
\begin{equation}\label{eq4.6}
\frac{Q(x)}{r(x)}|u|^{r(x)}\geq \frac{Q_2}{r^+}( |u|^{r_2}-1),\ \ \text{for}\ x\in\Omega_2\ \text{and}\  u\in \mathbb{R}.
\end{equation}
Since dim\,$Y^k<\infty$, there exists $\tilde a_k>0$ such that
\begin{equation}\label{eq4.7}
\|u\|_{r_2}\geq \tilde a_k\|u\|,\ \ \text{for any}\ u\in Y^k.
\end{equation}
Using \eqref{eq4.6} and \eqref{eq4.7} we have, for any $u\in Y^k$,
\begin{align*}
I(u)=&\displaystyle\int_{\Omega}\displaystyle\frac{|\nabla u|^{p(x)}}{p(x)}\,dx-\displaystyle\int_{\Omega_2}\displaystyle\frac{Q(x)}{r(x)}|u|^{r(x)}\,dx\\
\leq&\displaystyle\int_{\Omega}\displaystyle\frac{|\nabla u|^{p(x)}}{p(x)}\,dx-\displaystyle\frac{Q_2}{r^+}\displaystyle\int_{\Omega_2}(|u|^{r_2}-1)\,dx\\
\leq&\displaystyle\frac{1}{p^-}\max\{\|u\|^{p^-},\|u\|^{p^+}\}
-\displaystyle\frac{Q_2\tilde a_k^{r_2}}{r^+}\|u\|^{r_2}+\displaystyle\frac{Q_2}{r^+}|\Omega_2|.
\end{align*}
Since $r_2>p^+$, \eqref{eq4.5} holds for large $R_k$.
\end{proof}

Define the minimax value
$$c_k=\inf_{h\in G_k}\max_{u\in D_k}I(h(u)),$$
where $D_k=\overline{B}_{R_k}\cap Y^k$ and
$G_k=\{h\in C(D_k, X)\,|\,h \ \text{is odd and}\ h=id \ \text{on}\ \partial B_{R_k}\cap Y^k\}$.

\begin{Rem} \label{rem4.3}
{\rm Using the arguments in the proof of \cite[Lemma 4.9]{KR}, we see that the minimax value $c_k$
is independent of the choice of $R_k$ satisfying \eqref{eq4.5}. Therefore, we can replace $R_k$ by a
larger number such that $\{R_k\}$ is strictly increasing and $\lim_{k\to\infty}R_k=+\infty$.}
\end{Rem}

\begin{Lem} \label{lem4.4}
$c_k\to+\infty$ as $k\to+\infty$.
\end{Lem}

We postpone the proof of Lemma \ref{lem4.4} for a moment and prove Theorem \ref{thm1.2} in the
following.

\begin{proof}[\bf Proof of Theorem \ref{thm1.2}.]
It follows from Lemma \ref{lem4.4} that there exists $k_0\in\mathbb{N}$ and $\alpha>0$ such that
$$c_k\geq \alpha>0,\ \ \mbox{for any}\ k\geq k_0.$$
We claim that, for $k\geq k_0$, the minimax value $c_k$ is a critical value of $I$. If this were false, then,
by Lemma \ref{lem4.1}, there would exist $\varepsilon\in(0,\alpha)$ and $\eta\in C([0,1]\times X, X)$ such that
\begin{itemize}
\item $\eta(0, u)=u$ for all $u\in X$;

\item $\eta(1, I^{c_k+\varepsilon})\subset I^{c_k-\varepsilon}$, where $I^d=\{u\in X\,|\, I(u)\leq d\}$;

\item If $I(u)\not\in[c_k-\varepsilon, c_k+\varepsilon]$, then $\eta(t,u)=u$ for all $t\in[0,1]$;

\item $\eta(t,u)$ is odd in $u$.
\end{itemize}
Choose $h\in G_k$ such that $\max_{u\in D_k}I(h(u))<c_k+\varepsilon$. Then $\eta(1, h(\cdot))\in G_k$ and
$$I(\eta(1, h(u)))\leq c_k-\varepsilon,\ \ \mbox{for all}\ u\in D_k.$$
This contradicts the definition of $c_k$.

For $k\geq k_0$, let $v_k$ be a critical point corresponding to $c_k$. Then we have
$$\displaystyle\int_{\Omega}|\nabla v_k|^{p(x)}\,dx=\displaystyle\int_{\Omega}Q(x)|v_k|^{r(x)}dx,$$
which combined with $I(v_k)=c_k$ leads to
\begin{align*}
c_k&=\displaystyle\int_{\Omega}\displaystyle\frac{|\nabla v_k|^{p(x)}}{p(x)}\,dx-\displaystyle\int_{\Omega}\displaystyle\frac{Q(x)}{r(x)}|v_k|^{r(x)}dx\\
&\leq\displaystyle\frac{1}{p^-} \displaystyle\int_{\Omega}|\nabla v_k|^{p(x)}\,dx-\displaystyle\frac{1}{r^+}\displaystyle\int_{\Omega}Q(x)|v_k|^{r(x)}dx\\
&=\left(\displaystyle\frac{1}{p^-}-\displaystyle\frac{1}{r^+}\right)\displaystyle\int_{\Omega}|\nabla v_k|^{p(x)}\,dx\\
&\leq\left(\displaystyle\frac{1}{p^-}-\displaystyle\frac{1}{r^+}\right)\max\{\|v_k\|^{p^-},\|v_k\|^{p^+}\}.
\end{align*}
By Lemma \ref{lem4.4} and $r^+>p^-$, we have $\|v_k\|\to \infty$ as $k\rightarrow \infty$. The proof
is complete.
\end{proof}

To reach the conclusion, it only remains to prove Lemma \ref{lem4.4}. For this purpose, we recall the
definition and properties of genus which is due to Krasnoselski.

\begin{Def}
Let $E$ be a Banach space. A subset $A$ of $E$ is said to be symmetric if $u\in A$ implies $-u\in A$.
Let $\mathcal{A}$ denote the family of closed symmetric subsets $A$ of $E\setminus\{0\}$. For
$A\in \mathcal{A}$, we define the genus $\gamma(A)$ of $A$ by the smallest integer $m$ such that
there exists an odd continuous map from $A$ to $\mathbb{R}^m\setminus \{0\}$. If there does not exist a finite
such $m$, we define $\gamma(A)=\infty$. Moreover, we set $\gamma(\emptyset)=0$.
\end{Def}

\begin{Lem} \label{lem4.6} Let $A, B\in \mathcal{A}$. Then we have\\
(i) If $A\subset B$, then $\gamma(A)\leq \gamma(B)$.\\
(ii) If there exists an odd continuous map $f\in C(A,B)$, then $\gamma(A)\leq \gamma(B)$.\\
(iii) If $V$ is a bounded symmetric neighborhood of 0 in $\mathbb{R}^N$, then $\gamma(\partial V)=N$. \\
(iv) If $Y$ is a subspace of $E$ such that codim\,$Y=m$ and $\gamma(A)>m$, then $A\cap Y\neq \emptyset$.
\end{Lem}

Similar to \cite[Proposition 9.23]{PHR}, we have

\begin{Lem} \label{lem4.7}
If $Y$ is a closed subspace of $X$ with codim\,$Y<k$, then
$$h(D_k)\cap \partial B_R \cap Y \neq \emptyset,\ \ \text{for all}\ h\in G_k \ \text{and}\ 0<R<R_k,$$
where $G_k=\{h\in C(D_k, X)\,|\,h \ \text{is odd and}\ h=id \ \text{on}\ \partial B_{R_k}\cap Y^k\}$ and
$R_k$ is from Lemma \ref{lem4.2}.
\end{Lem}

\begin{proof}[\bf Proof.]
Set
$V:=\{u\in Y^k\,|\,\|u\|<R_k\ \text{and}\ h(u)\in B_R\}\subset D_k$. Then $0\in V$ and $V$ is bounded
and symmetric in $Y^k$. By Lemma \ref{lem4.6}, we have $\gamma(h(\partial V))\geq\gamma(\partial V)=k$.
Next we claim that
$$\|u\|<R_k,\ \  \mbox{for}\ u\in \partial V.$$
Suppose by contradiction that $\|w_k\|=R_k$ for some $w_k\in \partial V$. Then, since $h=id$ on
$\partial B_{R_k}\cap Y^k$, we have $h(w_k)=w_k$. Hence $R_k=\|w_k\|=\|h(w_k)\|\leq R$, which
contradicts $R<R_k$. Consequently, $\|u\|<R_k$ for $u\in \partial V$. From the definition of $V$ we see
that
\begin{equation}\label{eq4.8}
h(u)\in \partial B_R,\ \text{for}\ u\in \partial V.
\end{equation}
Since codim\,$Y<k\leq \gamma(h(\partial V))$, using Lemma 4.4 yields that
$Y\cap h(\partial V)\neq\emptyset$. Then there is a point $w_0\in \partial V$ such that $h(w_0)\in Y$.
By \eqref{eq4.8}, we have $h(w_0)\in Y\cap \partial B_R$. The proof is complete.
\end{proof}

It is known that there exist $\{e_n\}\subset X$ and $\{f_n\}\subset X^*$ such that
$$X=\overline{\mbox{span}\{e_n\,|\,n=1,2,\cdots\}},\ \ X^*=\overline{\mbox{span}\{f_n\,|\,n=1,2,\cdots\}},$$
and
$$f_n(e_m)=\left\{
\begin{array}{ll}
1, & \mbox{if}\ m=n,\\
0, & \mbox{if}\ m\neq n.
\end{array}\right.$$
For $k\in \mathbb{N}$, we set
$$Y_k=\overline{\mbox{span}\{e_n\,|\, n=k, k+1,\cdots\}},\ \ Z_k=\mbox{span}\{e_n\,|\, n=1, 2,\cdots, k-1\}.$$
Then $X=Y_k+Z_k$ and codim\,$Y_k=k-1$.  Similar to \cite[Lemma 4.1]{SM}, we have the following lemma.

\begin{Lem} \label{lem4.8}
There exists a sequence $\{\delta_k\}$ of positive numbers  such that $\lim_{k\rightarrow\infty}\delta_k=0$
and
$$\|u\|_{r^+}\leq \delta_k\|u\|,\ \ \mbox{for all}\ u\in Y_k.$$
\end{Lem}

Now we are ready to prove Lemma \ref{lem4.4}.

\begin{proof}[\bf Proof of Lemma \ref{lem4.4}.]
Since codim\,$Y_k=k-1$, it follows from Lemma \ref{lem4.7} that
$$h(D_k)\cap \partial B_R \cap Y_k\neq \emptyset, \ \ \text{for all}\ h\in G_k \ \text{and}\ 0<R<R_k.$$
Then
$$\max_{u\in D_k}I(h(u))\geq \inf_{\partial B_R\cap Y_k}I(u),\ \ \text{for all}\ h\in G_k \ \text{and}\ 0<R<R_k,$$
which implies that
\begin{equation}\label{eq4.9}
c_k\geq \inf_{\partial B_R\cap Y_k}I(u),\ \ \text{for all}\ 0<R<R_k.
\end{equation}
By Lemma \ref{lem4.8}, we have
\begin{align*}
I(u)&=\displaystyle\int_{\Omega}\displaystyle\frac{|\nabla u|^{p(x)}}{p(x)}\,dx-\displaystyle\int_{\Omega}\displaystyle\frac{Q(x)}{r(x)}|u|^{r(x)}\,dx\\
&\geq \displaystyle\frac{1}{p^+}\min\{\|u_n\|^{p^-},\|u_n\|^{p^+}\} -C_1\displaystyle\int_{\Omega} (|u|^{r^+}+1)\,dx\\
&\geq \displaystyle\frac{1}{p^+}\min\{\|u_n\|^{p^-},\|u_n\|^{p^+}\} -C_2\|u\|^{r^+}_{r^+}-C_3\\
&\geq \displaystyle\frac{1}{p^+}\|u_n\|^{p^-} -C_4\delta_k^{r^+}\|u\|^{r^+}-C_5,
\end{align*}
for all $u\in Y_k$.  Combining this with \eqref{eq4.9} leads to
$$c_k\geq\displaystyle\frac{1}{p^+}R^{p^-} -C_4\delta_k^{r^+}R^{r^+}-C_5,\ \ \text{for all}\ \ 0<R<R_k.$$
Set $\xi_k=\big(\frac{p^-}{C_4p^+r^+\delta_k^{r^+}}\big)^{\frac{1}{r^+-p^-}}$ and, by Remark \ref{rem4.3},
we may assume that $R_k\geq \xi_k$. Then we have
$$c_k\geq\displaystyle\frac{1}{p^+}\xi_k^{p^-} -C_4\delta_k^{r^+}\xi_k^{r^+}-C_5
=\displaystyle\frac{r^+-p^-}{p^+r^+}\left(\frac{p^-}{C_4p^+r^+\delta_k^{r^+}}\right)^{\frac{p^-}{r^+-p^-}}-C_5.$$
The desired conclusion follows easily from $\lim_{k\rightarrow\infty}\delta_k=0$ and $r^+>p^-$.
\end{proof}

\noindent{\bf Acknowledgements.}
C. Chu is supported by National Natural Science Foundation of China (No.\,11861021) and Innovation Group Major Program of Guizhou Province (No.\,KY[2016]029). H. Liu is supported National Natural
Science Foundation of China (No.\,11701220).

\footnotesize


\section{Introduction}

The past decade has revealed a variety of surprising mathematical and physical structures underlying particle scattering amplitudes, providing, with various degrees of completeness, reformulations of this physics where the normally foundational principles of locality and unitarity are derivative from ultimately combinatoric-geometric origins. An example is the amplituhedron \cite{Arkani-Hamed:2013jha}, a geometric picture for scattering amplitudes in planar ${\cal N}=4$ SYM theory. All tree-level amplitudes and loop integrands in this theory correspond to the differential forms with logarithmic singularities on  boundaries of the amplituhedron geometry. The original definition was based on a generalization of the positive Grassmannian, centrally connected to on-shell diagrams \cite{ArkaniHamed:2012nw} and loop level recursion relations \cite{ArkaniHamed:2010kv}. More recently, a more intrinsic definition of the amplituhedron was found \cite{Arkani-Hamed:2017vfh}, directly in momentum-twistor space, using certain topological notions--winding numbers and sign flip patterns--associated with projections of the momentum-twistor data. The amplituhedron has been extensively studied from many angles including mathematical aspects \cite{Lam:2014jda,Karp:2016uax,Galashin:2018fri}, positive geometry and volume interpretation \cite{Arkani-Hamed:2014dca,Arkani-Hamed:2017tmz}, triangulations \cite{Arkani-Hamed:2013kca,Franco:2014csa,Galloni:2016iuj,Rao:2018uta}, connections to on-shell diagrams  \cite{Bai:2014cna,Bai:2015qoa} and geometric structures in the final amplitudes \cite{Dixon:2016apl,Dennen:2016mdk}. Some early steps in extending this circle of ideas well beyond the planar ${\cal N}=4$ SYM have been taken in \cite{Bern:2015ple,Arkani-Hamed:2017mur,Salvatori:2018aha}.

There has also been an ongoing effort to use the amplituhedron picture to make all-loop order predictions for loop integrands. This effort was initiated in \cite{Arkani-Hamed:2013kca}, which calculated certain all-loop order cuts for four point amplitudes which were impossible to obtain using any other methods. In this letter, we go much further and use the new topological definition of the amplituhedron \cite{Arkani-Hamed:2017vfh} to calculate a particular cut of $n$-point MHV amplitudes to all loops. This cut places on-shell internal propagators which are arbitrarily deep in the interior of contributing Feynman diagrams. Thus, we aptly refer to this as the ``deepest cut." It appears hopelessly difficult  to calculate this cut using standard unitarity-based methods, as almost all diagrams contribute as we increase the loop order. However, we will show that the new topological formulation of the amplituhedron allows us to easily understand the geometry of the facet associated with this cut and leads to a strikingly simple, one-line expression for the cut valid  to all loops and all multiplicities.  This is the first calculation giving us non-trivial access to the regime of arbitrarily large loop order and particle multiplicities in the theory.

\section{Amplitudes from sign flips}

The original definition of the amplituhedron refers to the auxiliary space of extended kinematical variables constrained by positivity conditions. Recently, an equivalent definition was provided directly in the momentum twistor space using the conditions on {\it sign flips} \cite{Arkani-Hamed:2017vfh}.

For the $n$-point amplitude, the kinematics is given by $n$ momentum twistors $Z_a^I$, $a=1,2,\dots,n$, $I=1,\dots,4$. The $SL(4)$ dual conformal symmetry acts on the $I$ index.  We define the $SL(4)$ invariants $\langle abcd\rangle \equiv \epsilon_{IJKL}Z_a^IZ_b^JZ_c^KZ_d^L$. The space for the N$^{k}$MHV amplituhedron is described by the set of $Z_a$ for which all $\langle i\,i\psl1\,j\,j\psl1\rangle \geq 0$ (with twisted positivity for $(-1)^{k+1}\langle n\,1\,j\,j\psl1\rangle>0$), and the following sequence
\begin{equation}
\{\langle 123\,i\rangle\}\,\,\,\mbox{for}\,\,i=4,\dots,n\,\,\,\,\mbox{has $k$ sign flips}.
\label{Flip1}
\end{equation}
For example, for $n=6$ the sequence has three terms,
\begin{equation*}
\{\langle 1234\rangle, \langle1235\rangle, \langle1236\rangle\},
\label{Flip2}
\end{equation*}
and possible sign sequences $\{+++\}$, $\{++-\}$, $\{+--\}$ and $\{+-+\}$. The first sequence corresponds to $k=0$, the next two to $k=1$ and the last to $k=2$ kinematics. In general the $k=0$ MHV amplitude has the sign pattern $\{++\dots+\}$ and zero sign flips, while for higher $k$ we have various sign patterns which have $k$ sign flips in total.

At loop level, in addition to the external momentum twistors $Z_a$, we also have lines $(AB)_\alpha$ corresponding to loop momenta. For each line we can write $(AB)_\alpha=A_\alpha B_\alpha$ where $A_\alpha$, $B_\alpha$ are two points on that line. The line $(AB)_\alpha$ is in the one-loop amplituhedron if all $\langle (AB)_\alpha\,i\,i+1\rangle>0$ (again with twisted positivity $(-1)^{k+1}\langle (AB)_\alpha\, n1\rangle>0$) and if the sequence
\begin{equation}
\{\langle (AB)_\alpha \,1\,i\rangle\}\,\,\,\mbox{for}\,\,i=2,\dots,n\,\,\,\mbox{has $(k+2)$ sign flips}.
\label{ABpos}
\end{equation}
The collection of $\ell$ lines, $\{(AB)_\alpha\}$ is in the $\ell$-loop amplituhedron if each line satisfies (\ref{ABpos}) and in addition the mutual positivity conditions (independent of $n$, $k$)
\begin{equation}
\langle (AB)_\alpha\,(AB)_\beta \rangle>0 \quad \mbox{for all $\alpha,\beta=1,\dots,\ell$}.
\end{equation}
The $n$-point N$^k$MHV $\ell$-loop integrand is given by a degree $4(k + \ell)$ differential form on $\left\{Z_a,(AB)_\alpha \right\}$ space, determined by the property of having logarithmic singularities on boundaries of the intersection of this space with a canonical $(4 \times k)$-dimensional affine subspace in the configuration space of momentum twistors $\left\{Z_a\right\}$.

The amplituhedron geometry for the MHV case when $k=0$ is especially simple. The space is simply that of $\ell$ lines
$(AB)_{\alpha}$ in momentum twistor space. The sign-flip conditions  (\ref{ABpos}) can be rewritten in an apparently different but equivalent form, in terms of inequalities on each $(AB)_{\alpha}$:
\begin{equation}
\langle (AB)_\alpha \, (i\mi1\,i\,i\psl1)\cap(j\mi1\,j\,j\psl1)\rangle>0\quad\mbox{for all $i,j$}.
\label{ABpos2}
\end{equation}
This condition is the same for every loop--we can say that this just demands that each $(AB)_\alpha$ lives in the one-loop amplituhedron. The interaction between different loops is then captured by the mutual positivity properties $\langle (AB)_\alpha (AB)_\beta\rangle >0$.

\section{Definition of the deepest cut}

In \cite{Arkani-Hamed:2013kca} we focused on cuts where ${\cal L}_\alpha$ passed through $Z_i$ or cut lines $Z_iZ_{i{+}1}$. Here we consider an opposite case where none of the external propagators $\langle (AB)_\alpha  i\,i{+}1\rangle$ are cut but all internal propagators are on-shell
\begin{equation}
\langle (AB)_\alpha \,(AB)_\beta \rangle=0\qquad \mbox{for all $\alpha,\beta=1,\dots,\ell$}.
\label{Cut}
\end{equation}

Prior to any detailed investigation, the geometry of the amplituhedron makes an amazing prediction for the structure of this cut. Owing to the trivialization of the mutual positivity by setting all the $\langle (AB)_{\alpha} (AB)_{\beta} \rangle\to 0$, the only remaining constraint of the geometry is that all the lines $(AB)_\alpha$ live in the one-loop amplituhedron! This leads us to expect that the all-loop geometry should be expressible as $\ell$ independent copies of the one-loop geometry, associated with a formula for the cut with the structure of a product over independent pieces determined by this one-loop problem,  We will see this expectation borne out perfectly in our analysis.

It is easy to show that we have to impose $2\ell-3$ conditions in order to satisfy (\ref{Cut}). There are two solutions to this problem, each with a different geometrical meaning: in the first solution, {\it all-in-point}, all lines intersect in a common point $A$ while in the second solution, {\it all-in-plane}, all lines lie on the same plane $P$.
$$
\includegraphics[scale=.48]{allinVertex.pdf}\,\,\,
\includegraphics[scale=.48]{allinPlane.pdf}
$$
These configurations are mapped into each other by the usual projective duality interchanging points and planes, which also reflects parity; had we been discussing $\overline{\rm MHV}$ amplitudes the cuts associated with the pictures would be reversed. In the first solution the lines $(AB)_\alpha$ can be parametrized
\begin{equation}
(AB)_\alpha = AB_\alpha,
\end{equation}
where $B_\alpha$ and $A$ are arbitrary. The common intersection point $A$ has three degrees of freedom while each $B_\alpha$ has two degrees of freedom as the geometry only depends on the lines $AB_\alpha$. As a result, the configuration is $(2\ell+3)$- dimensional. We now have a simple geometry problem. Given a point $A$, we want to identify all the lines $(AB)$ passing through $A$, which lie in the one-loop amplituhedron. This carves out some subset in the two-dimensional space of possible points $B$. The shape of this region can change as we move around in $A$ space. Thus we are led to find a joint ``triangulation" in $A,B$ space, specified by breaking up the three-dimensional $A$ space into regions for which the corresponding two-dimensional geometry in $B$ has a uniform shape. The regions in $B_\alpha$ space are the same for all $\alpha$. Thus for each such piece we take the product of the $A$-form and the $B_\alpha$ forms, and then sum over all terms in the triangulation. Because there are no mutual positivity conditions left for the given point $A$, the form in $B_\alpha$ is given by a simple product. The final result can then be written as
\begin{equation}
\Omega_n^{(\ell)} = \sum_{j} \omega_j^{(n)}(A) \wedge \prod_{\alpha=1}^\ell \kappa_j^{(n)}(B_\alpha).
\label{form1}
\end{equation}
In the second solution all lines $(AB)_\alpha$ lie in the same plane $P$ and we denote them
\begin{equation}
(AB)_\alpha={\cal L}_\alpha.\
\end{equation}
The plane $P$ has three degrees of freedom while each line ${\cal L}_\alpha$ has two degrees of freedom, which is $2\ell+3$ in total.  Again, we imagine fixing the plane $P$ and looking for all the lines ${\cal L}$ in $P$ that lie in the one-loop amplituhedron. This breaks up $P, {\cal L}$ space into pieces where, given $P$ in a certain region,  the corresponding geometry in ${\cal L}$-space has a uniform shape.
The differential form for this space can be written as
\begin{equation}
\widetilde{\Omega}_n^{(\ell)} = \sum_j \widetilde{\omega}_j^{(n)}(P) \wedge \prod_{\alpha=1}^\ell \widetilde{\kappa}_j^{(n)}(
{\cal L}_\alpha).
\end{equation}
The various differential forms $\omega(A), \kappa(B_\alpha), \omega(P)$ and $\kappa({\cal L})$ are proportional to universal measure factors $\mathrm{d} \mu_A, \mathrm{d} \mu_B, \mathrm{d} \mu_P, \mathrm{d} \mu_{{\cal L}}$ associated with the free points, planes and lines characterizing the geometries.
The measures for the point $A$ and points $B_\alpha$ are
\begin{align}
\mathrm{d}\mu_A &= \langle A\,\mathrm{d}^3A\rangle \equiv \epsilon^{IJKL} A^I\,\mathrm{d}A^J \wedge \mathrm{d}A^K \wedge \mathrm{d}A^L, \nonumber\\
\mathrm{d}\mu_B &= \langle AB\,\mathrm{d}^2B\rangle \equiv \epsilon^{IJKL} A^I B^J\,\mathrm{d}B^K \wedge \mathrm{d}B^L.
\end{align}
For the plane $P\equiv P^{IJK}$, we can define $P^{IJK} \equiv \epsilon^{IJKL} p_L$ and then the measure for $P$ is
\begin{equation}
\mathrm{d}\mu_P = \langle p\,\mathrm{d}^3p\rangle \equiv \epsilon^{IJKL} p_I\,\mathrm{d}p_J\wedge \mathrm{d}p_K \wedge \mathrm{d}p_L.
\end{equation}
The plane $P$ can be parametrized using three points $p_i^I$, $i=1,2,3$ up to a $GL(3)$ transformation on the $i$ index. Then the line $(AB)^{IJ}$ is related to the line ${\cal L}_k$ on $P$ as
\begin{equation}
(AB)^{IJ} = \epsilon^{ijk} (p_ip_j)^{IJ} {\cal L}_k\label{ABL},
\end{equation}
where the $\epsilon^{ijk}$ acts on the labels of points $p_i$ on the plane $P$. Finally, the measure of the line ${\cal L}$ is
\begin{equation}
\mathrm{d}\mu_{{\cal L}} = \langle {\cal L} {\cal L}\,\mathrm{d}^2{\cal L}\rangle \equiv \epsilon^{ijk} {\cal L}_i\,\mathrm{d}{\cal L}_j\wedge \mathrm{d}{\cal L}_k
\end{equation}

The richness of the deepest cut is revealed when compared to the amplitude written as a sum of Feynman integrals. Contributing diagrams must have at least $2\ell-3$ internal propagators. Ladder diagrams with only $\ell-1$ propagators are irrelevant while other diagrams with more internal propagators contribute such as
$$
\includegraphics[scale=.41]{diag1.pdf}\,\,\,\,
\includegraphics[scale=.41]{diag2.pdf}
$$
The first diagram has $2\ell{-}3$ propagators and is exactly borderline while the second more complicated diagram has $3\ell{-}7$ propagators. More internal propagators means more complicated cut structure and singularities which results in more complicated analytic structure and branch cuts after performing the loop integration. It is exactly these most complicated diagrams which contribute on the deepest cut.

\section{Four point case}

We now proceed to solving the geometry problem for the four point case where all lines pass through the same point $A$. The positivity of external data at four points is a single condition $\langle 1234\rangle>0$ while the sign flip conditions for lines ${\cal L}_\alpha = AB_\alpha$ turn into the set of inequalities
\begin{align}
&\langle AB_\alpha 12\rangle>0,\,\langle AB_\alpha 23\rangle>0,\,\langle AB_\alpha 34\rangle>0,\,\langle AB_\alpha 14\rangle>0\nonumber\\
&\hspace{2cm} \langle AB_\alpha 13\rangle<0,\,\langle AB_\alpha 24\rangle<0.
\label{AB4}
\end{align}
As there are no mutual inequalities between different lines $AB_\alpha$ in this problem once we solve the inequalities for one $B$ it is automatically solved for all of them, and the differential form is given by the simple product (\ref{form1}). As all inequalities involve the point $A$ we can project through that point to a two-dimensional plane which contains projected points $Z_1'$, $Z_2'$, $Z_3'$, $Z_4'$ and $B_k'$
\vspace{-0.3cm}
$$
\includegraphics[scale=.4]{projectionThroughA2}
$$
\vspace{-0.7cm}

\noindent We omit the primes in the following. These inequalities cut out an allowed region for $A$. The task is to triangulate this region such that for each term in the triangulation, there is a corresponding allowed region for $B$ whose shape does not change within this $A$ region. For the four point case the situation is quite simple: $A$ can be written as linear combination $A=c_1Z_1+c_2Z_2+c_3Z_3+c_4Z_4$ and the choice of signs of $c_j$ are equivalent to the choice of signs of the set,
\begin{equation}
\{\langle A123\rangle, \langle A124\rangle, \langle A134\rangle, \langle A234\rangle\}.
\label{Areg}
\end{equation}
There are $2^4=16$ possible choices corresponding to 16 $A$-regions for which we have to find the $B$-geometry. The two-dimensional configuration of the projected $Z_i$ points must respect given $\langle Aijk\rangle$ inequalities. In particular, $\langle Aijk\rangle>0$ if the triangle $(ijk)$ made of points $Z_i$, $Z_j$, $Z_k$ is oriented clockwise. The other sign $\langle Aijk\rangle<0$ corresponds to counterclockwise orientation. As a result, we get two types of configurations,
\vspace{-0.1cm}
$$
\includegraphics[scale=.32]{fourPoint2.pdf}
$$
\vspace{-0.65cm}

where the first corresponds to $\{+,+,+,+\}$ and the second to $\{+,+,-,+\}$. Adding all possible permutations of $Z_i$ gives us eight quadrilateral configurations and eight triangle configurations with one point inside. In the second step we have to find the space of all $B$ points which satisfy inequalities (\ref{AB4}). Geometrically, the inequality $\langle ABij\rangle>0$ means that $B$ must be on the right side of the line $Z_iZ_j$ or alternatively the triangle $(Bij)$ must be oriented clockwise, for $\langle ABij\rangle<0$ counterclockwise. The first configuration has no allowed $B$-region while for the second we get
\vspace{-0.3cm}
$$
\includegraphics[scale=.48]{Bregion.pdf}
$$
\vspace{-0.6cm}

which is a triangle given by the lines $(23)(34)(14)$. There are three more $A$-configurations which give non-empty $B$-regions. All these regions are triangles bounded by lines $(12)(23)(34)$, $(12)(34)(14)$ and $(12)(23)(14)$.

Since the $A$ and $B$ geometry are factorized, so are the corresponding logarithmic volume forms. For the $A$-part for all possible signs in (\ref{Areg}) the boundaries are the same, therefore the form is given for all possible regions by $(-1)^K\omega(A)$ where
\begin{equation}
\omega(A) = \frac{\mathrm{d}\mu_A\, \langle 1234\rangle^3}{\langle A123\rangle\langle A124\rangle\langle A134\rangle\langle A234\rangle},
\label{Aform}
\end{equation}
and $K$ is the number of minus signs in (\ref{Areg}). The $B$-forms depend on the shape of the allowed region in the two-dimensional plane. The triangle in the picture above is bounded by the lines $(23)$,$(34)$,$(14)$ and the form is
\begin{equation}
\omega(B) = \frac{\mathrm{d}\mu_B \langle A134\rangle \langle A234\rangle}{\langle AB23\rangle\langle AB34\rangle\langle AB14\rangle}.
\end{equation}
If the configuration was more complicated e.g., a pentagon, we would have to decompose it into triangles but that does not happen in the four point case. Putting all pieces together we can write the result as
\begin{equation}
\Omega_4^{(\ell)} =\omega(A)\wedge\kappa(B),
\label{Omeg1}
\end{equation}
where $\omega(A)$ is given by (\ref{Aform}) and $\kappa(B)$ is a sum of four triangles with signs coming from different $A$-regions,
\begin{equation}
\hspace{-0.2cm} \kappa(B) = \sum_{j=1}^4 (-1)^j \prod_\alpha \frac{\mathrm{d}\mu_B\, \langle A\,j\mi1\,j\,j\psl1\rangle\langle Aj\,j\psl1\,j\psl2\rangle}{\langle AB_\alpha j\mi1\,j\rangle\langle AB_\alpha \,j\,j\psl1\rangle\langle AB_\alpha j\psl1\,j\psl2\rangle}
\end{equation}
where the sum over $j$ includes the cyclic twist: $n+k\rightarrow k$.

In the four point case the all-in-plane solution can be extracted from the all-in-point solution. Instead of the common point $A$ we have a common plane $P=(P_1P_2P_3)$ on which all ${\cal L}_\alpha$ live. The space of $P$ planes is bounded by points $Z_1$, $Z_2$, $Z_3$, $Z_4$ and the form in $P$ up to a sign is given by
\begin{equation}
\widetilde{\omega}(P) = \frac{\mathrm{d}\mu_P\,\langle 1234\rangle}{\langle P1\rangle\langle P2\rangle\langle P3\rangle\langle P4\rangle}
\end{equation}
On each plane $P$ we have two-forms on the space of lines ${\cal L}_\alpha$. The triangulation is analogous to the all-in-line case and the result can be written as $\widetilde{\Omega}_4^{(\ell)} = \widetilde{\omega}(P) \wedge \widetilde{\kappa}(AB)$ where
\begin{equation}
\hspace{-0.3cm}\widetilde{\kappa} = \sum_{j=1}^4 (-1)^j \prod_{\alpha=1}^\ell \frac{\mathrm{d}\mu_{{\cal L}_\alpha}\,\langle j{-}1jj{+}1j{+}2\rangle\langle Pj\rangle\langle Pj\psl1\rangle}{\langle (AB)_\alpha j\mi1\,j\rangle\langle (AB)_\alpha\,j\,j\psl1\rangle\langle (AB)_\alpha j\psl1\,j\psl2\rangle},
\end{equation}
where $(AB)_\alpha$ are related to the lines ${\cal L}_\alpha$ restricted to $P$ via (\ref{ABL}). Note that $\langle j{-}1jj{+}1j{+}2\rangle = (-1)^j \langle 1234\rangle$.

\section{Higher point formulas}

At four points the original amplituhedron picture is identical to the new sign flip definition. However, for higher point MHV amplitudes while still equivalent the sign flip picture is much more suitable for actually solving the geometry. Here we provide the final $n$-point expressions for the residues on the deepest cut for both solutions; detailed derivations and a number of results for further non-trivial cuts will be provided in \cite{prep}. The basic strategy is the same as in the four point case: for the all-in-point solution, triangulate the $A$-space and find the corresponding $B_\alpha$ geometry. The main difference is that the boundaries of the different pieces in the triangulation of the $A$-space are now different.  The result can be schematically drawn as the tetrahedron $\times$ polygon,
$$
\includegraphics[scale=0.44]{nPointGeometry2.pdf}
$$
\vspace{-0.6cm}

\noindent where the point $X_{ik}\equiv (i{-}1i){\cap}(A,i{+}k{-}2,i{+}k{-}1)$. The expression for the integrand takes the product form
\begin{widetext}
\vspace{-0.15cm}
\begin{equation}
\Omega_n^{(\ell)}=\sum_{k=1}^{n-1}\sum_{i=1}^n\,[i{-}1,i,i{+}k{-}2,i{+}k{-}1]\wedge\prod_{\alpha=1}^\ell\frac{\mathrm{d}\mu_{B_\alpha}\,N_{k-\text{gon}}(i)}{\langle AB_\alpha i{-}1i\rangle\langle AB_\alpha ii{+}1\rangle\cdots\langle AB_\alpha i{+}k{-}2,i{+}k{-}1\rangle},
\label{npt1}
\end{equation}
\vspace{-0.15cm}
\end{widetext}
where $[a,b,c,d]$ is the canonical form in $A$ space for the tetrahedron with vertices $Z_a,Z_b,Z_c,Z_d$
\begin{equation}
[a\,b\,c\,d] = \frac{\mathrm{d}\mu_A\, \langle abcd\rangle^3}{\langle Aabc\rangle\langle Aabd\rangle\langle Aacd\rangle\langle Abcd\rangle}.
\end{equation}
The $B_\alpha$ part is a form on the polygon bounded by the lines $(i{-}1\,i)$, $(i\,i{+}1)$,$\dots$, $(i{+}k{-}2,\,i{+}k{-}1)$. The numerator $N_{k-{\rm gon}}$ was given in \cite{Arkani-Hamed:2014dca}. Alternatively, one can triangulate the polygon as a sum of triangles and collect the corresponding differential forms. Note that in the triangulation the $A$-space is given just by simple tetrahedron while the $B$-space is a more complicated polygon.

While for four point case the forms $\Omega_4^{(\ell)}$ and $\widetilde{\Omega}_4^{(\ell)}$ were related for higher points they are different. Following a similar geometric procedure we have to first triangulate the $P$-space; here the general term in the triangulation has six boundaries, and the corresponding space of lines on the $P$-plane has three boundaries for each line. The expression for $\widetilde{\Omega}_n^{(\ell)}$ is then given by the product form
\begin{widetext}
\begin{equation}
\widetilde{\Omega}_n^{(\ell)} = \sum_{i=1}^{n-2}\sum_{j=i{+}1}^{n-1}\sum_{k=j{+}1}^{n} \{i,j,k\} \wedge \prod_{\alpha=1}^\ell\frac{\mathrm{d}\mu_{{\cal L}_\alpha}\,\langle\langle P,i,j,k\rangle\rangle}{\langle (AB)_\alpha i\,i{+}1\rangle\langle (AB)_\alpha j\,j{+}1\rangle\langle (AB)_\alpha k \,k{+}1\rangle},
\label{npt2}
\end{equation}
\end{widetext}
where the bracket $\{i,j,k\}$ is defined by
\begin{equation}
\{i,j,k\}=\frac{\mathrm{d}\mu_P\,\langle\langle P,i,j,k\rangle\rangle}{\langle P\,i\rangle\langle P\,i{+}1\rangle\langle P\,j\rangle \langle P\,j{+}1\rangle\langle P\,k\rangle \langle P\,k{+}1\rangle},
\end{equation}
with
\begin{align}
\langle \langle P,i,j,k\rangle\rangle &= P^{I_1J_1K_1}  P^{I_2J_2K_2} Z_i^{I_1}Z_{i\smallplus 1}^{I_2}Z_j^{J_1}Z_{j\smallplus 1}^{J_2}Z_k^{K_1}Z_{k\smallplus 1}^{K_2}\nonumber\\
&\hspace{-0.5cm}= \langle (i\,i\smallplus 1)\,(P)\cap (j\,j\psl1)\,(P)\cap (k\,k\psl1)\rangle.
\end{align}
Note that $\langle \langle P,i,j,k \rangle \rangle$ is completely symmetric in $i,j,k$, though the representation in terms of four-brackets does not manifest this symmetry. Thinking for convenience dually of $P$ as a point and the $Z_a$ as planes,  $\{i,j,k\}$ is the canonical form of a cube with opposing facets associated with $(Z_i,Z_{i\psl1})$, $(Z_j,Z_{j\psl1})$, $(Z_k,Z_{k\psl1})$.

\section{Exceptional efficiency}

Given the integrand for the $n$-point, $\ell$-loop MHV integrand, the differential form for the deepest cuts  $\Omega$ and $\widetilde{\Omega}$ can be straightforwardly computed by taking residues. Explicit expressions for the MHV integrand are available in the literature up to ten loops for $n=4$ \cite{Bourjaily:2016evz}, and up to three loops for any $n$ \cite{ArkaniHamed:2010gh}. We have verified our cut up to five loops for $n=4$ and for general $n$ up to three loops.

As we have stressed, the deepest cut is sensitive to the most complicated topologies for Feynman diagrams and on-shell processes that can contribute to the amplitude. It is interesting to see this more quantitatively at four-points. For the four-point $\ell$-loop integrand the number of dual conformal invariant integrals contributing on the cut can be counted from the Mathematica code provided in \cite{Bourjaily:2016evz} up to $\ell=10$. In the table below we provide the number of topologies; the complete set of integrals also involves permutation over all loop momenta and cycling in external labels. The number of contributing diagrams is the same for both solutions of the cut.

\vspace{0.2cm}

\begin{center}
\begin{tabular}{|c|c|c|c|}
\hline $\ell$ & total $\#$ of topologies & contributing on cut & $\%$ \\ \hline
4 & 8 & 4 & 50 \\ \hline
5 & 34 & 20 & 58.8 \\ \hline
6 & 229 & 146 & 63.8 \\ \hline
7 & 1873 & 1248 & 66.6 \\ \hline
8 & 19 949 & 13 664 & 68.5 \\ \hline
9 & 247 856 & 172 471 & 69.6 \\ \hline
10 & 3 586 145 & 2 530 903 & 70.6 \\ \hline
\end{tabular}
\end{center}

We see the monotonic increase in the percentage of diagrams contributing as a function of $\ell$. We expect this percentage should approach 100$\%$ for $\ell\rightarrow\infty$.

Our formulas for $\Omega$ and $\widetilde{\Omega}$ are remarkably simple and compact, while the complete loop integrand gets more and more complicated for higher $\ell$. A notable feature of our expressions is their representation as a sum over pieces each having a trivial product structure over loops. However, this simplicity comes at the cost of introducing spurious poles. These are all the poles in $\Omega$ involving only the intersection point $``A"$ rather than the lines $AB_\alpha$. This phenomenon is by now a familiar one in the on-shell approach to scattering amplitudes, but occurs here in a novel setting. Of course the spurious poles cancel non-trivially in the sum. The existence of such a strikingly simple and unusual representation for this cut is completely mysterious from any conventional point of view (Feynman diagrams, all-loop BCFW recursion or Wilson-loops). However, as we stressed even before embarking on any detailed calculation, the existence of such a picture is made almost trivially obvious from the topological picture of the amplituhedron geometry.

Any analytic comparison with standard local expressions for the cut would have to proceed by algebraically canceling the spurious poles. This immediately leads to an explosion of complexity: while the formula for $\Omega$ has the same form for any $\ell$, when canceling spurious poles the result gets more complicated for higher $\ell$. Even at four points, when all spurious poles are canceled we get
\begin{align*}
\Omega_4^{(\ell)} = \mathrm{d}\mu_A\,{\cal N}_\ell\prod_{k=1}^\ell\frac{\mathrm{d}\mu_{B_\alpha}}{\langle AB_\alpha12\rangle\langle AB_\alpha23\rangle\langle AB_\alpha34\rangle\langle AB_\alpha14\rangle}
\end{align*}
where for $\ell=2,3$ we get up to symmetrization in $B_\alpha$
\begin{align*}
{\cal N}_2 &= (\langle AB_113\rangle\langle AB_224\rangle+\langle AB_213\rangle\langle AB_124\rangle)\\
{\cal N}_3& = \left[\begin{array}{c} \langle A124\rangle^2 \langle AB_113\rangle\langle AB_223\rangle\langle AB_334\rangle \\ + \langle A234\rangle^2\langle AB_112\rangle\langle AB_213\rangle\langle AB_314\rangle\\ +\langle A234\rangle\langle A124\rangle\langle AB_113\rangle\langle AB_213\rangle\langle AB_324\rangle\end{array}\right].
\end{align*}

The expressions get even more complicated if we rewrite the numerators using $\langle AB_\alpha\,i\,i\psl1\rangle$ to match the Feynman integral expansion. In that case ${\cal N}_2$ would be a sum of four terms corresponding to double box integrals while ${\cal N}_3$ would be given by 24 terms corresponding to tennis court diagrams at three loops. The expressions obviously get more complicated at higher loops and the number of terms matches the number of contributing Feynman integrals. In the numerator ${\cal N}_\ell$ all lines ${\cal L}_\alpha$ are completely entangled and there is no product structure. Again, from this point of view the the amazingly simple product form (\ref{Omeg1}) is a total surprise, and without the geometric picture one would never discover it.

\section{Conclusion}

In this letter we studied the deepest cut in the planar ${\cal N}=4$ SYM theory using the new topological definition of the amplituhedron geometry using sign flips, which allowed us to easily find explicit triangulations and concrete expressions for this cut of the $n$-point MHV amplitudes (\ref{npt1}) and (\ref{npt2}). When compared to the Feynman diagram expansion, the deepest cut probes the most complicated diagrams. We expect that for $\ell\rightarrow\infty$ this cut captures some of the essential properties of the full integrand. Indeed, the deepest cut can be used as a new jumping off point for approaching the determination of the full geometry by gradually relaxing the mutual intersection properties in steps \cite{prep}. It should also be possible to compute the deepest cut for all $k$; as with the MHV case, in the topological picture this should again reduce to merely finding a precise characterization of the one-loop amplituhedron geometry, but the associated analogs of our ``tetrahedral" and ``polygonal" regions are expected to be more non-trivial and interesting.
\smallskip

{\it Acknowledgment:} We thank  Lance Dixon, Enrico Herrmann, Thomas Lam, and Hugh Thomas for useful discussions and comments. N.A-H. is supported by a DOE grant No. SC0009988. C.L. and J.T. are supported by the DOE grant No. DE-SC0009999 and by the funds of University of California.