1: %% This document created by Scientific Word (R) Version 2.0

2: 

3: \documentclass[revsymb,aps,prb,10pt]{revtex4}

4: %%%%%%%%%%%%%%%%%%%%%%%%%%%%

5: %TCIDATA{TCIstyle=Article/art2.lat,aps,revtex}

6: 

7: \begin{document}

8: \title{Symmetry adapted finite-cluster solver for quantum Heisenberg model in

9: two-dimensions: a real-space renormalization approach}

10: \author{V.E. Sinitsyn, I.G. Bostrem, A.S. Ovchinnikov}

11: \address{Department of Physics, Ural State University, 620083, Ekaterinburg, Russia}

12: \date{\today }

13: 

14: \begin{abstract}

15: We present a quantum cluster solver for spin-$S$ Heisenberg model on a

16: two-dimensional lattice. The formalism is based on the real-space

17: renormalization procedure and uses the lattice point group-theoretical

18: analysis and nonabelian $SU(2)$ spin symmetry technique. The exact

19: diagonalization procedure is used twice at each renormalization group step.

20: The method is applied to the spin-half antiferromagnet on a square lattice

21: and a calculation of local observables is demonstrated. A symmetry based

22: truncation procedure is suggested and verified numerically.

23: \end{abstract}

24: \maketitle

25: 

26: \section{Introduction}

27: 

28: Low-dimensional magnetic systems are currently a subject of intensive

29: experimental and theoretical work. Cluster methods, which approximate the

30: physics of the infinite system by solving the problem for a corresponding

31: finite cluster, are the most frequently used theoretical approaches, as they

32: account short-range correlations on the scale of the cluster size. Numerical

33: standard methods in the field, such as quantum Monte Carlo (QMC), exact

34: diagonalization (ED) \cite{Dagotto}, and density matrix renormalization

35: group (DMRG) \cite{White,Peschel}, are able to give essentially exact

36: results on limited size systems and form a versatile methodological triad in

37: simulations of model Hamiltonians.

38: 

39: Even though these techniques have had spectacular successes in calculating

40: ground state energies and many other properties of one-dimensional (1D) and

41: two-dimensional (2D) quantum spin systems \cite

42: {Schollwock,Xiang,Farnell,Sandvik} there is a problem with an utilizing of

43: symmetries and good quantum numbers of the Hamiltonian, which may be

44: exploited to thin out Hilbert space by decomposing it into a sum of sectors.

45: Common symmetries and conservation laws encountered in spin systems are: (i)

46: Ising or XY symmetry (magnetization conservation $S_{tot}^z$=const); (ii)

47: point group symmetry (parity, angular momentum conserved); (iii) full $SU(2)$

48: symmetry ($S_{tot}^2$ conserved). Among these symmetries only the first is

49: usually exploited in numerical calculations. The full $SU(2)$ spin symmetry

50: is rather hard to implement, since it requires efforts similar to  the

51: diagonalization of the actual Hamiltonian to construct the eigenstates of $%

52: S_{tot}^2$. An implementation of nonabelian $SU(2)$ spin symmetry based on

53: Clebsch-Gordan transformations and elimination of quantum numbers via the

54: Wigner-Eckart theorem was performed for the interaction round a face (IRF)

55: models in the framework of the IRF-DMRG method \cite{Nishino}. This

56: technique has been successfully applied to the spin-$1/2$ Heisenberg chain

57: and, later, to the spin 1 and 2 Heisenberg chains \cite{Wada}. The

58: performant DMRG method conserving a total spin quantum number has been

59: suggested by McCulloch and Gulasci \cite{McCulloch,Gulasci}. An application

60: of $SU(2)$ symmetries for the matrix product method (MPM) closely related to

61: the DMRG \cite{Ostlund,Dukelsky}\ gives a rotationally invariant formulation

62: valid for spin chains and ladders \cite{Dukelsky,Roman}.

63: 

64: As for the lattice point symmetry, despite its importance in characteristing

65: energy states of a spin system, there appears to have been little previous

66: work on the subject. Even though an implementing this symmetry does not lead

67: to a drastic reduction of a dimension of the Hilbert space sector to be

68: diagonalized we can resolve properties as a function of additional quantum

69: numbers (irreducible representations of the point group). This circumstance

70: might be crucial for efficient truncation of Hilbert space in algorithms

71: based on real-space renormalization group (RSRG) procedure. This generates a

72: motivation for the present paper, namely, we present a finite cluster solver

73: based on RSRG scheme which allows to exploit both the continuous nonabelian $%

74: SU(2)$ symmetry and discrete symmetry of the lattice point group in

75: application to isotropic two-dimensional {\it spin-}$S$ systems. As an

76: example illustrating features of our method we consider the spin-1/2

77: Heisenberg antiferromagnet (AFH) on a square lattice. This choice is

78: motivated by two reasons. First, the physical properties of the $S=1/2$ AFH

79: model on the infinite square lattice at $T=0$ have been much studied and

80: calculated by various methods by many physicists \cite{Manousakis,Barnes}.

81: The focus has generally been on the ground state energy and staggered

82: magnetization although some other quantities have also been computed (see

83: Ref. \cite{Lin}, for example). Second, the underlying idea of our approach

84: was first developed by Lin and Campbell in the study of this model system 

85: \cite{Campbell,Cheng}. Before moving on to the details, we discuss important

86: aspects of finite-lattice simulations using the ED method regarding the

87: cluster geometry.

88: 

89: The method of exact diagonalization has been used on the best bipartite

90: finite square lattices with up to $N=38$ vertices \cite{Masui,Betts}. On

91: each of a set of finite lattices, the Hamiltonian of the quantum spin model

92: is diagonalized exactly to find the ground-state energy and the ground state

93: eigenvector. The ground state properties can then be calculated exactly. The

94: exact ground-state data for each physical property of the model on all

95: finite lattices are extrapolated against an appropriate inverse power of $N$

96: to obtain an estimate of the property on the infinite lattice at zero

97: temperature \cite{Hasenfratz}. Haan et al. \cite{Haan} showed that certain

98: parallelogram clusters could produce good results in finite-size exact

99: diagonalization calculations. Later, Betts et al. developed a grading scheme

100: of parallelogram tiles of the square lattice that could generate the best

101: finite clusters \cite{Betts}. From a symmetry point of view, this approach

102: has an apparent flaw: the point symmetry of a parallelogram cluster does not

103: match that of the infinte square lattice.

104: 

105: In this respect, a renormalization-group (RG) approach suggested by Lin and

106: Campbell combining exact diagonalization results with a RG type analysis

107: seems us to be more promising. The basics idea of their calculations for $2D$

108: AFH on an $n\times n$ cluster ($n$ is an odd integer) is to divide this

109: cluster into two parts: an inner $\left( n-2\right) \times \left( n-2\right) 

110: $ cluster and the perimeter (''outer ring''). The AFH model is firstly

111: solved for the inner cluster and its ground state is mapped onto a single

112: effective spin (all the excited states are thrown away). Thus, the problem

113: is reduced to an effective $1D$ AFH model in which spins on the outer ring

114: experience antiferromagnetic nearest-neighbor interactions and interact

115: individually with the effective central spin. The latter plays the role of a

116: staggered external magnetic field. The procedure is repeated for increasing

117: values of $n$ and demonstrates convincingly that the staggered magnetic

118: long-range order exists at zero temperature. We note especially that the

119: lattice point symmetry holds for all the clusters and their ground state

120: always has spin $S=1/2$ (not a singlet) according to the Lieb-Mattis theorem 

121: \cite{Mattis}.

122: 

123: We offer to change real-space RG strategy of the approach making it closer

124: to DMRG\ methodology. Our treatment begins by dividing a cluster into a

125: central spin and its environment. In the course of real-space RG iterations

126: the environment increases (technical details are discussed in the text) and

127: we determine how coupling between the central spin and the environment

128: varies. Note especially that we address to the exact diagonalization

129: procedure twice at each RG step. The first use gives access to states of the

130: environment and the second one does to those of the whole cluster that

131: provides its spectrum and observables of interest. Within our RG framework,

132: local results such as the energy per bond $\varepsilon $ and the staggered

133: magnetic moment $m$ are measured on the central site.

134: 

135: We have carried out the renormalization procedure through systems of size $%

136: \sqrt{17}\times \sqrt{17}$, and, in contrast to approach in Ref. \cite

137: {Campbell}, we keep {\it not only} the ground state. For small clusters ($%

138: \sqrt{5}\times \sqrt{5}$, $3\times 3$, $\sqrt{13}\times \sqrt{13}$) we use

139: all of the excited states of the environment found by exact diagonalization,

140: whereas for the cluster of size $\sqrt{17}\times \sqrt{17}$ we apply a

141: symmetry based truncation procedure, retaining only the states with largest

142: weight in the environment density matrix. For this cluster we have compared

143: the exact diagonalization result for $\varepsilon $ and $m$ with those

144: obtained via our renormalization group, and we regard the resulting better

145: than $10^{-2}$ $\%$\ agreement as support for the reliability of our

146: calculations.

147: 

148: We note that several other methods to improve the RSRG calculations have

149: been previously formulated to study low-energy properties of spin lattice

150: models. Among the most important and successful ones, one may cite the Real

151: Space Renormalization Group with Effective Interactions (RSRG-EI) \cite

152: {Malrieu}, and the Dressed Cluster Method (DCM) \cite{Wind,Hajj}. The first

153: method is an improvement of the RSRG method originally proposed by Wilson.

154: By considering the blocks of lattice it extracts effective interactions

155: between the blocks through the exact diagonalization of dimers of blocks.

156: The knowledge of the exact spectrum of the dimers enable one to define

157: interblock effective interactions via an effective Hamiltonian. This

158: procedure is iteratevely repeated to blocks of blocks providing at very low

159: cost reasonable estimate of the energy per bond for 1D and 2D spin lattices.

160: The second method (DCM) uses a single reference wave function as do the

161: Coupled Cluster Method (CCM) \cite{Bishop,Hale}. This wave function is used

162: as a\ bath in which a finite cluster is embedded and treated exactly. The

163: effect of excitations occuring on the bonds around the cluster is taken into

164: account through a dressing of the cluster configuration interaction (CI)

165: matrix. This approach gives results for the cohesive energy of the same

166: accuracy as the best QMC ones. The DCM can be seen as a convenient

167: approximation of the CCM. However, the problem is formulated as a

168: diagonalization of a dressed CI matrix instead of the resolution of a

169: nonlinear system of equations.

170: 

171: The paper is organized as follows: The general formalism for two-dimensional

172: spin-$S$ systems is introduced in the following section. In Sec. III\ we

173: apply the method to the AFH model on a square lattice. Finally, our

174: conclusions and an outlook are presented in Sec. IV.

175: 

176: \section{Two-dimensional isotropic Heisenberg spin-$s$ system.}

177: 

178: \subsection{Cluster states and observables}

179: 

180: In the first step one must identify the cluster. As detailed above, care

181: should be taken to ensure that the cluster has the same point-group symmetry

182: as the lattice. Since calculation of antiferromagnetism requires bipartite

183: clusters, we select a cluster with a bipartite environment of the central

184: site (the case of this violation will be illustrated in the example of the

185: cluster $\sqrt{13}\times \sqrt{13}$).

186: 

187: The cluster Hamiltonian

188: 

189: \begin{equation}

190: \hat{H}=J\sum\limits_{n\vec{\delta}}\vec{S}_n\vec{S}_{n+\vec{\delta}}=\hat{H}%

191: _u+\hat{V}  \label{Hful}

192: \end{equation}

193: is composed of the term $\hat{V}=J\vec{S}_0\sum\limits_{\vec{\delta}}\vec{S}%

194: _{0+\vec{\delta}}$ describing interactions of the central spin $\vec{S}_0$

195: with the nearest neighbors at distances $\vec{\delta}$ and rest terms

196: denoted as the Hamiltonian of the ''environment'' $\hat{H}_u$. Since, by

197: construction, the cluster retains a lattice point symmetry, its states $%

198: \left| iSM\Gamma \mu \right\rangle $ with the energies $E_{iS\Gamma }$ are

199: labeled by the cluster total spin $S$ with the third component $M$ and by

200: the irreducible representation $\Gamma \mu $ of the cluster point group.

201: Different states with the same values $SM$ and $\Gamma \mu $ are

202: distinguished by the index $i$. In addition we need to consider the operator 

203: $O_{q1}^{1A_1}=\sum\limits_{\vec{\delta}}\left( S_{0+\vec{\delta}}\right)

204: _q^1$ as a double irreducible tensor which transforms according to identity

205: representation $A_1$. The same arguments enable us to use the irreducible

206: form of the central spin operator $\left( S_0\right) _q^1\equiv \left(

207: S_0\right) _{q1}^{1A_1}$. The part $\hat{V}$ may be written as the inner

208: product 

209: \[

210: \hat{V}=J\sum\limits_q(-1)^q\left[ 

211: \begin{array}{ccc}

212: A_1 & A_1 & A_1 \\ 

213: 1 & 1 & 1

214: \end{array}

215: \right] \left( S_0\right) _{q1}^{1A_1}O_{-q1}^{1A_1}\equiv \left[ \left(

216: S_0\right) ^{1A_1}\times O^{1A_1}\right] _{01}^{0A_1}, 

217: \]

218: where $\left[ 

219: \begin{array}{ccc}

220: A_1 & A_1 & A_1 \\ 

221: 1 & 1 & 1

222: \end{array}

223: \right] =1$ is the Clebsch-Gordan coefficient of the cluster point group 

224: \cite{Koster}.

225: 

226: Let us suppose that we have found the eigenvalues $E_{i_uS_u\Gamma _u}$ and

227: the eigenstates of the environment Hamiltonian $\hat{H}_u$ in the form $%

228: \left| i_uS_uM_u\Gamma _u\mu _u\right\rangle $. The basis functions of the

229: full cluster are obtained by the addition rule of spin angular momentum

230: 

231: \begin{equation}

232: \left| i_uS_u\Gamma _u;s;SM\Gamma _u\mu _u\right\rangle =\sum\limits_{\mu

233: _u,\sigma }\left[ 

234: \begin{array}{ccc}

235: S_u & s & S \\ 

236: M_u & \sigma & M

237: \end{array}

238: \right] \left| i_uS_uM_u\Gamma _u\mu _u\right\rangle \left| s\sigma

239: \right\rangle ,  \label{EigenWF}

240: \end{equation}

241: where $[\ldots ]$ is a Clebsch-Gordan coefficient, hereinafter we use that

242: of given in Ref. \cite{Varshalovich}, and $\left| s\sigma \right\rangle $ is

243: the wave function of the central spin. Since the state $\left| s\sigma

244: \right\rangle $ is invariant under all transformations of the point symmetry

245: group, the cluster basis functions transform like that of the environment

246: according to the same irreducible representations.

247: 

248: The calculation of matrix elements for the Hamiltonian (\ref{Hful}) with the

249: help of the Wigner-Ekart's theorem yields (see Appendix A) 

250: \[

251: \left\langle i_uS_u\Gamma _u;s;SM\Gamma _u\mu _u\left| \hat{H}\right|

252: i_u^{\prime }S_u^{\prime }\Gamma _u^{\prime };s;S^{\prime }M^{\prime }\Gamma

253: _u^{\prime }\mu _u^{\prime }\right\rangle = 

254: \]

255: \[

256: =E_{i_uS_u\Gamma _u}\delta _{i_u,i_u^{\prime }}\delta _{S_u,S_u^{\prime

257: }}\delta _{\Gamma _u,\Gamma _u^{\prime }}\delta _{\mu _u,\mu _u^{\prime

258: }}\delta _{S,S^{\prime }}\delta _{M,M^{\prime }}+J(-1)^{S_u^{\prime

259: }+S+1/2}\left\{ 

260: \begin{array}{ccc}

261: S_u & s & S \\ 

262: s & S_u^{\prime } & 1

263: \end{array}

264: \right\} \delta _{S,S^{\prime }}\delta _{M,M^{\prime }} 

265: \]

266: \begin{equation}

267: \times \left\langle s\left\| s\right\| s\right\rangle \left\langle

268: i_uS_u\Gamma _u\left\| O^{1A_1}\right\| i_u^{\prime }S_u^{\prime }\Gamma

269: _u^{\prime }\right\rangle \delta _{\Gamma _u,\Gamma _u^{\prime }}\delta

270: _{\mu _u,\mu _u^{\prime }},  \label{HfulME}

271: \end{equation}

272: where $\left\{ ...\right\} $ is a $6j$-symbol. The first reduced matrix

273: element is $\left\langle s\left\| s\right\| s\right\rangle =\sqrt{%

274: s(s+1)(2s+1)}$ and the latter may be obtained if the environment eigenstates

275: are known (see Sec.III). The energy per bond is then calculated as

276: 

277: \begin{equation}

278: \varepsilon _{iS\Gamma _u}=\frac 1z\left( E_{iS\Gamma

279: _u}-\sum\limits_{i_uS_u}E_{i_uS_u\Gamma _u}\left| \beta _{i_uS_u\Gamma

280: _u}^{iS\Gamma _u}\right| ^2\right) =\frac 1z\left( E_{iS\Gamma

281: _u}-\left\langle E_{iS\Gamma _u}^{(env)}\right\rangle \right) ,  \label{ETL2}

282: \end{equation}

283: where $z$ is the number of nearest-neighbors of the central spin. The

284: eigenfunctions 

285: \begin{equation}

286: \left| iSM\Gamma \mu \right\rangle =\sum_{i_uS_u}\beta _{i_uS_u\Gamma

287: _u}^{iS\Gamma }\left| i_uS_u\Gamma ;s;SM\Gamma \mu \right\rangle ,\;(\Gamma

288: \mu =\Gamma _u\mu _u)  \label{EigenWF1}

289: \end{equation}

290: and the energy levels $E_{iS\Gamma }$ are determined by direct

291: diagonalization of the cluster Hamiltonian $H$ [Eq.(\ref{HfulME})]. The

292: values $\varepsilon _{iS\Gamma }$ should be regarded as an approximation of

293: the energy spectrum in the thermodynamical limit, whereas the energy $%

294: E_{iS\Gamma }$ divided per bond number is much less appropriate for this.

295: 

296: It is important to note that from Eq.(\ref{HfulME}) it follows that to build

297: the cluster target state $\left| iSM\Gamma \mu \right\rangle $ we need only

298: to know the states $\left| i_uS_uM_u\Gamma _u\mu _u\right\rangle $ of the

299: environment with the quantum numbers $\left| S-s\right| \leq S_u\leq S+s$

300: and $\Gamma _u\mu _u=\Gamma \mu $.

301: 

302: The most important quantity typically measured in numerical simulations is

303: the ground-state staggered magnetization $M_c$. The quantum mechanical

304: observable for $z$-projection of the central spin is given as follows

305: 

306: \begin{equation}

307: \left\langle iSM\Gamma \mu \left| S_0^z\right| iSM\Gamma \mu \right\rangle

308: =\left( -1\right) ^{1+S+s}M\sqrt{\frac{2S+1}{S(S+1)}}\left\langle s\left\|

309: S\right\| s\right\rangle \sum_{i_uS_u}\left( -1\right) ^{S_u}\left| \beta

310: _{i_uS_u\Gamma _u}^{iS\Gamma }\right| ^2\left\{ 

311: \begin{array}{ccc}

312: S & 1 & S \\ 

313: s & S_u & s

314: \end{array}

315: \right\} ,  \label{Sz}

316: \end{equation}

317: where the identity (\ref{three3j}) is used. The staggered magnetization $M_c$

318: is determined as 

319: \[

320: M_c^2=\lim_{\left| \vec{R}\right| \rightarrow \infty }3\left| \left\langle

321: S^z(\vec{R})S^z(0)\right\rangle \right| , 

322: \]

323: where factor 3 arises from rotational symmetry in spin space. At long

324: distances $\left| \left\langle S^z(\vec{R})S^z(0)\right\rangle \right|

325: \approx \left\langle S^z(0)\right\rangle ^2$ that yields our estimate of the

326: full root-mean-square staggered magnetization per spin $M_c=\sqrt{%

327: 3\left\langle S_0^z\right\rangle ^2}$.

328: 

329: According to Eq.(\ref{Vint}), spin-correlation function in the states of $%

330: A_1 $-symmetry, the ground state symmetry as shown below, is determined as 

331: \[

332: \left\langle iSMA_1\left| S_0^zS_j^z\right| iSMA_1\right\rangle =\frac 13%

333: \left\langle iSMA_1\left| \vec{S}_0\vec{S}_j\right| iSMA_1\right\rangle 

334: \]

335: \begin{equation}

336: =\frac 1{3z_f}\sum_{i_uS_u}\sum_{i_u^{\prime }S_u^{\prime }}\beta

337: _{i_uS_uA_1}^{iSA_1}\beta _{i_u^{\prime }S_u^{\prime

338: }A_1}^{iSA_1}\left\langle s\left\| S\right\| s\right\rangle \left\langle

339: i_uS_u\left\| S^{1A}\left( r_j\right) \right\| i_u^{\prime }S_u^{\prime

340: }\right\rangle \left( -1\right) ^{s+S+S_u^{\prime }}\left\{ 

341: \begin{array}{ccc}

342: S_u & s & S \\ 

343: s & S_u^{\prime } & 1

344: \end{array}

345: \right\} ,  \label{spincor}

346: \end{equation}

347: where $z_f$ is the lattice coordination number. In this calculation it is

348: convenient to introduce the double irreducible tensor $S_{q1}^{1A}\left(

349: r_j\right) =\sum\nolimits_j\left( S_j\right) _q^1$ summing spins at distance 

350: $r_j$, which transforms according to identity representation $A_1$. One can

351: see that $O_{q1}^{1A_1}=S_{q1}^{1A}\left( \delta \right) .$

352: 

353: \subsection{Increasing cluster size}

354: 

355: As mentioned above, the lattice point-group symmetry should be conserved

356: with increasing cluster size. The requirement is put into a practical

357: computational scheme by the following algorithm: (i) At step $N$ we have the

358: eigenvalues $E_{i_uS_u\Gamma _u}^{(N)}$ and eigenvectors $\left|

359: i_uS_um_u\Gamma _u\mu _u\right\rangle _{(N)}$ of the environment. Make a

360: regular symmetry conserving expansion in the cluster size by adding sites

361: from the next coordination shell. (ii) Using a scheme of coupling of angular

362: momenta we build the set $\left| i_IS_Im_I\right\rangle $ of states with

363: total spin $S_I$ and third component $m_I$ for the part that is being

364: attached to the environment. The index $i_I$ labels other possible quantum

365: numbers. (iii) In general case, these functions form a basis of reducible

366: representation of the cluster point group. Based on the projection operator

367: technique, one build basic functions $\left| i_IS_Im_I\Gamma _I\mu

368: _I\right\rangle $ transforming according to irreducible representations $%

369: \Gamma _I\mu _I$. (iv) Using a scheme of coupling of angular momenta build a

370: new set $\left| i_IS_Im_Ii_{II}S_{II}m_{II};S_um_u\Gamma _u\mu

371: _u\right\rangle _{(N+1)}$ of states associated to the extended environment,

372: where the notation $\left| i_{II}S_{II}m_{II}\Gamma _{II}\mu

373: _{II}\right\rangle =\left| i_uS_um_u\Gamma _u\mu _u\right\rangle _{(N)}$ is

374: introduced. An interaction between the $N$-th step environment and the part

375: added to it can be conveniently written through the irreducible tensors $%

376: U^{1t_u\gamma }$ and $W^{1t_0\gamma }$ built from spin operators of the

377: ''old'' and ''new'' added parts, respectively, 

378: \[

379: V=J\sum_{t_ut_0}\sum_{\gamma \nu }\sum_q\left( -1\right) ^q\left[ 

380: \begin{array}{ccc}

381: \gamma & \gamma & A_1 \\ 

382: \nu & \nu & 1

383: \end{array}

384: \right] U_{q\nu }^{1t_u\gamma }W_{-q\nu }^{1t_0\gamma }. 

385: \]

386: The indices $t_ut_0$ label different tensors of the same symmetry. The

387: matrix elements of the extended $(N+1)$-th step environment is 

388: \[

389: \left\langle i_IS_Im_Ii_{II}S_{II}m_{II};S_um_u\Gamma _u\mu _u\left|

390: H_u\right| i_I^{\prime }S_I^{\prime }m_I^{\prime }i_{II}^{\prime

391: }S_{II}^{\prime }m_{II}^{\prime };S_u^{\prime }m_u^{\prime }\Gamma

392: _u^{\prime }\mu _u^{\prime }\right\rangle =E_{i_uS_u\Gamma _u}^{(N)}\,\delta

393: _{S_uS_u^{\prime }}\delta _{m_um_u^{\prime }}\delta _{\Gamma _u\Gamma

394: _u^{\prime }}\delta _{\mu _u\mu _u^{\prime }} 

395: \]

396: \begin{equation}

397: +J\sum\limits_{t_0t_u\gamma }F\left( \Gamma _I\Gamma _{II}\Gamma ;\Gamma

398: _I^{\prime }\Gamma _{II}^{\prime }\gamma \right) \left( -1\right)

399: ^{S_I^{\prime }+S_{II}+S_u}\left\{ 

400: \begin{array}{ccc}

401: S_I & S_{II} & S_u \\ 

402: S_{II}^{\prime } & S_I^{\prime } & 1

403: \end{array}

404: \right\} \left\langle i_IS_I\Gamma _I\left\| U^{1t_I\gamma }\right\|

405: i_I^{\prime }S_I^{\prime }\Gamma _I^{\prime }\right\rangle \left\langle

406: i_{II}S_{II}\Gamma _{II}\left\| W^{1t_{II}\gamma }\right\| i_{II}^{\prime

407: }S_{II}^{\prime }\Gamma _{II}^{\prime }\right\rangle .  \label{Hu}

408: \end{equation}

409: The derivation of Eq.(\ref{Hu}) and the reduced matrix elements of the

410: operators involved in Eq.(\ref{Hu}) are given in Appendix A and Appendix B,

411: respectively.

412: 

413: At final step, we diagonalize (\ref{Hu}) and find the eigenvalues $%

414: E_{i_uS_u\Gamma _u}^{(N+1)}$ and eigenvectors 

415: \[

416: \left| i_uS_um_u\Gamma _u\mu _u\right\rangle _{(N+1)}=\sum \alpha

417: _{i_IS_I\Gamma _Ii_{II}S_{II}\Gamma _{II}}^{i_uS_u\Gamma _u}\left[ 

418: \begin{array}{ccc}

419: S_I & S_{II} & S_u \\ 

420: m_I & m_{II} & m_u

421: \end{array}

422: \right] \left[ 

423: \begin{array}{ccc}

424: \Gamma _I & \Gamma _{II} & \Gamma _u \\ 

425: \mu _I & \mu _{II} & \mu _u

426: \end{array}

427: \right] \left| i_IS_Im_I\Gamma _I\mu _I\right\rangle \left|

428: i_{II}S_{II}m_{II}\Gamma _{II}\mu _{II}\right\rangle . 

429: \]

430: The iteration is closed by recalculating reduced matrix elements of the

431: irreducible tensors $W^{1t_{II}\gamma }$ in the basis of the extended

432: environment (see Appendix B). Note that following the scheme we will in some

433: cases form intermediate clusters, unsuitable for calculations of local

434: results, with a non-bipartite environment.

435: 

436: \section{An example: spin-1/2 antiferromagnet on a square lattice.}

437: 

438: The spin-half antiferromagnet on a square lattice represents an optimal

439: playground to study the strength and limitations of the method. To implement

440: the algorithm, we need first to build wave functions of the environment

441: which are predetermined by the lattice point symmetry.

442: 

443: To perform calculations we start with the cluster of minimal size $\sqrt{5}%

444: \times \sqrt{5}$. The sequence of clusters involved in the calculations are

445: shown in Fig. 1. Within the smallest cluster, the central spin interacts

446: with the nearest environment consisting of the spins $S_{\alpha _1},S_{\beta

447: _1},S_{\gamma _1},S_{\eta _1}$. The spin wave functions of the environment

448: with the total spin number $S_u$ and the third component $M_u$ may be

449: written as follows 

450: \[

451: \left| \frac 12\frac 12(S_{\alpha _1\beta _1})\frac 12\frac 12(S_{\gamma

452: _1\eta _1})S_uM_u\right\rangle =\sum_{m_{\alpha _1},m_{\beta _1},m_{\gamma

453: _1},m_{\eta _1}}\sum_{m_{\alpha _1\beta _1},m_{\gamma _1\eta _1}}\left[ 

454: \begin{array}{ccc}

455: 1/2 & 1/2 & S_{\alpha _1\beta _1} \\ 

456: m_{\alpha _1} & m_{\beta _1} & m_{\alpha _1\beta _1}

457: \end{array}

458: \right] \left[ 

459: \begin{array}{ccc}

460: 1/2 & 1/2 & S_{\gamma _1\eta _1} \\ 

461: m_{\gamma _1} & m_{\eta _1} & m_{\gamma _1\eta _1}

462: \end{array}

463: \right] \left[ 

464: \begin{array}{ccc}

465: S_{\alpha _1\beta _1} & S_{\gamma _1\eta _1} & S_u \\ 

466: m_{\alpha _1\beta _1} & m_{\gamma _1\eta _1} & M_u

467: \end{array}

468: \right] 

469: \]

470: \[

471: \times \left| 1/2m_{\alpha _1}\right\rangle \left| 1/2m_{\beta

472: _1}\right\rangle \left| 1/2m_{\gamma _1}\right\rangle \left| 1/2m_{\eta

473: _1}\right\rangle . 

474: \]

475: In such a description, all allowed configurations are comprised by a set $%

476: \left| 00;00\right\rangle $, $\left| 11;00\right\rangle $, $\left|

477: 01;1M\right\rangle $, $\left| 10;1M\right\rangle $, $\left|

478: 11;1M\right\rangle $, $\left| 11;2M\right\rangle $, where we have dropped

479: the spin $1/2$ arguments for notation convenience. It is easy to see that

480: the functions $\left| S_{\alpha _1\beta _1}S_{\gamma _1\eta

481: _1};S_uM_u\right\rangle $ form (in common case) a basis of reducible

482: representation of the group $D_4$ (for details see Appendix C) 

483: \[

484: \hat{g}\left| S_{\alpha _1\beta _1}S_{\gamma _1\eta _1};S_uM_u\right\rangle

485: =D_{S_{\alpha _1\beta _1}^{\prime }S_{\gamma _1\eta _1}^{\prime },S_{\alpha

486: _1\beta _1}S_{\gamma _1\eta _1}}^{(S_u)}(\hat{g})\left| S_{\alpha _1\beta

487: _1}^{\prime }S_{\gamma _1\eta _1}^{\prime };S_uM_u\right\rangle . 

488: \]

489: The matrices $D_{\kappa ,{\kappa }^{\prime }}^{(0)}(\hat{g})$ (the upper

490: index denotes the spin $S_u$) with the multiindex $\kappa =\left\{ S_{\alpha

491: _1\beta _1}S_{\gamma _1\eta _1}\right\} $ are readily determined and read

492: 

493: \[

494: D_{\kappa ,{\kappa }^{\prime }}^{(0)}(E)=D_{\kappa ,{\kappa }^{\prime

495: }}^{(0)}(C_4^2)=D_{\kappa ,{\kappa }^{\prime }}^{(0)}(\sigma _v^{^{\prime

496: }})=D_{\kappa ,{\kappa }^{\prime }}^{(0)}(\sigma _v^{^{\prime \prime

497: }})=\left( 

498: \begin{array}{cc}

499: 1 & 0 \\ 

500: 0 & 1

501: \end{array}

502: \right) , 

503: \]

504: \[

505: D_{\kappa ,{\kappa }^{\prime }}^{(0)}(C_4)=D_{\kappa ,{\kappa }^{\prime

506: }}^{(0)}(C_4^3)=D_{\kappa ,{\kappa }^{\prime }}^{(0)}(C_2^x)=D_{\kappa ,{%

507: \kappa }^{\prime }}^{(0)}(C_4^2)=\left( 

508: \begin{array}{cc}

509: 1/2 & -\sqrt{3}/2 \\ 

510: -\sqrt{3}/2 & -1/2

511: \end{array}

512: \right) . 

513: \]

514: The functions $\left| 00;\,00\right\rangle $, $\left| 11;\,00\right\rangle $

515: form a basis of this two-dimensional representation. Still another

516: representation of $D_4$ can be generated by means of the functions $\left|

517: 01;\,1M\right\rangle $, $\left| 10;1M\right\rangle $ and $\left|

518: 11;1M\right\rangle $ 

519: \[

520: D_{\kappa ,{\kappa }^{\prime }}^{(1)}(E)=\left( 

521: \begin{array}{ccc}

522: 1 & 0 & 0 \\ 

523: 0 & 1 & 0 \\ 

524: 0 & 0 & 1

525: \end{array}

526: \right) ,\qquad D_{\kappa ,{\kappa }^{\prime }}^{(1)}(C_4)=\left( 

527: \begin{array}{ccc}

528: -1/2 & -1/2 & 1/\sqrt{2} \\ 

529: -1/2 & -1/2 & -1/\sqrt{2} \\ 

530: -1/\sqrt{2} & 1/\sqrt{2} & 0

531: \end{array}

532: \right) , 

533: \]

534: \[

535: D_{\kappa ,{\kappa }^{\prime }}^{(1)}(C_4^2)=\left( 

536: \begin{array}{ccc}

537: 0 & 1 & 0 \\ 

538: 1 & 0 & 0 \\ 

539: 0 & 0 & -1

540: \end{array}

541: \right) ,\qquad D_{\kappa ,{\kappa }^{\prime }}^{(1)}(C_4^3)=\left( 

542: \begin{array}{ccc}

543: -1/2 & -1/2 & -1/\sqrt{2} \\ 

544: -1/2 & -1/2 & 1/\sqrt{2} \\ 

545: 1/\sqrt{2} & -1/\sqrt{2} & 0

546: \end{array}

547: \right) , 

548: \]

549: \[

550: D_{\kappa ,{\kappa }^{\prime }}^{(1)}(C_2^x)=\left( 

551: \begin{array}{ccc}

552: 1/2 & 1/2 & 1/\sqrt{2} \\ 

553: 1/2 & 1/2 & -1/\sqrt{2} \\ 

554: 1/\sqrt{2} & -1/\sqrt{2} & 0

555: \end{array}

556: \right) ,\qquad D_{\kappa ,{\kappa }^{\prime }}^{(1)}{C_2^y}=\left( 

557: \begin{array}{ccc}

558: 1/2 & 1/2 & -1/\sqrt{2} \\ 

559: 1/2 & 1/2 & 1/\sqrt{2} \\ 

560: -1/\sqrt{2} & 1/\sqrt{2} & 0

561: \end{array}

562: \right) , 

563: \]

564: \[

565: D_{\kappa ,{\kappa }^{\prime }}^{(1)}(\sigma _v^{^{\prime \prime }})=\left( 

566: \begin{array}{ccc}

567: -1 & 0 & 0 \\ 

568: 0 & -1 & 0 \\ 

569: 0 & 0 & 1

570: \end{array}

571: \right) ,\qquad D_{\kappa ,{\kappa }^{\prime }}^{(1)}(\sigma _v^{^{\prime

572: }})=\left( 

573: \begin{array}{ccc}

574: 0 & -1 & 0 \\ 

575: -1 & 0 & 0 \\ 

576: 0 & 0 & -1

577: \end{array}

578: \right) . 

579: \]

580: In a similar way we find the matrices $D_{\kappa ,{\kappa }}^{(2)}(\hat{g})$

581: in the basis $\left| 11;2M\right\rangle $ 

582: \[

583: D_{\kappa ,{\kappa }}^{(2)}(\hat{g})=1\;(\forall \hat{g}\in D_4). 

584: \]

585: The representations $D^{(S)}$ are the direct sums of the irreducible

586: representations $D^{(0)}=D^{(0A_1)}\oplus D^{(0B_2)},$ $D^{(1)}=D^{(1B_1)}%

587: \oplus D^{(1E)},$ $D^{(2)}=D^{(2A_1)}$ (see Appendix E). The basis functions

588: of these irreducible representations are given by a similarity

589: transformation 

590: \begin{equation}

591: \left| S_uM_u;\Gamma \mu \right\rangle =\sum\limits_{S_{\alpha _1\beta

592: _1},S_{\gamma _1\eta _1}}\hat{T}_{S_{\alpha _1\beta _1}S_{\gamma _1\eta

593: _1};\Gamma \mu }^{(S_u)}\left| S_{\alpha _1\beta _1}S_{\gamma _1\eta

594: _1};S_uM_u\right\rangle ,  \label{Simila}

595: \end{equation}

596: and the matrix $\hat{T}_{S_{\alpha _1\beta _1}S_{\gamma _1\eta _1};\Gamma

597: \mu }^{(S_u)}=\hat{T}_{S_{\alpha _1\beta _1}S_{\gamma _1\eta _1}S{_u}%

598: ^{\prime };S_u\Gamma _u\mu _u}{\delta }_{S_u,S_u^{\prime }}$ found with the

