Content-Type: multipart/mixed; boundary="-------------0205230643321" This is a multi-part message in MIME format. ---------------0205230643321 Content-Type: text/plain; name="02-237.comments" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="02-237.comments" PACS: 05.30.Jp, 03.75.Fi, 67.40-w ---------------0205230643321 Content-Type: text/plain; name="02-237.keywords" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="02-237.keywords" Bose-Einstein Condensation, Superstable Potentials, One-Particle Excitations ---------------0205230643321 Content-Type: application/x-tex; name="zvl-bec.tex" Content-Transfer-Encoding: 7bit Content-Disposition: inline; filename="zvl-bec.tex" \documentclass[twocolumn,showpacs,showkeys,preprintnumbers,prl,amsmath,amssymb]{revtex4} %\documentclass[preprint,showpacs,showkeys,preprintnumbers,amsmath,amssymb]{revtex4} \usepackage{graphicx} \usepackage{bbm} \newcommand{\N}{\mathbbm{N}} \newcommand{\R}{\mathbbm{R}} \newcommand{\D}{\Delta} \renewcommand{\L}{\Lambda} \newcommand{\eg}{\textit{e.g.}\ } \newcommand{\ie}{\textit{i.e.}\ } \newtheorem{theorem}{Theorem} \newtheorem{lemma}[theorem]{Lemma} \begin{document} \preprint{Preprint-KUL-TF-2002/05} \title{Proof of Bose-Einstein Condensation for Interacting Gases} \author{J. Lauwers} \email{joris.lauwers@fys.kuleuven.ac.be} \author{A. Verbeure} \email{andre.verbeure@fys.kuleuven.ac.be} \author{V. A. Zagrebnov} \email{zagrebnov@cpt.univ-mrs.fr} \altaffiliation[on leave of absence from ]{ Universit\'e de la M\'editerran\'ee and Centre de Physique Th\'eorique, CNRS-Luminy-Case 907, 13288 Marseille, Cedex 09, France } \affiliation{ Instituut voor Theoretische Fysica, Katholieke Universiteit Leuven, Celestijnenlaan 200D, B-3001 Leuven, Belgium } \date{May 22, 2002} \begin{abstract} Using a specially tuned mean-field Bose gas as a reference system, we establish a positive lower bound on the condensate density for continuous Bose systems with superstable two-body interactions and a finite gap in the one-particle excitations spectrum, \ie we prove for the first time standard homogeneous Bose-Einstein condensation for such interacting systems. \end{abstract} \pacs{ 05.30.Jp, % Boson systems 03.75.Fi, % Phase coherent atomic ensemble (Bose condensation) 67.40-w % Boson degeneracy and superfluidity of 4He } \keywords{Bose-Einstein Condensation, Superstable Potentials, One-Particle Excitations} \maketitle \section{introduction} The long-standing problem of proving the existence of a Bose-Einstein condensation (BEC) in non-ideal real Bose gases with a standard two-body interaction has recently been warmed up by the great success of observing this phenomenon in trapped gases. Notice that much earlier BEC has been observed in liquid $\mathrm{He^4}$, which however remained always under discussion. In the present note we announce our result together with a sketch of the proof about the existence of conventional BEC in realistic Bose gases with superstable two-body interactions and with gap in the one-particle excitation energy spectrum. To the best of our knowledge, this is a first proof of its sort for homogeneous systems. We are not using any scaling limits, (\eg type van der Waals limits \cite{lebowitz:1966,lieb:1966,buffet:1983b}) or truncation of particle interactions \cite{dorlas:1993,zagrebnov:2001}. We prove that BEC occurs by constructing a positive lower bound for the condensate density which is valid for low enough temperature and appropriate large density of particles. We consider a gas of interacting Bosons in cubic boxes $\L = L \times L \times L \subset \R^3$ with periodic boundary conditions. We look here in detail at the $3$ dimensional case, and comment later on the case of other dimensions. Denote by $V= L^3$ the volume of the box $\L$. The Hamiltonian for the volume $\L$ of this system reads \begin{equation} \label{H-int} H^\D_{\L, g} = T^\D_\L -\mu N_\L + g U_\L, \qquad g > 0, \end{equation} where $T^\D_\L$ is the kinetic energy with gap $\Delta > 0$ in its spectrum, \begin{equation}\label{T-Delta} T^\D_\L = \sum_{k \in \L^*} \frac{\hbar^2k^2}{2m} a^\dagger_k a_k -\Delta a^\dagger_0 a_0. \end{equation} The sum $k$ runs over the set $\L^*$, dual to $\L$, \ie $\L^* = \left\{ k \in \R^3; k_\alpha = 2\pi n_\alpha /L; n_\alpha = 0,\pm 1,\ldots; \alpha =1,2,3 \right \}$. The operators $a^\dagger_k$ and $a_k$ are the Bose creation and annihilation operators for mode $k$. As usual, the number operators are denoted by $N_k = a^\dagger_ka_k $, $N_\L = \sum_{k \in \L^*}N_k$ is the total number operator in the volume $\L$. We assume \textit{a priori} the presence of a gap $\D$ in the one-particle excitations spectrum, isolating the lowest energy level. In this letter we make no comments about the origin of this spectral gap, however its presence can be realised in several ways, a gap can be created using attractive boundary conditions \cite{robinson:1976, landau:1979} or part of the interparticle interaction could have caused this gap and as such being effectively incorporated \cite{zagrebnov:2001}. Of course $\mu$ is the chemical potential and the interaction between the particles is modelled by the two-body interaction term \begin{equation}\label{U-Lambda} U_\Lambda = \frac{1}{2}\int_{\Lambda^2}\!\mathrm{d}x\mathrm{d}y\ a^\dagger (x) a^\dagger (y) v( x - y) a(y)a(x), \end{equation} where $a^\dagger (x),a^\dagger (y)$ and $a(y),a(x)$ are the creation and annihilation operators for the Bose particles at $x,y \in \R^3$. The interaction potential $v$ is assumed to be spherically symmetric, superstable \cite{ruelle:1969}, \ie it satisfies the inequality \begin{equation}\label{s-stable} \sum_{1 \leq i < j \leq n}v(x_i - x_j) \geq \frac{A}{2V}n^2 - B n \end{equation} for some constants $A > 0$, $B \geq 0$, and all $n \in \N$, $x_i \in \L$. Consequently, the interaction term (\ref{U-Lambda}) satisfies \begin{equation}\label{sstab2} U_\L \geq \frac{A}{2V}N_\L^2 - B N_\Lambda. \end{equation} This superstability property is, together with the spectral gap (\ref{T-Delta}), the physical foundation of our proof. Intuitively, one might understand that condensation in the groundstate (\ie $k=0$), which is energetically isolated by a gap $\Delta$ can survive the switching-on of a non-catastrophic interaction, and that fluctuations must be of a macroscopical size to overcome this gap and lift particles out of the isolated groundstate. More technical ingredients of the proof are the convexity properties of thermodynamical potentials, such as the pressure, and the use of an optimal choice for the constants $A,B$ in the superstability criterion (\ref{s-stable}). Indeed, it was proved \cite{ruelle:1969} that continuous $L^1$-functions of positive type $v : \R^3 \to \R$ are superstable potentials if and only if \begin{equation}\label{vhat-0} \hat{v}(0) = \int_{\R^3}\! \mathrm{d}x\ v(x) > 0. \end{equation} Moreover, Lewis, Pul\`e, and de Smedt \cite{lewis:1984} proved the existence of optimal constants $A = \hat{v}(0)(1 - \epsilon)$ and $B = v(0)/2$ in (\ref{s-stable}) for this type of potentials. Here, $\epsilon > 0$ is an arbitrarily small positive constant. This optimal choice is of determining importance in our proof of Bose-Einstein condensation. \section{sketch of proof} The main idea of the proof is to estimate the Bose condensate of the full model (\ref{H-int}) by the condensate of a particularly chosen reference system for which one knows the occurrence of condensation. The clever choice of this reference system is the subtle point of our proof. The reference system is a so-called mean-field Bose gas, an exactly solvable model of Bosons \cite{huang:1967, davies:1972, fannes:1980b, buffet:1983, berg:1984,papoyan:1986, lewis:1988} (for a review see \cite{zagrebnov:2001}) defined by Hamiltonians as \begin{equation}\label{H-MF} H^{\Delta}_{\Lambda,g,\lambda} = T_\Lambda^\Delta -\mu N_\Lambda + g\frac{\lambda}{2V}N_\Lambda^2. \end{equation} The kinetic energy operator $T_\Lambda^\Delta$ (\ref{T-Delta}) is as for the general interacting system (\ref{H-int}), but the interaction term (\ref{U-Lambda}) is replaced by a mean-field interaction term. The reference system (\ref{H-MF}), a mean-field Bose gas, emerges as the \textit{van der Waals} limit of the fully interacting system \cite{lebowitz:1966,lieb:1966, buffet:1983b}. In that case, the constant $\lambda$ equals $\hat{v}(0)$ (\ref{vhat-0}), which means that the van der Waals limit reduces the full interaction to the $\hat{v}(0)$ contribution. In our proof we tune the constant $\lambda$ in order to get the best possible lower bound for the condensate density of the full interaction model. Remark that our reference system (\ref{H-MF}) does show Bose condensation for large enough densities (\ie for $\mu$ large) at any given temperature. Moreover, systems of the type of our reference system have better properties than the ideal Bose gas which is in many ways a \textit{pathological} model, \eg in the sense that there is no equivalence of ensembles \cite{cannon:1973,lewis:1974} and in the sense that the chemical potential has a zero upperbound in order to safeguard thermodynamical stability. These are the reasons for our strategy of using the free of those pathologies reference system \eqref{H-MF}. \textit{Thermodynamic properties of reference the system (\ref{H-MF}).} It is well known that our reference system (\ref{H-MF}) is a soluble models. In the case of vanishing gap $\D = 0$, the complete solution can be found at several places in the literature \cite{huang:1967,davies:1972,fannes:1980b,buffet:1983, berg:1984,papoyan:1986,lewis:1988,zagrebnov:2001}. In particular there is condensation for all dimensions $D \geq 3$ at any temperature for densities large enough. It is a student exercise to work out now the case with gap $\D > 0$. There is one main difference with the gapless case, namely the presence of the gap provokes a shift in the chemical potential and its treshholds, and one gets condensation in all dimensions $D \geq 1$. One derives straightforwardly that for the reference model (\ref{H-MF}) one gets condensation for all values of the chemical potential satisfying, \begin{equation*} \mu > g\lambda \rho^{P}(\beta,-\D) -\D. \end{equation*} where $\rho^{P}(\beta,-\D)$ is the total density of the perfect Bose Gas (PBG) at inverse temperature $\beta$ and chemical potential equal to $-\D$. Moreover, the condensate density \begin{equation*} \rho^{\D }_{0,g, \lambda}(\beta,\mu) = \lim_{V \to \infty}\frac{1}{V} \langle N_0 \rangle_{H_{\L,g, \lambda}^\D}(\beta,\mu), \end{equation*} \ie the density at the zero mode in the thermodynamic limit $(V \to \infty)$ of the grand-canonical Gibbs states $\langle . \rangle_{H_{\L}}^{(\beta,\mu)}$, in volumes $\L$ for a certain choice of temperature and chemical potential $(\beta,\mu)$ and Hamiltonian $H_\L$, is explicitly given by \begin{equation}\label{r0-mf-D} \rho^{\D}_{0,g,\lambda} = \frac{\mu + \D}{g\lambda} -\rho^{P}(\beta,-\D). \end{equation} One also computes the total density for given $(\beta,\mu)$ to be \begin{equation}\label{r-mf-D} \rho^{\D}_{g,\lambda} = \lim_{V \to \infty}\frac{1}{V}\langle N_\L \rangle_{H_{\L,g,\lambda}^{\D}} = \frac{\mu}{g\lambda}. \end{equation} To prove Bose condensation in the full model (\ref{H-int}), we subtract from \eqref{U-Lambda} the van der Waals-like behaving part of the interaction proportional to $N_\L^2/2V$, tune this with a factor, taking into account the optimal stability constants, and add it to the kinetic-energy term. The latter serves as our reference system \eqref{H-MF}, from which we establish a lower bound on the condensate density $\rho^\Delta_{0,g}(\beta,\mu) =\lim_{V \to \infty}\langle N_0/V\rangle_{H_{\Lambda, g}^{\D}}$ in the fully interacting system (\ref{H-int}). In the lemma below, a lower bound on $\rho^\Delta_{0,g}(\beta,\mu)$ is given. \begin{lemma}\label{lemma-lb} The condensate density $\rho^\Delta_{0,g}(\beta,\mu)$ in the thermodynamic limit of grand-canonical Gibbs states of interacting systems (\ref{H-int}) with superstable two-body potentials $v$ (\ref{U-Lambda}), has the following lower bound: \begin{multline}\label{lb} %\begin{split} \rho^\Delta_{0,g}(\beta,\mu) \geq \frac{\mu}{g\hat{v}(0)(1 -\epsilon)} + \frac{g\hat{v}(0)}{2\Delta}\left(\rho^{P}(\beta,-\Delta)\right)^2\\ -\frac{(\mu +\Delta)^2}{2\Delta g \hat{v}(0)} \frac{\epsilon}{(1-\epsilon)^2} - \frac{\mu +\Delta}{\Delta(1-\epsilon)}\rho^{P}(\beta,-\Delta) \\ - \frac{g v(0)}{2\Delta}\rho^{(\Delta = 0)}(\beta,\mu) - \rho^{P}_c(\beta). %\end{split} \end{multline} Here $\rho_g^{(\Delta = 0)}(\beta,\mu)$ is the total density of the interacting gas without gap \eqref{H-int}, and $\epsilon > 0$ is an arbitrarily small constant. $\rho^{P}(\beta,-\Delta)$ refers to the total density of the PBG at inverse temperature $\beta$ and chemical potential $\mu = -\D$, $\rho_c^{P}(\beta)$ is the critical density of the PBG. The bound is valid for values $\mu > g\hat{v}(0)(1-\epsilon)\rho_c^{P}(\beta)$, and dimensions $D = 3$. \end{lemma} \textit{Idea of the proof}. Using the Bogoliubov convexity inequality \cite{zagrebnov:2001} one gets: \begin{equation}\label{b-conv} \frac{g}{V}\langle W_\L^\lambda \rangle_{H^{\D}_{\L,g}} \leq p_\Lambda[H^{\D}_{\L,g,\lambda}] - p_\Lambda[H^{\Delta}_{\Lambda,g}] \leq \frac{g}{V}\langle W_\Lambda^\lambda \rangle_{H^{\D}_{\L,g,\lambda}}. \end{equation} This gives upper and lower bounds on the difference of the thermodynamic pressure $p_\L[H_\L]$ of the mean-field reference Bose gas (\ref{H-MF}) and the full model (\ref{H-int}). The operator $W_\L^\lambda$ is the difference between the interactions of the fully interacting and the mean-field Bose gases, \ie $W_\Lambda^\lambda = U_\Lambda - \frac{\lambda}{2V}N_\L^2$. The expectation values in (\ref{b-conv}) can be estimated using, for the lower bound, the superstability properties of the interaction, and, for the upper bound, the properties of the equilibrium states of the mean-field reference Bose gas. The lower bound in \eqref{b-conv} follows from (\ref{sstab2}), and from the tuning of the interaction parameter $\lambda$ for the mean-field reference Bose gas (\ref{H-MF}) to the constant $A$ in (\ref{sstab2}), \begin{equation}\label{b1} \frac{g}{V}\langle W_\Lambda^{A} \rangle_{H^{\D}_{\L,g}} \geq -\frac{gB}{V}\langle N_\Lambda \rangle_{H^{\D}_{\L,g}}. \end{equation} Using the mode by mode gauge invariance of the Gibbs states of the mean-field Bose gas we arrive at the following upper bound for the pressure difference (\ref{b-conv}), \begin{equation}\label{b2} \frac{g}{V}\langle W_\L^{A} \rangle_{H^{\D}_{\L,g,A}} \leq \frac{g}{V^2} \langle C N_\L^2 - \frac{\hat{v}(0)}{2}N_0^2 \rangle_{H^{\D}_{\L,g,A}}, \end{equation} where $C = \hat{v}(0) -A/2$. It follows from the properties of the mean-field Bose gas that the expectation values in the rhs of (\ref{b2}) in the limit $(V\to\infty)$ are given by $gC(\rho^{\D}_A(\beta,\mu))^2 - g\hat{v}(0)(\rho^{\D}_{0,A}(\beta,\mu))^2/2$. The pressure $p_\L[H^\D_\L]$ is an increasing convex function of $\D \geq 0$. Since the condensate density $\rho^\Delta_{0,g}(\beta,\mu)$ is the derivative of the pressure with respect to $\D$, by convexity we find a lower bound for the condensate density $\rho^\Delta_{0,g}(\beta,\mu)$, given by \begin{equation}\label{c1} \frac{1}{V}\langle N_0 \rangle_{H_{\L, g}^{\D}} \geq \frac{p_\L[H^\D_{\L,g}] - p_\L[H^{(\D =0)}_{\L,g}]}{\D}. \end{equation} Analogously, by virtue of the same convexity property, the difference of the pressures between the mean-field Bose gas with gap and without gap, is bounded from below by the condensate density for the mean-field gas without gap, \ie \begin{equation}\label{c2} \frac{p_\Lambda[H^{\D}_{\L,g,A}] - p_\L[H^{(\D =0)}_{\L,g,A}]}{\D} \geq \frac{1}{V}\langle N_0 \rangle_{H_{\L,g,A}^{(\D=0)}} . \end{equation} Adding up these two inequalities and using the Bogoliubov convexity inequality (\ref{b-conv}) once at $\D >0$ and once at $\D = 0$, together with the bounds (\ref{b1}) and (\ref{b2}), yields the following lower bound for the condensate density $\rho^\D_{0,g}(\beta,\mu)$ in the thermodynamic limit ($V \to \infty$), \ie \begin{multline}\label{lb-1} \rho^\D_{0,g}(\beta,\mu) \geq \rho^{(\D=0)}_{0,g,A}(\beta,\mu) + g\frac{\hat{v}(0)}{2\Delta}(\rho^{\Delta}_{0,g,A}(\beta,\mu))^2\\ -\frac{g}{\D}\left( B \rho^{(\Delta=0)}_{g}(\beta,\mu) + C(\rho^{\D}_{g,A}(\beta,\mu))^2 \right). \end{multline} The lower bound (\ref{lb}) is now found using the explicit expressions for total density and the condensate density of the mean-field Bose gas with gap, (\ref{r-mf-D}) and (\ref{r0-mf-D}), and the well-known expression for the condensate density in the gapless mean-field model, \ie if $\mu > g \lambda\rho^{P}_c(\beta)$, \begin{equation*} \rho^{(\D =0)}_{0,g,\lambda} = \lim_{V \to \infty}\frac{1}{V}\langle N_0 \rangle_{H_{\L,g,\lambda}^{(\D =0)}} = \frac{\mu}{g\lambda} \-\rho_c^{P}(\beta), \end{equation*} where $\rho^{P}_c(\beta)$ is the critical density for the perfect Bose Gas at inverse temperature $\beta$. As a last step, we need the optimal superstability constants for continuous $L^1$ potentials of positive type \cite{lewis:1984}, \ie we take $A = (1-\epsilon)\hat{v}(0)$, and $B = v(0)/2$, and get the expression for the lower bound (\ref{lb}) in the lemma. \hfill \textit{QED} Now we get our main result: \begin{theorem}\label{theorem} Consider a three dimensional system of interacting Bose particles (\ref{H-int}), with a superstable two-body interaction. Take any $\eta > 0$, fix a temperature and a chemical potential $(\beta,\mu)$ such that $\mu > g\hat{v}(0)(\rho^{P}_c(\beta) + 2 \eta)$, then there exists a minimal gap $\Delta_{min}$ such that for all $\Delta \geq \Delta_{min}$, \begin{multline*} \left|\frac{g\hat{v}(0)}{2\Delta}\left(\rho^{P}(\beta,-\Delta)\right)^2 - \frac{g v(0)}{2\Delta}\rho_g^{(\Delta = 0)}(\beta,\mu) \right. \\ \left. - 2\frac{\mu + \Delta}{\Delta}\rho^{P}(\beta,-\Delta)\right| < \eta \end{multline*} For these values of the gap $\Delta$ we have $ \rho^\Delta_{0,g}(\beta,\mu) > 0$, and hence proved condensation. \end{theorem} \textit{Proof.} It is a consequence of Lemma~\ref{lemma-lb} and the fact that $\epsilon >0$ can be chosen arbitrarily small. \hfill \textit{QED} \section{discussion} First of all let us remark that our proofs hold without any change in all dimensions $D \geq 3$. For $D = 1$ or $2$ a similar lower bound on the condensate density can be derived, on the basis of modified convexity arguments (\ref{c1})--(\ref{c2}), \ie one has to consider pressure differences of the form $p_\Lambda[H^{\D}_{\L}] - p_\L[H^{\D_0}_{\L}]$, with $0 < \D_0 < \D$, instead of with $\D_0 =0$ in (\ref{c1})--(\ref{c2}). This yields the substitution of $\rho^{\D_0}_{0,g,A}(\beta,\mu)$ and $\rho_g^{\D_0}(\beta,\mu)$ for $\rho^{(\D=0)}_{0,g,A}(\beta,\mu)$ and $\rho_g^{(\D=0)}(\beta,\mu)$ in (\ref{lb-1}). Hence, also in one and two dimensional interacting Bose gases with gap \eqref{H-int}, Bose condensation is proved, in contrast to the Bogoliubov--Hohenberg theorem \cite{bratteli:1996} which yields the absence of BEC for $1D$ or $2D$ translation invariant continuous Bose systems without gap. Remark that our bound (\ref{lb}) contains a term $\rho_g^{(\D=0)}(\beta,\mu)$, the total density of the fully interacting model (\ref{H-int}) without gap $(\D =0)$, which is not explicitly known. This term can be eliminated using an alternative reference system, yielding a new bound. This alternative reference system is an adaptation of the original reference systems (\ref{H-MF}) with an extra interaction term, linear in the total number operator $N_\L$ (cf.\ \eqref{sstab2}), \ie yielding a shift in the chemical potential. The derivation of this lower bound on the Bose condensate density, is then as above. It is explicitly given by \begin{multline}\label{lb-a} \rho^\Delta_{0,g}(\beta,\mu) \geq \frac{2\mu + gv(0)}{g\hat{v}(0)(1 -\epsilon)} + \frac{g\hat{v}(0)}{2\Delta}\left(\rho^{P}(\beta,-\Delta)\right)^2\\ -\frac{(2\mu +2\D + gv(0))^2}{2\D g \hat{v}(0)} \frac{\epsilon}{(1-\epsilon)^2} - \rho^{P}_c(\beta) \\ - \frac{2\mu + 2\D + gv(0)}{\D \hat{v}(0)(1-\epsilon)}\left(\frac{v(0)}{2}+ \rho^{P}(\beta,-\Delta)\right), \end{multline} for $\mu \geq g\hat{v}(0)1-\epsilon)\rho^{P}_c(\beta)$. The properties of this bound are completely analogous to the properties of Lemma~\ref{lemma-lb}. However, as all quantities in this bound are explicitly known, it is a useful one to compute numerical estimations on the condensate density. \begin{figure}[h] \includegraphics[width=0.3\textwidth]{graph2.1} %graph2.1 is a MetaPost generated EPS figure with internal LaTeX. \caption{\label{fig1} $(\mu,\D)$-graph of the lower bound.} \end{figure} An example of such a computation is represented in Fig.~\ref{fig1}. In this $(\mu,\D)$ graph the values of the lower bound are given, for a choice of the parameters $\beta = g = v(0) = \hat{v}(0) = \frac{\hbar^2}{2m} = 1$ and $\epsilon = 0.01 $. The lowest line $(a)$ is the line for which the lower bound (\ref{lb-a}) is zero, \ie above this curve we have BEC, the higher lines $(b)$, $(c)$, and $(d)$, are the contours where the numerical values of the lower bound are $15,30$ resp.\ $45$. Clearly, the density of the condensate increases with increasing $\mu$ (\ie increasing total density) and increasing gap $\D$. For a given chemical potential $\mu$, there is a minimal value for the gap $\D$ (cf.~Theorem~\ref{theorem}) below which we cannot prove condensation. Notice that, if one fixes $\D$ larger than this minimal value, our lower bound yields BEC between a $\mu_{min}$ and a $\mu_{max}$ of the chemical potential. The $\mu_{max}$ increases with decreasing $\epsilon$. Considering the high $\mu$ regime and taking $\epsilon$ of order $\mu^{-2}$, one estimates the absolute lowest bound on $\D$ in order to have a positive lower bound on de condensate density (\ref{lb-a}), \ie condensation occurs when \begin{equation*} \D > g\left(\frac{v(0)}{2} + \hat{v}(0)\rho^{P}(\beta,-\D)\right), \end{equation*} meaning that for non-zero interaction (\ref{U-Lambda}) $(g > 0)$, there is a non-zero lower bound on the gap-width. This minorant is proportional to the coupling constant $g \geq 0$. Finally we want to stress that our results are for homogeneous systems. On the other hand we have to mention here the interesting recent result about the condensation for trapped Bose gases \cite{lieb:2002}, \ie for inhomogeneous systems where also a rigorous proof is given of Bose condensation in a realistic setting. \begin{acknowledgments} J. L. gratefully acknowledges financial support from K.U.Leuven grant FLOF-10408, and V. A. Z. acknowledges ITF K.U.Leuven for hospitality. \end{acknowledgments} %\bibliographystyle{apsrev} %\bibliography{/loc_home/lauwers/artikels/biblio} \begin{thebibliography}{20} \expandafter\ifx\csname natexlab\endcsname\relax\def\natexlab#1{#1}\fi \expandafter\ifx\csname bibnamefont\endcsname\relax \def\bibnamefont#1{#1}\fi \expandafter\ifx\csname bibfnamefont\endcsname\relax \def\bibfnamefont#1{#1}\fi \expandafter\ifx\csname citenamefont\endcsname\relax \def\citenamefont#1{#1}\fi \expandafter\ifx\csname url\endcsname\relax \def\url#1{\texttt{#1}}\fi \expandafter\ifx\csname urlprefix\endcsname\relax\def\urlprefix{URL }\fi \providecommand{\bibinfo}[2]{#2} \providecommand{\eprint}[2][]{\url{#2}} \bibitem[{\citenamefont{Lebowitz and Penrose}(1966)}]{lebowitz:1966} \bibinfo{author}{\bibfnamefont{J.}~\bibnamefont{Lebowitz}} \bibnamefont{and} \bibinfo{author}{\bibfnamefont{O.}~\bibnamefont{Penrose}}, \bibinfo{journal}{J. Math. Phys.} \textbf{\bibinfo{volume}{7}}, \bibinfo{pages}{98 } (\bibinfo{year}{1966}). \bibitem[{\citenamefont{Lieb}(1966)}]{lieb:1966} \bibinfo{author}{\bibfnamefont{E.~H.} \bibnamefont{Lieb}}, \bibinfo{journal}{J. Math. Phys.} \textbf{\bibinfo{volume}{7}}, \bibinfo{pages}{1016 } (\bibinfo{year}{1966}). \bibitem[{\citenamefont{Buffet et~al.}(1983)\citenamefont{Buffet, {de Smedt}, and Pul{\`e}}}]{buffet:1983b} \bibinfo{author}{\bibfnamefont{E.}~\bibnamefont{Buffet}}, \bibinfo{author}{\bibfnamefont{Ph.}~\bibnamefont{{de Smedt}}}, \bibnamefont{and} \bibinfo{author}{\bibfnamefont{J.~V.} \bibnamefont{Pul{\'e}}}, \bibinfo{journal}{J. Phys. A: Math. Gen.} \textbf{\bibinfo{volume}{16}}, \bibinfo{pages}{4309 } (\bibinfo{year}{1983}). \bibitem[{\citenamefont{Dorlas et~al.}(1993)\citenamefont{Dorlas, Lewis, and Pul{\'e}}}]{dorlas:1993} \bibinfo{author}{\bibfnamefont{T.~C.} \bibnamefont{Dorlas}}, \bibinfo{author}{\bibfnamefont{J.~T.} \bibnamefont{Lewis}}, \bibnamefont{and} \bibinfo{author}{\bibfnamefont{J.~V.} \bibnamefont{Pul{\'e}}}, \bibinfo{journal}{Commun. Math. Phys.} \textbf{\bibinfo{volume}{156}}, \bibinfo{pages}{37 } (\bibinfo{year}{1993}). \bibitem[{\citenamefont{Zagrebnov and Bru}(2001)}]{zagrebnov:2001} \bibinfo{author}{\bibfnamefont{V.~A.} \bibnamefont{Zagrebnov}} \bibnamefont{and} \bibinfo{author}{\bibfnamefont{J.-B.} \bibnamefont{Bru}}, \bibinfo{journal}{Phys. Rep.} \textbf{\bibinfo{volume}{350}}, \bibinfo{pages}{291 } (\bibinfo{year}{2001}). \bibitem[{\citenamefont{Robinson}(1976)}]{robinson:1976} \bibinfo{author}{\bibfnamefont{D.~W.} \bibnamefont{Robinson}}, \bibinfo{journal}{Commun. Math. Phys.} \textbf{\bibinfo{volume}{50}}, \bibinfo{pages}{53 } (\bibinfo{year}{1976}). \bibitem[{\citenamefont{Landau and Wilde}(1979)}]{landau:1979} \bibinfo{author}{\bibfnamefont{L.~J.} \bibnamefont{Landau}} \bibnamefont{and} \bibinfo{author}{\bibfnamefont{I.~F.} \bibnamefont{Wilde}}, \bibinfo{journal}{Commun. Math. Phys.} \textbf{\bibinfo{volume}{70}}, \bibinfo{pages}{43 } (\bibinfo{year}{1979}). \bibitem[{\citenamefont{Ruelle}(1969)}]{ruelle:1969} \bibinfo{author}{\bibfnamefont{D.}~\bibnamefont{Ruelle}}, \emph{\bibinfo{title}{Statistical Mechanics, Rigorous Results}} (\bibinfo{publisher}{W. A. Benjamin, Reading}, \bibinfo{year}{1969}). \bibitem[{\citenamefont{Lewis et~al.}(1984)\citenamefont{Lewis, Pul{\`e}, and {de Smedt}}}]{lewis:1984} \bibinfo{author}{\bibfnamefont{J.~T.} \bibnamefont{Lewis}}, \bibinfo{author}{\bibfnamefont{J.~V.} \bibnamefont{Pul{\`e}}}, \bibnamefont{and} \bibinfo{author}{\bibfnamefont{P.}~\bibnamefont{{de Smedt}}}, \bibinfo{journal}{J. Stat. Phys.} \textbf{\bibinfo{volume}{35}}, \bibinfo{pages}{381 } (\bibinfo{year}{1984}). \bibitem[{\citenamefont{Huang}(1967)}]{huang:1967} \bibinfo{author}{\bibfnamefont{K.}~\bibnamefont{Huang}}, \emph{\bibinfo{title}{Statistical Mechanics}} (\bibinfo{publisher}{Wiley, London}, \bibinfo{year}{1967}). \bibitem[{\citenamefont{Davies}(1972)}]{davies:1972} \bibinfo{author}{\bibfnamefont{E.~B.} \bibnamefont{Davies}}, \bibinfo{journal}{Commun. Math. Phys.} \textbf{\bibinfo{volume}{28}}, \bibinfo{pages}{69 } (\bibinfo{year}{1972}). \bibitem[{\citenamefont{Fannes and Verbeure}(1980)}]{fannes:1980b} \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Fannes}} \bibnamefont{and} \bibinfo{author}{\bibfnamefont{A.}~\bibnamefont{Verbeure}}, \bibinfo{journal}{J. Math. Phys.} \textbf{\bibinfo{volume}{21}}, \bibinfo{pages}{1809 } (\bibinfo{year}{1980}). \bibitem[{\citenamefont{Buffet and Pul{\`e}}(1983)}]{buffet:1983} \bibinfo{author}{\bibfnamefont{E.}~\bibnamefont{Buffet}} \bibnamefont{and} \bibinfo{author}{\bibfnamefont{J.~V.} \bibnamefont{Pul{\`e}}}, \bibinfo{journal}{J. Math. Phys.} \textbf{\bibinfo{volume}{24}}, \bibinfo{pages}{1608 } (\bibinfo{year}{1983}). \bibitem[{\citenamefont{{Van Den Berg} et~al.}(1984)\citenamefont{{Van Den Berg}, Lewis, and {de Smedt}}}]{berg:1984} \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{{van den Berg}}}, \bibinfo{author}{\bibfnamefont{J.~T.} \bibnamefont{Lewis}}, \bibnamefont{and} \bibinfo{author}{\bibfnamefont{P.}~\bibnamefont{{de Smedt}}}, \bibinfo{journal}{J. Stat. Phys.} \textbf{\bibinfo{volume}{37}}, \bibinfo{pages}{697 } (\bibinfo{year}{1984}). \bibitem[{\citenamefont{Papoyan and Zagrebnov}(1986)}]{papoyan:1986} \bibinfo{author}{\bibfnamefont{Vl.~V.} \bibnamefont{Papoyan}} \bibnamefont{and} \bibinfo{author}{\bibfnamefont{V.~A.} \bibnamefont{Zagrebnov}}, \bibinfo{journal}{Theor. Math. Phys.} \textbf{\bibinfo{volume}{69}}, \bibinfo{pages}{1240 } (\bibinfo{year}{1986}). \bibitem[{\citenamefont{Lewis et~al.}(1988)\citenamefont{Lewis, Pul{\'e}, and Zagrebnov}}]{lewis:1988} \bibinfo{author}{\bibfnamefont{J.~T.} \bibnamefont{Lewis}}, \bibinfo{author}{\bibfnamefont{J.~V.} \bibnamefont{Pul{\'e}}}, \bibnamefont{and} \bibinfo{author}{\bibfnamefont{V.~A.} \bibnamefont{Zagrebnov}}, \bibinfo{journal}{Helv. Phys. Acta} \textbf{\bibinfo{volume}{61}}, \bibinfo{pages}{1063 } (\bibinfo{year}{1988}). \bibitem[{\citenamefont{Cannon}(1973)}]{cannon:1973} \bibinfo{author}{\bibfnamefont{J.~T.} \bibnamefont{Cannon}}, \bibinfo{journal}{Commun. Math. Phys.} \textbf{\bibinfo{volume}{29}}, \bibinfo{pages}{89 } (\bibinfo{year}{1973}). \bibitem[{\citenamefont{Lewis and Pul{\`e}}(1974)}]{lewis:1974} \bibinfo{author}{\bibfnamefont{J.~T.} \bibnamefont{Lewis}} \bibnamefont{and} \bibinfo{author}{\bibfnamefont{J.~V.} \bibnamefont{Pul{\`e}}}, \bibinfo{journal}{Commun. Math. Phys.} \textbf{\bibinfo{volume}{36}}, \bibinfo{pages}{1 } (\bibinfo{year}{1974}). \bibitem[{\citenamefont{Bratteli and Robinson}(1996)}]{bratteli:1996} \bibinfo{author}{\bibfnamefont{O.}~\bibnamefont{Bratteli}} \bibnamefont{and} \bibinfo{author}{\bibfnamefont{D.~W.} \bibnamefont{Robinson}}, \emph{\bibinfo{title}{Operator Algebras and Quantum Statistical Mechanics 2}} (\bibinfo{publisher}{Springer-Verlag, Berlin}, \bibinfo{year}{1996}). \bibitem[{\citenamefont{Lieb and Seiringer}(2002)}]{lieb:2002} \bibinfo{author}{\bibfnamefont{E.~H.} \bibnamefont{Lieb}} \bibnamefont{and} \bibinfo{author}{\bibfnamefont{R.}~\bibnamefont{Seiringer}}, \bibinfo{journal}{Phys. Rev. Lett.} \textbf{\bibinfo{volume}{88}}, \bibinfo{pages}{170409} (\bibinfo{year}{2002}). \end{thebibliography} \end{document} ---------------0205230643321 Content-Type: application/postscript; name="graph2.1" Content-Transfer-Encoding: 7bit Content-Disposition: inline; filename="graph2.1" %!PS %%BoundingBox: 91 10 373 285 %%Creator: MetaPost %%CreationDate: 2002.01.15:1108 %%Pages: 1 %*Font: cmr10 9.96265 9.96265 01:800000000185dd %*Font: cmmi10 9.96265 9.96265 16:8800000000800000001e %*Font: cmmi7 6.97385 6.97385 61:808c01 %*Font: cmr7 6.97385 6.97385 01:800000000001 %%EndProlog %%Page: 1 1 0.25 0 dtransform exch truncate exch idtransform pop setlinewidth [] 0 setdash 1 setlinecap 1 setlinejoin 10 setmiterlimit newpath 147.325 33.3242 moveto 147.325 34.8948 lineto stroke 144.325 24.1829 moveto (0) cmr10 9.96265 fshow newpath 191.26 33.3242 moveto 191.26 34.8948 lineto stroke 185.341 24.1829 moveto (20) cmr10 9.96265 fshow newpath 235.194 33.3242 moveto 235.194 34.8948 lineto stroke 229.169 24.1829 moveto (40) cmr10 9.96265 fshow newpath 279.129 33.3242 moveto 279.129 34.8948 lineto stroke 273.129 24.1829 moveto (60) cmr10 9.96265 fshow newpath 323.063 33.3242 moveto 323.063 34.8948 lineto stroke 317.063 24.1829 moveto (80) cmr10 9.96265 fshow newpath 366.999 33.3242 moveto 366.999 34.8948 lineto stroke 357.934 24.0632 moveto (100) cmr10 9.96265 fshow 0.125 0 dtransform exch truncate exch idtransform pop setlinewidth newpath 158.309 33.3242 moveto 158.309 34.2666 lineto stroke newpath 169.294 33.3242 moveto 169.294 34.2666 lineto stroke newpath 180.276 33.3242 moveto 180.276 34.2666 lineto stroke newpath 202.243 33.3242 moveto 202.243 34.2666 lineto stroke newpath 213.227 33.3242 moveto 213.227 34.2666 lineto stroke newpath 224.212 33.3242 moveto 224.212 34.2666 lineto stroke newpath 246.178 33.3242 moveto 246.178 34.2666 lineto stroke newpath 257.163 33.3242 moveto 257.163 34.2666 lineto stroke newpath 268.145 33.3242 moveto 268.145 34.2666 lineto stroke newpath 290.114 33.3242 moveto 290.114 34.2666 lineto stroke newpath 301.096 33.3242 moveto 301.096 34.2666 lineto stroke newpath 312.081 33.3242 moveto 312.081 34.2666 lineto stroke newpath 334.047 33.3242 moveto 334.047 34.2666 lineto stroke newpath 345.032 33.3242 moveto 345.032 34.2666 lineto stroke newpath 356.014 33.3242 moveto 356.014 34.2666 lineto stroke newpath 136.343 33.3242 moveto 136.343 34.2666 lineto stroke newpath 125.358 33.3242 moveto 125.358 34.2666 lineto stroke 0 0.25 dtransform truncate idtransform setlinewidth pop newpath 120.526 33.3242 moveto 371.831 33.3242 lineto stroke 237.6845 12.75714 moveto (\026) cmmi10 9.96265 fshow newpath 120.526 38.1567 moveto 122.096 38.1567 lineto stroke 112.385 35.1567 moveto (0) cmr10 9.96265 fshow newpath 120.526 86.4854 moveto 122.096 86.4854 lineto stroke 100.385 83.4856 moveto (0.5) cmr10 9.96265 fshow newpath 120.526 134.811 moveto 122.096 134.811 lineto stroke 112.514 131.752 moveto (1) cmr10 9.96265 fshow newpath 120.526 183.14 moveto 122.096 183.14 lineto stroke 100.385 180.08 moveto (1.5) cmr10 9.96265 fshow newpath 120.526 231.469 moveto 122.096 231.469 lineto stroke 112.385 228.469 moveto (2) cmr10 9.96265 fshow newpath 120.526 279.797 moveto 122.096 279.797 lineto stroke 100.385 276.797 moveto (2.5) cmr10 9.96265 fshow 0 0.125 dtransform truncate idtransform setlinewidth pop newpath 120.526 47.822 moveto 121.468 47.822 lineto stroke newpath 120.526 57.4871 moveto 121.468 57.4871 lineto stroke newpath 120.526 67.1523 moveto 121.468 67.1523 lineto stroke newpath 120.526 76.8176 moveto 121.468 76.8176 lineto stroke newpath 120.526 96.1504 moveto 121.468 96.1504 lineto stroke newpath 120.526 105.816 moveto 121.468 105.816 lineto stroke newpath 120.526 115.481 moveto 121.468 115.481 lineto stroke newpath 120.526 125.146 moveto 121.468 125.146 lineto stroke newpath 120.526 144.479 moveto 121.468 144.479 lineto stroke newpath 120.526 154.144 moveto 121.468 154.144 lineto stroke newpath 120.526 163.81 moveto 121.468 163.81 lineto stroke newpath 120.526 173.475 moveto 121.468 173.475 lineto stroke newpath 120.526 192.805 moveto 121.468 192.805 lineto stroke newpath 120.526 202.473 moveto 121.468 202.473 lineto stroke newpath 120.526 212.138 moveto 121.468 212.138 lineto stroke newpath 120.526 221.803 moveto 121.468 221.803 lineto stroke newpath 120.526 241.134 moveto 121.468 241.134 lineto stroke newpath 120.526 250.799 moveto 121.468 250.799 lineto stroke newpath 120.526 260.467 moveto 121.468 260.467 lineto stroke newpath 120.526 270.132 moveto 121.468 270.132 lineto stroke 0.25 0 dtransform exch truncate exch idtransform pop setlinewidth newpath 120.526 33.3242 moveto 120.526 284.63 lineto stroke 91.0994 155.5731 moveto (\001) cmr10 9.96265 fshow newpath 147.325 283.059 moveto 147.325 284.63 lineto stroke newpath 191.26 283.059 moveto 191.26 284.63 lineto stroke newpath 235.194 283.059 moveto 235.194 284.63 lineto stroke newpath 279.129 283.059 moveto 279.129 284.63 lineto stroke newpath 323.063 283.059 moveto 323.063 284.63 lineto stroke newpath 366.999 283.059 moveto 366.999 284.63 lineto stroke 0.125 0 dtransform exch truncate exch idtransform pop setlinewidth newpath 158.309 283.687 moveto 158.309 284.63 lineto stroke newpath 169.294 283.687 moveto 169.294 284.63 lineto stroke newpath 180.276 283.687 moveto 180.276 284.63 lineto stroke newpath 202.243 283.687 moveto 202.243 284.63 lineto stroke newpath 213.227 283.687 moveto 213.227 284.63 lineto stroke newpath 224.212 283.687 moveto 224.212 284.63 lineto stroke newpath 246.178 283.687 moveto 246.178 284.63 lineto stroke newpath 257.163 283.687 moveto 257.163 284.63 lineto stroke newpath 268.145 283.687 moveto 268.145 284.63 lineto stroke newpath 290.114 283.687 moveto 290.114 284.63 lineto stroke newpath 301.096 283.687 moveto 301.096 284.63 lineto stroke newpath 312.081 283.687 moveto 312.081 284.63 lineto stroke newpath 334.047 283.687 moveto 334.047 284.63 lineto stroke newpath 345.032 283.687 moveto 345.032 284.63 lineto stroke newpath 356.014 283.687 moveto 356.014 284.63 lineto stroke newpath 136.343 283.687 moveto 136.343 284.63 lineto stroke newpath 125.358 283.687 moveto 125.358 284.63 lineto stroke 0 0.25 dtransform truncate idtransform setlinewidth pop newpath 120.526 284.63 moveto 371.831 284.63 lineto stroke newpath 370.26 38.1567 moveto 371.831 38.1567 lineto stroke newpath 370.26 86.4854 moveto 371.831 86.4854 lineto stroke newpath 370.26 134.811 moveto 371.831 134.811 lineto stroke newpath 370.26 183.14 moveto 371.831 183.14 lineto stroke newpath 370.26 231.469 moveto 371.831 231.469 lineto stroke newpath 370.26 279.797 moveto 371.831 279.797 lineto stroke 0 0.125 dtransform truncate idtransform setlinewidth pop newpath 370.889 47.822 moveto 371.831 47.822 lineto stroke newpath 370.889 57.4871 moveto 371.831 57.4871 lineto stroke newpath 370.889 67.1523 moveto 371.831 67.1523 lineto stroke newpath 370.889 76.8176 moveto 371.831 76.8176 lineto stroke newpath 370.889 96.1504 moveto 371.831 96.1504 lineto stroke newpath 370.889 105.816 moveto 371.831 105.816 lineto stroke newpath 370.889 115.481 moveto 371.831 115.481 lineto stroke newpath 370.889 125.146 moveto 371.831 125.146 lineto stroke newpath 370.889 144.479 moveto 371.831 144.479 lineto stroke newpath 370.889 154.144 moveto 371.831 154.144 lineto stroke newpath 370.889 163.81 moveto 371.831 163.81 lineto stroke newpath 370.889 173.475 moveto 371.831 173.475 lineto stroke newpath 370.889 192.805 moveto 371.831 192.805 lineto stroke newpath 370.889 202.473 moveto 371.831 202.473 lineto stroke newpath 370.889 212.138 moveto 371.831 212.138 lineto stroke newpath 370.889 221.803 moveto 371.831 221.803 lineto stroke newpath 370.889 241.134 moveto 371.831 241.134 lineto stroke newpath 370.889 250.799 moveto 371.831 250.799 lineto stroke newpath 370.889 260.467 moveto 371.831 260.467 lineto stroke newpath 370.889 270.132 moveto 371.831 270.132 lineto stroke 0.25 0 dtransform exch truncate exch idtransform pop setlinewidth newpath 371.831 33.3242 moveto 371.831 284.63 lineto stroke 0 0.5 dtransform truncate idtransform setlinewidth pop newpath 366.999 219.222 moveto 365.785 219.554 lineto 364.571 219.896 lineto 363.354 220.253 lineto 363.206 220.298 lineto 362.141 220.622 lineto 360.927 221.004 lineto 359.713 221.401 lineto 359.381 221.512 lineto 358.499 221.813 lineto 357.283 222.238 lineto 356.069 222.68 lineto 355.946 222.726 lineto 354.855 223.138 lineto 353.642 223.61 lineto 352.822 223.939 lineto 352.428 224.103 lineto 351.214 224.61 lineto 349.998 225.138 lineto 349.958 225.156 lineto 348.784 225.683 lineto 347.57 226.246 lineto 347.314 226.37 lineto 346.356 226.832 lineto 345.143 227.44 lineto 344.858 227.583 lineto 343.926 228.068 lineto 342.712 228.717 lineto 342.567 228.797 lineto 341.499 229.393 lineto 340.418 230.011 lineto 340.285 230.091 lineto 339.071 230.815 lineto 338.397 231.227 lineto 337.854 231.564 lineto 336.641 232.343 lineto 336.492 232.441 lineto 335.427 233.15 lineto 334.688 233.655 lineto 334.213 233.984 lineto 332.999 234.851 lineto 332.974 234.869 lineto 331.786 235.751 lineto 331.346 236.083 lineto 330.569 236.683 lineto 329.795 237.296 lineto 329.355 237.651 lineto 328.312 238.513 lineto 328.142 238.656 lineto 326.928 239.699 lineto stroke newpath 326.927 239.699 moveto 326.898 239.726 lineto 325.714 240.782 lineto 325.541 240.94 lineto 324.498 241.908 lineto 324.239 242.154 lineto 323.284 243.079 lineto 322.99 243.368 lineto 322.07 244.293 lineto 321.789 244.584 lineto 320.856 245.557 lineto 320.63 245.798 lineto 319.643 246.874 lineto 319.517 247.012 lineto 318.441 248.226 lineto 318.429 248.241 lineto 317.401 249.439 lineto 317.212 249.666 lineto 316.398 250.653 lineto 315.999 251.148 lineto 315.428 251.869 lineto 314.785 252.694 lineto 314.488 253.083 lineto 313.576 254.297 lineto 313.571 254.307 lineto 312.694 255.511 lineto 312.357 255.986 lineto 311.839 256.725 lineto 311.141 257.74 lineto 311.008 257.941 lineto 310.201 259.155 lineto 309.927 259.572 lineto 309.414 260.369 lineto 308.713 261.484 lineto 308.653 261.583 lineto 307.912 262.796 lineto 307.499 263.485 lineto 307.188 264.013 lineto 306.484 265.226 lineto 306.286 265.578 lineto 305.801 266.44 lineto 305.132 267.654 lineto 305.069 267.767 lineto 304.481 268.868 lineto 303.855 270.062 lineto 303.845 270.082 lineto 303.225 271.298 lineto 302.642 272.467 lineto 302.619 272.512 lineto 302.029 273.726 lineto 301.45 274.939 lineto stroke newpath 301.45 274.939 moveto 301.428 274.99 lineto 300.885 276.153 lineto 300.335 277.369 lineto 300.214 277.638 lineto 299.794 278.583 lineto 299.267 279.797 lineto stroke 284.2328 270.225 moveto (\() cmr10 9.96265 fshow 288.10721 270.225 moveto (d) cmmi10 9.96265 fshow 293.2926 270.225 moveto (\)) cmr10 9.96265 fshow newpath 366.999 180.755 moveto 365.785 180.71 lineto 364.571 180.667 lineto 363.354 180.627 lineto 362.141 180.592 lineto 360.927 180.562 lineto 359.713 180.534 lineto 358.499 180.511 lineto 357.283 180.491 lineto 356.069 180.476 lineto 354.855 180.466 lineto 353.642 180.461 lineto 352.428 180.458 lineto 351.214 180.464 lineto 349.998 180.471 lineto 348.784 180.484 lineto 347.57 180.501 lineto 346.356 180.526 lineto 345.143 180.554 lineto 343.926 180.589 lineto 342.712 180.629 lineto 341.499 180.675 lineto 340.285 180.727 lineto 339.071 180.785 lineto 337.854 180.851 lineto 336.641 180.921 lineto 335.427 180.999 lineto 334.213 181.084 lineto 332.999 181.177 lineto 331.786 181.275 lineto 330.569 181.383 lineto 329.946 181.441 lineto 329.355 181.499 lineto 328.142 181.622 lineto 326.928 181.753 lineto 325.714 181.894 lineto 324.498 182.042 lineto 323.284 182.2 lineto 322.07 182.368 lineto 320.856 182.544 lineto 320.137 182.655 lineto 319.643 182.733 lineto 318.429 182.931 lineto 317.212 183.14 lineto 315.999 183.361 lineto 314.785 183.595 lineto 313.571 183.839 lineto 313.42 183.869 lineto 312.357 184.095 lineto 311.141 184.366 lineto stroke newpath 311.141 184.366 moveto 309.927 184.65 lineto 308.713 184.947 lineto 308.175 185.083 lineto 307.499 185.259 lineto 306.286 185.588 lineto 305.069 185.929 lineto 303.855 186.289 lineto 303.828 186.299 lineto 302.642 186.666 lineto 301.428 187.06 lineto 300.214 187.475 lineto 300.104 187.513 lineto 299 187.907 lineto 297.784 188.36 lineto 296.836 188.727 lineto 296.57 188.832 lineto 295.356 189.327 lineto 294.143 189.845 lineto 293.926 189.94 lineto 292.929 190.388 lineto 291.712 190.956 lineto 291.3 191.154 lineto 290.499 191.549 lineto 289.285 192.172 lineto 288.908 192.37 lineto 288.071 192.82 lineto 286.857 193.501 lineto 286.714 193.584 lineto 285.643 194.215 lineto 284.686 194.798 lineto 284.427 194.959 lineto 283.213 195.74 lineto 282.806 196.012 lineto 282 196.56 lineto 281.05 197.226 lineto 280.786 197.417 lineto 279.572 198.316 lineto 279.406 198.442 lineto 278.355 199.259 lineto 277.86 199.656 lineto 277.142 200.246 lineto 276.405 200.87 lineto 275.928 201.284 lineto 275.031 202.083 lineto 274.714 202.372 lineto 273.726 203.297 lineto 273.5 203.516 lineto 272.488 204.511 lineto 272.284 204.717 lineto 271.311 205.727 lineto stroke newpath 271.311 205.727 moveto 271.07 205.981 lineto 270.188 206.941 lineto 269.856 207.311 lineto 269.117 208.155 lineto 268.643 208.71 lineto 268.092 209.369 lineto 267.429 210.186 lineto 267.11 210.583 lineto 266.215 211.739 lineto 266.17 211.799 lineto 265.265 213.013 lineto 264.999 213.38 lineto 264.398 214.226 lineto 263.785 215.111 lineto 263.564 215.44 lineto 262.757 216.654 lineto 262.571 216.943 lineto 261.983 217.868 lineto 261.357 218.881 lineto 261.234 219.084 lineto 260.51 220.298 lineto 260.143 220.934 lineto 259.812 221.512 lineto 259.136 222.726 lineto 258.927 223.11 lineto 258.482 223.939 lineto 257.849 225.156 lineto 257.713 225.42 lineto 257.236 226.37 lineto 256.64 227.583 lineto 256.5 227.875 lineto 256.062 228.797 lineto 255.502 230.011 lineto 255.286 230.489 lineto 254.956 231.227 lineto 254.426 232.441 lineto 254.072 233.275 lineto 253.911 233.655 lineto 253.411 234.869 lineto 252.923 236.083 lineto 252.858 236.248 lineto 252.446 237.296 lineto 251.983 238.513 lineto 251.642 239.43 lineto 251.534 239.726 lineto 251.094 240.94 lineto 250.664 242.154 lineto 250.428 242.835 lineto 250.247 243.368 lineto 249.837 244.584 lineto stroke newpath 249.837 244.584 moveto 249.438 245.798 lineto 249.214 246.491 lineto 249.048 247.012 lineto 248.669 248.226 lineto 248.294 249.439 lineto 248 250.425 lineto 247.932 250.653 lineto 247.576 251.869 lineto 247.229 253.083 lineto 246.887 254.297 lineto 246.786 254.664 lineto 246.553 255.511 lineto 246.226 256.725 lineto 245.907 257.941 lineto 245.595 259.155 lineto 245.57 259.245 lineto 245.286 260.369 lineto 244.987 261.583 lineto 244.693 262.796 lineto 244.404 264.013 lineto 244.356 264.206 lineto 244.12 265.226 lineto 243.841 266.44 lineto 243.57 267.654 lineto 243.301 268.868 lineto 243.143 269.599 lineto 243.04 270.082 lineto 242.781 271.298 lineto 242.527 272.512 lineto 242.278 273.726 lineto 242.034 274.939 lineto 241.929 275.472 lineto 241.793 276.153 lineto 241.559 277.369 lineto 241.326 278.583 lineto 241.099 279.797 lineto stroke 226.9389 270.225 moveto (\() cmr10 9.96265 fshow 230.81331 270.225 moveto (c) cmmi10 9.96265 fshow 235.12471 270.225 moveto (\)) cmr10 9.96265 fshow newpath 366.999 155.868 moveto 365.785 155.667 lineto 364.571 155.469 lineto 363.354 155.27 lineto 362.141 155.072 lineto 360.927 154.875 lineto 360.002 154.727 lineto 359.713 154.68 lineto 358.499 154.486 lineto 357.283 154.292 lineto 356.069 154.099 lineto 354.855 153.908 lineto 353.642 153.719 lineto 352.428 153.529 lineto 352.32 153.513 lineto 351.214 153.343 lineto 349.998 153.154 lineto 348.784 152.968 lineto 347.57 152.785 lineto 346.356 152.601 lineto 345.143 152.42 lineto 344.328 152.297 lineto 343.926 152.24 lineto 342.712 152.058 lineto 341.499 151.883 lineto 340.285 151.704 lineto 339.071 151.531 lineto 337.854 151.357 lineto 336.641 151.184 lineto 335.93 151.083 lineto 335.427 151.013 lineto 334.213 150.845 lineto 332.999 150.676 lineto 331.786 150.51 lineto 330.569 150.347 lineto 329.355 150.184 lineto 328.142 150.023 lineto 326.966 149.87 lineto 326.928 149.865 lineto 325.714 149.709 lineto 324.498 149.553 lineto 323.284 149.4 lineto 322.07 149.249 lineto 320.856 149.098 lineto 319.643 148.952 lineto 318.429 148.807 lineto 317.212 148.663 lineto 317.142 148.656 lineto 315.999 148.523 lineto 314.785 148.384 lineto stroke newpath 314.785 148.384 moveto 313.571 148.249 lineto 312.357 148.115 lineto 311.141 147.985 lineto 309.927 147.857 lineto 308.713 147.731 lineto 307.499 147.608 lineto 306.286 147.487 lineto 305.806 147.442 lineto 305.069 147.372 lineto 303.855 147.256 lineto 302.642 147.146 lineto 301.428 147.037 lineto 300.214 146.932 lineto 299 146.831 lineto 297.784 146.733 lineto 296.57 146.638 lineto 295.356 146.547 lineto 294.143 146.462 lineto 292.929 146.379 lineto 291.712 146.299 lineto 290.544 146.228 lineto 290.499 146.223 lineto 289.285 146.153 lineto 288.071 146.087 lineto 286.857 146.027 lineto 285.643 145.969 lineto 284.427 145.919 lineto 283.213 145.871 lineto 282 145.831 lineto 280.786 145.793 lineto 279.572 145.763 lineto 278.355 145.741 lineto 277.142 145.723 lineto 275.928 145.71 lineto 274.714 145.706 lineto 273.5 145.706 lineto 272.284 145.716 lineto 271.07 145.73 lineto 269.856 145.756 lineto 268.643 145.788 lineto 267.429 145.829 lineto 266.215 145.876 lineto 264.999 145.934 lineto 263.785 146.002 lineto 262.571 146.08 lineto 261.357 146.168 lineto 260.603 146.228 lineto 260.143 146.266 lineto 258.927 146.376 lineto 257.713 146.497 lineto stroke newpath 257.713 146.497 moveto 256.5 146.633 lineto 255.286 146.779 lineto 254.072 146.939 lineto 252.858 147.115 lineto 251.642 147.304 lineto 250.827 147.442 lineto 250.428 147.51 lineto 249.214 147.733 lineto 248 147.975 lineto 246.786 148.234 lineto 245.57 148.51 lineto 244.975 148.656 lineto 244.356 148.809 lineto 243.143 149.131 lineto 241.929 149.475 lineto 240.715 149.844 lineto 240.632 149.87 lineto 239.499 150.239 lineto 238.285 150.661 lineto 237.149 151.083 lineto 237.071 151.114 lineto 235.857 151.596 lineto 234.643 152.114 lineto 234.229 152.297 lineto 233.43 152.667 lineto 232.213 153.257 lineto 231.716 153.513 lineto 231 153.89 lineto 229.786 154.566 lineto 229.512 154.727 lineto 228.572 155.29 lineto 227.549 155.941 lineto 227.358 156.067 lineto 226.142 156.896 lineto 225.782 157.155 lineto 224.928 157.788 lineto 224.179 158.369 lineto 223.714 158.743 lineto 222.711 159.585 lineto 222.5 159.769 lineto 221.362 160.799 lineto 221.286 160.869 lineto 220.115 162.013 lineto 220.073 162.055 lineto 218.954 163.227 lineto 218.856 163.334 lineto 217.874 164.44 lineto 217.643 164.712 lineto 216.864 165.656 lineto 216.429 166.202 lineto stroke newpath 216.429 166.202 moveto 215.914 166.87 lineto 215.215 167.813 lineto 215.019 168.084 lineto 214.175 169.298 lineto 214.001 169.559 lineto 213.378 170.512 lineto 212.785 171.457 lineto 212.622 171.726 lineto 211.903 172.942 lineto 211.571 173.525 lineto 211.222 174.156 lineto 210.571 175.37 lineto 210.357 175.782 lineto 209.95 176.583 lineto 209.357 177.797 lineto 209.143 178.25 lineto 208.789 179.013 lineto 208.246 180.227 lineto 207.93 180.961 lineto 207.726 181.441 lineto 207.226 182.655 lineto 206.743 183.869 lineto 206.713 183.947 lineto 206.281 185.083 lineto 205.836 186.299 lineto 205.5 187.249 lineto 205.409 187.513 lineto 204.994 188.727 lineto 204.595 189.94 lineto 204.286 190.913 lineto 204.21 191.154 lineto 203.838 192.37 lineto 203.477 193.584 lineto 203.13 194.798 lineto 203.072 194.999 lineto 202.79 196.012 lineto 202.464 197.226 lineto 202.147 198.442 lineto 201.858 199.58 lineto 201.838 199.656 lineto 201.542 200.87 lineto 201.25 202.083 lineto 200.969 203.297 lineto 200.695 204.511 lineto 200.644 204.745 lineto 200.428 205.727 lineto 200.169 206.941 lineto 199.918 208.155 lineto 199.672 209.369 lineto 199.433 210.583 lineto stroke newpath 199.433 210.582 moveto 199.428 210.608 lineto 199.202 211.799 lineto 198.973 213.013 lineto 198.752 214.226 lineto 198.536 215.44 lineto 198.325 216.654 lineto 198.214 217.307 lineto 198.121 217.868 lineto 197.92 219.084 lineto 197.724 220.298 lineto 197.533 221.512 lineto 197.345 222.726 lineto 197.161 223.939 lineto 197 225.035 lineto 196.983 225.156 lineto 196.807 226.37 lineto 196.636 227.583 lineto 196.47 228.797 lineto 196.304 230.011 lineto 196.146 231.227 lineto 195.988 232.441 lineto 195.834 233.655 lineto 195.787 234.034 lineto 195.684 234.869 lineto 195.535 236.083 lineto 195.389 237.296 lineto 195.249 238.513 lineto 195.108 239.726 lineto 194.972 240.94 lineto 194.839 242.154 lineto 194.706 243.368 lineto 194.578 244.584 lineto 194.573 244.637 lineto 194.449 245.798 lineto 194.326 247.012 lineto 194.203 248.226 lineto 194.085 249.439 lineto 193.967 250.653 lineto 193.852 251.869 lineto 193.738 253.083 lineto 193.625 254.297 lineto 193.515 255.511 lineto 193.407 256.725 lineto 193.356 257.298 lineto 193.301 257.941 lineto 193.198 259.155 lineto 193.095 260.369 lineto 192.995 261.583 lineto 192.894 262.796 lineto 192.796 264.013 lineto stroke newpath 192.796 264.012 moveto 192.7 265.226 lineto 192.605 266.44 lineto 192.512 267.654 lineto 192.422 268.868 lineto 192.331 270.082 lineto 192.243 271.298 lineto 192.155 272.512 lineto 192.143 272.667 lineto 192.067 273.726 lineto 191.984 274.939 lineto 191.899 276.153 lineto 191.818 277.369 lineto 191.735 278.583 lineto 191.655 279.797 lineto stroke 177.53061 270.225 moveto (\() cmr10 9.96265 fshow 181.40501 270.225 moveto (b) cmmi10 9.96265 fshow 185.6806 270.225 moveto (\)) cmr10 9.96265 fshow newpath 366.999 138.435 moveto 365.785 138.169 lineto 364.571 137.902 lineto 363.769 137.727 lineto 363.354 137.636 lineto 362.141 137.37 lineto 360.927 137.103 lineto 359.713 136.837 lineto 358.499 136.571 lineto 358.238 136.513 lineto 357.283 136.304 lineto 356.069 136.038 lineto 354.855 135.771 lineto 353.642 135.505 lineto 352.702 135.299 lineto 352.428 135.239 lineto 351.214 134.972 lineto 349.998 134.706 lineto 348.784 134.439 lineto 347.57 134.173 lineto 347.16 134.085 lineto 346.356 133.909 lineto 345.143 133.643 lineto 343.926 133.376 lineto 342.712 133.11 lineto 341.617 132.871 lineto 341.499 132.844 lineto 340.285 132.577 lineto 339.071 132.313 lineto 337.854 132.047 lineto 336.641 131.781 lineto 336.068 131.655 lineto 335.427 131.517 lineto 334.213 131.25 lineto 332.999 130.984 lineto 331.786 130.72 lineto 330.569 130.454 lineto 330.514 130.441 lineto 329.355 130.187 lineto 328.142 129.923 lineto 326.928 129.657 lineto 325.714 129.393 lineto 324.958 129.227 lineto 324.498 129.127 lineto 323.284 128.863 lineto 322.07 128.597 lineto 320.856 128.333 lineto 319.643 128.066 lineto 319.394 128.013 lineto 318.429 127.802 lineto stroke newpath 318.429 127.802 moveto 317.212 127.539 lineto 315.999 127.272 lineto 314.785 127.008 lineto 313.825 126.8 lineto 313.571 126.744 lineto 312.357 126.478 lineto 311.141 126.214 lineto 309.927 125.95 lineto 308.713 125.687 lineto 308.251 125.583 lineto 307.499 125.42 lineto 306.286 125.156 lineto 305.069 124.892 lineto 303.855 124.628 lineto 302.669 124.37 lineto 302.642 124.365 lineto 301.428 124.101 lineto 300.214 123.837 lineto 299 123.573 lineto 297.784 123.309 lineto 297.08 123.156 lineto 296.57 123.045 lineto 295.356 122.781 lineto 294.143 122.518 lineto 292.929 122.256 lineto 291.712 121.992 lineto 291.484 121.942 lineto 290.499 121.728 lineto 289.285 121.465 lineto 288.071 121.203 lineto 286.857 120.939 lineto 285.877 120.728 lineto 285.643 120.675 lineto 284.427 120.414 lineto 283.213 120.15 lineto 282 119.889 lineto 280.786 119.625 lineto 280.263 119.512 lineto 279.572 119.364 lineto 278.355 119.102 lineto 277.142 118.838 lineto 275.928 118.577 lineto 274.714 118.316 lineto 274.636 118.298 lineto 273.5 118.054 lineto 272.284 117.793 lineto 271.07 117.531 lineto 269.856 117.27 lineto 268.999 117.084 lineto 268.643 117.009 lineto stroke newpath 268.643 117.009 moveto 267.429 116.748 lineto 266.215 116.486 lineto 264.999 116.225 lineto 263.785 115.963 lineto 263.347 115.87 lineto 262.571 115.705 lineto 261.357 115.443 lineto 260.143 115.184 lineto 258.927 114.923 lineto 257.713 114.664 lineto 257.681 114.657 lineto 256.5 114.403 lineto 255.286 114.144 lineto 254.072 113.885 lineto 252.858 113.626 lineto 251.996 113.443 lineto 251.642 113.367 lineto 250.428 113.109 lineto 249.214 112.85 lineto 248 112.591 lineto 246.786 112.332 lineto 246.289 112.227 lineto 245.57 112.076 lineto 244.356 111.817 lineto 243.143 111.561 lineto 241.929 111.302 lineto 240.715 111.045 lineto 240.559 111.013 lineto 239.499 110.789 lineto 238.285 110.533 lineto 237.071 110.276 lineto 235.857 110.02 lineto 234.799 109.799 lineto 234.643 109.766 lineto 233.43 109.51 lineto 232.213 109.256 lineto 231 109.002 lineto 229.786 108.749 lineto 229.004 108.585 lineto 228.572 108.495 lineto 227.358 108.241 lineto 226.142 107.987 lineto 224.928 107.736 lineto 223.714 107.484 lineto 223.166 107.371 lineto 222.5 107.233 lineto 221.286 106.982 lineto 220.073 106.73 lineto 218.856 106.482 lineto 217.643 106.233 lineto stroke newpath 217.643 106.233 moveto 217.273 106.155 lineto 216.429 105.984 lineto 215.215 105.735 lineto 214.001 105.489 lineto 212.785 105.243 lineto 211.571 104.996 lineto 211.305 104.941 lineto 210.357 104.75 lineto 209.143 104.506 lineto 207.93 104.263 lineto 206.713 104.021 lineto 205.5 103.78 lineto 205.241 103.727 lineto 204.286 103.539 lineto 203.072 103.3 lineto 201.858 103.062 lineto 200.644 102.825 lineto 199.428 102.589 lineto 199.036 102.514 lineto 198.214 102.355 lineto 197 102.124 lineto 195.787 101.893 lineto 194.573 101.664 lineto 193.356 101.436 lineto 192.617 101.3 lineto 192.143 101.212 lineto 190.929 100.988 lineto 189.715 100.77 lineto 188.501 100.551 lineto 187.287 100.337 lineto 186.071 100.126 lineto 185.835 100.086 lineto 184.857 99.9175 lineto 183.643 99.7141 lineto 182.43 99.5154 lineto 181.216 99.3196 lineto 180 99.1311 lineto 178.786 98.9451 lineto 178.276 98.8696 lineto 177.572 98.769 lineto 176.358 98.5981 lineto 175.144 98.4373 lineto 173.928 98.2866 lineto 172.714 98.1433 lineto 171.5 98.0151 lineto 170.287 97.9021 lineto 169.073 97.8042 lineto 167.859 97.7288 lineto 166.643 97.6733 lineto 165.941 97.6558 lineto stroke newpath 165.941 97.6555 moveto 165.429 97.6509 lineto 164.381 97.6558 lineto 164.215 97.6609 lineto 163.001 97.7136 lineto 161.787 97.8218 lineto 160.571 97.9976 lineto 159.357 98.2639 lineto 158.144 98.6536 lineto 157.616 98.8696 lineto 156.93 99.209 lineto 155.716 100.01 lineto 155.623 100.086 lineto 154.502 101.182 lineto 154.402 101.3 lineto 153.545 102.514 lineto 153.286 102.958 lineto 152.896 103.727 lineto 152.384 104.941 lineto 152.072 105.826 lineto 151.966 106.155 lineto 151.62 107.371 lineto 151.325 108.585 lineto 151.072 109.799 lineto 150.858 110.972 lineto 150.851 111.013 lineto 150.657 112.227 lineto 150.486 113.443 lineto 150.333 114.657 lineto 150.195 115.87 lineto 150.069 117.084 lineto 149.956 118.298 lineto 149.853 119.512 lineto 149.757 120.728 lineto 149.669 121.942 lineto 149.644 122.332 lineto 149.546 123.156 lineto 149.421 124.37 lineto 149.315 125.583 lineto 149.225 126.8 lineto 149.149 128.013 lineto 149.081 129.227 lineto 149.024 130.441 lineto 148.973 131.655 lineto 148.928 132.871 lineto 148.888 134.085 lineto 148.85 135.299 lineto 148.817 136.513 lineto 148.787 137.727 lineto 148.757 138.94 lineto 148.732 140.157 lineto stroke 0.5 0 dtransform exch truncate exch idtransform pop setlinewidth newpath 148.732 140.157 moveto 148.707 141.37 lineto 148.684 142.584 lineto 148.664 143.798 lineto 148.644 145.012 lineto 148.624 146.228 lineto 148.606 147.442 lineto 148.591 148.656 lineto 148.574 149.87 lineto 148.559 151.083 lineto 148.546 152.297 lineto 148.531 153.513 lineto 148.519 154.727 lineto 148.506 155.941 lineto 148.496 157.155 lineto 148.483 158.369 lineto 148.473 159.585 lineto 148.463 160.799 lineto 148.453 162.013 lineto 148.443 163.227 lineto 148.436 164.44 lineto 148.43 165.149 lineto 148.428 165.656 lineto 148.423 166.87 lineto 148.418 168.084 lineto 148.413 169.298 lineto 148.408 170.512 lineto 148.403 171.726 lineto 148.4 172.942 lineto 148.395 174.156 lineto 148.39 175.37 lineto 148.388 176.583 lineto 148.383 177.797 lineto 148.38 179.013 lineto 148.375 180.227 lineto 148.373 181.441 lineto 148.37 182.655 lineto 148.365 183.869 lineto 148.363 185.083 lineto 148.36 186.299 lineto 148.355 187.513 lineto 148.353 188.727 lineto 148.35 189.94 lineto 148.348 191.154 lineto 148.345 192.37 lineto 148.343 193.584 lineto 148.34 194.798 lineto 148.337 196.012 lineto 148.335 197.226 lineto 148.333 198.442 lineto 148.33 199.656 lineto stroke newpath 148.33 199.656 moveto 148.327 200.87 lineto 148.325 202.083 lineto 148.323 203.297 lineto 148.32 204.511 lineto 148.317 205.727 lineto 148.315 206.941 lineto 148.312 208.155 lineto 148.31 209.369 lineto 148.307 210.583 lineto 148.307 211.799 lineto 148.305 213.013 lineto 148.302 214.226 lineto 148.3 215.44 lineto 148.3 216.654 lineto 148.297 217.868 lineto 148.295 219.084 lineto 148.292 220.298 lineto 148.292 221.512 lineto 148.29 222.726 lineto 148.287 223.939 lineto 148.287 225.156 lineto 148.285 226.37 lineto 148.282 227.583 lineto 148.282 228.797 lineto 148.28 230.011 lineto 148.28 231.227 lineto 148.277 232.441 lineto 148.275 233.655 lineto 148.275 234.869 lineto 148.272 236.083 lineto 148.272 237.296 lineto 148.27 238.513 lineto 148.27 239.726 lineto 148.267 240.94 lineto 148.267 242.154 lineto 148.265 243.368 lineto 148.265 244.584 lineto 148.262 245.798 lineto 148.262 247.012 lineto 148.26 248.226 lineto 148.26 249.439 lineto 148.257 250.653 lineto 148.257 251.869 lineto 148.255 253.083 lineto 148.255 254.297 lineto 148.252 255.511 lineto 148.252 256.725 lineto 148.252 257.941 lineto 148.25 259.155 lineto 148.25 260.369 lineto stroke newpath 148.25 260.368 moveto 148.247 261.583 lineto 148.247 262.796 lineto 148.245 264.013 lineto 148.245 265.226 lineto 148.245 266.44 lineto 148.242 267.654 lineto 148.242 268.868 lineto 148.242 270.082 lineto 148.24 271.298 lineto 148.24 272.512 lineto 148.237 273.726 lineto 148.237 274.939 lineto 148.237 276.153 lineto 148.234 277.369 lineto 148.234 278.583 lineto 148.234 279.797 lineto stroke 133.11911 270.225 moveto (\() cmr10 9.96265 fshow 136.99352 270.225 moveto (a) cmmi10 9.96265 fshow 142.25961 270.225 moveto (\)) cmr10 9.96265 fshow 0 0.5 dtransform truncate idtransform setlinewidth pop [3 3 ] 0 setdash newpath 120.526 104.95 moveto 371.831 104.95 lineto stroke 0.5 0 dtransform exch truncate exch idtransform pop setlinewidth [0 5 ] 2.5 setdash newpath 152.384 104.941 moveto 152.384 33.3242 lineto stroke newpath 211.571 104.996 moveto 211.57 33.3242 lineto stroke 154.484 26.93471 moveto (\026) cmmi10 9.96265 fshow 160.487 25.4403 moveto (min) cmmi7 6.97385 fshow 0 3 dtransform truncate idtransform setlinewidth pop [] 0 setdash newpath 152.384 33.3242 moveto 0 0 rlineto stroke 200.36505 26.0347 moveto (\026) cmmi10 9.96265 fshow 206.36806 24.5403 moveto (max) cmmi7 6.97385 fshow newpath 211.57 33.3242 moveto 0 0 rlineto stroke 177.89479 137.05495 moveto (\032) cmmi10 9.96265 fshow 183.0456 140.67035 moveto (\001) cmr7 6.97385 fshow 183.0456 134.58215 moveto (0) cmr7 6.97385 fshow 190.08868 137.05495 moveto (\() cmr10 9.96265 fshow 193.96309 137.05495 moveto (\026) cmmi10 9.96265 fshow 199.96599 137.05495 moveto (\)) cmr10 9.96265 fshow 206.6077 137.05495 moveto (>) cmmi10 9.96265 fshow 217.1238 137.05495 moveto (0) cmr10 9.96265 fshow 0 0.5 dtransform truncate idtransform setlinewidth pop newpath 174.89479 131.56424 moveto 225.10521 131.56424 lineto 225.10521 148.43576 lineto 174.89479 148.43576 lineto closepath stroke showpage %%EOF ---------------0205230643321--