Light lepton portal dark matter meets the LHC

Abstract: We examine the sensitivity of the Large Hadron Collider (LHC) to light lepton portal dark matter with its mass below 10$\,$GeV. The model features an extra doublet scalar field and singlet Dirac dark matter, which have Yukawa interactions with left-handed leptons. To correctly produce the dark matter abundance via the thermal freeze-out, a large mass splitting among the extra scalars is required, thus providing a light neutral scalar below ${\cal O}(10)$GeV and heavy neutral and charged scalars at the electroweak scale. In this paper, we focus on the electroweak pair-production of the extra scalars with subsequent model-specific scalar decays and evaluate the current constraints with the LHC Run$\,$2 data and the discovery potential at the High Luminosity LHC (HL-LHC). It turns out that a large part of the theoretically allowed parameter space can be tested at the HL-LHC by taking into account complementarity between slepton searches and mono-$Z$ plus missing transverse energy search. We also discuss same-sign charged scalar production as a unique prediction of the model, and the implication of the collider searches in the thermal dark matter scenario.

\section{Introduction}
\label{sec:intro}
Thermal relic of massive stable particles, which are often called Weakly Interacting Massive Particles (WIMPs), has been one of the most fascinating candidates for cosmological dark matter (DM).
Indeed, significant effort has been devoted in the last decades to discovering such DM candidates at high-energy collider and DM direct/indirect detection experiments, albeit without any affirmative signals thus far.
In particular, the direct detection through DM-nucleon scattering strongly constrains WIMP DM candidates heavier than 10\,GeV, even if they do not scatter with quarks at tree level.
This tendency motivates theorists to focus on sub-GeV mass region where traditional direct detection experiments based on nucleus recoils lose the sensitivity.

The thermal relic DM with sub-GeV mass requires the existence of light mediator particles with its mass much below the electroweak (EW) scale~\cite{Boehm:2003hm,Fayet:2004bw}.
One well-studied class of such mediators is a light boson, such as dark photon and dark Higgs, which couples to both DM and the Standard Model (SM) fermions.
Through the new interactions, DM can be thermally produced via its $s$-channel annihilation into the SM fermions or one-step cascade annihilation (aka secluded annihilation~\cite{Pospelov:2007mp}) into a pair of the light bosons that subsequently decay into the SM fermions.
Extensive searches for the light bosons at high-intensity medium-energy experiments provide useful tools to restrict the light boson couplings with the SM fermions~\cite{Izaguirre:2015yja,Feng:2017drg}, thereby probing the thermal DM parameter space.

Recently, another sub-GeV DM model with light $t$-channel mediators has been proposed in Ref.~\cite{Okawa:2020jea}.\footnote{Other examples of light DM models with $t$-channel mediators, based on neutrino portal interactions, include Refs.~\cite{Batell:2017cmf,McKeen:2018pbb,Blennow:2019fhy}.}
The model is based on lepton portal scenarios~\cite{Bai:2014osa,Chang:2014tea} and features an extra doublet scalar field in addition to a Dirac DM.
In contrast to the previous works with a particular focus on the traditional heavy mass region~\cite{Bai:2014osa,Chang:2014tea,Kawamura:2020qxo},
it was pointed out in Ref.~\cite{Okawa:2020jea} that light mass window of this DM model is viable if one can accommodate the extra scalars with a large mass splitting of order of the EW scale, providing one light neutral scalar.\footnote{A similar large mass splitting in a new doublet scalar was also proposed in Ref.~\cite{Herms:2022nhd} to achieve light thermal relic DM.
The light scalar serves as an $s$-channel mediator in DM annihilation unlike the lepton portal models considered here.}
Such a large mass splitting can be obtained by adjusting the quartic couplings in the scalar potential without any modification to the original lepton portal setup.
It also turned out that this light mass region is hardly constrained by astrophysical and cosmological observations as well as DM direct detection experiments.
Part of the allowed parameter space can be tested with future neutrino telescopes to measure a monochromatic neutrino flux from galactic DM annihilation.
On the other hand, collider bounds were roughly estimated as an existence proof of the light mass region and the detailed study was left for separate publication.

In the present paper, we follow up the light lepton portal DM proposed in Ref.~\cite{Okawa:2020jea} by scrutinizing the search potential at high-energy colliders, especially the Large Hadron Collider (LHC).
The model features a Dirac DM and an extra EW doublet scalar which couple exclusively to left-handed SM leptons via Yukawa-type interactions.
The new fields are both odd under a global $Z_2$ symmetry to stabilize the DM candidate.
Then, the main targets at the LHC are EW productions of the extra scalars, followed by their decays into a pair of DM and leptons or a pair of a weak boson and the light scalar.
We will show that given the relations among the extra scalar decays due to the SU(2)$_L$ gauge invariance, one can observe the complementarity among the various signal processes, which helps to cover a large part of the theoretically allowed parameter space.
A remarkable prediction of the light mass scenario is large quartic couplings, which results in a distinctive same-sign charged scalar production.
We thus complement our study by estimating the discovery reach of this process at the  High Luminosity LHC (HL-LHC).
In a large part of this paper, we focus on the most economical setup which was referred to as minimal model in Ref.~\cite{Okawa:2020jea}, while we provide our collider bounds in a model-independent way which are set on the branching fraction of the extra scalars.
Hence, our results can be applied to other new physics models that predict the same decay modes but with different branching fractions.
As an application example, we also study the implication of our results for an extended model, wherein the minimal model is augmented with a singlet scalar, which was also suggested in Ref.~\cite{Okawa:2020jea} as the next-to-minimal setup.

The rest of this paper is organized as follows.
In Sec.~\ref{sec:setup}, we review the light lepton portal DM and show essential theoretical limitations.
In Sec.~\ref{sec:collider}, we discuss the current LHC constraints on the extra scalars and estimate the future sensitivity at the HL-LHC based on a simple luminosity scaling.
We then look at the implication of the collider searches in the thermal DM parameter space in Sec.~\ref{sec:DM}.
Sec.~\ref{Sec:summary} is devoted to summary.
The paper is supplemented with two Appendices where one-loop renormalization group equations (RGEs) and constraints on our DM candidate are summarized.

\section{Light lepton portal dark matter}
\label{sec:setup}
In this section, we briefly review light mass scenarios of lepton portal DM proposed in  Ref.\,\cite{Okawa:2020jea}.

\subsection{Minimal setup}
\label{sec:setup2}
The model features a SM gauge singlet Dirac DM $\psi$ and an extra scalar doublet $\Phi_\nu$ whose gauge quantum number is the same as the SM Higgs doublet field $\Phi$.
A global $Z_2$ symmetry is imposed on the model under which only $\psi$ and $\Phi_\nu$ are odd.
Hence $\psi$ is a good DM candidate when it is the lightest $Z_2$-odd particle.
These new fields couple with the SM left-handed lepton doublet $L_i$ via Yukawa interactions,
\begin{equation}
\label{eq:ynu}
-{\cal L}_L= y^i_\nu \, \overline{L_i} \, \widetilde{\Phi_\nu} \psi_R +h.c.,
\end{equation}
where $\widetilde{\Phi_\nu} \equiv i \sigma_2 \Phi_\nu^*$ and the Yukawa couplings $y^i_\nu$ $(i=e, \, \mu, \,\tau)$ are lepton flavor dependent complex parameters.
The charged leptons in $L_i$ are aligned with the mass eigenstates in our notation.
The couplings $y_\nu^i$ contributes predominantly to DM interactions with the SM sector.
This kind of DM model is called the lepton portal DM model \cite{Bai:2014osa,Chang:2014tea}, and its phenomenology in the heavy mass region above 100\,GeV has been studied in detail~\cite{Bai:2014osa,Chang:2014tea,Kopp:2014tsa,Ibarra:2015fqa,Kawamura:2020qxo,Bai:2021bau}.

