1: %\documentstyle[twocolumn,12pt]{article}
2: %\newcommand{\appsection}{\setcounter{equation}{0} \section*{Appendix}}
3: %\renewcommand{\theequation}{\thesection.\arabic{equation}}
4: % Ket-Zustand
5: % Bra-Zustand
6:
7:
8: \documentstyle[amstex,12pt]{article}
9: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
10: %TCIDATA{OutputFilter=Latex.dll}
11: %TCIDATA{Version=5.00.0.2552}
12: %TCIDATA{<META NAME="SaveForMode" CONTENT="1">}
13: %TCIDATA{LastRevised=Thursday, August 24, 2006 18:24:35}
14: %TCIDATA{<META NAME="GraphicsSave" CONTENT="32">}
15:
16: \hoffset=-0.33in
17: \voffset=-0.3in
18: \renewcommand{\baselinestretch}{1.5}
19: \newcommand{\resection}[1]{\setcounter{equation}{0}\section{#1}}
20: \newcommand{\appsection}{\addtocounter{section}{1} \setcounter{equation}{0}
21: \section*{Appendix \Alph{section}}}
22: \renewcommand{\theequation}{\arabic{equation}}
23: \textwidth 169mm
24: \textheight 214mm
25: \newcommand{\EQ}{\begin{equation}}
26: \newcommand{\sh}{\sinh}
27: \newcommand{\th}{\tanh}
28: \newcommand{\ch}{\cosh}
29: \newcommand{\EN}{\end{equation}}
30: \newcommand{\spz}{\hspace{0.7cm}}
31: \newcommand{\ket}[1]{\left|#1\right\rangle}
32: \newcommand{\bra}[1]{\left\langle #1\right|}
33: \newcommand{\ep}{\varepsilon}
34: \newcommand{\nn}{\frac{3}{3n+1+\ep}}
35: \newcommand{\entnat}{{\sf I\!N}}
36: \newcommand{\reel}{{\rm I\!R}}
37: \newcommand{\wave}[1]{\mbox{\raisebox{-.6ex}{$\stackrel{\displaystyle{\sim}}
38: {\scriptstyle{R \rightarrow {#1}}}$}}}
39: \newcommand{\ung}[1]{\mbox{$\stackrel{\scriptscriptstyle{R \rightarrow {#1}}}
40: {\displaystyle{\sim}}$}}
41: \newcommand{\dvac}{\Delta_{12}}
42: \newcommand{\dper}{\Delta_{13}}
43: \newcommand{\bear}{\begin{eqnarray}}
44: \newcommand{\ear}{\end{eqnarray}}
45:
46: \begin{document}
47:
48:
49: \topmargin 0pt \oddsidemargin 5mm
50:
51: \renewcommand{\thefootnote}{\fnsymbol{footnote}}
52:
53: \newpage \setcounter{page}{0}
54: \begin{titlepage}
55: \begin{flushright}
56: UFSCar-HEP-06/15
57: \end{flushright}
58: \vspace{0.5cm}
59: \begin{center}
60: \large{Solutions of the reflection equation for the $U_q[G_2]$ vertex model.} \\
61: \vspace{1cm}
62: \vspace{1cm}
63: {\large A. Lima-Santos and M.J. Martins } \\
64: \vspace{1cm}
65: \centerline{\em Departamento de F\'isica, Universidade Federal de S\~ao Carlos}
66: \centerline{\em Caixa Postal 676, 13565-905, S\~ao Carlos, Brazil}
67: \vspace{1.2cm}
68: \end{center}
69: \begin{abstract}
70: We investigate the possible regular solutions of the boundary Yang-Baxter equation for the
71: fundamental $U_q[G_2]$ vertex model. We find four distinct classes of
72: reflection matrices such that half of them are diagonal while the other half are
73: non-diagonal. The latter are parameterized by two continuous parameters
74: but only one solution has all entries non-null.
75: The non-diagonal solutions do not
76: reduce to diagonal ones at any special limit of the free-parameters.
77:
78: \end{abstract}
79: \vspace{.2cm}
80: %\centerline{PACS numbers: 71.27.+a, 75.10.Jm}
81: \centerline{Keywords: Reflection Equation, K-matrices, $U_q[G_2]$}
82: \vspace{.2cm}
83: \centerline{August 2006}
84: \end{titlepage}
85:
86: \renewcommand{\thefootnote}{\arabic{footnote}}
87:
88: \section{Introduction}
89:
90: It is, by now, well known that integrable two-dimensional systems of
91: statistical mechanics can be derived from the Yang-Baxter equation \cite{BA}%
92: . The respective Boltzmann weights can be related in a natural manner to the
93: elements of a Yang-Baxter $\check{R}$-matrix solution $\check{R}_{ab}(x)\in
94: C_{a}^{N}\otimes C_{b}^{N}$ satisfying the relation,
95: \begin{equation}
96: \check{R}_{12}(x)\check{R}_{23}(xy)\check{R}_{12}(y)=\check{R}_{23}(y)\check{%
97: R}_{12}(xy)\check{R}_{23}(x) \label{YB}
98: \end{equation}%
99: for arbitrary spectral parameters $x$ and $y$.
100:
101: For an open statistical system not all possible types of boundaries are
102: compatible with the Yang-Baxter condition (\ref{YB}). However, the
103: integrability at the boundary may be assured when the boundary weights $%
104: K(x)\in C^{N}$ fulfill the so-called reflection equation \cite{CK,SK}, which
105: reads
106: \begin{equation}
107: \check{R}_{12}(x/y)\overset{1}{K}(x)\check{R}_{12}(xy)\overset{1}{K}(y)=%
108: \overset{1}{K}(y)\check{R}_{12}(xy)\overset{1}{K}(x)\check{R}_{12}(x/y)
109: \label{RE1}
110: \end{equation}%
111: where $\overset{1}{K}(x)=K(x)\otimes I_{N}$ and $I_{N}$ is the $N\times N$
112: identity matrix.
113:
114: An important class of $\check{R}$-matrices are those based on a quantum
115: group $U_{q}[{\cal {G}]}$ $q$-deformation of a classical Lie algebra ${\cal {%
116: G}}$ \cite{JI}. For these models, from a given solution $K(x)$ of Eq.(\ref%
117: {RE1}) one can, in principle, construct families of commuting transfer-matrix
118: \cite{SK,NEP}. This fact has motived several authors, see for instance refs.
119: \cite{DE,JAP,YA}, to search for $K$-matrices solutions associated to such
120: quantum integrable models as well as for their elliptic extensions \cite%
121: {SOS,SOS1}. More recently, attempts to classify all the $K$-matrices of the
122: non-exceptional $U_{q}[{\cal {G}]}$ vertex models either by direct analysis
123: of Eq.(\ref{RE1}) \cite{LI} or by others potentially systematic approaches
124: \cite{NED,CH1} have been discussed in the literature.
125:
126: In spite of all these works not much is known about the structure of the $K$%
127: -matrices of the vertex models based on the quantum exceptional Lie
128: algebras. In fact, even for the simplest such case, i.e. the fundamental $%
129: U_{q}[G_{2}]$ $\check{R}$-matrix \cite{KU}, only the diagonal solutions have
130: been studied \cite{BAT1}. The purpose of this paper is to start to bridge
131: this gap by presenting the complete reflection matrices associated to the
132: minimal $U_{q}[G_{2}]$ vertex model.
133:
134: This paper is organized as follows. In next section we describe the
135: seven-dimensional $U_{q}[G_{2}]$ $\check{R}$-matrix on the Weyl basis. This
136: step makes it possible to adapt the method developed for non-exceptional
137: models \cite{LI} to deal with the exceptional $U_{q}[G_{2}]$ case. In
138: section 3 we discuss what we hope to be the complete set of reflection
139: matrices. We find two families of non-diagonal solutions and we
140: confirm as well the special diagonal ones given before in ref.\cite{BAT1}. We
141: observe that the two types of diagonal $K$-matrices cannot be obtained as
142: special limits of the non-diagonal ones. Section 4 is reserved for our
143: conclusions. In Appendix A we present the explicit Boltzmann weights
144: expressions of the $U_q[G_2]$ vertex model.
145:
146: \section{The $U_q[G_2]$ $R$-matrix}
147:
148: In this section we shall present the $U_{q}[G_{2}]$ $\check{R}$-matrix in a
149: suitable basis for the analysis of the reflection equation (\ref{RE1}). In
150: terms of the quantum group framework \cite{JI}, this matrix can be written
151: as linear combination of the $U_{q}[G_{2}]$ projectors operators $%
152: P_{V_{\Lambda }}$ \cite{KU}:
153: \begin{equation}
154: \check{R}(x)=\sum_{\Lambda =0,\Lambda _{1},\Lambda _{2},2\Lambda _{2}}\rho
155: _{\Lambda }(x)P_{V_{\Lambda }} \label{dec}
156: \end{equation}%
157: where $V_{\Lambda }$ denotes the irreducible representations occurring in the
158: seven-dimensional $U_{q}[G_{2}]$ decomposition $V_{\Lambda _{2}}\otimes
159: V_{\Lambda _{2}}=V_{0}\oplus V_{\Lambda _{1}}\oplus V_{\Lambda _{2}}\oplus
160: V_{2\Lambda _{2}}$.
161:
162: The weights $\rho_{\Lambda}(x)$ are functions of the quadratic Casimir
163: element in an irrep with the highest weight. They satisfy the following
164: relations,
165: \begin{equation}
166: \rho_{\Lambda_{2}}(x)= \frac{[2]_x [12]_x}{[8]_x} \rho_{0}(x),~~~
167: \rho_{2\Lambda_{2}}(x)= [2]_x [12]_x \rho_{0}(x),~~~ \rho_{\Lambda_{1}}(x)=
168: [12]_x \rho_{0}(x) \label{rho}
169: \end{equation}
170: where $[a]_x= \frac{x q^{a}-1}{q^a-x}$ and $\rho_{0}(x)$ is an arbitrary
171: normalization.
172:
173: A direct analysis of the reflection equation (\ref{RE1}) is in principle
174: easily made by representing the $K$-matrix $K(x)$ in terms of the Weyl
175: basis. In this approach, the same has to be done for the $U_{q}[G_2]$ $%
176: \check{R}$-matrix as well. This last step involves a considerable amount of
177: additional work even when the projectors $P_{V_{\Lambda }}$ are known in
178: terms of the so-called $q$-Wigner coefficients. Ommiting here such
179: technicalities, we find that the $\check{R}$-matrix defined by Eqs.(\ref{dec}%
180: ,\ref{rho}) can be rewritten in terms of the following expression,%
181: \begin{eqnarray} \label{RRR}
182: \check{R}(x) &=&\sum_{\alpha=1, \neq 4}^{7}c_{1}(x){\rm e}_{\alpha \alpha
183: }\otimes {\rm e}_{\alpha \alpha }+\sum_{\overset{\alpha=1}{\alpha <4}%
184: }^{7}c_{3}(x)[{\rm e}_{\alpha 4}\otimes {\rm e}_{4\alpha }+{\rm e}_{4\alpha
185: }\otimes {\rm e}_{\alpha 4}] +\sum_{\alpha,\beta=1}^{7}c_{\alpha \beta }(x)%
186: {\rm e}_{\alpha ^{\prime }\beta }\otimes {\rm e}_{\alpha \beta ^{\prime }}
187: \nonumber \\
188: &&+\sum_{\overset{\alpha,\beta=1,\neq 4}{\alpha <\beta ,\beta ^{\prime }}%
189: }^{7} {\cal B}_{1}(\alpha ,\beta )\left[ {\rm e}_{\alpha \alpha }\otimes
190: {\rm e}_{\beta \beta }+{\rm e}_{\beta ^{\prime }\beta ^{\prime }}\otimes
191: {\rm e}_{\alpha ^{\prime }\alpha ^{\prime }}\right] +{\cal A}_{1}(\alpha
192: ,\beta )\left[ {\rm e}_{\beta \beta }\otimes {\rm e}_{\alpha \alpha }+{\rm e}%
193: _{\alpha ^{\prime }\alpha ^{\prime }}\otimes {\rm e}_{\beta ^{\prime }\beta
194: ^{\prime }}\right] \nonumber \\
195: &&+\sum_{\overset{\alpha=1}{\alpha <4}}^{7}{\cal B}_{2}(\alpha )\left[ {\rm e%
196: }_{\alpha \alpha }\otimes {\rm e}_{44}+{\rm e}_{44}\otimes {\rm e}_{\alpha
197: ^{\prime }\alpha ^{\prime }}\right] +{\cal A}_{2}(\alpha )\left[ {\rm e}%
198: _{44}\otimes {\rm e}_{\alpha \alpha }+{\rm e}_{\alpha ^{\prime }\alpha
199: ^{\prime }}\otimes {\rm e}_{44}\right] \nonumber \\
200: &&+\sum_{\overset{\alpha,\beta=1,\neq 4}{\alpha <\beta ,\beta ^{\prime }}%
201: }^{7}{\cal C}(\alpha ,\beta )\left[ {\rm e}_{\alpha \beta }\otimes {\rm e}%
202: _{\beta \alpha }+{\rm e}_{\beta \alpha }\otimes {\rm e}_{\alpha \beta } +
203: {\rm e}_{\alpha ^{\prime }\beta ^{\prime }}\otimes {\rm e}_{\beta ^{\prime
204: }\alpha ^{\prime }}+{\rm e}_{\beta ^{\prime }\alpha ^{\prime }}\otimes {\rm e%
205: }_{\alpha ^{\prime }\beta ^{\prime }} \right ] \nonumber \\
206: &&+\sum_{k=1}^{3}\sum_{\Gamma _{k}}\left\{ {\cal B}_{[k]}\left[ {\rm e}%
207: _{\alpha \beta }\otimes {\rm e}_{4\delta }+{\rm e}_{\beta \alpha }\otimes
208: {\rm e}_{\delta 4}+{\rm e}_{\delta ^{\prime }4}\otimes {\rm e}_{\beta
209: ^{\prime }\alpha ^{\prime }}+{\rm e}_{4\delta ^{\prime }}\otimes {\rm e}%
210: _{\alpha ^{\prime }\beta ^{\prime }}\right] \right. \nonumber \\
211: &&\qquad \quad +\left. {\cal A}_{[k]}\left[ {\rm e}_{\alpha ^{\prime }\beta
212: ^{\prime }}\otimes {\rm e}_{4\delta ^{\prime }}+{\rm e}_{\beta ^{\prime
213: }\alpha ^{\prime }}\otimes {\rm e}_{\delta ^{\prime }4}+{\rm e}_{\delta
214: 4}\otimes {\rm e}_{\beta \alpha }+{\rm e}_{4\delta }\otimes {\rm e}_{\alpha
215: \beta }\right] \right\}
216: \end{eqnarray}%
217: where $\alpha ^{\prime }=8-\alpha $ and the symbol $\Gamma _{k}$ denotes the
218: sum over a set of three indices $\{(\alpha ,\beta ,\delta )\}$ such that $%
219: \Gamma _{1}=\{(1,3,2),(5,2,7),(6,3,7)\}$, $\Gamma _{2}=(1,2,3)$ and $\Gamma
220: _{3}=\{(2,1,5),(3,1,6)\}$.
221: We also recall that
222: ${\rm e}_{\alpha ,\beta }$ refers to the standard $7\times 7$ Weyl
223: matrices.
224:
225: The explicit expressions of all the weights appearing in expression (\ref%
226: {RRR}) have been summarized in Appendix A.
227: An advantage of the representation (\ref{RRR}) is that it exhibits explicitly the two $U(1)$ symmetries
228: of the $G_2$ Lie algebra. This property will be very useful in
229: next section in order to classify the independent functional relations for
230: the reflection matrices. We also note that the last term in Eq.(\ref{RRR})
231: represents additional Boltzmann weights as compared with those present in
232: the $\check{R}(x)$-matrix of the non-exceptional vertex models \cite{JI}.
233:
234: We close this section by mentioning useful relations satisfied by the matrix
235: $R(x)=P\check{R}(x)$, where $P$ is the seven-dimensional permutator. Besides
236: the standard properties of regularity and unitarity the matrix $R(x)$
237: satisfies the so-called $PT$-symmetry given by
238: \begin{equation}
239: P_{12}R_{12}(x)P_{12}=R_{12}^{t_{1}t_{2}}(x) \label{PT}
240: \end{equation}%
241: where the symbol $t_{k}$ denotes the transposition in the space with index $%
242: k $.
243:
244: Yet another property is the crossing symmetry,
245: \begin{equation}
246: \label{cross}
247: R_{12}(x)=\frac{-x^3}{q^{18}} V_{1} R_{12}^{t_2}(q^{12}/x )V^{-1}_{1}
248: \label{CRO}
249: \end{equation}
250: where $V$ is an anti-diagonal matrix whose non-null elements are $%
251: V_{17}=1,V_{26}=-q,V_{35}=q^4,V_{44}=-q^5,
252: V_{53}=q^6,V_{62}=-q^9,V_{71}=q^{10}$.
253:
254: \section{The $U_q[G_2]$ $K$-matrices}
255:
256: The purpose here is to search for the complete set of regular $K$-matrices
257: for the $U_{q}[G_{2}]$ vertex model defined in the previous section. More
258: specifically , we are interested in reflexion matrices having the general
259: form,
260: \begin{equation}
261: K(x)=\sum_{\alpha ,\beta =1}^{7}k_{\alpha ,\beta }(x){\rm e}_{\alpha ,\beta }
262: \label{WEYK}
263: \end{equation}%
264: with the constraint $k_{\alpha ,\beta }(1)=\delta _{\alpha ,\beta }$.
265:
266: Direct substitution of the ansatz (\ref{WEYK}) and the $R$-matrix (\ref{RRR}%
267: ) in Eq.(\ref{RE1}) give us several independent functional equations for
268: the elements $k_{\alpha ,\beta }(x)$. In order to select and solve these
269: equations we act on them with the operator $\frac{d}{dy}$ and afterwards we
270: take the $y=1$ regular limit. Here we shall denote these resulting algebraic
271: equations by the symbol $E[i,j]$ where the index $[i,j]$ refer to the ith
272: row and jth column of the original reflection equation (\ref{RE1}). Note
273: that such equations involve only the variable $x$ and a number of
274: free-parameters $\omega _{\alpha ,\beta }$ defined as
275: \begin{equation}
276: \omega _{\alpha ,\beta }=\frac{dk_{\alpha ,\beta }(y)}{dy}|_{y=1}
277: \end{equation}
278:
279: Our next step is to organize the algebraic equations $E[i,j]$ in suitable
280: blocks of relations $B[i,j]$ involving related $K$-matrices elements. We
281: find that such blocks are made by combining for a given pair $[i,j]$ the $%
282: E[i,j]$, $E[j,i]$, $E[50-i,50-j]$ and $E[50-j,50-i]$ set of relations.
283: Considering that we are looking for general non-diagonal $K$-matrices we
284: start our analysis by inspecting the blocks $B[i,j]$ possessing only
285: off-diagonal elements $k_{\alpha ,\beta }(x)$. The simplest ones are $%
286: B[1,33] $, $B[1,41]$, $B[2,42]$, $B[3,35]$, $B[9,17]$ and $B[12,20]$,
287: providing us constraints to the elements $k_{\alpha ,\alpha ^{\prime }}(x)$,
288: which reads
289: \begin{equation}
290: k_{\alpha ,\alpha ^{\prime }}(x)=\frac{\omega _{\alpha ,a^{\prime }}}{\omega
291: _{1,7}}k_{1,7}(x)
292: \end{equation}
293:
294: By the same token, the blocks $B[1,47]$, $B[1,48]$ and $B[8,38]$ lead us to
295: determine the following elements,%
296: \begin{eqnarray}
297: k_{1,5}(x) &=&\Gamma (x)\left( \,a_{1}\left( x\right) c_{11}\left( x\right)
298: \omega _{1,5}-c_{2}\left( x\right) c_{13}\left( x\right) \omega
299: _{3,7}\right) \frac{k_{1,7}\left( x\right) }{\omega _{1,7}} \\
300: k_{5,1}(x) &=&\Gamma (x){\left( \,a_{1}\left( x\right) c_{11}\left( x\right)
301: \omega _{5,1}-c_{2}\left( x\right) c_{13}\left( x\right) \omega
302: _{7,3}\right) }\frac{k_{7,1}\left( x\right) }{\omega _{7,1}} \\
303: k_{7,3}(x) &=&\Gamma (x){\left( b_{1}\left( x\right) c_{11}\left( x\right)
304: \,\omega _{7,3}-c_{2}\left( x\right) c_{31}\left( x\right) \omega
305: _{5,1}\right) }\frac{k_{7,1}\left( x\right) }{\omega _{7,1}} \\
306: k_{3,7}(x) &=&\Gamma (x){\left( b_{1}\left( x\right) c_{11}\left( x\right)
307: \omega _{3,7}-c_{2}\left( x\right) c_{31}\left( x\right) \omega
308: _{1,5}\right) }\frac{k_{1,7}\left( x\right) }{\omega _{1,7}}
309: \end{eqnarray}%
310: \begin{eqnarray}
311: k_{16}(x) &=&\Gamma (x)(a_{1}\left( x\right) c_{11}\left( x\right) \omega
312: _{1,6}-c_{2}\left( x\right) c_{12}\left( x\right) \omega _{2,7})\frac{%
313: k_{1,7}\left( x\right) }{\omega _{1,7}} \\
314: k_{61}(x) &=&\Gamma (x)(a_{1}\left( x\right) c_{11}\left( x\right) \omega
315: _{6,1}-c_{2}\left( x\right) c_{12}\left( x\right) \omega _{7,2})\frac{%
316: k_{7,1}\left( x\right) }{\omega _{7,1}} \\
317: k_{27}(x) &=&\Gamma (x){\left( b_{1}\left( x\right) c_{11}\left( x\right)
318: \,\omega _{2,7}-c_{2}\left( x\right) c_{21}\left( x\right) \omega
319: _{1,6}\right) }\frac{k_{1,7}\left( x\right) }{\omega _{1,7}} \\
320: k_{72}(x) &=&\Gamma (x){\left( b_{1}\left( x\right) c_{11}\left( x\right)
321: \,\omega _{7,2}-c_{2}\left( x\right) c_{21}\left( x\right) \omega
322: _{6,1}\right) }\frac{k_{7,1}\left( x\right) }{\omega _{7,1}}
323: \end{eqnarray}%
324: \begin{eqnarray}
325: k_{23}(x) &=&\Gamma (x)(a_{1}\left( x\right) c_{11}\left( x\right) \omega
326: _{2,3}-c_{2}\left( x\right) c_{25}\left( x\right) \omega _{5,6})\frac{%
327: k_{1,7}\left( x\right) }{\omega _{1,7}} \\
328: k_{32}(x) &=&\Gamma (x)(a_{1}\left( x\right) c_{11}\left( x\right) \omega
329: _{3,2}-c_{2}\left( x\right) c_{25}\left( x\right) \omega _{6,5})\frac{%
330: k_{7,1}\left( x\right) }{\omega _{7,1}} \\
331: k_{56}(x) &=&\Gamma (x){\left( b_{1}\left( x\right) c_{11}\left( x\right)
332: \,\omega _{5,6}-c_{2}\left( x\right) c_{52}\left( x\right) \omega
333: _{2,3}\right) }\frac{k_{1,7}\left( x\right) }{\omega _{1,7}} \\
334: k_{65}(x) &=&\Gamma (x){\left( b_{1}\left( x\right) c_{11}\left( x\right)
335: \,\omega _{6,5}-c_{2}\left( x\right) c_{52}\left( x\right) \omega
336: _{3,2}\right) }\frac{k_{7,1}\left( x\right) }{\omega _{7,1}}
337: \end{eqnarray}%
338: where we have chosen the entry $k_{1,7}(x)$ as an overall normalization. We
339: also have made use of the identities $%
340: c_{12}(x)c_{21}(x)=c_{13}(x)c_{31}(x)=c_{25}(x)c_{52}(x)$ in order to define
341: the common function,
342: \begin{equation}
343: \Gamma (x)=\frac{c_{1}\left( x\right) c_{11}\left( x\right) -c_{2}\left(
344: x\right) c_{4}\left( x\right) }{c_{11}^{2}\left( x\right) b_{1}\left(
345: x\right) a_{1}\left( x\right) -c_{2}^{2}\left( x\right) c_{12}\left(
346: x\right) c_{21}\left( x\right) }
347: \end{equation}
348:
349: At this point we turn our attention to the diagonal $B[i,i]$ blocks. Each of
350: them involves two distinct equations and after some cumbersome manipulations
351: we find the relation,
352: \begin{equation}
353: \omega _{\beta ,\alpha }\ k_{\alpha ,\beta }(x)=\omega _{\alpha ,\beta }\
354: k_{\beta ,\alpha }(x),~~{\rm for}~~\alpha \neq \beta
355: \end{equation}%
356: provided that the following constraints between the coefficients $\omega
357: _{\alpha ,\beta }$ are satisfied,
358: \begin{equation}
359: \omega _{\alpha ,\beta }\ \omega _{\alpha ^{\prime },\beta ^{\prime
360: }}=\omega _{\beta ,\alpha }\ \omega _{\beta ^{\prime },\alpha ^{\prime }},~~%
361: {\rm for}~~\beta \neq \alpha ,\alpha ^{\prime }
362: \end{equation}
363:
364: The last off-diagonal elements we need to determine are the entries $%
365: k_{4,\beta }(x)$ for $\beta >4$ and $k_{\alpha ,4}(x)$ for $\alpha <4$. It
366: turns out that they can be fixed by using the blocks $B[1,17]$, $B[9,33]$, $%
367: B[2,20]$, $B[3,12]$ and $B[8,35]$. The final results are%
368: \begin{eqnarray}
369: k_{1,4}(x) &=&\frac{\omega _{1,4}}{\omega _{2,3}}k_{2,3}(x),\ \ k_{2,4}(x)=%
370: \frac{\omega _{2,4}}{\omega _{1,5}}k_{1,5}(x),\ \ k_{3,4}(x)=\frac{\omega
371: _{3,4}}{\omega _{1,6}}k_{1,6}(x) \\
372: k_{4,5}(x) &=&\frac{\omega _{4,5}}{\omega _{2,7}}k_{2,7}(x),\ \ k_{4,6}(x)=%
373: \frac{\omega _{4,6}}{\omega _{3,7}}k_{3,7}(x),\ \ k_{4,7}(x)=\frac{\omega
374: _{4,7}}{\omega _{5,6}}k_{5,6}(x)
375: \end{eqnarray}
376:
377: We now reached a point in which all the above considerations can be
378: collected together. Substituting the determined off-diagonal elements back
379: to the reflection equation (\ref{RE1}) we find out that the parameter $%
380: \omega _{2,7}$ has to satisfy the following polynomial equation,
381: \begin{equation}
382: \omega _{2,7}(\omega _{2,7}-\omega _{1,6}q^{-5})(\omega _{2,7}+\omega
383: _{1,6}q^{-5})(\omega _{2,7}+\omega _{1,6}q^{-8})=0
384: \end{equation}
385:
386: The values $\omega _{2,7}=0,-\omega _{1,6}q^{-8}$ lead us to solutions
387: whose non-null elements are only the diagonal $k_{\alpha ,\alpha }(x)$ and
388: the anti-diagonal $k_{\alpha ,\alpha ^{\prime }}$ entries. This branch gives
389: origin to two distinct classes of solution depending on whether $\omega
390: _{1,7}=0$ or $\omega _{1,7}\neq 0$. By setting $\omega _{1,7}=0$ we get the
391: two diagonal solutions found previously in ref.\cite{BAT1}, which in current
392: notation reads,
393: \begin{eqnarray}
394: K^{(1)}(x) &=& I_{7}~~~~ \\
395: && \nonumber \\
396: K^{(2)}(x) &=&{\rm Diag}(1,1,x\frac{qx+\epsilon }{q+\epsilon x},x\frac{%
397: qx+\epsilon }{q+\epsilon x},x\frac{qx+\epsilon }{q+\epsilon x},x^{2},x^{2})
398: \end{eqnarray}%
399: where $\epsilon= \pm 1 $ is a discrete parameter.
400:
401: On the other hand, for $\omega _{1,7}\neq 0$ we obtain the following novel
402: non-diagonal solution
403: \begin{equation}
404: K^{(3)}(x)=\left(
405: \begin{array}{ccccccc}
406: k_{1,1}^{(3)} & & & & & & k_{1,7}^{(3)}(x) \\
407: & k_{2,2}^{(3)} & & & & k_{2,6}^{(3)} & \\
408: & & k_{3,3}^{(3)} & & k_{3,5}^{(3)} & & \\
409: & & & k_{4,4}^{(3)} & & & \\
410: & & k_{5,3}^{(3)} & & k_{5,5}^{(3)} & & \\
411: & k_{6,2}^{(3)} & & & & k_{6,6}^{(3)} & \\
412: k_{7,1}^{(3)} & & & & & & k_{7,7}^{(3)}%
413: \end{array}%
414: \right)
415: \end{equation}%
416: where the diagonal entries are given by,
417: \begin{eqnarray}
418: k_{1,1}^{(3)} &=&k_{2,2}^{(3)}=k_{3,3}^{(3)}=\frac{1}{\omega _{1,7}}\frac{2}{%
419: x^{2}-1}k_{1,7}^{(3)}(x) \\
420: k_{4,4}^{(3)} &=&\frac{1}{\omega _{1,7}}\frac{q^{2}-x^{2}}{q^{2}-1}\frac{2}{%
421: x^{2}-1}k_{1,7}^{(3)}(x) \\
422: k_{5,5}^{(3)} &=&k_{6,6}^{(3)}=k_{7,7}^{(3)}=\frac{1}{\omega _{1,7}}\frac{%
423: 2x^{2}}{x^{2}-1}k_{1,7}^{(3)}(x)
424: \end{eqnarray}%
425: while the off-diagonal elements are,
426: \begin{eqnarray}
427: k_{2,6}^{(3)} &=&\frac{\omega _{2,6}}{\omega _{1,7}}k_{1,7}^{(3)}(x) \\
428: k_{3,5}^{(3)} &=&-\frac{1}{\omega _{2,6}}\left( \frac{2q}{q^{2}-1}\right)
429: k_{1,7}^{(3)}(x) \\
430: k_{5,3}^{(3)} &=&-\frac{\omega _{2,6}}{\omega _{1,7}^{2}}\left( \frac{2q}{%
431: q^{2}-1}\right) k_{1,7}^{(3)}(x) \\
432: k_{6,2}^{(3)} &=&\frac{1}{\omega _{1,7}\omega _{2,6}}\left( \frac{2q}{q^{2}-1%
433: }\right) ^{2}k_{1,7}^{(3)}(x) \\
434: k_{7,1}^{(3)} &=&\frac{1}{\omega _{1,7}^{2}}\left( \frac{2q}{q^{2}-1}\right)
435: ^{2}k_{1,7}^{(3)}(x)
436: \end{eqnarray}
437:
438: The remaining branch $\omega _{2,7}=\epsilon \omega _{1,6}q^{-5}$ is the
439: most complicated one since it leads us to $K$-matrices with all non-null
440: elements. Denoting the entries of this complete matrix by $k^{(4)}{}_{\alpha
441: ,\beta }(x)$ we find, after elaborated algebraic manipulations, that their
442: expressions can be defined as follows. The diagonal entries are,
443: \begin{equation}
444: k_{1,1}^{(4)}(x)={\cal F}^{(\epsilon )}\left( 2,2\right) \left( \frac{{q}%
445: ^{10}\left( {q}^{8}-1\right) \left( 1-\epsilon x\right) }{\left(
446: x^{2}-1\right) \left( {q}^{5}-\epsilon x\right) }-\frac{q^{9}\left(
447: 1+q\right) \left( {q}^{8}+\epsilon \,x\right) \left( 1+{q}^{4}\right) }{%
448: \left( {q}^{3}+1\right) \left( x^{2}-1\right) \left( {q}^{5}-\epsilon
449: x\right) }\right) k_{1,7}^{(4)}\left( x\right)
450: \end{equation}%
451: \begin{equation}
452: k_{2,2}^{(4)}(x)=k_{1,1}^{(4)}\left( x\right) -{\cal F}^{(\epsilon )}\left(
453: 2,2\right) {\frac{q^{10}\left( {q}^{3}+1\right) }{{q}^{5}-\epsilon x}}%
454: k_{1,7}^{(4)}\left( x\right)
455: \end{equation}%
456: \begin{equation}
457: k_{3,3}^{(4)}(x)=k_{1,1}^{(4)}\left( x\right) +{\cal F}^{(\epsilon )}\left(
458: 2,2\right) {\frac{q^{10}\left( {q}^{6}-1\right) }{{q}^{5}-\epsilon x}}%
459: k_{1,7}^{(4)}\left( x\right)
460: \end{equation}%
461: \begin{equation}
462: k_{4,4}^{(4)}(x)={\cal F}^{(\epsilon )}\left( 2,2\right) \left( \frac{{q}%
463: ^{12}\left( {q}^{2}-x^{2}\right) }{\left( {q}^{3}+1\right) \left(
464: x^{2}-1\right) }-{\frac{q^{9}\left( {q}^{9}+1\right) \left( \epsilon
465: \,qx+1\right) }{\left( x^{2}-1\right) \left( {q}^{5}-\epsilon \,x\right) }}%
466: \epsilon \,x\right) k_{1,7}^{(4)}\left( x\right)
467: \end{equation}%
468: \begin{equation}
469: k_{5,5}^{(4)}(x)=x^{2}k_{1,1}^{(4)}\left( x\right) +{\cal F}^{(\epsilon
470: )}\left( 2,2\right) {\frac{{q}^{12}\left( {q}^{6}-1\right) }{{q}%
471: ^{5}-\epsilon \,x}}\epsilon \,xk_{1,7}^{(4)}\left( x\right)
472: \end{equation}%
473: \begin{equation}
474: k_{6,6}^{(4)}(u)=x^{2}k_{1,1}^{(4)}\left( x\right) +{\cal F}^{(\epsilon
475: )}\left( 2,2\right) {\frac{\,q^{15}\left( {q}^{3}+1\right) }{{q}%
476: ^{5}-\epsilon \,x}}\epsilon \,xk_{1,7}^{(k)}\left( x\right)
477: \end{equation}%
478: \begin{equation}
479: k_{7,7}^{(4)}(x)=x^{2}k_{1,1}^{(4)}\left( x\right)
480: \end{equation}
481:
482: The structure of the off-diagonal entries shall be described in terms of the
483: elements of each row separately. For the first row we find,
484: \begin{eqnarray}
485: k_{12}^{\left( 4\right) }(x) &=&-{\cal F}^{(\epsilon )}\left( 1,2\right) {%
486: \frac{{q}^{9}}{{q}^{5}-\epsilon \,x}\ }k_{1,7}^{\left( 4\right) }\left(
487: x\right) , \\
488: k_{13}^{\left( 4\right) }(x) &=&-{\cal F}^{(\epsilon )}\left( 2,1\right) {%
489: \frac{{q}^{9}}{{q}^{5}-\epsilon \,x}\ }k_{1,7}^{\left( 4\right) }\left(
490: x\right) , \\
491: k_{14}^{\left( 4\right) }(x) &=&\sqrt{q^{2}\left( 1+{q}^{2}\right) }{\cal F}%
492: ^{(\epsilon )}\left( 1,1\right) \frac{{q}^{6}}{{q}^{5}-\epsilon \,x}\
493: k_{1,7}^{\left( 4\right) }\left( x\right) , \\
494: k_{15}^{\left( 4\right) }(x) &=&-{\cal F}^{(\epsilon )}\left( 0,1\right) {%
495: \frac{{q}^{6}}{{q}^{5}-\epsilon \,x}\ }k_{1,7}^{\left( 4\right) }\left(
496: x\right) , \\
497: k_{16}^{\left( 4\right) }(x) &=&-{\cal F}^{(\epsilon )}\left( 1,0\right) {%
498: \frac{{q}^{6}}{{q}^{5}-\epsilon \,x}\ }k_{1,7}^{\left( 4\right) }\left(
499: x\right) .
500: \end{eqnarray}%
501: The second row is,
502:
503: \begin{eqnarray}
504: k_{21}^{\left( 4\right) }(x) &=&{\cal F}^{(\epsilon )}\left( 3,2\right) {%
505: \frac{{q}^{14}}{{q}^{5}-\epsilon \,x}\ }k_{1,7}^{\left( 4\right) }\left(
506: x\right) , \\
507: k_{23}^{\left( 4\right) }(x) &=&-{\cal F}^{(\epsilon )}\left( 3,1\right) {%
508: \frac{{q}^{13}}{{q}^{5}-\epsilon \,x}\ }k_{1,7}^{\left( 4\right) }\left(
509: x\right) , \\
510: k_{24}^{\left( 4\right) }(x) &=&\sqrt{q^{2}\left( 1+{q}^{2}\right) }{\cal F}%
511: ^{(\epsilon )}\left( 2,1\right) \frac{{q}^{10}}{{q}^{5}-\epsilon \,x}\
512: k_{1,7}^{\left( 4\right) }\left( x\right) , \\
513: k_{25}^{\left( 4\right) }(x) &=&-{\cal F}^{(\epsilon )}\left( 1,1\right) {%
514: \frac{{q}^{10}}{{q}^{5}-\epsilon \,x}\ }k_{1,7}^{\left( 4\right) }\left(
515: x\right) , \\
516: k_{26}^{\left( 4\right) }(x) &=&-{\cal F}^{(\epsilon )}\left( 2,0\right) {%
517: \frac{{q}^{5}}{{q}^{3}+1}\ }k_{1,7}^{\left( 4\right) }\left( x\right) , \\
518: k_{27}^{\left( 4\right) }(x) &=&-{\cal F}^{(\epsilon )}\left( 1,0\right) {%
519: \frac{\,q}{{q}^{5}-\epsilon \,x}\ \epsilon }xk_{1,7}^{\left( 4\right)
520: }\left( x\right) .
521: \end{eqnarray}%
522: The third row is,
523:
524: \begin{eqnarray}
525: k_{31}^{\left( 4\right) }(x) &=&-{\cal F}^{(\epsilon )}\left( 2,3\right) {%
526: \frac{{q}^{17}}{{q}^{5}-\epsilon \,x}}k_{1,7}^{\left( 4\right) }\left(
527: x\right) , \\
528: k_{32}^{\left( 4\right) }(x) &=&{\cal F}^{(\epsilon )}\left( 1,3\right) {%
529: \frac{{q}^{16}}{{q}^{5}-\epsilon \,x}}k_{1,7}^{\left( 4\right) }\left(
530: x\right) , \\
531: k_{34}^{\left( 4\right) }(x) &=&-\sqrt{q^{2}\left( 1+{q}^{2}\right) }{\cal F}%
532: ^{(\epsilon )}\left( 1,2\right) \frac{{q}^{13}}{{q}^{5}-\epsilon \,x}%
533: k_{1,7}^{\left( 4\right) }\left( x\right) , \\
534: k_{35}^{\left( 4\right) }(x) &=&{\cal F}^{(\epsilon )}\left( 0,2\right) {%
535: \frac{{q}^{8}}{{q}^{3}+1}}k_{1,7}^{\left( 4\right) }\left( x\right) , \\
536: k_{36}^{\left( 4\right) }(x) &=&-{\cal F}^{(\epsilon )}\left( 1,1\right) {%
537: \frac{\,{q}^{5}}{{q}^{5}-\epsilon \,x}\ \epsilon }xk_{1,7}^{\left( 4\right)
538: }\left( x\right) , \\
539: k_{37}^{\left( 4\right) }(x) &=&{\cal F}^{(\epsilon )}\left( 0,1\right) {%
540: \frac{{q}^{4}}{{q}^{5}-\epsilon \,x}\ \epsilon }xk_{1,7}^{\left( 4\right)
541: }\left( x\right) .
542: \end{eqnarray}%
543: The fourth row is,
544:
545: \begin{eqnarray}
546: k_{41}^{\left( 4\right) }(x) &=&-\sqrt{q^{-2}\left( 1+{q}^{2}\right) }{\cal F%
547: }^{(\epsilon )}\left( 3,3\right) \frac{{q}^{21}}{{q}^{5}-\epsilon \,x}\
548: k_{1,7}^{\left( 4\right) }\left( x\right) , \\
549: k_{42}^{\left( 4\right) }(x) &=&\sqrt{q^{2}\left( 1+{q}^{2}\right) }{\cal F}%
550: ^{(\epsilon )}\left( 2,3\right) \frac{{q}^{18}}{{q}^{5}-\epsilon \,x}\
551: k_{1,7}^{\left( 4\right) }\left( x\right) , \\
552: k_{43}^{\left( 4\right) }(x) &=&\sqrt{q^{2}\left( 1+{q}^{2}\right) }{\cal F}%
553: ^{(\epsilon )}\left( 3,2\right) \frac{{q}^{18}}{{q}^{5}-\epsilon \,x}\
554: k_{1,7}^{\left( 4\right) }\left( x\right) , \\
555: k_{45}^{\left( 4\right) }(x) &=&-\sqrt{q^{2}\left( 1+{q}^{2}\right) }{\cal F}%
556: ^{(\epsilon )}\left( 1,2\right) \frac{{q}^{7}}{{q}^{5}-\epsilon \,x}\
557: \epsilon \,xk_{1,7}^{\left( 4\right) }\left( x\right) , \\
558: k_{46}^{\left( 4\right) }(x) &=&-\sqrt{q^{2}\left( 1+{q}^{2}\right) }{\cal F}%
559: ^{(\epsilon )}\left( 2,1\right) \frac{{q}^{7}}{{q}^{5}-\epsilon \,x}\
560: \epsilon \,xk_{1,7}^{\left( 4\right) }\left( x\right) , \\
561: k_{47}^{\left( 4\right) }(x) &=&\sqrt{q^{2}\left( 1+{q}^{2}\right) }{\cal F}%
562: ^{(\epsilon )}\left( 1,1\right) \frac{{q}^{6}}{{q}^{5}-\epsilon \,x}\
563: \epsilon \,xk_{1,7}^{\left( 4\right) }\left( x\right) .
564: \end{eqnarray}%
565: The fifth row is,
566:
567: \begin{eqnarray}
568: k_{51}^{\left( 4\right) }(x) &=&-{\cal F}^{(\epsilon )}\left( 4,3\right) {%
569: \frac{{q}^{24}}{{q}^{5}-\epsilon \,x}\ }k_{1,7}^{\left( 4\right) }\left(
570: x\right) , \\
571: k_{52}^{\left( 4\right) }(x) &=&{\cal F}^{(\epsilon )}\left( 3,3\right) {%
572: \frac{{q}^{23}}{{q}^{5}-\epsilon \,x}\ }k_{1,7}^{\left( 4\right) }\left(
573: x\right) , \\
574: k_{53}^{\left( 4\right) }(x) &=&{\cal F}^{(\epsilon )}\left( 4,2\right) {%
575: \frac{{q}^{18}}{{q}^{3}+1}\ }k_{1,7}^{\left( 4\right) }\left( x\right) , \\
576: k_{54}^{\left( 4\right) }(x) &=&\sqrt{\left( 1+{q}^{2}\right) q^{2}}{\cal F}%
577: ^{(\epsilon )}\left( 3,2\right) \frac{{q}^{12}}{{q}^{5}-\epsilon \,x}\
578: \epsilon \,xk_{1,7}^{\left( 4\right) }\left( x\right) , \\
579: k_{56}^{\left( 4\right) }(x) &=&-{\cal F}^{(\epsilon )}\left( 3,1\right) {%
580: \frac{{q}^{12}}{{q}^{5}-\epsilon \,x}\ }\epsilon \,xk_{1,7}^{\left( 4\right)
581: }\left( x\right) , \\
582: k_{57}^{\left( 4\right) }(x) &=&{\cal F}^{(\epsilon )}\left( 2,1\right) {%
583: \frac{{q}^{11}}{{q}^{5}-\epsilon \,x}\ }\epsilon \,xk_{1,7}^{\left( 4\right)
584: }\left( x\right) .
585: \end{eqnarray}%
586: The sixth row is,
587:
588: \begin{eqnarray}
589: k_{61}^{\left( 4\right) }(x) &=&{\cal F}^{(\epsilon )}\left( 3,4\right) {%
590: \frac{{q}^{27}}{{q}^{5}-\epsilon \,x}\ }k_{1,7}^{\left( 4\right) }\left(
591: x\right) , \\
592: k_{62}^{\left( 4\right) }(x) &=&-{\cal F}^{(\epsilon )}\left( 2,4\right) {%
593: \frac{{q}^{21}}{{q}^{3}+1}\ }k_{1,7}^{\left( 4\right) }\left( x\right) , \\
594: k_{63}^{\left( 4\right) }(x) &=&{\cal F}^{(\epsilon )}\left( 3,3\right) {%
595: \frac{{q}^{18}}{{q}^{5}-\epsilon \,x}\ }\epsilon \,xk_{1,7}^{\left( 4\right)
596: }\left( x\right) , \\
597: k_{64}^{\left( 4\right) }(x) &=&-\sqrt{\left( 1+{q}^{2}\right) q^{2}}{\cal F}%
598: ^{(\epsilon )}\left( 2,3\right) \frac{{q}^{15}}{{q}^{5}-\epsilon \,x}\
599: \epsilon \,xk_{1,7}^{\left( 4\right) }\left( x\right) , \\
600: k_{65}^{\left( 4\right) }(x) &=&{\cal F}^{(\epsilon )}\left( 1,3\right) {%
601: \frac{{q}^{15}}{{q}^{5}-\epsilon \,x}\ }\epsilon \,xk_{1,7}^{\left( 4\right)
602: }\left( x\right) , \\
603: k_{67}^{\left( 4\right) }(x) &=&-{\cal F}^{(\epsilon )}\left( 1,2\right) {%
604: \frac{{q}^{14}}{{q}^{5}-\epsilon \,x}\ }\epsilon \,xk_{1,7}^{\left( 4\right)
605: }\left( x\right) ,
606: \end{eqnarray}%
607: The seventh row is,
608:
609: \begin{eqnarray}
610: k_{71}^{\left( 4\right) }(x) &=&{\cal F}^{(\epsilon )}\left( 4,4\right) {%
611: \frac{{q}^{26}}{{q}^{3}+1}\ }k_{1,7}^{\left( 4\right) }\left( x\right) , \\
612: k_{72}^{\left( 4\right) }(x) &=&{\cal F}^{(\epsilon )}\left( 3,4\right) {%
613: \frac{{q}^{22}}{{q}^{5}-\epsilon \,x}\ }\epsilon \,xk_{1,7}^{\left( 4\right)
614: }\left( x\right) , \\
615: k_{73}^{\left( 4\right) }(x) &=&{\cal F}^{(\epsilon )}\left( 4,3\right) {%
616: \frac{{q}^{22}}{{q}^{5}-\epsilon \,x}\ }\epsilon \,xk_{1,7}^{\left( 4\right)
617: }\left( x\right) , \\
618: k_{74}^{\left( 4\right) }(x) &=&-\sqrt{q^{-2}{(1+{q}^{2})}}{\cal F}%
619: ^{(\epsilon )}\left( 3,3\right) \frac{{q}^{21}}{{q}^{5}-\epsilon \,x}\
620: \epsilon \,xk_{1,7}^{\left( 4\right) }\left( x\right) , \\
621: k_{75}^{\left( 4\right) }(x) &=&{\cal F}^{(\epsilon )}\left( 2,3\right) {%
622: \frac{{q}^{19}}{{q}^{5}-\epsilon \,x}\ }\epsilon \,xk_{1,7}^{\left( 4\right)
623: }\left( x\right) , \\
624: k_{76}^{\left( 4\right) }(x) &=&{\cal F}^{(\epsilon )}\left( 3,2\right) {%
625: \frac{{q}^{19}}{{q}^{5}-\epsilon \,x}\ }\epsilon \,xk_{1,7}^{\left( 4\right)
626: }\left( x\right) ,
627: \end{eqnarray}%
628: where the auxiliary function ${\cal F}^{(\epsilon )}(n,m)$ is defined by,
629: \begin{equation}
630: {\cal F}^{(\epsilon )}(n,m)={\frac{{2}^{n+m}\left( {q}^{3}+1\right) ^{n+m+1}%
631: }{\left( \epsilon +q\right) ^{n+m}\left( \epsilon +{q}^{4}\right)
632: ^{n+m}\left( \epsilon +{q}^{8}\right) ^{n+m}\omega _{1,2}^{n}\omega _{1,3}^{m}}%
633: .}
634: \end{equation}
635:
636: Note that this latter solution contains an additional discrete parameter besides
637: the two continuous $\omega_{1,2}$ and $\omega_{1,3}$ variables.
638: We also observe that a striking feature of our
639: results is that the non-diagonal solutions do not reduce to any of the
640: admissible diagonal matrices $K^{(1)}(x)$ and $K^{(2)}(x)$. This means that
641: the four possibilities discussed above are indeed the distinct types of $K$%
642: -matrices of the $U_{q}[G_{2}]$ model. The latter feature should be
643: contrasted with the findings for the non-exceptional vertex models \cite{LI}
644: in which reductions of general non-diagonal matrices guide us always to some
645: particular diagonal solution. It remains to be seen whether such peculiarity
646: is special to the $U_{q}[G_{2}]$ symmetry or is valid for all exceptional
647: vertex model as well.
648:
649: Finally,
650: equipped with the four reflection matrices $K^{(l)}(x)$,
651: an integrable model with open boundary condition
652: can be obtained through the double-row transfer matrix
653: formulated by Sklyanin \cite{SK}, namely
654: \begin{equation}
655: \label{mode}
656: t^{(l,m)}(x) ={\rm Tr}_a\left[\stackrel{a}{K}_+^{(m)}(x)
657: T(x )\stackrel{a}{K}^{(l)}(x)T^{-1}(1/x)\right]~~~{\rm for}~~~l,m=1,\cdots,4
658: \end{equation}
659: where $T(x)=R_{aL}(x) \cdots R_{a1}(x)$
660: is the standard monodromy matrix of the
661: corresponding closed chain with $L$ sites.
662: The matrix $K^{(m)}_{+}(x)$ is
663: automatically determined \cite{NEP} from
664: $K^{(m)}(x)$ with the help of the
665: crossing property (\ref{cross}),
666: \begin{equation}
667: K_{+}^{(m)}(x)=
668: \left[ K^{(m)}(q^{12}/x) \right]^{t} V^{t} V
669: \end{equation}
670:
671:
672: \section{Conclusions}
673:
674: In this paper we have been able to classify the possible families of
675: reflexion matrices associated to the fundamental $U_q[G_2]$ vertex model. We
676: find that there exists four different classes of $K$-matrices. Two of them
677: are the diagonal solutions studied before \cite{BAT1} and the remaining ones
678: are new non-diagonal $K$-matrices with continuous free parameters. The first
679: type of non-diagonal solution is made by combining only the diagonal and the
680: anti-diagonal elements while the second one consists of matrix whose all
681: entries are non-null and has an extra discrete parameter. Interesting
682: enough, these non-diagonal solutions do not possess reduction to particular
683: diagonal matrices for any values of the free parameters at disposal. We
684: stress that this peculiarity does not occur in the $K$-matrices of the
685: vertex models based on the non- exceptional Lie algebras \cite{LI}.
686:
687: We hope that our results will prompt further lines of investigations. One
688: possibility is to explore the Weyl representation of the $U_q[G_2]$ $\check{R%
689: }$-matrix to establish, at least for diagonal boundaries, the diagonalization
690: of the transfer-matrix (\ref{mode})
691: from a first principle framework such as the quantum inverse
692: scattering method \cite{KOR}. This will give us an opportunity to check
693: certain assumptions, usually denominated ``doubling hypotheses'' \cite{ART},
694: used to determine the corresponding Bethe ansatz
695: solution \cite{BAT1}.
696: .
697:
698: \section*{Acknowledgements}
699:
700: The work of A. Lima-Santos and M.J. Martins has been partially supported by
701: the Brazilian research Agencies CNPq and Fapesp.
702:
703: \addcontentsline{toc}{section}{Appendix A}
704:
705: \section*{\bf Appendix A: The Boltzmann weights}
706:
707: \setcounter{equation}{0} \renewcommand{\theequation}{A.\arabic{equation}}
708:
709: In this Appendix we are going to describe all the Boltzmann weights
710: appearing in Eq.(\ref{RRR}). In order to do that we find convenient to
711: introduce an auxiliary function $\varphi (\alpha ,\beta )$ defined by,
712: \begin{equation}
713: \varphi (\alpha ,\beta )=\left\{
714: \begin{array}{c}
715: \lbrack \frac{\beta }{2}]-\alpha +4\delta _{4,\beta }\qquad \quad {\rm for\ }%
716: \alpha <\beta ,\ \alpha <\beta ^{\prime } \\
717: \lbrack \frac{\alpha ^{\prime }}{2}]-\beta ^{\prime }+4\delta _{\alpha
718: ^{\prime },4}\qquad {\rm for\ }\alpha <\beta ,\ \alpha >\beta ^{\prime } \\
719: \beta -[\frac{\alpha }{2}]-4\delta _{\alpha ,4}\qquad \quad {\rm for\ }%
720: \alpha >\beta ,\ \alpha ^{\prime }>\beta \\
721: \alpha ^{\prime }-[\frac{\beta ^{\prime }}{2}]-4\delta _{4,\beta ^{\prime
722: }}\qquad {\rm for\ }\alpha >\beta ,\ \alpha ^{\prime }<\beta%
723: \end{array}%
724: \right.
725: \end{equation}
726: where $[\frac{\beta }{2}]$ denotes the integer part of $\frac{\beta }{2}$.
727:
728: We begin by listing the weights ${\cal A}_{1}(\alpha ,\beta )$, ${\cal A}%
729: _{2}(\alpha)$ and ${\cal A}_{[k]}$ as well as ${\cal B}_{1}(\alpha ,\beta )$%
730: , ${\cal B}_{2}(\alpha)$ and ${\cal B}_{[k]}$. They are given by,
731:
732: \begin{eqnarray}
733: {\cal A}_{1}(\alpha ,\beta ) &=&\left\{
734: \begin{array}{c}
735: a_{7}(x)\quad {\rm for}\ \varphi (\alpha ,\beta )=-1 \\
736: a_{1}(x)\quad {\rm for}\ \varphi (\alpha ,\beta )=0\ \ \\
737: a_{6}(x)\quad {\rm for}\ \varphi (\alpha ,\beta )=1,2%
738: \end{array}%
739: \right. ,{\cal A}_{2}(\alpha )=\left\{
740: \begin{array}{c}
741: a_{4}(x)\quad {\rm for}\ \varphi (\alpha ,4 )=5 \\
742: a_{8}(x)\quad {\rm for}\ \varphi (\alpha ,4 )\neq 5%
743: \end{array}%
744: \right. , \\
745: {\cal A}_{[1]} &=&a_{2}(x),\qquad {\cal A}_{[2]}=a_{3}(x),\qquad {\cal A}%
746: _{[3]}=a_{5}(x)
747: \end{eqnarray}%
748: \begin{eqnarray}
749: {\cal B}_{1}(\alpha ,\beta ) &=&\left\{
750: \begin{array}{c}
751: b_{7}(x)\quad {\rm for}\ \varphi (\alpha ,\beta )=-1 \\
752: b_{1}(x)\quad {\rm for}\ \varphi (\alpha ,\beta )=0\ \ \\
753: b_{6}(x)\quad {\rm for}\ \varphi (\alpha ,\beta )=1,2%
754: \end{array}%
755: \right. ,{\cal B}_{2}(\alpha )=\left\{
756: \begin{array}{c}
757: b_{4}(x)\quad {\rm for}\ \varphi (\alpha ,4)=5 \\
758: b_{8}(x)\quad {\rm for}\ \varphi (\alpha ,4)\neq 5%
759: \end{array}%
760: \right. , \\
761: {\cal B}_{[1]} &=&b_{2}(x),\qquad {\cal B}_{[2]}=b_{3}(x),\qquad {\cal B}%
762: _{[3]}=b_{5}(x)
763: \end{eqnarray}%
764: while the weight ${\cal C}(\alpha ,\beta )$ is,
765: \begin{equation}
766: {\cal C}(\alpha ,\beta )=\left\{
767: \begin{array}{c}
768: c_{2}(x)\qquad {\rm for}\ \varphi (\alpha ,\beta )=0 \\
769: c_{4}(x)\qquad {\rm for}\ \varphi (\alpha ,\beta )\neq 0%
770: \end{array}%
771: \right. ,
772: \end{equation}
773:
774: The functions $a_{\alpha }(x)$ and $b_{\alpha }(x)$ entering in the above
775: expressions are,
776: \begin{eqnarray}
777: a_{1}(u) &=&\left( {q}^{2}-1\right) \left( {q}^{8}-x\right) \left( {q}%
778: ^{12}-x\right) ,\quad b_{1}(x)=x{a}_{1}(x),\quad \\
779: a_{2}(u) &=&-q^{7}\sqrt{1+{q}^{-2}}\left( {q}^{2}-1\right) \left( {q}%
780: ^{12}-x\right) \left( x-1\right) ,\quad b_{2}(x)=\frac{x}{q^{5}}a_{2}(x), \\
781: a_{3}(u) &=&q^{4}\sqrt{1+{q}^{-2}}\left( {q}^{2}-1\right) \left( {q}%
782: ^{12}-x\right) \left( x-1\right) ,\quad b_{3}(x)=xqa_{3}(x),\quad \\
783: a_{5}(u) &=&q^{5}\sqrt{1+{q}^{-2}}\left( {q}^{2}-1\right) \left( {q}%
784: ^{12}-x\right) \left( x-1\right) ,\quad b_{5}(x)=\frac{x}{q}a_{5}(x), \\
785: a_{4}(x) &=&\left( {q}^{4}-1\right) \left( {q}^{12}-x\right) f_{1}(x),\quad
786: b_{4}(x)=\frac{xf_{2}(x)}{f_{1}(x)}{a}_{4}(x), \\
787: a_{6}(x) &=&\left( q^{2}-1\right) \left( {q}^{12}-x\right) g_{1}(x),\quad
788: b_{6}(x)=\frac{xg_{2}(x)}{g_{1}(x)}{a}_{6}(x), \\
789: a_{7}(x) &=&\left( q^{2}-1\right) \left( {q}^{12}-x\right) g_{2}(x),\quad
790: b_{7}(x)=\frac{xg_{1}(x)}{g_{2}(x)}a_{7}(x), \\
791: a_{8}(x) &=&\left( {q}^{4}-1\right) \left( {q}^{12}-x\right) f_{2}(x),\quad
792: b_{8}(x)=\frac{xf_{1}(x)}{f_{2}(x)}a_{8}(x),
793: \end{eqnarray}%
794: where
795: \begin{eqnarray}
796: f_{1}(x) &=&{q}^{2}(1-{q}^{2}+{q}^{4})-x, \\
797: f_{2}(x) &=&{q}^{6}-\left( 1-{q}^{2}+{q}^{4}\right) x, \\
798: g_{1}(x) &=&{q}^{2}(1+{q}^{2}+{q}^{6})-\left( 1+{q}^{2}+{q}^{4}\right) x, \\
799: g_{2}(x) &=&{q}^{4}(1+{q}^{2}+{q}^{4})-\left( 1+{q}^{4}+{q}^{6}\right) x.
800: \end{eqnarray}
801:
802: Next, the weights $c_{\alpha }(x)$ are,
803: \begin{eqnarray}
804: c_{1}(x) &=&(q^{2}-x)(q^{8}-x)(q^{12}-x), \\
805: c_{2}(x) &=&-q(q^{8}-x)(q^{12}-x)(x-1), \\
806: c_{3}(x) &=&-q^{2}(q^{6}-x)(q^{12}-x)(x-1), \\
807: c_{4}(x) &=&-q^{3}(q^{4}-x)(q^{12}-x)(x-1)
808: \end{eqnarray}%
809: while the $c_{\alpha \beta }(x)$ weights are given by
810: \begin{equation}
811: c_{\alpha \beta }(x)=\left\{
812: \begin{array}{c}
813: -{q}^{4}\left( {q}^{4}-x\right) \left( {q}^{10}-x\right) \left( x-1\right)
814: ,\quad (\alpha =\beta ,\alpha \neq 4) \\
815: \left( {q}^{6}-x\right) [{x}^{2}+\left( 1+{q}^{4}\right) [\left( {q}%
816: ^{4}-1\right) ^{2}\left( {q}^{2}-1\right) ^{2}-{q}^{6}]x+{q}^{14}],\quad
817: (\alpha =\beta =4)\quad \\
818: (-1)^{\alpha +\beta }(q^{2}-1)q^{16+\overset{\_}{\alpha }-\overset{\_}{\beta
819: }}(x-1){\cal F}_{\varphi (\alpha ,\beta )},\qquad (\alpha <\beta ,\quad
820: \beta \neq \alpha ^{\prime }) \\
821: (-1)^{\alpha +\beta }(q^{2}-1)q^{\overset{\_}{\alpha }-\overset{\_}{\beta }%
822: }(x-1)x{\cal F}_{\varphi (\alpha ,\beta )},\qquad (\alpha >\beta ,\quad
823: \beta \neq \alpha ^{\prime })%
824: \end{array}%
825: \right.
826: \end{equation}%
827: where the auxiliary index $\overset{\_}{\alpha }$ is defined as,
828: \begin{equation}
829: \overset{\_}{1}=0,\ \overset{\_}{2}=3,\ \overset{\_}{3}=6,\ \overset{\_}{4}%
830: =8,\ \overset{\_}{5}=10,\ \overset{\_}{6}=13,\ \overset{\_}{7}=16
831: \end{equation}%
832: and the functions ${\cal F}_{\varphi (\alpha ,\beta )}{\cal \ }$are
833: \begin{eqnarray}
834: {\cal F}_{0} &=&q^{4}-x \\
835: {\cal F}_{5} &=&{\cal F}_{-3}={\cal F}_{-4}=\frac{1}{q}{\left( 1+{q}%
836: ^{2}\right) [q^{6}(1-q}^{2}+{{q}^{4})-x]} \\
837: {\cal F}_{-5} &=&{\cal F}_{3}={\cal F}_{4}=\frac{1}{q^{7}}{\left( 1+{q}%
838: ^{2}\right) [{q}^{10}-(1-{q}^{2}+{\ q}^{4})x]} \\
839: {\cal F}_{1} &=&{\cal F}_{2}=\frac{1}{q^{2}}[{{q}^{8}\left( 1+{q}^{4}+{q}%
840: ^{6}\right) -\left( 1+{q}^{2}+{q}^{4}\right) x]} \\
841: {\cal F}_{-1} &=&{\cal F}_{-2}=\frac{1}{q^{8}}[{{q}^{10}\left( 1+{q}^{2}+{q}%
842: ^{4}\right) -\left( 1+{q}^{2}+{q}^{6}\right) x]}
843: \end{eqnarray}
844:
845: Finally, the remaining weights $c_{\alpha, \alpha ^{\prime }}(x)$ are given
846: by
847: \begin{eqnarray}
848: c_{17}(x) &=&(q^{2}-1)(q^{8}-1)[q^{8}(1+q^{4})-(q^{8}+1)x] \\
849: c_{26}(x)
850: &=&(q^{2}-1)[q^{10}(q^{10}-1)-q^{6}(q^{2}-1)(q^{4}+1)x-(q^{6}-1)x^{2}] \\
851: c_{35}(x) &=&(q^{2}-1)[q^{16}(q^{4}-1)+q^{8}(q^{8}-1)x-(q^{12}-1)x^{2}] \\
852: c_{53}(x) &=&(q^{2}-1)[q^{8}(q^{12}-1)-q^{4}(q^{8}-1)x-(q^{4}-1)x^{2}]x \\
853: c_{62}(x)
854: &=&(q^{2}-1)[q^{14}(q^{6}-1)+q^{8}(q^{2}-1)(q^{4}+1)x-(q^{10}-1)x^{2}]x \\
855: c_{71}(x) &=&(q^{2}-1)(q^{8}-1)[q^{4}(q^{8}+1)-(q^{4}+1)x]x^{2}
856: \end{eqnarray}
857:
858: \newpage
859:
860: \begin{thebibliography}{99}
861: \bibitem{BA} R.J. Baxter, ``Exactly Solved Models in Statistical
862: Mechanics'', Academic Press, New York, 1982.
863:
864: \bibitem{CK} I. Cherednik, Theor.Math.Phys. 61 (1984) 35.
865:
866: \bibitem{SK} E.K. Sklyanin, J. Phys. A: Math. Gen. 21 (1988) 2375
867:
868: \bibitem{JI} M. Jimbo, Commum.Math.Phys. 102 (1986) 247; V.V. Bazhanov,
869: Phys.Lett.B 159 (1985) 321.
870:
871: \bibitem{NEP} L. Mezincescu and R.I. Nepomechie, J. Phys. A : Math. Gen. 24
872: (1991) L17; Int. J. Mod. Phys. A7 (1991) 5231; Nucl.Phys.B 72 (1992) 597.
873:
874: \bibitem{DE} H.J. de Vega and A. Gonzalez-Ruiz, J. Phys. A : Math. Gen. 26
875: (1993) L519
876:
877: \bibitem{JAP} J. Abad and M. Rios, Phys.Lett.B 352 (1995) 92; M.T.
878: Batchelor, V. Fridkin, A. Kuniba, Y.K. Zhou, Phys.Lett.B 376 (1996) 266; T.
879: Inami, S. Odake and Y-Z. Zhang, Nucl. Phys. B47 (1996) 419;
880:
881: \bibitem{YA} A. Lima-Santos, Nucl.Phys.B 558 (1999); C.-X. Liu, G.-X. Ju,
882: S.-K. Wang, K. Wu, J.Phys.A:Math.Gen. 32 (1999) 3505; M.J. Martins and X.-W.
883: Guan, Nucl.Phys.B 583 (2000) 721; Y. Yamada, Phys.Lett.A 298 (2002) 350
884:
885: \bibitem{SOS} B.Y. Hou and R.H. Yue, Phys. Lett. A 183 (1993) 169; T. Inami
886: and H. Konno, J. Phys. A : Math. Gen. 27 (1994) L913; R.E. Behrend, P.A.
887: Pearce, D.L. O'Brien, J. Stat. Phys. 84 (1996) 1
888:
889: \bibitem{SOS1} C. Ahn and W.M. Koo, Nucl. Phys. B468 (1996) 461; Y.K. Zhou,
890: Nucl. Phys. B 468 (1996) 504; R.E. Behrend and P.A. Pearce, Int.J.Mod.Phys.B
891: 11 (1997) 2833; H. Fan, B.Y. Hou, G.L. Li and K.J. Shi, Phys.Lett.A 250
892: (1998) 79
893:
894: \bibitem{LI} A. Lima-Santos, Nucl.Phys.B 612 (2001) 446; Nucl.Phys.B 644
895: (2002) 568; Nucl.Phys.B 654 (2003) 466; A. Lima-Santos and R. Malara,
896: Nucl.Phys.B 675 (2003) 661
897:
898: \bibitem{NED} G.W. Delius and R.I. Nepomechie, J.Phys.A:Math.Gen. A 35
899: (2002) L341; R.I. Nepomechie, Lett.Math.Phys. 62 (2002) 83; G.W. Delius and
900: A. George, Lett.Math.Phys. 62 (2002) 211
901:
902: \bibitem{CH1} W-L. Yang and Y-Z. Zhang, J.H.E.Physics 12 (2004) art.No.019
903:
904: \bibitem{KU} A. Kuniba, J.Phys.A: Math.Gen. 23 (1990) 1349
905:
906: \bibitem{BAT1} C.M. Yung and M.T. Batchelor, Phys.Lett.A 198 (1995) 395
907:
908: \bibitem{KOR} V.E. Korepin, G. Izergin and N.M. Bogoliubov, ``Quantum
909: Inverse Scattering Method and Correlation Functions'', Cambridge Univ.
910: Press, Cambridge, 1993.
911:
912: \bibitem{ART} S. Artz , L. Mezincescu and R. Nepomechie, J.Phys.A:Math.Gen. 28
913: (1995) 5131.
914: \end{thebibliography}
915:
916: \end{document}
917:
918: