format: text

text:
# 1 Introduction

## 1 Introduction

Much attention has been paid to gauge theories in higher dimensions. In particular, theories whose extra dimensional coordinates are compactified on the orbifolds have been studied in the standard model (SM) (see, for examples, ) and the grand unified theories (GUTs) (see, for examples, ). One of the strongest motivations of the higher dimensional gauge theory is the realization of gauge symmetry reduction by the boundary condition. The nontrivial parity makes the gauge symmetries be reduced (see, for examples, ). The broken gauge bosons become the Kaluza-Klein (KK) states, which have masses of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}`$, where $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}`$ is the compactification scale with the positive integer $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}`$. A solution of the triplet-doublet splitting problem can be also realized by this boundary condition.

The mechanism of gauge symmetry breaking and mass generation in the orbifold models is very different from the Higgs mechanism. The nontrivial boundary condition set by hand breaks the gauge symmetry from the beginning. One question, then, arises: Is the unitarity bounds on the asymptotic high energy behavior of scattering amplitude violated or not?*** There are some discussions about unitarity in these theories in Ref..

It is well-known that the 4D gauge theories with the explicit gauge symmetry breakings give rise to a power behavior of the amplitude and break unitarity in general. The diagrams containing massive gauge bosons in the external lines are the source of the breaking of unitarity. While in the spontaneous broken gauge theories where the gauge bosons obtain their masses through the Higgs mechanism, the power behaviors of the amplitude are canceled by the diagrams containing the Higgs particles. The 3-point (Higgs-gauge-gauge) interactions which is proportional to the mass of the gauge boson play a crucial role in preserving the unitarity. The broken gauge theories through the Higgs mechanism can be applied above the energy of the compactification scale.

How is the situation in the extra dimensional gauge theories where the gauge symmetries are broken by the boundary conditions? The analysis of the unitarity bound in the process of including two massive gauge bosons in the external lines has been done in Ref.. They showed that the power behavior in the diagrams with two massive gauge bosons in the external lines is canceled due to the contributions of the KK states. We should check, however, the diagrams with four massive gauge bosons in the external lines for the accurate arguments of the unitarity bound in the broken gauge theory. The structure of the interactions among KK modes is crucial for conserving the unitarity in the diagrams with four massive gauge bosons in the external lines.

In this paper we study the unitarity bound of the extra dimensional gauge theory where the gauge symmetry is broken by the boundary condition. The gauge symmetries are broken not by the Higgs mechanism but by the boundary conditions. We analyze the unitarity bound in the process of including four massive gauge bosons in the external lines. The result shows the power behaviors of the amplitude are canceled. The calculation will be done in the 5 dimensional SM and the $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ GUT, whose 5th dimensional coordinate is compactified on $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}`$. The broken gauge theories through the orbifolding preserve the unitarity at high energies similarly to the broken gauge theories where the gauge bosons obtain their masses through the Higgs mechanism. The structure of the interactions among KK states play a crucial role in conserving the unitarity.

## 2 Gauge symmetry breaking by orbifolding

At first, we show the setup. We consider the 5D gauge theory where the gauge field exists in the bulk. We denote the five dimensional coordinate as $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}`$, which is compactified on an $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}`$ orbifold. Under the $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}`$ parity transformation, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}`$, the gauge field $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{M}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{M}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ transforms as

$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\nu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$ $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\nu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\nu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}`$ (1)
$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$ $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}`$ (2)
where $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}`$ is the operator of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}`$ transformation. Two walls at $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}`$ and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}`$ are fixed points under $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}`$ transformation. The physical space can be taken to be $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}`$. Here we take $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}`$ as $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}`$, so that the mode expansion of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}`$ ($`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}`$) for the 5D coordinate is given by series of cos- (sin-) functions. Besides, we consider the nontrivial boundary conditions $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{T}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{:}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}`$, where the parity (reflection) operator $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}`$ around $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}`$ is given by $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{T}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}`$. On this orbifold, the fields $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ are divided into

$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\nu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}`$ $`{\displaystyle \underset{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}}{\overset{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{}}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}}}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\delta }$}_{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\nu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}`$ (3)
$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\nu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}`$ $`{\displaystyle \underset{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}}{\overset{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{}}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}}}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\nu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}\frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}\frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}`$ (4)
$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}`$ $`{\displaystyle \underset{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}}{\overset{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{}}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}}}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}\frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{sin}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}\frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}`$ (5)
$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}`$ $`{\displaystyle \underset{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}}{\overset{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{}}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}}}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{sin}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}`$ (6)
according to the eigenvalues, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pm }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}`$, of the parity $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}`$.

We can see that the gauge symmetry is broken by taking the nontrivial parity operator $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}`$ in the gauge group basis. Considering $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{L}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\times }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Y}$}`$ gauge theory, the $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}`$ parity operator, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{d}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{i}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{a}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{.}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$, realizes the gauge reduction of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{L}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\times }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Y}$}`$. It is because the gauge bosons of the cosset space $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{L}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\times }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Y}$}`$ become heavy through the mode expansions in Eqs.(3) and (4). The way of generating gauge boson masses is quite different from the Higgs mechanism. We will examine the unitarity bound in this theory in the next section. In the section 4, we will consider the 5D $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ theory with the $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}`$ parity operator, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{d}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{i}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{a}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{.}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$, which realizes the gauge reduction of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{c}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\times }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{L}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\times }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Y}$}`$, and estimate the unitarity bound of this theory.