The extra scalar interacts with the SM Higgs field via dimensionless couplings in the scalar potential
\begin{align}
V & = m_1^2 (\Phi^\dagger \Phi)
   + m_2^2 (\Phi_\nu^\dagger \Phi_\nu)
   + \lambda_1 (\Phi^\dagger \Phi)^2
   + \lambda_2 (\Phi_\nu^\dagger \Phi_\nu)^2 \nonumber  \\
   & \quad + \lambda_3 (\Phi^\dagger \Phi) (\Phi_\nu^\dagger \Phi_\nu)
   + \lambda_4 (\Phi^\dagger \Phi_\nu) (\Phi_\nu^\dagger \Phi)
   + \frac{\lambda_5}{2} [ (\Phi^\dagger \Phi_\nu)^2 + h.c. ] ,
\end{align}
where all parameters are chosen to be real using the phase redefinition of $\Phi$ and $\Phi_\nu$.
It is assumed in this paper that only $\Phi$ develops a non-vanishing vacuum expectation value (VEV) to guarantee the DM stability.
This vacuum phase has been studied in the context of the inert doublet DM model~\cite{Deshpande:1977rw,Ma:2006km,LopezHonorez:2006gr,Barbieri:2006dq} and is known to be a global minimum in a large part of the parameter space~\cite{Ginzburg:2010wa,Belyaev:2016lok}.
After the EW symmetry breaking, $\Phi$ and $\Phi_\nu$ are decomposed as
\begin{equation}
\Phi = \begin{pmatrix} G^+ \\ \frac{1}{\sqrt{2}} (v+h+iG^0) \end{pmatrix} ,\quad
\Phi_\nu = \begin{pmatrix} H^+ \\ \frac{1}{\sqrt{2}} (H+iA) \end{pmatrix} ,
\end{equation}
where
$G^0$ and $G^\pm$ are the Nambu-Goldstone (NG) bosons eaten by the $Z$ and $W^\pm$ bosons, respectively, and $v \simeq 246$\,GeV is the non-vanishing VEV.
$h$ is the SM Higgs boson, $H$ and $A$ are extra neutral scalars and $H^\pm$ is a charged scalar.
The masses of these physical scalars are given by
\begin{align}
m_h^2 & = 2 \lambda_1 v^2 , \label{eq;Mh} \\
m_{H^\pm}^2 & = m_2^2 + \frac{\lambda_3 v^2}{2} , \label{eq;MHC} \\
m_A^2 & = m_{H^\pm}^2 + \frac{(\lambda_4-\lambda_5) v^2}{2} , \label{eq;MA} \\
m_H^2 & = m_{H^\pm}^2 +\frac{(\lambda_4+\lambda_5) v^2}{2} . \label{eq;MH}
\end{align}
It is easy to see that the mass difference of the extra scalars is expressed solely by the quartic couplings and the Higgs VEV.
Hereafter, we consider $H$ is lighter than $A$ without loss of generality.

Assuming the thermal relic hypothesis, a sub-GeV mass window of this DM candidate opens only when $H$ is lighter than ${\cal O}$(10)\,GeV \cite{Okawa:2020jea}.
On the other hand, $A$ and $H^\pm$ need to be heavier than 100\,GeV due to the LEP bounds~\cite{Barbieri:2006dq,Pierce:2007ut,Lundstrom:2008ai}.
Such a mass spectrum is achieved by imposing the following relations among the three quartic couplings $\lambda_{3,4,5}$:
\begin{align}
\lambda_4 + \lambda_5 &\approx - 2m_{H^\pm}^2/v^2, \label{eq:cond1}\\
\lambda_4 - \lambda_5 &\approx 0, \label{eq:cond2}\\
\lambda_3+\lambda_4+\lambda_5 &\approx 0 . \label{eq:cond3}
\end{align}
The first relation is the primary requirement that $H$ is much lighter than $H^\pm$, that is directly obtained from Eq.~(\ref{eq;MH}) and holds up to ${\cal O}(m_H^2/v^2)$ corrections.
The second one is the mass degeneracy condition of $A$ and $H^\pm$, which is required to suppress the EW oblique corrections from the extra scalars.
The third one is a condition for suppressing the $h$-$H$-$H$ coupling in order to evade the Higgs invisible decay bound.
Given the three relations, the values of $\lambda_{3,4,5}$ are fixed once we give a specific value of $m_{H^+}$.

Once we get the light neutral scalar, DM physics is simply described.
The DM production is controlled by the DM annihilation into neutrino pairs via the $t$-channel $H$ exchange and hence the relic abunance is determined only by three parameters $y_\nu^i$, $m_\psi$, $m_H$.
The DM direct and indirect detection are induced by the same Yukawa couplings $y_\nu^i$ through the charged scalar exchanging processes. These processes are, however, suppressed by the heavy charged scalar mass and do not provide useful bounds in most parameter space (see Fig.~9 of Ref.~\cite{Okawa:2020jea}).
In contrast, collider searches for the extra scalars can be a good tool to test this setup
since the extra scalars cannot be arbitrarily heavy due to the perturbativity of the quartic couplings.
Indeed, we see $\lambda_3\simeq3$ with $m_{H^\pm}=300$\,GeV.
Thus it is natural to ask how large parameter space in the minimal setup can be within the reach of the LHC experiment.

\subsection{Triviality and perturbative unitarity bounds}
\label{sec:LP}
Given that $A$ and $H^\pm$ are heavier than 100\,GeV, the three relations Eqs.~(\ref{eq:cond1})-(\ref{eq:cond3}) suggest that the quartic couplings tend to be large and hence easily blow up at low energy.
Here we evaluate running of the couplings along with the renormalization group (RG) evolution and derive a cutoff scale where perturbative description of the model breaks down.

For this purpose, we consider two conditions.
One is the triviality bound for which we require $|\lambda_j(\mu)|<4\pi$ to be satisfied at any scale below the cutoff.
The other is the perturbative unitarity condition~\cite{Lee:1977eg} for which we require tree-level unitarity to be maintained in various $2\to2$ scattering processes at high-energy limit.
Following Ref.\cite{Lee:1977eg} where longitudinally polarized gauge bosons are replaced with the corresponding NG bosons, we only consider the scattering processes involving scalars and gauge bosons.
The full set of the scattering amplitudes is expressed as a $22\times22$ matrix, which is decomposed into four sub-matrices that do not couple each other~\cite{Kanemura:1993hm,Akeroyd:2000wc,Arhrib:2000is,Ginzburg:2003fe,Ginzburg:2005dt,Horejsi:2005da}.
The perturbative unitarity bound is set on the eigenvalues of the matrix as
\begin{equation}
|e_j| < 8\pi \quad (j=1,\dots,12),
\end{equation}
where
\begin{align}
e_{1,2} &= \lambda_3 \pm \lambda_4, \ e_{3,4} = \lambda_3 \pm \lambda_5 , \ e_{5,6}=\lambda_3+2\lambda_4\pm3\lambda_5, \\
e_{7,8} &= -\lambda_1-\lambda_2\pm\sqrt{(\lambda_1-\lambda_2)^2+\lambda_4^2}, \\
e_{9,10} & = -3\lambda_1-2\lambda_2\pm\sqrt{9(\lambda_1-\lambda_2)^2+(2\lambda_3+\lambda_4)^2} ,\\
e_{11,12} & = -\lambda_1-\lambda_2\pm\sqrt{(\lambda_1-\lambda_2)^2+\lambda_5^2} ,
\end{align}
where all $\lambda_j$ are running couplings.
We define our cutoff scale $\Lambda$ as the minimum scale at which either the triviality or perturbative unitarity conditions breaks down
when we evolve the couplings with the RGEs from an input scale to a high-energy scale.
The one-loop RGEs of the gauge, Yukawa and quartic couplings are shown in Appendix \ref{sec:rges}.