599: aid of the projection-operator technique reads (for details see Appendix D)

600: 

601: \[

602: \begin{array}{ccccccc}

603: & \left| 00;A_11\right\rangle & \left| 00;B_21\right\rangle & \left|

604: 1M;B_11\right\rangle & \left| 1M;E1\right\rangle & \left| 1M;E2\right\rangle

605: & \left| 2M;A_11\right\rangle \\ 

606: \left| 00;00\right\rangle & \frac{\sqrt{3}}2 & \frac 12 & 0 & 0 & 0 & 0 \\ 

607: \left| 11;00\right\rangle & -\frac 12 & \frac{\sqrt{3}}2 & 0 & 0 & 0 & 0 \\ 

608: \left| 01;1M\right\rangle & 0 & 0 & \frac 1{\sqrt{2}} & \frac 12 & \frac 12

609: & 0 \\ 

610: \left| 10;1M\right\rangle & 0 & 0 & \frac 1{\sqrt{2}} & -\frac 12 & -\frac 12

611: & 0 \\ 

612: \left| 11;1M\right\rangle & 0 & 0 & 0 & \frac 1{\sqrt{2}} & -\frac 1{\sqrt{2}%

613: } & 0 \\ 

614: \left| 11;2M\right\rangle & 0 & 0 & 0 & 0 & 0 & 1

615: \end{array}

616: \]

617: Given the environment eigenfunctions $\left| S_uM_u;\Gamma _u\mu

618: _u\right\rangle $ with the eigenvalues $E_{S_u\Gamma _{_{{u}}}}$, the

619: reduced matrix elements of the double irreducible tensor $O^{1A_1}=S_{\alpha

620: _1}+S_{\beta _1}+S_{\gamma _1}+S_{\eta _1}$ can be computed

621: straightforwardly using the Wigner-Eckart theorem and the similarity

622: transformation (\ref{Simila}) 

623: \begin{equation}

624: \left[ 

625: \begin{array}{ccc}

626: \gamma & \Gamma ^{\prime } & \Gamma \\ 

627: \nu & \mu ^{\prime } & \mu

628: \end{array}

629: \right] ^{*}\left\langle S\Gamma \left\| O^{1\gamma }\right\| S^{\prime

630: }\Gamma ^{\prime }\right\rangle

631: =\sum\limits_{S_{12},S_{34}}\sum\limits_{S_{12}^{\prime },S_{34}^{\prime }}%

632: \hat{T}_{S_{12}S_{34}S;S\Gamma \mu }^{*}\hat{T}_{S_{12}^{\prime

633: }S_{34}^{\prime }S^{\prime };S^{\prime }\Gamma ^{\prime }\mu ^{\prime

634: }}\left\langle S_{12}S_{34};S\left\| O_{\ \;\nu }^{1\gamma }\right\|

635: S_{12}^{\prime }S_{34}^{\prime };S^{\prime }\right\rangle ,  \label{RedMat1}

636: \end{equation}

637: where the indeces $\alpha _1$, $\beta _1$, $\gamma _1$, $\eta _1$ are

638: correspondingly denoted by the numbers 1-4.

639: 

640: To calculate the reduced matrix element that comes into the right-hand side

641: of Eq.(\ref{RedMat1}) one has to rewrite $O_{q\nu }^{1\gamma }$ through the

642: spin operators and employ their expressions for the reduced matrix elements

643: of the spin operators 

644: \[

645: \left\langle S_{12}S_{34};S\left\| S_1\right\| S_{12}^{\prime

646: }S_{34}^{\prime };S^{\prime }\right\rangle =\left( -1\right)

647: ^{1+S_{12}+S_{34}+S_{12}^{\prime }+S^{\prime }}\left[ S_{12},S_{12}^{\prime

648: },S,S^{\prime }\right] ^{1/2} 

649: \]

650: \begin{equation}

651: \times \left\{ 

652: \begin{array}{ccc}

653: S_{12}^{\prime } & 1 & S_{12} \\ 

654: 1/2 & 1/2 & 1/2

655: \end{array}

656: \right\} \left\{ 

657: \begin{array}{ccc}

658: S^{\prime } & 1 & S \\ 

659: S_{12} & S_{34} & S_{12}^{\prime }

660: \end{array}

661: \right\} \left\langle 1/2\left\| S\right\| 1/2\right\rangle \delta

662: _{S_{34},S_{34}^{\prime }},  \label{RMS1}

663: \end{equation}

664: \[

665: \left\langle S_{12}S_{34};S\left\| S_2\right\| S_{12}^{\prime

666: }S_{34}^{\prime };S^{\prime }\right\rangle =\left( -1\right)

667: ^{1+2S_{12}+S_{34}+S^{\prime }}\left[ S_{12},S_{12}^{\prime },S,S^{\prime

668: }\right] ^{1/2} 

669: \]

670: \begin{equation}

671: \times \left\{ 

672: \begin{array}{ccc}

673: S_{12}^{\prime } & 1 & S_{12} \\ 

674: 1/2 & 1/2 & 1/2

675: \end{array}

676: \right\} \left\{ 

677: \begin{array}{ccc}

678: S^{\prime } & 1 & S \\ 

679: S_{12} & S_{34} & S_{12}^{\prime }

680: \end{array}

681: \right\} \left\langle 1/2\left\| S\right\| 1/2\right\rangle \delta

682: _{S_{34},S_{34}^{\prime }},  \label{RMS2}

683: \end{equation}

684: \[

685: \left\langle S_{12}S_{34};S\left\| S_3\right\| S_{12}^{\prime

686: }S_{34}^{\prime };S^{\prime }\right\rangle =\left( -1\right)

687: ^{1+S_{12}+2S_{34}^{\prime }+S}\left[ S_{34},S_{34}^{\prime },S,S^{\prime

688: }\right] ^{1/2} 

689: \]

690: \begin{equation}

691: \times \left\{ 

692: \begin{array}{ccc}

693: S_{34}^{\prime } & 1 & S_{34} \\ 

694: 1/2 & 1/2 & 1/2

695: \end{array}

696: \right\} \left\{ 

697: \begin{array}{ccc}

698: S^{\prime } & 1 & S \\ 

699: S_{34} & S_{12} & S_{34}^{\prime }

700: \end{array}

701: \right\} \left\langle 1/2\left\| S\right\| 1/2\right\rangle \delta

702: _{S_{12},S_{12}^{\prime }},  \label{RMS3}

703: \end{equation}

704: \[

705: \left\langle S_{12}S_{34};S\left\| S_4\right\| S_{12}^{\prime

706: }S_{34}^{\prime };S^{\prime }\right\rangle =\left( -1\right)

707: ^{1+S_{12}+S_{34}+S_{34}^{\prime }+S}\left[ S_{34},S_{34}^{\prime

708: },S,S^{\prime }\right] ^{1/2} 

709: \]

710: \begin{equation}

711: \times \left\{ 

712: \begin{array}{ccc}

713: S_{34}^{\prime } & 1 & S_{34} \\ 

714: 1/2 & 1/2 & 1/2

715: \end{array}

716: \right\} \left\{ 

717: \begin{array}{ccc}

718: S^{\prime } & 1 & S \\ 

719: S_{34} & S_{12} & S_{34}^{\prime }

720: \end{array}

721: \right\} \left\langle 1/2\left\| S\right\| 1/2\right\rangle \delta

722: _{S_{12},S_{12}^{\prime }}.  \label{RMS4}

723: \end{equation}

724: 

725: Since the operator $O^{1A_1}$ coincides with that of the environment total

726: spin $\hat{S}_u$, it turns out that the matrix elements $\left\langle

727: S_u\Gamma _u\left| O^{1A_1}\right| S_u^{\prime }\Gamma _u^{\prime

728: }\right\rangle $ are diagonal 

729: \[

730: \left\langle S_u\Gamma _u\left| O^{1A_1}\right| S_u^{\prime }\Gamma

731: _u^{\prime }\right\rangle =\sqrt{S_u(S_u+1)(2S_u+1)}\delta _{S_u,S_u^{\prime

732: }}\delta _{\Gamma _u,\Gamma _u^{\prime }}. 

733: \]

734: As a consequence, one may check that this property holds for the Hamiltonian

735: of the total cluster 

736: \[

737: \left\langle S_u\Gamma _u;\frac 12;SM\Gamma _u\mu _u\left| \hat{H}\right|

738: S_u^{\prime }\Gamma _u^{\prime };\frac 12;S^{\prime }M^{\prime }\Gamma

739: _u^{\prime }\mu _u^{\prime }\right\rangle = 

740: \]

741: \[

742: J(-1)^{S_u^{\prime }+S+1/2}\left\{ 

743: \begin{array}{ccc}

744: S_u & 1/2 & S \\ 

745: 1/2 & S_u^{\prime } & 1

746: \end{array}

747: \right\} \sqrt{\frac 32S_u(S_u+1)(2S_u+1)}\delta _{S,S^{\prime }}\delta

748: _{M,M^{\prime }}\delta _{\Gamma _u,\Gamma _u^{\prime }}\delta _{\mu _u,\mu

749: _u^{\prime }}\delta _{S_u,S_u^{\prime }} 

750: \]

751: 

752: \begin{table}[t]

753: \caption{Energies $E_{S\Gamma}$ and $\epsilon_{S\Gamma}$}

754: \label{cross}%

755: \begin{ruledtabular}

756: \begin{tabular}{ccccccccc}

757: $S\Gamma$ & $\frac 12 A_1$ & $\frac 12 B_1$ & $\frac 12 B_2$ & $\frac 12 E$

758: & $\frac 32 A_1$ & $\frac 32 B_1$ & $\frac 32 E$ & $\frac 52 A_1$ \\  

759: $E_{S\Gamma}$ & 0 & -J & 0 & -J & - $\frac 32 J$ & $\frac 12 J$ & $\frac 12

760: J $ & J \\   

761: $\epsilon_{S\Gamma}$ & 0 & - $\frac 14 J$ & 0 & - $\frac 14 J$ & - $\frac 38 J$ & $%

762: \frac 18 J$ & $\frac 18 J$ & $\frac 14 J$%

763: \end{tabular}

764: \end{ruledtabular}

765: \end{table}

766: 

767: A direct calculation shows that the ground state belongs to the Hilbert

768: space sector with $S=3/2$ and $\Gamma =A_1$. Hence, only the environment

769: state with $S\Gamma =1A_1$ is needed to find the ground state energy (see

770: Table I).

771: 

772: Let us now consider the next step, an expansion of the current environment

773: block due to the next coordination sphere of radius $\sqrt{2}$. After an

774: addition of four spins $S_a,S_b,S_c,S_d$, the cluster becomes a square of

775: size $3\times 3$ with the bipartite environment of the central site (Fig.1).

776: The basis associated with the added part is

777: 

778: \[

779: \left| \frac 12\frac 12(S_{ab})\frac 12\frac 12(S_{cd})S_IM_I\right\rangle

780: =\sum_{m_a,m_b,m_c,m_d}\sum_{m_{ab},m_{cd}}\left[ 

781: \begin{array}{ccc}

782: 1/2 & 1/2 & S_{ab} \\ 

783: m_a & m_b & m_{ab}

784: \end{array}

785: \right] \left[ 

786: \begin{array}{ccc}

787: 1/2 & 1/2 & S_{cd} \\ 

788: m_c & m_d & m_{cd}

789: \end{array}

790: \right] \left[ 

791: \begin{array}{ccc}

792: S_{ab} & S_{cd} & S_I \\ 

793: m_{ab} & m_{cd} & M_I

794: \end{array}

795: \right] 

796: \]

797: \begin{equation}

798: \times \left| 1/2m_a\right\rangle \left| 1/2m_b\right\rangle \left|

799: 1/2m_c\right\rangle \left| 1/2m_d\right\rangle .  \label{Rad2}

800: \end{equation}

801: Repeating the basic steps in the approach we obtain the symmetry adapted

802: basis $\left| S_IM_I;\Gamma _I\mu _I\right\rangle $. The matrix of

803: corresponding similarity transformation has the form 

804: \[

805: \begin{array}{ccccccc}

806: & \left| 00;A_11\right\rangle & \left| 00;B_11\right\rangle & \left|

807: 1M;B_21\right\rangle & \left| 1M;E1\right\rangle & \left| 1M;E2\right\rangle

808: & \left| 2M;A_11\right\rangle \\ 

809: \left| 00;00\right\rangle & \frac{\sqrt{3}}2 & \frac 12 & 0 & 0 & 0 & 0 \\ 

810: \left| 11;00\right\rangle & -\frac 12 & \frac{\sqrt{3}}2 & 0 & 0 & 0 & 0 \\ 

811: \left| 01;1M\right\rangle & 0 & 0 & \frac 1{\sqrt{2}} & 0 & \frac 1{\sqrt{2}}

812: & 0 \\ 

813: \left| 10;1M\right\rangle & 0 & 0 & \frac 1{\sqrt{2}} & 0 & -\frac 1{\sqrt{2}%

814: } & 0 \\ 

815: \left| 11;1M\right\rangle & 0 & 0 & 0 & 1 & 0 & 0 \\ 

816: \left| 11;2M\right\rangle & 0 & 0 & 0 & 0 & 0 & 1

817: \end{array}

818: \]

819: 

820: The environment Hamiltonian includes only interactions between the first and

821: second coordination spheres 

822: \begin{equation}

823: \hat{H}_u=J\left[ \vec{S}_{\alpha_1}\left( \vec{S}_d+\vec{S}_a\right) +\vec{S%

824: }_{\beta_1}\left( \vec{S}_a+\vec{S}_b\right) +\vec{S}_{\gamma_1}\left( \vec{S%

825: }_b+\vec{S}_c\right) +\vec{S}_{\eta_1}\left( \vec{S}_c+\vec{S}_d\right)

826: \right] .  \label{Hsq}

827: \end{equation}

828: 

829: We now introduce the cluster irreducible tensors $W_{q\mu }^{1\Gamma }$ and $%

830: U_{q\mu }^{1\Gamma }$ transforming according to representations $\Gamma \mu $

831: of the point symmetry group $D_4$ (for details see Appendix D)

832: 

833: \[

834: U_{q1}^{1A_1}=\frac 1{\sqrt{2}}\left( S_{aq}+S_{bq}+S_{cq}+S_{dq}\right)

835: ,\;U_{q1}^{1B_2}=\frac 1{\sqrt{2}}\left( S_{aq}-S_{bq}+S_{cq}-S_{dq}\right)

836: , 

837: \]

838: \[

839: U_{q1}^{1E}=\frac 1{\sqrt{2}}\left( S_{aq}+S_{bq}-S_{cq}-S_{dq}\right)

840: ,\;U_{q2}^{1E}=\frac 1{\sqrt{2}}\left( S_{aq}-S_{bq}-S_{cq}+S_{dq}\right) , 

841: \]

842: \[

843: W_{q1}^{1A_1}=\frac 1{\sqrt{2}}\left( S_{\alpha _1q}+S_{\beta _1q}+S_{\gamma

844: _1q}+S_{\eta _1q}\right) ,\;W_{q1}^{1B_1}=\frac 1{\sqrt{2}}\left( S_{\alpha

845: _1q}-S_{\beta _1q}+S_{\gamma _1q}-S_{\eta _1q}\right) , 

846: \]

847: \begin{equation}

848: W_{q1}^{1E}=\left( S_{\alpha _1q}-S_{\gamma _1q}\right)

849: ,\;W_{q2}^{1E}=\left( S_{\eta _1q}-S_{\beta _1q}\right)  \label{LinComb}

850: \end{equation}

851: and then rewrite Eq.(\ref{Hsq}) as

852: 

853: \begin{equation}

854: H_u=J\sum_{\gamma \nu }\sum_q(-1)^q\left[ 

855: \begin{array}{ccc}

856: \gamma & \gamma & A_1 \\ 

857: \nu & \nu & 1

858: \end{array}

859: \right] U_{q\mu }^{1\gamma }W_{-q\mu }^{1\gamma }=J\sum_\gamma \left[

860: U^{1\gamma }\times W^{1\gamma }\right] _{01}^{0A_1}.  \label{Hu1}

861: \end{equation}

862: The reduced matrix elements of the irreducible operators that appear in Eq.(%

863: \ref{Hu}) can be obtained exactly from the result (\ref{RedMat1})

864: 

865: \begin{equation}

866: \left\langle S_I\Gamma _I\left\| U^{1A_1}\right\| S_I^{\prime }\Gamma

867: _I^{\prime }\right\rangle =\frac 1{\sqrt{2}}\left\langle S_I\left\|

868: S\right\| S_I\right\rangle \delta _{S_I,S_I^{\prime }}\delta _{\Gamma

869: _I,\Gamma _I^{\prime }},\;\left\langle S_{II}\Gamma _{II}\left\|

870: W^{1A_1}\right\| S_{II}^{\prime }\Gamma _{II}^{\prime }\right\rangle =\frac 1%

871: {\sqrt{2}}\left\langle S_{II}\left\| S\right\| S_{II}\right\rangle \delta

872: _{S_{II},S_{II}^{\prime }}\delta _{\Gamma _{II},\Gamma _{II}^{\prime }},

873: \label{StartRME}

874: \end{equation}

875: \[

876: \left\langle S_I\Gamma _I\left\| U^{1E}\right\| S_I^{\prime }\Gamma

877: _I^{\prime }\right\rangle =\left[ 

878: \begin{array}{cccccc}

879: & 0A_1 & 0B_1 & 1B_2 & 1E & 2A_1 \\ 

880: 0A_1 & 0 & 0 & 0 & \sqrt{2} & 0 \\ 

881: 0B_1 & 0 & 0 & 0 & -\sqrt{6} & 0 \\ 

882: 1B_2 & 0 & 0 & 0 & -\sqrt{6} & 0 \\ 

883: 1E & -1 & \sqrt{3} & -\sqrt{3} & 0 & -\sqrt{5} \\ 

884: 2A_1 & 0 & 0 & 0 & \sqrt{10} & 0

885: \end{array}

886: \right] , 

887: \]

888: \[

889: \left\langle S_{II}\Gamma _{II}\left\| W^{1E}\right\| S_{II}^{\prime }\Gamma

890: _{II}^{\prime }\right\rangle =\left[ 

891: \begin{array}{cccccc}

892: & 0A_1 & 0B_2 & 1B_1 & 1E & 2A_1 \\ 

893: 0A_1 & 0 & 0 & 0 & \sqrt{2} & 0 \\ 

894: 0B_2 & 0 & 0 & 0 & \sqrt{6} & 0 \\ 

895: 1B_1 & 0 & 0 & 0 & -\sqrt{6} & 0 \\ 

896: 1E & -1 & -\sqrt{3} & -\sqrt{3} & 0 & -\sqrt{5} \\ 

897: 2A_1 & 0 & 0 & 0 & \sqrt{10} & 0

898: \end{array}

899: \right] . 

900: \]