## 3 Unitarity in the SM on orbifold

It is well-known that massive gauge bosons in the external lines bring the unitarity bound to a crisis. At first, we show the notation of massive vector boson in the external line. In the center-of-mass frame, we take the initial momentum as $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{p}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{p}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{p}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{p}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$, and the final momentum as $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{k}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{p}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{sin}}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\theta }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{p}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\theta }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{sin}}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\theta }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\theta }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{k}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{p}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{sin}}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\theta }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{p}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\theta }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$, where $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}`$ is the gauge boson mass. Then the longitudinal polarization vectors become $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{ϵ}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{L}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{p}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{p}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{ϵ}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{L}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{k}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{p}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{sin}}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\theta }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\theta }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{sin}}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\theta }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\theta }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$.

Before examining the unitarity bound in the orbifold model, let us show briefly the unitarity bound of 4D SM (see, for examples, ), where the $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}`$ and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}`$ gauge bosons obtain masses through the Higgs mechanism. Each tree diagram including two massive gauge bosons in the external lines is of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$. It is because the polarization vector $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{ϵ}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{k}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ is proportional to $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{ϵ}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{k}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{k}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}`$ in the high energy limit. However, in this order, the unitarity is maintained without Higgs contributions. For examples, in the process of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{e}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{e}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}`$, three diagrams $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$ s-channel photon and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}`$ exchange, t-channel neutrino exchange, and four-point interaction processes $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$ cancel the $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ behavior. The important point is that this cancellation is realized without the Higgs scalar contributions. Actually, the cancellation of the power behavior in the process including two massive gauge bosons in the external lines can be realized even when the gauge boson mass is not given by the Higgs mechanism.

Then how about the amplitude including four massive gauge bosons in the external line? This case seems to induce power behavior of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$, naively. For examples, let us see the process of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}`$. There are following three diagrams for this process (Figs.1(a)$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$(c)).

They cancel each other up to the order of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$. However, there still remains the divergence of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$. This brings about the violation of the unitarity, and the theory including massive gauge bosons must be the effective theory bellow the energy scale of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}`$. However, it is well-known that the SM, where the gauge bosons obtain masses through the Higgs mechanism, has additional following two diagrams (Figs1(d),(e)).

Then as is seen in the Table.I, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ becomes vanished by adding all diagrams (Figs.1(a)$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$(e)). This result is expected from the so-called equivalence theorem, which means that the amplitude of the diagram with the massive gauge boson in the external lines is, up to $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ corrections, equal to that of diagram of the scalar (would-be NG boson) in the external lines instead of massive gauge boson. Thus, the spontaneous broken gauge theories are expected to be always protected from the unitarity violation. They can be the true theory above the energy scale of gauge boson mass. On the other hand, it is not the case for the theory with explicit symmetry breaking. If the gauge boson mass is not coming from the Higgs mechanism, the unitarity is not necessarily guaranteed. It is because the 3-point vertex, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{h}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$, with the coupling proportional to the gauge boson mass plays a crucial role in the above cancellation. So if there are no Higgs scalars, there do not exist the diagrams of Figs.1(d) and (e), where the Higgs mechanism does not work and the absence of 3-point vertex proportional to the gauge boson mass induces the power behavior in general.

