Compactified 2HDM under the Non-SUSY AdS instability conjecture
Extracted source text · arXiv 2512.16389
\documentclass[epsfig,12pt,onecolumn]{article}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{amsfonts}
\usepackage{url}
\usepackage{amssymb}
\usepackage{multicol}
\usepackage{authblk}
\usepackage{graphicx}
\usepackage{float}
\usepackage{caption}
\usepackage{xcolor}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{hyperref}
\usepackage{nameref}
\setcounter{MaxMatrixCols}{10}
%TCIDATA{OutputFilter=LATEX.DLL}
%TCIDATA{Version=5.50.0.2890}
%TCIDATA{<META NAME="SaveForMode" CONTENT="3">}
%TCIDATA{BibliographyScheme=Manual}
%TCIDATA{Created=Sun Oct 26 11:45:32 2003}
%TCIDATA{LastRevised=Saturday, February 01, 2025 11:12:09}
%TCIDATA{<META NAME="GraphicsSave" CONTENT="32">}
%TCIDATA{<META NAME="DocumentShell" CONTENT="Journal Articles\Standard LaTeX Article">}
%TCIDATA{Language=American English}
%TCIDATA{CSTFile=LaTeX article (bright).cst}
\textheight=700pt \textwidth=450pt \hoffset=-1truecm
\voffset=-3truecm \evensidemargin=-1cm \oddsidemargin=1cm
\setlength{\baselineskip}{30pt} \headsep=30pt
\renewcommand{\baselinestretch}{1.3}
\newtheorem{theorem}{Theorem}
\newtheorem{acknowledgement}[theorem]{Acknowledgement}
\newtheorem{algorithm}[theorem]{Algorithm}
\newtheorem{axiom}[theorem]{Axiom}
\newtheorem{case}[theorem]{Case}
\newtheorem{claim}[theorem]{Claim}
\newtheorem{conclusion}[theorem]{Conclusion}
\newtheorem{condition}[theorem]{Condition}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{criterion}[theorem]{Criterion}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{exercise}[theorem]{Exercise}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{notation}[theorem]{Notation}
\newtheorem{problem}[theorem]{Problem}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{solution}[theorem]{Solution}
\newtheorem{summary}[theorem]{Summary}
\newenvironment{proof}[1][Proof]{\textbf{#1.} }{\ \rule{0.5em}{0.5em}}
\makeatletter \@addtoreset{equation}{section}
\renewcommand{\theequation}{\thesection.\arabic{equation}}
\def \be{\begin{equation}}
\def \ee{\end{equation}}
\def \bea{\begin{eqnarray}}
\def \eea{\end{eqnarray}}
\def \nn{\nonumber \\ }
\newcommand{\nc}{\newcommand}
\nc{\al}{\alpha} \nc{\bib}{\bibitem} \nc{\la}{\lambda}
\nc{\C}{\mbox{\hspace{1.24mm}\rule{0.2mm}{2.5mm}\hspace{-2.7mm} C}}
\nc{\R}{\mbox{\hspace{.04mm}\rule{0.2mm}{2.8mm}\hspace{-1.5mm} R}}
\input{tcilatex}
\begin{document}
\title{\vspace{0cm}%
\rightline{\vspace
{0cm}} \textbf{Compactified 2HDM under the Non-SUSY AdS instability conjecture}\\}
\author[1,3]{M. A. Rbah%
\thanks{\href{mailto:Mohamedamin_rbah@um5.ac.ma}{Mohamedamin\_rbah@um5.ac.ma}}}
\author[1,3]{S. Saoud%
\thanks{\href{mailto:soulaimane_saoud@um5.ac.ma}{soulaimane\_saoud@um5.ac.ma}}}
\author[1,3]{R. Sammani%
\thanks{\href{mailto:rajae_sammani@um5.ac.ma}{rajae\_sammani@um5.ac.ma}}}
\author[1,2,3]{E. H. Saidi%
\thanks{\href{mailto:e.saidi@um5r.ac.ma}{
e.saidi@um5r.ac.ma}}}
\author[1,3]{R. Ahl Laamara%
\thanks{\href{mailto:r.ahllaamara@um5r.ac.ma}{
r.ahllaamara@um5r.ac.ma}}}
\affil[1]{\small LPHE-MS, Faculty of Sciences, Mohammed V University, Rabat, Morocco}
\affil[2]{\small Hassan II Academy of Science and Technology, Kingdom of Morocco}
\affil[3]{\small Centre of Physics and Mathematics, CPM-Morocco}
\maketitle
\begin{abstract}
We investigate how extra-dimensional dynamics influence the Higgs
sector phenomenology by compactifying a Two-Higgs-Doublet Model (2HDM)
coupled to 4D gravity on a circle $S^{1}$. The resulting
effective potential includes tree-level 2HDM interactions, one-loop
Coleman-Weinberg corrections from the Kaluza-Klein towers, and
a radion contribution inspired by the Goldberger-Wise mechanism. We
derive the full 3D effective action and show that, for the observed
Higgs mass $m_{h}=125$ GeV, the radion potential admits a stable
minimum, near-zero vacuum energy. By imposing the non-supersymmetric AdS
instability conjecture as a quantum gravity consistency requirement,
we obtain a model independent bound on the heavy Higgs sector, finding
that the additional scalar states must satisfy $M_{H}\gtrsim 680$
GeV to avoid an unstable AdS$_{3}$ vacuum. Our results demonstrate
how Swampland inspired constraints can yield sharp,
phenomenologically testable predictions for extended Higgs sectors.
\end{abstract}
%\tableofcontents
\section{Introduction}
\label{sec:Introduction} The discovery of a scalar boson with mass $%
125$ GeV at the LHC confirmed the Higgs mechanism as the origin of
electroweak symmetry breaking \cite{Aad,Chatrchyan_2012}. However,
remarkable as this achievement was, it did not resolve the long standing
issues of naturalness nor clarify the broader landscape of
physics beyond the Standard Model (BSM) \cite{PDG2023,arhrib2021new}. Among
the simplest BSM extensions is the Two-Higgs-Doublet Model
(2HDM), which supplements the Standard model by an additional $SU(2)_{L}$
doublet, and offers interesting phenomenology both in the scalar and flavor
sectors \cite{Branco2012,Ivanov2015,Hou:2024ibt} while remaining
economical in its parameter content. Yet, despite its appealing
structure, the 2HDM inherits the hierarchy problem and
motivates the exploration of mechnaisms that shield scalar masses
from large radiative corrections.
Compactifying higher-dimensional theories on a circle $S^{1}$ offers
such a possibility, as it allows us to develop a calculable
mechanism for investigating vacuum structure. The resulting 3D
effective field theory contains a radion field which parametrizes the size
of the compactified dimension and sets the compactification radius
\cite{Goldberger:1999uk,Goldberger:2000dv}. Quantum effects from
Kaluza-Klein towers, especially at one-loop contributions, can generate
non-trivial minima in the radion potential enabling dynamical
stabilization of the the compactification scale and connecting the
higher dimensional theory to low energy observables \cite%
{Coleman:1973jx,Das:2018radion}. Therefore, embedding the 2HDM in this
framework provides a controlled setting in which electroweak symmetry
breaking and radion stablization can be studied jointly.
Alongside these model-building considerations, Swampland
conjectures impose universal consistency conditions required of
any effective field theory to be compatible with quantum gravity. The
Weak Gravity Conjecture demands the existence of super-extremal
states to prevent the formation of stable black hole remnants \cite%
{ArkaniHamed:2007gg,Ooguri:2016pdq}, while the non-supersymmetric AdS
instability conjecture forbids any strictly stable AdS vacua as they
must decay either through brane nucleation partially or field-theoretic
processes \cite{Ooguri:2016pdq}. These ideas have recently been applied to
circle compactifications of the Standard Model, yielding constraints
on the masses of light particles through quantum-vacuum induced AdS$%
_{3}$ dynamics \cite%
{ArkaniHamed:2007gg,Ibanez:2017kvh,Castellano:2023}. Moreover, recent
progress in 3D gravity and higher spin theories has sharpened our
understanding of the relevance of Swampland constraints to lower dimensional
effective theories. This includes the demonstration of a finite 3D higher-spin gravity landscape and the full classification of AdS$_3$ gauge sectors~\cite{sammani2024finiteness,sammani2023higher}, the construction of new black-hole solutions in E6-extended 3D gravity~\cite{sammani2025black}, recent progress on the asymptotic and minimal Weak Gravity Conjecture in M-theory compactifications~\cite{charkaoui2024asymptotic,charkaoui2025minimal}, and the formulation of the higher-spin swampland conjecture for massive AdS$_3$ gravity~\cite{sammani2025higher}.
In this work, we apply this ensemble of ideas to a compactified
2HDM coupled to four-dimensional gravity on a circle. This yields a full
three-dimensional effective action, consisting of
radion-Higgs interactions, one-loop Coleman-Weinberg corrections from
Kaluza-Klein modes, and a radion potential, inspired by the Goldberger and
Wise mechanism. We then subject this setup to Swampland
consistency conditions. First, we examine whether the measured Higgs
mass, $m_{h}=125$ GeV, admits a non- AdS$_{3}$ vacuum compatible
with both radion stabilization and electroweak symmetry breaking, Next,
we explore a range of heavy Higgs masses $M_{H}\in
\{400,600,680,780\}$ GeV and impose the non-SUSY AdS instability
criterion to derive a model-independent lower bound given by $%
M_{H}\gtrsim 680$ GeV. Our
study thus illustrates how quantum gravity principles can constrain
the extended Higgs sectors and further affirms the connection
between extra-dimensional dynamics and low energy phenomenology.
To close this introduction, we outline the structure of this
paper. In Section~\ref{sec:ModelSetup}, we construct the four-dimensional
2HDM coupled to gravity and carry out the circle compactification to
obtain the three-dimensional effective action. In Section~\ref{sec:EffPot} ,
we develop the full radion-Higgs potential where we take into account all interactions, one-loop KK corrections, and a phenomenologically
motivated radion stabilization ansatz. In Section~\ref{sec:Swamp}, we
introduce the relevant Swampland conjectures and formulate the precise
consistency checks that our compactified model will be subject to. In
Section~\ref{sec:PhenImp} we apply these quantum-gravity consistency
conditions to both the measured Higgs mass of 125 GeV, as well as to a scan
of heavier Higgs masses. Finally, Section~\ref{sec:Discussion}
discusses the resulting implications for Higgs-sector phenomenology
and highlight promising directions for future investigations.
\section{Model Setup}
\label{sec:ModelSetup}
This section outlines the theoretical framework for our study. We begin with a review of the scalar potential and parameter space of the Two-Higgs-Doublet Model (2HDM) with experimental limits imposed, and then we embed the 2HDM as a four-dimensional theory of gravity, which we will utilize as the fundamental underpinnings for our analysis of radion-Higgs dynamics later.
\subsection{The Two-Higgs-Doublet Model Framework}
The Two-Higgs-Doublet Model (2HDM) builds on the Standard Model by adding an additional scalar doublet. The Higgs sector is enriched, giving rise to new sources of CP violation, possible dark matter candidates, and new Yukawa structures. To guarantee that the model does not allow for flavor-changing neutral currents, a discrete Z2 symmetry is imposed under which the two doublets behave differently. When this symmetry is softly broken, the scalar potential is still renormalizable and phenomenologically viable, and respects the richness of the dynamics of the extended Higgs sector.
Under a softly broken discrete \(Z_2\) symmetry (\(\Phi_1\to+\Phi_1,\;\Phi_2\to-\Phi_2\)), the most general CP-conserving, \(SU(2)_L\times U(1)_Y\) invariant scalar potential of the 2HDM is given by \cite{Branco2012,Ivanov2015}
\begin{equation}
\begin{aligned}
V_{tree} &=\,m_{11}^2\,\Phi_1^\dagger\Phi_1 + m_{22}^2\,\Phi_2^\dagger\Phi_2
- m_{12}^2\bigl(\Phi_1^\dagger\Phi_2+\text{h.c.}\bigr)\\
&\quad +\tfrac{\lambda_1}{2}\,(\Phi_1^\dagger\Phi_1)^2
+\tfrac{\lambda_2}{2}\,(\Phi_2^\dagger\Phi_2)^2
+\lambda_3\,(\Phi_1^\dagger\Phi_1)(\Phi_2^\dagger\Phi_2)\\
&\quad +\lambda_4\,(\Phi_1^\dagger\Phi_2)(\Phi_2^\dagger\Phi_1)
+\tfrac{\lambda_5}{2}\,\bigl[(\Phi_1^\dagger\Phi_2)^2+\text{h.c.}\bigr],
\end{aligned}
\end{equation}
where all \(m_{ij}^2\) and \(\lambda_i\) are real parameters, and terms proportional to \(\lambda_{6,7}\) are absent at tree level by the \(Z_2\) symmetry \cite{Branco2012}.
Each doublet can be decomposed as \cite{Haber1985,Davidson2005}
\begin{equation}
\Phi_i =
\begin{pmatrix}
\phi_i^+\\
\dfrac{v_i + \rho_i + i\,\eta_i}{\sqrt{2}}
\end{pmatrix},
\quad i=1,2,
\end{equation}
with vacuum expectation values \(v_i\), charged fields \(\phi_i^+\), CP-even scalars \(\rho_i\), and CP-odd scalars \(\eta_i\). Electroweak symmetry breaking enforces \(v\equiv\sqrt{v_1^2+v_2^2}=246\)\,GeV.
The real parameters \(\{m_{11}^2,m_{22}^2,m_{12}^2,\lambda_{1\mbox{–}5}\}\) are reduced by the two minimization conditions of \(V_{2\mathrm{HDM}}\), trading \(m_{11}^2\) and \(m_{22}^2\) for \(\{v_1,v_2\}\). The remaining seven physical parameters may be chosen as \(\{M_h,M_H,M_A,M_{H^\pm},\alpha,\tan\beta,m_{12}^2\}\), where \(\alpha\) is the CP-even mixing angle and \(\tan\beta= v_2/v_1\) \cite{Ivanov2015,Ferreira2015}.
Experimentally, the observed SM-like Higgs boson mass is
\begin{equation}
m_h \simeq (125.10\pm0.14)\,\mathrm{GeV},
\end{equation}
as compiled by the Particle Data Group \cite{PDG2023}.
Flavor physics, specifically the rare decay $B\to X_s\gamma$, provides a rich source of indirect bounds on the charged Higgs mass, being very sensitive to charged Higgs contributions at loop level. Indirect bounds are modified in the presence of vector-like quarks (VLQs), because the additional contributions to the effective operators that describe this process. Current analyses show that
\[
m_{H^\pm} \;\gtrsim\; 400~\text{GeV (singlet VLQ)},
\qquad
m_{H^\pm} \;\gtrsim\; 450~\text{GeV (doublet VLQ)},
\]
under 95\% CL in 2HDM-II+VLQ scenarios\cite{Benbrik2024}.
These results show that, despite still being theoretically allowed in minimal 2HDM setups, low charged-Higgs masses are very strongly constrained when VLQ effects are included.
Complementary information comes from direct collider searches, via di-Higgs production in the alignment limit, which is where the observed 125 GeV Higgs boson appears to behave Standard Model-like, and the additional CP-even or CP-odd scalar states contribute substantially to the di-Higgs production cross section. Searches at the LHC show that new scalar states associated with top-Yukawa-enhanced scenarios with mass below $\sim 300$–$400$ GeV are strongly disfavored\cite{Iguro2023}. Accordingly, the collider bounds reinforce the flavor bounds and effectively move the accessible heavy Higgs spectrum to several hundred GeV.
\bigskip
Having examined the typical 2HDM framework in the context of the Standard Model, we will move away from this framework and place the scalar sector in the context of a four-dimensional theory with dynamical gravity. In doing so we depart from the standard exposition as we are now interested in the relationship between the extended Higgs sector and gravity as a dynamical process, we begin the study of a radion–Higgs phenomenology in compactified scenarios. The starting point is a theory described by the Einstein–Hilbert term and a cosmological constant, augmented by the scalar sector of the Two–Higgs–Doublet Model. The total four-dimensional action is given by
\begin{equation}
\label{eq:4D_action}
S_{4D}
= \int d^4x\,\sqrt{-g_{(4)}}\,
\biggl[
\frac{M_4^2}{2}\,\mathcal{R}_{(4)} - \Lambda_4
+ \sum_{i=1}^2 (D_M\Phi_i)^\dagger (D^M\Phi_i)
- V_{tree}(\Phi_1,\Phi_2)
\biggr],
\end{equation}
where \(M_4\) denotes the Planck mass, \(\mathcal{R}_{(4)}\) is the four-dimensional Ricci scalar, and \(\Lambda_4\) is a negative cosmological constant.
The covariant derivative acting on each scalar doublet is defined as
\begin{equation}
D_M = \partial_M
- i\,g\,W_M^a T^a
- i\,g'\,B_M Y,
\end{equation}
where \(T^a = \sigma^a/2\) are the generators of \(SU(2)_L\), \(Y=1\) is the hypercharge, and \(M=0,1,2,3\). The scalar fields \(\Phi_1\) and \(\Phi_2\) transform as weak doublets with hypercharge \(Y=+1/2\), and under a local gauge transformation they obey
\begin{equation}
\Phi_i(x) \;\to\; e^{i\alpha^a(x)T^a + i\beta(x)Y}\,\Phi_i(x).
\end{equation}
The scalar sector Lagrangian thus takes the compact form:
\begin{equation}
\mathcal{L}_{\text{scalar}} =
\sum_{i=1}^2 (D_M\Phi_i)^\dagger (D^M\Phi_i)
- V_{tree}(\Phi_1,\Phi_2),
\end{equation}
which is directly included in the total action \eqref{eq:4D_action}. The structure encapsulates both gravitational and electroweak scalar dynamics in a consistent four-dimensional field-theoretic framework.
\subsection{Circle Compactification of the 2HDM+GR Action}
\paragraph{}
Compactifying four dimensional field theories on a circle offers a natural framework to study the vacuum structure of lower dimensional effective theories. In particular, the effective potential arising from compactification \( V_{\text{eff}}(R) \) which captures the fluctuations of the radion and the quantum corrections brought in from Casimir energies or from a higher-dimensional cosmological constant, gives the stability of the compactified geometry. For lower dimensional scalar sectors, like that of the 2HDM, compactification has phenomenological relevance. The radion couples to the Higgs fields, thereby modifying their potential, and possibly shifting their vacuum expect values or their mass spectrum. The radion–Higgs potential can have nontrivial minima that lead to effective three dimensional Anti–de Sitter (AdS) or de Sitter (dS) spacetimes. In addition to expanding the vacuum structure, such systems provide a new test case for quantum gravity conjectures in a phenomenologically motivated Higgs sector.
\paragraph{}
Importantly, similar techniques have been applied to the Standard Model (SM) itself. in \cite{ArkaniHamed:2007gg}, it has been demonstrated that the SM shows the same landscape of lower-dimensional vacua arising from vacuum and Casimir energies when compactified on a circle. Moreover, in \cite{Ibanez:2017kvh}the WGC has been used to provide limits on neutrino masses and the cosmological constant, thus connecting parameters of particle physics and the parameters of quantum gravity. Furthermore, \cite{Castellano:2023} used similar circle compactification techniques to investigate how towers of states and hierarchical structures in the SM can emerge from quantum gravity understanding, demonstrated that compactification of the Standard Model can give rise to AdS instabilities from towers of states destabilizing the vacuum. Extending the Swampland program, they also show that the electroweak scale and cosmological constant may be related to each other at a more fundamental level such that vacuum stability and particle physics hierarchies are closely tied to quantum gravity. \\
Motivated by these results, it is reasonable to ask how an extended Higgs sector with a radiative mass can behave under circle compactification. The Two–Higgs–Doublet Model (2HDM) is a particularly interesting case, because the radion now couples to additional scalar degrees of freedom in addition to the standard model.they can thus influence both the stability. We consider the Two–Higgs–Doublet Model (2HDM) minimally coupled to four–dimensional gravity, with action given in \eqref{eq:4D_action}.
We compactify the extra dimension on a circle \(S^1\) with a background radius \(R\), introducing the dimensionless coordinate \(y\in[0,2\pi)\). In the 4D Einstein frame, the metric ansatz is
\begin{equation}
ds_{(4)}^2
= \frac{r^2}{\phi^2}\,ds_{(3)}^2
\;+\;
\phi^2\,
\Bigl(dy - \frac{\sqrt{2}}{M_4\,r}\,V_\mu(x)\,dx^\mu\Bigr)^2,
\end{equation}
where \(V_\mu\) is the graviphoton arising from \(g_{\mu y}\).
Substituting into the Einstein–Hilbert term and integrating over \(y\) yields
\begin{equation}
\begin{aligned}
S_{\mathrm{grav}}
&= \int d^3x\,dy\,\sqrt{-g_{(4)}}\,
\Bigl[\tfrac12 M_4^2\,\mathcal{R}_{(4)} - \Lambda_4\Bigr] \\
&\longrightarrow
\int d^3x\,\sqrt{-g_{(3)}}\,(2\pi R)\,
\Bigl[\tfrac12 M_4^2\,\mathcal{R}_{(3)}
- \tfrac14\,\frac{\phi^4}{R^4}\,F_{\mu\nu}F^{\mu\nu}
- M_4^2\bigl(\partial_\mu\ln\phi\bigr)^2
- \frac{R^2\,\Lambda_4}{\phi^2}\Bigr],
\end{aligned}
\end{equation}
with \(F_{\mu\nu}=\partial_\mu V_\nu-\partial_\nu V_\mu\).
The Higgs doublets \(\Phi_i(x,y)\) admit a Kaluza–Klein expansion along the circle:
\begin{equation}
\Phi_i(x,y)
= \frac{1}{\sqrt{2\pi R}}\sum_{n}
\Phi_i^{(n)}(x)\,e^{i n y /R},
\quad i=1,2.
\end{equation}
At energies \(E\ll1/R\), only the zero–modes \(\Phi_i^{(0)}(x,y)\equiv\Phi_i(x,y)\) remain light.
We then compactify the action on a circle $S^1$ and integrate over the extra dimension, such that in this way we obtain an effective 3-dimensional action. This method of course brings along an overall $2\pi R$ factor, including the contributions from both the gravitational and the Higgs doublets. resulting in the three-dimensional effective action.
\begin{equation}
\begin{aligned}
S_{3\mathrm{D}}
= \int d^3x\,\sqrt{-g_{(3)}}&\,
\Bigl[
2\pi R\left(\tfrac12 M_4^2\,\mathcal{R}{(3)} - \tfrac{R^2\Lambda_4}{\phi^2} - \tfrac14\,\frac{\phi^4}{R^4}\,F{\mu\nu}F^{\mu\nu}\right)\\
&\quad- \tfrac12(2\pi R)\,M_4^2(\partial_\mu\ln\phi)^2
+ 2\pi R\, \mathcal{L}_{\text{matter}}
\Bigr],
\end{aligned}
\end{equation}
For simplicity, the expression is written as
\begin{align}
S_{3\mathrm{D}}
= \int d^3x\,\sqrt{-g_{(3)}}\,
\Bigl[
\tfrac12 M_3^2\,\mathcal{R}_{(3)} - \frac{R^2\Lambda_3}{\phi^2} - \tfrac\pi2\,\frac{\phi^4}{R^3}\,F_{\mu\nu}F^{\mu\nu}
- \tfrac12M_3^2(\partial_\mu\ln\phi)^2
+ 2\pi R\,\mathcal{L}_{\rm matter}
\Bigr].
\end{align}
The term $\Lambda_{\rm 3D}$ arises from dimensional reduction of the original four-dimensional cosmological constant $\Lambda_4$. Integrating over the compact circle of circumference $2\pi R$ rescales $\Lambda_4$ into a three-dimensional vacuum energy,
\begin{equation}
\Lambda_{\rm 3D} \;=\; 2\pi R\,\Lambda_4,
\end{equation}
same awith the $3$-dimensional Planck mass denoted by $M_3^2
\;=\; 2\pi R\, M_4^2$ . \\
and the matter term
\[
\mathcal{L}_{\rm matter}
= \sum_{i=1}^2 (D_\mu\Phi_i)^\dagger(D^\mu\Phi_i)
- \Bigl( V_{\rm tree}^{3D}(\Phi_i)
+ V_{\rm rad}(\phi)
+ V_{\rm int}(\phi,\Phi_i)
+ V_{\rm loop}(\Phi_i) \Bigl)\, ,
\]
Here $V_{\rm tree}$ is the 3D scalar potential from KK reduction of the 4D theory, and $V_{\rm rad}$ is Radion potential generated by moduli stabilization or quantum effects. The term $V_{\rm int}$ comes from the mixing of radion and the Higgs doublets, while $V_{\rm loop}$ denotes quantum corrections at one-loop level which involve Kaluza–Klein towers.
so the final expression of the action given by
\begin{equation}
\begin{aligned}
S_{3\mathrm{D}}
&= \int d^3x\,\sqrt{-g_{(3)}}\,
\Bigl[
\tfrac12 M_3^2\,\mathcal{R}_{(3)} - \tfrac\pi2\,\frac{\phi^4}{R^3}\,F_{\mu\nu}F^{\mu\nu} \
- \tfrac12M_3^2(\partial_\mu\ln\phi)^2\\
&\quad\;
+ 2\pi R \Bigl( \sum_{i=1}^2 (D_\mu\Phi_i)^\dagger(D^\mu\Phi_i) - V_{\rm eff}(\phi,\Phi_i,\Lambda) \Bigr)
\Bigr],
\end{aligned}
\end{equation}
With the effective potential
\begin{equation}
V_{\rm eff}(\phi,\Phi_i,\Lambda)
= V_{\rm tree}(\Phi_i)
+ V_{\rm rad}(\phi)
+ V_{\rm int}(\phi,\Phi_i)
+ V_{\rm loop}(\Phi_i)
+ \frac{R^2\Lambda_4}{\phi^2}.
\end{equation}
In the following section, we will give a precise definition of the full three-dimensional effective potential, including its radion-dependent structure and quantum corrections.
\section{Effective potential from 2HDM Compactification}
\label{sec:EffPot}
\paragraph{}
In this section, we study the three-dimensional effective potential arising from the compactification of the Two-Higgs-Doublet Model with gravity on a circle. In the first step, we describe the tree-level structure coming from the Kaluza-Klein expansion of the Higgs fields, and we incorporate one-loop quantum corrections that will update the vacuum structure. The compact dimension is stabilized by a radion potential, then we add in radion-Higgs interaction terms yielding the size of the extra dimension to the Higgs dynamics. \\
When we compactify a higher-dimensional theory like the Two–Higgs–Doublet Model with gravity down to three dimensions, new fields appear in the lower-dimensional theory. One important field is the radion
$\phi$, which describes how the size of the extra dimension can change. The effective potential depends on this radion field, as well as on the Higgs fields. This potential includes several parts: a tree-level part coming from the original 4D potential, a potential for the radion itself, interaction terms between the radion and the Higgs fields, quantum corrections from loops, and a contribution from the cosmological constant.
\subsection{One-Loop Structure of the 2HDM Scalar Potential}
\paragraph{}
The Higgs fields \( \Phi_1 \) and \( \Phi_2 \) are scalar fields that can be expanded in terms of their Kaluza-Klein modes as follows
\[
\Phi_1 (x, y) = \frac{1}{\sqrt{2\pi R}} \sum_n \Phi_1^{(n)}(x^\mu) e^{iny / R}.
\]
\[
\Phi_2 (x, y) = \frac{1}{\sqrt{2\pi R}} \sum_n \Phi_2^{(n)}(x^\mu) e^{iny / R}.
\]
where \( \Phi_1^{(n)}(x^\mu) \) and \( \Phi_2^{(n)}(x^\mu) \) are the field components of the Higgs doublets in 3D, and \( y \) is the coordinate of the extra dimension, compactified on a circle of radius \( R \).
At tree level, for each KK mode, the potential in 3D becomes a sum over the KK modes as follows
\begin{align}
V_{\rm tree}^{3D}=2\pi RV_{\rm tree} ,
\end{align}
with
\begin{align}
V_{\rm tree} &= \frac{1}{2\pi R}\sum_{n} \Bigl[
\bigl(m_{11}^2 + \frac{n^2}{R^2}\bigr)\, \Phi_1^{(n)\dagger} \Phi_1^{(n)}
+ \bigl(m_{22}^2 + \frac{n^2}{R^2}\bigr)\, \Phi_2^{(n)\dagger} \Phi_2^{(n)}
- m_{12}^2 \bigl( \Phi_1^{(n)\dagger} \Phi_2^{(n)} + \Phi_2^{(n)\dagger} \Phi_1^{(n)} \bigr)
\Bigr] \nonumber\\
&\quad + \frac{1}{2\pi R} \sum_{n} \Biggl[
\frac{\lambda_1}{2} (\Phi_1^{(n)\dagger} \Phi_1^{(n)})^2
+ \frac{\lambda_2}{2} (\Phi_2^{(n)\dagger} \Phi_2^{(n)})^2
+ \lambda_3 (\Phi_1^{(n)\dagger} \Phi_1^{(n)}) (\Phi_2^{(n)\dagger} \Phi_2^{(n)}) \nonumber\\
&\qquad + \lambda_4 |\Phi_1^{(n)\dagger} \Phi_2^{(n)}|^2
+ \frac{\lambda_5}{2} \Bigl[ (\Phi_1^{(n)\dagger} \Phi_2^{(n)})^2 + \text{h.c.} \Bigr]
\Biggr].
\label{eq:Vtree3D}
\end{align}
In the potential expressions, $n$ labels the Kaluza-Klein modes corresponding to discrete momentum values from the compactified dimension, and $R$ is the compactification radius. In the potential expressions, $n$ labels the Kaluza-Klein modes corresponding to discrete momentum values from the compactified dimension, and $R$ is the compactification radius.
The compactified extra dimension, physically, changes the vacuum energy by the KK tower of quantum states. The contribution from large levels n in the KK spectrum, however, is exponentially suppressed as $\propto e^{-2\pi n}$ and illustrates the decoupling of heavy modes from low energy 3D dynamics. These excitations may slightly distort the shape of the scalar potential, shift vacuum expectation values, or introduce new local minima, depending on the stabilization scale and couplings for the model\cite{Ibanez:2017kvh}.
\paragraph{}
Before we write the one loop-potential, it is good to mention that these corrections can change the shape of the potential itself, this may add new minima or make the vacuum unstable \cite{Coleman:1973jx}.
In the Two-Higgs Doublet model the one-loop effects have been shown to generate charge-breaking vacua that not appear at the tree level, underlining the requirement for adding Coleman-Weinberg contribution \cite{Ferreira:2019wjz}.
More recent studies extend this framework by accounting for global symmetries in orbit space and thermal corrections, confirming that one-loop corrections can break symmetries preserved at tree level and dramatically alter the phase structure of the model \cite{Cao:2023npo,Castellano:2023}.\\
At one loop, the quantum correction to the scalar potential receives contributions from each Kaluza–Klein mode of the higher‐dimensional Higgs field. In our circle‐compactified setup, this takes the form
\begin{equation}\label{eq:Vloop}
V_{\rm loop}(R)
=\sum_{n}
\frac{M_{\rm eff\,,n}^4}{64\pi^2}
\left[
\ln\!\biggl(\frac{M_{\rm eff\,,n}^2}{\mu^2}\biggr)
-\frac{3}{2}
\right],
\end{equation}
where
\begin{itemize}
\item \(\mu\) is the renormalization scale.
\item The field‐dependent mass for the \(n\)-th mode is
\[
M_{\rm eff\,,n}^2
= M^2 \;+\;\frac{n^2}{R^2}\,.
\]
with \(M\) being the four‐dimensional mass parameter and \(1/R\) is the KK mass spacing determined by the circle radius.
\subsection{Radion Potential and Higgs Interaction}
In order to stabilize the size of the extra dimension, one introduces a radion potential that admits a nontrivial minimum. A frequently used ansatz, inspired by the Goldberger–Wise mechanism for warped extra dimensions, is
\begin{equation}
V_{\rm rad}(\phi)
\;=\;
\Lambda\,
\biggl[1 - \exp\!\Bigl(-\frac{\phi}{R_0}\Bigr)\biggr]^2,
\end{equation}
where \(\Lambda\) sets the overall scale of the radion potential determining the canonically normalized radion field and \(R_0\) is a fixed reference length (here chosen arbitrarily as \(R_0 = 1\,\mathrm{GeV}^{-1}\)) so that \(\phi/R_0\) is dimensionless. This functional form guarantee a mass term for \(\phi\) controlled by \(\Lambda\) . Such a “square‐exponential” potential was first derived in the context of the Randall–Sundrum scenario with a bulk scalar field by Goldberger and Wise \cite{Goldberger:1999uk,Goldberger:2000dv}, and has since been adopted in numerous phenomenological studies of radion dynamics and modulus stabilization\cite{Das:2018radion}.
\paragraph{}
In compactifications with a stabilized extra-dimensional radius, the stabilization mechanism induces a leading radion–Higgs interaction that is suppressed by the radion scale and quadratic in the Higgs bilinears\cite{Giudice:2000av}.Concretely, when two Higgs doublets acquire vaccum expectation values, the effective potential acquires a term proportional to $\phi/\Lambda_\phi$ times the square of the combination $\lambda_{\phi1}|\Phi_1|^2 + \lambda_{\phi2}|\Phi_2|^2$ \cite{Barger:2012qva}. This structure has been derived by expanding the warp‐factor dependence of the Higgs potential to leading order in $\phi/\Lambda_\phi$, confirming the squared form of the Higgs‐field combination in the mass‐interaction term \cite{Eroncel:2020et}.
\begin{equation}
V_{\rm int}(\phi,\Phi_i)
= \frac{\phi}{\Lambda_\phi\,R_0^2}\,
\bigl(\lambda_{\phi1}\,\lvert \Phi_1\rvert^2
+ \lambda_{\phi2}\,\lvert \Phi_2\rvert^2\bigr)^{2},
\end{equation}
The parameter \( \Lambda_\phi \) is the radion coupling scale, and it indicates suppression of radions couplings to four-dimensional fields and is typically on the order of a few TeV or so in phenomenologically acceptable warped models. The constants \( \lambda_{\phi1} \) and \( \lambda_{\phi2} \) are dimensionless couplings which control the radion's coupling strength to each of the two Higgs doublets, \( \Phi_1 \) and \( \Phi_2 \), respectively. These couplings determine how strongly the radion field \( \phi \) influences the effective Higgs-sector potential of the low-energy theory.
\end{itemize}
\section{Swampland constraints on Radion-induced Higgs phenomenology }
The presence of a stablized radion field in compactified configurations has remarkable
implications for low-energy phenomenology. Particularly, the radion field couples to the
Higgs sector in such a way that modifies the effective potential and thus alter electroweak
symmetry breaking the resulting mass spectrum. When the radion field is coupled to the
Higgs doublets, additional contributions arise in the total effective potential that explicitly
depend on the compactification radius. These contributions can stabilize a vacuum
state in which the physical size of the extra dimension and the values of fundamental
parameters, such as the Higgs mass, are dynamically selected.
The framework developed here therefore establishes a predictive relation between the
radion stabilization parameter and the measured Higgs mass. Below, we present our
numerically evaluated examples of the effective potential given a number of inputs to the
Higgs mass.
\label{sec:Swamp}
\subsection{Radion induced phenomenology in the extended Higgs sector}
\label{sec:PhenImp}
To demonstrate how the compactification dynamics modifies the vacuum structure of the theory, we investigate the behaviour of the radion-dependent effective potential \(V_{\text{eff}}(R)\) for two representative choices of Higgs-sector masses. In this subsection, we analyse only the phenomenological implications of these configurations.
\medskip
Figure~\ref{fig:lightH} illustrates the effective potential as a function of a light Higgs mass input \(M_h = 125\,\mathrm{GeV}\) at the renormalization scale \(\mu = 240\,\mathrm{GeV}\), $\Lambda = 1 \times 10^{12}\,\mathrm{GeV}^4 $ and $\ \phi = 10^{10}\,\mathrm{GeV}^{-1}.$
The potential displays a smooth and well-defined minimum. Importantly, the effective potential is positive at the minimum. This corresponds to a configuration that is phenomenologically safe in the context of the radion: the radion is stabilized around the compactification, the compactification is consistent with non-negative vacuum energy density, and the contribution from the light Higgs sector only contributes mild curvature to the effective potential. The shallow profile of the effective potential reflects that the potential is only mildly influenced by the light scalar mass.
\begin{figure}[H]
\centering
\includegraphics[width=0.85\linewidth]{125.pdf}
\caption{Effective potential \(V_{\text{eff}}(R)\) for a light Higgs mass \(M_h = 125\,\mathrm{GeV}\), evaluated at \(\mu = 240\,\mathrm{GeV}\). The minimum occurs at positive vacuum energy.}
\label{fig:lightH}
\end{figure}
Conversely, Figure~\ref{fig:heavyH} displays the potential obtained for a heavy Higgs mass \(M_H = 400\,\mathrm{GeV}\) calculated at \(\mu = 320\,\mathrm{GeV}\). The potential becomes much steeper, and the minimum shifts towards lower compactification radii. However, the most important feature is that the effective potential is negative at the minimum. This behaviour illustrates the significant way a heavier scalar mass affects the vacuum structure, leading to a qualitative change in the nature of the stabilized compactification.
\begin{figure}[H]
\centering
\includegraphics[width=0.85\linewidth]{400.pdf}
\caption{Effective potential \(V_{\text{eff}}(R)\) for a heavy Higgs mass \(M_H = 400\,\mathrm{GeV}\), evaluated at \(\mu = 340\,\mathrm{GeV}\). The minimum lies at negative vacuum energy.}
\label{fig:heavyH}
\end{figure}
\medskip
The outcomes illustrate the sensitivity of the effective potential to the Higgs mass parameters. For small values of Higgs mass, one obtains a shallow potential with minimum at a positive energy ensuring a stabilized and phenomenologically viable compactification. For larger Higgs mass values, the potential grows in magnitude and curvature.resulting in minima at negative vacuum energy and indicative of a qualitative change in the vacuum structure.
\subsection{The non-SUSY AdS instability and implications for the 2HDM}
The swampland programme engenders an important expectation which is quantum gravity forbids completely stable non-supersymmetric anti-de Sitter vacua \cite{OoguriVafa2016,Vafa:2005ui,Palti:2019pca}. This expectation has been realized in several constructions in lower dimensions, such as the almost topological gravities in three dimensions, which can realize generically non-supersymmetric AdS solutions with either instabilities or decay channels consistent with the conjecture \cite{AlvarezGarcia2022}. More specifically, these non-SUSY AdS solutions see their instabilities manifest as either perturbative tachyonic fluctuations or by way of non-perturbative processes associated with an Euclidean tunnelling process, but ultimately granting that any non-SUSY AdS vacuum will see a finite probability of decaying.
Considering the Weak Gravity Conjecture (WGC), these instabilities have a natural interpretation, An AdS vacuum compatible with quantum gravity must possess a decay channel to charged or scalar states, preventing the existence of eternally stable configurations \cite{Ibanez2017,Ooguri:2006in}. The presence of decay modes is not coincidental but is a feature of any effective theory that can be UV-completed. On the other hand, the appearance of an AdS vacuum that seems stable and has no physical decay corresponding to the gravitational sector, should be taken to suggest inconsistency and indicate that we are in the swampland.
When this reasoning is applied to the compactified Two-Higgs-Doublet Model (2HDM), the results become especially important. The expanded scalar spectrum modifies the potential and the radion–Higgs interactions, both of which determine whether there is an AdS-like extremum that can move to a higher energy configuration. Radiative and loop-induced corrections in the 2HDM potential \cite{Coleman:1973jx,Ferreira:2019wjz,Cao:2023npo} can generate metastable regions, but to remain consistent with the AdS non-SUSY conjecture, the minima in these regions must remain unstable. We do not favor parameter spaces that provide local deep AdS minima without decay mechanisms available, but we remain compatible with swampland expectations \cite{Gonzalo2021,Nam2023,Casas2024} in those parameter spaces where instabilities may in fact be induced by the extended Higgs/radion sectors themselves.
%Ultimately, the relationship among the WGC, the non-SUSY AdS instability, and the potential for the 2HDM provides a specific connection between UV consistency and phenomenological constraints. This suggests that any reasonably realized compactified 2HDM wich is consistent with quantum gravity must avoid to mix with absolutely stable AdS or allow physical decays ensuring metastability, therefore introducing swampland principles directly into the phenomenology of extended Higgs sectors.
To clarify how the Higgs-sector parameters influence the vacuum structure, we present two additional examples of the effective potential. These illustrate how different Higgs masses lead to qualitatively distinct vacuum behaviours, thereby showing which compactified configurations remain stable and which tend toward instability.
\begin{figure}[H]
\centering
\includegraphics[width=0.85\linewidth]{muH-1.pdf}
\caption{Effective potential \(V_{\text{eff}}(R)\) for light Higgs masses near the Standard Model value.}
\label{fig:extraLight}
\end{figure}
\begin{figure}[H]
\centering
\includegraphics[width=0.85\linewidth]{Veff_vs_R_with_minima.pdf}
\caption{Effective potential \(V_{\text{eff}}(R)\) for several heavy Higgs masses.}
\label{fig:extraHeavy}
\end{figure}
\medskip
The first figure shows that light Higgs masses \(125\,\mathrm{GeV}\) lead to a stable and phenomenologically acceptable compactified vacuum, the effective potential shows a clear minimum with positive vacuum energy, which excludes any AdS-like behavior in the light-Higgs regime. These results are entirely consistent with what is expected from electroweak phenomenology, and shows that the radion stabilization mechanism naturally accommodates the observed Higgs mass and does not result in vacua instabilities.
The second figure illustrates the qualitative change as the scalar mass becomes heavy. As the mass increases, the location and depth of the minimum change, and for heavy Higgs masses less than roughly \(680\,\mathrm{GeV}\) the vacuum energy at the minimum goes negative. It is only for \(M_H \gtrsim 680\,\mathrm{GeV}\) that there is a return to a positive-energy minimum of the potential, which represents a physically viable compactified vacuum. When the non-supersymmetric AdS instability criterion is incorporated, this behaviour maps directly to a lower bound of about \(680\,\mathrm{GeV}\) on the Higgs mass, lighter values will produce an AdS-type minimum, while more massive values will embrace compatibility with a stable non-AdS compactified configuration.
Over the past few years, a number of both theoretical and
experimental investigations have explored the possibility of a
resonant structure in the $600\!-\!700$\thinspace GeV mass range. Our
radion--2HDM interpretation at $m_{H}\simeq 680$\thinspace GeV can be placed
in context by comparing it with alternative explanations proposed in the
literature. For instance, studies in the framework of type-II
2HDM have demonstrated that the $\sim 650$\thinspace GeV anomaly
together with the $\sim 95$\thinspace GeV excess can be consistently
accomodated within an enlarged scalar sector featuring suitable
mixing and decay modes~\cite{Benbrik:2025N2HDM}.\newline
Other works interprets the 650\thinspace GeV peak as a pseudoscalar
in three--Higgs--doublet models (3HDM) that manifest usually through a decay
chain of the form: $A\rightarrow h_{125}Z\rightarrow (\gamma \gamma
)(b\bar{b})$~\cite{Hmissou:2025THDM3}. Related studies on photon--initiated
Higgs--pair production processes in multi-doublet models have show
that heavy scalars up to 600-800\thinspace GeV could modify the di-higgs
signals, both at the LHC and at a future $\gamma \gamma $ collider~\cite%
{Arhrib:2025I1p2HDM}.
Moreover, direct experimental limits arise mainly from the CMS
search for new resonances that decay into two spin-0 bosons in the $%
\gamma \gamma b\bar{b}$ final state at $\sqrt{s}=13$ TeV~\cite{CMS:2023ggbb}%
, which gives the most stringent limits on $\sigma (pp\rightarrow
X)\times \mathrm{BR}(X\rightarrow \gamma \gamma b\bar{b})$ for $M_{X}\simeq
650\!-\!700$\thinspace GeV. Phenomenological analyses of the full CMS
Run2 datatset have also pointed out mild excesses in this mass window,
further supporting the exploration of heavy scalar interpretation
\cite{Cea:2022QuantumLiquid}. And in contrast to N2HDM and 3HDM
scenarios, the radion within our setup exhibits a distinct
coupling structure since its interactions, originating from the trace
of energy--momentum tensor, naturally enhance its gluon fusion
production with respect to QCD trace anomaly and modifies branching
ratios compared to purely doublet-like scalar.\newline
Consequently, the phenomenological acceptability of our $680$%
\thinspace GeV benchmark is largely determined by the expected radion
production cross section at 13\thinspace TeV and its branching ratios to
experimentally relevant channels like $\gamma \gamma b\bar{b}$ as well as $%
hh $ in conjunction with consistency with upper bounds posted by CMS. A
quantitative comparison of $\sigma (pp\rightarrow X)\times \mathrm{BR}%
(X\rightarrow \gamma \gamma b\bar{b})$ and $\sigma (pp\rightarrow X)\times
\mathrm{BR}(X\rightarrow hh\rightarrow b\bar{b}\gamma \gamma )$ with
the exclusion curves from the CMS 2HDM searches is therefore necessary to
assess whether a $680$\thinspace GeV resonance can arise from
radion--2HDM interplay.
\section{Discussion and Conclusion}
\label{sec:Discussion}
We have constructed a compactified Two--Higgs--Doublet Model on a circle,
including gravitational effects and a stabilized radion, in order to study
how extra-dimensional dynamics influence the vacuum structure of the Higgs
sector. By deriving the three-dimensional effective potential,
incorporating tree-level Higgs interactions, Kaluza-Klein contributions,
radion effects, and the higher-dimensional cosmological constant, we
have mapped how compactification reshapes the vacuum structure of the
theory. Our analysis shows that the compactification radius is
not an arbitrary parameter but is instead dynamically determined by the
coupling between the radion potential and the Higgs-dependent correction
to the vacuum energy, leading to a highly non-trivial dependence on
the Higgs masses.
A key result of this work is the qualitative contrast between
the effect of light and heavy Higgs masses on the stabilized
configuration. For a Standard Model-like Higgs, with mass near $125\,%
\mathrm{GeV}$, the effective potential develops a well-defined minimum
with positive vacuum energy, showing that electroweak symmetry
breaking remains compatible with a stable compactified vacuum. In
this regime, the light Higgs sector alone does not trigger any
runaways towards negative-energy minima. In contrast, once the
heavier scalar sector of the 2HDM is considered, the behaviour of the
effective potential changes substantially. We find a critical
threshold near $m_{H}\simeq $ $680\,\mathrm{GeV}$ such that: for
heavy higgs masses below this value, the minimum of $V_{\text{eff}}(R)$
becomes negative, while for masses above this threshold, the minimum
is restored to the positive-energy regime. This transition defines a
clear physical boundary separating stable from unstable
compactified vacua.
Imposing the non-supersymmetric AdS instability conjecture as a consistency
condition sharpens this observation into a concrete contraint on the
heavy scalar sector. Since any consistent non-supersymmetric
compactification must avoid stable AdS minima, the sign of the effective
potential at the radion minimum becomes a direct dignostic of
viability and translates into a lower bound on the heavy Higgs mass: heavy
Higgs masses lighter than approximately $\sim 680\,\mathrm{GeV}$
drive the system into a non-supersymmetric AdS-type vacuum, whereas heavier
masses maintain a stable, positive-energy configuration. In this sense,
compactification and quantum-gravity consistency principles combine
to place predictive limits on the extended Higgs spectrum.
Overall, the compactified 2HDM provides a controlled laboratory for testing
how extra-dimensional dynamics and quantum gravity principles such as
the non-SUSY AdS instability shape the structure of the scalar
potential. Our results highlight that compactification can produce
non-trivial and phenomenologically meaningful constraints on the Higgs
sector without requiring fine-tuning. The framework developed here may be
extended to other BSM scenarios, allowing compactification dynamics to serve
as a probe of both low-energy phenomenology and high-energy consistency
conditions.
\section*{Acknowledgments}
The work of M. A. Rbah, S. Saoud and R. Sammani is funded by the National Center
for Scientific and Technical Research (CNRST) under the PhD-ASsociate Scholarship
(PASS).
\bibliographystyle{unsrt}
\bibliography{bib}
\end{document}Rbahaminmohamed@gmail.comRbahaminmohamed@gmail.com
% Macros for Scientific Word 4.0 documents saved with the LaTeX filter.
% Copyright (C) 2001 Mackichan Software, Inc.
\typeout{TCILATEX Macros for Scientific Word 4.0 <27 Sept 2001>.}
\typeout{NOTICE: This macro file is NOT proprietary and may be
freely copied and distributed.}
%
\makeatletter
%%%%%%%%%%%%%%%%%%%%%
% FMTeXButton
% This is used for putting TeXButtons in the
% frontmatter of a document. Add a line like
% \QTagDef{FMTeXButton}{101}{} to the filter
% section of the cst being used. Also add a
% new section containing:
% [f_101]
% ALIAS=FMTexButton
% TAG_TYPE=FIELD
% TAG_LEADIN=TeX Button:
%
% It also works to put \defs in the preamble after
% the \input tcilatex
\def\FMTeXButton#1{#1}
%
%%%%%%%%%%%%%%%%%%%%%%
% macros for time
\newcount\@hour\newcount\@minute\chardef\@x10\chardef\@xv60
\def\tcitime{
\def\@time{%
\@minute\time\@hour\@minute\divide\@hour\@xv
\ifnum\@hour<\@x 0\fi\the\@hour:%
\multiply\@hour\@xv\advance\@minute-\@hour
\ifnum\@minute<\@x 0\fi\the\@minute
}}%
%%%%%%%%%%%%%%%%%%%%%%
% macro for hyperref and msihyperref
%\@ifundefined{hyperref}{\def\hyperref#1#2#3#4{#2\ref{#4}#3}}{}
\def\x@hyperref#1#2#3{%
% Turn off various catcodes before reading parameter 4
\catcode`\~ = 12
\catcode`\$ = 12
\catcode`\_ = 12
\catcode`\# = 12
\catcode`\& = 12
\y@hyperref{#1}{#2}{#3}%
}
\def\y@hyperref#1#2#3#4{%
#2\ref{#4}#3
\catcode`\~ = 13
\catcode`\$ = 3
\catcode`\_ = 8
\catcode`\# = 6
\catcode`\& = 4
}
\@ifundefined{hyperref}{\let\hyperref\x@hyperref}{}
\@ifundefined{msihyperref}{\let\msihyperref\x@hyperref}{}
% macro for external program call
\@ifundefined{qExtProgCall}{\def\qExtProgCall#1#2#3#4#5#6{\relax}}{}
%%%%%%%%%%%%%%%%%%%%%%
%
% macros for graphics
%
\def\FILENAME#1{#1}%
%
\def\QCTOpt[#1]#2{%
\def\QCTOptB{#1}
\def\QCTOptA{#2}
}
\def\QCTNOpt#1{%
\def\QCTOptA{#1}
\let\QCTOptB\empty
}
\def\Qct{%
\@ifnextchar[{%
\QCTOpt}{\QCTNOpt}
}
\def\QCBOpt[#1]#2{%
\def\QCBOptB{#1}%
\def\QCBOptA{#2}%
}
\def\QCBNOpt#1{%
\def\QCBOptA{#1}%
\let\QCBOptB\empty
}
\def\Qcb{%
\@ifnextchar[{%
\QCBOpt}{\QCBNOpt}%
}
\def\PrepCapArgs{%
\ifx\QCBOptA\empty
\ifx\QCTOptA\empty
{}%
\else
\ifx\QCTOptB\empty
{\QCTOptA}%
\else
[\QCTOptB]{\QCTOptA}%
\fi
\fi
\else
\ifx\QCBOptA\empty
{}%
\else
\ifx\QCBOptB\empty
{\QCBOptA}%
\else
[\QCBOptB]{\QCBOptA}%
\fi
\fi
\fi
}
\newcount\GRAPHICSTYPE
%\GRAPHICSTYPE 0 is for TurboTeX
%\GRAPHICSTYPE 1 is for DVIWindo (PostScript)
%%%(removed)%\GRAPHICSTYPE 2 is for psfig (PostScript)
\GRAPHICSTYPE=\z@
\def\GRAPHICSPS#1{%
\ifcase\GRAPHICSTYPE%\GRAPHICSTYPE=0
\special{ps: #1}%
\or%\GRAPHICSTYPE=1
\special{language "PS", include "#1"}%
%%%\or%\GRAPHICSTYPE=2
%%% #1%
\fi
}%
%
\def\GRAPHICSHP#1{\special{include #1}}%
%
% \graffile{ body } %#1
% { contentswidth (scalar) } %#2
% { contentsheight (scalar) } %#3
% { vertical shift when in-line (scalar) } %#4
\def\graffile#1#2#3#4{%
%%% \ifnum\GRAPHICSTYPE=\tw@
%%% %Following if using psfig
%%% \@ifundefined{psfig}{\input psfig.tex}{}%
%%% \psfig{file=#1, height=#3, width=#2}%
%%% \else
%Following for all others
% JCS - added BOXTHEFRAME, see below
\bgroup
\@inlabelfalse
\leavevmode
\@ifundefined{bbl@deactivate}{\def~{\string~}}{\activesoff}%
\raise -#4 \BOXTHEFRAME{%
\hbox to #2{\raise #3\hbox to #2{\null #1\hfil}}}%
\egroup
}%
%
% A box for drafts
\def\draftbox#1#2#3#4{%
\leavevmode\raise -#4 \hbox{%
\frame{\rlap{\protect\tiny #1}\hbox to #2%
{\vrule height#3 width\z@ depth\z@\hfil}%
}%
}%
}%
%
\newcount\@msidraft
\@msidraft=\z@
\let\nographics=\@msidraft
\newif\ifwasdraft
\wasdraftfalse
% \GRAPHIC{ body } %#1
% { draft name } %#2
% { contentswidth (scalar) } %#3
% { contentsheight (scalar) } %#4
% { vertical shift when in-line (scalar) } %#5
\def\GRAPHIC#1#2#3#4#5{%
\ifnum\@msidraft=\@ne\draftbox{#2}{#3}{#4}{#5}%
\else\graffile{#1}{#3}{#4}{#5}%
\fi
}
%
\def\addtoLaTeXparams#1{%
\edef\LaTeXparams{\LaTeXparams #1}}%
%
% JCS - added a switch BoxFrame that can
% be set by including X in the frame params.
% If set a box is drawn around the frame.
\newif\ifBoxFrame \BoxFramefalse
\newif\ifOverFrame \OverFramefalse
\newif\ifUnderFrame \UnderFramefalse
\def\BOXTHEFRAME#1{%
\hbox{%
\ifBoxFrame
\frame{#1}%
\else
{#1}%
\fi
}%
}
\def\doFRAMEparams#1{\BoxFramefalse\OverFramefalse\UnderFramefalse\readFRAMEparams#1\end}%
\def\readFRAMEparams#1{%
\ifx#1\end%
\let\next=\relax
\else
\ifx#1i\dispkind=\z@\fi
\ifx#1d\dispkind=\@ne\fi
\ifx#1f\dispkind=\tw@\fi
\ifx#1t\addtoLaTeXparams{t}\fi
\ifx#1b\addtoLaTeXparams{b}\fi
\ifx#1p\addtoLaTeXparams{p}\fi
\ifx#1h\addtoLaTeXparams{h}\fi
\ifx#1X\BoxFrametrue\fi
\ifx#1O\OverFrametrue\fi
\ifx#1U\UnderFrametrue\fi
\ifx#1w
\ifnum\@msidraft=1\wasdrafttrue\else\wasdraftfalse\fi
\@msidraft=\@ne
\fi
\let\next=\readFRAMEparams
\fi
\next
}%
%
%Macro for In-line graphics object
% \IFRAME{ contentswidth (scalar) } %#1
% { contentsheight (scalar) } %#2
% { vertical shift when in-line (scalar) } %#3
% { draft name } %#4
% { body } %#5
% { caption} %#6
\def\IFRAME#1#2#3#4#5#6{%
\bgroup
\let\QCTOptA\empty
\let\QCTOptB\empty
\let\QCBOptA\empty
\let\QCBOptB\empty
#6%
\parindent=0pt
\leftskip=0pt
\rightskip=0pt
\setbox0=\hbox{\QCBOptA}%
\@tempdima=#1\relax
\ifOverFrame
% Do this later
\typeout{This is not implemented yet}%
\show\HELP
\else
\ifdim\wd0>\@tempdima
\advance\@tempdima by \@tempdima
\ifdim\wd0 >\@tempdima
\setbox1 =\vbox{%
\unskip\hbox to \@tempdima{\hfill\GRAPHIC{#5}{#4}{#1}{#2}{#3}\hfill}%
\unskip\hbox to \@tempdima{\parbox[b]{\@tempdima}{\QCBOptA}}%
}%
\wd1=\@tempdima
\else
\textwidth=\wd0
\setbox1 =\vbox{%
\noindent\hbox to \wd0{\hfill\GRAPHIC{#5}{#4}{#1}{#2}{#3}\hfill}\\%
\noindent\hbox{\QCBOptA}%
}%
\wd1=\wd0
\fi
\else
\ifdim\wd0>0pt
\hsize=\@tempdima
\setbox1=\vbox{%
\unskip\GRAPHIC{#5}{#4}{#1}{#2}{0pt}%
\break
\unskip\hbox to \@tempdima{\hfill \QCBOptA\hfill}%
}%
\wd1=\@tempdima
\else
\hsize=\@tempdima
\setbox1=\vbox{%
\unskip\GRAPHIC{#5}{#4}{#1}{#2}{0pt}%
}%
\wd1=\@tempdima
\fi
\fi
\@tempdimb=\ht1
%\advance\@tempdimb by \dp1
\advance\@tempdimb by -#2
\advance\@tempdimb by #3
\leavevmode
\raise -\@tempdimb \hbox{\box1}%
\fi
\egroup%
}%
%
%Macro for Display graphics object
% \DFRAME{ contentswidth (scalar) } %#1
% { contentsheight (scalar) } %#2
% { draft label } %#3
% { name } %#4
% { caption} %#5
\def\DFRAME#1#2#3#4#5{%
\hfil\break
\bgroup
\leftskip\@flushglue
\rightskip\@flushglue
\parindent\z@
\parfillskip\z@skip
\let\QCTOptA\empty
\let\QCTOptB\empty
\let\QCBOptA\empty
\let\QCBOptB\empty
\vbox\bgroup
\ifOverFrame
#5\QCTOptA\par
\fi
\GRAPHIC{#4}{#3}{#1}{#2}{\z@}%
\ifUnderFrame
\break#5\QCBOptA
\fi
\egroup
\egroup
\break
}%
%
%Macro for Floating graphic object
% \FFRAME{ framedata f|i tbph x F|T } %#1
% { contentswidth (scalar) } %#2
% { contentsheight (scalar) } %#3
% { caption } %#4
% { label } %#5
% { draft name } %#6
% { body } %#7
\def\FFRAME#1#2#3#4#5#6#7{%
%If float.sty loaded and float option is 'h', change to 'H' (gp) 1998/09/05
\@ifundefined{floatstyle}
{%floatstyle undefined (and float.sty not present), no change
\begin{figure}[#1]%
}
{%floatstyle DEFINED
\ifx#1h%Only the h parameter, change to H
\begin{figure}[H]%
\else
\begin{figure}[#1]%
\fi
}
\let\QCTOptA\empty
\let\QCTOptB\empty
\let\QCBOptA\empty
\let\QCBOptB\empty
\ifOverFrame
#4
\ifx\QCTOptA\empty
\else
\ifx\QCTOptB\empty
\caption{\QCTOptA}%
\else
\caption[\QCTOptB]{\QCTOptA}%
\fi
\fi
\ifUnderFrame\else
\label{#5}%
\fi
\else
\UnderFrametrue%
\fi
\begin{center}\GRAPHIC{#7}{#6}{#2}{#3}{\z@}\end{center}%
\ifUnderFrame
#4
\ifx\QCBOptA\empty
\caption{}%
\else
\ifx\QCBOptB\empty
\caption{\QCBOptA}%
\else
\caption[\QCBOptB]{\QCBOptA}%
\fi
\fi
\label{#5}%
\fi
\end{figure}%
}%
%
%
% \FRAME{ framedata f|i tbph x F|T } %#1
% { contentswidth (scalar) } %#2
% { contentsheight (scalar) } %#3
% { vertical shift when in-line (scalar) } %#4
% { caption } %#5
% { label } %#6
% { name } %#7
% { body } %#8
%
% framedata is a string which can contain the following
% characters: idftbphxFT
% Their meaning is as follows:
% i, d or f : in-line, display, or floating
% t,b,p,h : LaTeX floating placement options
% x : fit contents box to contents
% F or T : Figure or Table.
% Later this can expand
% to a more general float class.
%
%
\newcount\dispkind%
\def\makeactives{
\catcode`\"=\active
\catcode`\;=\active
\catcode`\:=\active
\catcode`\'=\active
\catcode`\~=\active
}
\bgroup
\makeactives
\gdef\activesoff{%
\def"{\string"}
\def;{\string;}
\def:{\string:}
\def'{\string'}
\def~{\string~}
%\bbl@deactivate{"}%
%\bbl@deactivate{;}%
%\bbl@deactivate{:}%
%\bbl@deactivate{'}%
}
\egroup
\def\FRAME#1#2#3#4#5#6#7#8{%
\bgroup
\ifnum\@msidraft=\@ne
\wasdrafttrue
\else
\wasdraftfalse%
\fi
\def\LaTeXparams{}%
\dispkind=\z@
\def\LaTeXparams{}%
\doFRAMEparams{#1}%
\ifnum\dispkind=\z@\IFRAME{#2}{#3}{#4}{#7}{#8}{#5}\else
\ifnum\dispkind=\@ne\DFRAME{#2}{#3}{#7}{#8}{#5}\else
\ifnum\dispkind=\tw@
\edef\@tempa{\noexpand\FFRAME{\LaTeXparams}}%
\@tempa{#2}{#3}{#5}{#6}{#7}{#8}%
\fi
\fi
\fi
\ifwasdraft\@msidraft=1\else\@msidraft=0\fi{}%
\egroup
}%
%
% This macro added to let SW gobble a parameter that
% should not be passed on and expanded.
\def\TEXUX#1{"texux"}
%
% Macros for text attributes:
%
\def\BF#1{{\bf {#1}}}%
\def\NEG#1{\leavevmode\hbox{\rlap{\thinspace/}{$#1$}}}%
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%
% macros for user - defined functions
\def\limfunc#1{\mathop{\rm #1}}%
\def\func#1{\mathop{\rm #1}\nolimits}%
% macro for unit names
\def\unit#1{\mathord{\thinspace\rm #1}}%
%
% miscellaneous
\long\def\QQQ#1#2{%
\long\expandafter\def\csname#1\endcsname{#2}}%
\@ifundefined{QTP}{\def\QTP#1{}}{}
\@ifundefined{QEXCLUDE}{\def\QEXCLUDE#1{}}{}
\@ifundefined{Qlb}{\def\Qlb#1{#1}}{}
\@ifundefined{Qlt}{\def\Qlt#1{#1}}{}
\def\QWE{}%
\long\def\QQA#1#2{}%
\def\QTR#1#2{{\csname#1\endcsname #2}}%(gp) Is this the best?
\long\def\TeXButton#1#2{#2}%
\long\def\QSubDoc#1#2{#2}%
\def\EXPAND#1[#2]#3{}%
\def\NOEXPAND#1[#2]#3{}%
\def\PROTECTED{}%
\def\LaTeXparent#1{}%
\def\ChildStyles#1{}%
\def\ChildDefaults#1{}%
\def\QTagDef#1#2#3{}%
% Constructs added with Scientific Notebook
\@ifundefined{correctchoice}{\def\correctchoice{\relax}}{}
\@ifundefined{HTML}{\def\HTML#1{\relax}}{}
\@ifundefined{TCIIcon}{\def\TCIIcon#1#2#3#4{\relax}}{}
\if@compatibility
\typeout{Not defining UNICODE U or CustomNote commands for LaTeX 2.09.}
\else
\providecommand{\UNICODE}[2][]{\protect\rule{.1in}{.1in}}
\providecommand{\U}[1]{\protect\rule{.1in}{.1in}}
\providecommand{\CustomNote}[3][]{\marginpar{#3}}
\fi
\@ifundefined{lambdabar}{
\def\lambdabar{\errmessage{You have used the lambdabar symbol.
This is available for typesetting only in RevTeX styles.}}
}{}
%
% Macros for style editor docs
\@ifundefined{StyleEditBeginDoc}{\def\StyleEditBeginDoc{\relax}}{}
%
% Macros for footnotes
\def\QQfnmark#1{\footnotemark}
\def\QQfntext#1#2{\addtocounter{footnote}{#1}\footnotetext{#2}}
%
% Macros for indexing.
%
\@ifundefined{TCIMAKEINDEX}{}{\makeindex}%
%
% Attempts to avoid problems with other styles
\@ifundefined{abstract}{%
\def\abstract{%
\if@twocolumn
\section*{Abstract (Not appropriate in this style!)}%
\else \small
\begin{center}{\bf Abstract\vspace{-.5em}\vspace{\z@}}\end{center}%
\quotation
\fi
}%
}{%
}%
\@ifundefined{endabstract}{\def\endabstract
{\if@twocolumn\else\endquotation\fi}}{}%
\@ifundefined{maketitle}{\def\maketitle#1{}}{}%
\@ifundefined{affiliation}{\def\affiliation#1{}}{}%
\@ifundefined{proof}{\def\proof{\noindent{\bfseries Proof. }}}{}%
\@ifundefined{endproof}{\def\endproof{\mbox{\ \rule{.1in}{.1in}}}}{}%
\@ifundefined{newfield}{\def\newfield#1#2{}}{}%
\@ifundefined{chapter}{\def\chapter#1{\par(Chapter head:)#1\par }%
\newcount\c@chapter}{}%
\@ifundefined{part}{\def\part#1{\par(Part head:)#1\par }}{}%
\@ifundefined{section}{\def\section#1{\par(Section head:)#1\par }}{}%
\@ifundefined{subsection}{\def\subsection#1%
{\par(Subsection head:)#1\par }}{}%
\@ifundefined{subsubsection}{\def\subsubsection#1%
{\par(Subsubsection head:)#1\par }}{}%
\@ifundefined{paragraph}{\def\paragraph#1%
{\par(Subsubsubsection head:)#1\par }}{}%
\@ifundefined{subparagraph}{\def\subparagraph#1%
{\par(Subsubsubsubsection head:)#1\par }}{}%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% These symbols are not recognized by LaTeX
\@ifundefined{therefore}{\def\therefore{}}{}%
\@ifundefined{backepsilon}{\def\backepsilon{}}{}%
\@ifundefined{yen}{\def\yen{\hbox{\rm\rlap=Y}}}{}%
\@ifundefined{registered}{%
\def\registered{\relax\ifmmode{}\r@gistered
\else$\m@th\r@gistered$\fi}%
\def\r@gistered{^{\ooalign
{\hfil\raise.07ex\hbox{$\scriptstyle\rm\text{R}$}\hfil\crcr
\mathhexbox20D}}}}{}%
\@ifundefined{Eth}{\def\Eth{}}{}%
\@ifundefined{eth}{\def\eth{}}{}%
\@ifundefined{Thorn}{\def\Thorn{}}{}%
\@ifundefined{thorn}{\def\thorn{}}{}%
% A macro to allow any symbol that requires math to appear in text
\def\TEXTsymbol#1{\mbox{$#1$}}%
\@ifundefined{degree}{\def\degree{{}^{\circ}}}{}%
%
% macros for T3TeX files
\newdimen\theight
\@ifundefined{Column}{\def\Column{%
\vadjust{\setbox\z@=\hbox{\scriptsize\quad\quad tcol}%
\theight=\ht\z@\advance\theight by \dp\z@\advance\theight by \lineskip
\kern -\theight \vbox to \theight{%
\rightline{\rlap{\box\z@}}%
\vss
}%
}%
}}{}%
%
\@ifundefined{qed}{\def\qed{%
\ifhmode\unskip\nobreak\fi\ifmmode\ifinner\else\hskip5\p@\fi\fi
\hbox{\hskip5\p@\vrule width4\p@ height6\p@ depth1.5\p@\hskip\p@}%
}}{}%
%
\@ifundefined{cents}{\def\cents{\hbox{\rm\rlap c/}}}{}%
\@ifundefined{tciLaplace}{\def\tciLaplace{L}}{}%
\@ifundefined{tciFourier}{\def\tciFourier{F}}{}%
\@ifundefined{textcurrency}{\def\textcurrency{\hbox{\rm\rlap xo}}}{}%
\@ifundefined{texteuro}{\def\texteuro{\hbox{\rm\rlap C=}}}{}%
\@ifundefined{textfranc}{\def\textfranc{\hbox{\rm\rlap-F}}}{}%
\@ifundefined{textlira}{\def\textlira{\hbox{\rm\rlap L=}}}{}%
\@ifundefined{textpeseta}{\def\textpeseta{\hbox{\rm P\negthinspace s}}}{}%
%
\@ifundefined{miss}{\def\miss{\hbox{\vrule height2\p@ width 2\p@ depth\z@}}}{}%
%
\@ifundefined{vvert}{\def\vvert{\Vert}}{}% %always translated to \left| or \right|
%
\@ifundefined{tcol}{\def\tcol#1{{\baselineskip=6\p@ \vcenter{#1}} \Column}}{}%
%
\@ifundefined{dB}{\def\dB{\hbox{{}}}}{}% %dummy entry in column
\@ifundefined{mB}{\def\mB#1{\hbox{$#1$}}}{}% %column entry
\@ifundefined{nB}{\def\nB#1{\hbox{#1}}}{}% %column entry (not math)
%
\@ifundefined{note}{\def\note{$^{\dag}}}{}%
%
\def\newfmtname{LaTeX2e}
% No longer load latexsym. This is now handled by SWP, which uses amsfonts if necessary
%
\ifx\fmtname\newfmtname
\DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm}
\DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf}
\DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt}
\DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf}
\DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit}
\DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl}
\DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc}
\fi
%
% Greek bold macros
% Redefine all of the math symbols
% which might be bolded - there are
% probably others to add to this list
\def\alpha{{\Greekmath 010B}}%
\def\beta{{\Greekmath 010C}}%
\def\gamma{{\Greekmath 010D}}%
\def\delta{{\Greekmath 010E}}%
\def\epsilon{{\Greekmath 010F}}%
\def\zeta{{\Greekmath 0110}}%
\def\eta{{\Greekmath 0111}}%
\def\theta{{\Greekmath 0112}}%
\def\iota{{\Greekmath 0113}}%
\def\kappa{{\Greekmath 0114}}%
\def\lambda{{\Greekmath 0115}}%
\def\mu{{\Greekmath 0116}}%
\def\nu{{\Greekmath 0117}}%
\def\xi{{\Greekmath 0118}}%
\def\pi{{\Greekmath 0119}}%
\def\rho{{\Greekmath 011A}}%
\def\sigma{{\Greekmath 011B}}%
\def\tau{{\Greekmath 011C}}%
\def\upsilon{{\Greekmath 011D}}%
\def\phi{{\Greekmath 011E}}%
\def\chi{{\Greekmath 011F}}%
\def\psi{{\Greekmath 0120}}%
\def\omega{{\Greekmath 0121}}%
\def\varepsilon{{\Greekmath 0122}}%
\def\vartheta{{\Greekmath 0123}}%
\def\varpi{{\Greekmath 0124}}%
\def\varrho{{\Greekmath 0125}}%
\def\varsigma{{\Greekmath 0126}}%
\def\varphi{{\Greekmath 0127}}%
\def\nabla{{\Greekmath 0272}}
\def\FindBoldGroup{%
{\setbox0=\hbox{$\mathbf{x\global\edef\theboldgroup{\the\mathgroup}}$}}%
}
\def\Greekmath#1#2#3#4{%
\if@compatibility
\ifnum\mathgroup=\symbold
\mathchoice{\mbox{\boldmath$\displaystyle\mathchar"#1#2#3#4$}}%
{\mbox{\boldmath$\textstyle\mathchar"#1#2#3#4$}}%
{\mbox{\boldmath$\scriptstyle\mathchar"#1#2#3#4$}}%
{\mbox{\boldmath$\scriptscriptstyle\mathchar"#1#2#3#4$}}%
\else
\mathchar"#1#2#3#4%
\fi
\else
\FindBoldGroup
\ifnum\mathgroup=\theboldgroup % For 2e
\mathchoice{\mbox{\boldmath$\displaystyle\mathchar"#1#2#3#4$}}%
{\mbox{\boldmath$\textstyle\mathchar"#1#2#3#4$}}%
{\mbox{\boldmath$\scriptstyle\mathchar"#1#2#3#4$}}%
{\mbox{\boldmath$\scriptscriptstyle\mathchar"#1#2#3#4$}}%
\else
\mathchar"#1#2#3#4%
\fi
\fi}
\newif\ifGreekBold \GreekBoldfalse
\let\SAVEPBF=\pbf
\def\pbf{\GreekBoldtrue\SAVEPBF}%
%
\@ifundefined{theorem}{\newtheorem{theorem}{Theorem}}{}
\@ifundefined{lemma}{\newtheorem{lemma}[theorem]{Lemma}}{}
\@ifundefined{corollary}{\newtheorem{corollary}[theorem]{Corollary}}{}
\@ifundefined{conjecture}{\newtheorem{conjecture}[theorem]{Conjecture}}{}
\@ifundefined{proposition}{\newtheorem{proposition}[theorem]{Proposition}}{}
\@ifundefined{axiom}{\newtheorem{axiom}{Axiom}}{}
\@ifundefined{remark}{\newtheorem{remark}{Remark}}{}
\@ifundefined{example}{\newtheorem{example}{Example}}{}
\@ifundefined{exercise}{\newtheorem{exercise}{Exercise}}{}
\@ifundefined{definition}{\newtheorem{definition}{Definition}}{}
\@ifundefined{mathletters}{%
%\def\theequation{\arabic{equation}}
\newcounter{equationnumber}
\def\mathletters{%
\addtocounter{equation}{1}
\edef\@currentlabel{\theequation}%
\setcounter{equationnumber}{\c@equation}
\setcounter{equation}{0}%
\edef\theequation{\@currentlabel\noexpand\alph{equation}}%
}
\def\endmathletters{%
\setcounter{equation}{\value{equationnumber}}%
}
}{}
%Logos
\@ifundefined{BibTeX}{%
\def\BibTeX{{\rm B\kern-.05em{\sc i\kern-.025em b}\kern-.08em
T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}}}{}%
\@ifundefined{AmS}%
{\def\AmS{{\protect\usefont{OMS}{cmsy}{m}{n}%
A\kern-.1667em\lower.5ex\hbox{M}\kern-.125emS}}}{}%
\@ifundefined{AmSTeX}{\def\AmSTeX{\protect\AmS-\protect\TeX\@}}{}%
%
% This macro is a fix to eqnarray
\def\@@eqncr{\let\@tempa\relax
\ifcase\@eqcnt \def\@tempa{& & &}\or \def\@tempa{& &}%
\else \def\@tempa{&}\fi
\@tempa
\if@eqnsw
\iftag@
\@taggnum
\else
\@eqnnum\stepcounter{equation}%
\fi
\fi
\global\tag@false
\global\@eqnswtrue
\global\@eqcnt\z@\cr}
\def\TCItag{\@ifnextchar*{\@TCItagstar}{\@TCItag}}
\def\@TCItag#1{%
\global\tag@true
\global\def\@taggnum{(#1)}}
\def\@TCItagstar*#1{%
\global\tag@true
\global\def\@taggnum{#1}}
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
\def\QATOP#1#2{{#1 \atop #2}}%
\def\QTATOP#1#2{{\textstyle {#1 \atop #2}}}%
\def\QDATOP#1#2{{\displaystyle {#1 \atop #2}}}%
\def\QABOVE#1#2#3{{#2 \above#1 #3}}%
\def\QTABOVE#1#2#3{{\textstyle {#2 \above#1 #3}}}%
\def\QDABOVE#1#2#3{{\displaystyle {#2 \above#1 #3}}}%
\def\QOVERD#1#2#3#4{{#3 \overwithdelims#1#2 #4}}%
\def\QTOVERD#1#2#3#4{{\textstyle {#3 \overwithdelims#1#2 #4}}}%
\def\QDOVERD#1#2#3#4{{\displaystyle {#3 \overwithdelims#1#2 #4}}}%
\def\QATOPD#1#2#3#4{{#3 \atopwithdelims#1#2 #4}}%
\def\QTATOPD#1#2#3#4{{\textstyle {#3 \atopwithdelims#1#2 #4}}}%
\def\QDATOPD#1#2#3#4{{\displaystyle {#3 \atopwithdelims#1#2 #4}}}%
\def\QABOVED#1#2#3#4#5{{#4 \abovewithdelims#1#2#3 #5}}%
\def\QTABOVED#1#2#3#4#5{{\textstyle
{#4 \abovewithdelims#1#2#3 #5}}}%
\def\QDABOVED#1#2#3#4#5{{\displaystyle
{#4 \abovewithdelims#1#2#3 #5}}}%
%
% Macros for text size operators:
%
\def\tint{\mathop{\textstyle \int}}%
\def\tiint{\mathop{\textstyle \iint }}%
\def\tiiint{\mathop{\textstyle \iiint }}%
\def\tiiiint{\mathop{\textstyle \iiiint }}%
\def\tidotsint{\mathop{\textstyle \idotsint }}%
\def\toint{\mathop{\textstyle \oint}}%
\def\tsum{\mathop{\textstyle \sum }}%
\def\tprod{\mathop{\textstyle \prod }}%
\def\tbigcap{\mathop{\textstyle \bigcap }}%
\def\tbigwedge{\mathop{\textstyle \bigwedge }}%
\def\tbigoplus{\mathop{\textstyle \bigoplus }}%
\def\tbigodot{\mathop{\textstyle \bigodot }}%
\def\tbigsqcup{\mathop{\textstyle \bigsqcup }}%
\def\tcoprod{\mathop{\textstyle \coprod }}%
\def\tbigcup{\mathop{\textstyle \bigcup }}%
\def\tbigvee{\mathop{\textstyle \bigvee }}%
\def\tbigotimes{\mathop{\textstyle \bigotimes }}%
\def\tbiguplus{\mathop{\textstyle \biguplus }}%
%
%
%Macros for display size operators:
%
\def\dint{\displaystyle \int}%
\def\diint{\displaystyle \iint}%
\def\diiint{\displaystyle \iiint}%
\def\diiiint{\mathop{\displaystyle \iiiint }}%
\def\didotsint{\mathop{\displaystyle \idotsint }}%
\def\doint{\mathop{\displaystyle \oint}}%
\def\dsum{\mathop{\displaystyle \sum }}%
\def\dprod{\mathop{\displaystyle \prod }}%
\def\dbigcap{\mathop{\displaystyle \bigcap }}%
\def\dbigwedge{\mathop{\displaystyle \bigwedge }}%
\def\dbigoplus{\mathop{\displaystyle \bigoplus }}%
\def\dbigodot{\mathop{\displaystyle \bigodot }}%
\def\dbigsqcup{\mathop{\displaystyle \bigsqcup }}%
\def\dcoprod{\mathop{\displaystyle \coprod }}%
\def\dbigcup{\mathop{\displaystyle \bigcup }}%
\def\dbigvee{\mathop{\displaystyle \bigvee }}%
\def\dbigotimes{\mathop{\displaystyle \bigotimes }}%
\def\dbiguplus{\mathop{\displaystyle \biguplus }}%
\RequirePackage{amsmath}
\makeatother
\endinput