901: To compute matrix elements of the Hamiltonian $H_u$ we construct the basis 

902: \begin{equation}

903: \left| i_IS_I\Gamma _I\;i_{II}S_{II}\Gamma _{II};S_uM_u\Gamma _u\mu

904: _u\right\rangle =\sum_{m_I,m_{II}}\sum_{\mu _I,\mu _{II}}\left[ 

905: \begin{array}{ccc}

906: S_I & S_{II} & S_u \\ 

907: m_I & m_{II} & M_u

908: \end{array}

909: \right] \left[ 

910: \begin{array}{ccc}

911: \Gamma _I & \Gamma _{II} & \Gamma _u \\ 

912: \mu _I & \mu _{II} & \mu _u

913: \end{array}

914: \right] \left| i_IS_Im_I\Gamma _I\mu _I\right\rangle \left|

915: i_{II}S_{II}m_{II}\Gamma _{II}\mu _{II}\right\rangle  \label{BWF1}

916: \end{equation}

917: formed from the eigenstates $\left| i_IS_Im_I\Gamma _I\mu _I\right\rangle $

918: and $\left| i_{II}S_{II}m_{II}\Gamma _{II}\mu _{II}\right\rangle $ of the

919: ''new'' and ''old'' added parts, correspondingly. Then we obtain using Eq.(%

920: \ref{Hutext}) the expression similar to Eq.(\ref{Hu}) with $E_{i_IS_I\Gamma

921: _I}=E_{i_{II}S_{II}\Gamma _{II}}=0$. Applying exact diagonalization to the

922: Hamiltonian $H_u$ one can then find the eigenfunctions 

923: \[

924: \left| i_uS_u\Gamma _u\mu _u\right\rangle =\sum \alpha _{i_IS_I\Gamma

925: _I;i_{II}S_{II}\Gamma _{II}}^{i_uS_u\Gamma _u}\left| i_IS_I\Gamma

926: _I\;i_{II}S_{II}\Gamma _{II};S_uM_u\Gamma _u\mu _u\right\rangle 

927: \]

928: and the energy spectrum $E_{i_uS_u\Gamma _u}$ of the environment. By using

929: the recursion relation (for details see (\ref{B4}) in Appendix B)

930: 

931: \[

932: \left\langle i_uS_u\Gamma _u\left\| O^{1A_1}\right\| i_u^{\prime

933: }S_u^{\prime }\Gamma _u^{\prime }\right\rangle =\delta _{\Gamma _u,\Gamma

934: _u^{\prime }}\sum\limits_{i_I,S_I,\Gamma }\sum\limits_{i_{II}^{\prime

935: },S_{II}^{\prime },\Gamma _{II}^{\prime }}\sum\limits_{i_{II},S_{II},\Gamma

936: _{II}}\alpha _{i_IS_I\Gamma _I;i_{II}S_{II}\Gamma _{II}}^{i_uS_u\Gamma

937: _u}\alpha _{i_IS_I\Gamma _I;i_{II}^{\prime }S_{II}^{\prime }\Gamma

938: _{II}^{\prime }}^{i_u^{\prime }S_u^{\prime }\Gamma _u^{\prime }} 

939: \]

940: \begin{equation}

941: \times \left( -1\right) ^{1+S_I+S_{II}^{\prime }+S_u}\left[ S_u,S_u^{\prime

942: }\right] ^{1/2}\left\{ 

943: \begin{array}{ccc}

944: S_u & 1 & S_u^{\prime } \\ 

945: S_{II}^{\prime } & S_I & S_{II}

946: \end{array}

947: \right\} \left\langle i_{II}S_{II}\Gamma _{II}\left\| O^{1A_1}\right\|

948: i_{II}^{\prime }S_{II}^{\prime }\Gamma _{II}^{\prime }\right\rangle

949: \label{WA1}

950: \end{equation}

951: one finds the reduced matrix elements in the environment basis $\left|

952: i_uS_uA_1\right\rangle $ that come into the matrix of the total cluster (\ref

953: {HfulME}).

954: 

955: The formulas (\ref{HfulME},\ref{ETL2},\ref{EigenWF1}) allow us to obtain any

956: of possible $54$ square cluster states. Our calculation shows that the

957: ground state belongs to the Hilbert space sector with $S=1/2$ and $\Gamma

958: =A_1$. Hence, only the environment states with $S\Gamma =0A_1$,$1A_1$ are

959: needed for the evaluation of the ground state energy. Below we summarize the

960: results obtained for this particular case.

961: 

962: Using Eq.(\ref{Hu}) and the explicit expressions for the nonzero sums of

963: Clebsch-Gordan coefficients of the point group $D_4$ (see Eq.(\ref{6G}) in

964: the Appendix A) 

965: \[

966: F(A_1A_1A_1;A_1,A_1,A_1)=F(EEA_1;A_1A_1E)=F(EEA_1;EEA_1)=1,\qquad

967: F(A_1A_1A_1;EEE)=1/2, 

968: \]

969: we obtain 

970: \[

971: \hat{H_u}^{(0A_1)}=\left[ 

972: \begin{array}{ccc}

973: 0 & -\frac 1{\sqrt{3}}J & 0 \\ 

974: -\frac 1{\sqrt{3}}J & -J & -\sqrt{\frac 53J} \\ 

975: 0 & -\sqrt{\frac 53J} & -3J

976: \end{array}

977: \right] 

978: \]

979: in the basis of the states $\left| 0A_10A_1;00A_1\right\rangle ,\;\left|

980: 1E1E;00A_1\right\rangle ,\;\left| 2A_12A_1;00A_1\right\rangle $. The

981: diagonalization of $\hat{H_u}^{(0A_1)}$ yields three states of the $0A_1$

982: symmetry (see Table II) 

983: \begin{table}[t]

984: \caption{Environment states of symmetry $0A_1$}

985: \label{tableI}%

986: \begin{ruledtabular}

987: \begin{tabular}{ccccc}

988: $i_u$ & $\alpha _{0A_10A_1}^{i_u0A_1}$ & $\alpha

989: _{1E1E}^{i_u0A_1}$ & $\alpha _{2A_12A_1}^{i_u0A_1}$ & $E_{i_u0A_1}$ \\

990: \hline

991: $1$ & $0.071$ & $0.449$ & $0.890$ & $-3.651\,J$ \\

992: $2$ & $0.569$ & $0.715$ & $-0.406$ & $-0.726\,J$ \\

993: $3$ & $-0.819$ & $0.535$ & $-0.205$ & $0.377\,J$

994: \end{tabular}

995: \end{ruledtabular}

996: \end{table}

997: As for the $\hat{H_u}$-operator with $S_u=1$, we have the following matrix

998: representation, with the same considerations as for the $\hat{H_u}^{(0A_1)}$%

999: -operator, 

1000: \[

1001: \hat{H_u}^{(1A_1)}=\left[ 

1002: \begin{array}{cccc}

1003: 0 & 0 & J & 0 \\ 

1004: 0 & 0 & J & 0 \\ 

1005: J & J & -\frac 12J & -\frac{\sqrt{5}}2J \\ 

1006: 0 & 0 & -\frac{\sqrt{5}}2J & -\frac 52J

1007: \end{array}

1008: \right] 

1009: \]

1010: in the basis $\left| 0B_11B_1;1MA_1\right\rangle ,\;\left|

1011: 1B_20B_2;1MA_1\right\rangle ,\;\left| 1E1E;1MA_1\right\rangle ,\;\left|

1012: 2A_12A_1;1MA_1\right\rangle $. The states of $1A_1$ symmetry are listed in

1013: Table III. 

1014: \begin{table}[t]

1015: \caption{Environment states of symmetry $1A_1$}

1016: \label{tableII}%

1017: \begin{ruledtabular}

1018: \begin{tabular}{cccccc}

1019: $i_u$ & $\alpha _{0A_31A_3}^{i_u1A_1}$ & $\alpha

1020: _{1A_40A_4}^{i_u1A_1}$ & $\alpha _{1E1E}^{i_u1A_1}$ & $\alpha

1021: _{2A_12A_1}^{i_u1A_1}$ & $E_{i_u1A_1}$ \\ \hline $1$ & $0.153$ &

1022: $0.153$ & $-0.478$ & $-0.851$ & $-3.128\,J$

1023:  \\

1024: $2$ & $-0.470$ & $-0.470$ & $0.566$ & $-0.487$ & $-1.202\,J$

1025:  \\

1026: $3$ & $-0.505$ & $-0.505$ & $-0.672$ & $0.196$ & $1.330\,J$

1027:  \\

1028: $4$ & $-0.707$ & $0.707$ & $0$ & $0$ & $0$

1029: \end{tabular}

1030: \end{ruledtabular}

1031: \end{table}

1032: By using the recursion relation (\ref{WA1}) with the starting value (\ref

1033: {StartRME}), one finds the reduced matrix elements in the environment basis $%

1034: \left| i_uS_uA_1\right\rangle $. Plugging them into Eq.(\ref{HfulME}) we get

1035: the target states $\left| i\frac 12MA_1\right\rangle $ [see Eq.(\ref

1036: {EigenWF1})] of the cluster and their energies $E_{i\frac 12A_1}$ ($i=1..7$%

1037: ). The number of states involved in determining the cluster ground state

1038: equals 7 (see Table IV). 

1039: \begin{table}[t]

1040: \caption{Data on the ground state of the cluster $3\times 3$.}

1041: \label{tableIII}%

1042: \begin{ruledtabular}

1043: \begin{tabular}{cccccccc}

1044: $\beta _{1\,0A_1}^g$ & $\beta _{2\,0A_1}^g$ & $\beta _{3\,0A_1}^g$

1045: & $\beta _{1\,1A_1}^g$ & $\beta _{2\,1A_1}^g$ & $\beta

1046: _{3\,1A_1}^g$ & $\beta _{4\,1A_1}^g$ & $E_g$ \\ \hline $-0.712$ &

1047: $0.044$ & $0.010$ & $-0.695$ & $0.0048$ & $-0.090$ & $0.011$ &

1048: $-4.749$

1049: \end{tabular}

1050: \end{ruledtabular}

1051: \end{table}

1052: 

1053: Now we list the results for observables. The energy per bond found with the

1054: help of Eq.(\ref{ETL2}) is $\varepsilon _g=-0.3442\;J$. This result may be

1055: compared to those results of QMC \cite{Sandvik} $\varepsilon _g=-0.3347J$,

1056: and DMRG $\varepsilon _g=-0.32679J$\ for lattice of size $20\times 20$ and

1057: for number of DMRG states $150$ \cite{Farnell}. (Extropolation of the DMRG\

1058: results in the infinite-lattice limit yields $\varepsilon _g=-0.3321J$). The

1059: best available DCM \cite{Hajj}, CCM \cite{Zeng}\ and RSRG-EI \cite{Malrieu}

1060: results are $-0.33486J,$ $-0.33308J,$ and $-0.33409J$, respectively. Using (%

1061: \ref{Sz}) we get the ground-state expectation value of the z component of

1062: the central spin $\left\langle S_0^z\right\rangle _0=0.173$ and the

1063: staggered magnetization $M=\sqrt{3\left\langle S_0^z\right\rangle _0^2}=0.299

1064: $. For comparison, the extrapolated QMC\ result for the lattice

1065: magnetization $M=0.3070$. We also provide an estimate of the spin-spin

1066: correlation functions (\ref{spincor}) 

1067: \[

1068: \left\langle S_0^zS_{r=1}^z\right\rangle =-0.115,\;\left\langle S_0^zS_{r=%

1069: \sqrt{2}}^z\right\rangle =0.073.

1070: \]

1071: These estimates should be compared with the known results -0.1116 and

1072: 0.0637, correspondingly, \cite{Betts}.

1073: 

1074: We have made a preliminary calculations by using the small cluster $3\times

1075: 3 $ and one can see that an accuracy of the results is still insufficient.

1076: However, we have established the following important features:

1077: 

1078: (i) The ground state of the system belongs to identity representation $A_1$.

1079: 

1080: (ii) The lowest-lying environment states of the same point symmetry give a

1081: contribution to the ground state of the system with

1082: 

1083: the largest weight $|\beta _{1\,0A_1}^g|^2+|\beta _{1\,1A_1}^g|^2\approx

1084: 0.989$. One can see the coefficients $\beta ^2$ by nothing that the diagonal

1085: matrix elements of the reduced density matrix in DMRG\ language \cite{White}.

1086: 

1087: (iii) A comparison of the ground state energy per bond as calculated by $%

1088: E_g/12=-0.396J$ and its infinite-lattice approximation (\ref{ETL2}) within

1089: our approach shows that we produce a better result.

1090: 

1091: At further step, the procedure is repeated and the environment block grows

1092: by adding the coordination sphere of radius $2$. When the new spins $\vec{S}%

1093: _{\alpha _2}$, $\vec{S}_{\beta _2}$, $\vec{S}_{\gamma _2}$, $\vec{S}_{\eta

1094: _2}$ of the sphere are added, the cluster transforms into the rhombus of

1095: size $\sqrt{13}\times \sqrt{13}$. The cluster has the non-bipartite

1096: environment, hence, it is instructive to study this case to examine the

1097: effect of non-biparticity.

1098: 

1099: The Hamiltonian of the new environment decomposes as 

1100: \begin{equation}

1101: \hat{H}_u=H_u(0)+J\left( \vec{S}_{\alpha _1}\vec{S}_{\alpha _2}+\vec{S}%

1102: _{\beta _1}\vec{S}_{\beta _2}+\vec{S}_{\gamma _1}\vec{S}_{\gamma _2}+\vec{S}%

1103: _{\eta _1}\vec{S}_{\eta _2}\right) .  \label{Hromb}

1104: \end{equation}

1105: $H_u(0)$ contains all interactions within the ''old'' environment, and the

1106: second term describes all couplings between this part and the added sites.

1107: 

1108: The irreducible tensors built from the added spins are the same as those of

1109: the first coordination sphere (\ref{LinComb}) 

1110: \[

1111: W_{q1}^{1A_1}=\frac 1{\sqrt{2}}\left( S_{\alpha _2q}+S_{\beta _2q}+S_{\gamma

1112: _2q}+S_{\eta _2q}\right) ,\;W_{q1}^{1B_1}=\frac 1{\sqrt{2}}\left( S_{\alpha

1113: _2q}-S_{\beta _2q}+S_{\gamma _2q}-S_{\eta _2q}\right) , 

1114: \]

1115: \begin{equation}

1116: W_{q1}^{1E}=\left( S_{\alpha _2q}-S_{\gamma _2q}\right)

1117: ,\;W_{q2}^{1E}=\left( S_{\eta _2q}-S_{\beta _2q}\right) .

1118: \label{LinCombromb}

1119: \end{equation}

1120: One can then cast the Hamiltonian (\ref{Hromb}) in a more amenable form 

1121: \[

1122: \hat{H}_u=\hat{H}_u(0)+\frac 12J\,\left[ U^{1A_1}\times W^{1A_1}\right]

1123: _{01}^{0A_1}+\frac 12J\,\left[ U^{1B_1}\times W^{1B_1}\right] _{01}^{0A_1}+%

1124: \frac 1{\sqrt{2}}J\,\left[ U^{1E}\times W^{1E}\right] _{01}^{0A_1}, 

1125: \]

1126: where $U^{1\gamma }$ are given by

1127: 

1128: \[

1129: U_{q1}^{1A_1}=\frac 1{\sqrt{2}}\left( S_{\alpha _1q}+S_{\beta _1q}+S_{\gamma

1130: _1q}+S_{\eta _1q}\right) ,\;U_{q1}^{1B_1}=\frac 1{\sqrt{2}}\left( S_{\alpha

1131: _1q}-S_{\beta _1q}+S_{\gamma _1q}-S_{\eta _1q}\right) , 

1132: \]

1133: \begin{equation}

1134: U_{q1}^{1E}=\left( S_{\alpha _1q}-S_{\gamma _1q}\right)

1135: ,\;U_{q2}^{1E}=\left( S_{\eta _1q}-S_{\beta _1q}\right) .  \label{LinComb2}

1136: \end{equation}

1137: 

1138: The matrices formed from the reduced matrix elements of $W^{1\gamma }$

1139: tensor coincide with (\ref{StartRME}). To find those of $U^{1\gamma }$

1140: tensor we use Eq.(\ref{B4}). The expressions mentioned (\ref{StartRME}) are

1141: used to initialize the calculations.

1142: 

1143: From direct calculations one can show that the quantum numbers $S=5/2$ and $%

1144: \Gamma =A_1$ are attached to the ground state of the rhombus. This state is

1145: formed from $41$ envronment states with the symmetry $S\Gamma _u=2A_1$ and $%

1146: 22$ states of symmetry $S\Gamma _u=3A_1$. Numerical diagonalization gives

1147: the cluster ground state energy $E_g(\frac 52A_1)=-5.779J$ that yields the

1148: ground-state energy per bond $\varepsilon _g=-0.30925\;J$ in the

1149: thermodynamic limit. If we compare this result with that of QMC, we see that

1150: the agreemnet becomes worse. Nevertheless, the conclusions made for the

1151: square cluster $3\times 3$ hold: (i) both the ground state of the

1152: environment and that of the total cluster have the lattice point symmetry $%

1153: A_1$. (ii) The largest weight (is of the order $0.993$) into the sum of

1154: diagonal elements in the density matrix comes from three lowest-lying $2A_1$

1155: states and one state of symmetry $3A_1$, whereas the total number of states

1156: is $63$.

1157: 

1158: Monitoring energies per bond $\varepsilon _{iS\Gamma }$ for the total

1159: cluster spectrum $E_{iS\Gamma }$, we found that the minimal value $%

1160: \varepsilon _{\min }\approx -0.3229\,J$ is reached for the lowest state of

1161: symmetry $\frac 32A_1$, however, $E(\frac 32A_1)>E_g=E(\frac 52A_1)$. A

1162: similar situation, when a minimal energy per bond belongs to a higher lying

1163: state, has been early observed in DMRG study of antiferromagnetic chains 

1164: \cite{White}. Despite the number of sites in the cluster $\sqrt{13}\times 

1165: \sqrt{13}$ is greater than that of in the cluster $3\times 3$, we see that

1166: the result for $\varepsilon _{\min }$ deteriorates compared to the QMC\

1167: value $-0.3347J$. Close inspection allows us to suggest that this is because