Now let us consider the unitarity bounds in the 5D SM on the orbifold, where the gauge bosons are obtaining KK masses through the orbifolding. In this case, we should take into account the contribution of virtual photon and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}`$ boson of the KK excited states. It should be noticed that gauge couplings among KK states obey some kind of selection rule. We take the “gauge” where the 5th gauge field $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ is gauged awayThis “gauge fixing” will be discussed in the section 5.. For example, let us consider the process of of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}`$. We can easily see that zero mode and first excited photon and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}`$ can only have the 3-point coupling (pair creation) of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}`$. Then there are following three diagrams in the 5D SM:

We remind that the 5D gauge coupling, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}`$, has mass dimension $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}`$, which is related to the 4D gauge coupling, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}`$, as $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}`$. Then the couplings of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\gamma }$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ are

$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}{\displaystyle \colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{𝑑}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\left(}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\right)}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}`$ (7)
while the couplings of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\gamma }$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ are

$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}{\displaystyle \colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{𝑑}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\left(}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\right)}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\left(}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\right)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{.}$}`$ (8)
Thus, the amplitude of Fig.2(a) (Fig.2(b)) becomes 3/2 times that of Fig.1(a) (Fig.1(b)), by including both contributions of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\gamma }$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}`$ and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\gamma }$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}`$. As for the four point vertex in Fig.2(c), the coupling is given by

$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{i}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}{\displaystyle \colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{𝑑}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\left(}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\right)}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{i}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{.}$}`$ (9)
This means that the amplitude of Fig.2(c) becomes 3/2 times that of Fig.1(c). The results is shown in Table II.

Both of the power behaviors of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ are canceled although there are no Higgs contribution as the 4D SM (Figs.1(d),(e)). Table II suggests that the KK-modes play an important role for preserving the unitarity. They realize the cancellation of the power behavior of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ as the Higgs scalars do in the spontaneous breaking gauge theories as well as that of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$.

## 4 Unitarity in the GUT on orbifold

Next, we consider the 5D $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ theory with the $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}`$ parity operator, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{d}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{i}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{a}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{.}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$, which realizes the gauge reduction of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{c}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\times }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{L}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\times }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Y}$}`$ . The analysis of the unitarity bound in the process of including two massive gauge bosons in the external lines has been done in Ref.. They estimate the process of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{H}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{D}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{H}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{D}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}`$. It has been known that three diagrams $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$ s-channel $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Y}$}`$ and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{L}$}`$ gauge boson exchange, t-channel colored Higgs exchange, and four-point interaction processes $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$ cancel the $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ behavior in the usual 4D $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ GUT. On the other hand, in the corresponding process in 5D $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ GUT, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{H}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{D}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{H}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{D}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}`$, the $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ divergence is canceled among the s-channel exchange diagrams of zero mode and KK mode. The Higgs boson $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{H}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{D}$}`$ is the brane-localized field on $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}`$.

How about the unitarity bound in the process of including four massive gauge bosons in the external lines? As is shown in the previous section, this process is more important for the precise arguments of the unitarity bounds. Let us consider the processes, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}`$ in the 4D GUT and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}`$ of the 5D GUT. This case seems to induce power behavior of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ naively as described in the previous section. In the 4D $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ GUT, there are following three diagrams of this process (Figs.3(a)$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$(c)).

Where the propagators, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}`$, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{8}$}`$, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}`$, and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{B}$}`$, stand for the diagonal elements of the gauge fields of the $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$, corresponding to $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{c}$}`$, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{c}$}`$, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{L}$}`$, and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Y}$}`$ components, respectively. Figures 3(a)$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$(c) cancel each other up to the order of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$. However, there still remains the divergence of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$. This divergence is canceled by additional two diagrams including adjoint Higgs $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{\Sigma }}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ contributions.

Where the propagators, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{\Sigma }}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}`$, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{\Sigma }}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{8}$}`$, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{\Sigma }}$}_{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}}`$, and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{\Sigma }}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{B}$}`$, stand for the diagonal elements of the adjoint Higgs fields of the $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$.

As shown in the Table III, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ becomes vanished by adding all diagrams (Figs.3(a)$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$(e)). The 3-point vertex, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{\Sigma }}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$, with the coupling proportional to the gauge boson mass plays a crucial role in the cancellation.

Then how about the 5D $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ on the orbifold? Let us consider the process, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}`$ of the 5D GUT. In this case, we should take into account not only the contributions of zero modes (Figs.4(a) and (b)) but also the KK excited states (Figs.4(d) and (e)).