Figure \ref{fig:cutoff} shows the cutoff scale, where we impose the following initial conditions at $\mu_{\rm in}=m_{H^\pm}$
\begin{equation}
\lambda_3(\mu_{\rm in})=2m_{H^\pm}^2/v^2, \quad
\lambda_5(\mu_{\rm in})=-m_A^2/v^2, \quad
\lambda_4(\mu_{\rm in}) = - \lambda_3(\mu_{\rm in}) - \lambda_5(\mu_{\rm in}),
\label{fig:initial}
\end{equation}
which is the essential requirement in the light DM regime.\footnote{The second condition follows directly from Eq.\,(\ref{eq:cond2}) assuming $m_A \gg m_H$.}
Here, $\lambda_1(\mu_{\rm in})=\lambda_2(\mu_{\rm in})=0.13$ is used as an input value.
In the figure, the solid lines correspond to $m_{H^\pm}=m_A$ at the input scale.
We also take into account the fact that a moderate mass splitting of $m_{H^\pm}-m_A$ is allowed by the EW precision observables.
In the orange band, the oblique parameters in the model are consistent at 2$\sigma$ level with the PDG values: $S=0.00\pm0.07$ and $T=0.05\pm0.06$ with $U=0$~\cite{Zyla:2020zbs}.
In the calculation, we employ one-loop running for the SM gauge and Yukawa couplings while the contribution from the lepton portal couplings $y_\nu^i$ are neglected.
One can see in the figure that if one requires the model to be valid at least up to 10\,TeV, $m_{H^\pm}\simeq350$\,GeV is the upper limit.\footnote{A larger input value of $\lambda_2$ results in a lower cutoff scale, thus lowering the upper limit on the charged scalar mass.
However, since the other quartic couplings are of order unity, the influence of $\lambda_2$ is very little unless it is of order unity.}
It should be noted that the quartic couplings have to also satisfy the bounded-from-below conditions,
\begin{equation}
\lambda_1, \lambda_2 > 0, \quad
2\sqrt{\lambda_1\lambda_2}+\lambda_3 > 0,\quad
2\sqrt{\lambda_1\lambda_2}+\lambda_3+\lambda_4-|\lambda_5| >0,
\end{equation}
but these are always fulfilled in the parameter region of our interest.

\begin{figure}[t]
\centering
\includegraphics[width=0.5\textwidth]{figs/cutoff.pdf}
\caption{Cutoff scale of the model at which the triviality or perturbative unitarity conditions break down.
We impose the boundary condition Eq.~(\ref{fig:initial}) at $\mu_{\rm in}=m_{H^\pm}$.
See the text for further details.
}
\label{fig:cutoff}
\end{figure}

\subsection{Singlet extension}
\label{sec:setup3}
We can extend the minimal model by adding a singlet scalar, wherein the cancellation between $\mathcal{O}(1)$ scalar couplings and in turn the perturbativity constraint are significantly relaxed~\cite{Okawa:2020jea}.
The minimal model is augmented by a new $Z_2$-odd singlet scalar $S$, which couples to the SM Higgs field and inert scalar doublet.
The additional terms in the Lagrangian are given by
\begin{equation}
    \Delta {\cal L} = \frac{1}{2} (\partial_\mu S)^2 - \frac{1}{2} m_S^2 \, S^2
    - [A_S \, \Phi^\dagger \Phi_\nu S + h.c.] \,.
\end{equation}
After the EW symmetry breaking, $H$ and $S$ are mixed in the mass basis, providing two physical scalars ($h_2,s$),
\begin{align}
\label{eq;mixing}
\begin{pmatrix}
H \\
S
\end{pmatrix}
=
\begin{pmatrix}
\cos\theta &
-\sin\theta\\
\sin\theta   & \cos\theta
\end{pmatrix} \begin{pmatrix}
h_2 \\
s
\end{pmatrix}
\,.
\end{align}
In Ref.\cite{Okawa:2020jea}, we showed that $s$ can be arbitrarily light by tuning $m_S$ as $m_S \simeq \tan\theta \, m_H$ while keeping $h_2$ at the EW scale or above.
In this extension, the light scalar mediator is $s$ and couples to the DM through the scalar mixing $\theta$.

The scalar mixing $\theta$ does not change the coupling of the DM to the charged scalar.
Hence, the DM phenomenology induced by the charged scalar exchanging is essentially unchanged.
The only modification to the DM physics manifests itself in the thermal production which is mediated by the singlet-like scalar $s$.
Nonetheless, there is a beautiful similarity between the minimal and extended setups in the thermal production, allowing to convert the results of the minimal model into those of the extended model by a simple replacement of $y_\nu^i \to y_\nu^i \sin\theta$ and $m_H \to m_s$ (see Sec.~4 of Ref.~\cite{Okawa:2020jea}).

The importance of collider studies in the extended model was recognized in Ref.~\cite{Okawa:2020jea}.
First, the new decay mode $h\to ss$ is induced by the scalar mixing.
This contributes to the Higgs invisible decay width and as a result, the scalar mixing is upper limited.
In addition, the invisible decay bound is stronger as the doublet-like scalars are heavier.
Heavy scalar searches thus help to put more severe limit on the mixing.
On the other hand, the scalar mixing suppresses the DM annihilation into neutrinos, which is responsible for the DM production.
The smaller mixing requires a lighter DM and mediator to keep the canonical thermal relic cross section.
Therefore, the improvement of the Higgs invisible decay and heavy scalar searches indirectly limits the DM parameter space.

\section{Collider searches for extra scalars}
\label{sec:collider}
The mass spectrum of the extra scalars is crucial for the success of the DM production in this setup.
In particular, given the triviality and perturbative unitarity bounds,
the heavy scalars $A$ and $H^\pm$ have to be lighter than 350\,GeV in the minimal model,
which may be within reach of high-energy collider experiments.
In this section, we study the current LHC bounds on the extra scalars and estimate the future reach of the HL-LHC.
We restrict ourselves to the minimal model throughout this section and hence denote the extra scalars as $H$, $A$ and $H^\pm$.
Nonetheless, our analysis is performed in a model-independent way and relies only on the EW production cross section and decay branching fractions of the new scalars, so that most of the results can be easily reinterpreted in the extended model and other new physics models.
We will see the implication of the collider bounds for the extended model in Sec.\,\ref{Sec:comment}.

The model predicts the EW interacting new scalars at the weak scale.
These scalars are produced in pairs via the EW interactions as follows, due to the $Z_2$ symmetry and the absence of Yukawa couplings to quarks:
\begin{itemize}
    \item {$pp \to \gamma, Z \to  H^\pm H^\mp,\, A H$}
    \item {$pp \to  W^\pm \to A H^\pm,\, H H^\pm$}
    \item {$pp \to  H^\pm H^\pm j j $}
\end{itemize}
These pair-production cross sections are controlled only by the weak gauge coupling and the extra scalar masses.
On the other hand, specific signal cross sections depend on branching fractions of the produced scalars and hence on the Yukawa couplings $y_\nu^i$.
The main decay modes are given by\footnote{Throughout this paper, $\psi \nu_{\ell_i}$ means $\psi \overline{\nu}_{\ell_i} + \overline{\psi} \nu_{\ell_i}$ since the difference between them is not essential in our collider study.
For the same reason, we do not distinguish $\psi$ and $\bar\psi$ in the $H^\pm$ decay and express it as $H^\pm \to \psi \ell^\pm_i$, though $H^-$ decays as $H^- \to \bar\psi \ell^-$ in fact.}
\begin{itemize}
\item{ $H^\pm \to \psi \ell^\pm_i$, $H W^\pm$}
\item{ $A \to \psi \nu_{\ell_i}$, $H Z$}
\item{ $H \to \psi \nu_{\ell_i}$}
\end{itemize}
where $\ell_i$ and $\nu_{\ell_i}$ denote the charged leptons and the neutrinos in $L_i$ ($i=e,\mu,\tau$), respectively.
The decay modes of $H^\pm \to A W^\pm$ and $A \to H^\pm W^\mp$ are kinematically suppressed since the mass degeneracy ($m_A\simeq m_{H^\pm}$) is necessary to respect the constraint from the oblique parameters.
We thus neglect these decay modes in this paper.
The decay processes of $A \to \psi \nu_{\ell_i}$ and $H \to \psi \nu_{\ell_i}$ do not leave activities in the detector and are supposed to be constructed as missing momentum.

In general, the lepton portal couplings $y_\nu^i$ have an arbitrary flavor texture, which largely changes dominant signal processes and in turn the search potential of the model.
If two or more couplings have comparable size, however, a variety of lepton flavor violating processes are induced and the model is easily excluded.\footnote{For instance $\mu\to e \gamma$ is induced at one-loop level when both $y_\nu^e$ and $y_\nu^\mu$ are non-zero at the same time.}
In our analysis, therefore, we focus on three flavor structures:
\begin{enumerate}
\renewcommand{\labelenumi}{(\roman{enumi})}
    \item $|y^\tau_\nu| \gg |y^{e,\mu}_\nu|$ (tauphilic case),
    \item $|y^\mu_\nu| \gg |y^{e,\tau}_\nu|$ (muonphilic case),
    \item $|y^e_\nu| \gg |y^{\mu,\tau}_\nu|$ (electrophilic case),
\end{enumerate}
where lepton flavor violating processes can be sufficiently suppressed to be consistent with experimental results.
Those Yukawa structures can be realized by, for example, assigning the U(1)$_{L_i}$ charge to the DM so that only one coupling is allowed.\footnote{If one wants to explain the neutrino mass and mixing, one needs to further extend the model. We do not discuss concrete extension for the neutrino mass generation in this paper since it can be implemented independently of DM physics.}

In the following,
we reinterpret the searches for EW interacting new particles at the LHC Run\,2 in our model by exploiting existing public data set, and also estimate the future sensitivity at the HL-LHC.
In particular, we focus on mono-$Z$ search with a leptonic $Z$ decay, slepton search and same-sign $H^\pm$ search below.
Note that we examined the other searches, for instance, di-boson search, mono-$W$ search and hadronically decaying mono-$Z$ search~\cite{ATLAS:2021yqv,ATLAS:2018eui,ATLAS:2018nda}, and quantitatively found that they do not provide useful probes of our scenarios.

\subsection{Branching fractions}
\label{sec:BR}
Before collider analyses, we summarize branching fractions of the extra scalar decays.
The decay widths of the charged scalar are given by
\begin{align}
    \Gamma(H^\pm\to HW^\pm) &= \frac{1}{8\pi} \frac{m_{H^\pm}^3}{v^2} \, \lambda(1,m_H^2/m_{H^\pm}^2,m_W^2/m_{H^\pm}^2)^{3/2} ,\\
    \Gamma(H^\pm\to \psi \ell^\pm_i) &= \frac{|y_\nu^i|^2 m_{H^\pm}}{8\pi} \, \lambda(1,m_\psi^2/m_{H^\pm}^2,m_{\ell_i}^2/m_{H^\pm}^2)^{3/2},
\end{align}
where $\lambda(x,y,z)\equiv(x-y-z)^2-4yz$ denotes the K\"all\'en function.
Those of the heavy neutral scalar $A$ are given by
\begin{align}
    \Gamma(A\to HZ) &= \frac{1}{4\pi} \frac{m_A^3}{v^2} \, \lambda(1,m_H^2/m_A^2,m_Z^2/m_A^2)^{3/2} ,\\
    \Gamma(A\to \psi \nu_{\ell_i}) & = \frac{|y_\nu^i|^2 m_A}{8\pi} \, \lambda(1,m_\psi^2/m_A^2,0)^{3/2} .
\end{align}

For each extra scalar, there is a relation as $\BR{H^\pm\to HW^\pm}+\BR{H^\pm\to \psi \ell^\pm_i}=1$ (and the same applies for the neutral scalar $A$) since there are only two decay modes.
On the top of that, there is a close relation between the branching fractions of $A$ and $H^\pm$,
\begin{equation}
    \BR{H^\pm\to HW^\pm} \simeq \BR{A\to HZ} + {\cal O}\left(\frac{m_Z-m_W}{m_{H^\pm}}\right),
    \label{Eq:HpA}
\end{equation}
given $m_{H^\pm}\simeq m_A > m_{Z,W}$.
This implies that the collider bound on $H^\pm$ can be cast on the bound on $A$ and vice versa.
Indeed, this relation is useful to effectively probe the whole parameter space, which we will see in Sec.~\ref{sec:Result}.

In Fig.\,\ref{Fig:BR} we plot the contour lines for BR$(H^\pm\to\psi e^\pm)$ with $(m_H,m_\psi)=(1,1)$\,GeV (light green) and $(m_H,m_\psi)=(50,10)$\,GeV (blue).
The solid, dashed, dotted and dash-dotted lines correspond to BR$(H^\pm\to\psi e^\pm)=0.1,~0.4,~0.7$ and $0.9$, respectively.
We have the same result for the other two coupling structures.
For $m_H=50$\,GeV, $m_{H^\pm}\simeq130$\,GeV is a kinematic threshold in the $H^\pm \to HW^\pm$ decay and thus BR($H^\pm\to \psi e^\pm$) approaches to 1 even with the small Yukawa coupling.
As the charged scalar is heavier, it tends to decay into $HW^\pm$ since this decay is triggered mainly by the large quartic coupling $\lambda_3\simeq 2m_{H^\pm}^2/v^2 = {\cal O}(1)$.

\begin{figure}[t]
\begin{center}
\includegraphics[width=17em]{figs/BR.pdf}
\caption{
\label{Fig:BR}
Contours for BR($H^\pm\to \psi e^\pm$) with two benchmark values of $m_H$ and $m_\psi$.
The solid, dashed, dotted and dash-dotted lines correspond to BR$(H^\pm\to\psi e^\pm)=0.1,~0.4,~0.7$ and $0.9$, respectively.
See the text for further details.
}
\end{center}
\end{figure}

\subsection{Mono-$Z$ search}
\label{sec:mono_Z_lepton}
It is pointed out in Ref.~\cite{Belanger:2015kga} that the mono-$Z$ signature with a subsequent leptonic decay provides a powerful tool to search for the inert scalars via $pp\to A H \to HH+Z$ production.
The authors of Ref.~\cite{Belanger:2015kga} reinterpret in the inert doublet DM model the LHC Run 1 results with $20.3\,{\rm fb}^{-1}$ searching for the Higgs invisible decay~\cite{ATLAS:2014hzd}
and show that this process can provide the leading constraint in a certain parameter space.

Since the scalar sector of our model resembles that of the inert doublet model, the mono-$Z$ search can be effective in testing our model.
In this section, we examine the sensitivity by exploiting the Run\,2 data with 36\,fb$^{-1}$~\cite{ATLAS:2017nyv}\footnote{The ATLAS collaboration report the new analysis with the full Run\,2 data~\cite{ATLAS:2021gcn}.
While their pre-selection cuts are straightforward to introduce, they use boosted decision tree (BDT) techniques in the end and it is difficult to apply their result to our analysis.
The CMS collaboration also perform the similar analysis in Ref.\,\cite{CMS:2020ulv}.
However, there exist no available data in the HEPdata repository.
In this paper we instead make use of the older Run\,2 data with 36\,fb$^{-1}$\cite{ATLAS:2017nyv} where the BDT is not employed and the corresponding HEPdata is available.},
that looks for the mono-$Z$ production which subsequently decays into $l\overline{l}$ where $l=e,\mu$ associated with large transverse missing energy ($E_T^{\rm{miss}}$).
Note that the analysis of the mono-$Z$ signature is independent of the flavor ansatz and thus the results obtained in this subsection are common to every flavor structure.

In our analysis, 200K signal events are first generated in $pp\to AH\to ZHH\to l\overline{l} HH$ with {\sc\small MadGraph}5\_a{\sc\small MC}@{\sc\small NLO}~\cite{Alwall:2014hca} for a given set of $H$ and $A$ masses and,
for later convenience, the generated cross section is appropriately rescaled to obtain the cross section corresponding to BR$(A\to HZ)=1$.
Then the kinematic cuts given in Ref.~\cite{ATLAS:2017nyv} are applied to the LHE output to obtain the signal numbers in each $E_T^{\rm{miss}}$-bin ($N_i$).
Based on the obtained number of signal events, we calculate a chi-square function in the $i$-th bin as $\chi^2_i=N_i^2/{\delta N_i^2}$,
where the uncertainty $\delta N_i$ in each bin is evaluated by the sum in quadrature of the uncertainties of the expected and observed events, which are both provided by the experimental paper.
In the statistical analysis, we appropriately combine the chi-square of the adjoining bins such that the sensitivity can be maximized;
more concretely, we define the following quantity,
\begin{equation}
    \hat\chi^2 \equiv \underset{i\leq j}{\rm Max} \left( \chi^2_{ij}/\chi^2_{95,j-i+1} \right),
\end{equation}
where $\chi^2_{ij} \equiv \sum\limits_{\alpha=i}^j \chi^2_\alpha$ and $\chi^2_{95,n}$ is the value of $\chi^2$ corresponding to $95\%$ CL with $n$ degrees of freedom (namely, $n$ equals to the number of combined bins).
The values of $\chi^2_{95,n}$ are taken from the PDG \cite{Zyla:2020zbs}.
Then, the 95\% CL upper limit on the branching ratio, BR$(A\to HZ)_{95\%}$, is calculated by solving $\hat\chi^2 \times {\rm BR}(A\to HZ)_{95\%}^2=1$.

\begin{figure}[t]
\begin{center}
\includegraphics[width=20em]{figs/AZH.pdf}
\caption{
\label{Fig:monoZ}
Upper limits on BR($A\to HZ$) from mono-$Z$ search with $m_H=1$\,GeV (blue) and 50\,GeV (red).
The solid, dashed and dotted lines correspond to the upper limits with 36\,fb$^{-1}$ (solid) and 139\,fb$^{-1}$ (dashed), and future sensitivity with 3\,ab$^{-1}$ (dotted).
}
\end{center}
\end{figure}
In Fig.~\ref{Fig:monoZ}, we show the upper limits on BR($A\to HZ$) from the mono-$Z$ search for $m_H=1$\,GeV (blue) and $m_H=50$\,GeV (red).
The solid line corresponds to the bound with the luminosity of 36\,fb$^{-1}$.
The region above the line is excluded.
The dashed and dotted lines are the expected sensitivity with 139\,fb$^{-1}$ and the HL-LHC projection with 3\,ab$^{-1}$, respectively.
These expected sensitivities are calculated based on the so-called $\sqrt{L}$ scaling, namely the assumption that the significance glows as $\sqrt{L}$.\footnote{
The $\sqrt{L}$ rule looks valid once we compare the expected upper limits on BR($h\to {\rm{inv}}$) in Refs.~\cite{ATLAS:2017nyv,ATLAS:2021gcn}.}
The 36\,fb$^{-1}$ constraint for $m_H=50$\,GeV is so weak that one does not find it in the figure.
Note that the exclusion limit obtained in Ref.\,\cite{ATLAS:2017nyv} is weaker than their expectation by about 1$\sigma$.
On the other hand the latest ATLAS result with the Run\,2 full data~\cite{ATLAS:2021gcn} provides a slightly better constraint than the expectation.
Therefore our expected 139\,fb$^{-1}$ limit would be conservative compared with that in the experimental paper.
For this reason, we take our extrapolated 139\,fb$^{-1}$ line as a current upper limit in this paper.

\subsection{Slepton search}
\label{sec:slepton}
The mono-$Z$ search loses its sensitivity when $A\to HZ$ is subdominant and $A\to \psi \nu_{\ell_i}$ is dominant.
In this case, however, $H^\pm\to \psi\ell^\pm_i$ becomes dominant in the charged scalar decay.
Since the charged scalar has the same quantum number as left-handed charged sleptons, the conventional slepton searches can work well.
The bounds from these searches are lepton-flavor dependent.
Thus, we discuss the tau, muon and electrophilic cases separately.

\paragraph{Tauphilic case}
Currently, the most stringent bound is set by the CMS collaboration with the LHC Run\,2 data with 138\,fb$^{-1}$~\cite{CMS:2022rqk}.
Their result excludes a left-handed stau $\tilde{\tau} _L$ for $115\,{\rm GeV}\le m_{\tilde{\tau} _L} \le 340\,$GeV assuming that it decays exclusively to a tau lepton and a massless neutralino.
There is a small uncovered mass window in 90\,GeV $\le m_{\tilde{\tau} _L} \le$115\,GeV.
This low mass window will be closed with the luminosity of $400\,$fb$^{-1}$ assuming the $\sqrt{L}$ scaling in significance.
The CMS paper provides the cross section limits with $m_{\tilde{\chi}^0}=1,\,10,\,20,\,50$\,GeV.
The neutralino mass dependence is mild in the heavy chargino region, but it shows up in the lighter region since the neutralino mass considerably affects the visible momentum of $\tau$.

In our model, the signal cross section is proportional to BR($H^\pm \to \psi \tau^\pm$)$^{2}$.
We can therefore obtain an upper limit on ${\rm BR}(H^\pm \to \psi \tau^\pm)$ for a given set of the DM and charged scalar masses by comparing the signal cross section directly with the cross section limits in Ref.~\cite{CMS:2022rqk}.
The resulting upper limits on BR($H^\pm \to \psi \tau^\pm$) are shown in Fig.\,\ref{Fig:combined_result} with blue lines for $m_\psi=1$\,GeV (left) and $m_\psi=10$\,GeV (right).
The blue regions are excluded.
Based on the $\sqrt{L}$ scaling the HL-LHC prospect is shown in a dotted line.