1168: we are working on the cluster with a non-bipartite environment.

1169: 

1170: To proceed with increasing cluster size and satisfy the biparticity

1171: requirement we should take the square cluster $5\times 5$ in the next step.

1172: For the 24-site environment of the cluster, an exact-diagonalization

1173: calculation of the {\it total} spectrum is not possible at present and so,

1174: to move on to the next-larger system, we have to elaborate a procedure for

1175: determining the states giving the best approximation to true environment

1176: states. To solve the problem and implement the condition of bipartite

1177: environment we take a system in the form of ''decorated cross'' obtained

1178: from the former cluster $\sqrt{13}\times \sqrt{13}$ by adding four spins $%

1179: \vec{S}_{\alpha _3}$, $\vec{S}_{\beta _3}$, $\vec{S}_{\gamma _3}$, $\vec{S}%

1180: _{\eta _3}$ (Fig. 1). The form makes equal a number of sites in both

1181: sublattices, though it incorporates 8 sites that are being attached to the

1182: cluster by single lattice bonds. At the same time, exact diagonalization of

1183: the cluster$\sqrt{17}\times \sqrt{17}$ is allowed, hence we compare the

1184: exact diagonalization results with those obtained from a symmetry based

1185: truncation procedure and ananlyze a truncation error on a number of states

1186: kept. Since the cluster increasing is similar to that used in the previous

1187: step, we present only the results of calculations. The ground state of the

1188: extended cluster environment has the symmetry $0A_1$. The total number of

1189: states with the same symmetry is 194. Together with 439 $1A_1$-states of the

1190: environment they form a ground state of the total cluster labeled by the

1191: symmetry numbers $\frac 12A_1$. Results for the ground state energy per bond 

1192: $\varepsilon =-0.3304$, the staggered magnetization $m=0.305$ and the

1193: spin-spin correlation functions $\left\langle S_0^zS_{r=1}^z\right\rangle

1194: =-0.1101$, $\left\langle S_0^zS_{r=\sqrt{2}}^z\right\rangle =0.0615$ agree

1195: well with the mentioned ED and QMC results and are much better than those

1196: obtained for the square cluster $3\times 3$. A deviation from the ED result

1197: is found for $\left\langle S_0^zS_{r=2}^z\right\rangle =0.0169$. This

1198: discrepancy arises from finite size effects and an imperfect topology of the

1199: cluster.

1200: 

1201: We now describe the low-energy spectrum of the environment. As the dynamics

1202: of N\'{e}el order parameter is the one of a free rotator, the low-energy

1203: levels scale as $E(S)\sim S(S+1)/N$, where the inertia of that rotator is

1204: proportional to the number of sites \cite{Hasenfratz,Misguich}. The

1205: environment lowest-energy levels (tower of states) belonging to different

1206: irreducible representations of the lattice point group are shown in Fig. 2

1207: for different $S$ sectors. The $SU(2)$ breaking due to long-range N\'{e}el

1208: order appears as a set of $A_1$-states, lying off from other levels, with an

1209: energy scaling as $E(S)\sim S(S+1)$.

1210: 

1211: In the remainder of this section we describe a version of the truncation

1212: procedure. The main idea will be illustrated on an example of the ground

1213: states properties. An inspection of results for the current and previous

1214: clusters reveals that one have to take the lowest-lying environment

1215: eigenstates both in the $0A_1$ and $1A_1$ sectors. As for the number of kept

1216: states it seems to be most simple to take $M$ states equally from the both

1217: subspaces, albeit the choice may not be optimal. To prove that this concept

1218: works we recalculate the observables found above on various number of

1219: envronment states kept (see Table V). As can be seen from Fig. 3 the

1220: convergence of the results is exponentially fast in $M$. Merely keeping 100

1221: basis states may be as efficient as keeping of all 633 environment states

1222: intact. We regard the resulting better than 0.01\% agreement for $%

1223: \varepsilon $ and $\ m$ as support for the efficiency of our truncation

1224: procedure.

1225: 

1226: \begin{table}[t]

1227: \caption{Convergence of the ground state properties vs number of environment

1228: states kept.}

1229: \label{truncation}%

1230: \begin{ruledtabular}

1231: \begin{tabular}{ccccccc}

1232: $M(0A_1)$ & $M(1A_1)$ & $E_0/J$ & $\varepsilon /J$ & $m$ & $ \left\langle

1233: S_0^zS^z(1)\right\rangle $  & $ \left\langle S_0^zS^z(\sqrt{2})\right\rangle $  \\ \hline

1234: 1 & 1 & -7.9010 & -0.2410 & 0.354897 & -0.080333 & 0.065647 \\ 

1235: 5 & 5 & -8.1018 & -0.3136 & 0.304148 & -0.104533 & 0.071420 \\ 

1236: 10 & 10 & -8.1282 & -0.3238 & 0.304928 & -0.107933 & 0.073201 \\ 

1237: 20 & 20 & -8.1378 & -0.3279 & 0.305707 & -0.109300 & 0.073872 \\ 

1238: 50 & 50 & -8.1425 & -0.3301 & 0.305101 & -0.110033 & 0.074247 \\ 

1239: 100 & 100 & -8.1429 & -0.3303 & 0.305187 & -0.110100 & 0.074289 \\ 

1240: 194 & 194 & -8.1430 & -0.3304 & 0.305187 & -0.110133 & 0.074300

1241: \end{tabular}

1242: \end{ruledtabular}

1243: \end{table}

1244: 

1245: \section{Conclusions.}

1246: 

1247: In this paper we present a quantum cluster solver for spin-$S$ Heisenberg

1248: model on a two-dimensional lattice. The formalism is based on the real-space

1249: renormalization procedure and uses the lattice point group-theoretical

1250: analysis and nonabelian $SU(2)$ spin symmetry technique. Let us summarize

1251: advantages of the approach:

1252: 

1253: (i) The cluster spin states are decomposed into parts belonging to different

1254: irreducible representations of the lattice point group and to different

1255: values of the total spin. Due to the embedded group-theoretical analysis,

1256: our approach can handle each of the cluster target states independently that

1257: offers a distinct advantage for parallel computation.

1258: 

1259: (ii) An extension of MPM destined for quantum spin chains to higher

1260: dimensions has inspired construction of variational methods for the ground

1261: states of 2D spin Hamiltonians (vertex state models \cite{Zittartz}, tensor

1262: product variational approach \cite{Nishino1}, tensor product ansatz \cite

1263: {Martin}). Since, the trial states are represented by two-dimensional

1264: product of local weights, these approaches are face with severe limitations

1265: concerning their applicability because of relation between a spin value and

1266: lattice topology. The shortcoming lacks in our formalism.

1267: 

1268: (iii) Large sparce-matrix diagonalization algorithms (Lanscoz technique, for

1269: example) used in DMRG and ED methods converge to maximum and minimum

1270: eigenvalues of a model Hamiltonian, i.e. to eigenvalues at the edges of the

1271: spectrum. Our approach gives access to eigenstates of an entire spectrum.

1272: 

1273: (iv) Combined with decimation procedure of the environment states like those

1274: used in DMRG\ technique the group-theoretical analysis allows us to overcome

1275: exponential growth of computational efforts with increase of system size.

1276: Our approach using the total spin $S$ and the irrep index $\Gamma \mu $ as

1277: good quantum numbers yields a rather reliable truncation procedure of the

1278: Hilbert space of the model Hamiltonian.

1279: 

1280: (v) Calculation of observables for the central spin involving a density

1281: matrix of the environment reduces edge effects which are inevitable on

1282: finite-size clusters.

1283: 

1284: The major drawback of the formalism is that it does not allow an easy

1285: implementation: a complexity in construction of basic sets via repeated

1286: evaluation of $6j$ and $6\Gamma $ symbols, the calculation involves two

1287: matrix diagonalizations etc. The performance gains from implementing the $%

1288: SU(2)$ and lattice point symmetries are not impressive in comparison with

1289: gains from exploiting just the simple $U(1)$ symmetry leading to total

1290: magnetization as good quantum number. Their using in studies with larger

1291: clusters without truncation cannot help to alleviate the problem of

1292: exponential growth of computational efforts.

1293: 

1294: In the method that we suggest, short range correlations on the scale of the

1295: cluster are taken into account, while correlations on a scale larger than

1296: the cluster size are neglected. To overcome this shortcoming we need to

1297: restore translational symmetry of the lattice. The results of these

1298: investigations will be reported elsewhere. In this connection, we note that

1299: the translational invariance holds for the DCM\ and CCM\ methods.

1300: 

1301: \acknowledgments

1302: We would like to thanks V.V. Valkov and S.G. Ovchinnikov for the useful

1303: discussions. This work was partly supported by the grant NREC-005 of USA

1304: CRDF (Civilian Research \& Development Foundation). One of us (V.E.S.)

1305: thanks the Foundation ''Dynasty'' (Moscow) for the support.

1306: 

1307: \section{Appendix A}

1308: 

1309: Let $\left| i_IS_I\Gamma _I\;i_{II}S_{II}\Gamma _{II};SM\Gamma \mu

1310: \right\rangle $ is a state with total spin $S$, third component $M$, and

1311: transforming according to irreducible representation $\Gamma \mu $. This

1312: state appears in the tensor product decomposition $\left( i_IS_I\Gamma

1313: _I\right) \times \left( i_{II}S_{II}\Gamma _{II}\right) $, where $\left(

1314: iS\Gamma \right) $ denotes a state with total spin $S$, irreducible

1315: representation $\Gamma $ and $i$ labels other possible quantum numbers.

1316: 

1317: We need to compute the matrix element

1318: 

1319: \[

1320: \left\langle i_IS_I\Gamma _I\;i_{II}S_{II}\Gamma _{II};SM\Gamma \mu \left|

1321: \left[ U^{1\gamma }\times W^{1\gamma }\right] _{01}^{0A_1}\right|

1322: i_I^{\prime }S_I^{\prime }\Gamma _I^{\prime }\;i_{II}^{\prime

1323: }S_{II}^{\prime }\Gamma _{II}^{\prime };S^{\prime }M^{\prime }\Gamma

1324: ^{\prime }\mu ^{\prime }\right\rangle 

1325: \]

1326: \[

1327: =\sum_{q\nu }\sum\limits_{\left\{ m,\mu \right\} }\left( -1\right) ^q\left[ 

1328: \begin{array}{ccc}

1329: \gamma & \gamma & A_1 \\ 

1330: \nu & \nu & 1

1331: \end{array}

1332: \right] \left[ 

1333: \begin{array}{ccc}

1334: \Gamma _I & \Gamma _{II} & \Gamma \\ 

1335: \mu _I & \mu _{II} & \mu

1336: \end{array}

1337: \right] ^{*}\left[ 

1338: \begin{array}{ccc}

1339: \Gamma _I^{\prime } & \Gamma _{II}^{\prime } & \Gamma ^{\prime } \\ 

1340: \mu _I^{\prime } & \mu _{II}^{\prime } & \mu ^{\prime }

1341: \end{array}

1342: \right] \left[ 

1343: \begin{array}{ccc}

1344: S_I & S_{II} & S \\ 

1345: m_I & m_{II} & M

1346: \end{array}

1347: \right] \left[ 

1348: \begin{array}{ccc}

1349: S_I^{\prime } & S_{II}^{\prime } & S^{\prime } \\ 

1350: m_I^{\prime } & m_{II}^{\prime } & M^{\prime }

1351: \end{array}

1352: \right] 

1353: \]

1354: \begin{equation}

1355: \times \left\langle i_IS_Im_I\Gamma _I\mu _I\left| U_{q\nu }^{1\gamma

1356: }\right| i_I^{\prime }S_I^{\prime }m_I^{\prime }\Gamma _I^{\prime }\mu

1357: _I^{\prime }\right\rangle \left\langle i_{II}S_{II}m_{II}\Gamma _{II}\mu

1358: _{II}\left| W_{-q\nu }^{1\gamma }\right| i_{II}^{\prime }S_{II}^{\prime

1359: }m_{II}^{\prime }\Gamma _{II}^{\prime }\mu _{II}^{\prime }\right\rangle .

1360: \label{Vint}

1361: \end{equation}

1362: The Wigner-Eckart theorem for a double irreducible tensor reads 

1363: \begin{equation}

1364: \left\langle i_IS_Im_I\Gamma _I\mu _I\left| W_{q\nu }^{1\gamma }\right|

1365: i_I^{\prime }S_I^{\prime }m_I^{\prime }\Gamma _I^{\prime }\mu _I^{\prime

1366: }\right\rangle =(-1)^{S_I-m_I}\left( 

1367: \begin{array}{ccc}

1368: S_I & 1 & S_I^{\prime } \\ 

1369: -m_I & q & m_I^{\prime }

1370: \end{array}

1371: \right) \left[ 

1372: \begin{array}{ccc}

1373: \gamma & \Gamma _I^{\prime } & \Gamma _I \\ 

1374: \nu & \mu _I^{\prime } & \mu _I

1375: \end{array}

1376: \right] ^{*}\left\langle i_IS_I\Gamma _I\left\| W^{1\gamma }\right\|

1377: i_I^{\prime }S_I^{\prime }\Gamma _I^{\prime }\right\rangle ,  \label{WEPG}

1378: \end{equation}

1379: where the $3j$ symbol is related to the Clebsch-Gordan coefficient by 

1380: \[

1381: \left( 

1382: \begin{array}{ccc}

1383: S_1 & S_2 & S_3 \\ 

1384: m_1 & m_2 & m_3

1385: \end{array}

1386: \right) =\frac 1{\sqrt{2S_3+1}}(-1)^{S_I+S_2-m_3}\left[ 

1387: \begin{array}{ccc}

1388: S_1 & S_2 & S_3 \\ 

1389: m_1 & m_2 & -m_3

1390: \end{array}

1391: \right] . 

1392: \]

1393: A full contraction of five Clebsch-Gordan coefficients of the point group

1394: may be written via the $6\Gamma $ symbol

1395: 

1396: \[

1397: F(\Gamma _I\Gamma _{II}\Gamma ;\Gamma _I^{\prime }\Gamma _{II}^{\prime

1398: }\gamma )=\sum\limits_{\nu \mu _I\mu _{II}\mu _I^{\prime }\mu _{II}^{\prime

1399: }}\left[ 

1400: \begin{array}{ccc}

1401: \gamma & \gamma & A_1 \\ 

1402: \nu & \nu & 1

1403: \end{array}

1404: \right] \left[ 

1405: \begin{array}{ccc}

1406: \Gamma _I & \Gamma _{II} & \Gamma \\ 

1407: \mu _I & \mu _{II} & \mu

1408: \end{array}

1409: \right] ^{*}\left[ 

1410: \begin{array}{ccc}

1411: \Gamma _I^{\prime } & \Gamma _{II}^{\prime } & \Gamma ^{\prime } \\ 

1412: \mu _I^{\prime } & \mu _{II}^{\prime } & \mu ^{\prime }

1413: \end{array}

1414: \right] \left[ 

1415: \begin{array}{ccc}

1416: \gamma & \Gamma _I^{\prime } & \Gamma _I \\ 

1417: \nu & \mu _I^{\prime } & \mu _I

1418: \end{array}

1419: \right] ^{*}\left[ 

1420: \begin{array}{ccc}

1421: \gamma & \Gamma _{II}^{\prime } & \Gamma _{II} \\ 

1422: \nu & \mu _{II}^{\prime } & \mu _{II}

1423: \end{array}

1424: \right] ^{*} 

1425: \]

1426: \begin{equation}

1427: \sim \left\{ 

1428: \begin{array}{ccc}

1429: \Gamma _I & \Gamma _{II} & \Gamma \\ 

1430: \Gamma _{II}^{\prime } & \Gamma _I^{\prime } & \gamma

1431: \end{array}

1432: \right\} \left[ 

1433: \begin{array}{ccc}

1434: A_1 & \Gamma ^{\prime } & \Gamma \\ 

1435: 1 & \mu ^{\prime } & \mu

1436: \end{array}

1437: \right] \delta _{\Gamma \Gamma ^{^{\prime }}}\delta _{\mu \mu ^{^{\prime }}},

1438: \label{6G}

1439: \end{equation}

1440: however, it is more convenient to find directly this sum.

1441: 

1442: Substituting (\ref{WEPG}) into (\ref{Vint}) and performing the sum with the

1443: aid of Eq.(\ref{6G}) and the formula (see \cite{Varshalovich}, for example) 

1444: \[

1445: \sum\limits_{\chi \psi \rho \sigma \tau }\left( -1\right) ^{p-\psi +q-\chi

1446: +r-\rho +s-\sigma +t-\tau }\left( 

1447: \begin{array}{ccc}

1448: p & a & q \\ 

1449: \psi & -\alpha & \chi

1450: \end{array}

1451: \right) \left( 

1452: \begin{array}{ccc}

1453: q & r & t \\ 

1454: -\chi & \rho & \tau

1455: \end{array}

1456: \right) 

1457: \]

1458: \begin{equation}

1459: \times \left( 

1460: \begin{array}{ccc}

1461: r & a & s \\ 

1462: -\rho & \alpha ^{\prime } & \sigma

1463: \end{array}

1464: \right) \left( 

1465: \begin{array}{ccc}

1466: s & p & t \\ 

1467: -\sigma & -\psi & -\tau

1468: \end{array}

1469: \right) =\frac{(-1)^{a-\alpha }}{(2a+1)}\left\{ 

1470: \begin{array}{ccc}

1471: q & p & a \\ 

1472: s & r & t

1473: \end{array}

1474: \right\} \delta _{aa^{\prime }}\delta _{\alpha \alpha ^{\prime }}

1475: \label{4KG}

1476: \end{equation}

1477: we get finally 

1478: \[

1479: \left\langle i_IS_I\Gamma _I\;i_{II}S_{II}\Gamma _{II};SM\Gamma \mu \left|

1480: \left[ U^{1\gamma }\times W^{1\gamma }\right] _{01}^{0A_1}\right|

1481: i_I^{\prime }S_I^{\prime }\Gamma _I^{\prime }\;i_{II}^{\prime

1482: }S_{II}^{\prime }\Gamma _{II}^{\prime };S^{\prime }M^{\prime }\Gamma

1483: ^{\prime }\mu ^{\prime }\right\rangle 

1484: \]

1485: \[

1486: =\delta _{SS^{\prime }}\delta _{MM^{\prime }}\delta _{\Gamma \Gamma ^{\prime

1487: }}\delta _{\mu \mu ^{\prime }}\left( -1\right) ^{S_I^{\prime

1488: }+S_{II}+S}\left\{ 

1489: \begin{array}{ccc}

1490: S_I & S_{II} & S \\ 

1491: S_{II}^{\prime } & S_I^{\prime } & 1

1492: \end{array}

1493: \right\} F(\Gamma _I\Gamma _{II}\Gamma ;\Gamma _I^{\prime }\Gamma

1494: _{II}^{\prime }\gamma ) 

1495: \]

