The Stripe Phase in 4-Leg Ladders and Quantum Impurity Entanglement by Ming-Shyang Chang M . S c , National Tsing Hua University, Taiwan, 2003 A THESIS S U B M I T T E D IN P A R T I A L F U L F I L M E N T OF T H E R E Q U I R E M E N T S F O R T H E D E G R E E OF Doctor of Philosophy in The Faculty of Graduate Studies (Physics) The University Of British Columbia September 11, 2007 © Ming-Shyang Chang2007 11 Abstract The physics of ladder systems and the Kondo problem have an essentially one-dimensional nature. There are powerful tools, such as bosonization and conformal field theory, ap-plicable to these systems. In the first part of this dissertation, the stripe phase in 4-leg ladders is investigated by bosonization and weak-coupling renormalization group equa-tions. A new type of charge-four correlation, bipairing, is proposed and gives a simple explanation of the stripe phase. In the second part, we discuss boundary effects on the entanglement entropy in quantum spin chains and calculate the entanglement entropy in the Kondo-like quantum impurity model. The result on impurity entanglement entropy is generalized to the system with finite size or finite temperature by employing confor-mal field theory methods. The theoretical calculations are also compared with numerical results obtained by density matrix renormalization group methods. i i i Contents Abstract i i Contents i i i List of Tables v List of Figures vi List of Abbreviations ix Acknowledgements x Co-Authorship Statement xi 1 Introduction 1 1.1 Stripes and High Temperature Superconductors 2 1.2 The Stripe Phase in 4-Leg Ladders 9 1.2.1 Continuum Limit and Bosonization . 12 2 Stripes and Bipairing 20 2.1 Total Charge Mode Is Gapless 23 2.2 Gapless Field Is Not the Total Charge Mode 28 2.2.1 New Interactions Due to fcpp + kpq = 7r 30 2.2.2 New Interactions Due to 2kFP + kpq + kpr = 2TT 34 2.2.3 More Than One New Interaction 36 2.2.4 New Interactions Due to Other Conditions 37 2.3 Completely Empty or Filled Bands 38 2.4 Conclusion 38 3 Finite Size Spectrum 40 4 R G For Doped 4-Leg Ladders 45 4.1 R G Potential and Its Implications 45 4.2 The Stripe Phase . . . 49 , 4.3 The Repulsive Hubbard Model 54 Contents iv 5 L i m i t of 2 Decoupled 2-Leg Ladders 58 5.1 Mapping to the 2-Leg Bosonic Model 58 5.2 Concluding Remarks on 4-Leg Stripes 63 6 Impur i ty Entanglement En t ropy . . . 65 6.1 Introduction to Entanglement Entropy and the Impurity Model 65 6.2 Fermi Liquid Theory 69 6.2.1 Spin Chain with an Impurity and the Kondo Model 70 6.2.2 Fermi Liquid Theory for the Kondo Problem 72 6.2.3 Fermi Liquid Theory for Simp • • 73 6.3 The Comparison with D M R G 77 References . . 79 A 4fcp density operators 85 B R G In i t i a l Values and the R G Poten t ia l F o r m 87 C Dimer i za t ion Der iva t ion 90 V List of Tables 4.1 This table summarizes the topography in the vicinity of the fixed ray Eq.(4.13). It shows the eigenvalues A„ > 0 of the matrix Bij and their corresponding eigen-direction in terms of the R G couplings 50 4.2 This table summarizes the topography in the vicinity of the fixed ray Eq.(4.19). It shows the eigenvalues A n = 1 of the matrix and their corresponding eigen-direction in terms of the R G couplings 55 6.1 The numerically determined values for £k(J'k) using naive rescaling of Simp{J'KiriR) a t fixed r/R for J 2 = J | . For R odd system sizes of R — 19 . . . 101 have been used and for R even R = 18... 102. The estimates become unreliable once » R 77 6.2 £k(J'k) a s determined from SiMP(J'K,r, R) for R — 400 using the F L T prediction, Eq. (6.44). The estimates become unreliable once £ K becomes comparable to R 78 List of Figures 1.1 This is a schematic phase diagram of high temperature superconductors as a function of temperature T and hole doping 5. A F and SC are antiferro-magnetic and superconducting states, respectively. The solid lines are the phase boundaries. The dashed lines is the boundary where a pseudogap is opened, which is not sharply defined and is still under debate 1.2 This is a schematic view of electronic liquid crystals. Solid lines represent metallic stripes along which electrons can flow. The dashed lines represent density modulations. In the crystal phase, the phases of density modula-tions between neighboring stripes are locked. It's an insulating phase and breaks translational symmetry in all directions.The smectic phase breaks translation symmetries in only one direction, which is a static stripe phase. When the transverse fluctuations along the stripes increase, the system is driven into the nematic phase. There is only local stripe order in the ne-matic phase and it can be thought as a melted or fluctuating stripe phase. The liquid phase breaks no spatial symmetry and is isotropic 1.3 The stripe phase forms four-hole clusters along the rungs, well-separated from each other with the wave length 1/5. Instead of moving as hole pairs, four holes can be created or annihilated in a bipairing phase. We suggest that stripes will accompany bipairing in 4-leg ladders 1.4 Diagonalizing the hopping terms, Eq. (1.8) on the 4-leg ladder, we get four cosine bands (black lines) filled up to the chemical potential fi. In the low energy limit, the excitations are only close to the Fermi points and the energy dispersions can be approximated by linear functions (red lines). In the end, the ladder system is described by four pairs of chiral fermions. . 4.1 The topography of R G flows near the fixed ray with A < 0 , 0 < A < 1 and A > 1. It's clear that the deviation is irrelevant for A < 0 and relevant for A > 1. The analysis of R G flow is more subtle for 0 < A < 1. In this case, although the deviation from fixed ray is growing, the fixed ratios still remain. Therefore, R G still flows onto the fixed ray but the phase is not only determined by the fixed ray couplings List of Figures vii 4.2 This is the log[|^(Z)|] v.s. log[(Z<j — /)] plot for several typical couplings of stripe fixed ray Eq. (4.13). The slopes give us the divergent exponent for each coupling. The solid (red) lines are the numerical solutions for the R G equations. The dashed lines are pure straight lines as reference with the predicted A f " : 1 (pink: cf4 (a), f%3 (b)), 5/8 (blue: b[2 (c), cf4 (d)), 1/2 (green: c\x (e)), and 0 (yellow: / f 3 (f)), respectively. In this case, the numerical solutions agree very well with the prediction for all the couplings. 51 4.3 log[|<7j(Z)|] v.s. log[(Zd — I)] plot for several typical couplings. The param-eters are chosen as t = Ut± = 1, U = 0.01 and the hole doping is 0.135. The slope gives us the divergent exponent for each coupling. The solid (red) lines are the numerical solutions for the R G equations. The dashed lines are pure straight lines as reference with the predicted slopes 1 (pink: C44 (a), c?4 (b)), 1/2 (blue: / f 4 (c)), -15/16 (green: cf2 (d)), and 0 (yellow: fis ( e ) i c23 respectively. As one can see, the numerical solution of (f) doesn't agree with its predicted exponent. The number of couplings, whose slopes don't agree with the stability analysis, depends on the ini-tial conditions. With the initial conditions used here, there are total 11 couplings, predicted with zero slope near the fixed ray, but have nonzero slopes in the numerical solution. However, these new term don't change the pinned bosons and the final phase is the same as that when these terms are irrelevant 56 5.1 In the limit that £2,J_ and V^j. are much smaller than the minimum gap of the bosons, A , each 2-leg ladder is well-described by the C1S0 phase, which has pairing and Akp density oscillation. The direct electron hopping h,± becomes an irrelevant process yet pair hopping, t', generated by the higher order process will appear and 4kp—4&F component, V , is the lowest order relevant term in the interaction Vzt±. The phase is determined by the competition between t' and V. If f dominates, the system has pairing (boson superfluid) and 8kF (Airpo) density oscillation in fermion (boson) language, where p0 is the average boson density. If V dominates, the » system has bipairing (boson pair superfluid) and AkF (27rpo) density. . . 60 6.1 The total system size is R. The subsystem A is from site 0 to r and region B, from site r + 1 to R, is traced out in the density matrix 66 6.2 Schematic picture for the Ji — J 2 spin chain model (6.6) with an impurity located at the left boundary and coupled with J'K 67 6.3 Total entanglement entropy, S(J'K,r,R) for a 102 site spin chain at J%, with a J'K = 0.3 Kondo impurity along with S(J'K — 1, r — 1, R — 1) (no impurity). Uniform parts (solid lines) and the resulting Simp 68 List of Figures vi i i 6.4 Universal scaling plot of Simp for fixed r/R, (a) for R < 102 even, (b) for R < 101 odd. D M R G results for the J i — J 2 chain at J£ for vari-ous couplings J'K. The lines marked 7r£j<:/(12r) are the F L T prediction, Eq. (6.40). c) the location of the maximum, ( r / ^ ) m a x , of Simp for odd R, plotted versus r/R 69 6.5 (a) D M R G results for RSimP/^K versus r, with R = 400, for the spin chain at J | and various values of J'K in the Fermi liquid regime. The black curve is the F L T prediction, Eq. (6.44) 77 List of Abbreviations ID one dimension 2D two dimesnion A R P E S angle-resolved photoemission spectroscopy BCS Bardeen-Cooper-Schrieffer C D W charge density wave C F T conformal field theory CnSm n gapless charge modes and m gapless spin modes D M R G density matrix renormalization group F L T Fermi liquid theory FSS finite size spectrum LSCO La2- ($Sr (5Cu04 O B C open boundary conditions P B C periodic boundary conditions R G renormalization group Acknowledgements I would like to acknowledge all the good teachers I have met throughout my educations. They are the reason that I can enjoy learning. Especially, I would like to thank George Sawatzky, Mona Berciu and Gordon Semenoff for their nice lectures from which I learn a lot. I also want to acknowledge my committee Andrea Damascelli, Mark Van Raamsdonk and Fei Zhou for their effort during my PhD. The most important person to thank is my advisor, Ian Affleck. This thesis won't exist without him. I appreciate his teaching during these three years. It's really an exciting and unforgettable experience to work with him. Besides my advisor, my collaborators Erik S0rensen and Nicolas Laflorencie are also important to this thesis. I enjoy the time working with them. I also want to thank my former advisor during my M . S c , Hsiu-Hau Lin for the private communication about his unpublished results. I would like to acknowledge all my friends at U B C , Tom Davis, Suman Hossain, Henry Lin, Yoshitaka Maeda, Justin Malecki, Dominic Marchand, Rodrigo Pereira, Brian Shieh, Lara Thompson, Greg Van Anders and Conan Weeks. I also want to thank the support from my friends Hsin-Ying Chiu, Chang-Yu Hou, Bo-Young Lin, Chi-Chang Lau, Shao-Hwai Tasi and Chen Chih-Yu. The last but not the least, I thank my family's long time support for me to be a physicist, especially to my girlfriend Chien-Hsin Tso. xi Co-Authorship Statement The results in Chapters 2-5 have been accepted for publication: "Bipairing and the Stripe Phase in 4-Leg Ladders" in Physical Review B (2007) [1], This work was done in collaboration with my advisor Professor Ian Affleck. The results in Chapter 6 have been published: "Boundary effects in the critical scaling of entanglement entropy in ID systems" in Physical Review Letters (2006) [2] and "Impurity Entanglement Entropy and the Kondo Screening Cloud" in Journal of Statistical Mechanics (2007) [3] and "Quantum Impurity Entanglement" accepted by Journal of Statistical Mechanics (2007) [4]. These works are done in the collaboration with Professor Erik S0rensen (McMaster University), Dr. Nicolas Laflorencie and my advisor Professor Ian Affleck. The numerical results of density matrix renormalization group in Chapter 6 are obtained by Professor Erik S0rensen. Figure (6.3), (6.4), (6.5) and Table (6.1), (6.2) are also used courtesy of him. 1 Chapter 1 Introduction The physics of ladder systems and the Kondo problem have an essentially one-dimensional (ID) nature. There are powerful tools, such as bosonization and conformal field theory (CFT) , applicable to these systems. In the first part of this dissertation, the stripe phase in the 4-leg ladders is investigated by bosonization and weak-coupling renormal-ization group equations. A new type of charge four correlation, bipairing, is proposed, which gives a simple explanation of the stripe phase. In the second part, we discuss the boundary effects on the entanglement entropy in quantum spin chains and calcu-late the entanglement entropy in Kondo-like quantum impurity models. The result on impurity entanglement entropy is generalized to the system with finite size or finite tem-perature by employing conformal field theory methods. The theoretical calculations are also compared.with numerical results obtained by density matrix renormalization group by Professor Erik S0rensen. Strongly correlated systems in low dimension have been active research fields for more than two decades [5, 6, 7, 8]. The theoretical calculations become more tractable with the help of bosonization and conformal field theory. In general, the numerical methods can also reach larger system size compared to the problems in two dimensions (2D). One powerful tool, density matrix renormalization group (DMRG), works specially well for the low dimensional systems [9]. Besides being the intersection of theoretical and numerical methods, the experimental realization of ladder systems is accessible in some materials [10, 11, 12, 13]. The nonvanishing spin gap and d-wave pairing correlations in the slightly doped 2-leg ladder t — J model are reminiscent of the pseudo gap phase in high critical temperature (high Tc) superconducting materials [14]. This result attracted a lot of attention to the ladder systems and pointed toward a possible connection to the high Tc physics. Later on, D M R G found "stripes", the charge density oscillations at incommensurate filling in the t — J ladders and small 2D clusters [14, 15, 16, 17, 18, 19, 20]. These clear numerical results again remind people about the stripe phase found in cuprates [21, 22]. While whether the stripes phases in the t — J ladders and cuprates share the same physics remains an open question, there is not even a satisfactory understanding of the stripe phase in the t — J ladders. The stripe phase in 2-leg t — J ladders can be well understood as generalized Friedel oscillations in bosonization language [23]. In the first part of this thesis, we will adopt a scheme similar to that used in [23] to study the stripe phase in 4-leg t — J ladders. By this means, we may be able to extract some physics relevant to 2D systems when the number of legs is increased. The second part of this thesis is about the entanglement entropy in quantum spin Chapter 1. Introduction 2 chains and the Kondo model [2, 3]. Entanglement entropy is basically the von Neumann entropy for the reduced density matrix instead of the full density matrix. It was pro-posed as one measurement of quantum entanglement between two subsystems [24]. The entanglement entropy for ID systems at quantum critical points has universal scaling behaviors characterized by the central charge in conformal field theory (CFT) associated with the phase transitions [25]. Moreover, the scaling form can be calculated explicitly by C F T methods [26, 27]. There is a well-known C F T approach to the Kondo problem and we will study the impurity contribution to the entanglement entropy. Chapter 1 to 5 contain the work about the stripe phase in 4-leg ladders. In Chapter 1, we introduce the motivations, models of our systems and the theoretical background. Chapter 2 presents the proof that pairing and stripes can't coexist in 4-leg ladders based on bosonization. Chapter 3 supports this result by investigating finite size spectrum (FSS). Chapter 4 proposes a candidate for the stripe phase found in the analysis of weak coupling renormalization group (RG) equations. Chapter 5 establishes the effective 2-leg bosonic description to the original 4-leg fermionic problem and another stripe phase is found in this approach. Chapter 6 contains the other project about the impurity entanglement entropy. We will introduce the impurity model and C F T methods to calculate the impurity contribution to entanglement entropy. 1.1 Stripes and High Temperature Superconductors Besides the D M R G data on t — J ladders, the project about the ladder stripes is largely motivated by the experimental results that (2D) stripes exist in the high critical tem-perature superconductor materials. Therefore, we will first review the relevant results in high temperature superconductors [28]. Conventional superconductors are good metal in their normal states (when the tem-perature is higher than the critical temperature) and these metallic states are well de-scribed by Fermi liquid theory. When the interactions between electrons are attractive (even infinitesimally small), the Fermi surface is unstable and electrons will form Cooper pairs. Later on, people realized that the attractive interactions between electrons are mediated by phonons. This is the celebrated Bardeen-Cooper-Schrieffer (BCS) theory [29]. This superconductivity instability is in general weak and the theory is valid when Ep ^> hwD » A;_TC, where EF, uD and Tc are the Fermi energy, Debye frequency and superconducting transition temperature, respectively. That's why Tc is usually less than 20K in conventional superconductors. The discovery of superconductivity in layered copper-oxide compounds (cuprates) was a great surprise [30]. It's not only because of their high transition temperatures but also because the "parent" compounds of the materials are in fact insulators [31]. These superconductors are obtained by electronically doping (mostly hole doping) "parent" compounds that are antiferromagnetic Mott insulators. Mott insulators are insulators due to electron interactions, which are different from simple band insulators. The fact that undoped materials have antiferromagnetic order and insulating behavior indicates the Chapter 1. Introduction 3 electron-electron correlations are important. In other words, they are so-called strongly correlated systems with strong repulsive interactions. Besides antiferromagnetism and superconductivity, there are various types of low temperature orders in the cuprates due to the strong correlations. These proposed orders can either compete or coexist with superconductivity. Since the nonsuperconducting states are not Fermi liquid, the superconductivity mechanism is surely different from the canonical BCS theory. Then the question for theorists is how to get superconductivity from doped antiferromagnetic Mott insulators [32, 33]. The typical phase diagram is shown in the Fig. (1.1). When the holes are doped into the system, the antiferromagnetic order is destroyed rather fast. Then the system becomes superconducting above the critical hole density 5. The transition temperature is first increased with higher doping and reaches its maximum at the optimal doping. After the optimal doping, the transition temperature goes down again. The superconductivity region is called underdoped or overdoped for the doping lower or higher than the optimal doping, respectively. In the underdoped regime, there are a variety of crossover phe-nomena observed at temperatures above T c where the low energy single particle spectral weight is suppressed [34]. This indicates that there is an energy gap opened in the sys-tem. This energy gap has similar feature to the superconducting gap observed in the same materials at temperatures below Tc. This energy gap above Tc is called a "pseudogap" [35, 36, 37]. Superconductivity is the result of two distinct quantum phenomena: pairing and long range phase coherence. In conventional superconductors, these two things occur at the same time. The observation of a pseudogap strongly suggests that pairs are formed first at higher temperature then move coherently at the lower temperature in the high temperature superconducting materials. If preformed pairs really exist, then phase fluc-tuation will be important. There are many experimental facts related to the pseudogap from angle-resolved photoemission spectroscopy (ARPES) [35, 36, 37], tunnelling [38], resistivity [39] and specific heat [40] measurements. However, this crossover phenomena is not sharply defined and there is still debate on it boundary of onset. The symmetry of the pair wavefunction is another distinct feature of high tempera-ture superconductors. In the conventional superconductors, the phonon-mediated pairs have zero angular momentum quantum number. The pair wavefunction and gap function are invariant under rotations and it's called "s-wave" pairing [29]. Around the same time as the discovery of high temperature superconductivity in the cuprates, the possibility of superconductivity in the two dimensional Hubbard model near the antiferromagnetic state at half filling was discussed [41]. That work concluded that the dominant super-conducting instability should have dx2_yi symmetry instead of s symmetry. The d-wave pairing was later confirmed from the temperature dependence of the penetration depth [42] and by various phase sensitive measurements [43, 44]. In the conventional superconductors, if the superconductivity is suppressed by either a magnetic field or higher temperatures, then the system remains a metallic Fermi liquid [29]. The situation becomes much more complex for high temperature superconductors due to the strong interactions between electrons. In this case, the suppressed supercon-Chapter 1. Introduction 4 Pseudogap \ AF SC Under Optimally Over doped doped doped Figure 1.1: This is a schematic phase diagram of high temperature superconductors as a function of temperature T and hole doping S. A F and SC are antiferromagnetic and superconducting states, respectively. The solid lines are the phase boundaries. The dashed lines is the boundary where a pseudogap is opened, which is not sharply defined and is still under debate. ductivity can not be described as a Fermi liquid and many possible phases compete [45]. One would generally expect various sorts of electronic density waves, including charge and spin ordered phases such as Wigner crystal and antiferromagnetic Neel state. Charge and spin orders can coexist with the metallic or even superconducting transport if the density wave order opens a gap on only part of the Fermi surface, leaving other parts gapless [46]. This seems similar to what happens in the pseudogap region. One particular class of competing orders is known as "stripes" and is observed widely in experiments. Stripe order refers to unidirectional density wave order, that is, the order which spontaneously breaks translational symmetry in one direction but not in others. It's a charge stripe order, if the broken symmetry results in charge density modulations or a spin stripe order, if the broken symmetry results in spin density modulations. In particular, the occurrence of stripe phases in the high temperature superconductors or more generally doped antiferromagnetic was predicted by theory before the experimental observations [47, 48]. Neutron scattering is one of the most useful probes to detect stripe orders [21, 22, 49]. Neutrons are spin 1/2 but charge neutral particles and can scatter directly from the electrons spins. Diffraction of a neutron beam by spin stripes yields extra Bragg peaks. However, neutrons can only detect charge stripes indirectly by imaging the induced lattice (i.e. nuclei) distortions. For two dimensional stripes, the stripe direction is referred to as the direction in which translational symmetry is not broken. The stripe period is the period of the density along the direction in which translational symmetry is broken. Since stripe order is unidirectional, the new Bragg peaks are at positions k± = Q±27re/X Chapter 1. Introduction 5 where e is the unit vector perpendicular to the stripe direction, A is the stripe period, and Q is an appropriate point [21, 50]. For charge stripes, Q is any reciprocal lattice vector of the underlying crystal, such as (27r/a, 27r/a) where a is the lattice spacing. For spin stripes, Q is the antiferromagnetic wave vector (ir/a, ir/a). One striking feature of stripes in high Tc materials is that the stripe period changes with the hole density. This indicates that the periods of stripes don't match up with the underlying lattice structure. Thus, stripes are incommensurate density waves. The first indication of incommensurate spin modulation was provided by inelastic neutron scattering on superconducting La2_(5Sr<5Cu04 (LSCO) [51]. Superconductivity coexists with the incommensurate spin correlations but Tc is strongly depressed. The suppression of superconductivity is maximum for 8 « 1/8 , which is the 1/8 anomaly in high temperature superconductivity [52]. It certainly suggests that an order with incommensurate spin structures competes with superconductivity. The first experiment to see both charge and spin stripes was done by Tranquada and co-workers on a LSCO material (Lai.6_,5Ndo.4Sr(sCu04) in which Nd was added to freeze the fluctuating spins and charges into a static structure [21]. As we mentioned before, the charge configuration can not be seen directly by neutrons but indirectly by the atoms that move in response to the charges. The shifted wave vector of charge stripes is twice that of spin stripes, —* —* i.e. kcharge = 2kspin or equivalent Xspin = 2 A c / i a r g e - They concluded that spin correlations have a TT phase shift (e.g. spin up to down) across the ID like charge domain of the stripes. Moreover, they showed that the inverse stripe period 1 /A s p j n « 5 for, various hole doping 5 [21]. In general, charge stripes form at a higher temperature than spin stripes. Note also that static charge and spin stripes coexist with superconductivity throughout the superconducting dome. Recently, charge and spin peaks have also been detected in Lai.875Bao.i25-iSr<5Cu04 in neutron scattering studies [53]. One thing to notice is that the experiments actually revealed quartets (two pairs) of Bragg peaks at Q ± 27rx/X and Q ± 2iry/A. This peaks can be also interpreted as due to the checkerboard order in the system, which was also discussed in the papers by Tranquada and co-workers [21, 49]. Base on the material structure and the analogy of the stripe phase found in a similar (nonsuperconducting) compound, they concluded that the system more likely has the stripe order on each Cu-0 planes but the stripe orders on neighboring planes tend to be oriented at right angles to each other. Recently, the checkerboard order has been observed in Bi2Sr2CaCu208+<$ by scanning tunneling microscopy [54, 55]. Whether one should change the stripe interpretation in LSCO and other compounds relies on further studies. There are many interesting experimental results regarding stripes in the cuprates. The spin stripe order has also been observed in LSCO for dopings between 5 = 0.02 and 5 = 0.05 where the system is not superconductding at any temperature. These stripes are called diagonal because they lie along a direction rotated 45 degrees to the Cu-0 bond direction [56]. Above 5 = 0.05, the stripes become vertical (along the Cu-0 bond direction) and the material are superconductiviting at low temperature [57]. Spin stripes also exist in La 2Cu04 + <5 with 5 = 0.12. In this material, static stripes coexist with Chapter 1. Introduction 6 superconductivity even at optimal doping [58]. Neutron scattering evidence has been found of static charge stripes in underdoped YBaC^Oe+a (YBCO) with 5 = 0.35, and Tc = 39K. The charge peaks persist to at least 300K [59]. These experiments indicate that the charge stripes form at higher temperature before the spin stripe formation at lower temperature. Also, the charge stripe formation occurs at a higher temperature than the formation of the pairing gap (pseudogap) in those observed results. Apparently, stripes are important bridges between the antiferromagnetic and super-conducting orders. Then two questions emerge immediately. The first one is why do we see stripes in these materials? The other one is whether stripes play important roles in the mechanism for high temperature superconductivity? To date, there is no definite answers to these two questions. We will review some theories addressing these issues. The undoped state of the cuprate superconductors is an insulating antiferromagnet. This is now widely believed to be an essential feature of high temperature superconduc-tivity. However, the doped antiferromagnet is a complicated theoretical problem. The most important local interactions in a doped antiferromagnet are well represented by the t — J model, resulting from the infinitely large repulsive on-site interaction, where t is the hopping amplitude of holes from one to its neighboring sites and J is the antifer-romagnetic exchange coupling between spins. The physics of several simple situations is well understood. When there is no hole, the ground state is antiferromagnetic. The motion of a single hole in an antiferromagnet is highly frustrated. When a hole hops to it neighboring site, the system gains kinetic energy — t. However, the spin which exchanges with the hole will increase the total energy by (d — 1) J , where d is the dimension of the system. The motion of a hole creates a string of "defect" in an antiferromagnet and costs a large energy. It turns out the hole can move through a sixth or higher order process called a Trugman path but the effective hopping matrix elements is much smaller than t [60]. It seems that a pair of holes can move without frustration since the other hole cures the string created by the first one. Actually, this was suggested to be a new mechanism of pairing [61]. However, Trugman showed that this mode of propagation of the hole pair is still frustrated by a quantum effect [60]. If there are many holes and J » t , then phase separation happens [62]. The holes will tend to stay together in order to maximize the number of spin bonds. In fact, phase separation occurs for a wide range of parameters in the phase diagram. There are proposals to explain stripes as the compromise between phase separation and long range Coulomb interactions [28, 63]. However, these proposals are not consistent with the D M R G result where there is only short range (screened) Coulomb interaction [15]. If the holes carry charge, the full phase separation will cost a huge energy due to the Coulomb repulsion. In general, Coulomb interactions don't favor charge accumulations. Therefore, there is a competition between the short range tendency to phase separation and the long range repulsion of the Coulomb interaction. The compromise between the charge aggregation on short length scales and the required homogeneity on long length scales results in an emergent crossover length scale [64]. Many solutions with inhomogeneous behaviour on intermediate length scales are possible, such as checkerboard Chapter 1. Introduction 7 Nematic Liquid Figure 1.2: This is a schematic view of electronic liquid crystals. Solid lines represent metallic stripes along which electrons can flow. The dashed lines represent density mod- . ulations. In the crystal phase, the phases of density modulations between neighboring stripes are locked. It's an insulating phase and breaks translational symmetry in all directions.The smectic phase breaks translation symmetries in only one direction, which is a static stripe phase. When the transverse fluctuations along the stripes increase, the system is driven into the nematic phase. There is only local stripe order in the nematic phase and it can be thought as a melted or fluctuating stripe phase. The liquid phase breaks no spatial symmetry and is isotropic. patterns, stripes and others [63, 65]. The stripe solution is very stable in some models and is widely observed in the cuprates. Also, the fact that charge stripes form before the spin stripes in the cuprates suggests that stripes are driven by charges. When doping is not large in the cuprates, the screening may be poor and long range Coulomb interaction becomes important. These are consistent with the mechanism of Coulomb frustrated phase separation mentioned above. However, stripes are also found in the D M R G works on 2D t—J model [15], where the long range Coulomb interaction is absolutely absent. Quantum Monte Carlo methods find the ground state of 2D t — J model has superconductivity instead of stripes [66]. The main criticism of D M R G work is that the stripes may be the artifacts due to the open boundary conditions or finite size effects. Quantum Monte Carlo methods are also biased by the trial wave function chosen at the beginning. Whether long range Coulomb interactions are important for the stripe formations in cuprates remains controversial. Although the origin of stripes in the cuprates is still not clear, is it possible that stripes play important roles in the mechanism for high temperature superconductivity? Or more precisely, how can a stripe phase becomes a high temperature superconductor? There is a theory proposal by Kivelson and collaborators based on the quantum analogy of classical liquid crystals [50, 67]. Liquid crystals exhibit a state of matter whose properties are between conventional liquid and solid. For example, a liquid crystal can flow like Chapter 1. Introduction 8 liquid but have the molecules arranged or oriented in the same direction like a crystal. The phases of classical liquid crystals are characterized by the broken symmetries, like the quantum analogy. According to the possible broken symmetry, an electronic liquid crystal has the following phases: (1) a liquid, which breaks no spatial symmetries and is a conductor or a superconductor when there is no disorder; (2) a nematic, or anisotropic liquid, which breaks the rotation symmetry of the lattice but the translational symmetry is unbroken; (3) a smectic, which breaks translational symmetry in only one direction. Otherwise, it is an electron liquid in other directions; (4) an insulator, which breaks translational symmetries in all directions and has the character of an electronic solid. The schematic views of these phases are shown in Fig. (1.2). They identify smectic phases as the static stripes and nematic as the melted or fluctuating stripes. Of course, a nematic phase can be superconducting. They model each one dimensional electron "river" in a smectic phase as a Luttinger liquid and allow the transverse displacement as the density fluctuation in the Luttinger liquid. A Luttinger liquid is the low energy effective theory for ID electron systems with forward scattering type of interactions and is exactly solvable. More detailed properties will be given in the section (1.2.1). In each Luttinger liquid, there are quasi-long-ranged pairing and charge density orders. Then the interactions between the one dimension electron rivers are the Josphenson coupling (hopping of electron pairs) and the density-density interactions. If the Josphenson coupling dominates, then the electron pairs move coherently and the system is driven into superconductivity. If the density-density in-teractions dominate, then the system exhibits static stripes. It's clear that a stripes based mechanism of high temperature superconductivity predicts competition between static stripes and superconductivity. Their idea is simply to think of the cuprates as quasi-one-dimensional superconductors [67]. Some A R P E S experiments show the features of the cuprates are reminiscent of a quasi-one-dimensional superconductor [37, 68, 69]. However, it's difficult to compare the parameters in this stripes based mechanism of high temperature superconductivity with the experiments. The detailed predictions from the model depend on the Luttinger parameter of each ID electron river. Unfortunately, it's unknown. Therefore, there is no quantitative prediction for the phase diagram and the critical transition temperature Tc since they can be quite different for different Luttingter parameters. Another more important issue is that whether stripes are universal phenomena in high temperature superconductors is not clear. If stripes are not universal, then it's very unlikely that the stripes based mechanism of high temperature superconductivity is the final story. To sum up, the stripes in the cuprates is still an active field in the research, not only the mechanism of stripes but also their connection to superconductivity. The study of related questions about the stripes phases in t-J ladders should shine some light on the stripes in the cuprates. Chapter 1. Introduction 9 1.2 The Stripe Phase in 4-Leg Ladders Numerical evidence for stripes has also been found in Hubbard and t-J ladders, which contain only short range interactions [14, 15, 16, 17, 18, 19, 20]. Ladder stripes are incommensurate density modulations. Particularly, for the number of legs less than or equal to four, the wave length of charge stripes A is the inverse of hole density 5, that is, A ~ 1/5 [14, 16, 17, 18]. For the 2D t-J model (on a 8 x 19 lattice) [15], the periods of charge and spin stripes are 1/25 and 1/5, respectively, which are the same as the those observed in the neutron scattering experiments [21, 49]. Although the wave length of the charge stripes in the ladder systems is twice that of stripes in the cuprates, nonetheless, it's the first step toward the two dimensional system. A n understanding of the occurrence of stripes in these ladder models, whether or not long-range Coulomb interactions are required for their existence and their connection with superconductivity are important open questions. There are experimental realizations of the ladder systems [10, 11, 12, 13]. Recently, a stripe phase has also been observed by a resonant X-ray scattering technique in the 2-leg ladder [70]. Numerical evidence for ladder stripes comes from D M R G work [14,16,17,18, 19, 20, 23]. Since this method, as originally formulated, is intrinsically one-dimensional (ID), the results have been presented for "ladders" i.e. finite systems in which the number of rungs is considerably greater than the number of legs. (For instance, results exhibiting stripes have been presented for systems of size 6 x 21 [20].) In the limit where the length of the ladders (number of rungs) is much larger than their width (number of legs) they become ID systems and a corresponding arsenal of field theory methods, such as bosonization, can be applied. Combining D M R G results with field theory methods to extrapolate to the limit of infinitely long ladders is an important step towards reaching the two dimensional (2D) limit. Of course, an extrapolation in the number of legs must finally be taken. D M R G works much more efficiently with open boundary conditions (OBC) and most work on ladders has used O B C in the leg direction. Such boundary conditions can induce "generalized Friedel oscillations", meaning oscillations in the electron density which decay away from the boundary with a non-trivial power law and oscillate with an incommensurate wave-vector, often related to the hole density [23]. While sometimes regarded as an unphysical nuisance, we regard O B C as a useful diagnostic tool. According to bosonization results, the density-density correlation function for an infinite length ladder decays with twice the exponent, the same wave-vector and the square of the amplitude, governing the Friedel oscillations. Thus the Friedel oscillations are giving information about correlations in the infinite system. Furthermore, in the 2D limit of an infinite number of legs, these Friedel oscillations could turn into a static incommensurate C D W or else fluctuating stripes. While a true long-range C D W is possible at commensurate filling even in ID, bosoniza-tion/field theory methods suggest that it is not possible at incommensurate filling in ID, giving way instead to boundary induced Friedel oscillations [23, 71, 72, 73]. (A long-Chapter 1. Introduction 10 range C D W at p/q filling, where p and q are integers, becomes increasingly suppressed as q increases.) This assertion is related to Coleman's or Mermin-Wager's theorem about the impossibility of spontaneous breaking of continuous symmetries (and the impossi-bility of the existence of the corresponding Goldstone modes) in Lorentz invariant ID systems even at zero temperature (or correspondingly 2D classical systems at any finite temperature). A true long-range incommensurate C D W leads to spontaneous breaking of translational symmetry by any integer number of lattice spacings, no matter how large, whereas a commensurate C D W only breaks a finite dimensional symmetry. Taking the low energy continuum limit, translational symmetry at incommensurate filling is pro-moted to a true continuous U(l) symmetry and Coleman's theorem apparently applies. "Stripes" or boundary-induced Friedel oscillations, have been observed in the t-J model, related to the U —> oo limit of the Hubbard model, on 2-leg ladders [23]. These Friedel oscillations, at x » 1, are of the form: E , x Acos(2irnx •+ a) „. — - • ( L 1 ) a=1 ' ' Here the average electron density is, n = Ne/(2L), (1.2) where Ne is the total number of electrons. K+p is the Luttinger parameter for the charge boson (p) which is the sum (+) of the 2 charge bosons corresponding to the two bands in a weak coupling analysis. A and a are constants. Note that we may replace the oscillation wave-vector by: 2irn -> -2TT5, (1.3) where 8 = 1 — n, is the hole density, measured from half-filling, since x is always integer. "Snapshots" of typical configurations within the D M R G calculations show pairs of nearby holes, one from each leg, well-separated from other pairs. A n appealing picture is that the holes are pairing into bosons, 1 hole from each leg. (Here we refer to bosons with a conserved particle number, such as atoms, not the bosons arising from bosonization.) This phase is of C1S0 type, indicating that only 1 gapless charge boson survives and zero gapless spin bosons, out of the 2 charge and 2 spin bosons introduced in bosonizing the 2 leg ladder. (In general, CnSm means there are n gapless charge modes and m gapless spin modes) This phase exhibits exponential decay for the single electron Green's function but power law decay for the electron pair Green's function. One may approximately map the 2-leg fermionic ladder into a (single leg) bosonic chain. The standard superfluid phase of this boson model exhibits Friedel oscillations at wave-vector 2IT5 where 5 = Nh/L, is the number of bosons (i.e. hole pairs) per unit length and the number of bosons is: Nh = Nh/2, were iV/, is the number of holes. These Friedel oscillations in the bosonic model just correspond to a sort of quasi-solid behavior. We can think of the bosons as almost forming a solid near the boundary with a uniform spacing between all nearest neighbor bosons. This, of course, coexists with quasi-superfluid behavior since the phase correlations also Chapter 1. Introduction 11 decay with a power law. Thus it could be called quasi-supersolid behavior and is typical of many ID systems. In general the density profile will contain other Fourier modes besides the 27m mode kept in Eq. (1.1). This 27rn mode dominates in the sense that it has both the smallest wave-vector and also the smallest power law decay exponent. Note that this behavior is quite different than what we might expect in a C2S0 phase, for example, or which occurs at zero interaction strength in the C2S2 phase. Then we expect density oscillations at wave-vector 2kFfi and also 2kF,o where kiFe/0 a r e the Fermi wave-vectors for the even and odd bands. (They are even or odd under the parity transformation that interchanges the two legs.) In the C1S0 phase that is observed in 2-leg ladders, the oscillation wave-vector can be written as 27rn = 2{kF,e + kF>0) = ^kF where kF is the average Fermi wave-vector. D M R G works on the doped 4-leg t-J model exhibited two phases, both of which appear to have a spin gap [17, 18, 74, 75]. At low doping, the dominant Friedel oscillation wave-vector appears to be 47rn, where n, the average electron density is now: n = Ne/(4L). (1.4) Above a critical doping 5C, corresponding to 5C ~ 1/8, for J = 0.35£ and 0.5i , the oscillation wave-vector changes to 27m. D M R G "snapshots" of typical configurations suggest well separated pair holes in the lower density phase but 4-hole clusters (1 hole on each leg) in the higher density phase. This is consistent with the 27rn Friedel oscillation wave-vector since the average separation along the ladder of the equally spaced 4-hole clusters would be 1/n. This higher density phase with 27rn oscillation wave-vector has been referred as a stripe phase. In the standard weak coupling approach we assume that all the interactions are small compared to the hopping. Thus we first solve for the band structure of the non-interacting model and then take the continuum limit of the interacting model, yielding right and left moving fermions from each band. These continuum limit fermions are then bosonized. Letting kFi be the Fermi wave-vector of the 4 bands (i = 1,2,3 or 4) the number of electrons in each band (summing over both spins) is: Ni = L(2kFiM, (1 = 1,2,3,4). (1.5) Thus we see that the electron density n is: 4 n = JV/4L = ^W (27 r ) , (1.6) i = l SO 4 27m = ^kFi = 4kF. (1.7) »=i Thus the stripe phase again corresponds to Friedel oscillations at a wave-vector of 4kF. Using the equivalence of 27m with — 27r5, the physical picture of the stripe phase is well-separated clusters of 4 holes (one on each leg). If such 4-hole clusters are equally spaced Chapter J. Introduction 12 we obtain a Friedel oscillation wave-vector of 27m, since the average separation along the legs of the clusters is 1 jn. On the other hand, the lower density phase shows no evidence for Friedel oscillations at wave-vector 27rn and instead Ann (Skp) oscillations appear to dominate. (We note that, when interactions are included, we expect the Fermi wave-vectors to be renormalized or lose their significance entirely. However, the sum of all Fermi wave-vectors, AkF = 27rn, is known to still be a meaningful and "unrenormalized" wave-vector even in the presence of interactions. This follows from the ID version of Luttinger's theorem, proven in Ref. [76].) This stripe phase appears to have a spin gap. Limited D M R G results have been presented on the decay of the pair correlation function. Pairing correlations appear to go through a maximum, as a function of doping, at a somewhat higher doping than 5C where their behavior appears consistent with power-law decay [17, 18]. However, based on bosonization and finite size spectrum (FSS) in Chapter 2 and 3, we find that stripes, 27rn Friedel oscillations, can not coexist with the power-law decaying pair-pair correlations in 4-leg ladders. Instead, stripes can accompany a new type of charge-four correlations, bipairing. Precisely speaking, in a bipairing phase, the pair-pair correlations decay exponentially and bipair-bipair correlations decay with power-law. We then explore 4-leg ladder models in two different limits, weak coupling limit in Chapter 4 and decoupled two 2-leg ladders limit in Chapter 5. We find the results are consistent with bosonization and FSS. If this bipairing assumption is correct it finally yields a remarkably simple picture of the stripe phase in 4-leg ladders. It is a phase in which electrons do not form pairs, but rather bipairs. While the usual pairing does not occur in this phase, it tends towards a more exotic form of supercondutivity based on condensed charge-four objects (see Fig. (1.3)). There are proposals in the literature that some systems like a frustrated Josephson junction chain [77, 78], strongly coupled fermions [79] and spin 3/2 fermionic chains [80] can have unusual pairs composed of Cooper pairs or four-particle condensations. They are very similar but not exactly the same as bipairing here. Starting with a four band system, the phase we propose is more like the generalized Luther-Emery phase with four-holes. 1.2.1 Continuum Limit and Bosonization Now we would like to review the bosonization treatment of the Hamiltonian on a ladder with TV legs and L rungs with open boundary conditions in both rung and leg directions. The Hamilonian is H = Hq + Hint, with and L-l N L N-l ^2^2tcla(x)caia(x + 1) + ^ 2 ^ 4 , a ( z ) C a + l , a ( z ) ,x=l a—I x=l a=1 + h.c. (1.8) N L Hint = U E naA{x)naA{x) (1.9) 1=1 a = l Chapter 1. Introduction 13 X.-1/8 X-l/S •4 • • Figure 1.3: The stripe phase forms four-hole clusters along the rungs, well-separated from each other with the wave length 1/5. Instead of moving as hole pairs, four holes can be created or annihilated in a bipairing phase. We suggest that stripes will accompany bipairing in 4-leg ladders. Chapter 1. Introduction 14 Here n a i Q = c^ Q c a j Q and h.c. stands for Hermitian conjugate. We first diagonalize the rung hopping terms, Eq. (1.8) in the Hamiltonian by transforming from leg fermions c a i Q to the band basis, ipjj0n for i = 1, 2,...,N: N V'j.a = /\,SjaCa,a, (1.10) Z / a = l where 5 is a unitary matrix: S j a = \ / ] v T T s i n ( i v T i J ' * a ) - ( 1 ' n ) Now Eq. (1.8) becomes diagonal in momentum space: —e,(fc) ^ a ( fc)^«(fc) (1.12) and the dispersion relation for the band is ej(A;) = — 2tcosk — 2t±cos(kyj), and kyj — ^ ^ ^, j = 1,2,..., iV. (1-13) We have a system with iV-bands filled up to some chemical potential p. We may take the continuum limit, to study the low energy physics, by introducing right/left moving fermions fields, ipR/Lja(x) (sometimes called chiral fermions) which contain wave-vectors of the original band fermion fields near the Fermi points, il>ja{x) ~ iPRja(x) eikFiX + i>Lja(x) e~ikFiX, (1.14) where kpj is the Fermi wave vector for band j. Since the dispersion relations near the Fermi points are approximately linear and ipR/Lja{x) vary slowly over a lattice constant, the effective low energy Hamiltonian in terms of chiral fermions is then H0 = ^2 -ivJ^Rja(X)dx^Rja(x) + W ^ ^ d ^ L ^ x ) } , (1.15) J'.a J where Vj = 2£sin(A;j,j). At this point, the problem is formulated as an AT-channel ID fermion system (see Fig. (1.4)). Note that we should also express the interaction Hjnt, Eq. (1.9), in terms of right and left moving fermions fields. However, we will leave that part to Chapter 4 when we discuss the R G equations. Now we should introduce the bosonization scheme for the AT-channel ID fermion system. It's well known that ID fermion models can be rewritten as bosonic ones. In the low energy limit, particle-hole excitations in ID are coherent and thus the (bosonic) density fluctuation fields create propagating particles. One can find more details in [81] and we only summarize some important results here. Chapter 1. Introduction 15 E(k) Figure 1.4: Diagonalizing the hopping terms, Eq. (1.8) on the 4-leg ladder, we get four cosine bands (black lines) filled up to the chemical potential p. In the low energy limit, the excitations are only close to the Fermi points and the energy dispersions can be approximated by linear functions (red lines). In the end, the ladder system is described by four pairs of chiral fermions. We can bosonize these right and left fermions by the dictionary where (pRia and ipLjp are boson fields with the commutator (1.16) (1.17) and r)j are Klein factors with {rfe, 7^} = 2<% which make sure that the fermions in different bands anticommute with each other. The derivatives of boson fields are related to right and left moving densities defined as n ~l=dxtpRja, V7T n -1 Lja (1.18) (1.19) Now we have two chiral bosons and it's more convenient to describe physics by the conventional bosonic field (f> and its dual field 9, Oja = <PRja - PLja, <f>ja = VRja + ^Lja- (1-20) Then the derivatives of 9ja and (f>ja are the density Nja and current Jja in band j: 1 Nja = nRja + nLja = -j=dx6ja, Jja — nRja (1.21) (1.22) Chapter 1. Introduction 16 We can also separate the charge p and spin a degrees of freedom by introducing the following fields, 4>jp = -^((f>jt + <f>j±), (1-23) ^ = T i ^ ' t - ^ ( L 2 4 ) and similarly for 9 fields. Then Eq. (1.8) becomes H° = E | / d x i ( d M 2 + (9x0iu)2}, (1-25) where v — p or a and Vj is the Fermi velocity of band i. We define new fields from the linear combinations of the bosons from different bands: C ± = ^ ( ^ ± ^ ) ' (1-26) and the same for 9?f and Q\p. Eq. (1.26) is convenient when we express the bosonized interactions but not necessarily the final basis to describe the system. The final basis should be in principle determined by the interactions. We know that there should be four mutually orthogonal charge and spin bosons for 4-leg ladders. That is to say, starting with bosons in the band basis, Eq. (1.23) and (1-24), guided by the interactions, we should be able to find the proper new basis, some linear combinations of band bosons. The new basis only differs by an orthogonal transformation from the band basis. In general, the transformations of charge and spin fields don't have to be the same. Due to the different Fermi velocities in Eq. (1.25), after changing to a new basis, mixing terms of the derivative of boson fields appear in the Hamiltonian. These mixing derivative terms are quadratic in boson fields. Spinless fermions on 2-leg ladders were studied in Ref. [82] and they found that the mixing terms only modify the exponents of correlation functions within the conventional bosonization analysis. We are mainly concerned about whether the correlation function of an operator is power-law or expo-nentially decaying but not its exponent. In the later sections, we only discuss the mixing terms if it's necessary. Eq. (1.25) is a Gaussian type Hamiltonian for free boson fields and many correlation functions can be computed easily [81]. The basic correlation functions, given by the straightforward mode expansion in an infinite system, are (<PRja(z)<PRja(z')) = ln(* - z') + const, (1.27) (<PLja(z)<pLja(z')) = \n(z - z') + const, (1.28) where z = —i(x — Vjt) and z = i(x + Vjt). The constant is cut-off dependent and we will drop it. Following the definition in Eq. (1.20), we then easily get (9ja(x,t)9ja(0)) = (<f>ja(x,t)(j>ja(0)) = ^\nzz = ^\n(x2-v]t2). (1.29) Chapter 1. Introduction 17 The most important correlation functions are those for vertex operators, which are ex-ponentials of boson fields, such as e , a ^ Q or e , a ^° where a is a constant. The normal order for a operator is to move its creation part to the left and annihilation part to the right. For a operator A, the expectation value of its normal ordered form : A : with respect to the ground state will be zero, i.e. (0|:^4:|0) = 0. For two operators A and B, with c-number commutator [A, B], by using Baker-Hausdorff formula eAeB = eA+Be[A,B}/2^ Q n e c a n s n o w that : eA :: eB :=: eA+B : e<AB\ (1.30) where :: means normal ordering the operator inside [83]. Then Eq. (1.29) and (1.30) will enable us to calculate correlation functions like ^. eia9ja(z) .. e-ia9ja(0) A = eia[6ja(z)-0ja(.O)] A e-a2(0ja(z)6ja(0)) = (x2-v2t2)-a2/4\ (1.31) where a is a constant. Similarly, /. eia<j>ja{z) .. e-ia<l>ja(0) A _ ^ 2 _ y^^ya2/4n_ \ 1 ^ 3 This normal ordering is only a way to avoid the infinity due to the ultraviolet cutoff and we won't write it explicitly in the later discussion. In particular, for the equal time correlation functions ^eia8ja(x)e-ia0ja(0)^ _ ^eia<j>ja(x)e~ia(j>ja(0)^ _ x~a2/2n^ (1.32) The power of bosonization is that some four fermion interactions like NjaNja, JjaJja and NjaJja, according to Eq. (1.21) and (1.22), are just the cross terms of boson field and the whole Hamiltonian including these interactions is still quadratic. In general, the system becomes the AT-channel Tomonaga-Luttinger model, HTL = J2^yJ D X \ K 3 ^ ^ f + Y7idx9jv)2l (1.33) j,v J 3*> where Vj„ and KjU are the renormalized Fermi velocity and Luttinger parameter, respec-tively. Their exactly values depends on the coefficients of those four fermion interactions and unrenormalized Fermi velocities Vj but we don't care about them too much here. The boson field 9jV (or </>j„) with the Hamiltonian Eq. (1.33) is called a gapless field. The way to calculate the correlation functions in Eq. (1.32) with the Tomonaga-Luttinger Hamiltonian Eq. (1.33) is by rescaling the fields by fa -> - ^ = , (1.34) V K 3 V 9ju -> \JKjv9jU, (1.35) Chapter 1. Introduction 18 then Eq. (1.33) is back to the non-interacting Hamiltonian Eq. (1.25) but with renor-malized Fermi velocities VjV. The correlation functions are also rescaled by the Luttinger parameters Kj„ and become: ^eia6jv(x)^-ia0jv(O)^ _^ ^eia^/^Bjv(x) e-ia^/K~eiv{0) ^ _ x-a?Kiv/2iT^ (1.37) The operators with the correlation function forms like Eq. (1.36) and (1.37) are said to decay with a power law and have quasi-long-ranged order. The correlation functions involving gapless boson fields will be power-law decaying and we usually say the operator eia<t>jv{x) ( o r e%aejv{x)^ n a g t n e s c a j j n g dimension a2/AixKjV (or a2Kjv/Air). If a cosine interaction term containing 4>jV(x) is present, Hint = J dx cos \P<t>jv(x)], (1.38) the effect depends on its scaling dimension B2/ATTKJU. This is the widely studied sine-Gordon model. More details can be found in Ref. [81]. If ft2/ATTKJV > 2, then it's an irrelevant operator. The correlation functions of vertex operators are still given by Eq. (1.36) and (1.37). If ft2 jAi[KjV < 2, then it's a relevant operator. (f>jU(x) will tend to be "pinned" to a constant so as to minimize the ground state energy in the semiclassical sense. We can replace <j)jV{x) by its pinned value when calculate the correlation function for the operator e10^"^. Instead of decaying with a power-law, Eq. (1.36) becomes a constant and the e , a^"( I) operator has true long-ranged order. On the other hand, if (f)jv(x) is pinned, its conjugated field QjV(x) will fluctuate violently. The correlation function of the operator eta6'v^ will decay exponentially. Instead of COS[/?0J„(:E)], if the term cos[/3^i/(x)] is in Eq. (1.38), now the scaling dimension is f32KjU/An. If it's relevant, then Eq. (1.37) becomes a constant and Eq. (1.36) decay exponentially. In general, there is more than one interaction in the Hamiltonian. We will analyze the R G equations to see which interactions are relevant in Chapter 4. O B C along the rung direction are taken care of by the values of Sja in Eq. (1.11). We should consider what's the consequence of O B C in the leg direction. The system is from site 1 to L. O B C on site 1 and L are equivalent to vanishing boundary conditions at the extra "phantom" site 0 and L + 1. For x = 0, V'ia(O) = 0, and in terms of chiral fermions becomes ^jya(O) = - ^ j « ( 0 ) . (1.39) Upon bosonizing we obtain dja{0,t) = 0jy a(O,t) - fajaiO,t) = const. (1.40) Because <f>Rja is only a function of Vjt — x and 4>Lja a function of vjt + x, we can regard <t>Rja as the analytic continuation of <f>Lja to the negative axis <f>Rja{x) = <t>Lia{-x) + Const. , (l-4l) Chapter 1. Introduction 19 The innocent-looking result Eq. (1.41) will change the properties of correlation functions dramatically. The one point function for a gapless mode (e%a6^x^ = 0 for periodic boundary condition in the leg direction. Now with O B C , by using Eq. (1.41), the one point function reduces to a two point function of the operators with half scaling dimension (only left moving fields): (eia6ja(x^OBC ~ (^eia<t>Lja{-x)e-ia<i>Lja(x)^ _ (2x)~a2KJa/4lT. (1-42) The density operators usually involve 9ja fields. So the boundary-induced generalized Friedel oscillations, such as Eq. (1.1), can be regarded as a useful tool to diagnose the Luttinger parameter. Note that Eq. (1.41) doesn't significantly change the one point functions of non-zero charge operators involving <pja fields, such as pair and bipair operators. The sign change in Eq. (1.42) will leave the one point function zero. What we describe here is very general and 9ja is not only limited to a band boson field. For any gapless boson field, the results here are still applicable. 20 Chapter 2 Stripes and Bipairing In this Chapter we wish to prove a general result that would apply to any of these phases that are candidates for a stripe phase, regardless of what basis for the boson fields we use. Stripes are incommensurate density oscillations with the lowest wave-vector 27m (e.g. no 7rn density oscillations) [17, 18]. The wave-vector 27rn is equivalent to Akp via the ID Luttinger theorem [76]. Stripes thus can be described as the generalized Friedel oscillations induced by the boundary [23]. A derivation of the 4kp components of density operators is given in Appendix A . At incommensurate filling, the ID Luttinger theorem states that at least one gapless charge mode always exists. Stripe phases appear to have a spin gap in D M R G works and we expect that phases with more than 1 gapless charge mode are genericaJly unstable. So we restrict out attention to C1S0 phases. We then argue that any phase exhibiting stripes (i.e. 27m oscillations) cannot exhibit pairing (i.e. power law pair correlations and gapless pair excitations) but can exhibit bipairing (charge four operators). In a C1S0 phase, 7 out of 8 boson fields are pinned due to interactions. We will consider all possible four fermion interactions written in terms of right and left moving fields tpR/L, including those that are ignored in the conventional weak coupling analysis. Similarly to what we discussed in the previous Chapter, after bosonizing, if the interaction is relevant, the boson fields in the interaction will tend to be pinned to constants. Before we proceed, we should explain explicitly what we mean by a boson field 9 (or <fi) being pinned. Consider a vertex operator of a boson field, e i a 6 , where a is a constant. If (e™6) = const 7^ 0, then we say 9 is "pinned" to some constant modulo 27r/o. On the other hand, we say 9 is "unpinned" if (e ' a 0 ) = 0. There could be three situations for 9 to be unpinned. First, 9 is gapless. Second, a part of it is gapless and the rest is pinned. For example, if 9\p is gapless and 9ip is pinned, then I^^P+^P)!^^ is still zero since we can replace the pinned fields by their pinned values. Thirdly, its dual field <j) or part of its dual field is pinned and therefore 9 will fluctuate violently. There are many such phases characterized by which fields are pinned. In general, it is not appropriate to simply label the pinned fields as <f>iV or 9{V in terms of the band basis. The interaction terms in the Hamiltonian involve various linear combinations of these fields and it is generally necessary to characterize phases by first going to a different basis of boson fields: B'p = RP9P, $p = Rp$p, 9'a = RX, $a = Rj„, (2.1). where 9P = (9ip, #2p, 9zp, 9ip) etc and Rp and are orthogonal matrices. We will refer to the basis {9'i ,<j)'ip) and (9'io.,(f>'io.) as the "pinning basis". One of the 4 charge bosons Chapter 2. Stripes and Bipairing 21 in the new basis (6'ip, <j)'ip) remains gapless in a C1S0 phase. A l l of the other 7 bosons are gapped. However, for each of these 7 bosons we must specify whether it is Q'iv or <f)'iv which is pinned. We refer to this choice of which bosons are pinned as a "pinning pattern". Each pinning pattern corresponds to a distinct phase. (Actually the number of distinct phases is even larger than this since the points, C{v at which a boson is pinned, eg. (0'iv) = CiV, can also characterize the phase.) Our basic strategy is to check through all possible pinning patterns for a C1S0 phase and see if any pinning pattern can make the correlation functions of pair and AkF den-sity operators decay with a power-law at the same time. As we discussed before, with a pinning pattern, we can replace the pinned bosons by constants inside the correlation function. The correlation function will, decay exponentially if the vertex operator contains the dual of a pinned boson. It will decay with a power-law if the vertex operator only contains the gapless mode and pinned bosons. However, there are three main complica-tions here. The first one is: what is the basis for the boson fields (including the gapless mode)? Even though we know the basis, there are still too many pinning patterns (more than 2 7). The last problem is that the wave-vectors of AkF density operators can be changed and actually correspond to that of stripes if some Fermi momentum renormal-ization occurs. For example, the wave-vector kF\ + kF2 + 2kFz = AkF if the condition kF3 = kF4 is satisfied. In this Chapter, we try to solve these problems. Now we would like to introduce a specific combination of band bosons Eq. (1.23) and (1.24), which is relevant to symmetry. Define the total charge (or spin) field as Qlu = \(dlu + d2u + 0Sv + 84v), (2.2) where v = p or o and similarly for $ l v if we replace 6 by <f>. We can somewhat restrict the possible pinning patterns by symmetry considerations. Charge conservation symmetry, ip —> e'7 ,0 for all fermion fields, ip, corresponds to the translation: K -> 4>j„ + y / V ^ r (2-3) Thus, the allowed pinned 4>'ip must be the linear combinations of in other words, any pinned <j>\ fields must be orthogonal to $i p. Similarly, the subgroup of SU{2) symmetry, ipa —> e*aeij)a where a = + or — for spin up or down, respectively, corresponds to: 4>i° -> K + \[2~fxe. (2.4) Therefore, any pinned (f>'i(T can only be the linear combinations of in order not to violate the SU(2) symmetry. We also expect translation symmetry to be unbroken at incommensurate filling, as discussed in Sec. I. We see from Eq. (1.14), that translation by one site: x —> x + 1, corresponds to the symmetry: il>R/Lju -> e±ikF^R/Ljv, (j = 1,2,3,4) (2.5) corresponding to: 9jp 9jp + ^/2firkFj, {j = 1, 2, 3,4). (2.6) Chapter 2. Stripes and Bipairing 22 Consider a vertex operator of a boson field, e , a 5 , where a is a constant. Since in general the factors -^/2/nkFj are not zero modulo 27r/o, this may forbid pinning of any of the 6jp fields. However, it may happen, due perhaps to some renormalization phenomenon, that 2 or more of the kFj are equal. In that case it might be possible for some of the 9jp bosons to be pinned. For example if kpi = kFj, then 8?j~ could be pinned without breaking translational symmetry. We will allow for that possibility since there is no reason to exclude it in the strong coupling region. However, @ l p can never be pinned since it transforms under translation by one site as: 0 i P -> ©ip + 4kF/V2^, (2.7) and 4kF/2n = n is always non-zero modulo 2n/a at incommensurate filling. The fact that G i p can never be pinned is not exactly equivalent to the statement that the gapless boson in a general ClSO phase at incommensurate filling has to be (©i p , $ i p ) . There could be exceptions if some pinned 9'ip fields are not orthogonal to @i p . If that happens, then @ l p can't even be chosen as a basis field. As we know, all the pinned (f>'ip must be orthogonal to $ i p due to the charge conservation. However, translational symmetry doesn't demand all the pinned 9'ip must be orthogonal to © i p and in general whether a 9'ip is pinned or not depends on the Fermi momentum. Thus to know whether a 9\p can be pinned without violating translational symmetry, we have to discuss the possible Fermi momentum renormalization. However, even though some 9\p field is allowed to be pinned by symmetry, in practice, whether it really gets pinned or not depends on the interactions in the Hamiltonian. In the weak coupling treatment, the renormalizations of kFj are assumed not to happen and kFj are in general all different. The interactions involving 9\p fields won't be present in the Hamiltonian due to the fast oscillating factors in front of them. Again, if some renormal-ization of Fermi momentum occurs such that the oscillating factor becomes a constant, then new interaction will appear in the Hamiltonian. For example, if 2(kF{ + kFj) = 2n, the interaction involving it, such as e~i2(kFi+kFrix^RiaipRj^Lia^Lja oc e - ' ^ ^ 4 ^ \ can be present in the Hamiltonian since the oscillating factor e~l2^kFi+kF^x becomes a constant at each lattice site x. In this case the shift of 9^ under translation is 2n/y/4iv, which becomes 2ir for y/4^9^.Thus if this interaction is relevant, then then the field 9ff will be pinned. Therefore, whether a 8\p field is pinned or not depends strongly on the specific renor-malizations of Fermi momenta, which could happen in the strong coupling region. Besides these issues related to symmetry and interactions, a general 4kF density operator may correspond to the 4kF one if some suitable Fermi momentum renormalization happens. For example, the wave-vector 2(kFi + kF2) is the same as 4kF if kFi = kF3 and kF2 — kF$. So we have to carefully discuss all the possible Fermi momentum renormalizations and their implications. Our strategy is to first discuss the case when pinned bosons are all orthogonal to the total charge mode. Therefore, the gapless mode is the total charge field. Then we consider cases where some pinned 9'ip fields not orthogonal to the total charge mode ©i p . Chapter 2. Stripes and Bipairing 23 The efficient way to check through all the possibilities is by checking all the possible renormalizations of Fermi momentum such that the interaction containing 9'ip will ap-pear in the Hamiltonian. If that interaction is relevant, the gapless charge mode is not ( 9 i p , anymore since it can't be used as a basis field. These cases will be discussed in a separate section. 2.1 Total Charge Mode Is Gapless In the following discussion in this subsection, we will only consider the renormalization of kFi such that the pinned 6'ip bosons are orthogonal to 6 i p . In other words, the conditions such as 2(fcj?,' + k-Fj) = 27T, won't occur but other possibilities such as fc^i — kFj — 0 or kFi - kF2 + kFz - kF4 = 0 are allowed. Then 9ff and (0 i p - 92p + 93p — 94p)/2 may get pinned but they are still orthogonal to O i p . In this case, the gapless charge mode will be ( O i p , $ i p ) since all pinned 9'ip or 4>'ip fields are orthogonal to O i p or <3>ip, respectively. We can reorder the transformed basis, <p'ip, so that (f>\p = $ i p and 8[p = 0 i p . First of all, we have to know the conditions so that two (or more) operators can (or can't) be power law decaying at the same time. To find these conditions, consider two arbitrary operators expressed in terms of the band basis and let's rewrite them in the following way: OB ~ e^pB-Sp+VpB-(i>p+U0B-d<T+V<TB-$<T) 2^ 9) We can represent any vertex operator OA by four coefficient vectors UPA, VPA, UO-A and VQ-A- Fo r example, if OA ~ e ' ^^ i+^ i ) , then vpA = (V2TT, 0, 0,0), uaA = (V^n, 0,0,0) and both UPA and vAA are (0,0,0,0). Eq. (2.8) and (2.9) are written in terms of the boson fields in the band basis, which is not necessarily the basis in which boson fields are pinned. At this stage, we may not know what the new basis should be but we know at least that the fields in the transformed basis have to be orthogonal to each other. Then Eq. (2.8) and (2.9) can be rewritten as QA ~ ei*U<HA-%+«'<rA<+^A-fo), (2.10) 0B ~ e ^ ^ ^ ^ ^ ^ ^ ^ * ) , (2.11) where 6' — RP9P, 9'a = Ro-9a and similarly for <pp = Rp<f>p and <j}'a — Rc<\>a. Here Rp and Ra are two orthogonal 4 by 4 matrices that transform the boson fields from the band basis to a new one. The new corresponding coefficient vectors are u'pA = UPAR^, U'O-A = UO-ARV--- here R^ and RT are the transpose of Rp and Rff. Now assume that the bosons get pinned in this new basis. We know only one of 9[ and <$>\ can be pinned and the presence of the dual of a pinned boson will result in exponential decay. Consider a simple situation in which all bosons are pinned, i.e. a C0S0 phase and Chapter 2. Stripes and Bipairing 24 the pinned bosons are (</>'lp, d'2p, 6'3p, <j)4p) in the charge channel and (0' lcr, (j)'2cT, </>'3o., 9'4a.) in the spin channel, even though we don't know explicitly the transformations to the new basis. This set of pinned bosons enforces some constraints on the coefficient vectors UPA/B, VpA/B, UO-A/B and V0AJB SO that OA and OB don't decay exponentially. The constraints are simply that the coefficients for the dual of each pinned boson must be zero. In this case, for X = A or B: tipx = (0,-,-0), Kx = (-0,0,-), Kx = (-0,0,-), Kx = ( o , - - o ) , where "—" means no constraint. These constraints actually imply the following equations: KB - KA KB - 0, (2.12) VpA- $pB KB = 0, (2.13) tipA •KA = KA KA = o, (2.14) tipB KB = KB •KB = o. (2.15) One can easily see that different sets of pinned bosons will imply the same equations for inner products. So the actually pinning patterns of boson fields are irrelevant for the constraints here and the crucial point is that all the fields are pinned. Eq. (2.12)-(2.13) are for the coefficient vectors in the new primed basis. So we don't really know their components. However, we know inner products are invariant under any orthogonal transformation. Thus, the coefficient vectors in the band basis should satisfy the same Eq. (2.12)-(2.13) but without the primes. So for any two operators OA and OB written in the band basis, we know the necessary condition on their coefficient vectors for OA and OB not to be exponentially decaying. However, things are slightly different for a C1S0 phase, which is the case we are really interested in. Now the inner products u'pA • KB a n ( l KA ' KB m the charge channel are not necessary zero since the overlap is allowed in the subspace of gapless boson fields. For example none of OA ~ and OB ~ ex6l» are exponentially decaying if (9[p, (j)'lp) is gapless even though \?pA • u'pB = 1 in this example. In principle, we even don't know what's the value for the nonzero inner products if the gapless field is arbitrary. However, here we first discuss the case in which gapless mode is the total charge bosons ( 6 i p , $ip)-This means, choosing <p'lp — $i p, that the first row of the orthogonal matrix Rp can be chosen to be (1/2,1/2,1/2,1/2). Roughly speaking, for each charge boson field in the band basis, we have 0j> = 2®1P~' ' <i>ip = ^ $ i p + ---. Chapter 2. Stripes and Bipairing 25 Therefore, we find that for all the pairing A and 4kF density operators the coeffi-cients of Qip and $i p are fixed: A ~ e ' l ^ ^ H i ' ^ H i ^ ^ A ' i ) = eiy/l^P+-i (2.16) n4-kF „ e i K n ^ H n ^ K „ ^ + < n ^ ) = e-<v^8ip+-_ (2.17) As we mentioned before, the only nonzero part of inner products must come from the gapless boson ( 6 i p , $ip). Although we don't know the full representation of pairing and 4kF density operators in the new basis, nonetheless, from Eq. (2.16) and (2.17), it's sufficient to conclude that the only nonzero inner product between (v')'s and (u')'s has to be exactly V*PA • Kn = ±7r> (2-18) where the positive sign occurs when taking the Hermitian conjugate of one of the oper-ators. In the following convention, we choose AkF density operators so that —IT is taken in Eq. (2.18). Finally, we get the necessary conditions on the coefficient vectors in the band basis so that a C1S0 phase can have both pairing and stripe correlations: VpA-Upn - -7T, (2.19) UpA-Vpn = 0, (2.20) «<rA • 'Son = VcA • UM = 0, (2.21) UpA • VpA = U^A • V<TA = 0, (2.22) Upn • Vpn - U„„ • Van = 0. (2.23) Now we will write down the bosonized expressions for pair and AkF density operators in the band basis and then give our proof that stripes and pairing cannot coexist. First consider pairing. By "pairing" we mean the existence of any operator of charge 2 whose correlation functions exhibit power-law decay. Any pair operator that only contains right or left fermions, such as ipRc^ipRbi, can never exhibit power law decay since from Eq. (1.20) we know PROO — (<^ aa + 0aa)/2 and this will result in UPA • VPA and w^a • VaA 7^ 0. (Eq. (2.22) is violated.) Furthermore, any pair operator with non-zero total z-component of spin will contain a factor with the exponential of and hence exhibit exponential decay. So, there are only two types of charge 2 operators, containing only two fermion fields, which are candidates for power-law decay. Ignoring Klein factors, these are: ^RaaTpLaa ~ J^*"**-) (2.24) TpRaaTpLba ~ e ^ ^ + ^ ^ J ^ ) ( a ^ b) (2.25) Here a and b are band indices and a =y or J,, a = —a. The + or — sign occurs for a =f or 1 respectively. Even though Eq. (2.25) carries non-zero momentum for kFa ^ kFb, there is no reason to exclude it. Chapter 2. Stripes and Bipairing 26 We now consider the 4kF density operators, corresponding to stripes. The following two operators are the most general AkF density operators: i ^ a i a f e ~ e - ^ [ ( C ^ + ) + ( C + ^ r ) ± ( ^ + + C ) ^ ( ^ - + < r ) ] , (2.26) t M k f e ~ e - ^ [ ( C + ^ + H ( C + ^ r ) ± ( ^ + - C ) ± ( ^ - - ^ - ) ] , (2.27) Here i, j, k and I are arbitrary band indices and the + or — sign is for a =7 or ! respectively. Whether i, j , k and I axe all different or not actually doesn't change the conclusion. When all the band indices are different, the operators correspond to the oscillation wave-vector of AkF = kFi + kF2 + kF3 + kF4 which is 27m, the wave-vector of stripes. However, if some special renormalizations of Fermi momentum, such as kF\ = kF3 and kF2 = kF4 occur, then the wave vector 2(kFi + kF2) also corresponds to 27rn. That's the reason why we consider arbitrary rather than assuming they are all different band indices in Eq. (2.26) and (2.27). Now we are ready to proceed with our proof that pairing and stripes can't coex-ist. Before we start, please note that we adopt the usual convention for set theory in mathematics. Two sets A and B are said to be equal, if they have the same elements. . Let's first consider whether the pair operator in Eq. (2.24) and AkF density operators in Eq. (2.26) or (2.27) could both have power law decay. In order to satisfy Eq. (2.19), #pA • Upn = — 7T) the index a in Eq. (2.24) must be chosen the same as precisely one of the indices from the set {i, j, k,l} in Eq. (2.26) or (2.27). For example if {i,j,k,l} = {1,1, 2, 3}, then a must be either 2 or 3. If such a choice of a exists (one counter example is {i,j,k,l} = {1,1,2,2}, ^ —ir for any a), however, it implies uaA • 4 / 0 due to the term 6aa in Eq. (2.24) and (<%~ ± <jf£) in Eq. (2.26) or (2.27). Thus, the condition Eq. (2.21) is not satisfied and the pair operator Eq. (2.24) can't coexist with any AkF density operator of arbitrary {i,j, k,l}, including stripes. Things are less trivial for the other type of pair operators Eq. (2.25). The discussion depends on the situations of the indices set {i,j,k,l}. Eq. (2.26) and (2.27) are reduced to different operator forms depending on the different choices of the indices and the inner products need to be discussed separately. For example, if i = j, k = I and i ^ k, then Eq. (2.26) and (2.27) contain neither charge nor spin 4> fields. In the following, we classify all the possible choices of {i, j, k, 1} and prove there is no pairing operator that can satisfy all the conditions Eq. (2.19)-(2.23) for any choice of {i,j,k,l}. We first consider the case where all the indices are different from each other, i.e. i 7^ j 7^ k ^ I. Comparing the coefficient vectors w p a arising from 8^ in Eq. (2.25) and vpn from (<^~ + (f)p~) in Eq. (2.26) and (2.27), in order to have UPA • vpn = 0, the indices set {a, b} have to be chosen the same set as {i, k} or {j, I}. Next when we compare in Eq. (2.25) with ($r + <ff£) in Eq. (2.26), we find ua± • Vo-n ± 0 since {a, b} = {i, k} or {j,l}. Also, when <tfab~ in Eq. (2.25) is compared with (0£ + - fftf) in Eq. (2.27), we find that VO-A -Uo-n / 0 for the same reason. So, the pair operator Eq. (2.25) is not compatible with 4kF density operators. To make the above argument more clearly, we should look at one specific example. For density operators with the choice i = l , j = 2, k = 3 and / = 4, we have the Chapter 2. Stripes and Bipairing 27 coefficient vector tfpn = -*JK~J2{\, - 1 , 1 , - 1 ) from the term (<#/".+ <t>pki) in Eq. (2.26) and (2.27). If we choose {a, b} = {1,3} or {2,4}, the coefficient vector due to 9^ is •UpA = ± - v / 7 r / 2 ( l , 0, -1 ,0) or ±y/n/2(0,1,0, -1 ) , which satisfies the condition u p A -Vpn = 0. Now, with this choice of indices, the term in Eq. (2.25) corresponds to the coefficient vector « c t A = V^72 ( l ,0 ,1 ,0) or y/ir/2(0,1,0,1), up to a negative sign and •Uo-A can not satisfy the condition uAA • van = 0 with van — ±1^/^/2(1, —1,1, —1) from the term (<f%r + ft~) in Eq. (2.26). Similarly, Eq. (2.25) and (2.27) can not satisfy another condition • = 0. Now if three or all four indices in the set {i, j, k, 1} are the same, such as {1,1,1,2} or {1,1,1,1}, then the coefficient vectors VPA from in Eq. (2.25) and Upn from (9?f+9pk}~) in Eq. (2.26) or (2.27) can never satisfy VPA • Upn = —vr for any {a, b}. When only two indices are the same, we have to consider six cases since Eq. (2.26) and (2.27) reduce to different operator forms for different choices of the indices. Assume that i = j and k ^ I ^ i in the set {i,j,k,l}, for example i = j = 1, and {&,/} = {2,4}, and then {a, b} must be chosen to have no common elements with {k,l} (i.e. {a, b} n {k,l} — 0) in order to satisfy the condition UPA • Vpn — 0, e.g. {a, b} = {1,3} given the above choice of i, k and I. However, that will make V^A • u<rn ^ 0 and therefore Eq. (2.25) is not compatible with Eq. (2.26) and (2.27) for i = j and k^l^i. Now assume i = k and j / I ^ i. Since a ^ b, to make « PA • vpn — 0, we need {a, 6} = {j , /} . Then we find that uaA • van ± 0 from Eq. (2.25) and Eq. (2.26) and t?aA • M<rn 7^ 0 from Eq. (2.25) and Eq. (2.27). For i — I and j ^ k ^ i, to make « PA • i^n = 0 true, we need to choose the indices so that {a, b} fl {j , k} = 0 . For example, we can choose i — I = 1, {a, 6} = {1,3} and {j , k} = {2,4}. However, this condition {a, 6} fl {j, k} = 0 will result in V^A • u<m 0 from Eq. (2.25) and Eq. (2.26) and uaA • van ^ 0 from Eq. (2.25) and Eq. (2.27). There are three more cases that we should consider. They are j = k, j = I and k = I. In these cases, Eq. (2.26) and (2.27) actually reduce to three similar situations we have discussed above with some signs changed which don't effect the result. Thus, Eq. (2.25) is not compatible with Eq. (2.26) and (2.27) for the cases that only two indices are the same in the set k, I}. The last situations we have to consider are where {z, j, k, 1} are two pairs of indices. We first discuss the case i = j, k = 1 and i ^ k. To satisfy the condition vpA • Upn = — TT, only one index in the set {a, b} should be chosen the same as one index in {i, k}, e.g. if o = * then b ^ k. Then we find Eq. (2.25) and Eq. (2.26) or Eq. (2.27) will have V<TA • Ucrn 0. In the case i = k, j = I and i ^ j , similarly, only one of {a, b} should be chosen the same as one of {i , k} so as to have to have VPA • Upn = — 7 r - Then UPA • vpn ^ 0 from Eq. (2.25) and either Eq. (2.26) or Eq. (2.27). For i = I, j — k and i ^ j, Eq. (2.26) reduces to the same form as that in the case for i = j, k = I and i ^ k, which was already discussed. For Eq. (2.25) and Eq. (2.27), in order to have VPA • Upn = —TT, only one of {a, 6} should be chosen the same as one of {i, k}. However, this will make U^A ' #<m i1 0 and therefore they are not compatible. Chapter 2. Stripes and Bipairing 28 Now we want to ask further if any operator of non-zero charge can have a power-law decaying correlation function in a stripe phase. Inspired by the real space picture of stripes and the finite size spectrum analysis in the next section, we find that there is always some charge-four bipairing operator, which does so. The most general non-chiral bipairing operators are: ^ R a a ^ L ^ R ^ L v J ~ c ^ ( ^ ^ ) + ( ^ ^ ) ± W , + ± ^ + ) ± « r ± « . - ) ] . (2.28) Here s, t, u and v are arbitrary band indices. Although Eq. (2.28) are the possible bipairing operators in the most general sense, only when s = t and u — v or s = v and t = u does Eq. (2.28) carry zero momentum and have no real space modulation in the correlation functions. On the other hand, we have no reason to exclude the possibility that Eq. (2.28) does decay with a power law with an oscillating factor at this stage. Following the previous discussion, now we will prove that any ClSO phase with AkF density oscillations, also has bipairing correlation. The conditions for bipairing and 4kF density operators to coexist are almost the same as Eq. (2.19)-(2.23) but now with vPtbi-uPin = —27r, where we use a subscript "bi" for bipairing operators. Now for simplicity, let's focus on the following two types of bipairing operators carrying zero momentum: IpRsaTpLsaTpRiaTpLm ~ e ^ ( * S i + ± « D , (2.29) TpRsai>Lsai>Rtpi>UL3 ~ j ^ t f * * ? ) . (2.30) , We find that Eq. (2.26), (2.27) and Eq. (2.29) can coexist if we choose {s,t} = {i,j} or {k,l}. If we have a = (3 in Eq. (2.30), i.e. is present, then Eq. (2.26), (2.27) and Eq. (2.30) can coexist with the choice that {s,t} = {i,j} or {k, I}. If we have a = j3 in Eq. (2.30), then d,j~ is present. Eq. (2.26) and (2.30) can coexist with the choice that {s,t} = {i,k} or {j,l}. Eq. (2.27) and (2.30) can coexist if {s,t} = {i,l} or {j,k}. 2.2 Gapless Field Is Not the Total Charge Mode Now we should address the issue about the possibility of some pinned 6'ip fields which are not orthogonal to 6 i p . In this case, O i p can not be a basis field and thus the gapless charge mode won't be, 6 i p anymore. As we discussed at the beginning of this chapter, whether a 9'ip field can be pinned or not depends on the renormalization of Fermi mo-menta. Fermi momenta are important regarding both translational symmetry and the „ interactions in the Hamiltonian. A certain 9'ip field can be pinned if it's allowed by sym-metry and there is a relevant interaction involving it in the Hamiltonian. The oscillating factors of four fermion interactions only involve the Fermi momentum combinations like (kF, ± kFj ± kpk ± kFi) whereas any arbitrary combination can be considered from sym-metry's point of view. Therefore, it will be much easier to discuss the possible pinned 9'ip fields, not orthogonal to 9 i p , through the possible new interactions containing 9'ip in the Hamiltonian. Chapter 2. Stripes and Bipairing 29 In fact, we are only concerned about the question whether pairing and stripes can coexist when the gapless mode is not the total charge field. In the previous section, we saw that the correlation functions of two operators can decay with a power-law at the same time if and only if Eq. (2.19)-(2.23) are satisfied. When the gapless mode is not the total charge field, apparently Eq. (2.19), VPA • upn — —ir, is not correct. We just don't know the value for this inner product if we don't know what the gapless field is. Strictly speaking, the inner products, Eq. (2.20)-(2.23), between the coefficient vectors have to be zero after excluding the contribution from the gapless field. Mathematically, we mean vpA • upA = 0, where vpA — vpA - (VPA • <j)g and upA = upA - (UPA • 9)9 where the gapless charge mode is g • <f>p (g is a unit vector). Take a two band system for example: the operator OA ~ e ' ^ ^ i + ^ + ^ i - ^ ) has the coefficient vectors vpA = \/27r(l, 1) and upA = -V/2TT(1, —1)- It's easy to see that this operator satisfies the condition VPA • UPA — 0. If (0i2,(/>\t) i s the gapless charge mode, then g = ( l , l ) / \ / 2 . Only 9 fields contain the gapless mode. The gapless mode won't appear in the <j> fields since in this case it's orthogonal to the <j> field, <^ — <f>2- Then there is no contribution to the inner product from the gapless mode and we have vpA-upA — 0. This operator could have power-law decaying correlations. However, if (0P, <j>{) is the gapless field, we have to exclude the part of the inner product due to the gapless field since the overlap between 8 and <f> fields is allowed for the gapless mode. Now g = (1,0), and we find the inner product vpA • upA = —27T ^ 0. Then the correlation function of this operator will decay exponentially since 9% and (f>2 can't be pinned at the same time. The conditions on the spin fields are still the same since they have nothing to do with the gapless charge mode. We will have to check the pair and '4kF density operators for all possible gapless charge modes case by case. In order to check through all the possible pinning patterns efficiently, our strategy is to start with one Fermi momentum renormalization condition so that the new interaction involving a d'ip field not orthogonal to 9 i p is present in the Hamiltonian. Next, we will assume that interaction is relevant and 8'ip, as one of the basis fields, is indeed pinned. We further assume that the phase has pairing, that is, either Eq. (2.24) or (2.25) has power-law decaying correlations. So there will be two types of pairing to be discussed. Each type of pairing, will require that some boson fields get pinned. If another 9'ip field needs to be pinned in order to have pairing, it's allowed but one more Fermi momentum renormalization condition must occur. For a phase with pairing, we will have a pinning pattern for some boson fields but the rest of it will still be undetermined. Then the question is if it's possible to have stripes by arbitrarily choosing the pinning pattern for the rest of the bosons. To answer it, we have to check the correlation functions of all 4kF density operators carefully since some of them may correspond to stripes if additional Fermi momentum renormalization conditions are satisfied. After this is done, we repeat this procedure but start with a new 9\p field not orthogonal to 0 i p , that is, another Fermi momentum renormalization condition. When all the possible Fermi momentum conditions associated with the interactions are discussed, we will have completed the proof. Recall that an interaction can appear in the Hamiltonian if its oscillating factor Chapter 2. Stripes and Bipairing 30 becomes a constant, that is ±(kpi ± kFj ± kFk ± kpi) = 0 or 27r. Here A; and I are arbitrary band indices (see the oscillating factor in Eq. (B.2) in Appendix B). These interactions contain charge fields like ±(0* p ± 9jp ± 6kp ± 9ip) after bosonized. We have to consider the possible combination not orthogonal to the total charge mode 6 i p . If i,j, k and I are all different, we only need to consider kFi + kFj + kFk — kFi = 0 or 27T since kFi + kFj + kFk + kFi = 27rn and kF, + kFj — kFk — kFi doesn't result in the field not orthogonal to the total charge mode. If two indices are the same, say i — I, we need to consider 2kFj + kFj + kFk = 2TT and 2kFi + kFj — kFk = 0 or 2n where i , j and k are different. If three indices are the same, say i — k = Z, we need to consider SkFi + kFj = 2ir and 3kFj — kFj = 0 or 2ir where i ^ j. If two pairs of indices are the same, then we need to consider 2kFi + 2kFj — 2TT where i ^ j. When each of the above renormalization conditions is satisfied, there will be a new interaction containing a 6P field not orthogonal to the total charge mode. In each case, we also allow other Fermi momentum renormalization conditions to occur so as to change the wave vector of density operators or pin some other 6P field orthogonal to the total charge mode. We have to discuss the cases for 2kFi + 2kFj = 27r and 2kFi + kFj + kFk = 27r in details. As for other conditions, there will be a general argument. In the following, we consider all possible four fermions interactions to determine the phases (or pinning patterns). We will show that pairing and stripes still can't coexist even if the gapless mode is not the total charge field. 2.2.1 New Interactions Due to kpp + kpq = 7r We first consider when kFp + kFq = TT is satisfied where p ^ q. Then the oscillating factor of the interaction like ^Rpai>iiqa-'tpLpa-'ipLqa becomes one at each site. Therefore, 0£+ may get pinned in this case. In order to reduce the confusion of indices, without loss of generality, we will choose explicitly p = 1 and q = 2. Now assume the new interaction is relevant and 6$ is really pinned. Since the total charge field 9 i p is always unpinned, this implies is unpinned. However, this is not equivalent to say 634 is gapless yet. If either 0 3 p or 6AP is gapless, 6^ is also unpinned. Say, (#3P, <f>zp) is gapless, then either 0 4 p or cf>4P has to be pinned in a C1S0 phase. However, Eq. (2.6) and (2.3) states that 9AP and 4>4P are not allowed to be pinned by symmetry if kF4 ^ 0. (See Sec. (2.3) for the case where kF4 = 0). Thus we conclude the gapless mode is (#3^, ^34) in this case. Now the basis in the charge channel could be given by the orthogonal rotation matrix Rp — (2.31) / 0 0 0 0 1/V2 1/V2 V 1/V2 -1/V2 0 0 J Note that at this stage, we only know for sure that {Olti^u) is gapless and the linear combination is pinned. However, the basis could be chosen differently for the following reason. For example, assume that 9^ is also pinned due to the interactions involving 9{2 1/V2 1/V2 \ l/y/2 -l/y/2 0 0 0 Chapter 2. Stripes and Bipairing 31 with the extra condition kFi = kp2, then the orthogonal linear combinations 9P2 and 9{2 could be part of a new basis since the new fields are still orthogonal to the gapless mode. When the interaction involving 934~ is also present, then there will be more choices of basis. Regardless of the consistency of these conditions on the Fermi momentum, we don't worry too much about different bases here for the following reasons. As we mentioned before, the inner product is invariant under orthogonal basis transformations. So if we find a conflict between pairing and stripes in one specific basis, the conflict still remains in any different basis which is related by an orthogonal transformation. Another important part of our proof is to argue that the wave-vectors of the Akp density operators won't correspond to that of stripes without causing inconsistency. That only depends on the band indices in Eq. (2.26), (2.27) and Fermi momentum renormalization conditions, which are all independent of the basis. For simplicity, we will use the Rp in Eq. (2.31) and keep in mind that the different choices of basis are possible. Pairing Case I [Eq. (2.24)] Now let's see what are the requirements we need in order to have pairing. Recall that we start with the condition kp\ + kF2 = TT. The field 9{2 is pinned and {6^t^it) *s the gapless field. To make the correlation function of the operator in Eq. (2.24) decay with a power-law, (j)p3A~ and 8$ff (or 9^) have to be pinned upon choosing a = 3 (or 4) in Eq. (2.24). So we conclude that {9Pt Alt) gapless, 9P2 ,4>Z\A and 0 3 c r (or 04<r) pinned are the only possible pinning patterns for Eq. (2.24) to have pairing under the condition kFi + kF2 = 7T- We will consider another possibility that the correlation function of the operator in Eq. (2.25) decay with a power-law later (in Pairing Case II). Now we should discuss whether it's possible to have stripes allowing arbitrary pinning patterns for the rest of the boson fields in this case. _ Stripes are the density oscillation with wave-vector 27m, corresponding to 4k F density operators. However, a AkF density operator with wave-vector kFi + fci?2 + 2/CF3 could be identified as 4kp — 2irn, if the renormalization of Fermi momentum fcp3 = kF4 happens. As we did before, we have to check all the possible AkF density operators that may correspond to 27m. The only difference now is that the gapless mode is (9^,^). Eq. (2.26) and (2.27) are the most general AkF density operators. We have to consider four situations about the indices in Eq. (2.26) and (2.27), where the density operators reduce to different forms. These four situations are: (1) all the indices are different; (2) two indices are the same but different from the other two; (3) two pairs of indices are the same; (4) three indices are the same but different from the last one. For case (1): When i,j,k and I are all different in Eq. (2.26) and (2.27), Eq. (2.24) can not coexist with both Eq. (2.24) since uAA • #<rn 7^ 0 due to the term 9^ in Eq. (2.24) and {<f>fr ± 0J-) in Eq. (2.26) or (2.27). As for Eq. (2.25), we need to choose {a, 6} = {i, j} or {k, 1} in order to satisfy U^A • van = 0 for the spin bosons. Then the inner product UPA • Vpn due to the term 9^ in Eq. (2.25) and (</>?" + </>^~) in Eq. (2.26) or (2.27) is nonzero. The inner product VPA • between the term (f)p^ in Eq. Chapter 2. Stripes and Bipairing 32 (2.25) and (Off + 9$) in Eq. (2.26) or (2.27) is also nonzero. We know that the inner product including the gapless mode can be nonzero but the part excluding the gapless mode u p A • and v p A • w ,^, should be zero. That is to say, u p A • Vpn = 9^ • 4>PJ and ^pA'Wpn = <f>Po^-9^ should be both zero after the gapless mode is projected out. However, this is impossible since upA • Vpn = vpA • Upn before the projection and 9^ is orthogonal to . The above discussion is very general and doesn't assume anything about the gapless mode. The conclusion that these AkF density operators and the pair operator Eq. (2.24) or (2.25) can't decay with a power-law at the same time holds for any gapless mode. In the later discussions, we don't have to worry about these AkF density operators. For case (2): We first assume only two indices are the same in Eq. (2.26) and (2.27). Then Eq. (2.26) and (2.27) will reduce to the operators with three band indices. We just have to work out all the operator forms when two out of four indices are the same in Eq. (2.26) and (2.27). The resultant operators have the general forms: e-»0f[(^+^+)+(^fc- )+(V2^±0J+)+(^-)] ^ e - i v ^[(^ p +^+)+(^ p -^+)+(^ f f +ej+)+(^ < 7 -^+)] ) e-i v^[(^ P+^+)+(^ p-^+)+(^ /-)+(^-)] ) where i,j and A; are all different. In fact, Eq. (2.32)-(2.35) don't cover all the possible operators forms. However, these other cases correspond to simply changing the signs in front of last three parentheses in Eq. (2.32)-(2.35). We only care about whether the inner products between coefficient vectors are zero or not. Therefore, we can ignore the signs. Let's focus on the charge channel of Eq. (2.34) and (2.35) and we will argue that their correlation functions decay exponentially when (9^4,4>34 ) is the gapless mode. It's easy to see that {i, j, k} D {3,4} ^ 0 because i, j and k are all different. The charge fields-s/20jp + 9j£ and \/2</>ip — i n Eq- (2.34) and (2.35) will contain the gapless mode #34" and ^34", respectively, for any {i,j,k}. When we rewrite Eq. (2.34) and (2.35) in terms of the pinning basis fields, after projecting out the gapless mode, the inner product between the coefficient vectors of 9 and <f> fields, vpA • u^A, should be zero. If the inner product VpA • up-A is not zero, the correlation functions of Eq. (2.34) and (2.35) will decay exponentially. It's easy to check that for any choice of k} in Eq. (2.34) and (2.35), VpA ' UpA 7^-0- F ° r example, for i = 1, j = 2 and k = 3, the charge bosons in Eq. (2.34) and (2.35) can be written, in terms of the basis fields given by the orthogonal matrix Eq. (2.31), as - v ^ ( 3 C + 0f2" + 03P4+ + ^ 4")/2 and -yft(<t& + 3<tfc-<f&)/2. Excluding the gapless mode (#3^,^t) when calculate the inner product, the inner product vpA-UpA is 57r/4. A S we mentioned, this is independent of the basis as long as the gapless mode is the same. Then the operators in Eq. (2.34) and (2.35) have exponentially decaying correlations as long as (9^,(j)^) is gapless. So we don't have to consider these two 4kF density operators for the later discussion in this subsection. (2.32) (2.33) (2.34) (2.35) Chapter 2. Stripes and Bipairing 33 So far we only require that ^1^,^34 and 9%c (or 04(T) are pinned in order to have pairing and we have the choice of how to pin the other boson fields. Now look at the term </>^T in Eq. (2.32) and (2.33). We can only choose {j, k} = {3,4} or {j,k} = {1,2} when an additional boson $2 is pinned. If {j, k} — {1,2}, then i has to be either 3 or 4 in Eq. (2.32) or (2.33) and then the term y/29{p in the density operators will conflict with the assumption that ^34 is pinned. If {j, k} = {3,4}, then the terms V^fav — or <j)34~ in in Eq. (2.32) and (2.33) respectively will not be compatible with the requirement that 03 o. (or 04(T) is pinned. For case (3): Next we discuss AkF density operators where two pairs of indices are the same in Eq. (2.26) and (2.27). Recall that we are considering the pinning pattern in which (^ 34", ^34") is gapless and ^1^,^34 and 9za (or #4o.) are pinned. The AkF density operators reduce to the forms: - i v ^ ( ^ / ± ^ / ) ) (2.36) -»VEF(«S f±^-) j (2.37) iV5?(«5 ,-±<-±«5 f±< i-) j (2.38) iv^?(«5 ,-±<r)> (2.39) where i ^ j. If = {3,4}, the correlation function of Eq. (2.37) and (2.38) decay exponentially since the term (f)^ contains the dual of the pinned boson 03(7. (or 04 < 7). In this case, the correlation function of Eq. (2.36) can decay with a power-law and is actually compatible with the pairing. Furthermore, in this case the correlation function of Eq. (2.39) is a constant and the phase has a true long-ranged order. However, the wave-vector associated with the operators in Eq. (2.36) and (2.39) is 2(kFz + kF4J — Ann — 2TT, which does not correspond to stripes. If only one of {i, j} belongs to {3,4}, say {i, j} = {1, 3}, all the operators from Eq. (2.36) to (2.39) have exponentially decaying correlations since the term 9{3 conflicts with the pinned boson (p^. If {i, j} = {1, 2}, then their wave-vectors are 2(kFi + kF2) = 27T, which doesn't correspond to that of stripes. For case (4): When three indices are the same in Eq. (2.26) and (2.27), their corre-lation functions will decay exponentially since uan • van = 0 is never satisfied for those operators. This is in general true and independent of the pinning patterns. Thus in the following discussion, we don't have to consider this situation for AkF density operators. Pairing Case II [Eq. (2.25)] We have proven that under the Fermi momentum condition kF\ + kF2 — 7r, if the cor-relation function of the pair operator, Eq. (2.24) decays with a power-law, then 2nn density oscillations, i.e. stripes, don't occur. Recall that we start with the condition kF\ + kF2 = 7T. The field 9[% is pinned and (#3/, 1^3 )^ is the gapless field. Now we need to consider the other possible situation that Eq. (2.25) has power decaying correlation. This is possible if 9^, 9^ and (j/^ are pinned, choosing {a, b} = {3,4} in Eq. (2.25). Chapter 2. Stripes and Bipairing 34 For {a, b} / {3,4}, the correlation function of Eq. (2.25) decays exponentially when (#3^, ^3^) is gapless. However, to pin the boson 934~ requires an additional condition &F3 = UFA-For this pairing phase, we have assumed that (6^,4>zt) is gapless and 0\t^zAi^lt and 034~ are pinned. The momentum renormalization conditions are + kF2 = ^ and kF3 = kFi- Now we should investigate whether it can also be a stripe phase or not. There are four situations for Eqs. (2.26) and (2.27). As we discussed in the previous subsection, Pairing Case I, we don't have to worry about situations (1) and (4) but we still need to discuss (2) and (3) For case (2): Following what we did before, we have to check all the AkF density operators. We first consider the AkF density operators when two indices are the same, that is, from Eq. (2.32) to (2.35). As we argued above, the correlation functions of Eq. (2.34) and (2.35) decay exponentially when the gapless mode is ( ^ , </>34 )• To make the correlation functions of Eq. (2.32) to (2.33) decay with a power-law, regarding the charge bosons, we have to choose {j,k} = {1,2} and assume.that </>_T is also pinned. However, in the spin channel, since the index i is either 3 or 4, the terms (y/29^ ± 9°2) and {y/2<t*ia — (frit) a r e n ° t compatible with the pinned bosons, (j>34~ and #34", respectively. For case (3): Now again start with the assumption that (9^, 4>z\) is gapless and ,@34 , Qzt a n < 3 <t>z4 a r e pinned. We consider the AkF density operators when two pairs of the indices are the same, i.e. Eq. (2.36)-(2.39). For {i,j} = {3,4} or {i, j} = {1,2}, the wave-vector 2(fcp3 + fc^) or 2(kF\ + kp2) doesn't correspond to that of stripes. If only one of {i, j} belongs to {3,4}, for example {i,j} = {1,3}, the correlation functions of all operators decay exponentially since the terms (j){3 , 9{3 and 4>[3 involve the dual of pinned bosons #34", 4^ and #34". For three indices are the same in Eq. (2.26) and (2.27), their correlation functions decay exponentially as discussed before. At this point, we have completed the proof that pairing and stripes still can't coexist when the gapless mode is (#3^, (f>zt) and at least one Fermi momentum renormalization ^{kpi + = 27T occurs. 2.2.2 New Interactions Due to 2kFP + kpq + kpr = 27r Now we consider different renormalization conditions on Fermi momenta, 2fc^p -I- kFq + kpr = 2ir, which can also result in the pinned charge field not orthogonal to the total charge mode. Without loss of generality, we choose 2kF\ + kp2 + kpz = 27r. In this case, for example, the interaction like ^ _ l Q i p R ^ i p L i a i p L S a can be present in the Hamiltonian because its oscillating factor becomes a constant. If this new interaction is relevant, the charge field (29ip + 92p + 9zp)/V6, not orthogonal to the total charge mode, will get pinned. Assume it's really pinned and therefore ©ip can't be an element of the pinning basis anymore. What's the gapless mode in this case? We know that the field 0 i p is never pinned even though the total charge field is not an element of the pinning basis. This implies that the combination like 9tp — dip is also unpinned. If it's pinned, combin-ing with the pinned field (20i p + 92p + 03 P)/Vo, will imply that © i p is pinned. One may Chapter 2. Stripes and Bipairing 35 think that the field (04P — 9ip)/y/2 should be the gapless mode, yet it's not orthogonal to (29\p + 92p + ^3p)/v6, and can't be chosen as an element of the pinning basis. So what gapless field can let O i p and (94p — 9\p)/\/2 both be unpinned? It could be either (9ip, 4>ip) or (0 4 p , <j)4P). However, any pinning basis field should be orthogonal to the pin-ning basis field {29\p + 92p + 93p)/y/6. Thus we conclude that (#4P,</>4P) is the gapless mode in this case. Besides (29ip + 92p + 9zp)/V6, the interaction ^Rla^R2a'{pLia'^L3Q. also contains another charge boson field ^33 • Then we should assume that (f)^ is also pinned by this relevant interaction. We find that orthogonal matrix representing the basis in the charge channel should be Rp — (2.40) / 0 0 0 1 \ 2 /V6 1/V6 1/V6 0 0 1/V2 -1/V2 0 ' \ 1/V3 - 1 / V 3 , -l/y/3 0 / With the condition that {94fn 4>4P) is gapless and (2#ip + 92p + 9zp)/V6 and 4>2Z~ are pinned, the only possible pairing operator that might have power-law correlations corre-spond to a = 4 in Eq. (2.24). In addition we must assume that 94<T is also pinned. Now we should check the AkF density operators. For case (2): We first consider the case when two indices in Eq. (2.26) and (2.27) are the same, giving Eq. (2.32)-(2.35). The correlation functions of Eq. (2.34) and (2.35) will decay exponentially because (29ip + 92p + 9zp)/\/6 is pinned. Due to the term in Eq. (2.32) and (2.33), we can only choose {j, k} = {2, 3}. The index i could be either 1 or 4. For i = 4, the correlation functions of Eq. (2.32) and (2.33) could decay with a power-law if and only if {9\p — 92p — 9zp)/y/Z is also pinned, which requires an extra condition on the Fermi momenta but it's possible. The point here is that the corresponding wave-vector is kF2 + kFz + 2kF4 and it only corresponds to 27rn if kFi = kF4. However, we started with the condition 2kF\ + kF2 + kF3 = 2n, which implies kF\ — kF4 = 2n — 2nn ^ 0. Therefore, there are no stripes in that case. For i — 1, Eq. (2.32) and (2.33) correspond to the wave-vector 2&FI + kF2 + kFz = 2ir, which doesn't correspond to that of stripes, either. For case (3): Let's check the 4kF density operator reducing to Eq. (2.36)-(2.39) with two pairs of indices the same. In order to have power-law decaying correlation functions, these operators should contain the gapless mode (04P, (j>4P), that is, one of {i, j} should be 4. Then Eq. (2.37), (2.38) and (2.39) will have exponentially decaying correlations since they contain the dual of the pinned boson, (29ip + 92p + 93p)/V^ or 0 4 ( T. The correlation function of Eq. (2.36) with {i,j} = {1,4} can decay with a power-law if (0 i p — 92p — 9zp)/\/3 is pinned. So what's the interaction we need to pin the field (#ip — 92p — 9zp)/v3? We started with the interaction i)Rla^lmi'ipLia'fl)L3a and (20 i p + 92p + 9zp)/V6 and ^23 are pinned. Is it possible that (2#ip + 92p + 9zp)/V6 ,4>23~ and (9\p — 92p — #3 p)/\/3 are all pinned? It's possible if there is another relevant interaction involving the the fields (9ip — 92p — 9zp)/V3 but not involving ^ . This means that the 9 field in that interaction must be orthogonal to 4>2z but not orthogonal to {9\p — 92p — 9zp)/y/Z. The 9 field in that Chapter 2. Stripes and Bipairing 36 interaction also has to be orthogonal to the gapless mode ( 04 P , </>4P). Then the interaction containing d(£, such as ^ 2 0 ^ 2 5 V,£3aV'£3a, is what we need. This interaction can appear in the Hamiltonian if the condition kF2 + kF3 = TT is satisfied. However, the necessary condition that the AkF density operator with = {1,4} can correspond to stripes is {fcpi, kF4} = {kFi, kFz}. This will lead to the contradiction that kF\+kF2+kF3+kF4 = 2ir ^ 27ra. For the choices {z, j} 7^ {1,4} in Eq. (2.36), the correlation functions of Eq. (2.36) will decay exponentially since (f)23~ is pinned. In this subsection, we have shown that pairing and stripes can't coexist when the gapless mode is (#4P,</>4P) and at least one Fermi momentum condition 2kFi + kF2 + kF3 = 2TT is satisfied. 2.2.3 More Than One New Interaction In the above discussion, although more than one Fermi momentum renormalization con-dition is allowed to occur, we always implicitly assume that the new interaction associated with the first Fermi momentum renormalization condition is the most relevant one. This assumption is related to how we determine the basis field. We always choose the basis fields guided by the interactions. For example, if the interaction i)Rlai>R1ai>L2ai>L2a is relevant, then 9{2 will be pinned. Whether 9{2 is an element of the pinning basis is the issue here. If 9{2 is not a basis field, 9[2 should be expressed in terms of the combination of the pinning basis fields. If the interaction ipRlaipRm'ipL2a'ipL2a is the most relevant interaction, there is no reason to write 9{2 in terms of other fields and we will choose 9^2 as an element of the pinning basis fields. However, what if the interactions such a s iJRia'$Rmi>L2a'lpL2a and i>Rlai>Rla-'ipLZa'ipL3a both appear in the Hamiltonian and are equally relevant? We know that B^ and 9[3 should be pinned but how do we choose the pinning basis? First of all, since 0 i p is unpinned, then 9^ and 92t are also unpinned. Then the gapless mode is (#4P,</>4P) in this case. Now we can obtain the other three pinning basis fields by applying an orthogonal transformation to the band boson fields 9\p, <?2p and 0 3 p . Rewrite 9$ and 9{3 in terms of the pinning basis fields and see which pinning basis fields should be pinned. However, there are three basis fields but only two constraints (flf^ and 9[3 are pinned). To get a C1S0 phase, we need another interaction. Is it possible to pin a (f> field in this case? If such charge <f> field exists, it has to be orthogonal to 9[2 and 9{3 . Due to the charge conservation, any pinned charge <j) field also has to be orthogonal to $ i p . This is impossible for the <p field obtained from the linear combination of 0 i p , 4>2p and <p3p. So the third pinned charge field is also a 9 field. Now comes the question: Is it possible that pairing and stripes can coexist under the condition when (0 4 p, 0 4 p ) is gapless and all three pinned charge boson are 9 fields? The charge fields in the 4kF density operators Eq. (2.36)-(2.37) are 9 fields. The pair operator Eq. (2.24) with the choice a = 4, has no other 9 dependent charge fields since the gapless mode (f>4P is the only charge field in Eq. (2.24). Then the correlation functions of Eq. (2.36)-(2.37) and Eq. (2.24) may decay with a power-law at the same time. Indeed, this is what happens. However, in order to pin three 9 fields, three conditions on Fermi Chapter 2. Stripes and Bipairing 37 momenta regarding the band indices {1,2,3}, such as kFi + kF2 — n, &F I + kF$ = IT and kF2 = kF$, or kF\ + kF2 = 7r, kFi — kF3 and kF2 = kF$ etc, need to be satisfied. Recall that 4kF = 2wn is always satisfied. We also needs one additional Fermi momentum renormalization condition so that the wave-vectors of Eq. (2.36) and (2.37) correspond to AkF. There are five equations to solve four unknown Fermi momenta. We find there is no solution for all the possible cases. Thus pairing and stripes can't coexist in these situations. 2.2.4 New Interactions Due to Other Conditions There are four more types of Fermi momentum renormalization conditions that can lead to the presence of new interactions that may pin the boson orthogonal to 0 l p . They are: 3kFi + kFj = 27T, (2.41) 2kFi - kFj + kFk = 0 or 27T, (2.42) 3kFi - kFj = 0 or 2TT, (2.43) kFi + kFj + kFk - kFi = 0 or 27r, (2.44) where the indices i, j, k and I are all different. Although these conditions will make some interactions non-oscillating, they can't be relevant since they will inevitably contain some charge boson and its dual at the same time, in other words, Upn • vm ^ 0 for these interactions. This can be seen easily. According to our convention to define the boson fields, we know that the relation between chiral fermions and charge bosons are: VRia = -^(Oip + K + ---)> (2-45) <PLia = ^{eip-<f>ip + ---). . (2.46) When Eq. (2.41) is satisfied, the interaction like i>marfLia'ipRia-tf>Lja (or i and j exchanged) can appear in the Hamiltonian. However, this interaction contains (—30jp + 6jp) and (~4>ip + <A?p) which are not orthogonal to each other. Thus, it can not be relevant since a field and its dual can't be both pinned. As for Eq. (2.42), (2.43) and (2.44), the corresponding interactions will have unequal numbers of right and left chiral fermions. For right moving fermions tpRia, is associated with the Fermi momentum +kFi while — kFj is associated with the left moving fermions ipLia- Eq. (2.42), (2.43) and (2.44) are composed of three positive and one negative Fermi momentum. Therefore, the corresponding four fermion interactions with zero charge must contain three right and one left (or three left and one right) moving fermion fields. These interactions will inevitably result in Upn • ^ 0 and as a consequence they can't be relevant. Chapter 2. Stripes and Bipairing 38 At this point, we have finally completed the proof that pairing and stripes can't . coexist even if the gapless mode is not the total charge field, assuming all four bands are partially filled. 2.3 Completely Empty or Filled Bands Another possible type of stripe phase has one or more of the bands completely empty (or completely filled). We now show that a standard treatment of these phases does not lead to any with coexisting pairing and stripes. Suppose that two bands are completely empty. Without loss of generality, we may choose then to be bands 3 and 4 so that all the electrons go into bands 1 and 2. It then follows from Eq. (1.7) that kF1 + kF2 = 2irn = 27r(l - 6). (2.47) So stripes, i.e. Friedel oscillations at wave-vector 27m, corresponds to 2kF oscillations in the effective 2-band model. There are two cases to consider: TpLipRia ~ (2.48) *L**i* ~ e V i ( C - < T ± ^ < r ) . (2.49) For the above situation, we have {i,j} = {1,2} in Eq. (2.48) and (2.49). Following the similar method, we can prove the incompatibility of pairing and 2kF oscillations. If instead bands 3 and 4 are completely filled, Eq. (1.7) now implies: kF1 + kF2 + 2ir = 27m, (2.50) but this is equivalent to the case of the two bands being empty since exp(27rma;) = exp[27n(n — l)x] for any lattice site, x. If only one band (4) is empty (or filled) then stripes would correspond to oscillations at wave-vector kFi + kF2 + kFz which can never occur since any operator which occurs in the continuum representation of the density operator must contain an even number of fermion fields. Similarly stripes could not occur in a phase with 3 empty (or filled) bands since this would require oscillations at kFi. 2.4 Conclusion Therefore, for the C1S0 phases with stripes, there is no pairing but bipairing occurs. In Sec. V we will discuss the case of small £j_i2, Vj.,2 and the analogy with a 2-leg bosonic ladder. The bipairing correlation in the four-band fermion system may correspond to the boson pair superfluid (BPSF) phase in Ref. [84]. Now we would like to generalize this argument a little bit further. What about any other generalized charge two operators such as 1>*aa1>L*1>Ll>*ta ~ e « < ^ - C W « ) « ^ ) 1 ? ( 2 . 5 l ) Chapter 2. Stripes and Bipairing 39 Although the correlation amplitude should be smaller compared to the usual pairing operators, still, is it possible that such generalized pairing operators after renormalized by some density-like (charge neutral) operators can coexist with stripes? There will be a lot more such charge two operators since Eq. (2.24), (2.25) and other unconventional pair operators can be combined with any charge neutral operator, as long as in the end we have a non-chiral, spin zero and charge two operator. So far we have checked up to charge two operators composed of six fermions and concluded none of them can coexist with stripes as expected. But what about charge two operators composed of more fermions? This endless question may require another approach for its resolution. Instead, we will study the finite size spectrum of a C1S0 phase, from which a connection between charge operator and the lowest density oscillation is established. Chapter 3 40 Finite Size Spectrum In this Chapter, we relate the charge excitations and the smallest allowed density os-cillation wave-vector by investigating the finite size spectrum. The low energy effective Hamiltonian in a C1S0 phase is simply that of a free boson. H-pNe = ^ [dx Klp(dx$lp)2 +-^(dxQlp • * J L A i p (3.1) In the rest of this subsection we only discuss the boson $ i p (and its conjugate boson 0 ^ ) so, for convenience, in this section we drop the superscript p and the subscript 1. Here vdxQ = Kdt$ — n , where n is the canonical momentum variable conjugate to $. It is natural to regard $ as a periodic variable. Consider first a pairing phase where a charge two operator: A(x) ~ e'v/f*, (3.2) has power law decay. Only keeping operators in the low energy Hilbert space which ex-hibit power-law decay , we expect that all such operators will have even charge, involving only the exponential of integer multiples of i ^ / f It is then natural to assume that we should make the periodic identification: $ f+ $ + 2y/2n. (3.3) That is to say, we regard yJir/2$ as an angular variable. We now wish to argue that consistent quantization of the free boson requires that 0 also be regarded as a periodic variable with: e * » e + y|. (3.4) As we shall see, this, in turn implies that the minimum Friedel oscillation wavevector is 8fci?. Alternatively, in a bipairing phase, the lowest dimension charge operators is exp[i\/27r$i] and it is now natural to identify $ <-> $ + V2~K. (3.5) We then will argue that consistent quantization requires: 0 «-> 0 + V2n, (3.6) which we will show implies that the minimum Friedel oscillation wavevector is 4kp- This approach confirms the conclusions arrive at by more pedestrian means in the previous Chapter 3. Finite Size Spectrum 41 sub-section. As a biproduct of this discussion, we will derive the finite size spectrum, with both periodic and open BCs, in both pairing and bipairing (stripe) phases. First consider a C1S0 pairing phase. We place the system in a box of size L with periodic boundary conditions. The mode expansion for $(£, x) takes the form: =•= / T /— x fir p vt $(t,x) = $o. + 2V2*m- + W - ^ - + £ J^kK (^e~i(2nk/L){vt~x) + o ^ / ^ ) + h.c.) . (3.7) k=l Here m and p are arbitrary integers; OR* and are bosonic annihilation operators for right and left movers. The normalization of the mx/L term in the expansion is determined by the periodic BCs and the identification Eq. (3.3). i.e. $(L) = $(0) + 2v/2~7rra is equivalent to P B C using Eq. (3.3). The (very important) normalization of the vt/L term requires more explanation. We may think of this term as being proportional to a zero mode conjugate momentum operator n 0 , which is canonically conjugate to $o : [$o,n0] = v (3-8) *(*,*) = * 0 + 5*2T + . . . (3-9) Ilo is the zero momentum Fourier mode of the conjugate momentum field Ii(x): n 0 = f u(x). (3.10) Jo The flovt/(KL) term in the mode expansion for $ is necessary in order that the canonical commutation relations are obeyed: OO [*(*), &*(y)] = e«*k'LX*-ti = ^SP(x - y), (3.11) where 5p(x — y) is the periodic Dirac 5-function. The k = 0 term in this Fourier expan-sion of the 5-function comes from the commutator in Eq. (3.8). Comparing the mode expansion in Eq. (3.7) to (3.9), we see that the eigenvalues of the canonical momentum operator, n 0 are: n 0 = y|P > (3.12) for integer p. That these are the correctly normalized eigenvalues follows from the fact that the wave-functionals contain factors of the form: *($o) = e i n °*° = e'v7?**". (3.13) Chapter 3. Finite Size Spectrum 42 These wave-functions are single-valued under the identification of Eq. (3.3). The eigen-values of TIo, i.e. the normalization of the vt/L term in the mode expansion of Eq. (3.7) determines the charge quantum numbers of all low-lying states in the spectrum with pe-riodic boundary conditions. This follows from observing that the total electron number operator is: —\[l [Ldxdt$. (3.14) V V TT Jo This in turn can be checked by confirming that: [iV e ,A] = 2A, (3.15) where A is the charge-2 operator in Eq. (3.2). The mode expansion of Eq. (3.7) then implies that the charges of all states in the low energy spectrum are: Ne = 2p, (3.16) even integers. This is an example of the general one-to-one correspondence between operators and states in the finite size spectrum with P B C in a conformal field theory. In a phase in which all operators have even charge, all states in the spectrum also have even charge. We can go further and deduce the Friedel oscillation wavevector from the normal-ization of the vt/L term in Eq. (3.7). This can be done by using Kdt$ = vdxQ, dtQ — vKdx$, to deduce the mode expansion for the field Q(t,x): ©(t,x) = Go + 1^?^ + zV^Kmj K + £ VTT ( - a R k e - i ^ k ^ t - x y + a L k e - ^ L ^ + h.c.). (3.17) From this mode expansion we see that Q is periodically identified as in Eq. (3.4). Insert Eq. (3.7) and (3.17) into the Hamiltonian (3.1), we obtain the finite size spectrum of a pairing phase with P B C : - ~ 27TV E - 2pp = — p2 - A 2Km2 + — + Y _ k(nLk + nRk) 8 K k=i (3.18) where ULH and nRk are the occupation numbers for the left and right moving states of momentum ±2irk/L. Now consider the Friedel oscillations. Oscillations at wave-vector of the form 2nfcp (actually a sum of any 2n of the fcpi's) can only occur if some operator of the form (ifrRipL)n has power law decay. Upon bosonizing, all such operators are expressed as exp multiplied by an exponential involving only pinned boson fields. How-ever, not all such operators can occur in the low energy spectrum since they must respect Chapter 3. Finite Size Spectrum 43 the periodic identification in Eq.. (3.4). The lowest dimension operator allowed by this identification has n — 4 corresponding to 8kF oscillations. Again we are effectively using the relationship between the finite size spectrum and the operator content. The n = 4 operator corresponds to the p = 1 state in the mode expansion of Eq. (3.17). Now consider a bipairing phase where there are no charge 2 operators in the low energy spectrum, the lowest charge being 4, corresponding to the operator exp[iv/27r$], leading to the periodicity condition on $ in Eq. (3.5). The mode expansion for $ is therefore altered to: i— x I— p vt $ 0 + v27rm— + V2ir— — Li K. LI k=\ AirkK (aRke-^VW-*) + aLke-H™/m«t+*) + h.c.). (3.19) The coefficient oivt/L gets multiplied by a factor of 2 since the wave-functional exp[zIlo$o] must now be invariant under the shift of Eq. (3.5), requiring the conjugate momentum, fJo to have eigenvalues \f2np. Correspondingly the mode expansion for 0 becomes: Q(t,x) = Go + V2TTPY + V^Krn^ Li LI -i(2*k/L)(vt-x) + aLke-i(2nk/L)(vt+x) + ^ ^ ( 3 _ 2 0) fc=l implying the periodic identification of Eq. (3.6). Now the lowest dimension Friedel oscillation operator with power law decay is exp(i\/27r0i)> which is a Akp operator. The finite size spectrum of a bipairing phase with P B C is: E - App = 2TTV K -m" P \ ^ k=i (3.21) These arguments show, based only on plausible assumptions about regarding the fields $ i and Of as periodic variables, that C1S0 phases with pairing have 8fcp oscillations (and hence no stripes) but phases with bipairing have AkF oscillations, corresponding to stripes. With O B C , the boundary conditions: 0(0) = constant, Q(L) — constant, (3.22) are applied. This sets the quantum number m = 0 and a,Rk = a^k in the mode expansion of Eq. (3.17) and (3.20). Setting Q = 2p for the pairing phase and Q = Ap for the biparing phase, the finite size spectrum implied by these mode expansions and the Hamiltonian of Eq. (3.1) is: + ^2 knLk k-l E-pQ = — 1QK (3.23) Chapter 3. Finite Size Spectrum 44 where the charge, Q (measured from a reference point like half-filling) is restricted to all even integers in a pairing phase but is restricted to integer multiples of 4 in a bipairing phase. For even Q, in a bipairing phase, there is a gap A ^ , to states with Q/2 odd, so we may write, for any even Q in a bipairing phase: E-^Q = AE[1~{~1)Q/2]+0(^). (3.24) The parameters v, K, p and A# all vary with density. Nonetheless, this zigzag pattern of energies for even Q should allow unambiguous detection of a biparing phase for large enough L. 45 Chapter 4 RG For Doped 4-Leg Ladders The combination of weak-coupling R G and bosonization is one standard tool to study the phase diagram of iV-leg systems [85, 86, 87, 88, 89, 90]. The results for doped 4-leg ladder are mostly within the context of the Hubbard model [89, 90]. Here we will show that the stripe phase can be found in the special solution of R G equations. This phase doesn't have pairing but bipairing, which is consistent with our bosonization argument. The first step is to determine the relevant couplings according to the R G flow since they will control which boson fields will get "pinned" and therefore will allow us to map out the phase diagram in terms of bare interactions and doping. However, to analyze the R G flow is a tricky task for there are 32 coupled nonlinear differential equations. It seems that R G ultimately flows onto a special set of solutions, corresponding to some direction in the multi-dimensional coupling constant space. These special solutions are called "fixed rays" and different rays usually indicate different phases [89]. Some fixed-ray solutions may correspond to phases with higher symmetry than the original Hamiltonian. Two-leg ladders at half-filling provide one example of such symmetry enhancement in the low energy limit [91]. Later on, some subleading corrections were found which make the R G flow deviate from the fixed ray. However, these subleading terms don't grow fast enough to really spoil the fixed ray in the undoped case but give some anomalous corrections to the gap functions, vanishing in the weak coupling limit [92, 93]. Things become dramatically different in the doped systems. Now these subleading terms are relevant perturbations for the fragile gapless modes. They will generate gaps although these may be much smaller compared to those driven by the "fixed ray". For example, the weak coupling R G phase diagram for doped two-leg ladders is modified after taking these terms into consideration [93]. Recently, a hidden potential structure of R G equations in ladder systems was discovered. Everything can be understood better within the framework of this "RG potential" which allows the R G flow to be viewed as the trajectory of a particle finding a minimum in the coupling constant space [92, 94]. Then the fixed ray is just like a "valley/ridge" in the "mountains" of the R G potential. The topography near the vicinity of such a "valley/ridge" will determine the stability of the fixed ray and give the exponents governing the subleading terms. 4.1 RG Potential and Its Implications The method we discuss is very general but we mainly focus on N = 4. As the conventional starting point, we first diagonalize the hopping terms in Eq. (1.8) and obtain 4 bands. Chapter 4. RG For Doped 4-Leg Ladders 46 Next we linearize each band around different Fermi points in the low energy limit, and introduce SU(2) scalar and vector current operators Ji/R = \ ri/m* tow* > J T = \ ^L/Ri % ^ i m • C4-1) (Note the unconventional factor of 1/2 in the scalar operators, introduced for later con-venience.) We can rewrite the interactions in Eq. (1.9) in terms of the current operators in Eq. (4.1): TT _ ~p jR rL ~<r jR . jL p TR TL f<r jR jL +fijJiiJjj fijJii'Jjj' (4-2) where fa and b\j denote the forward and Cooper scattering amplitudes, respectively, between bands i and j. Many repeated indices appear in this section, such as i and j in Eq. (4.2) and they are always implicitly summed over. In Eq. (4.2), we only keep the Lorentz invariant interactions involving the product of a left current and a right current. The L L and R R terms don't contribute to the R G equations at second order and are expected to only shift the velocities of the various modes. Note that cu and /,-,- describe the same vertex and we set fu = 0. Also, symmetries imply = dji and fa = fji [89]. That's how we get 32 different couplings in doped 4-leg ladders. Then one can derive R G equations by the operator product expansions of these SU(2) scalar and vector current operators. Provided that the R G equations are known [89], how to analyze the R G flow is still non-trivial since all the interactions in Eq. (4.2) are marginal at first glance. If one numbers all the couplings and Cy and rename them as & (i from 1 to 32), within the one-loop calculations, the coupled non-linear R G equations can be written in the concise form: f = Mt~9j~9k, (4-3) where is some coupling and the coefficient matrices Mfk = Mk* are symmetric in indices j and k by construction. [I is the logarithm of the ratio of a characteristic length scale to the lattice scale, I = ln(L/a).] Recently, an unexpected potential structure of Eq. (4.3) was proven [92, 94]. After a proper rescaling to new couplings = a ^ , where Qi are constants, Eq. (4.3) can be reduced to f = * ' « » = - ^ - ( « ) where Mjk is totally symmetric in indices i, j and k and V(g) is the so called R G poten-tial [92]. The scaling constants a* and the explicit R G potential form can be found in Appendix B. It now provides a geometric picture for the R G flows of Eq. (4.4), which can be regarded as the trajectory of an overdamped particle searching for a potential minimum in the multi-dimensional coupling space. Thus, the ultimate fate of the flow Chapter 4. RG For Doped 4-Leg Ladders would either rest on the fixed points or flow along some directions as the "valleys/ridges" of the potential profile but there is only a trivial fixed point (all = 0) within one-loop order. Precisely, these directions are special sets of analytic solutions of Eq. (4.4): 9i(i) = rfz-v (4-5) if the constants Gj satisfy the algebraic constraint, Gi = MikGjGk. (4.6) Eq. (4.5) is only valid for I < ld = l n £ / a where £ is a characteristic length scale where the coupling constants become large. These special analytic solutions are referred to as "fixed rays" because they grow under R G with the fixed ratios. Sometimes, the specific ratios of the fixed ray reflect extra symmetry in the Hamiltonian and the fixed ray is called a "symmetric ray" [91]. In general, it's very unlikely that the bare values of <fc(0) are proportional to the constants G;. Then we have to check whether these fixed rays are stable against deviations [92]. As long as the deviations grow slower than Eq. (4.5), then the fixed ray is stable. Within the R G potential picture, the stability of each fixed ray is determined by the local topography along the direction. In the vicinity of a fixed ray, there may be some small deviations away from it id — i where A#j(Z) <C #i(0- The equations which describe the deviations A<fc are | ( A 9 i ) = A g j , (4.8) where Bij = 2Mj f c G f c . Since M j f c is totally symmetric in i, j and k, the matrix Bjj is symmetric in i and j. B^ can be diagonalized by an orthogonal matrix Onm so that Eq. (4.8) will decouple into independent equations, Jl^n) =J^Zj59n, (4-9) where 5gn — On\ Agi, are the couplings after the linear transformation and A n are the eigenvalues of the matrix B^. If the initial bare couplings <5<7„(0) <C Gn/ld, then the solutions of Eq. (4.9) are M ' W ) ^ ) 1 " - ^ ( 4 1 0 ) (47) Chapter 4. RG For Doped 4-Leg Ladders 48 X <0 0< X <1 A. > 1 Figure 4.1: The topography of RG flows near the fixed ray with A < 0, 0 < A < 1 and A > 1. It's clear that the deviation is irrelevant for A < 0 and relevant for A > 1. The analysis of RG flow is more subtle for 0 < A < 1. In this case, although the deviation from fixed ray is growing, the fixed ratios still remain. Therefore, RG still flows onto the fixed ray but the phase is not only determined by the fixed ray couplings. where G'n ~ 0((U/t)1 Xn) is generally non-universal depending on the initial couplings. Therefore, the appropriate ansatz for the RG flows should be 9i{l) + OinG'n ld-l (h-l)**' Gi G'! l d - l (ld-I) A'" + (4.11) (4.12) where A ^ in Eq. (4.12) is the largest one among the A n ' s with nonzero coefficients OinG'n = G" and the divergent behavior is dominated by Af"™. Although Eq. (4.12) is derived from the stability analysis near the fixed ray, it turns out to be the general behavior of the R G flow but the values of some A™3* may vary from the eigenvalues of Bij when away from the fixed ray. In fact, such power-law divergent solutions were suggested before [88, 89] but the analysis only focused on the most relevant terms with exponent one, i.e. Gi ^ 0 terms . Note that Eq. (4.12) is still not the exact solutions of RG equations but it captures the divergent part correctly and is enough to determine the phase diagram. For A? i a x < 0, these deviations are irrelevant whereas if A™*" > 1, the deviations grow faster than the fixed ray, so that the phase associated with the fixed ray is fragile. For 0 < A™** < 1, the deviations actually grow although not strongly enough to spoil the asymptotic fixed ray, as illustrated in Fig. (4.1). Nevertheless, it doesn't mean they won't affect anything since they are also relevant couplings in the conventional classification but just less relevant than the fixed ray ones. Chapter 4. RG For Doped 4-Leg Ladders 49 The effects of these subleading divergent terms on the R G flow of a particular coupling <7i are dramatically different depending on whether Gi = 0 or not. We can separate the effective Hamiltonian at the cutoff length scale into the most relevant fixed ray part and the subleading deviations as a perturbation. For Gi ^ 0, <fc is relevant and it will lead to a gap. The subleading perturbations will not destroy the original ground state but only modify the gap function by giving rise to anomalous scaling [92]. On the other hand, if Gi = 0, the subleading perturbations become important if 0 < A™3* and will generate a small but non-zero gap for some of the initial gapless modes. Note that only when initial deviations away from the fixed ray are small, are A™** universal and can they be obtained from the eigenvalues of JB,J = 2M%-kGk-In fact, we can numerically solve the R G equations using the standard solver in Mathematica. However, from numerical solutions of the R G equations we find that interaction couplings always diverge with the power law behavior like Eq. (4.12) even though X™3* is not the same as an eigenvalue of Bjj. We can extract Af 1 3* directly from the numerical solution of the R G equations for those terms with Gj = 0 and thus determine the phase diagram from these relevant interactions. Surprisingly, as we will see in the following sub-sections, the fixed ray and subleading terms with universal A™** from Bjj already are sufficient to determine the pinned bosons uniquely within bosonization. To recap, even in the weak-coupling R G analysis, there are different energy scales. The fixed ray only represents the most relevant couplings. The subleading couplings should be treated as perturbations to the effective Hamlitonian corresponding to the fixed ray and they are relevant enough to drive the effective Hamiltonian into a phase in which the fragile gapless modes become gapped but these gaps are small compared to those driven by the fixed ray couplings. 4.2 The Stripe Phase Now we know the ultimate fate of weak coupling R G must be a fixed ray due to the existence of R G potential [92, 94]. The fixed ray indicates a direction in which the interactions will be renormalized in the strong coupling region. If one can survey all the fixed ray solutions in Eq. (4.6) and the corresponding subleading terms determined by the topography, then in principle all the phases in the weak coupling R G are obtained. Following this idea, here we try to find the fixed ray whose corresponding phase gives the stripe density oscillations. It turns out that following fixed ray will do so: V2cpn = y/2c& V^c^ 2 = V2cp3. Eq. (4.13) will be the solution of Eq. (4.6) if v\ = V4 and v2 = v3. So if R G really flows onto this fixed ray from some initial set of bare couplings, the interpretation is the fermi 2^3 = -/i P4 = 2^3 '23 2^3 • f J23 a 23 2V3 i6(id-iy (4.13) Chapter 4. RG For Doped 4-Leg Ladders 50 velocities get renormalized in the corresponding phase [91]. The upper and lower line in Eq. (4.13) correspond to the C D W fixed ray on effective 2-leg systems composed of band pairs (1,4) and (2,3), respectively. In principle, the fixed ray as the permutation of band indices in Eq. (4.13) also exists. The reason why we favor Eq. (4.13) is motivated by the fixed ray Eq. (4.19), found in the Hubbard model as we will see in the later sections. Now we know that the fixed ray solution isn't the whole story for the R G flow. The phase should be determined by all the relevant interactions, including the subleading divergent ones. As long as Gi is given by the Eq. (4.13) and with the known R G ma-trix MJk, then the largest divergent exponent A™*** can be deduced analytically from the eigenvalues and eigenvectors of the matrix Bij = 2M%-kGk in the vicinity of the fixed ray. There are two 5/8, four 1/2, four 1/8, four - 1 / 2 , two - 3 / 8 , and 0s for the eigenvalues A„ of B^. The couplings are divergent for A„ > 0 even though they are small compared to the fixed ray in the critical region. We should take more care about the terms with eigenvalues 5/8,1/2 and 1/8. To see what's their influence, we have to know the direction corresponding to 8gn, Eq. (4.10), in the multi-dimensional space expanded in the coupling basis A<7J. The eigenvectors of B^ give this information. The subleading terms 5gn cor-responding to two A„ = 5/8 eigenvectors are in the directions having non-zero projection on c ^ 2 , C i 3 , C 2 4 , c f 4 , C i 2 , C i 3 , C 2 4 , and C34. The eigenvectors of those corresponding to four A n = 1/2 have components on cfx, c_>, c^3, c^4, c?4, c^3, cfx, c_j, c j 3 , c f 4 , cf4, cf3, /f 4 , / 2 P 3 , /f 4 and ./_,. The terms with A n = 1/8 have components on C i 2 , c^g, c^, c 3 4 , c^, c^, c^, and c 3 4 . Provided with this information, we know the largest divergent exponent for each coupling, that is, A™** for the non-fixed ray couplings. Table (4.1) summarizes A n and the projections of corresponding 5gn in terms of coupling basis nonzero component 5/8 C 1 2 i ^.3i ^24i ^ 4 ' C12> c 3 4 5/8 C 1 2 i £13> ^ 4 ) ^ 4 ) C 1 3 ' C 2 4 1/2 nP ffi J> n o r<x fP f<T c l l > L 44> L 1 4 i c l l i L 4 4 ) J14i J14 1/2 rP (J> rcr fjJ fP to L22> c 3 3 ' L23> ° 2 2 i c 3 3 ' J 2 3 ' J 2 3 1/2 nP r(T r(T „<T L\4i C 1 H c 4 4 ' L 1 4 1/2 c 2 3 ) ^ 2 ) c 3 3 ' C 2 3 1/8 ^21 ° 3 4 1/8 C^Z-i ° 2 4 1/8 c 1 2 ) C 3 4 1/8 L 1 3 ' c 2 4 Table 4.1: This table summarizes the topography in the vicinity of the fixed ray Eq.(4.13). It shows the eigenvalues A n > 0 of the matrix B^ and their corresponding eigen-direction in terms of the R G couplings. Now we would like to check numerically whether the R G will really flow onto this fixed ray Eq. (4.13). It's very illuminating to plot log[|^j(/)|] v.s. log[(Zd — /)] from the numerical solution of the R G equations, where the absolute value makes sure there won't Chapter 4. RG For Doped 4-Leg Ladders 51 be problems for those with Gi < 0. In the scaling region, if Eq . (4.12) is correct, then we should see a straight line for each coupling <&(/), whose slope indicates the exponent controlling the divergence. The slopes wil l be negative one for the fixed ray, —A™331 for the subleading terms and zero for irrelevant terms. If we choose the initial bare couplings with the ratios in Eq . (4.13) and with Fermi velocities V\ = v4 and v2 = v$, we do find all the couplings grow with the fixed ratios under R G flow toward the fixed ray Eq . (4.13). In order to see the subleading terms, we add some small deviations to the init ial bare couplings and Fermi velocity. The log-log plot of each coupling agrees very well with the predicted slopes in Table (4.1). A few selected examples are shown in Fig. (4.2). log(c? 4 ) (a) — 1Q • — . 5 10 _ c -1C -8 -7 -( l o g d d - l ) log( f f 3 ) -10 -5 -1C (b) -7 -6 l o g ( l d - l ) log(c?2) 1Q -10 - i d (c) .7 _6 log( ld - l ) log(cf 4 ) 1C 5 -10 (d) -7 -6 l o g ( l d - l ) - i d log(c? 1) 5f -10 (e) -IE! -7 -6 l o g d c - l ) log(ff 3) 5f -10 -id -13 (f) -7 -6 l o g ( l d - l ) Figure 4.2: This is the log[|<7i(/)|] v.s. log[(/ d — /)] plot for several typical couplings of stripe fixed ray Eq . (4.13). The slopes give us the divergent exponent for each coupling. The solid (red) lines are the numerical solutions for the R G equations. The dashed lines are pure straight lines as reference with the predicted Af1**: 1 (pink: d{4 (a), f23 (b)), 5/8 (blue: b{2 (c), c%\ (d)), 1/2 (green: c\x (e)), and 0 (yellow: / f 3 (f)), respectively. In this case, the numerical solutions agree very well with the prediction for all the couplings. Although the subleading terms are also divergent for 0 < A™** < 1, they are still small compared to the fixed ray couplings. Therefore, we treat the subleading couplings as the perturbations to the effective Hamiltonian corresponding to Eq . (4.13) in the bosonization method. We bosonize the relevant couplings to determine the phase diagram. The fully bosonized form of Eq. (4.2) is H i n t = | E ^ c o s ( v / 8 ^ ^ ) Chapter 4. RG For Doped 4-Leg Ladders 52 + \ XX^i + ^ C ° S ^<%i C 0 S V ^ - f + 2C^- COS v/iTT^g" COS ViTTfly-+ (% - 2£) COS V i ^ ^ r COS ViTT^y" " 2% COS V ^ y " COS V^Otf], (4.14) where these bosons fields are defined in Eq. (1.26). Since c£ and only contribute to the gradient terms, they are not important here. The reason we express the Hamiltonian by the tilded interactions c, / and Eq.(1.26) is only for convenience of notation. We emphasize that the basis of boson fields should be determined by the hierarchy of relevant interactions. In other words, the relevant interactions should not only tell us what boson fields are pinned but also the basis in terms of which they are pinned. At some intermediate length scale, the most relevant interactions, those in Eq. (4.13), are large but the others, including the subleading terms, are still small compared to them. In order to minimize Eq. (4.14), the most relevant couplings in Eq. (4.13) will pin the values of 4>\A, 4>23 > ®\ti ^231 <fii4 a n ( l 4>2z • These pinned bosons for 9 or <f>, immediately suggest a basis. In the spin channel, since there are already four mutually orthogonal combinations of band bosons getting pinned, it's natural to choose R^ corresponding to the pinned combinations. So the basis for spin fields is fixed. As for the charge channel, there are two combinations of band bosons which get pinned and we also know symmetry requires the gapless mode to be total charge field ($ip, Oip) since there is no interaction involving boson fields not orthogonal to it here. These three fields and the orthonormal condition will uniquely fix the only unknown basis field, $2p=^{<t>lp- <f>2p- <t>3p + <t>4p), (4.15) similarly for Q2p if replace <f> by 6. In this case, the relevant interactions suggest the basis we should adopt is: / 1/2 1/2 1/2 1/2 \ / l/y/2 0 0 l/y/2 \ _ l/y/2 0 0 -l/y/2 l/y/2 0 0 -l/y/2 " 0 l/y/2 -l/y/2 0 0 l/y/2 l/y/2 0 V 1/2 - 1 / 2 - 1 / 2 1/2 / V 0 l/y/2 -l/y/2 0 / Now we will rewrite the interactions Eq. (4.14) in terms of the new basis given by Rp and Ra. So far we get six pinned bosons only by considering the fixed ray interactions. At lower energy scale, the subleading terms also become large, yet still small compared with the fixed ray. Replacing the pinned bosons by their pinned values, we get a C2S0 effective Hamiltonian and the subleading terms will be treated as the perturbations. $ i p is absent in Eq. (4.14) and it will remain gapless as we expected. The question is about whether $ 2 p will get pinned due to the perturbation involving it, such as c p 2 , c p 3 , C24 , C34 , c^, c\3, c 2 4 and C34. At first glance, one may conclude the gapless bosons $ 2 p won't get pinned since all the subleading perturbations also contain the dual of pinned spin boson tp*^ and <p23- In other words, these subleading interactions should be irrelevant and $ 2 P can't be pinned. It's true for this analysis. But the common wisdom tells us that the gapless mode is usually fragile unless protected by some symmetry or incommensurability. In Chapter 4. RG For Doped 4-Leg Ladders 53 fact, there are always some other higher order interactions which can be generated in the continuum limit as long as they are allowed by symmetry. We usually don't pay attention to these higher order terms for they should be much smaller and less relevant than the interactions in Eq. (4.2). However, the scaling dimension of these higher order interactions can be changed due to the existence of some other interactions [95, 96]. For example, consider a 4th order term in perturbation theory: SH oc (cf 2) 2 c^c^fcos V4TT(f>P2 cos V2n{d1<7 + 92c)}2 cos VSTT91c cos \/Sir92<T (4.16) Using the operator product expansion, we can replace all factors involving 9\c and 92c by a constant. The remaining operator contains a term: 6H oc cos V&n(4>iP - <j>iP) = cos V4~K(\/2^2p + <jfc - -)• cos V8ir$2P, (4.17) where we have used Rp to obtain the second expression and replaced (f>P^ and (j)23~ by their expectation values in the third. This operator doesn't depend on spin fields anymore and we have an effective sine-Gordon Hamilatonian for ($2p, @2p)- The cosine interaction has a scaling dimension of 2/K2p. If the renormalized value of the Luttinger parameter for the $ 2 p boson, K2p > 1, then Eq. (4.17) is relevant. In general, it's highly nontrivial to determine the renormalized value K2p after integrating out the gapped modes., However, we can calculate the renormalization of K2p due to the gradient terms of interactions: * V = t f e ±4 (4-18) TTV + C — / where V = (Vi + V2 + V 3 + v4)/4, C = + C22 + C33 + C44, 9 34-According to the ratios in Eq. (4.13), we find that K2p > 1. Therefore, $2p should also be pinned with this sine-Gordon type interactions. We conclude the final phase should be C1S0 and the pinned bosons are $ 2 P , ^14 , <f>23~, dit,023+, 4>[7 and 023~- For this pinning pattern, the correlation functions of the 4kF density operators Eq. (2.26) and (2.27) with {i,j} — {1,4} and {k,l} = {2,3}, decay with a power-law. Also, with {s,t} = {1,4} or {2,3}, the correlation functions of the bipairing operators Eq. (2.29) and the term with 9ast in Eq. (2.30) decay with a power-law. A l l the pairing operators Eq. (2.24) and (2.25) decay exponentially. This phase has stripes and bipairing correlations. The result is also consistent with FSS. The only question left is how to find the proper initial couplings so that the R G will flow to the fixed ray. The initial bare couplings are determined by the interactions in the model. As long as one includes enough short ranged interactions in the Hamiltonian, Chapter 4. RG For Doped 4-Leg Ladders 54 the initial bare couplings can be tuned near the ratios in Eq. (4.13). The point is that the fixed ray should indicate some phase in the strong coupling regions. Thus, to find the proper initial bare couplings that R G will flow to this fixed ray may not be the most important issue for our purpose. The fact that we need Vi ~ v\ and v2 ^ v3 in order to see the stripe phase in R G resembles the situation in the decoupled 2-leg ladders limit we study in section V . It seems to suggest that the stripe phase should be related to the renormalization of Fermi velocities from both limits we study. 4.3 The Repulsive Hubbard Model In the previous section, we found the fixed ray corresponding to the stripe phase without knowing the exact underlying model. Now we would like to switch gears and study the fixed rays corresponding to parameters of the Hubbard model in Eq. (1.8) and (1.9). In the four-band region, the R G flows to the following fixed ray [89], ^ = ^ 4 = - f = y f f = ^ f = = - / & = (4,9) It seems that only the interactions between band 1 and 4 are relevant and band 2 and 3 are totally decoupled from the system. Also, the fixed ratios in Eq. (4.19) are the same as those of the C1S0 phase in a doped 2-leg ladder if band 1 and 4 are regarded as an effective 2-leg system. So the final phase was referred to as C1S0 + C2S2 = C3S2. Notice that the R G equations, in the <fc basis of Eq. (4.4), are invariant under the permutations of indices but the bare values, <7i(0), favor the phase in which, the couplings involving bands 1 and 4 get large. This can be seen from the factors of 1/vi relating the g^s to the ft's in Eq. (B.9)-(B.12). However, now we know that the fixed ray solution isn't the whole story for the R G flow. Bands 2 and 3 are never really decoupled since there are subleading coupling constants that involve these bands. Once again, we will plot log[|^(/)|] v.s. log[(Zd — I)] from the numerical solution of the R G equations and we see nice straight lines in the scaling region. The slopes will be compared with — A™8*, which can be deduced from the eigenvalues A„ and eigenvectors of the matrix JB^ = 2MjfcGfc. With the d given by Eq. (4.19), there are two - 1 / 2 , six -1/16, two 1/2, two 15/16, a 1 and other Os for A„. Terms corresponding to —1/2 and —1/16 are irrelevant and not harmful to anything. We should carefully look at the terms with 1/2, 15/16, and 1. The effects on the phase diagram depend on whether they have components on the couplings with Gi = 0. This information is given by their corresponding eigenvectors. One may think in general A„ = 1 means the fixed ray is unstable. This is true if the deviations 5gn have non-zero components on the couplings besides the fixed ray ones. Fortunately, here the eigenvector for A„ = 1 only has two components with negative and positive c44 in Chapter 4. RG For Doped 4-Leg Ladders 55 terms of the original coupling basis. It will shift the values of fixed ratios regarding cax and in Eq. (4.19) a little bit but it won't change the fact that those seven couplings are the most relevant ones. This only reflects that the fixed ray Eq. (4.5), is just a special set of the solutions and not the most general one. Table (4.2) summarizes A„ and their projections in terms of coupling basis <fc. nonzero component 1/2 c14i fl4 1/2 C l U ^4) °^.4i CUi C44> C14i fl4 15/16 £13' -^34 5 c13' C34 15/16 C12> -^241 C12> -^24 1 c l l > c44 Table 4.2: This table summarizes the topography in the vicinity of the fixed ray Eq.(4.19). It shows the eigenvalues A„ = 1 of the,matrix and their corresponding eigen-direction in terms of the R G couplings. This result can be checked by plotting log[|^(/)|] v.s. log[(Zd — /)] for the numerical solutions of R G equations. As a test, we can artificially tune the ratios of initial conditions based on Eq. (4.19), such that the R G flow will be really in the vicinity of the fixed ray. In this case, the slope of each coupling agrees perfectly with the prediction given above. Now using the initial conditions as shown in Appendix B , determined by physical parameters on-site interaction U and the doping 6, we can do the same analysis. Even in the region where the R G flow is still controlled by the fixed ray Eq. (4.19), we now find that not all the slopes agree with the prediction. Some couplings with predicted ^max _ a c tua l ly have non-zero slopes in the log-log plot and those slopes may vary according to the initial conditions. They are new subleading terms besides those given by the stability check near the fixed ray. However, we don't find notable changes of the slopes for those couplings with A™** = 5/16,1/2 or 1, as long as the R G flow is still dominated by the same fixed ray. That is, the universal analytic prediction in the vicinity of the fixed ray is still correct to some extent. A few selected typical examples are shown in Fig. (4.3). The failure to predict all ^max c o r r e c t l y for each couplings doesn't mean we can't determine the phase diagram. The point is that we should treat all the divergent terms with the exponent 0 < A™3* < 1 as the perturbations to the effective Hamiltonian corresponding to the fixed ray in the bosonization scheme. In order to minimize Eq. (4.14), the most relevant couplings in Eq. (4.19) will pin the values of ^ i J , ^ / , and 0f 4 -. The fixed ray interactions and the symmetry imply we should choose $ 2 , ^i4~) 9\4i a n d Q\4 for the new basis of bosons. Unlike the previous case of stripe fixed ray, here there are still two undetermined fields in charge and spin channel each. So the choices of the basis is not unique anymore. Any two charge (or spin) fields orthogonal to $ 2 a n d ^14 ( o r ^iti a n d ^14") c a n D e used. For example, the simplest choice would be the same as Rp and Ra used in the previous section. Chapter 4. RG For Doped 4-Leg Ladders 56 l o g ( c ° 4 ) _ 1Q log( f? 4 ) i q (c) 7 -6 l o g d a - l ) - E - i i :6 l o g d d - l ) l o g ( c ° 2 ) 10 -10 (d) .7 _ 6 l o g d d - D log(f^ 3 ) i q (e) -10 -10 -8 - 7 -6 l o g d d - l ) log(c f 3 -10 6 l o g d d - l ) Figure 4.3: log[|<?,(7)|] v.s. log[(Zd — /)] plot for several typical couplings. The parameters are chosen as t = tifl_ = 1, U = 0.01 and the hole doping is 0.135. The slope gives us the divergent exponent for each coupling. The solid (red) lines are the numerical solutions for the RG equations. The dashed lines are pure straight lines as reference with the predicted slopes 1 (pink: c 4 4 (a), d[4 (b)), 1/2 (blue: / f 4 (c)), 15/16 (green: C j 2 (d)), and 0 (yellow: / f 3 (e), c\\ (f)), respectively. As one can see, the numerical solution of c\\ (f) doesn't agree with its predicted exponent. The number of couplings, whose slopes don't agree with the stability analysis, depends on the initial conditions. With the initial conditions used here, there are total 11 couplings, predicted with zero slope near the fixed ray, but have nonzero slopes in the numerical solution. However, these new term don't change the pinned bosons and the final phase is the same as that when these terms are irrelevant. We then follow the hierarchy of these subleading terms in repulsive Hubbard model. Pick the largest one among them and rewrite it in terms of the new fields according to Rp and Ra. After replace <^i4,#?4~, a n d #i4~ by constants, The largest subleading term (C12 + C j 2 ) in Eq. (4.14) becomes: cos \Z47r^2~ cos V4IT9I2 = COS ^ ( V / 2 $ 2 p + #7 - Ms ) cos v M ^ 4 + + 6^ - 9g - 9£) -> C 0 S ( \ ^ ^ - V^^ 3")COSVT 7 ( ^ 2 3 + + ^ 2 3 ~ ) - ( 4- 20) Similarly, next largest term (c^3 + c%3) becomes: cos V4n(f)p3 cos \/~4n6l3~ -> cos{y/2n&2 + y ^ ) cos - (4.21) Chapter 4. RG For Doped 4-Leg Ladders 57 With the perturbations like Eq. (4.20) and (4.21), four more boson fields $ 2 , 023 > ^23 and 623 will get pinned. Thus, as long as the R G flow is dominated by Eq. (4.19), the final phase should be C1S0 and the pinned bosons are $2> 0i4~> 023 i ^f/> ®\A •> ®23 a n ( l ®23-This pinning pattern will make the pair operator Eq. (2.24) decay with a power law and 4k,F density operators Eq. (2.26) and (2.27) decay exponentially. So it's a pairing phase with no stripes. Since in this phase the pinned charge or spin bosons are all <f> or 6 fields, respectively, we can use other choices for Rp and Ra and the result will be the same. 58 Chapter 5 Limit of 2 Decoupled 2-Leg Ladders 5.1 Mapping to the 2-Leg Bosonic Model One interesting limit in which it is relatively easy to understand the stripe phase is the limit of two 2-leg ladders weakly coupled by electron hopping and density-density interactions. Essentially this limit was discussed in Ref. [89], sub-section (VII-B-1) in the context of a 2-dimensional array of 2-leg ladders. As we discuss below, the low energy effective Hamiltonian in this limit is the same one describing the 2-leg bosonic ladder which was discussed in Ref. [84] based on the "bosonization" for ID bosons [97]. See Fig. (5.1) for illustration. This limit corresponds to t2,± and V2>± very small, in the following Hamiltonian: and i - 1 N L N-l X zC tCla(x)Ca,a(X + *) + X zC W4,a(z)Ca+l,a(z) x = l a = l x=l a = l + h.c. (5.1) N L L y Hint = U J2J2na^ na^ X"> + zC zC ^r n2,a(z)n 3,a(z). (5-2) i = l a = l a = ± x—1 We set tit± = t3t± = t for simplicity, but this is not essential. Thus we may begin by considering the behavior of 2 decoupled 2-leg Hubbard ladders. Over a wide range of parameters, the 2-leg Hubbbard ladder is expected to be in a C1S0 phase [23, 85, 86, 87]. Introducing band bosons, <j>Yv, 4>2v for the upper 2-leg ladder (on legs 1 and 2 and v = p or a) and then changing variables to 4>u±v = ( ^ ± <f>g)/V2, (5.3) this phase is expected to have ^ u_ p and 6±a pinned. The lowest Friedel oscillation wave-vector is 4kF, corresponding to the 2-leg version of stripes, namely equally spaced pairs of holes (1 on each leg) forming a "quasi charge density wave" near the boundary. The 4>^_p boson is, of course, gapless. Let A be the minimum gap for the other three bosons. In the limit U « t, we expect A oc texp[—const x t/U]. For U > t we expect A to be 0(t) or larger. Of course the lower 2 legs have a gapless boson ^ . We now turn on small t2± and V2±, coupling together the two 2-leg ladders. Both interactions involve duals of pinned bosons, 8_pL and and hence are ultimately irrelevant. On the other hand, a pair-hopping term, with amplitude t' oc i 2 . , ! and an Chapter 5. Limit of 2 Decoupled 2-Leg Ladders 59 interaction between the AkF density operators in the two 2-leg ladders, of strength V oc V2,L are generated perturbatively. [This linear dependence of V on V^JL follows since, by analogy with the calculation in Appendix A) , the AkF term in the density operators for each 2-leg ladder is 0(U). Here we disagree slightly with Ref. [89] which found this interaction to be oc (V^x)2-] Neither of these interactions involves the dual of any pinned bosons. For sufficiently weak £2,j_ and V2t± we may analyze the low energy theory by simply replacing all pinned bosons from the two 2-leg ladders by their expectation values and writing an effective Hamiltonian for <^ p and <$>\p. The effective Hamiltonian describes the physics at energy scales -C A and for it to be valid the energy scales characterizing the pair hopping and AkF — AkF density interactions must also be < A . It is now convenient to change boson variables to: . cj)± = [(f>%±<j)L+p\/V2, (5.4) since the pair hopping and AkF-AkF density interactions only involve </>_ and its dual, 0_. The effective Hamiltonian at energy scales <C A can be written: Heff = J dx{^±[K+(dx<f>+)2 + ^-(dx9+)2} +\[K-{dx<}>-)2 + ^ _{dxQp_)2] +t'cos(\/2^<j)-) + V,cos(V8^6-)}. (5.5) Here, to lowest order in t 2 ,± and V2,±, K+ = K- is simple the Luttinger parameter of the (jy+p bosons on the upper and lower 2-leg ladders and likewise v+ = V- is the corre-sponding velocity. The Luttinger parameter of the 2-leg ladder is expected to approach 1 at half-filling and to decrease as the density moves away from half-filling. We observe that the connection between <p± and the fields $ P A , in Eq. (2.2) is not so straightforward, even in the limit t2t±_ —>• 0. Ignoring for the moment all interactions, when t2,± is strictly zero the bands come in two identical pairs, one member of each pair from the upper 2 legs and one from the lower 2 legs. However, as soon as t2>± ^ 0, these bands are mixed. This band-mixing is not taken into account in the present approach in which bosonization fields are introduced separately for the bands on the upper 2 and lower 2 legs. The present approach should be the correct one in the limit considered of very small t2j±, but it is non-trivial to connect the results with those obtained from the standard weak coupling approach. We note that a very analogous situation occurs even in the much simpler and well-studied 2-leg spinless fermion model. If the inter-chain hopping is sufficiently weak one normally bosonizes the fermions on each leg, whereas in the weak coupling limit, bosons are introduced for each band. Because of the exponentials entering the bosonization formulas the relationship between the "leg boson" and "band bosons" is very non-linear. Nonetheless, it appears that the same phase diagram can be obtained using either approach. This can be seen by comparing the various features of the phases obtained using either method [85, 86]. Chapter 5. Limit of 2 Decoupled 2-Leg Ladders 60 ClSO ClSO +p +p t' V Figure 5.1: In the limit that £2,± and V^x are much smaller than the minimum gap of the bosons, A , each 2-leg ladder is well-described by the ClSO phase, which has pairing and 4kF density oscillation. The direct electron hopping t 2 ,± becomes an irrelevant process yet pair hopping, generated by the higher order process wi l l appear and 4kF — 4kF component, V, is the lowest order relevant term in the interaction V ^ j . . The phase is determined by the competition between f and V. If if dominates, the system has pairing (boson superfluid) and 8kF (47rpo) density oscillation in fermion (boson) language, where Po is the average boson density. If V dominates, the system has bipairing (boson pair superfluid) and 4kF (27rp0) density. It is not so straightforward to estimate the conditions on t 2 ,± and V2,±_ for this effective Hamiltonian to be valid. Fortunately, this is not important for our purposes. Normalizing the operators in Eq . (5.5) so that: eiV2ir4>-(x)e-is/2lr<p-(y) > < - i\Z&K0-(x)e-iV8irO-(y) > .y\l/K. 1 \x-y 4K-(5.6) we see that t' has a scaling dimension of (energy) 2 _ 1/( 2-R r-) and V has a scaling dimension of (energy) 2 - 2 *- (after setting v_ = 1). These energies scales must be much less than the cut-off scale, A , i.e. V' < A 2 " 2 * - . (5.7) Here we assume 1/4 < K_ < 1, which is certainly true near half-filling. As mentioned above, t' oc t\ L and V oc V ^ j . . A more complete estimate of these parameters is more difficult to make and could be quite different depending on whether the 2-leg ladders are in the weak or strong coupling domain. The phase diagram of the model in Eq . (5.5) has been discussed in Ref. [89] in the context of a 2D array of 2-leg ladders. Precisely the same model also arises from a treatment of a 2-leg ladder of spinless bosons in Ref. [84]. The boson annihilation operators on the upper and lower legs are represented as: oc e (5.8) Chapter 5. Limit of 2 Decoupled 2-Leg Ladders 61 and the boson density operators as: *uM(x)*u/L{x) oc nb + -i=dx6%L + constant x {exp[i2Trnbx + iV4^9%L] + h.c.} + .... (5.9) Here nb is the density of bosons on each leg. Of course, it is hardly surprising that this low energy Hamiltonian describes a 2-leg bosonic ladder; in our low energy approximation, the fermionic degrees of freedom on each 2-leg ladder have been discarded keeping only the spinless pairs, corresponding to bosons, t' represents (single) boson hopping between the chains and V represents inter-chain boson back-scattering. It follows from Eq. (5.7) that both t' and V are relevant for 1/4 < < 1 (and in general at least one of them is relevant for all KJ). Thus one of 4>- and 6- boson is always gapped, yielding a C1S0 phase. There are two possible phases in which either </>_ or 9- is pinned [84]. These two phases have evident physical interpretations in the various underlying models from which Heff arises. In the 2-leg boson model, the phase in which t' is relevant and 0_ is pinned corresponds to a standard ID superfluid phase in which the boson creation operator has a power-law decaying correlation function but the term in the boson density operator oscillating at wave-vector' 2Trnb decays exponentially. On the other hand, the phase in which 9- is pinned corresponds to a boson pairing phase. Now the boson creation operator has an exponentially decaying correlation function. There is a corresponding gap to create a single boson. The 2-boson creation operator ^f(x)^!(x) has a power law decaying correlation function as does the term in the boson density operator oscillating at wave-vector 27rn&. In the 2D array of 2-leg fermionic ladders, discussed in Ref. [89], the phase in which </>_ is pinned is a conventional 2D superconducting phase and the one phase in which 9- is pinned is an incommensurate charge density wave phase. (The power-law decay in the single or double 2-leg ladder system is expected to become true long range order in the 2D system.) The physical interpretation of these phases in our model of 2 weakly coupled 2-leg (fermionic) ladders is now also clear. The phase in which is pinned is a conventional pairing phase. Note that the density of bosons (average number of bosons per site in the 2-leg bosonic ladder) should be identified with the density of electrons (average number of electrons per site in the 4-leg ladder). This follows since there are half as many sites per unit length in the bosonic 2-leg ladder as in the fermionic 4-leg ladder. Equivalently, we may identify the boson density with the fermion density measured from half-filling nb = S = l-n. (5.10) Thus we see that there are no density oscillations at 2n5. or equivalently 4kp in the pairing phase. The phase in which 9- is pinned is a bipairing phase with stripes. Which phase occurs depends on K- and also the relative size of t' and V. When K- is in the range 1/4 < K- < 1, where both t' and V are relevant, we may estimate the phase boundary by the condition that the corresponding energy scales, determined from Eq. (5.7) are equal. Thus we expect the stripe phase to occur, for this range of K-Chapter 5. Limit of 2 Decoupled 2-Leg Ladders 62 where: V > ( £ ' ) [ 2 - 2 * - ] / [ 2 - i / ( 2 * - ) ] _ ( 5 ; H ) Decreasing K_ favors the stripe phase. Noting that we expect K- to decrease from 1 as we dope away from half-filling, it is natural to expect that, for large enough V'/t', the pairing phase will occur close to half-filling and the stripe phase at larger doping, which is consistent with the D M R G result [17]. At this point it is appropriate to point out that much of the same physics was discussed in two other earlier papers. In Ref. [74] an effective 2-leg bosonic model was also discussed as an approximation to the 4-leg fermionic ladder. In that case the derivation was more heuristic than what appears here. A somewhat longer range interaction was chosen in the 2-leg bosonic model (up to separations of 3 lattice sites along the chain direction) in order to partially match the numerical results on the 4-leg fermionic ladder with those on the 2-leg bosonic ladder. In particular, the Friedel oscillations were compared in the 2 models and shown to exhibit stripes in both models at higher doping. The advantage of considering 2 nearly decoupled 2-leg fermionic ladders (£2,_L, V2tx small) is that we can make this mapping more rigorous. In Ref. [90] the limit of very small 8 is studied, for fixed U. It was argued that, starting with half-filling, at small 8, 2 of the bands remain in a gapped state with an average filling of 1/2 while the other band pair is doped. At higher doping, both band pairs are doped. It was assumed that each of these doped band pairs yields fermion pairs. At somewhat higher doping they argue that these pairs form 4-hole clusters. Friedel oscillations were not discussed. Although both of these papers discuss 4-hole clusters, as does the earlier D M R G work of Ref. [17], none of them discuss the implications of such 4-hole clusters that follow from ID field theory considerations: exponentially decaying pair correlations and a gap to add a single pair of holes to the system. In particular, it seems likely that the effective 2-leg bosonic ladder model studied in Ref. [74] was in the boson pairing phase, with a gap to add a single boson and exponential decay of the boson creation operator correlation function, but this point was not commented on. In this regard, Figures (16) and (17) of Ref. [74] are very interesting. Fig. (16) appears to be a plot of E(Nb) - E(Nb - 1) versus (Nb - l / 2 ) / 2 L where Nb is the number of bosons in the 2-leg bosonic ladder. In a boson pairing phase, we expect: E(Nb)^pNb + ^(-l)N» + 0(l/L), (5.12) where 2p is the chemical potential for boson pairs and Ab is the single boson gap. Thus: E(Nb) - E(Nb (-l)N"Ab + 0(1/L). (5.13) Both p and Ab will evolve smoothly with density but this zig-zag structure of E(Nb) — E(Nb — 1) is the signal of a boson gap, i.e. of boson pairing. Such a zig-zag is seen for the last three points in Fig. (16), implying that E% + Eio < 2E9 (for L = 23) and a corresponding boson gap at 8 ~ .2 of Ab ~ ,05t. A zig-zag is not seen in Fig. (16) at smaller Nb, despite the fact that the change in Friedel oscillations to stripes appears to Chapter 5. Limit of 2 Decoupled 2-Leg Ladders 63 occur at 5C « .125. Possibly this is because the boson gap is too small relative to the finite size gap to be observable for 5 closer to 5C- Fig. (17) shows the analogous quantity for the 4-leg fermionic ladder, E(Nh) - E(Nh - 2) plotted versus (Nh - 1)/(4L) for even Nh. In this case no clear zig-zag is seen, which would indicate a gap to add a single fermionic pair, up to S — .2. Possibly the problem is again that the gap is too small relative to the finite size gap. This may indicate that the heuristic mapping is not working in great detail since the bosonic gap appears to be significantly larger than the fermionic pair gap. Clearly more numerical work on both 2-leg bosonic and 4-leg fermionic models would be interesting, either or larger L or for a different choice of interaction parameters, to clarify whether or not a bosonic gap (and corresponding fermionic pair gap) exists in the stripe phase, 5 > 6C-5.2 Concluding Remarks on 4-Leg Stripes We have taken a number of different approaches to the 4-leg generalized Hubbard ladder based on bosonization and R G . We gave general arguments about possible phases based on possible ways of pinning bosons and the finite size spectrum. We studied particular phases from solving the weak coupling R G equations. We determined the phases which occur in the limit of two weakly coupled 2-leg ladders, using the connection with a 2-leg bosonic ladder. A l l of these approaches led to the same conclusion. It is not possible to find any ClSO phases that have both stripes and pairing. On the other hand, it is entirely possible to find phases in which stripes coexist with bipairing. Whether or not 4 leg ladders, for physically reasonable and numerically accessible ranges of parameters have such a phase remains an open question. D M R G results have suggested a phase with stripes, but have, so far, found no evidence for bipairing. We can see three resolutions of this paradox. • Our methods are based on certain approximations: either weak coupling, or weakly coupled pairs of 2-leg ladders. It is entirely possible that other phases may exist for these systems which are inaccessible to these methods. Possibly these phases include ones with coexisting stripes and pairing. We remark, however, that these field theory methods have been remarkably successful in the past at describing many types of ID strongly correlated systems, including, for example, 2-leg ladders [23, 85, 86, 87]. It would be an important discovery that they break down for the 4-leg ladder. • Possibly these systems do not really have a stripe phase in the sense that we are using. We have given a precise meaning to "stripes" in the limit of a very long 4-leg ladder. We mean Friedel oscillations at a dominant wave-vector of Akp = 27m where n can be taken to be the hole density. Existing D M R G results certainly suggest this but it is possible that careful extrapolation to larger systems might not confirm this result. Chapter 5. Limit of 2 Decoupled 2-Leg Ladders 64 • Possibly the stripe phase apparently observed with D M R G is a bipairing phase. We remind the reader that we define bipairing precisely to be a phase in which corre-lation functions of all pair operators decay exponentially but correlation functions of some charge 4 operators exhibit power law decay. Furthermore, such a phase has a gap to add one or two particles, but no gap for four particles. The limited published D M R G results have suggested that the decay of the pair correlation func-tion may be power law and have not seen a gap to add two particles. Possibly the correlation length for the exponential decay is too large, and the corresponding gap to add two particles too small, to be observed so far. Further D M R G calculations could clarify this point. One could either study larger systems or else change the parameters of the model in an attempt to make the correlation length and inverse gap smaller. In this regard, numerical work on 2-leg bosonic ladders would also be useful to confirm that, as expected from field theory arguments, a boson pairing phase occurs in a wide range of parameters. As has been emphasized before, it may be crucial to include long range Coulomb interactions to understand stripe phases in real materials. We encourage further D M R G and analytical work to decide which of these possibilities is correct. Confirming any of them would be an important advance. Assuming, for the moment, that 4 leg ladders do exhibit stripes and bipairing, we speculate on the implications for the 2-dimensional Hubbard model. One might think that if 2-hole clusters form on 2-leg ladders and 4-hole clusters form on 4-leg ladders then perhaps, extrapolating to an infinite number of legs would simply give an incommensurate charge density wave. Such a state is perhaps not conducive to superconductivity. Stripes have also been observed in 6 leg ladders [19, 20]. In this case, it appears that the number of holes per rung is 4, rather than 6, as might have been expected. This is suggestive of more exotic behavior than a simple CDW, closer to ideas about fluctuating ID conducting wires, that have been proposed for stripe phases in 2D. Developing a field theory description of this stripe phase in 6-leg ladders is an important open problem. 65 Chapter 6 Impurity Entanglement Entropy 6.1 Introduction to Entanglement Entropy and the Impurity Model Quantum mechanics has been highly successful in producing correct experimental predic-tions. However, its very fundamental property, entanglement, is still not fully understood. First of all, what do we mean by an entangled state? Consider two noninteracting sys-tems A and B , with respective Hilbert spaces HA and H B . The composite system is HA <S> H B . If the system A is in the state | if;) A and B is in the state | 0 )B , then the composite system is in the state | ^A® \ 4>)B- States of the composite system which can be represented in this form are called separable states, or product states. If a state is not separable, it is called an entangled state. The singlet state of two 1/2 spins is one simple example. The so called entanglement entropy is one way to quantify the entanglement property of a quantum state. If we have an entangled state | \I>AB) of systems A and B, which is a pure state, then the pure density matrix (or operator) is p = | <&AB){^AB |- We can get the reduced density matrix PA(B) for subsystem A (B) by tracing out the degrees of free-dom for the rest part B (A), PA(B) =T^B{A)P- Then the entanglement entropy, sometimes called von Neumann entropy of the reduced density matrix for either subsystem, is: One interesting feature of Eq. (6.1) is that two subsystems A and B share the same value of entanglement entropy. This is the original motivation to propose entanglement entropy as a measure of entanglement since two subsystem should share the same amount of entanglement between each other. Here we take a two-spins system for example. Consider a general wave function, S = -T r ^ l n p ^ = -TTBPB^PB- (6.1) (6.2) (6.3) S = - T r p 2 l n p 2 = - cos2 6 In cos2 9 - sin 2 6 In sin 2 6. (6.4) Chapter 6. Impurity Entanglement Entropy 86 Figure 6.1: The total system size is R. The subsystem A is from site 0 to r and region B , from site r + 1 to R, is traced out in the density matrix It's clear to see that S is maximal at ln2 when 0 = — ZTT/4 or 7r/2, that is, when two spins form a singlet or triplet. Loosely speaking, we can regard entanglement entropy as a kind of measurement of how many degrees of freedoms are shared between two subsystems. A singlet and a triplet state have different parity. Through this simple example, we actually see that entanglement entropy may not be sensitive to the symmetry property of a quantum state. The first connection between entanglement properties and quantum phase transitions was observed in Ref. [98]. Later on, Eq . (6.1) was applied to many body quantum states in I D systems [25]. These authors showed that entanglement entropy scales uni-versally with logarithmic dependence on subsystem size at quantum critical points. This logarithmic scaling behavior can be obtained by conformal field theory (CFT) methods [26, 27]. For a I D spin chain with open boundary conditions and total system size R, the entanglement entropy between the subsystem A:[0, r] and the rest, region B : [r + 1, J?] (see Fig . (6.1)) has a universal scaling: S(r) = - T r r p ( r ) lnp(r) = jj l n [ — s i n ( ^ ) ] + In <7 + (6.5) in the limit R,r ^> 1. The constant c is the central charge of the associated C F T , In g is the boundary entropy introduced in Ref. [99] and S\ is a non universal constant related to the ultra-violet cut-off. The nearest neighbor Heisenberg spin chain can be described by a c = 1 C F T plus a marginally irrelevant operator [100]. In order to avoid the logarithmic corrections due to this marginally irrelevant operator, we can add the next nearest neighbor coupling J 2 , tuned to the critical J 2 c » .2412 [101]. When we study the nearest neighbor and critical J i — J 2 Heisenberg spin chain with open boundary conditions, we find that on top of Eq . (6.5), there are some even-odd alternating corrections [2]. This even-odd alternation is related to the antiferromagnetic nature of the ground state. Motivated by the valence bond picture of entanglement entropy proposed in Ref. [102], we find that the alternating correction to the entangle-ment entropy is proportional to the alternating part of the energy density (or equivalent to dimerization induced by the boundary) [2]. Moreover, the proportional constant is related to the spin velocity. A derivation for the dimerization is in Appendix C. Chapter 6. Impurity Entanglement Entropy 67 How the impurity effects the entanglement is an interesting subject [103, 104, 105]. We study the critical Ji — J2 Heisenberg spin chain with an extra impurity spin on the boundary, as shown in Fig. (6.2), where J ' K < Ji = 1. For J2 = J 2 C ~ .2412, the low energy theory of the Hamiltonian Eq. (6.6) is analogous to the Kondo problem [101]. R-l R-2 H = J'K • S2 + J 2 5 x • S3) +J1Y,Sr- Sr+1 + J2J2sr- Sr+2, (6.6) r=2 r=2 Figure 6.2: Schematic picture for the J\ — J2 spin chain model (6.6) with an impurity located at the left boundary and coupled with J ' K . The impurity interaction J ' K is marginally relevant and becomes stronger and stronger toward the lower energy scale [106]. The Kondo temperature TK is the energy scale when the effective coupling reaches order one. When energy is of order or lower than TK, the perturbation theory breaks down since the effective coupling is large. At zero temperature, the effective coupling becomes infinity. The impurity will be screened and form a singlet with its neighbour. Then the Kondo length scale iK = ^~ (6.7) can be regarded as the typical size of this screening cloud, where vs is the spin wave velocity. Many physical quantities of the impurity are shown to be universal scaling functions of R/£K and T/TK [107, 108, 109, 110, 111]. We would like to define the "impurity entanglement entropy" as Simp = S(with impurity) — 5(no impurity). (6.8) However, as we mentioned before, besides the uniform part Su, there is an alternating part SA in the entanglement entropy, S(r, R) = Su(J'K, r, R) + (-iySA(J'K, r, R), (6.9) where SJJ(J'K = 0, r, R) is just Eq. (6.5). We do not define £(no impurity) as 5 with J ' K — 0 since for J ' K = 0 the impurity spin can have a non-trivial entanglement with the rest of the chain due to the degeneracy when R is even. It then follows that the complete impurity contribution to the entanglement entropy cannot be obtained by subtracting Chapter 6. Impurity Entanglement Entropy 68 Figure 6.3: Total entanglement entropy, S( J'K, r, R) for a 102 site spin chain at J%, with a J'K — 0.3 Kondo impurity along with S(J'K — 1, r — 1, R — 1) (no impurity). Uniform parts (solid lines) and the resulting 5; m p . results for a system with J'K — 0. We thus define the uniform part of the impurity entanglement entropy precisely as Simp(J'K, r, R) = Su(J'K, r, R) - Sa{l, r - 1,R - 1), (6.10) where r > 1. The typical D M R G result is shown in Fig. (6.3). In general, Eq. (6.10) is a function of all three variables J'K,r and R. However, similarly to many other impurity quantities, we find that the impurity entanglement entropy is indeed a universal scaling function, Simp = Simp(r/£K, r/R), (6.11) as shown in Fig. (6.4). When R is finite, the ground state has total spin 0 and 1/2 for even and odd R, respectively. In the limit R —> oo we expect that S(r/^K,f/R) will become the same for 0 or 1/2 total spin, and will be qualitatively similar to the spin-0 case for finite R, approaching In 2 at r/^K —> 0, reflecting the fact that the impurity is screened in region B. On the other hand, for total spin 1/2 (and R finite), S ; m p must vanish as r/fic —> 0 since £A- —• co corresponds to J'K = 0. In this limit, for 1/2 total spin, the Fermi sea of conduction electrons has spin zero and the impurity is unscreened, hence contributing nothing to S. Screening only becomes probable when £K < R, or equivalently TK > vs/R, the finite size gap for s-wave excitations. Hence, for total spin 1/2 and fixed r/R the maximum of Simp as a function of r/£K occurs at r/£K ~ r/R. In the next section, we will calculate this function in the limit r >> £K by CFT methods based on Nozieres' Fermi liquid theory [112, 113, 114, 115]. Chapter 6. Impurity Entanglement Entropy 69 Figure 6.4: Universal scaling plot of Simp for fixed r/R, (a) for R < 102 even, (b) for R < 101 odd. D M R G results for the J\ — J2 chain at Jf f ° r various couplings J'K. The lines marked n^K/(12r) are the FLT prediction, Eq. (6.40). c) the location of the maximum, (r/£K)inzx, of Simp for odd R, plotted versus r/R. 6.2 Fermi Liquid Theory We will start with the low energy effective theory of Eq. (6.6) with J'K — 0. One standard way is to transform spins to spinless fermions via Jordan-Wigner transformation and then apply the Abelian bosonization, as we introduced in Chapter 1, to spinless fermions. In the end, we will get a free boson Hamiltonian, up to irrelevant operators [81]. However, in this approach, the SU(2) symmetry is not preserved anymore. Another well known method to obtain the low energy effective theory of a spin chain is by non-Abelian bosonization. It turns out the spin chain can be described by the spin sector of ID spinful fermions at half filling [116]. Then the low energy theory of a spin chain with an impurity on the boundary is equivalent to the spin sector in the Kondo problem [101]. Chapter 6. Impurity Entanglement Entropy 70 6.2.1 Spin Chain with an Impurity and the Kondo Model Here we first briefly review the theory of the Kondo model based on the treatment in [113, 114]. The Kondo model is used to describe 3D free electrons interacting with a magnetic spin 1/2 impurity at the origin. The 3D Hamiltonian is H = f d»r[tft ( Z l ^ a + JK5\^aCf)^ • S], (6.12) where a are Pauli matrices and a, ft are the spin indices. If one expands the electron operators in spherical harmonics, due to the 5-function form of the Kondo interaction JK, only the s-wave harmonic interacts with the impurity [113, 114]. Similar to how we deal with the ladder systems in Chapter 1, assuming a weak Kondo coupling, we may linearize the dispersion relation near the Fermi momentum, hp, yielding the ID low energy effective Hamiltonian in terms of chiral fermions: H = (Vf/2TT) f Jo oo dx 0+ ^ ( 4 a ( 0 ) + tfk(0))^f(lM0) + 1M0)) • S. (6.13) Note that 0 < x < oo means the distance from the fermions to the origin and A ^ = v JK where v — kFfn/(2iT2) is the density of states (per spin per band). As we also discussed in Chapter 1, due to the O B C , the boundary condition for the fermion operators at the origin is: *l>La{x = 0) = ~lJ>Ra{x = 0), (6.14) and we can regard the right moving fermions as the analytic continuation of the left moving ones to the negative axis: IpLai-x) = -1pRa{x), {x > 0). (6.15) Then the Hamiltonian, written in terms of only left-movers but now living on the line from —oo to oo, becomes: /oo r ^ d x ^Lafa^La + vFXK^La(0)^Lp(0)-S. (6.16) We can bosonize the left-movers by Eq. (1.16) but the SU(2) symmetry is not preserved. A n alternative method is to describe the system by the charge and spin current operators, similar to Eq. (4.1) with one band index: —* JL{X) = i>[a(x)ibLa(x), JL(X) = i>\JfMx). (6.17) Chapter 6. Impurity Entanglement Entropy 71 Then Eq. (6.16) becomes [113, 114]: ^ : JLJL(X) •• +^JL • JL /OO dx •00 +vFXKJL(0) • S. (6.18) In Eq. (6.18), the impurity spin S only couples to the spin current operator JL and the charge part of the Hamiltonian is not effected by the impurity. We can regard the spin and charge currents as some spin and charge boson fields, respectively. Now consider the spin chain model Eq. (6.6) with O B C . Without the impurity, the low energy theory of the J\ — J2 Heisenberg spin chain is equivalent to the spin part of the I D fermion model [101]: f°° 1 H0 = {va/2ir) / dx- JL • JL, (6.19) J-oo 3 where v3 is the spin-wave velocity. Although nontriyial to prove, Eq. (6.19) is actually a c = 1 C F T since the Hamiltonian is nothing but a free spin boson field [116]. We can represent the spin operator at site j as Sj « [JL(J) + Mo)} + ( -^constant • n(j). (6.20) The alternating part of the spin operators, n(j), can be written in terms of the spin boson field in a non-linear way. At the end of the chain, due to the open boundary condition, we find that n(0) —> constant x JL(0) and therefore: S2 + J2S3 « CJi(O), (6.21) where C is a non-universal constant, depending on the second neighbor coupling, J2 in the Hamiltonian. (C has dimensions of inverse length, and is proportional to the inverse lattice spacing.) Now including a weak coupling, J'K to the first spin, the low energy effective Hamil-tonian becomes: /OO 1 dx-JL • JL + CJ'K JL(0) • S. (6.22) oo 3 Comparing the low energy effective Hamiltonian for the spin chain model, (6.22) to the low energy effective Hamiltonian for the Kondo model, (6.18), we see that they are equivalent, apart from the extra charge degrees of freedom in the Kondo model, which anyway are non-interacting and decouple from the spin degrees of freedom. Thus, dropping the charge bosons and replacing: vF -> vs, vF\K -)• CJ'K, (6.23) the two low energy effective Hamiltonian become the same. The constant can be extracted by studying the end-to-end spin correlation function in the chain without the weakly coupled spin, yielding: J'K « 1.3807A*. (6.24) Chapter 6. Impurity Entanglement Entropy 72 6.2.2 Fermi Liquid Theory for the Kondo Problem Since the impurity interaction J'K is marginally relevant, it becomes larger when we lower the energy scale [106]. At high temperatures, one can do perturbation directly because the effective coupling strength is still small. At low energies and long length scales, the effective Kondo coupling becomes large, and the effective Hamiltonian flows to the strong coupling fixed point. In the electron version of the Kondo model we may think of this fixed point as one where the impurity spin is "screened", i.e. it forms a singlet with a conduction electron. The remaining electrons behave, at low energies and long length scales, as if they were non-interacting, except that they obey a modified boundary condition reflecting the fact that they cannot break up the singlet by occupying the same orbital as the screening electron. This modified boundary condition corresponds to a 7r/2 phase shift. Correspondingly in the spin chain Kondo model, the impurity spin gets "adsorbed into the chain" and no longer behaves like a paramagnetic spin at low energies and long distances. The leading corrections to this low energy long distance picture are described by lowest order perturbation theory in the leading irrelevant operator at the strong coupling fixed point. This is an interaction between the remaining conduction electrons, near the screened impurity. (It doesn't involve the impurity itself since it is screened and doesn't appear in the low energy effective Hamiltonian.) This leading irrelevant operator is JL(0) • JL(0) [112, 113], which is proportional to Eq. (6.19). It is the entire energy density in the low energy effective Hamiltonian for the spin chain. The energy density has dimensions of (energy)/(length) so the corresponding coupling constant in the effective Hamiltonian must have dimensions of length. On general scaling grounds we expect it to be proportional to The precise constant of proportionality simple corresponds to giving a.precise definition of what we mean by We adopt the convention: H^t = - ( ^ ) ^ S , L ( 0 ) . (6.25) Here the subscripts s and L are a reminder that this is the spin only part of the energy density for left movers when compare to the Kondo model. Note that if we start with a system of length R (with left and right movers), then we can map into a system of length 2R with left movers only. For the purpose of doing first order perturbation theory in Hint for quantities like the susceptibility, specific heat or ground state energy, which are translationally invariant in 0 T H order, we may replace [113] Hint by: Hint^-[irSK/{2R)] [ naJt{x). (6.26) J-R This is equivalent to a length dependent reduction of the velocity: ^ ^ l - f | ] . (6-27) This then implies that the susceptibility, which is R/(2irvs) in the absence of the Kondo Chapter 6. Impurity Entanglement Entropy 73 impurity becomes: R/(2nv.) + tK/(4v.) = R/(2irvs) + 1/(4TK). (6.28) Thus the zero temperature impurity susceptibility is 1/(4TR-) It is this form of the im-purity susceptibility, simply related to the high temperature, free spin behavior, 1/(4T), which motivates the definition of £ K (and hence TK = VS/CK) implied by (6.25). We note that this interaction Hint is present even in the absence of an impurity, for free fermions but then the coupling constant is of order a lattice constant. Similarly it is also present for the spin chain with no impurity (i.e. J'K = 1) with a coupling constant of order a lattice constant. The effect of a weak Kondo coupling is to make this coupling constant large. We emphasize that this precise choice of definition of TK has no physical consequences. The power of Fermi liquid theory is to predict not only the form of low energy quantities but also ratios of various low energy quantities such as impurity susceptibility, impurity specific heat, resistivity, etc., corresponding to various generalized Wilson ratios. 6.2.3 Fermi Liquid Theory for Simp In the limit ^ < r , within the F L T as discussed before, we can calculate the universal scaling Simp by treating Hint in Eq. (6.25) in lowest order perturbation theory. We first would like to review the C F T method to calculate the bulk entanglement entropy in Ref. [27]. Consider a conformally invariant system, such as the spin chain model without an impurity, Eq. (6.19), when the total system size is R and the subsystem. A is from 0 to r. We trace out the degrees of freedom outside the subsystem from r to R and obtain the reduced density matrix p(r). The entanglement entropy S is then — Tr rp(r) lnp(r). It's very difficult to calculate this quantity directly. We can detour around it by means of the replica trick. If Trp(r)" is known, then where we omit the subscript r for Tr without the confusion. In the path integral repre-sentation of Euclidean space-time, where Zn(r) is the partition function on an n-sheeted Riemann surface 7£ n, with the sheets joined at the cut extending from r to R [26, 27]. Zn is the nth power of the usual the partition function without the cut. This factor makes sure that Trp(r') = 1, as expected for the density operator. Now the original problem has been transformed into the calculation of the partition function with a nontrivial geometry. It is well known that the partition functions of conformal invariant systems have some universal scaling S = - l im- [T rp ( r r ] , «->i an (6.29) Trp(r)" = Mr) (6.30) Chapter 6. Impurity Entanglement Entropy 74 behaviors [117, 118]. Here we have the similar situation yet the partition function are defined on an n-sheeted Riemann surface 7£ n . We use the approach where the Hamiltonian, such as Eq. (6.19), is written in terms of left movers only, obeying P B C on an interval of length 2R. In the critical region, the system is conformally invariant and C F T methods are applicable. Now the cut is from the branch point v = — ir to the branch point u — ir on each sheet. Starting with zero temperature and R infinity, the n-sheeted Riemann surface, lZn, can be mapped to the usual complex plane C [27] by the transformation w->z = l )«, (6.31) w — v where w and z are the variable on TZn and C, respectively. The energy momentum tensor T is transformed by T { w ) = {dt)2T{z)+T2{z'w}> (6-32) where c is the central charge and {z, w} is the Schwartzian derivative (z'"z'—\{z")2) / {z')2. Since on the complex plane (T(z))c = 0 due to the rotational symmetry, the expectation value of the energy momentum tensor T on TZn is simply given by Schwartzian derivative: = ,., T2,„. 7 , a , (6-33) (w — u)2(w — u) 5 where A n = (c/24)(l - (1/n) 2). Imaging that there are two primary operator $„(?/) and <&^„(v) sitting on the branch points with the scaling dimension A„ = (c/24)(l — (1/n) 2). Then the three point function on the complex plane C can be calculated by the Ward identity: (T(w)*n(u)$-n(v)) c A„ I d 1 d . , x , , (w — u)2 (w — v)2 w — udu w — v dv (w — u)2(w — v)2(u — v)2An~2 ' (6.34) where ($n(u)$-n(v))c = (u — v)2An. Then Calabrese and Cardy observed its important connection to Eq. (6.33): _ f[d4>]T(w)e-s'M _ (T(w)*n(u)^n(v))c ^ W ^ - j[d4>]e-sE{nn) ~ ( $ n ( u ) $ _ n ( v ) ) c • v>-6*> Since Eq. (6.35) is ensured by the Ward identity, they concluded that any conformal transformation on the the n-sheeted Riemann surface TZn is equivalent to that on the two point functions on each sheet. In other words, Trp" = Zn/Zn behave identically to the n-th power of ($ n ( i r )$_„(— ir)) e under the conformal mappings or explicitly, Trp" c„ (2 r / a ) ( c / 1 2 ) ( n " 1 / n ) . (6.36) Chapter 6. Impurity Entanglement Entropy 75 Applying the replica trick and c\ = 1, the entanglement entropy is S ~ (c/6)ln(2r), which is consistent with Eq. (6.5) in the limit R^$> r. Then they extended the result to finite system size R at zero temperature or infinite system size at finite temperature T = 1/P by applying the corresponding conformal mapping to ($„(ir)$_ n(— ir)) c [27]. Since $-t„ are primary fields, under a conformal mapping from z to w(z), the two point function transforms according to <*„ («> i )* -»M> = (^ ) ^ (f^ ) ^ a <*„(*i)*-„(*i)> • (6-37) From the complex plane z to a finite strip w with size 2.R, the transformation is w = ^ In z. So we obtain that the entanglement entropy for the total size R with O B C at zero temperature is Eq. (6.5). From the complex plane z to a cylinder w with circumference 8, the transformation is iw = ^-Inz. Then the entanglement entropy for the infinite total size with O B C at finite temperature @ is Su(r) = \ H— s i n M ^ ) ] + ^9 + (6-38) 6 7T pVs 2 In the high temperature limit r^>j3va, Eq. (6.38) recovers the well-known ID thermal en-tropy ircr/38v3 [117, 118]. In the opposite limit Bvs~>r, Eq. (6.38) becomes (c/6)ln(2r). Now we should consider the system with an impurity in the Fermi liquid theory region, that is, the system is described by the Hamiltonian Eq. (6.19) plus the local irrelevant interaction Eq. (6.25). With the presence of this local operator, we should calculate perturbatively the correction to the partition function Zn in order to get the impurity entanglement entropy <Simp. Luckily, the irrelevant interaction is just the energy momentum tensor itself and its expectation value on the n-sheeted Riemann surface is just Eq. (6.33). The correction to Zn of first order in £ K is: /oo dT(Hs,L(T, 0))nn - , 6 r w r A n ( 2 i r ) 2 li3tL — TI(27r) where T(r , x) is the conventionally normalized energy-momentum tensor for the c = 1 and (T)nn is given by Eq. (6.33). After doing the simple integral and taking the replica limit, for R —y oo, we get 5 i m p = ^ . (6.40) In Fig. (6.4), for R —> oo, the F L T is applicable and Simp(r/£K) —>• Tr£K/12r, no matter R is even or odd as we expected. In principle, in order to extend the F L T calculation to finite R, we will need the conformal mapping from a infinite n-sheeted Riemann surface to a finite one, which we Chapter 6. Impurity Entanglement Entropy 76 don't know. On the other hand, we can also try to exploit Eq. (6.35) following the similar idea in Ref. [27] by applying the standard finite size conformal mapping to ( $ „ $ _ „ ) c and Eq. (6.34), ( T $ n $ _ n ) c . T h e three point function (T(io)* n(u;i)$_ n(ti;2)> for the system with a finite size R at zero temperature is: (ir/2R)2An+2 2 s i n h ^ = ^ l hs inh 2^22 )1 h s inh 2 A „ - 2 ' (6.41) where w = VST, W\ = ir and w2 = —ir. The terms proportional to 1/R2 is the dis-connected part and will be cancelled by the denominator ZN. Then, in the first order perturbation, - 5 A = -fan x r dr[0 ^ r / R ] We use the integral dx t , -csc t , (6.43) / Jo i0 cosh ax — cos t a from Ref. [119] and differentiate Eq. (6.43) with respect to t on the both sides. Applying this result and the product-to-sum hyperbolic identity to Eq. (6.42), we can complete the integral and after the replica limit we get: ^ P = g | [ l + 7 r ( l - ^ ) c o t ( ^ ) ] . (6.44) Of course, Eq. (6.44) reduces to Eq. (6.40) for R ^> r and both of them agree with the scaling form of 5 j m p . Interestingly, Eq. (6.44) can be regarded as the first order Taylor expansion in £K/r and £K/R of Su = (1/6) In[i?sin7rr/i2] with r and R both shifted by 7 T£A : / 2 . Consistently, Eq. (6.40) can be also obtained from expanding (1/6) \n(r+n£K/2). In fact, many other quantities such as impurity susceptibility, specific heat and ground state energy correction can be also obtained in this fashion by shafting total system R toR + ir$K/2. Within C F T methods, we can also calculate 5 , m p for infinite R but at finite temper-ature Pv3. We apply the standard finite temperature conformal mapping to ( T $ „ $ _ n ) c and ( $ n $ _ n ) c . The result for first order perturbation is just to replace 2R by /? and sinh by sin in Eq. (6.42) with the integral from —/3/2 to fi/2. Completing the straightforward integral yields S j m p = ^ c o t h ( ^ ) . (6.45) 6vs vs In the high temperature limit, rT » vs, Eq. (6.45) approaches the thermodynamic impurity entropy, Simp -> TT2£KT/(6VS) — TX2T/{%TK) [113]. In the low temperature limit v„ » rT, it becomes Eq. (6.40), Tr£K/(12r). As we discussed above, this is consistent with the observation in Ref. [27] that bulk entanglement entropy at finite temperature approaches the thermal entropy and that of infinite size at zero temperature in both limits. Chapter 6. Impurity Entanglement Entropy 77 Figure 6.5: (a) D M R G results for RSimp/fa versus r, with R = 400, for the spin chain at J% and various values of J'K in the Fermi liquid regime. The black curve is the FLT prediction, Eq. (6.44). 6.3 The Comparison with DMRG Now we compare the FLT calculation with the D M R G data. It's important to note that the FLT result only works in the strong effective coupling region, i.e. r,R » fa. The first step is thus to obtain fa. However, there is no unique way to determine the Kondo length scale fa. We can use Eq. (6.11) to make the data of impurity entanglement entropy collapse on a universal scaling curve by rescaling fa. When R is finite, the ground state has total spin 0 and 1/2 for even and odd R, respectively, fa for even and odd R are listed in table (6.1). Jk 0.8 0.6 0.525 0.45 0.41 0.37 0.30 0.25 0.225 0.20 fa (R even) 1.89 5.58 9.30 17.40 25.65 40.5 111 299 -565 -1196 fa (R odd) 1.65 5.45 9.30 17.40 25.65 39.2 127 411 ~ 870 ~ 2200 Table 6.1: The numerically determined values for fa(J'K) using naive rescaling of Simp(J'K,r,R) at fixed r/R for J2 = J | . For R odd system sizes of ii! = 19.. . 101 have been used and for R even R — 18... 102. The estimates become unreliable once fa^>R. For R = 400, the comparison between the uniform part of the entanglement entropy, Eq. (6.44) and D M R G data is shown in Fig. (6.5). They agree very well for J'K < 1, i.e. the region r,R » fa. In fact, one can also estimate fa by means of Eq. (6.44). The Chapter 6. Impurity Entanglement Entropy 78 result is shown in table (6.2) and it's consistent with those in table (6.1). More details and other methods to obtain £ K can be found in Ref. [3, 4]. J'K 1.00 0.80 0.60 0.525 0.45 0.41 0.37 0.30 ZK 0.65 1.97 5.93 9.84 17.83 25.65 38.29 83.79 Table 6.2: £K(J'K) a s determined from SIMP(JK,r,R) for R = 400 using the F L T pre-diction, Eq. (6.44). The estimates become unreliable once . £ K becomes comparable to R. The presence of impurities will clearly affect the entanglement and we have here de-fined the impurity contribution to the entanglement entropy, Simp. Using the equivalence of the electronic Kondo model and the J\ — J2 spin chain model in the regime J2 < J2 we have shown numerical evidence that Simp follows a scaling form Simp(r/^K-,f/R) demon-strating the presence of the length scale £ K associated with screening of the impurity. We have provided rather strong arguments in favor of this scaling and analytical results based on a Fermi liquid approach valid for r 3> £K. Finally, we have argued that at finite temperatures the entanglement entropy for a sub-system A of size r, S(T), will approach the thermal entropy, Sth(T), for T » vs/r. In light of the generality of our model we expect our results to be quite widely applicable. The study of quantum impurity entan-glement as it occurs in more complex models with many body ground-states displaying non-trivial order would clearly be of considerable interest. 79 References [1] M.-S. Chang and I. Affleck. Phys. Rev. B, 76:054521, 2007. [2] N . Laflorencie, E . S. S0rensen, M.-S. Chang, and L Affleck. Phys. Rev. Lett, 96: 100603, 2006. [3] E . S. S0rensen, M.-S. Chang, N . Laflorencie, and I. Affleck. J. Stat. Mech., page L01001, 2007. [4] E . S. S0rensen, M.-S. Chang, N . Laflorencie, and I. Affleck. J. Stat. Mech., page 08003, 2007. [5] H.J . Schulz. Phys. Rev. B, 34:6372, 1986. [6] E . Dagotto and T . M . Rice. Science, 271:618, 1996. [7] S. Gopalan T . M . Rice and M . Sigrist. Europhysics Letters, 23:445, 1993. [8] R . M . Noack-D.J. Scalapino C.A. Hayward, D. Poilblanc and W. Hanke. Phys. Rev. Lett, 75:926, 1995. [9] S.R. White. Phys. Rev. Lett, 77:3633, 1997. [10] D.P. Goshorn D.C. Johnston, J .W. Johnson and A . J . Jacobson. Phys. Rev. B, 35: 219, 1987. [11] M . Takano-K. Ishida M . Azuma, Z. Hiroi and Y . Kitaoka. Phys. Rev. Lett., 73: 3463, 1994. [12] J . Akimitsu-H. Takahashi N . Mori M . Uehara, T. Nagata and K . Kinoshita. J. Phys. Soc. Jpn., 65:2764, 1994. [13] H. Eisaki T. Osafune, N . Motoyama and S. Uchida. Phys. Rev. Lett, 78:1980, 1996. [14] S.R. White R. Noack and D.J . Scalapino. Phys. Rev. Lett, 73:882, 1994. [15] S.R. White and D.J . Scalapino. Phys. Rev. Lett, 80:1272, 1998. [16] S.R. White and D.J . Scalapino. Phys. Rev. B, 57:3031, 1998. [17] S.R. White and D.J . Scalapino. Phys. Rev. B, 55:R14706, 1997. References 80 [18] S.R. White and D.J . Scalapino. Phys. Rev. B, 60:R753, 1999. [19] S.R. White and D.J . Scalapino. Phys. Rev. Lett, 91:136403, 2003. [20] E. Jeckelmann G. Hager, G. Wellein and H . Fehske. Phys. Rev. B, 71:075108, 2005. [21] J.D. Axe-Y. Nakamura J . M . Tranquada, B . J . Sternlieb and S. Uchida. Nature, 375: 561, 1995. [22] T . G . Perring-H. Goka G.D. Gu G. X u M . Fujita J . M . Tranquada, H. Woo and K . Yamada. Nature, 429:534, 2004. [23] I. Affleck S.R.White and D.J . Scalapino. Phys. Rev. B, 65:165122, 2002. [24] C. H . Bennett, H . J . Bernstein, S. Popescu, and B. Schumacher. Phys. Rev. A, 53: 2046, 1996. [25] G. Vidal, J . I. Latorre, E. Rico, and A . Kitaev. Phys. Rev. Lett, 90:227902, 2003. [26] C. Holzhey, F. Larsen, and F. Wilczek. Nucl. Phys. B, 424:443, 1994. [27] P. Calabrese and J . Cardy. J. Stat Mech., page 06002, 2004. [28] S.A. Kivelson E .W. Carlson, V . J . Emery and D. Orgad. Concepts in High Tem-perature Superconductivity, review chapter in The Physics of Conventional and Unconventional Superconductors. Springer-Verlag, Germany, first edition, 2003. [29] J.R. SchriefFer. Theory of Superconductivity, Frontiers in Physics. Addison-Wesley, U.S.A., first edition, 1988. [30] J .B. Bednorz and K . A . Muller. Z. Phys. B, 64:189, 1986. [31] V . J . Emery and S.A. Kivelson. Phys. Rev. Lett, 74:3253, 1995. [32] P.W. Anderson. Science, 256:1526, 1987. [33] P.A. Lee. Physica C, 317-318:194, 1999. [34] T. Timusk and B. Statt. Rep. Prog. Phys., 62:61, 1999. [35] B.O. Wells D . M . King W.E . Spicer A . J . Arko D. Marshall-L.W. Lombardo A . Kapitulnik P. Dickinson S. Doniach J . DiCarlo T. Loeser Z. -X. Shen, D.S. Dessau and C H . Park. Phys. Rev. Lett, 70:1553, 1993. [36] ' J .C. Campuzano T. Takahashi M . Randeria M.R. Norman T. Mochiku K . Kadowaki H. Ding, T. Yokoya and J . Giapintzakis. Nature, 382:51, 1996. [37] S.A. Kellar T. Noda H. Eisaki S. Uchida Z. Hussain Z . -X. Shen X . J . Zhou, P. Bog-danov. Science, 286:268, 1999. References 81 [38] C. Renner S. Ono M . Kugler, O. Fischer and Y . Ando. Phys. Rev. Lett, 86:4911, 2001. [39] H.L. Kao J . Kwo R.J . Cava J.J. Krajewski H. Takagi, B . Batlogg and W. F. Peck Jr. Phys. Rev. Lett, 69:2975, 1992. [40] J .L. Tallon and J.W. Loram. Physica C, 349:53, 2001. [41] Jr. D.J . Scalapino, E . Loh and J.E. Hirsch. Phys. Rev. B, 34:8190, 1986. [42] D.C. Morgan Ruixing Liang W . N . Hardy, D.A. Bonn and Kuan Zhang. Phys. Rev. Lett, 70:3999, 1993. [43] W . C Lee D . M . Ginsberg D.A. Wollman, D.J . Van Harlingen and A . J . Leggett. Phys. Rev. Lett, 71:2134, 1993. [44] C.C. Chi L.S. Yu-Jahnes A . Gupta T. Shaw J.Z. Sun C.C. Tsuei, J.R. Kirtley and M . B . Ketchen. Phys. Rev. Lett, 73:593, 1994. [45] S. Sachdev. Science, 288:475, 2000. [46] G. Gruner. Density Waves in Solids. Perseus Books Group, U.S.A., first edition, 2000. [47] J . Zaanen and O. Gunnarsson. Phys. Rev. B, 40:7391, 1989. [48] H.J . Schulz. Phys. Rev. Lett, 64:1445, 1990. [49] J . M . Tranquada. Physica B, 241-243:745, 1998. [50] S.A. Kivelson V . J . Emery and J . M . Tranquada. Proc. Natl/ Acad. Sci., 96:8814, 1999. [51] T .E . Mason H. Mook S.M. Hayden P C . Canfield Z. Fisk-K.N. Clausen S-W. Cheong, G. Aeppli and J .L. Martinez. Phys. Rev. Lett, 67:1791, 1991. [52] E . M . McCarron W . E . Farneth J.D. Axe H. Chou M . K . Crawford, R .L . Harlow and Q. Huang. Phys. Rev. B, 44:7749, 1991. [53] K . Yamada M . Fujita, H. Goka and M . Matsuda. Phys. Rev. Lett, 88:167008, 2002. [54] K . M . Lang V . Modhavan H. Eisaki S. Uchida J.E. Hoffman, E .W. Hudson and J.C. Davis. Science, 295:466, 2002. [55] N . Kaneko M . Greven C. Howald, H. Eisaki and A . Kapitulnik. Phys. Rev. B, 67: 14533, 2003. References 82 [56] K . Hirota Y . Endoh K . Yamada G. Shirane Y.S . Lee M . A . Kastner H. Kimura, H. Matsushita and R.J . Birgeneau. Phys. Rev. B, 61:14366, 2000. [57] K . Kurahashi J . Wada S. Wakimoto S. Ueki H. Kimura Y . Endoh S. Hosoya G . Shirane R .J . Birgeneau M . Greven M . A . Kastner K . Yamada, C .H. Lee and Y . J . K im . Phys. Rev. B, 57:6165, 1998. [58] M . A . Kastner Y . Endoh S. Wakimoto K . Yamada R.W. Erwin S.-H. Lee G. Shirane Y.S . Lee, R . J . Birgeneau. Phys. Rev. B, 60:3643, 1999. [59] Pengcheng Dai H.A. Mook and F. Dogan. Phys. Rev. Lett, 88:097004, 2002. [60] S. Trugman. Phys. Rev. B, 37:1597, 1988. [61] J.E. Hirsch. Phys. Rev. Lett., 59:228, 1987. [62] S.A. Kivelson V . J . Emery and H.Q. Lin. Phys. Rev. Lett, 64:475, 1990. [63] A .R . Bishop A . H . Castro Neto B.P. Stojkovi, Z.G. Yu and N . Gronbech-Jensen. Phys. Rev. Lett, 82:4679, 1999. [64] A . H . Castro Neto. Phys. Rev. B, 51:3254, 1995. [65] M . Seul and D. Andelman. Science, 267:476, 1995. [66] F. Becca C. Gazza L. Capriotti A . Parola S. Sorella, G.B. Martins and E . Dagotto. Phys. Rev. Lett, 88:117002, 2002. [67] E . Fradkin S.A. Kivelson and V . J . Emery. Nature, 393:550, 1998. [68] E .W. Carlson V . J . Emery X . J . Zhou D. Orgad, S.A. Kivelson and Z.-X. Shen. Phys. Rev. Lett, 86:4362, 2001. [69] S.A. Kivelson E .W. Carlson, D. Orgad and V . J . Emery. Phys. Rev. B, 62:3422, 2000. [70] A . Rusydi A . Gozar P.G. Evans T. Siegrist L.Venema H. Eisaki-E.D. Isaacs P. Ab-bamonte, G. Blumberg and G.A. Sawatzky. Nature, 431:1078, 2004. [71] M . Fabrizio and A . Gogolin. Phys. Rev. B, 51:17827, 1995. [72] S. Eggert and I. Affleck. Phys. Rev. Lett, 75:934, 1995. [73] R. Egger and H. Grabertr. Phys..Rev. Lett, 75:3505, 1995. [74] T . M . Rice T. Siller, M . Troyer and S.R. White. Phys. Rev. B, 65:205109, 2002. [75] S. Capponi and D. Poilblanc. Phys. Rev. B, 66:R180503, 2002. References 83 [76] M . Oshikawa M . Yamanaka and I. Affleck. Phys. Rev. Lett, 79:1110, 1997. [77] B . Doucot and J . Vidal . Phys. Rev. Lett, 88:227005, 2002. [78] V . Cataudella M . Rizzi and R. Fazio. Phys. Rev. B, 73:R100502, 2006. [79] P. Schuck G. Ropke, A . Schnell and P. Nozieres. Phys. Rev. Lett., 80:3177, 1998. [80] C.J . Wu. Phys. Rev. Lett, 95:266404, 2002. [81] A . A . Nersesyan A . O . Gogolin and A . M . Tsvelik. Bosonization and Strongly Cor-related Systems. Cambridge University Press, United Kingdom, first edition, 1998. [82] U . Ledermann and K . Le Hur. Phys. Rev. B, 61:2479, 2000. [83] D. Senechal. cond-mat/9908262, 1999. [84] E . Orignac and T. Giamarchi. Phys. Rev. B, 57:11713, 1998. [85] H. J . Schulz. Phys. Rev. B, 52:R2959, 1996. [86] M . Fabrizio. Phys. Rev. B, 37:325, 1993. [87] L Balents and M.P .A. Fisher. Phys. Rev. B, 53:12133, 1996. [88] E . Arrigoni. Phys. Status Solidi B, 195:425, 1996. [89] L Balents H.H. Lin and M.P .A. Fisher. Phys. Rev. B, 56:6569, 1997. [90] K . Le Hur U . Ledermann and T . M . Rice. Phys. Rev. B, 62:16383, 1997. [91] L Balents H.-H. Lin and M.P .A. Fisher. Phys. Rev. B, 66:075105, 2002. [92] W. Chen M.-S. Chang and H.-H. Lin . Progress of Theoretical Physics, 160:79, 2005. [93] H.-H. Lin A . Seidel and D.-H. Lee. Phys. Rev. B, 71:220501, 2005. [94] H.-H. Lin D. Chang W. Chen, M.-S. Chang and C. -Y. Mou. Phys. Rev. B, 70: 205413, 2004. [95] H . J . Schulz. Phys. Rev. Lett, 47:1840, 1981. [96] T. Giamarchi. Quantum Physics in One Dimension. Oxford Science Publication, United Kingdom, first edition, 2004. [97] F .D .H . Haldane. Phys. Rev. Lett, 47:1840, 1981. [98] A . Osterloh, L . Amico, G. Falci, , and R. Fazio. Nature, 416:608, 2005. [99] I. Affleck and A . W . W . Ludwig. Phys. Rev. Let, 67:161, 1991. References 84 [100] I. Affleck, D. Gepner, H.J . Schulz, and T. Ziman. J. Phys. A Math. Gen., 22:511, 1989. [101 [102 [103 [104 [105 [106 [107 [108 [109 [110 [111 [112 [113 [114 [115 [116 [117; [118 [119 [120 [121 [122 S. Eggert and I. Affleck. Phys. Rev. B, 46:10866, 1992. . G . Refael and J . E . Moore. Phys. Rev. Lett, 93:260602, 2004. G. C. Levine. Phys. Rev. Lett, 93:226402, 2004. H . -Q. Zhou, T. Barthel, J . Fjaerestad, and U . Schollwock. 2006. S. Y . Cho and R. H. McKenzie. Phys. Rev. ,4, 73:012109, 2006. A . C. Hewson. The Kondo Problem to Heavy Fermions. Cambridge University Press, 2000. J . Gan. J. Phys. Condens. Matter, 6:4547, 1994. E . S. S0rensen and I. Affleck. Phys. Rev. B, 53:9153, 1996. V . Barzykin and I. Affleck. Phys. Rev. B, 57:432, 1998. I. Affleck and P. Simon. Phys. Rev. Lett., 86:2854, 2001. E . S. S0rensen and I. Affleck. Phys. Rev. Lett, 94:086601, 2005. P. Nozieres. J. Low Temp. Phys., 17:31, 1974. I. Affleck. Nucl. Phys. B, 336:517, 1990. I. Affleck and A . W. W. Ludwig. Nucl. Phys. B, 352:849, 1991. I. Affleck and A . W. W. Ludwig. Nucl. Phys. B, 360:641, 1991. . I. Affleck. Nucl. Phys. B, 360:641, 1991. J.L. Cardy H.W.J . Blote and M.P. Nightingale. Phys. Rev. Lett, 56:742, 1986. I. Affleck. Phys. Rev. Lett, 56:746, 1986. I. S. Gradshteyn and I. M . Ryzhik. Table of Integrals, Series, and Products. Aca-demic Press, 2000. S. W. Tsai and J . B . Marston. Phys. Rev. B, 62:5546, 2000. V . Barzykin and I. Affleck. J. Phys. A, 32:867, 1999. I. Affleck. J. Phys. A, 31:4573, 1998. 85 Appendix A Akp density operators The higher order components of the density operator is known in ID [97] but it's not clear what's the generalization to ladder systems. Here we will derive the higher harmonic moments of density operators through the process of integrating out the large momentum modes in the perturbative fashion. The density operator on the a t n leg can be written: Using Eq. (1.14), we decompose na{x) into components that oscillate with various phase factors kFi ±kFj. We refer generically to all the components that oscillate with phases ± ( & F i + kFj) as "2A;.F" terms. Naively, these appear to be all the components of the density operators. However, there are actually additional 4kF (and higher) components. These arise from considering more carefully the R G transformation which leads to the low energy effective Hamiltonian. This transformation corresponds to integrating out, within the Feynman path integral, the "fast modes" of the fermion fields; i.e. all Fourier modes except for narrow bands, of width A, near each Fermi point, ±kFi. We consider in detail how this produces 4kF terms in na(x), in lowest order in the Hubbard interaction, U. Consider calculating some Green's function involving n a (x), or < na(x) > with open boundary conditions. Expanding the exponential of the action, to first order in £/, inside the path integral effectively adds an extra term to na(x): (A. l ) a (A.3) hJ,a,P,Q L 4 x ' = l 6=1 X CiiM^WPlM ~P*+ P3)^2t(Pl)Vi,l(P2)Vw(P3)- (A.4) 6,U,»2,»3,»4,P1,P2,P3 Here: (A.5) Appendix A. 4fcj? density operators 86 and we have suppressed the imaginary time labels r , r ' which are not too important. Each fermion field, ipia(p), may either be a slow mode with \p — kFi\ < A or \p + fcj?j| < A or it may be a fast mode with \p ± > A. Doing the functional integral over the fast modes eliminates some of the fermion fields from the correction, Sna(x), to the density operator, na(x), replacing them by their expectation value. To generate AkF terms in na(x) we take the case where four of the six fields in naHint are slow modes and two of them are fast modes. For instance consider the case where: p = -kFi + p, i = 1 q = kFi + kF2 + kFz + kF4 + q Pi = kF4+pl, i i = 4 p2 - -kF2+P2, *2 = 2 Pz = kFz+pz, iz = 3 where all the p and pi obey \p\ < A and q is also small, of 0 (A) . Then four of the fields are slow modes but ipja(p+o) and V ^ t ^ i — P2+Pz) are fast modes. Note that we have chosen the band index to correspond to the momentum range for all slow modes. This would be necessary if we assume that the momentum range A around each Fermi momentum is smaller than the difference of Fermi momenta between different bands. The product of fast mode fields gets replaced by its expectation value during the R G transformation: < i>ja(P + g)^! l t(Pl - P2 + Pi) > C X SjiJafSip + q ~ Pi + p2 ~ Pz)- (A.7) From Eq. (A.6) we see that the last 5-function in Eq. (A.7) can be written: S{p + Q. - Pi + P2 - Ps) = S(P + Q ~ Pi + P2 - Pz) Thus the extra term in the density operator can be written schematically as: 5na(x) oc Uexp[i(kFi + kF2 + kFZ + kF4)x] ^ SaiSajCj423 ^p[i(-p + Pi - P2 + Pz)x] xtpl^-kpi + P)^{kp4 + p1)i/jll(-kp2 + p 2)^34-(^3 + Pz) = U exp[i(kF1 + kF2 + kFz + kF4)x]SaiSa2SazSa4^l^(x)^R4^(x)^ln(x)^m(x). (A.9) Naturally, a large number of other such 4fc^ terms are generated by choosing other momentum ranges for the slow and fast modes. It turns out all the terms allowed by the symmetry will be generated in the low energy continuum limit, which is what we expected. (A.6) (A.8) 87 Appendix B RG Initial Values and the RG Potential Form Here we explicitly give the bare coupling values in Eq. (4.2) in terms of the interactions in Eq.(1.8) and (1.9) for general doped iV-leg ladders. By using ~b*apm~&i8 = 28^8^—8^5^, Eq. (4.2) can be written as R™t = E E E ^ i + ^Ria^RiaA^LJP ~ ifij^Rio^RJ^Li^hja a/3 ij x + \(fij + JWm^Ri^lj^LJP ~ \l^Ria^Ri^Lj^Ljal (B.l) where i and j are running from 1 to N. Note that we have a factor of 1/2 difference from the definition of operator fa in Ref. [89]. Expand Eq. (1.8) and (1.9) in terms of the chiral fermions Eq. (1.14) and we have H*r = X X X X [ f ^ e ( ^ <x{5 ijkl x Pi + E E E ^ ^ C / e ^ - ^ ^ ^ ^ i t ^ i t V ' k ^ ^ u , (B.2) ijkl x Pi where Pj = ± for R/L fermions and with the Sjm in Eq. (1.10) N '-'ijkl — 0mii:>Tnj>Jm+itk0m+ltl-The 1/2 factor for V and V± in Eq. (1.9) will put them in an equal footing with U. Now we just have to compare the coefficients in Eq. (4.2) and (B.2) for the same interaction then we can obtain the bare initial values of the R G interactions. Recall that fa = fa, Cij = Cji and fa = 0. Following the convention in Ref. [89], the R G equations are written down for c«, c^ - and fa where i < j. It will be convenient to define the following quantity for O B C : J V - l Sijki = ^ -^ ijfcz-m = l Appendix B. RG Initial Values and the RG Potential Form 88 In this basis, we write down the general form for the initial values in the R G equations: -4 ~<i 2[(2 - cos 2kFi)VAiiii + V±SiUi + UAmi], (B.3) 2(VAijij cos 2kFi + V±Sm + UAHii), (B.4) 4{VAm[2cos(kFi - kFj) - cos(kFi + kFj)] + VXSWJ + UA^}, (B.5) AlVAijij cos(kFi + kFj) + V±Sijij + UA^l (B.6) 4 { ^ i y [ 2 - co8(kFi + kFj)] + V±(2Siiij - Sijij) + UAjij}, (B.7) ilVAiM cos(kFi + kFj) + V±SUJJ + UAjij] • (B.8) where i < j here. Eq. (B.3)-(B.8) are not the basis such that the R G potential exists. In practice, we always deal with the R G equations in the potential basis. Therefore, we rescale Eq. (B.3)-(B.8) into the R G potential basis (without tilde) by c£ = 4^(2^)4, 85 ;P -4\/3(2^)4, 4 v ^ H 2 7 r ) a ? j > (B.9) (B.10) ( B . l l ) (B.12) here a is c or / and again i < j. After this rescaling, the explicit form of R G potential is: +B4) 2 3\/3 i<j y/2°^ ^^^ +EK) i<j 2 E CijtfkCik To E Cijc(jkcik y/2 „ V2 „ 2 i<j<k v " i<j<k i<i<fe (B.13) Appendix B. RG Initial Values and the RG Potential Form 89 where the parameters ^ is defined as With all the above results, we have the bare initial values for the R G equations derived from simply taking the derivative of the R G potential in Eq. (B.13). 90 Appendix C Dimerization Derivation The energy density for X X Z antiferromagnetic spin chains: <M = <(S r + S- + 1 + S;S:+l)/2 + AS*rS*r+1) (C.l) is uniform in periodic chains. On the other hand, an open end breaks translational invariance and there will be a slowly decaying alternating term or "dimerization" in the energy density (hr) = Eu(r) + (-l)rEA{r), . (C.2) where EA(r) becomes nonzero near the boundary and decays slowly away from it. We can calculate EA(r) by Abelian bosonization modified by O B C [120]. In the critical region | A | < 1, the low energy effective Hamiltonian is just a free massless relativistic boson. The staggered part of hr ~ {-l)r+l(tpRtpL - ^L^R) ~ ( - l ) r + 1 s i n ( v / 4 7 r ^ ) . Here we basically follow the notations in Ref. [101] but define the Luttinger parameter as K = 7r/(2(7r — cos - 1 A)) so that K = 1 for an XY spin chain and K = 1/2 for the Heisenberg model. In a system with finite R and O B C , EA(r,R) oc ( s i n t v ^ ) ) oc f . (C.3) At the Heisenberg point, A = 1, Eq. (C.3) will have some logarithmical corrections due to the presence of a marginally irrelevant operator — {gv/2ir)JL • JR in the low en-ergy Hamiltonian. The staggered energy density EA ~ sin(\/27r</0 has the anomalous dimension 7(0) = 1/2 - 3*/4. (C.4) With a boundary, the renormalization group equation for EA is [0/0(ln r) + P(g)d/dg + j(g)]EA(r) = 0. (C.5) The presence of the boundary actually won't change the scaling dimension of EA(r) since we are looking at the case r ^> 1. This can be seen from considering the operator product expansion of the interaction term in the Hamiltonian Eq. (C.3) with EA{r). At short distances and away from the boundary, it's unaffected by the boundary. The general solution of Eq. (C.5) is EA(r) = F[g(r)]exp{- f d(lnr ')7b(r')]}, Jro (C.6) Appendix C. Dimerization Derivation 91 where F is an arbitrary function of g(r). W i t h the second order beta function, f3 = — g2, we easily get -EU(r) oc l / [ v / r ( l n |r|) 3/ 4] [117]. One can push this a bit further following the similar calculation in Ref. [121, 122]. Provided with the beta function up to third order fi{9) = 92 - (V2)<73, (C7) the effective coupling solved from E q . (C.7) is 1 1 { ln(r /r 0 ) + J ln[ ln(r /r 0 ) ]} , g(r) go — ' u " 2 and expanding £ U ( r ) in terms of g(r), we can improve the solution as E A { r ) = y/fMrM + ° | l n l n ( r / a 1 ) ] { 1 + Mr/<h)]*}' ^ where the l / [ ln(r/ai)] term can be always absorbed by redefining Oi.
- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- The stripe phase in 4-leg ladders and quantum impurity...
Open Collections
UBC Theses and Dissertations
Featured Collection
UBC Theses and Dissertations
The stripe phase in 4-leg ladders and quantum impurity entanglement Chang, Ming-Shyang 2007
pdf
Notice for Google Chrome users:
If you are having trouble viewing or searching the PDF with Google Chrome, please download it here instead.
If you are having trouble viewing or searching the PDF with Google Chrome, please download it here instead.
Page Metadata
Item Metadata
Title | The stripe phase in 4-leg ladders and quantum impurity entanglement |
Creator |
Chang, Ming-Shyang |
Publisher | University of British Columbia |
Date Issued | 2007 |
Description | The physics of ladder systems and the Kondo problem have an essentially one-dimensional nature. There are powerful tools, such as bosonization and conformal field theory, applicable to these systems. In the first part of this dissertation, the stripe phase in 4-leg ladders is investigated by bosonization and weak-coupling renormalization group equations. A new type of charge-four correlation, bipairing, is proposed and gives a simple explanation of the stripe phase. In the second part, we discuss boundary effects on the entanglement entropy in quantum spin chains and calculate the entanglement entropy in the Kondo-like quantum impurity model. The result on impurity entanglement entropy is generalized to the system with finite size or finite temperature by employing conformal field theory methods. The theoretical calculations are also compared with numerical results obtained by density matrix renormalization group methods. |
Genre |
Thesis/Dissertation |
Type |
Text |
Language | eng |
Date Available | 2011-02-14 |
Provider | Vancouver : University of British Columbia Library |
Rights | For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use. |
DOI | 10.14288/1.0084968 |
URI | http://hdl.handle.net/2429/31271 |
Degree |
Doctor of Philosophy - PhD |
Program |
Physics |
Affiliation |
Science, Faculty of Physics and Astronomy, Department of |
Degree Grantor | University of British Columbia |
Campus |
UBCV |
Scholarly Level | Graduate |
AggregatedSourceRepository | DSpace |
Download
- Media
- 831-ubc_2007-317495.pdf [ 9.98MB ]
- Metadata
- JSON: 831-1.0084968.json
- JSON-LD: 831-1.0084968-ld.json
- RDF/XML (Pretty): 831-1.0084968-rdf.xml
- RDF/JSON: 831-1.0084968-rdf.json
- Turtle: 831-1.0084968-turtle.txt
- N-Triples: 831-1.0084968-rdf-ntriples.txt
- Original Record: 831-1.0084968-source.json
- Full Text
- 831-1.0084968-fulltext.txt
- Citation
- 831-1.0084968.ris
Full Text
Cite
Citation Scheme:
Usage Statistics
Share
Embed
Customize your widget with the following options, then copy and paste the code below into the HTML
of your page to embed this item in your website.
<div id="ubcOpenCollectionsWidgetDisplay">
<script id="ubcOpenCollectionsWidget"
src="{[{embed.src}]}"
data-item="{[{embed.item}]}"
data-collection="{[{embed.collection}]}"
data-metadata="{[{embed.showMetadata}]}"
data-width="{[{embed.width}]}"
data-media="{[{embed.selectedMedia}]}"
async >
</script>
</div>
Our image viewer uses the IIIF 2.0 standard.
To load this item in other compatible viewers, use this url:
https://iiif.library.ubc.ca/presentation/dsp.831.1-0084968/manifest