By Eqs.(7)$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$(9), the amplitudes of Fig.4(a)$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$(e) become 3/2 times that of Fig.3(a)$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$(c). Then the amplitudes from Figs.4(a)$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$(c) are shown in Table IV.

As in the 4D GUT, both $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ are canceled. In more general processes, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}`$ $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{.}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{.}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$, the power behaviors of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ are also canceled. Where the propagators in Figs.4(d) and (e) are replaced as $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{8}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{B}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{8}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{B}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}`$, and the amplitudes are exactly same as those of the Table IV.

How about other processes where masses of the final gauge bosons are different from those of the initial ones? Let us estimate the amplitude, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}`$, for examples. There are four diagrams as in Figs.5(a)$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$(d).

By Eq.(7), and using

$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}{\displaystyle \colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{𝑑}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\left(}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\right)}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}`$ (10)
$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}{\displaystyle \colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{𝑑}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\left(}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\right)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\left(}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\right)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\left(}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\right)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}`$ (11)
$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}{\displaystyle \colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{𝑑}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\left(}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\right)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\left(}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\right)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\left(}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\right)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}`$ (12)
$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{i}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}{\displaystyle \colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{0}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{𝑑}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\left(}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\right)}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\left(}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}}{\sqrt{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{cos}}$}{\displaystyle \frac{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\right)}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{i}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{g}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}`$ (13)
the amplitudes of Fig.5(a)$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$(d) are calculated as Table V.

This case also suggests the cancellation of the power behaviors of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$. Furthermore, the amplitudes of the processes, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{l}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{X}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{l}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}}`$ $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{l}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{.}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{.}$}`$ with $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{l}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$, are shown in Table VI. Where the propagators in Figs.5(b),(d) are replaced as $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{8}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{B}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pm }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{l}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{8}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pm }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{l}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{W}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{3}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pm }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{l}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{B}$}^{\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{n}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pm }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{l}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}}`$. In these cases the power behaviors of $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ are also canceled.

Above calculations suggest that the 5D GUT theory with the gauge symmetry violation through the boundary condition also preserves the unitarity.

## 5 Summary and discussion

We have studied the unitarity bounds of the extra dimensional gauge theory where the gauge symmetry is broken by the boundary condition. The gauge symmetries are violated not by the Higgs mechanism but by the nontrivial boundary conditions. We have calculated the amplitudes of the process of including four massive gauge bosons in the external lines. The results show the power behavior of both $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{4}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ and $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{O}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{E}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{m}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ in the amplitude vanish. The calculations have be done in the 5 dimensional SM and the $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ GUT, whose 5th dimensional coordinate is compactified on $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}`$. Therefore, the broken gauge theory through the orbifolding preserves unitarity at high energy. This situation is similar to the broken gauge theory where the gauge bosons obtain their masses through the Higgs mechanism. This result shows that the KK-modes in the extra dimensional theory where the gauge symmetry is violated through the boundary condition play an important role as the Higgs scalars do. The structure of the interactions among KK states are crucial for conserving the unitarity.

Finally, we show that the 5th gauge field, $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$ can be gauged away and absorbed into the longitudinal component of the 4D gauge field $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\nu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}`$, both of which are given previously as Eqs.(3)$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}`$(6). This is realized through the appropriate gauge transformation such as

$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\nu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\nu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{i}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\nu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}`$ (14)
$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{i}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}`$ (15)
where

$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{𝒫}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mathrm{exp}}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{[}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{i}$}{\displaystyle \colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{𝑑}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{]}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{.}$}`$ (16)
Here $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{𝒫}$}`$ is the path ordered product. It is noted that the above transformation is compatible with the boundary conditions on the $`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{S}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{/}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{Z}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}`$ orbifold as

$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}`$ (17)
$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{U}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}`$ (18)
due to the relation on the 5th gauge field as

$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{+}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{2}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\pi }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{R}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}`$ (19)
$`\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{=}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{A}$}_\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{5}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{(}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{x}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{\mu }$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{,}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{y}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{)}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{P}$}^\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{1}$}\colorbox[rgb]{1,1,1}{$\textcolor[rgb]{0,0,0}{.}$}`$ (20)
The 5th gauge field is the would-be NG-like field. A detailed study along this line of thought will be presented elsewhere.

Acknowledgments

We would like to thank H. Murayama and Y. Nomura for helpful comments. This work was supported in part by Scientific Grants from the Ministry of Education and Science, Grant No. 14039207, Grant No. 14046208, Grant No. 14740164.

References