1496: \begin{equation}

1497: \times \left\langle i_IS_I\Gamma _I\left\| U^{1\gamma }\right\| i_I^{\prime

1498: }S_I^{\prime }\Gamma _I^{\prime }\right\rangle \left\langle

1499: i_{II}S_{II}\Gamma _{II}\left\| W^{1\gamma }\right\| i_{II}^{\prime

1500: }S_{II}^{\prime }\Gamma _{II}^{\prime }\right\rangle .  \label{Hutext}

1501: \end{equation}

1502: The reduced matrix elements appearing in (\ref{Hutext}) result from the

1503: previous iteration.

1504: 

1505: \section{Appendix B}

1506: 

1507: The systematic increasing cluster size requires an iterative procedure to

1508: compute the reduced matrix elements of the double irreducible tensors $%

1509: U^{1\gamma }$ or $W^{1\gamma }$ (acting on the states with indices $I$ and $%

1510: II$, respectively) in the basis 

1511: \begin{equation}

1512: \left| iSm\Gamma \mu \right\rangle =\sum \alpha _{i_IS_I\Gamma

1513: _I;\,i_{II}S_{II}\Gamma _{II}}^{iS\Gamma }\left[ 

1514: \begin{array}{ccc}

1515: S_I & S_{II} & S \\ 

1516: m_I & m_{II} & m

1517: \end{array}

1518: \right] \left[ 

1519: \begin{array}{ccc}

1520: \Gamma _I & \Gamma _{II} & \Gamma \\ 

1521: \mu _I & \mu _{II} & \mu

1522: \end{array}

1523: \right] \left| i_IS_Im_I\Gamma _I\mu _I\right\rangle \left|

1524: i_{II}S_{II}m_{II}\Gamma _{II}\mu _{II}\right\rangle .  \label{B1}

1525: \end{equation}

1526: with aid of the Wigner-Eckart theorem. On the other hand one can use the

1527: basis of states (\ref{B1}) to obtain

1528: 

1529: \[

1530: \left\langle iSm\Gamma \mu \left| W_{q\nu }^{1\gamma }\right| i^{\prime

1531: }S^{\prime }m^{\prime }\Gamma ^{\prime }\mu ^{\prime }\right\rangle 

1532: \]

1533: \[

1534: =\sum \alpha _{i_IS_I\Gamma _I;\,i_{II}S_{II}\Gamma _{II}}^{iS\Gamma }\alpha

1535: _{i_IS_I\Gamma _I;\,i_{II}^{\prime }S_{II}^{\prime }\Gamma _{II}^{\prime

1536: }}^{i^{\prime }S^{\prime }\Gamma ^{\prime

1537: }}\sum\limits_{m_Im_{II}m_{II}^{^{\prime }}}\left[ 

1538: \begin{array}{ccc}

1539: S_I & S_{II} & S \\ 

1540: m_I & m_{II} & m

1541: \end{array}

1542: \right] \left[ 

1543: \begin{array}{ccc}

1544: S_I & S_{II}^{\prime } & S^{\prime } \\ 

1545: m_I & m_{II}^{\prime } & m^{\prime }

1546: \end{array}

1547: \right] \left( -1\right) ^{S_{II}-m_{II}}\left( 

1548: \begin{array}{ccc}

1549: S_{II} & 1 & S_{II}^{\prime } \\ 

1550: -m_{II} & q & m_{II}^{\prime }

1551: \end{array}

1552: \right) 

1553: \]

1554: \begin{equation}

1555: \times \sum\limits_{\mu _I\mu _{II}\mu _{II}^{^{\prime }}}\left[ 

1556: \begin{array}{ccc}

1557: \gamma _I & \Gamma _{II} & \Gamma \\ 

1558: \mu _I & \mu _{II} & \mu

1559: \end{array}

1560: \right] ^{*}\left[ 

1561: \begin{array}{ccc}

1562: \Gamma _I & \Gamma _{II}^{\prime } & \Gamma \\ 

1563: \mu _I & \mu _{II}^{\prime } & \mu

1564: \end{array}

1565: \right] \left[ 

1566: \begin{array}{ccc}

1567: \gamma & \Gamma _{II}^{\prime } & \Gamma _{II} \\ 

1568: \mu & \mu _{II}^{\prime } & \mu _{II}

1569: \end{array}

1570: \right] ^{*}\left\langle i_{II}S_{II}\Gamma _{II}\left\| W^{1\gamma

1571: }\right\| i_{II}^{\prime }S_{II}^{\prime }\Gamma _{II}^{\prime }\right\rangle

1572: \label{B3}

1573: \end{equation}

1574: The sum over $m_I$, $m_{II}$ and $m_{II}^{^{\prime }}$ is performed with the

1575: aid of the formula 

1576: \[

1577: \sum\limits_{\chi \psi \rho }\left( -1\right) ^{p-\psi +q-\chi +r-\rho

1578: }\left( 

1579: \begin{array}{ccc}

1580: p & a & q \\ 

1581: \psi & \alpha & -\chi

1582: \end{array}

1583: \right) \left( 

1584: \begin{array}{ccc}

1585: q & b & r \\ 

1586: \chi & \beta & -\rho

1587: \end{array}

1588: \right) \left( 

1589: \begin{array}{ccc}

1590: r & c & p \\ 

1591: \rho & \gamma & -\psi

1592: \end{array}

1593: \right) 

1594: \]

1595: \begin{equation}

1596: =\left( 

1597: \begin{array}{ccc}

1598: a & b & c \\ 

1599: -\alpha & -\beta & -\gamma

1600: \end{array}

1601: \right) \left\{ 

1602: \begin{array}{ccc}

1603: a & b & c \\ 

1604: r & p & q

1605: \end{array}

1606: \right\}  \label{three3j}

1607: \end{equation}

1608: The sum of three Clebsch-Gordan coefficients of the lattice point group in

1609: turn can be transformed as follows 

1610: \[

1611: \sum\limits_{\mu _I\mu _{II}\mu _{II}^{^{\prime }}}\sum\limits_{\bar{\nu}%

1612: \bar{\mu}^{\prime }}\left[ 

1613: \begin{array}{ccc}

1614: \Gamma _I & \Gamma _{II} & \Gamma \\ 

1615: \mu _I & \mu _{II} & \mu

1616: \end{array}

1617: \right] ^{*}\left[ 

1618: \begin{array}{ccc}

1619: \Gamma _I & \Gamma _{II}^{\prime } & \Gamma ^{\prime } \\ 

1620: \mu _I & \mu _{II}^{\prime } & \bar{\mu}^{\prime }

1621: \end{array}

1622: \right] \left[ 

1623: \begin{array}{ccc}

1624: \gamma & \Gamma _{II}^{\prime } & \Gamma _{II} \\ 

1625: \bar{\nu} & \mu _{II}^{\prime } & \mu _{II}

1626: \end{array}

1627: \right] ^{*}\delta _{\nu \bar{\nu}}\delta _{\mu ^{\prime }\bar{\mu}^{\prime

1628: }} 

1629: \]

1630: \[

1631: =\sum\limits_{\mu _I\mu _{II}\mu _{II}^{^{\prime }}}\sum\limits_{\bar{\nu}%

1632: \bar{\mu}^{\prime }}\left[ 

1633: \begin{array}{ccc}

1634: \Gamma _I & \Gamma _{II} & \Gamma \\ 

1635: \mu _I & \mu _{II} & \mu

1636: \end{array}

1637: \right] ^{*}\left[ 

1638: \begin{array}{ccc}

1639: \Gamma _I & \Gamma _{II}^{\prime } & \Gamma ^{\prime } \\ 

1640: \mu _I & \mu _{II}^{\prime } & \bar{\mu}^{\prime }

1641: \end{array}

1642: \right] \left[ 

1643: \begin{array}{ccc}

1644: \gamma & \Gamma _{II}^{\prime } & \Gamma _{II} \\ 

1645: \bar{\nu} & \mu _{II}^{\prime } & \mu _{II}

1646: \end{array}

1647: \right] ^{*}\sum\limits_{\bar{\Gamma}\bar{\mu}}\left[ 

1648: \begin{array}{ccc}

1649: \gamma & \Gamma ^{\prime } & \bar{\Gamma} \\ 

1650: \nu & \mu ^{\prime } & \bar{\mu}

1651: \end{array}

1652: \right] ^{*}\left[ 

1653: \begin{array}{ccc}

1654: \gamma & \Gamma ^{\prime } & \bar{\Gamma} \\ 

1655: \bar{\nu} & \bar{\mu}^{\prime } & \bar{\mu}

1656: \end{array}

1657: \right] 

1658: \]

1659: \[

1660: =\sum\limits_{\bar{\Gamma}\bar{\mu}}\left[ 

1661: \begin{array}{ccc}

1662: \gamma & \Gamma ^{\prime } & \bar{\Gamma} \\ 

1663: \nu & \mu ^{\prime } & \bar{\mu}

1664: \end{array}

1665: \right] ^{*}\sum\limits_{\mu _I\mu _{II}\mu _{II}^{^{\prime }}}\sum\limits_{%

1666: \bar{\nu}\bar{\mu}^{\prime }}\left[ 

1667: \begin{array}{ccc}

1668: \Gamma _I & \Gamma _{II} & \Gamma \\ 

1669: \mu _I & \mu _{II} & \mu

1670: \end{array}

1671: \right] ^{*}\left[ 

1672: \begin{array}{ccc}

1673: \Gamma _I & \Gamma _{II}^{\prime } & \Gamma ^{\prime } \\ 

1674: \mu _I & \mu _{II}^{\prime } & \bar{\mu}^{\prime }

1675: \end{array}

1676: \right] \left[ 

1677: \begin{array}{ccc}

1678: \gamma & \Gamma _{II}^{\prime } & \Gamma _{II} \\ 

1679: \bar{\nu} & \mu _{II}^{\prime } & \mu _{II}

1680: \end{array}

1681: \right] ^{*}\left[ 

1682: \begin{array}{ccc}

1683: \gamma & \Gamma ^{\prime } & \bar{\Gamma} \\ 

1684: \bar{\nu} & \bar{\mu}^{\prime } & \bar{\mu}

1685: \end{array}

1686: \right] 

1687: \]

1688: 

1689: After permutation of the first and second columns in the third

1690: Clebsch-Gordan coefficient the sum over projections $\mu _I$, $\mu _{II}$, $%

1691: \mu _{II}^{^{\prime }}$, $\bar{\nu}$, and $\bar{\mu}^{\prime }$ is easily

1692: performed that gives immediately $6\Gamma $ symbol \cite{Griffith} 

1693: \begin{equation}

1694: \sum\limits_{\bar{\Gamma}\bar{\mu}}\left[ 

1695: \begin{array}{ccc}

1696: \gamma & \Gamma ^{\prime } & \bar{\Gamma} \\ 

1697: \bar{\nu} & \bar{\mu}^{\prime } & \bar{\mu}

1698: \end{array}

1699: \right] ^{*}\left\{ 

1700: \begin{array}{ccc}

1701: \gamma & \Gamma _{II}^{\prime } & \Gamma _{II} \\ 

1702: \Gamma _I & \Gamma & \Gamma ^{\prime }

1703: \end{array}

1704: \right\} \delta _{\Gamma \bar{\Gamma}}\delta _{\mu \bar{\mu}}\,\varepsilon

1705: \left( \Gamma _I\Gamma _{II}^{\prime }\Gamma ^{\prime }\right) ,

1706: \label{sixG}

1707: \end{equation}

1708: where we use the symmetry property of the Clebsch-Gordan coefficients 

1709: \[

1710: \left[ 

1711: \begin{array}{ccc}

1712: \Gamma _1 & \Gamma _2 & \Gamma \\ 

1713: \mu _1 & \mu _2 & \mu

1714: \end{array}

1715: \right] =\varepsilon \left( \Gamma _1\Gamma _2\Gamma \right) \left[ 

1716: \begin{array}{ccc}

1717: \Gamma _2 & \Gamma _1 & \Gamma \\ 

1718: \mu _2 & \mu _1 & \mu

1719: \end{array}

1720: \right] , 

1721: \]

1722: and the sign $\varepsilon \left( \Gamma _1\Gamma _2\Gamma \right) =\pm 1$

1723: depends on the point group.

1724: 

1725: The reduced matrix element can be computed using (\ref{B3},\ref{sixG}) that

1726: yields the results 

1727: \[

1728: \left\langle iS\Gamma \left\| W^{1\gamma }\right\| i^{\prime }S^{\prime

1729: }\Gamma ^{\prime }\right\rangle =\sum \alpha _{i_IS_I\Gamma

1730: _I;\,i_{II}S_{II}\Gamma _{II}}^{iS\Gamma }\alpha _{i_IS_I\Gamma

1731: _I;\,i_{II}^{\prime }S_{II}^{\prime }\Gamma _{II}^{\prime }}^{i^{\prime

1732: }S^{\prime }\Gamma ^{\prime }} 

1733: \]

1734: \begin{equation}

1735: \times \left( -1\right) ^{1+S_I+S_{II}^{\prime }+S}\left[ S,S^{\prime

1736: }\right] ^{1/2}\left\{ 

1737: \begin{array}{ccc}

1738: S & 1 & S^{\prime } \\ 

1739: S_{II}^{\prime } & S_I & S_{II}

1740: \end{array}

1741: \right\} \left\langle i_{II}S_{II}\Gamma _{II}\left\| W^{1\gamma }\right\|

1742: i_{II}^{\prime }S_{II}^{\prime }\Gamma _{II}^{\prime }\right\rangle \left\{ 

1743: \begin{array}{ccc}

1744: \gamma & \Gamma _{II}^{\prime } & \Gamma _{II} \\ 

1745: \Gamma _I & \Gamma & \Gamma ^{\prime }

1746: \end{array}

1747: \right\} \varepsilon \left( \Gamma _I\Gamma _{II}^{\prime }\Gamma ^{\prime

1748: }\right) ,  \label{B4}

1749: \end{equation}

1750: and 

1751: \[

1752: \left\langle iS\Gamma \left\| U^{1\gamma }\right\| i^{\prime }S^{\prime

1753: }\Gamma ^{\prime }\right\rangle =\sum \alpha _{i_IS_I\Gamma

1754: _I;\,i_{II}S_{II}\Gamma _{II}}^{iS\Gamma }\alpha _{i_I^{\prime }S_I^{\prime

1755: }\Gamma _I^{\prime };\,i_{II}S_{II}\Gamma _{II}}^{i^{\prime }S^{\prime

1756: }\Gamma ^{\prime }} 

1757: \]

1758: \begin{equation}

1759: \times \left( -1\right) ^{1+S_I+S_{II}+S^{\prime }}\left[ S,S^{\prime

1760: }\right] ^{1/2}\left\{ 

1761: \begin{array}{ccc}

1762: S & 1 & S^{\prime } \\ 

1763: S_I^{\prime } & S_{II} & S_I

1764: \end{array}

1765: \right\} \left\langle i_IS_I\Gamma _I\left\| U^{1\gamma }\right\|

1766: i_I^{\prime }S_I^{\prime }\Gamma _I^{\prime }\right\rangle \left\{ 

1767: \begin{array}{ccc}

1768: \gamma & \Gamma _I^{\prime } & \Gamma _I \\ 

1769: \Gamma _{II} & \Gamma & \Gamma ^{\prime }

1770: \end{array}

1771: \right\} ,  \label{B5}

1772: \end{equation}

1773: where $\left[ S\right] \equiv \left( 2S+1\right) $.

1774: 

1775: \section{Appendix C}

1776: 

1777: Here, we give a detailed derivation of representation for the $D_4$ point

1778: group in the basis of four coupled connector spins

1779: 

1780: \[

1781: \left| S_1S_2(S_{12})S_3S_4(S_{34})SM\right\rangle =\sum \left[ 

1782: \begin{array}{ccc}

1783: S_1 & S_2 & S_{12} \\ 

1784: m_1 & m_2 & m_{12}

1785: \end{array}

1786: \right] \left[ 

1787: \begin{array}{ccc}

1788: S_3 & S_4 & S_{34} \\ 

1789: m_3 & m_4 & m_{34}

1790: \end{array}

1791: \right] \left[ 

1792: \begin{array}{ccc}

1793: S_{12} & S_{34} & S \\ 

1794: m_{12} & m_{34} & M

1795: \end{array}

1796: \right] \left| S_1m_1\right\rangle \left| S_2m_2\right\rangle \left|

1797: S_3m_3\right\rangle \left| S_4m_4\right\rangle . 

1798: \]

1799: 

1800: Consider first the $\pi /2$ rotation $\hat{C}_4$ about the $z$ axis 

1801: \[

1802: \hat{C}_4\left| S_1S_2(S_{12})S_3S_4(S_{34})SM\right\rangle

1803: =\sum_{m_1,m_2}\sum_{m_3,m_4}\sum\limits_{m_{12},m_{34}}\left[ 

1804: \begin{array}{ccc}

1805: S_1 & S_2 & S_{12} \\ 

1806: m_1 & m_2 & m_{12}

1807: \end{array}

1808: \right] \left[ 

1809: \begin{array}{ccc}

1810: S_3 & S_4 & S_{34} \\ 

1811: m_3 & m_4 & m_{34}

1812: \end{array}

1813: \right] \left[ 

1814: \begin{array}{ccc}

1815: S_{12} & S_{34} & S \\ 

1816: m_{12} & m_{34} & M

1817: \end{array}

1818: \right] \left| S_2m_2\right\rangle \left| S_3m_3\right\rangle \left|

1819: S_4m_4\right\rangle \left| S_1m_1\right\rangle 

1820: \]

1821: \[

1822: =\sum_{m_1,m_2}\sum_{m_3,m_4}\sum\limits_{m_{12},m_{34}}\left[ 

1823: \begin{array}{ccc}

1824: S_1 & S_2 & S_{12} \\ 

1825: m_1 & m_2 & m_{12}

1826: \end{array}

1827: \right] \left[ 

1828: \begin{array}{ccc}

1829: S_3 & S_4 & S_{34} \\ 

1830: m_3 & m_4 & m_{34}

1831: \end{array}

1832: \right] \left[ 

1833: \begin{array}{ccc}

1834: S_{12} & S_{34} & S \\ 

1835: m_{12} & m_{34} & M

1836: \end{array}

1837: \right] 

1838: \]