\paragraph{Electrophilic and muonphilic cases}
It is straightforward to extend the above analysis to the light flavor cases.
The cross section limits on the left-handed selectron and smuon are read from Ref.\,\cite{CMS:2018eqb}\footnote{Although the ATLAS collaboration released the Run\,2 full data, detailed cross section limits for the individual chirality are not available~\cite{ATLAS:2019lng,ATLAS:2019lff}.} and we derive the upper bounds on the branching fractions in the same manner as in the tauphilic case.
The resulting upper limits and prospects are shown with blue lines in Fig.\,\ref{Fig:combined_result} for $m_\psi=1$\,GeV (left) and $m_\psi=10$\,GeV (right).
The blue regions are excluded by the 36\,fb$^{-1}$ data.
Our expected limit with 139\,fb$^{-1}$ and the HL-LHC prospect can be obtained by the $\sqrt{L}$ scaling.
One can see in the figure that there is no viable low mass window.
It should be noted that the full Run\,2 analysis with 139\,fb$^{-1}$~\cite{CMS:2018eqb} provides a much stronger constraint than our expected limit with 139\,fb$^{-1}$, which is obtained based on the simple luminosity scaling of the 36\,fb$^{-1}$ result.
Hence, the estimated HL-LHC prospect would also be conservative.

\begin{figure}[p]
\begin{center}
\includegraphics[width=20em]{figs/ta1.pdf}
\includegraphics[width=20em]{figs/ta2.pdf}
\includegraphics[width=20em]{figs/mu1.pdf}
\includegraphics[width=20em]{figs/mu2.pdf}
\includegraphics[width=20em]{figs/e1.pdf}
\includegraphics[width=20em]{figs/e2.pdf}
\caption{
\label{Fig:combined_result}
The current collider constraints on BR($H^\pm\to \psi\ell^\pm_i$) with $(m_H,\,m_\psi)=($1\,GeV,~1\,GeV) (left panels) and $(m_H,\,m_\psi)=($50\,GeV,~10\,GeV) (right panels).
The plots correspond to the tauphilic, muonphilic and electrophilic cases from top to bottom.
The solid, dashed and dotted lines represent the current constraints or the expected sensitivities for the corresponding searches with the luminosity of 36\,fb$^{-1}$, 139\,fb$^{-1}$ and 3\,ab$^{-1}$, respectively.
The blue regions are excluded by the slepton searches, while the green regions by the mono-$Z$ search.
Note that the mono-$Z$ bounds are model-dependent and applicable only to the minimal model.
The purple regions are excluded by the perturbativity requirement in the minimal model.
}
\end{center}
\end{figure}

\subsection{Same-sign $H^\pm$ search}
\label{sec:same_sign}
A remarkable consequence of the light lepton portal DM is the large quartic couplings, which are required to create the EW scale mass splitting of the extra scalars.
This results in an interesting process, namely the same-sign $H^\pm$ production associated with quark jets~\cite{Aiko:2019mww} since the production amplitude is proportional to $\lambda_5\simeq -{\cal O}(1)$.
Since the charged scalar in our model decays into DM and charged leptons, the same-sign lepton events are good signals.

\paragraph{Electrophilic and muonphilic cases}
Both ATLAS and CMS collaborations measure the same-sign $W$ pair production followed by their subsequent decays into electrons and muons~\cite{CMS:2017fhs,ATLAS:2019cbr,CMS:2020etf}.
The main aim of these papers is measurement of the pair-production cross section via vector boson fusion, which is in good agreement with the SM prediction.
Nonetheless, we can utilize their data to obtain limits on the same-sign $H^\pm$ production.

It follows from Fig.\,2 of Ref.\cite{ATLAS:2019cbr} that
all of electroweak and strong $W^\pm W^\pm jj$, non-prompt,
$e/\gamma$ conversion can be sizable background.
Especially the non-prompt background is difficult for the theorists to simulate but others are possible in principle.
Although the CMS also releases the full Run\,2 result \cite{CMS:2020etf}, the BDT is used in their analysis and it is not easy to reinterpret their results in our model.
Therefore we will derive the sensitivity based on Ref.\,\cite{ATLAS:2019cbr} where the detailed information of kinematic cuts is available.

The experimental data is available in terms of the same-sign lepton (SSL) invariant mass $m_{ll}$.
In our model $pp\to H^\pm H^\pm jj$ contributes to the same-sign light lepton events via subsequent charged scalar decays.
The contribution from the gauge decay $H^\pm\to W^\pm H\to l\nu H$ ($l=e, \mu$) is suppressed by small branching ratios of $W^\pm\to l \nu_l$ and thus neglected.
On the other hand,
$pp\to H^\pm H^\pm jj \to l^\pm l^\pm \psi\psi jj$ can largely contribute to the signal region.
After imposing the kinematic cut of Ref.\,\cite{ATLAS:2019cbr}, the number of signal events in each $m_{ll}$ bin is calculated.
We then perform the statistical analysis based on the optimization of the bin selection as described in Sec.\,\ref{sec:mono_Z_lepton}.
We found that the current constraint is weak and does not appear in Fig.\,\ref{Fig:combined_result}.
Therefore we only show the HL-LHC prospect for BR($H^\pm \to \psi l^\pm$) with red lines.
Because of the large $m_{jj}$ requirement, we have the better acceptance for larger $m_{H^\pm}$.
As a result the sensitivity does not largely diminish for heavy $H^\pm$ despite the decreasing production cross section with increasing $m_{H^\pm}$.

It is noted that Ref.\cite{ATLAS:2019cbr} combines the electron and muon events to construct $m_{ll}$ since they are interested in the $W$ boson decay.
In our model, on the other hand, $H^\pm$ can only decay into either electron or muon depending on the flavor structure.
We can therefore reduce the background by a factor of 4 by focusing only on the same-sign specific-flavor lepton events, which improves the sensitivity by a factor of $\sqrt{2}$ in terms of BR($H^\pm\to \psi l^\pm$).
The improved prospects are shown with orange lines in Fig.\,\ref{Fig:combined_result}.

\paragraph{Tauphilic case}
In the tauphilic case,
the same-sign electron or muon events are suppressed in number due to the small branching ratio BR($\tau\to l\overline{\nu_l}\nu_\tau$), making it difficult to probe the scenario in this channel.
As for the same-sign tau signals, there is no experimental search.
On the theoretical side, Ref.\,\cite{Aiko:2019mww} considered such signal events with a pair of hadronically decaying same-sign taus based on simplified SM background estimation.
However, since the smallness of the background event number is the key to enhancing the sensitivity in this search,
more careful assessment of the SM backgrounds including the effect of the non-zero mistagging rate $\epsilon_{j\to \tau_h}$ would be necessary.
To be conservative, we do not consider the same-sign $H^\pm$ signal in this case.

\subsection{Summary of the current bounds and future sensitivity}
\label{sec:Result}
In Fig.\,\ref{Fig:combined_result} we summarize the LHC constraints and HL-LHC prospects in terms of $m_{H^\pm}$ and BR$(H^\pm\to \psi\ell^\pm_i)$ assuming $m_{H^\pm}=m_A$.
The plots for tauphilic, muonphilic and electrophilic cases are shown in the figure from top to bottom.
The shaded regions are excluded by the current LHC results.
We choose $m_H=m_\psi=1$\,GeV in the left panels, while $m_H=50$\,GeV and $m_\psi=10$\,GeV in the right panels.
The results for $m_H=m_\psi=10$\,GeV do not largely differ from the left panels and thus are omitted.
The perturbativity requirement (purple) restricts the charged scalar mass to $m_{H^\pm} \lesssim 350$\,GeV as discussed in Sec.~\ref{sec:LP}.

Blue lines show the upper bounds on BR$(H^\pm\to \psi\ell^\pm_i)$ from the slepton searches.
The bounds are still weak in the electrophilic and muonphilic cases
since we can only use the older data with 36\,fb$^{-1}$.
If our expected limit with 139\,fb$^{-1}$ is valid,
BR$(H^\pm\to \psi\ell^\pm_i)=1$ will be mostly excluded with the 139\,fb$^{-1}$ data.
In the tauphilic case, we can utilize the latest 139\,fb$^{-1}$ data and the stau-like region, i.e. BR$(H^\pm\to \psi\tau^\pm)\simeq1$, is almost covered with the current data
except for the light mass region below 110\,--\,130\,GeV.

Light green lines represent the mono-$Z$ bounds, which provide the {\it lower} limits on BR$(H^\pm\to \psi\ell^\pm_i)$.
The green regions are excluded currently.
We see that the mono-$Z$ bounds are very complementary to the slepton searches.
To draw this bounds, we translate the upper bounds on BR$(A\to HZ)$ obtained in Sec.~\ref{sec:mono_Z_lepton} by using the relation between the branching ratios Eq.~(\ref{Eq:HpA}).
Hence the mono-$Z$ bounds in this plane are model-dependent and applicable only to the minimal model.

It is observed that by combining the slepton and mono-$Z$ searches, the minimal model is efficiently tested.
The current bounds depend on the masses of $H$ and $\psi$ and with $m_H=m_\psi=1$\,GeV, $m_{H^\pm} \lesssim 200$\,GeV is already excluded in every flavor case except for the light stau-like region in the upper-left corner of the figure.
With $m_H=50$\,GeV and $m_\psi=10$\,GeV, there are still large allowed region.
The remaining parameter space can be completely probed by the slepton and mono-$Z$ searches at the HL-LHC with 3\,ab$^{-1}$.
One may notice that in the right panels, BR$(H^\pm\to \psi\ell^\pm_i)\le 0.2$ in $m_{H^\pm}\le 140$\,GeV will not be covered even at the HL-LHC.
In such a region, however, $H^\pm\to  W^\pm H$ is kinematically prohibited since $m_H=50$\,GeV.
Thus BR$(H^\pm\to \psi\ell^\pm_i)\simeq1$ is predicted and BR$(H^\pm\to \psi\ell^\pm_i)\le 0.2$ never happens in our setup.

We also plots the HL-LHC sensitivity of the same-sign $H^\pm$ signals with red and orange lines, which can be a good prediction in the minimal model.
It follows that the HL-LHC has the ability of testing the large mass splitting of the extra scalars behind the light lepton portal DM.

\begin{figure}[p]
\begin{center}
\includegraphics[width=20em]{figs/ytau.pdf}
\includegraphics[width=20em]{figs/ymu.pdf}
\includegraphics[width=20em]{figs/ye.pdf}
\caption{
\label{Fig:DM_params}
The constraints from the collider and DM searches in the ($m_\psi, y_\nu^i$) plane with $m_{H^\pm}=250\,$GeV for
tauphilic (upper left), muonphilic (upper right) and electrophilic (lower) cases respectively.
The current LHC constraints of the slepton (blue) and mono-$Z$ (green) searches are taken into account.
The shaded regions are excluded.
For details of the constraints, see the main text and Appendix \ref{sec:DM-limits}.
}
\end{center}
\end{figure}

\section{Implication for DM parameter space}
\label{sec:DM}
We have elaborated on the collider bounds on the extra scalars.
In this section, we discuss the implication of the collider bounds for the DM parameter space, where the DM abundance can be thermally produced.
We consider both the minimal model and singlet extension which were both recapitulated in Sec.~\ref{sec:setup}.

\subsection{Minimal model}
The DM phenomenology in the minimal model is described mostly by four parameters: $y_\nu^i$, $m_\psi$, $m_H$ and $m_{H^\pm}$.
Among them, only three parameters $y_\nu^i$, $m_\psi$, $m_H$ determine the DM thermal abundance.
In Fig.~\ref{Fig:DM_params} we show with red lines the contours for the values of $m_H$ that are required to thermally produce the observed DM abundance.
There are also charged scalar exchanging processes controlled by the same Yukawa couplings $y_\nu^i$.
While these processes are not responsible for the DM production, the charged scalar participates in a variety of visible processes of the DM.

In Fig.\,\ref{Fig:DM_params} we summarize the constraints on this DM candidate in the ($m_{\psi}$, $y^i_\nu$) plane with $m_{H^\pm}=250$\,GeV for each flavor case (i)-(iii).
The colored region is excluded.
The primary constraints come from CMB+BBN bounds on $\Delta N_{\rm{eff}}$ (gray), Fermi-LAT gamma-ray search with dwarf spheroidal galaxies (pink), AMS positron measurement (orange), Planck CMB (brown), direct detection (DD) via spin-independent DM-nucleon scattering (yellow) and supernova (SN) cooling (magenta).
The LEP bound (purple) is also examined in the electrophilic case.
See Appendix \ref{sec:DM-limits} for further details.
The DM constraints except for the direct detection and LHC bounds are independent of the DM production and hence mass of $H$.
The charged scalar mass is fixed at 250 GeV in Fig.\,\ref{Fig:DM_params}.
Dependence of the indirect detection, CMB, SN cooling and LEP bounds on $m_{H^\pm}$ is simple since
these are basically set on the combination of $y_\nu^i/m_{H^\pm}$.
When we consider $m_{H^\pm}=125$\,GeV, for example, the constraints on the Yukawa coupling are uniformly stronger by a factor of 2.
The $N_{\rm eff}$ bound is independent of the charged scalar mass and gives the lower bound on the DM mass in all cases.
The direct detection bound has some dependence on $m_H/m_A$ because of the sizable $Z$ penguin contribution in the spin-independent (SI) DM-nucleon scattering.\footnote{The $Z$ penguin contribution was overlooked in Ref.\,\cite{Okawa:2020jea}.}
In the cyan region $\psi$ cannot correctly be produced by the thermal freeze-out mechanism.
In this region, the mass of $H$ required for the thermal production is so light that $\psi$ cannot be the lightest $Z_2$-odd particle as far as we assume the standard thermal history.

Let us see the current LHC constraints in this plane.
In Fig.\,\ref{Fig:DM_params} we translate the LHC bounds on the branching ratios in Figs.~\ref{Fig:monoZ} and \ref{Fig:combined_result} into the constraints in this parameter space by fixing the light scalar mass $m_H$ to explain the observed DM abundance and assuming $m_{H^\pm}=m_A$.
We see that the parameter space with a large Yukawa is excluded by the slepton searches (blue) and with a small Yukawa by mono-Z search (green).
It is also observed that $\mathcal{O}(1)$ Yukawa coupling is necessary to be consistent with the current collider constraint for $m_{H^\pm}=250\,$GeV.
When a heavier $H^\pm$ is considered, the collider bounds become weaker and with $m_{H^\pm}=300\,$GeV, for example, $y_\nu^i \gtrsim 0.4$ is allowed, which can be read from Figs.\,\ref{Fig:BR} and \ref{Fig:combined_result}.
Further with $m_{H^\pm}=350\,$GeV the collider constraint does not appear on this plane and the broad parameter space is available currently.
Note however that the combination of the slepton and mono-$Z$ searches will be able to probe the full parameter space at the HL-LHC even if the heaviest charged scalar $m_{H^\pm}=350\,$GeV is considered.

\begin{figure}[tp]
\begin{center}
\includegraphics[width=19.9em]{figs/ex_tau.pdf}
\includegraphics[width=20.1em]{figs/ex_mu.pdf}\\
\includegraphics[width=22em]{figs/ex_e.pdf}
\caption{
\label{Fig:extended_result}
The collider bounds of the extended model in the $(m_{H^\pm},\sin\theta)$ plane.
The current Higgs invisible decay bound is shown with gray solid lines and the future prospect at the HL-LHC with gray dashed lines.
The orange and blue regions are excluded by the slepton searches with the corresponding luminosity data
and assuming $m_s=m_\psi=0.01$\,GeV and $m_s=m_\psi=0.1$\,GeV respectively.
For the electrophilic and muonphilic cases,
the light green regions are excluded with 139\,fb$^{-1}$.
The HL-LHC prospect of the stau search is shown in a red dashed line and the left of the line will be fully tested.
See the main text for further details.
}
\end{center}
\end{figure}

\subsection{Singlet extension}
\label{Sec:comment}
As discussed in Sec.~\ref{sec:setup3},
we can extend the minimal model by adding the singlet scalar, thereby significantly relaxing the perturbativity constraint.
In the extended model, the lightest scalar $s$ is singlet-like and mixes with one neutral scalar in the extra doublet.
The scalar mixing induces the $h\to ss$ decay which contributes to the Higgs invisible decay width.
The current LHC bound on the Higgs invisble decay restricts the mixing to be as small as $\theta \lesssim {\cal O}(0.1)$ (see Fig.~\ref{Fig:extended_result}).
Since the additional scalar decays via the gauge interactions such as $A\to Z\,s$ and $H^\pm\to W^\pm s$ are suppressed by the small scalar mixing,
the mono-$Z$ search is not useful to test the extended model.
BR($H^\pm\to \psi\ell_i$) is instead enhanced compared to the minimal model and the charged scalar is slepton-like in a large part of parameter space.
Thus we only focus on the slepton searches.
Below we assume for simplicity the mass degeneracy among the extra scalars in the additional doublet, $H^\pm$, $A$ and $h_2 (\simeq H)$.

In Fig.\,\ref{Fig:extended_result}, we show the current constraints on the mixing angle and heavy scalar mass from the invisible Higgs decay and slepton searches.
The gray shaded regions are excluded by the current ATLAS limit BR$(h\to{\rm{inv}})\le0.13$.
This bound will be improved at the HL-LHC to BR$(h\to {\rm{inv}})\le0.05$ at $95\%$ CL \cite{Cepeda:2019klc} which is depicted with dashed gray lines.
We also draw the constraints from the slepton searches with $m_s=m_\psi=0.01$GeV (orange) and $m_s=m_\psi=0.1$GeV (blue).
These constraints are recast by using the slepton bounds in Fig.~\ref{Fig:combined_result}.
In drawing the exclusion lines, we fix $y_\nu^i \sin\theta=0.006$ for the orange and $y_\nu^i \sin\theta=0.017$ for the blue, which are both chosen to reproduce the observed DM abundance.
For $i=e,\,\mu$, there is also the full Run\,2 data with the 139\,fb$^{-1}$ data \cite{ATLAS:2019lff}.
We thus plot with light green the lower limit for a massless neutralino $m_{\tilde{e}, \tilde{\mu}} \gtrsim 550$\,GeV~\cite{ATLAS:2019lff} since BR$(H^\pm\to \psi\ell^\pm_i)\simeq1$ holds to good approximation with the small $\sin\theta$.
The light green regions are excluded by this data.
It should be noted that the light green lines have very little dependence on $m_\psi$, $m_s$ and $y_\nu^i \sin\theta$ in the parameter space of our interest.
Therefore, the exclusion lines with $m_s=m_\psi=0.01$GeV and $m_s=m_\psi=0.1$GeV are degenerate for the light green, allowing to only show the single line for the 139\,fb$^{-1}$ result.
Furthermore the HL-LHC projection \cite{ATLAS:2018diz} is shown with a red dotted line for $i=\tau$.
On the other hand, the HL-LHC projections for $i=e,\,\mu$ are not shown since the corresponding sensitivity studies are absent in the literature.

In the tauphilic case,
the current bound on the scalar mixing reads $\sin\theta\lesssim0.05$.
It will be improved to $\sin\theta\lesssim0.02$ at the HL-LHC.
Recalling that the replacement $y_\nu^\tau \to y_\nu^\tau \sin\theta$ converts the results of the minimal model into those of the extended model, we see from Fig.~\ref{Fig:DM_params} that the DM mass is upper limited: e.g. $m_\psi \lesssim 1$\,GeV assuming $y_\nu^\tau \lesssim 1$.
In the same way, the HL-LHC will be able to probe to $m_\psi \simeq 150$\,MeV.
In the electrophlic and muonphilic cases, the current bound reads $\sin\theta \lesssim 0.03$, which implies $m_\psi \lesssim 300$\,MeV assuming $y_\nu^{e,\mu} \lesssim 1$.

\section{Summary}
\label{Sec:summary}
We examined the capability of the LHC to probe the light mass region of lepton portal DM proposed in Ref.~\cite{Okawa:2020jea}.
The model is characterized by an extra doublet scalar field and a Dirac DM $\psi$ with its mass below 10\,GeV.
These new fields couple exclusively to the SM left-handed leptons via Yukawa interactions.
The DM abundance is thermally produced by its annihilation into active neutrinos.
To correctly produce the observed abundance, a light neutral scalar is required.
Such a light scalar is accommodated by tuning the scalar quartic couplings (minimal model), or by adding the singlet scalar that mixes with one of the neutral scalars in the new doublet (extended model).

In this paper, we investigated the current LHC constraints on and the HL-LHC prospect to this DM scenario.
The main process is pair production of the extra scalars via the EW interactions, followed by $H^\pm \to \psi \ell^\pm_i$ and/or $A\to HZ$ decays.
In particular, we brought the mono-$Z$ search and slepton searches at the LHC Run\,2 into play.
Given the complementarity of these searches,
we found that the current LHC results are sufficiently powerful to test a large part of the model parameter space, and the entire parameter space in the minimal setup will be covered at the HL-LHC.
We also suggested that the same-sign lepton channels can be an interesting prediction.
It should be emphasized that while our study is motivated by the light lepton portal DM, the results obtained here are fairly model-independent.
Therefore, the constraints on the branching fractions of the extra scalars in Figs.~\ref{Fig:monoZ} and \ref{Fig:combined_result} will be useful to examine other new physics models.
We also recast our collider bounds on the DM parameter space in the minimal and extended models and evaluated the impact of our studies.
Our analysis is based on a fast collider simulation tool, so that the expected sensitivities we showed in this paper are regarded as an estimate.
To evaluate more precise sensitivity, more dedicated simulation from the experimental side will be necessary.

As a final remark we leave a comment on a different mass regime $m_\psi\ge m_H$ which is incorporated in the parameter space of this model, but not considered here.
In this mass regime, the role of the DM and mediator is reversed, namely the light real scalar $H$ is a DM candidate and $\psi$ is a light mediator in the DM annihilation.
The collider physics is basically the same in this case, while the DM phenomenology differs considerably in the DM annihilation and at direct detection.
The details of the DM phenomenology in this mass region will be pursued in near future.

\section*{Acknowledgements}
S.I. enjoys the support from the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under grant 396021762-TRR\,257.
S.O. acknowledges financial support from the State Agency for Research of the Spanish Ministry of Science and Innovation through the ``Unit of Excellence Mar\'ia de Maeztu 2020-2023'' award to the Institute of Cosmos Sciences (CEX2019-000918-M) and from PID2019-105614GB-C21 and 2017-SGR-929 grants.
The work of Y.O. is supported by Grant-in-Aid for Scientific research from the MEXT, Japan, No. 19K03867.
S.I. would like to thank the warm hospitality at Universitat de Barcelona and Kindai University, KEK and Nagoya University where he stayed during the initial and last stage of this project.
S.I. also appreciate KIT for the computational resources.
S.O. is also grateful for the hospitality of the KIT where this work was initiated during his stay.

High Energy Physics - Phenomenology (hep-ph); High Energy Astrophysical Phenomena (astro-ph.HE); High Energy Physics - Experiment (hep-ex)