1839: \[

1840: \times \sum_{\bar{m}_1,\bar{m}_2}\sum\limits_{\bar{m}_3,\bar{m}_4}\left| S_2%

1841: \bar{m}_2\right\rangle \left| S_3\bar{m}_3\right\rangle \left| S_4\bar{m}%

1842: _4\right\rangle \left| S_1\bar{m}_1\right\rangle \delta _{\bar{m}%

1843: _2m_2}\delta _{\bar{m}_3m_3}\delta _{\bar{m}_4m_4}\delta _{\bar{m}_1m_1} 

1844: \]

1845: To proceed we use the orthogonality property for the Clebsch-Gordan

1846: coefficients 

1847: \[

1848: \delta _{\bar{m}_2m_2}\delta _{\bar{m}_3m_3}\delta _{\bar{m}_4m_4}\delta _{%

1849: \bar{m}_1m_1}=\sum\limits_{S_{14},m_{14}}\sum\limits_{S_{23},m_{23}}\left[ 

1850: \begin{array}{ccc}

1851: S_2 & S_3 & S_{23} \\ 

1852: m_2 & m_3 & m_{23}

1853: \end{array}

1854: \right] \left[ 

1855: \begin{array}{ccc}

1856: S_2 & S_3 & S_{23} \\ 

1857: \bar{m}_2 & \bar{m}_3 & m_{23}

1858: \end{array}

1859: \right] \left[ 

1860: \begin{array}{ccc}

1861: S_4 & S_1 & S_{14} \\ 

1862: m_4 & m_1 & m_{14}

1863: \end{array}

1864: \right] \left[ 

1865: \begin{array}{ccc}

1866: S_4 & S_1 & S_{14} \\ 

1867: \bar{m}_4 & \bar{m}_1 & m_{14}

1868: \end{array}

1869: \right] . 

1870: \]

1871: Then

1872: 

1873: \[

1874: \hat{C}_4\left| S_1S_2(S_{12})S_3S_4(S_{34})SM\right\rangle

1875: =\sum_{m_1,m_2}\sum_{m_3,m_4}\sum\limits_{m_{12},m_{34}}\left[ 

1876: \begin{array}{ccc}

1877: S_1 & S_2 & S_{12} \\ 

1878: m_1 & m_2 & m_{12}

1879: \end{array}

1880: \right] \left[ 

1881: \begin{array}{ccc}

1882: S_3 & S_4 & S_{34} \\ 

1883: m_3 & m_4 & m_{34}

1884: \end{array}

1885: \right] \left[ 

1886: \begin{array}{ccc}

1887: S_{12} & S_{34} & S \\ 

1888: m_{12} & m_{34} & M

1889: \end{array}

1890: \right] 

1891: \]

1892: \[

1893: \times \sum_{\bar{m}_1,\bar{m}_2}\sum\limits_{\bar{m}_3,\bar{m}_4}\left| S_2%

1894: \bar{m}_2\right\rangle \left| S_3\bar{m}_3\right\rangle \left| S_4\bar{m}%

1895: _4\right\rangle \left| S_1\bar{m}_1\right\rangle

1896: \sum\limits_{S_{14},m_{14}}\sum\limits_{S_{23},m_{23}}\left[ 

1897: \begin{array}{ccc}

1898: S_2 & S_3 & S_{23} \\ 

1899: m_2 & m_3 & m_{23}

1900: \end{array}

1901: \right] \left[ 

1902: \begin{array}{ccc}

1903: S_2 & S_3 & S_{23} \\ 

1904: \bar{m}_2 & \bar{m}_3 & m_{23}

1905: \end{array}

1906: \right] \left[ 

1907: \begin{array}{ccc}

1908: S_4 & S_1 & S_{14} \\ 

1909: m_4 & m_1 & m_{14}

1910: \end{array}

1911: \right] \left[ 

1912: \begin{array}{ccc}

1913: S_4 & S_1 & S_{14} \\ 

1914: \bar{m}_4 & \bar{m}_1 & m_{14}

1915: \end{array}

1916: \right] 

1917: \]

1918: \[

1919: =\sum_{m_1,m_2}\sum_{m_3,m_4}\sum\limits_{m_{12},m_{34}}\left[ 

1920: \begin{array}{ccc}

1921: S_1 & S_2 & S_{12} \\ 

1922: m_1 & m_2 & m_{12}

1923: \end{array}

1924: \right] \left[ 

1925: \begin{array}{ccc}

1926: S_3 & S_4 & S_{34} \\ 

1927: m_3 & m_4 & m_{34}

1928: \end{array}

1929: \right] \left[ 

1930: \begin{array}{ccc}

1931: S_{12} & S_{34} & S \\ 

1932: m_{12} & m_{34} & M

1933: \end{array}

1934: \right] \sum_{\bar{m}_1,\bar{m}_2}\sum\limits_{\bar{m}_3,\bar{m}_4}\left| S_2%

1935: \bar{m}_2\right\rangle \left| S_3\bar{m}_3\right\rangle \left| S_4\bar{m}%

1936: _4\right\rangle \left| S_1\bar{m}_1\right\rangle 

1937: \]

1938: \[

1939: \times \sum\limits_{S_{14},m_{14}}\sum\limits_{S_{23},m_{23}}\sum\limits_{%

1940: \bar{m}_{14},\bar{m}_{23}}\left[ 

1941: \begin{array}{ccc}

1942: S_2 & S_3 & S_{23} \\ 

1943: m_2 & m_3 & m_{23}

1944: \end{array}

1945: \right] \left[ 

1946: \begin{array}{ccc}

1947: S_2 & S_3 & S_{23} \\ 

1948: \bar{m}_2 & \bar{m}_3 & \bar{m}_{23}

1949: \end{array}

1950: \right] \left[ 

1951: \begin{array}{ccc}

1952: S_4 & S_1 & S_{14} \\ 

1953: m_4 & m_1 & m_{14}

1954: \end{array}

1955: \right] \left[ 

1956: \begin{array}{ccc}

1957: S_4 & S_1 & S_{14} \\ 

1958: \bar{m}_4 & \bar{m}_1 & \bar{m}_{14}

1959: \end{array}

1960: \right] \delta _{\bar{m}_{23}m_{23}}\delta _{\bar{m}_{14}m_{14}} 

1961: \]

1962: \[

1963: =\sum_{m_1,m_2}\sum_{m_3,m_4}\sum\limits_{m_{12},m_{34}}\left[ 

1964: \begin{array}{ccc}

1965: S_1 & S_2 & S_{12} \\ 

1966: m_1 & m_2 & m_{12}

1967: \end{array}

1968: \right] \left[ 

1969: \begin{array}{ccc}

1970: S_3 & S_4 & S_{34} \\ 

1971: m_3 & m_4 & m_{34}

1972: \end{array}

1973: \right] \left[ 

1974: \begin{array}{ccc}

1975: S_{12} & S_{34} & S \\ 

1976: m_{12} & m_{34} & M

1977: \end{array}

1978: \right] \sum_{\bar{m}_1,\bar{m}_2}\sum\limits_{\bar{m}_3,\bar{m}_4}\left| S_2%

1979: \bar{m}_2\right\rangle \left| S_3\bar{m}_3\right\rangle \left| S_4\bar{m}%

1980: _4\right\rangle \left| S_1\bar{m}_1\right\rangle 

1981: \]

1982: \[

1983: \times \sum\limits_{S_{14},m_{14}}\sum\limits_{S_{23},m_{23}}\sum\limits_{%

1984: \bar{m}_{14},\bar{m}_{23}}\left[ 

1985: \begin{array}{ccc}

1986: S_2 & S_3 & S_{23} \\ 

1987: m_2 & m_3 & m_{23}

1988: \end{array}

1989: \right] \left[ 

1990: \begin{array}{ccc}

1991: S_2 & S_3 & S_{23} \\ 

1992: \bar{m}_2 & \bar{m}_3 & \bar{m}_{23}

1993: \end{array}

1994: \right] \left[ 

1995: \begin{array}{ccc}

1996: S_4 & S_1 & S_{14} \\ 

1997: m_4 & m_1 & m_{14}

1998: \end{array}

1999: \right] \left[ 

2000: \begin{array}{ccc}

2001: S_4 & S_1 & S_{14} \\ 

2002: \bar{m}_4 & \bar{m}_1 & \bar{m}_{14}

2003: \end{array}

2004: \right] 

2005: \]

2006: \[

2007: \times \sum\limits_{\bar{S},\bar{M}}\left[ 

2008: \begin{array}{ccc}

2009: S_{23} & S_{14} & \bar{S} \\ 

2010: m_{23} & m_{14} & \bar{M}

2011: \end{array}

2012: \right] \left[ 

2013: \begin{array}{ccc}

2014: S_{23} & S_{14} & \bar{S} \\ 

2015: \bar{m}_{23} & \bar{m}_{14} & \bar{M}

2016: \end{array}

2017: \right] 

2018: \]

2019: 

2020: A full contraction of six Clebsch-Gordan coefficients yields the $9j$ symbol 

2021: \[

2022: \sum_{m_1,m_2}\sum_{m_3,m_4}\sum\limits_{m_{12},m_{34}}\left[ 

2023: \begin{array}{ccc}

2024: S_1 & S_2 & S_{12} \\ 

2025: m_1 & m_2 & m_{12}

2026: \end{array}

2027: \right] \left[ 

2028: \begin{array}{ccc}

2029: S_3 & S_4 & S_{34} \\ 

2030: m_3 & m_4 & m_{34}

2031: \end{array}

2032: \right] \left[ 

2033: \begin{array}{ccc}

2034: S_{12} & S_{34} & S \\ 

2035: m_{12} & m_{34} & M

2036: \end{array}

2037: \right] \left[ 

2038: \begin{array}{ccc}

2039: S_4 & S_1 & S_{14} \\ 

2040: m_4 & m_1 & m_{14}

2041: \end{array}

2042: \right] \left[ 

2043: \begin{array}{ccc}

2044: S_2 & S_3 & S_{23} \\ 

2045: m_2 & m_3 & m_{23}

2046: \end{array}

2047: \right] \left[ 

2048: \begin{array}{ccc}

2049: S_{23} & S_{14} & \bar{S} \\ 

2050: m_{23} & m_{14} & \bar{M}

2051: \end{array}

2052: \right] 

2053: \]

2054: \[

2055: =\left( -1\right) ^{S_1+S_4-S_{14}}\left( -1\right) ^{S_3+S_4-S_{34}}\left(

2056: -1\right) ^{S_{23}+S_{14}-\bar{S}}\sum_{m_1,m_2}\sum_{m_3,m_4}\sum%

2057: \limits_{m_{12},m_{34}}\left[ 

2058: \begin{array}{ccc}

2059: S_1 & S_2 & S_{12} \\ 

2060: m_1 & m_2 & m_{12}

2061: \end{array}

2062: \right] \left[ 

2063: \begin{array}{ccc}

2064: S_3 & S_4 & S_{34} \\ 

2065: m_3 & m_4 & m_{34}

2066: \end{array}

2067: \right] \left[ 

2068: \begin{array}{ccc}

2069: S_{12} & S_{34} & S \\ 

2070: m_{12} & m_{34} & M

2071: \end{array}

2072: \right] 

2073: \]

2074: \[

2075: \times \left[ 

2076: \begin{array}{ccc}

2077: S_1 & S_4 & S_{14} \\ 

2078: m_1 & m_4 & m_{14}

2079: \end{array}

2080: \right] \left[ 

2081: \begin{array}{ccc}

2082: S_2 & S_3 & S_{23} \\ 

2083: m_2 & m_3 & m_{23}

2084: \end{array}

2085: \right] \left[ 

2086: \begin{array}{ccc}

2087: S_{14} & S_{23} & \bar{S} \\ 

2088: m_{14} & m_{23} & \bar{M}

2089: \end{array}

2090: \right] 

2091: \]

2092: \[

2093: =\left( -1\right) ^{S_1+S_4-S_{14}}\left( -1\right) ^{S_3+S_4-S_{34}}\left(

2094: -1\right) ^{S_{23}+S_{14}-\bar{S}}\left[ \left( 2S_{12}+1\right) \left(

2095: 2S_{14}+1\right) \left( 2S_{23}+1\right) \left( 2S_{34}+1\right) \right]

2096: ^{1/2}\left\{ 

2097: \begin{array}{ccc}

2098: S_1 & S_2 & S_{12} \\ 

2099: S_4 & S_3 & S_{34} \\ 

2100: S_{14} & S_{23} & S

2101: \end{array}

2102: \right\} \delta _{S\bar{S}}\delta _{M\bar{M}}, 

2103: \]

2104: where we use the symmetry relation for the Clebsch-Gordan coefficients 

2105: \[

2106: \left[ 

2107: \begin{array}{ccc}

2108: S_1 & S_2 & S_{12} \\ 

2109: m_1 & m_2 & m_{12}

2110: \end{array}

2111: \right] =(-1)^{S_1+S_2-S_{12}}\left[ 

2112: \begin{array}{ccc}

2113: S_2 & S_1 & S_{12} \\ 

2114: m_2 & m_1 & m_{12}

2115: \end{array}

2116: \right] . 

2117: \]

2118: By introducing the state with the recoupled four spins 

2119: \[

2120: \left| S_2S_3(S_{23})S_4S_1(S_{14})\bar{S}\bar{M}\right\rangle =\sum_{\bar{m}%

2121: _1,\bar{m}_2}\sum\limits_{\bar{m}_3,\bar{m}_4}\sum\limits_{\bar{m}_{14},\bar{%

2122: m}_{23}}\left[ 

2123: \begin{array}{ccc}

2124: S_2 & S_3 & S_{23} \\ 

2125: \bar{m}_2 & \bar{m}_3 & \bar{m}_{23}

2126: \end{array}

2127: \right] \left[ 

2128: \begin{array}{ccc}

2129: S_4 & S_1 & S_{14} \\ 

2130: \bar{m}_4 & \bar{m}_1 & \bar{m}_{14}

2131: \end{array}

2132: \right] \left[ 

2133: \begin{array}{ccc}

2134: S_{23} & S_{14} & \bar{S} \\ 

2135: \bar{m}_{23} & \bar{m}_{14} & \bar{M}

2136: \end{array}

2137: \right] 

2138: \]

2139: \[

2140: \times \left| S_2\bar{m}_2\right\rangle \left| S_3\bar{m}_3\right\rangle

2141: \left| S_4\bar{m}_4\right\rangle \left| S_1\bar{m}_1\right\rangle , 

2142: \]

2143: we get finally 

2144: \[

2145: \hat{C}_4\left| S_1S_2(S_{12})S_3S_4(S_{34})SM\right\rangle

2146: =\sum\limits_{S_{14},S_{23}}\left( -1\right) ^{S_1+S_4-S_{14}}\left(

2147: -1\right) ^{S_3+S_4-S_{34}}\left( -1\right) ^{S_{23}+S_{14}-\bar{S}} 

2148: \]

2149: \[

2150: \times \left[ \left( 2S_{12}+1\right) \left( 2S_{14}+1\right) \left(

2151: 2S_{23}+1\right) \left( 2S_{34}+1\right) \right] ^{1/2}\left\{ 

2152: \begin{array}{ccc}

2153: S_1 & S_2 & S_{12} \\ 

2154: S_4 & S_3 & S_{34} \\ 

2155: S_{14} & S_{23} & S

2156: \end{array}

2157: \right\} \left| S_2S_3(S_{23})S_4S_1(S_{14})SM\right\rangle , 

2158: \]

2159: that is transformation from a coupling scheme to another. Then an action of

2160: the operator $\hat{C}_4\,$is defined by a linear transformation of the basis 

2161: $\kappa ^{\prime }=\left\{ S_1^{\prime }S_2^{\prime }(S_{12}^{\prime

2162: })S_3^{\prime }S_4^{\prime }(S_{34}^{\prime })\right\} $ 

2163: \[

2164: \hat{C}_4\left| \kappa \right\rangle =\sum\limits_{\kappa ^{\prime

2165: }}D_{\kappa ^{\prime }\kappa }^{(S)}\left( \hat{C}_4\right) \left| \kappa

2166: ^{\prime }\right\rangle , 

2167: \]

2168: where the matrix $D_{\kappa ^{\prime }\kappa }^{(S)}\left( \hat{C}_4\right) $

2169: is determined by the expression 

2170: \[

2171: D_{\kappa ^{\prime }\kappa }^{(S)}\left( \hat{C}_4\right) =\delta

2172: _{S_2S_1^{\prime }}\delta _{S_3S_2^{\prime }}\delta _{S_4S_3^{\prime

2173: }}\delta _{S_1S_4^{\prime }}\delta _{S_{23}S_{12}^{\prime }}\delta

2174: _{S_{14}S_{34}^{\prime }}\left[ \left( 2S_{12}+1\right) \left(

2175: 2S_{14}+1\right) \left( 2S_{23}+1\right) \left( 2S_{34}+1\right) \right]

2176: ^{1/2} 

2177: \]

2178: \[

2179: \times \left( -1\right) ^{S_1+S_4-S_{14}}\left( -1\right)

2180: ^{S_3+S_4-S_{34}}\left( -1\right) ^{S_{23}+S_{14}-\bar{S}}\left\{ 

2181: \begin{array}{ccc}

2182: S_1 & S_2 & S_{12} \\ 

2183: S_4 & S_3 & S_{34} \\ 

2184: S_{14} & S_{23} & S

2185: \end{array}

2186: \right\} . 

2187: \]

2188: We can handle analogously another symmetry operations in the $D_4$ group.

2189: 

2190: \section{Appendix D}

2191: 

2192: The standard method for constructing an irreducible basis is to use the

2193: projection operator

2194: 

2195: \begin{equation}

2196: P_\mu ^\Gamma =\frac{\left[ \Gamma \right] }{\left[ G\right] }\sum_{\hat{g}%

2197: \in G}D_{\mu \mu }^{(\Gamma )}(g)\,\hat{g},  \label{Pr1}

2198: \end{equation}

2199: and the shift operator 

2200: \begin{equation}

2201: P_{\mu \nu }^\Gamma =\frac{\left[ \Gamma \right] }{\left[ G\right] }\sum_{%

2202: \hat{g}\in G}D_{\mu \nu }^{(\Gamma )}(g)\,\hat{g},  \label{Pr2}

2203: \end{equation}

2204: where $\left[ G\right] $ is the order of the group $G$, $\left[ \Gamma

2205: \right] $ is the dimension of the irreducible representation $\Gamma $ and $%

2206: D_{\mu \nu }^{(\Gamma )}(g)$ are the irreducible matrix elements, $\mu $ or $%

2207: \nu $ is an index enumerating the basis. Supposing that $\psi $ is one of

2208: the reducible basis vectors of $G$, an irreducible basis might be obtained

2209: by applying 

2210: \begin{equation}

2211: P_\mu ^\Gamma \psi =\left( \psi _\mu ^\Gamma \cdot \psi \right) \psi _\mu

2212: ^\Gamma .  \label{Act1}

2213: \end{equation}

2214: If $\left\{ \psi _\nu ^\Gamma \right\} $ is the basis for the irrerp $\Gamma 

2215: $ then 

2216: \begin{equation}

2217: P_{\mu \nu }^\Gamma \psi _\nu ^\Gamma =\psi _\mu ^\Gamma .  \label{Act2}

2218: \end{equation}

2219: Let us construct irreducible tensors $U_{q\mu }^{1\Gamma }$ from the

2220: operators $\left\{ S_a,S_b,S_c,S_d\right\} $ forming the nearest environment

2221: of the central site. The transformations of one of the given spins under the

2222: elements of the group $D_4$ are 

2223: \[

2224: E\,S_a=S_a,\;C_4\,S_a=S_d,\;C_4^2\,S_a=S_c,\;C_4^3\,S_a=S_b, 

2225: \]

2226: \[

2227: C_2^x\,S_a=S_b,\;C_2^y\,S_a=S_d,\;C_v^{^{\prime }}\,S_a=S_a,\;C_v^{^{\prime

2228: \prime }}\,S_a=S_c, 

2229: \]

2230: that together with (\ref{Pr1}) gives immediately the irreducible tensors $%

2231: U_{q\mu }^{1\Gamma }$ of the one-dimensional representations 

2232: \[

2233: U_{q1}^{1A_1}=N_{A_1}\left( S_a+S_b+S_c+S_d\right) ,\;U_{q1}^{1A_2}=0, 

2234: \]

2235: \[

2236: U_{q1}^{1B_1}=0,\;U_{q1}^{1B_2}=N_{B_2}\left( S_a-S_b+S_c-S_d\right) . 

2237: \]

2238: To find the irredicible basis for the two-dimensional representation $E$ we

2239: construct the projection operator $P_1^E$ and then apply it to the spin $S_a$

2240: that yields 

2241: \[

2242: U_{q1}^{1E}=N_E\left( S_a+S_b-S_c-S_d\right) . 

2243: \]

2244: Using the shift operator (\ref{Pr2}) and acting according to the rule (\ref

2245: {Act2}) we obtain the second irrep basis vector 

2246: \[

2247: U_{q2}^{1E}=N_E\left( S_a-S_b-S_c+S_d\right) . 

2248: \]

2249: We choose the coefficents $N_\Gamma $ ($\Gamma =A_1$, $E$) so that

2250: Hamiltonian written through the irreducible tensors coincides with the

2251: initial spin operator form.

2252: 

2253: It is not always possible to construct all irredicible basises from one

2254: chain. The theory says that one have to choose another starting function. In

2255: a computer realization, therefore, we build all chains generated by all

2256: vectors of a reducible basis 

2257: \begin{equation}

2258: \hat{g}\psi _i=\sum_jD_{ji}\left( \hat{g}\right) \psi _j,  \label{chain}

2259: \end{equation}

2260: and form the matrix $\hat{X}^\Gamma $ from the chains 

2261: \begin{equation}

2262: \hat{X}_{ji}^\Gamma =N_\Gamma \sum_gD_{\mu \mu }^\Gamma \left( \hat{g}%

2263: \right) D_{ji}\left( \hat{g}\right) .  \label{Xop}

2264: \end{equation}

2265: The rank of this matrix 

2266: \[

2267: C_\Gamma =\frac 1{\left[ \Gamma \right] }\sum_g\chi \left( g\right) \chi

2268: ^\Gamma \left( g\right) 

2269: \]

2270: determines a number of linear independent columns, where the character $\chi

2271: \left( \hat{g}\right) =\sum_iD_{ii}\left( \hat{g}\right) $. After these

2272: columns are established, orthogonalized and normalized with the help of

2273: Schmidt-Gram procedure we get the first $C_\Gamma $ columns of the

2274: transformation matrix $\hat{T}_{i,\Gamma \mu }$. By running over all

2275: irreducible representations and repeating the basic steps in the approach we

2276: obtain the square matrix of corresponding similarity transformation onto the

2277: symmetry adapted basis 

2278: \[

2279: \psi _\mu ^\Gamma =\sum_i\hat{T}_{i,\Gamma \mu }\psi _i. 

2280: \]

2281: As an example we calculate $\hat{T}_{S_{12}S_{34},\Gamma \mu }^{(1)}$ for

2282: the nearest-neighbor environment of the central site. The characters of

2283: 3-dimensional representation can be read off from the $3\times 3$ matrices $%

2284: D^{(1)}$ given in Sec. III We thus obtain 

2285: \[

2286: \begin{array}{cccccc}

2287: & E & C_4,C_4^3 & C_4^2 & C_2^x,C_2^y & \sigma _v^{^{\prime }},\sigma

2288: _v^{^{\prime \prime }} \\ 

2289: \chi & 3 & -1 & -1 & -1 & 1

2290: \end{array}

2291: \]

2292: whence we conclude $D^{(1)}=D^{(1B_1)}\oplus D^{(1E)}$. A direct calculation

2293: of $\hat{X}^\Gamma $ matrices from Eq.(\ref{Xop}) yields

2294: 

2295: \[

2296: \hat{X}_{ji}^{B_1}=\frac 18\sum_g\chi ^{B_1}\left( \hat{g}\right)

2297: D_{ji}^{(1)}\left( \hat{g}\right) =\left( 

2298: \begin{array}{ccc}

2299: \frac 12 & \frac 12 & 0 \\ 

2300: \frac 12 & \frac 12 & 0 \\ 

2301: 0 & 0 & 0

2302: \end{array}

2303: \right) , 

2304: \]

2305: \[

2306: \hat{X}_{11}^E=\frac 28\sum_gD_{11}^E\left( \hat{g}\right)

2307: D_{ji}^{(1)}\left( \hat{g}\right) =\left( 

2308: \begin{array}{ccc}

2309: \frac 14 & -\frac 14 & \frac{\sqrt{2}}4 \\ 

2310: -\frac 14 & \frac 14 & -\frac{\sqrt{2}}4 \\ 

2311: \frac{\sqrt{2}}4 & -\frac{\sqrt{2}}4 & \frac 12

2312: \end{array}

2313: \right) , 

2314: \]

2315: and 

2316: \[

2317: \hat{X}_{21}^E=\frac 28\sum_gD_{21}^E\left( \hat{g}\right)

2318: D_{ji}^{(1)}\left( \hat{g}\right) =\left( 

2319: \begin{array}{ccc}

2320: \frac 14 & -\frac 14 & \frac{\sqrt{2}}4 \\ 

2321: -\frac 14 & \frac 14 & -\frac{\sqrt{2}}4 \\ 

2322: -\frac{\sqrt{2}}4 & \frac{\sqrt{2}}4 & -\frac 12

2323: \end{array}

2324: \right) . 

2325: \]

2326: By noticing that ranks of the matrices equal to unity, we find finally via

2327: the Schmidt-Gram procedure the transformation matrix $\hat{T}_{S_{\alpha

2328: \beta }S_{\gamma \eta };\Gamma \mu }^{(1)}$ 

2329: \[

2330: \begin{array}{cccc}

2331: & \left| 1M;B_1\right\rangle & \left| 1M;E1\right\rangle & \left|

2332: 1M;E2\right\rangle \\ 

2333: \left| 01;1M\right\rangle & \frac 1{\sqrt{2}} & \frac 12 & \frac 12 \\ 

2334: \left| 10;1M\right\rangle & \frac 1{\sqrt{2}} & -\frac 12 & -\frac 12 \\ 

2335: \left| 11;1M\right\rangle & 0 & \frac 1{\sqrt{2}} & -\frac 1{\sqrt{2}}

2336: \end{array}

2337: \text{.} 

2338: \]

2339: 

2340: \section{Appendix E}

2341: 

2342: For the reader convenience we give the character table of the group $D_4$%

2343: \[

2344: \begin{array}{cccccc}

2345: D_4 & E & C_4,C_4^{-1} & C_4^2 & C_2^x,C_2^y & C_v^{^{\prime

2346: }},C_v^{^{\prime \prime }} \\ 

2347: A_1 & 1 & 1 & 1 & 1 & 1 \\ 

2348: A_2 & 1 & 1 & 1 & -1 & -1 \\ 

2349: B_1 & 1 & -1 & 1 & 1 & -1 \\ 

2350: B_2 & 1 & -1 & 1 & -1 & 1 \\ 

2351: E & 2 & 0 & -2 & 0 & 0

2352: \end{array}

2353: \]

2354: 

2355: and the matrices of double irreducible representation taken in the basis $xy$

2356: (see \cite{Koster}, for example)

2357: 

2358: $D^{(E)}(E)=\left( 

2359: \begin{array}{cc}

2360: 1 & 0 \\ 

2361: 0 & 1

2362: \end{array}

2363: \right) ,$ $D^{(E)}(C_4)=\left( 

2364: \begin{array}{cc}

2365: 0 & -1 \\ 

2366: 1 & 0

2367: \end{array}

2368: \right) ,$ $D^{(E)}(C_4^2)=\left( 

2369: \begin{array}{cc}

2370: -1 & 0 \\ 

2371: 0 & -1

2372: \end{array}

2373: \right) ,$ $D^{(E)}(C_4^3)=\left( 

2374: \begin{array}{cc}

2375: 0 & 1 \\ 

2376: -1 & 0

2377: \end{array}

2378: \right) ,$

2379: 

2380: $D^{(E)}(C_2^x)=\left( 

2381: \begin{array}{cc}

2382: 1 & 0 \\ 

2383: 0 & -1

2384: \end{array}

2385: \right) ,$ $D^{(E)}(C_2^y)=\left( 

2386: \begin{array}{cc}

2387: -1 & 0 \\ 

2388: 0 & 1

2389: \end{array}

2390: \right) ,$ $D^{(E)}(C_v^{^{\prime }})=\left( 

2391: \begin{array}{cc}

2392: 0 & 1 \\ 

2393: 1 & 0

2394: \end{array}

2395: \right) ,$ $D^{(E)}(C_v^{^{\prime \prime }})=\left( 

2396: \begin{array}{cc}

2397: 0 & -1 \\ 

2398: -1 & 0

2399: \end{array}

2400: \right) $.

2401: 

2402: \begin{references}

2403: \bibitem{Dagotto}  E. Dagotto, Rev. Mod. Phys. {\bf 66}, 763 (1994).

2404: 

2405: \bibitem{White}  S.R. White, Phys. Rev. Lett. {\bf 69}, 2863 (1992); Phys.

2406: Rev. B {\bf 48}, 10345 (1993);

2407: 

2408: \bibitem{Peschel}  I. Peschel, K. Hallberg, X. Wang, and M. Kaulke, 1999,

2409: Eds., {\it Density Matrix Renormalization: a New Numerical Method}, Lecture

2410: Notes in Physics No. 528 (Springer, New York).

2411: 

2412: \bibitem{Schollwock}  U. Schollw\"{o}ck, Rev. Mod. Phys.{\bf 77}, 259 (2005).

2413: 

2414: \bibitem{Xiang}  T. Xiang, J.Z. Lou, and Z.B. Su, Phys. Rev. B {\bf 64},

2415: 104414 (2001).

2416: 

2417: \bibitem{Farnell}  D.J.J. Farnell, Phys. Rev. B {\bf 68}, 134419 (2003).

2418: 

2419: \bibitem{Sandvik}  A.W. Sandvik, Phys. Rev. B {\bf 56}, 11678 (1997).

2420: 

2421: \bibitem{Nishino}  G. Sierra and T. Nishino, Nucl. Phys. B{\bf \ 495}, 505

2422: (1997).

2423: 

2424: \bibitem{Wada}  W. Tatsuaki, Phys. Rev. E {\bf 61}, 3199 (2000).

2425: 

2426: \bibitem{McCulloch}  I.P. McCulloch, M. Gulasci, Aust. J. Phys. {\bf 53},

2427: 597 (2000).

2428: 

2429: \bibitem{Gulasci}  I.P. McCulloch, M. Gulasci, Europhys. Lett. {\bf 57}, 852

2430: (2002).

2431: 

2432: \bibitem{Ostlund}  S. Ostlund and S. Rommer, Phys. Rev. Lett. {\bf 75}, 3537

2433: (1995); Phys. Rev. B {\bf 55}, 2164 (1997).

2434: 

2435: \bibitem{Dukelsky}  J. Dukelsky, M.A. Mart\'{\i}n-Delgado, T. Nishino, and

2436: G. Sierra, Europhys. Lett. {\bf 43}, 457 (1998).

2437: 

2438: \bibitem{Roman}  J.M. Roman, G. Sierra, J. Dukelsky, and M.A.

2439: Mart\'{\i}n-Delgado, J. Phys. A {\bf 31}, 9729 (1998).

2440: 

2441: \bibitem{Manousakis}  E. Manousakis, Rev. Mod. Phys. {\bf 63}, 1 (1991).

2442: 

2443: \bibitem{Barnes}  T. Barnes, J. Mod. Phys. C {\bf 2}, 659 (1991).

2444: 

2445: \bibitem{Lin}  H.-Q. Lin, J.S. Flynn, D.D. Betts, Phys. Rev. B {\bf 64},

2446: 214411 (2001).

2447: 

2448: \bibitem{Campbell}  H.Q. Lin, D.K. Campbell, Phys. Rev. Lett. {\bf 69}, 2415

2449: (1992).

2450: 

2451: \bibitem{Malrieu}  J.P. Malrieu and N. Guih\'{e}ry, Phys. Rev. B {\bf 63},

2452: 085110 (2001).

2453: 

2454: \bibitem{Wind}  P. Wind, N. Guih\'{e}ry, and J.P. Malrieu, Phys. Rev. B {\bf %

2455: 59}, 2556 (1999).

2456: 

2457: \bibitem{Hajj}  M.A. Hajj, N. Guih\'{e}ry, and J.P. Malrieu, P. Wind, Phys.

2458: Rev. B {\bf 70}, 094415 (2004).

2459: 

2460: \bibitem{Bishop}  R.F. Bishop, J.B. Parkinson, and Y. Xian,Phys.Rev. B {\bf %

2461: 43}, 13782 (1991).

2462: 

2463: \bibitem{Hale}  R.F. Bishop, R.G. Hale, and Y. Xian, Phys. Rev. Lett. {\bf 73%

2464: }, 3157 (1994).

2465: 

2466: \bibitem{Cheng}  H.Q. Lin, D.K. Campbell, Y.C. Cheng, and C.Y. Pan, Phys.

2467: Rev. B {\bf 50}, 12701 (1994).

2468: 

2469: \bibitem{Masui}  D.D. Betts, S. Masui, N. Vats, and G.E. Stewart, Can. J.

2470: Phys. {\bf 74}, 54 (1996).

2471: 

2472: \bibitem{Zeng}  C. Zeng, D.J.J. Farnell,and R.F. Bishop, J. Stat. Phys. {\bf %

2473: 90}, 327 (1998).

2474: 

2475: \bibitem{Betts}  D.D. Betts, H.Q. Lin, J.S. Flyn, Can. J. Phys.{\bf \ 77},

2476: 353 (1999).

2477: 

2478: \bibitem{Hasenfratz}  P. Hasenfratz and F. Niedermayer, Z. Phys. B: Condens.

2479: Matter {\bf 92}, 91~(1993).

2480: 

2481: \bibitem{Misguich}  G. Misguich, C. Lhuillier, and B. Bernu, Phys. Rev. B 

2482: {\bf 60}, 1064 (1999).

2483: 

2484: \bibitem{Haan}  O. Haan, J.-U. Klaetke, and K.-H. M\"{u}tter, Phys. Rev. B 

2485: {\bf 46}, 5723 (1992).

2486: 

2487: \bibitem{Mattis}  E.H. Lieb and D.C. Mattis, J. Math. Phys. {\bf 3}, 749

2488: (1962).

2489: 

2490: \bibitem{Koster}  G.F. Koster, J.O. Dimmock, R.G. Wheeler and H. Statz, {\it %

2491: Properties of the Thirty Two Point Groups}, (M.I.T. Press, Cambridge, 1963).

2492: 

2493: \bibitem{Varshalovich}  D.A. Varshalovich, A.N. Moskalev, V.K. Khersonskii, 

2494: {\it Quantum theory of angular momentum} (World Scientific, 1988).

2495: 

2496: \bibitem{Zittartz}  H. Niggemann, A. Kl\"{u}mper and J. Zittartz, Z. Phys. B 

2497: {\bf 104}, 103 (1997); M.A. Ahrens, A. Schadschneider, J. Zittartz, Phys.

2498: Rev. B {\bf 71}, 174432 (2005).

2499: 

2500: \bibitem{Nishino1}  Nishino, T., Y. Hieida, K. Okunishi, N. Maeshima, Y.

2501: Akutsu, and A. Gendiar, Prog. Theor. Phys. {\bf 105}, 409 (2001); the spin-$%

2502: 1/2$ AFH\ model on a square lattice is considered in Y. Nishino, N.

2503: Maeshima, A. Gendiar, and T. Nishino, cond-mat/0401115.

2504: 

2505: \bibitem{Martin}  M.A. Mart\'{\i}n-Delgado, M. Roncaglia, and G. Sierra,

2506: Phys. Rev. B {\bf 64}, 075117 (2001).

2507: 

2508: \bibitem{Elliot}  J.P. Elliot, P.G. Dawber, {\it Symmetry in Physics}

2509: (Macmillan, London, 1979).

2510: 

2511: \bibitem{Griffith}  G.S. Griffith, {\it The irreducible Tensor Method for

2512: Molecular Symmetry Groups}, (New Jersey, 1962).

2513: \end{references}

2514: 

2515: \newpage

2516: 

2517: Fig.1 Clusters used in the calculations.

2518: 

2519: Fig.2 The lowest-energy spectrum of the environment for the cluster $\sqrt{17%

2520: }\times \sqrt{17}$ on the square lattice. The SU(2) symmetry breaks and a

2521: long-range N\'{e}el order appears as a set of $A_1$-states with an energy

2522: scaling as $E(S)\sim S(S+1)$ (dashed line). The symbols represent the

2523: irreducible representations of the different eigenstates.

2524: 

2525: Fig.3 The cluster ground state energy $E$, the energy per bond $\varepsilon $%

2526: , and the staggered magnetization $m$ convergence for the $\sqrt{17}\times 

2527: \sqrt{17}$ cluster vs number of environment states kept.

2528: 

2529: \end{document}

2530: