{'fraction_non_alphanumeric': 0.03056440541870645, 'fraction_numerical': 0.013443157976532753, 'mean_word_length': 4.547923552234517, 'pattern_counts': {'":': 0, '<': 1, '<?xml version=': 0, '>': 9, 'https://': 0, 'lorem ipsum': 0, 'www.': 1, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Antiferromagnetism and charged vortices in high-Tc superconductors

The effect of the long-range Coulomb interaction on charge accumulation in antiferromagnetic vortices in high-Tc superconductors is studied within a Bogoliubov-de Gennes mean-field model of competing antiferromagnetic and d-wave superconducting orders. Antiferromagnetism is found to be associated with an accumulation of charge in the vortex core, even in the presence of the long-range Coulomb interaction. The manifestation of Pi-triplet pairing in the presence of coexisting dSC and AFM order, and the intriguing appearance of one-dimensional stripe-like ordering are discussed. The local density of states (LDOS) in the vortex core is calculated and is found to be in excellent qualitative agreement with experimental data.


I. INTRODUCTION
The vortex cores of high-T c superconductors have been the subject of intense investigation in recent years. Advances in experimental techniques, especially in the area of scanning tunneling microscopy (STM), 1,2,3,4 have allowed unprecedented exploration of the electronic states at the atomic scale. Local information on vortex core states has also been provided by high-field nuclear magnetic resonance (NMR) experiments, 5,6,7,8,9 which use inhomogeneity in the magnetic field to extract a spatially resolved relaxation rate.
Among the principal results of these experiments is the suppression of the low-energy density of states in the vortex core, 6,7 with either an absence, or possibly a strong splitting of the zero-bias conductance peak (ZBCP), 1,2,3 indicating some form of ordering in the vortex core. STM results also show the presence of low-energy vortex core states which extend beyond the vortex core radius, 1,3,4 as defined by the superconducting coherence length ξ. These extended vortex-induced states were further observed to form a localized checkerboard pattern along the CuO bonds with a period near 4.3a 0 (Ref. 4). A similar checkerboard pattern with a period close to 4.5 a 0 has also been seen in more recent STM experiments in zero field, both in the pseudogap state 10 and in the superconducting state 11,12 of Bi 2 Sr 2 CaCu 2 O 8+δ (BSCCO). These observations are corroborated by STM experiments on the superconductor Na x Ca 2−x CuO 2 Cl 2 (Na-CCOC) which show strong ordering with a period of 4a 0 in a pseudogaplike state. 13 It has been proposed that this checkerboard pattern is due to the formation of a pairdensity wave of phase-incoherent Cooper pairs; 14,15,16 however, this interpretation remains controversial and the existence of other orderings, such as dynamically fluctuating stripes, 17,18 spin-density wave ordering, 19 or a particle-hole charge-density wave, 20 remains a likelihood. Indeed, neutron-scattering experiments have reported the existence of a periodic modulation of antiferromagnetic correlations in zero field. 21,22,23,24,25,26,27,28,29 Many experiments have also reported observations of field-induced magnetic order in the high-T c superconductors. It has been noted that the periodicity of the charge ordering observed in STM (Ref. 4) could be consistent with inelastic neutron-scattering experiments on optimally doped La 2−x Sr x CuO 4 (x = 0.163) that show a field-induced signal in the low-frequency spin-fluctuation spectrum, near the (π, π) point in reciprocal space, suggesting the existence of a fluctuating spin-density wave with a periodicity close to 8a 0 along the CuO bond directions and a correlation length ℓ > 20 lattice spacings. 30 More local measurements using spatially resolved NMR also provide strong evidence for the presence of antiferromagnetic order in the vortex cores of near-optimally doped YBa 2 Cu 3 O 7−δ (Ref. 8) and Tl 2 Ba 2 CuO 6+δ (Ref. 9). Muon-spin resonance measurements of the magnetic field distribution of underdoped YBa 2 Cu 3 O 6.50 reveal structure in the high-field tail that is not seen in optimally doped YBa 2 Cu 3 O 6.95 and is consistent with static antiferromagnetism. 31 Elastic neutron-scattering has shown a strong enhancement of incommensurate static antiferromagnetism in an applied magnetic field in underdoped La 2−x Sr x CuO 4 with x = 0.10 (Ref. 32) and with x = 0.12 (Ref. 33). The antiferromagnetism (AFM) is observed to have a very long correlation length > 400 A showing that AFM and superconductivity (SC) coexist in the bulk. 32 Similar results are seen in elastic neutronscattering experiments on La 2 CuO 4+y (Ref. 34). The picture that emerges from these various measurements is that static or dynamic antiferromagnetic order is induced, or at least strongly enhanced, by an applied magnetic field. This antiferromagnetic order appears to be nucleated at the vortex cores, and extends into the bulk of the superconductor with a correlation length that is much longer than the superconducting coherence length. Charge-density modulations induced at vortex cores by the presence of antiferromagnetic or spin-densitywave order have been predicted within various theoretical approaches. 19,35,36,37,38,39,40,41 In partial agreement with the experimental results discussed above, common features of many of these calculations include an antiferromagnetic or spin-density-wave order that is nucleated at the vortex core (where d-wave superconductivity is most strongly suppressed) and which extends well beyond the core region into the bulk of the superconductor. This antiferromagnetic order is accompanied by a local modulation in the charge density that reaches a maximum at the centre of the vortex core and is seen to approach half filling in some cases. 39,40 The vortex core charge is predicted to have a strong doping dependence. 40 In the overdoped region of the phase diagram the vortex cores are not antiferromagnetic, and the difference between the chemical potentials of the normal core and the surrounding superconducting region leads to a small decrease in the charge density at the core. 42,43 In this case the vortices are positively charged. As the doping is decreased, the vortex cores become antiferromagnetic and expel holes into the bulk of the superconductor, causing the vortices to become negatively charged.
Since there is no reason to expect pair-density-wave ordering to push the local charge density toward half filling, the presence of negatively charged vortices in the underdoped cuprates could be a distinguishing feature of field-induced antiferromagnetic ordering. However, the ability of this induced charge to survive the effects of the long-range Coulomb (LRC) interaction has not been established. In order to determine whether negatively charged vortices can persist as a robust prediction of a theory containing antiferromagnetically ordered vortices, we have set out to include the long-range Coulomb interaction in a self-consistent mean-field theory of the cuprates that contains both antiferromagnetic and superconducting order parameters. The self-consistent effect of the long-range Coulomb interaction on the doping and magnetic field dependence of the antiferromagnetic order and vortex-core charge is calculated. Our results suggest that an antiferromagnetic vortex core is always associated with an accumulation of electrons in the core region, even in the presence of the long-range Coulomb interaction. However, both the AFM order and the associated vortex core charge are weakened with increased LRC interaction strength, and eventually vanish simultaneously above a critical value. We further find that the local density of states (LDOS) in the vortex core is modified by the long-range Coulomb interaction in such a way that the essential features of STM data on YBCO (Ref. 1) are captured within a simplified model of competing AFM and dSC orders. We also study the manifestation of Π-triplet pairing in the presence of coexisting dSC and AFM order, and discuss the intriguing appearance of onedimensional stripelike ordering.

II. MODEL AND METHOD
We describe a two-dimensional d-wave superconductor in an external magnetic field by the t-J Hamiltonian with an additional long-range Coulomb interaction where V = e 2 /ǫ h a 2 0 with dielectric constant ǫ h , and |r ij | is in units of the lattice constant a 0 . The LRC interaction is added to the Hamiltonian in order to study the competing effects of the local antiferromagnetic order in the vortex cores and the Coulomb repulsion between electrons. 75,77 We start with the mean-field model of Ghosal et al. 39 and include the effects of the longrange Coulomb interaction over all sites for the Hartree shift (which includes the density-density interaction) and at the nearest-neighbor level for all other order parameters. It is important to note that screening effects will be accounted for by self-consistent calculation of the Hartree shift-which allows for rearrangement of the charge density-as in density functional theory (a similar approach has been taken in a zero-field study of the t-J model by Arrigoni et al. 44 where τ δ i,σ is the Fock shift that renormalizes the hopping amplitude t (we set t = 1 in this paper), and η i is the Hartree shift that renormalizes the chemical potential µ. Here δ = ±x, ±ŷ, the four nearest neighbors of any site, and φ δ i = (π/Φ 0 ) i+δ i A(r) · dr. The local dSC (∆ δ i,σ ) and AFM (m i ) order parameters satisfy the following self-consistency relations: and where Q = (π, π) is the antiferromagnetic wave vector. The Fock shift (5) is assumed to have no dependence on the direction of hopping across a given bond, and is allowed to renormalize only the magnitude and not the phase of the hopping energy t. This is consistent with the assumption employed here that the magnetic field is uniform throughout the sample. The Hartree shift where the sum in j is over all sites in a magnetic unit cell, contains the density-density part of the long-range Coulomb interaction. The constants α i,j are calculated by the method of Ewald summation with the assumption that the magnetic unit cell is periodically repeated in all three directions in space, separated by a distance in the perpendicular direction of c ∼ 3a 0 , and surrounded by a uniform, neutralizing background charge with a static dielectric constant ǫ h . In this paper, we report on results for V from 0 to 0.35. For t ∼ 0.5 eV, this corresponds to a static dielectric constant for the bound charges from ǫ h → ∞ down to ǫ h ∼ 20. Since we are working at high fields, we assume a square vortex lattice 45,46 with nearest-neighbor vortices along the Cu-O bond directions: our results, which focus on the vortex core structure, do not depend on this choice. In order to diagonalize the effective Hamiltonian, we make a Bogoliubov-de Gennes (BdG) transformation and block diagonalize the resulting BdG Hamiltonian by exploiting the magnetic-translational symmetry of the problem. Starting with an initial guess for all local variables and for the value of µ, we solve for all eigenvalues and eigenvectors of the BdG matrix for each magnetic wave vector k. Results in this paper are reported for 24 × 12 wave vectors. Note that the time-reversal symmetry of the BdG Hamiltonian, 47 E σ (k) → −E −σ (−k), allows us to find the eigenvalues and eigenvectors of the k-dependent blocks of the BdG matrix in (k, −k) pairs The eigenvalues and eigenvectors are used to recalculate all of the local variables using the self-consistency equations defined above [Eqs.
(3)- (6)]. This iterative process is repeated until the largest change in all site-dependent variables and in the average charge density (which is controlled by tuning the chemical potential µ) is less than 10 −5 . The addition of the long-range Coulomb interaction destabilizes this iterative procedure, and we found it necessary to develop a modified Broyden's method to achieve convergence in the Hartree shift. The details of the convergence method are discussed in appendix A.

III. RESULTS
A. Effect of the long-range Coulomb interaction on the vortex core charge In the absence of the long-range Coulomb interaction the suppression of d-wave superconductivity at the vortex cores leads to the emergence of antiferromagnetic order with a correlation length ℓ m that is much longer than the superconducting coherence length ξ, for the range of parameters that is appropriate to the cuprates. The antiferromagnetism is strongest at the center of the vortex core, and creates a non uniform charge density through the expulsion of holes from the vortex core into the bulk of the superconductor. In this paper, we focus our attention on the added effects of the long-range Coulomb interaction on this charge ordering.
As one would expect, the principal effect of including the Coulomb repulsion is to reduce the magnitude of the peak charge density at the center of the vortex core. As can be seen in Fig. 1, which plots the non uniform charge density δ n i = n i − n ave , the large non-uniform electron density in the vortex core is first reduced and then eliminated as the LRC strength is increased from V = 0 to V = 0.35. Initially, the effect of the LRC interaction is to sharpen the charge density profile and to induce a screening region of reduced charge density immediately around the vortex core. This screening region separates the charge density profile into two distinct regions: inside the core AFM order governs the charge density, pushing it toward half filling; outside the core AFM no longer controls the charge density and there is a weak dip in the charge density along the nodal directions beyond the screening region, due to the effects of dSC order.
Interestingly, the shape of the antiferromagnetic ordering (see Fig. 2) is not affected by these dramatic changes in the short-range structure of the charge density. This is reflective of the long correlation length of the AFM order. However, the magnitude of the AFM order is reduced along with that of the non uniform charge density. As the interaction strength is further increased to V = 0.35, the charge density modulations are greatly weakened, with a small amplitude on the order of 10 −3 electrons per site. At this point, the AFM order at the vortex core has been completely destroyed (|m| ∼ 10 −4 ) by the reduction in the local charge density. In the absence of AFM order, the vortex core becomes weakly positively charged due to the gap variation between the "normal" core and the surrounding superconductor. 42,43 The charge density profile at V = 0.35 is equivalent to that seen in more highly doped systems where AFM order is absent even at V = 0 (discussed below in Sec. III C).
The d-wave superconductivity (dSC) is also suppressed by the Coulomb repulsion, which weakens the nearestneighbor pairing attraction [as can be seen in the second part of Eq. (3)]. Fig. 3 shows the evolution of the dSC order as the Coulomb interaction is increased from V = 0 to V = 0.35. The overall shape of the dSC order does not change; but, the coherence length gradually increases as the magnitude is reduced. Note that it is the sitedependent gauge-invariant gap operator, defined as that is shown.
It is clear that the survival of antiferromagnetic order at the vortex core is dependent upon the existence of a local charge density that is closer to half filling than the average density. This dependence is evident in Fig. 4, which shows the effects of the long-range Coulomb interaction on the strength of the dSC, on the AFM order, and on the peak charge density in the vortex core. The AFM decreases gradually until V > 0.2, where it begins to rapidly fall off. Both the antiferromagnetism and the charged vortex core disappear between V = 0.3 and V = 0.35. The dSC order |∆ 0 | decreases linearly at first and then gradually starts to fall off more quickly with V , which is consistent with the reduction of the pairing interaction strength in the second part of Eq. (3), and is able to survive at larger values of V where the AFM and the charge order are destroyed. The existence of antiferromagnetic order clearly implies, and is dependent upon, the existence of negatively charged vortex cores.
B. Magnetic field dependence of antiferromagnetic order and core charge density In an attempt to better characterize the effect of the long-range Coulomb interaction on the vortex core charge we have also studied the dependence of the AFM order, and its accompanying charge density order, on the size of the unit cell (H = 2Φ 0 /N x N y a 2 0 ≈ 34 T for a 20 × 40 unit cell). At V = 0, the AFM increases and the charge density moves closer to half filling with increased unit cell size. In a larger unit cell the AFM order, which has a correlation length ℓ m >> ξ, is able to reach larger values by spreading out its variations over longer distances. Fig.  5 shows that the LRC interaction has a dramatic effect on this relationship: when V > 0, the AFM and the charge density at the center of the vortex core initially increase, but then start to decrease with increasing unit-cell size above a unit-cell size of 22 × 44.
As discussed above, the shape of the AFM order does not change with increased V , despite dramatic changes in the structure of the charge density. The observed reduction in AFM order in larger unit cells is likely to due to the fact that the peak in the AFM is spread out over large distances. At V = 0 this is to the benefit of the AFM; however, when the LRC interaction is turned on the charge density peak is sharpened, and a hole rich region of screening charge forms around it. As the unit cell gets larger, more of this hole-rich region will lie underneath the central peak in the AFM order. We suggest that the weakening of the AFM observed in larger unit cells is due to this lowering of the 'average' charge density under the peak in the AFM order.
Taken to its limit, this argument suggests that AFM will eventually disappear as the magnetic field is lowered, if it maintains the spatial structure commensurate with that of the supercurrent that is seen in Fig. 2. It is, however, more likely that the spatial structure of the AFM will change at some point as the unit cell size is increased beyond the AFM correlation length ℓ m , preserving the AFM vortex core. Indeed, such an effect is discussed below in Sec. III E. It is also important to note that AFM order with shorter-range 2D spatial structure that is not tied to the unit cell size, as seen in other work, 19,36,37,41,48,49 could be accessed within our model by tuning of the model parameters and introducing a next-nearest-neighbor hopping. 41,49 Such shorterrange ordering may well be less perturbed by the screening effect of the long-range Coulomb interaction at low magnetic fields.

C. Doping dependence
We have also studied the dependence of the vortex core charge on the average density of electrons, or the doping. For V = 0, our results are in agreement with those of Chen et al. who observed positively charged vortices with negligible AFM order for larger values of the hole density, with a transition to negatively charged AFM vortices as the average density approaches half filling. 40 For a unit cell of 20 × 40 sites with two vortices this transition from positive to negative vortices occurs near an average density of n ave = 0.855, at V = 0 (see Fig. 6). The chief effect of increasing V is to push this transition closer to half filling and to reduce the magnitudes of both the AFM order and the vortex core charge. The AFM region shrinks gradually at first and then rapidly with increasing V . This is consistent with the behavior seen in Fig. 4, where the AFM at the vortex core is seen to decrease more rapidly at larger V . The transition from positively to negatively charged vortices occurs when antiferromagnetism begins to be nucleated in the vortex cores.

D. Π-triplet pairing
It has been shown that Π-triplet order 39,50,51,52 is able to develop self-consistently in the presence of coexisting dSC and AFM order, even in the absence of any interaction which generates it directly. The local Π-triplet order parameter where Q = (π, π), has a triplet pairing amplitude in the S z = 0 channel. The prefactor of J/4 is introduced for the sake of comparison with the other order parameters. We find that the shape of the Π-triplet order does not change with increasing V : within the vortex core, |Π i | rises rapidly from zero to its maximum value within a superconducting coherence length ξ; outside of the vortex core |∆ i | is approximately uniform, and the shape of |Π i | follows that of the AFM order, falling with increasing distance from the core to zero at the lines of zero supercurrent before rising again to smaller peaks in the corners of the unit cell. The magnitude of the Π-triplet order decreases with increasing LRC, along with that of the AFM order, and falls below 10 −6 t when V reaches 0.35. The Π-triplet order parameter was introduced by Zhang 50 in the context of SO(5) theory, which proposes a unified theory of AFM and dSC order for the cuprates. It was argued on general symmetry grounds that a theory containing ∆ i , Π i , and m i orders will satisfy the relatioñ where the variables without the "tilde" are those of Eqs.
(3), (4), and (9) without the prefactors indicating the interaction strength. At V = 0 this symmetry relation is satisfied within 5% on a site-by-site basis. When V > 0 we find that Eq. (10) is still satisfied within 10-20 % over most of the unit cell, except in the vortex core where the charge density is pushed away from half filling such that (1 − n core ) no longer approaches zero. In the presence of the LRC interaction, Π-triplet pairing is observed, but the symmetry relation connecting Π i , ∆ i , m i and the local hole density is weakened.

E. One-dimensional anisotropy
When the exchange interaction strength J is increased above 1.15, the AFM and the charge density spontaneously develop a slight one-dimensional anisotropy at V = 0: both the AFM and charge orders extend to a greater distance along the x or y direction (parallel to the Cu-O bonds). We have checked the validity of this behavior by repeating the calculations on a square 40 × 40 site unit cell containing four vortices, and by comparing the ground state energies of systems with xand y-oriented anisotropy in both rectangular (two vortices) and square (four vortices) unit cells. All results were found to be equivalent within the limits of numerical accuracy. Similar behaviour has been seen in other BdG studies of the vortex state based on mean-field solutions of the extended Hubbard model with added nearestneighbor pairing. 49,53 We have found that this one-dimensional anisotropy is strongly enhanced by the long-range Coulomb interaction. At V = 0 (not shown) the AFM and the charge density orders have an elliptical shape. At V = 0.35, as shown in Fig. 7, the AFM and the charge density are strongly one dimensional, extending throughout the unit cell along the y direction while oscillating in the x direction with a period of 20a 0 for the AFM order and 10a 0 for the charge density order. The period of this oscillation is set by the size of the unit cell. We note that other periodicities and more complex orders are accessible within our model if terms such as a next-nearest-neighbor hopping are added. 41,49 The dSC order is only slightly affected and, for the most part, retains its 2D structure. The AFM is strongest in the vortex core and has the opposite sign at the edges of the unit cell. The magnitude of the AFM at the edges is almost as large as it is in the center "stripe" and has, surprisingly, been enhanced by the LRC interaction. The charge density tracks the magnitude of the AFM and shows none of the rich, short-range, twodimensional structure seen at J = 1.15 in the presence of the LRC interaction. With J = 1.3, the main effect of the LRC interaction (apart from reducing the magnitude of the AFM and the charge density at the core) is to strongly enhance the one-dimensional ordering that was only weakly developed at V = 0. We suggest the following reasons for this phenomenology. First, as the exchange interaction strength J is increased, the domain walls at which the AFM order parameter m i changes sign cost increasing amounts of energy. As the AFM is strengthened, this energy cost creates a tendency to straighten out and shorten these domain walls. We have also noticed a much weaker tendency toward anisotropy at J = 1.15 in larger unit cells with 24 × 48 and 26 × 52 sites, that leads to strengthening of the AFM (as can be seen in Fig. 5). This anisotropy is not obvious at V = 0, and is only weakly apparent for V > 0. This unit-cell size dependence suggests that the correlation length ℓ m , which decreases with increasing J, may also be playing a role. Earlier work on stripes within SO(5) theory 54 showed that phase-separated AFM and dSC regions change from a droplet phase to one with alternating stripes when the AFM and dSC regions occupy roughly equal areas of the superconductor. The anisotropy observed here may be partly driven by coincidence of ℓ m with the length of the unit cell, such that the AFM order parameter would like to occupy half of the unit cell area. Secondly, the LRC repulsion reduces the charge density at the vortex core and creates a hole-rich screening region immediately next to the core that screens the vortex charge from the rest of the unit cell. The charge that is moved away from the core is thus pushed to the edges of the unit cell. This balancing of the charge reduces the AFM in the center and strengthens it along the edges of the unit cell. The LRC interaction does its best to create a uniform charge density and strongly enhances the 1D character seeded by the AFM order by washing out modulations in the charge density along the y direction. Further increase of the LRC interaction will maintain this stripelike order, but will reduce the magnitude of both the charge and AFM oscillations.

F. Local density of states
The local density of states provides a basis for comparison of theoretical results with powerful experimental tools. As is well known, the zero-bias conductance peak (ZBCP) predicted to exist in the vortex core by standard BCS theory for d-wave superconductors 55 has not been experimentally observed. Scanning-tunneling microscopy (STM) measurements of the vortex state of YBCO (Ref. 1) and of BSCCO (Refs. 2,3,4) show a complete absence of the ZBCP in the vortex core. Low-energy structure in the conductance at ±5.5 meV in YBCO (Ref. 1) and at ±7 meV in BSCCO (Refs. 3,4) is observed in the vortex core spectra, and is seen to persist outside of the core to distances much longer than the coherence length.
We present our results for the local density of states in the vortex core region in Fig. 8. In agreement with previous results, 39,56,57,58 we find that the presence of antiferromagnetic order in the vortex core provides a mechanism for splitting of the ZBCP, both in the presence and absence of the LRC interaction. More importantly, the LRC interaction changes the spectrum at low energy, leading to excellent qualitative agreement with experimental results. The main features in the local density of states attributable to the LRC interaction are the following: the unphysical spin gap at E ∼ 0.5 t is washed out for V = 0.15 due to weakening of the AFM order; the asymmetry in height between the split zero-bias conductance peaks is reduced; and the peak splitting is found to decrease linearly with |m core |, as expected for the appearance of an order parameter that breaks time-reversal symmetry. 59,60,61,62,63 The bottom trace of Fig. 8 shows the local density of states averaged over all sites within the vortex core. Given the simplicity of our minimal mean-field model, the agreement at V = 0.15 with STM results on YBCO (Ref. 1) is remarkable. Almost all of the qualitative low-energy features of the experimental data, including the appearance of slightly asymmetric peaks at E ∼ ∆/4, with higher energy asymmetric "humps" (remnants of the strongly suppressed coherence peaks), are reproduced here. However, the weaker low-energy "shoulders" observed in BSCCO (Refs. 2,3) are not consistent with our data. Since the coherence length is much smaller in BSCCO than in YBCO, it is more likely that mean-field theory will break down in the vortex cores of BSCCO, and that strong-correlation effects not captured in our model are responsible for the shift of weight to higher energies. We do note, however, that the vortexinduced states at ±7 meV are seen to persist beyond the vortex core, 3,4 in partial agreement with theory.

IV. SUMMARY AND CONCLUSIONS
We find that the negatively charged, antiferromagnetic vortex core is preserved up to a long-range Coulomb interaction strength of V = 0.35 in the underdoped superconductor. For t ∼ 0.5 eV, this corresponds to a static dielectric constant for the bound charges of ǫ h ∼ 20. Experiments indicate that the static dielectric constant of the bound charges is on the order of 10 to 30+ in the undoped parent insulator 64,65 and in lightly doped cuprates, 66 a range which is typical for other oxides. 67 This suggests that negatively charged vortices, induced by the presence of antiferromagnetic order in the vortex core, could well be a robust feature of the cuprate superconductors in the underdoped region of the phase diagram. It is important to note that variation in mate-rial properties, such as the chemistry and ordering of the interlayer donor regions, or the interlayer distance itself, could easily lead to non universal behavior across various families of the cuprates. In any case, one of the principal results of this paper is that static antiferromagnetic order cannot be sustained in the absence of a negatively charged core. The nucleation of antiferromagnetic order as the magnetic field, the doping, or the long-range Coulomb interaction strength are changed is always accompanied by a transition to a negatively charged vortex core. On this basis, we argue that measurements of the vortex core charge could provide strong evidence for-or against-antiferromagnetic ordering in the vortex cores of high-T c superconductors.
Qualitative agreement of the local density of states with STM data 1,2,3,4 is dramatically improved when the long-range Coulomb repulsion is included in our model, suggesting that the splitting of the zero-bias conductance peak [at least in YBCO (Ref. 1)] can be explained by the presence of antiferromagnetic order in the vortex core. We find that the Π-triplet pairing amplitude is preserved outside of the vortex core, as long as there is coexistence of AFM and dSC orders. We have also seen that a stripelike ordering of the antiferromagnetism and the charge density can occur when the AFM interaction strength is increased, and that this onedimensional anisotropy is strongly enhanced by the longrange Coulomb interaction.
At the relatively high magnetic fields to which we are limited by our approach, the vortices are close enough to each other that static AFM order, which has a correlation length ℓ ≫ ξ, is extended throughout the bulk of the sample and should be robust against the effects of fluctuations; AFM is still noticeable at the boundary of a unit cell size of 26 × 52 sites, which corresponds to a field of 19 T. At much lower magnetic fields, where the intervortex distance ℓ v ≫ ℓ, fluctuations may well destroy the long range AFM order. However, even in the absence of long-range order, it is possible that signatures of localized antiferromagnetism would be detectable at low frequencies in the vicinity of the vortex cores.
To our knowledge, only one attempt at a direct measurement of the vortex core charge in high-T c cuprate superconductors has been reported. 68 Nuclear quadrupole resonance (NQR) measurements of a field-induced shift in the NQR frequency, which is sensitive to the local charge density, of the copper nuclei suggest that slightly overdoped YBa 2 Cu 3 O 7 has negatively charged vortices and underdoped YBa 2 Cu 4 O 8 has positively charged vortices. 68 The results of this experiment suggest a doping dependence of the vortex core charge that is opposite to that reported in this paper, and in seeming contradiction with the many observations of field-induced antiferromagnetic order 4,8,9,30,31,32,33,34 in the cuprates and with the doping dependence of the Hall sign. 69 It would be interesting to see the results of these and other 70 measurements of the vortex-core charge in the more highlyunderdoped cuprates. The results of this paper suggest that such measurements could well be definitive.

Acknowledgments
We would like to thank A. John Berlinsky for many useful discussions. We acknowledge the financial support and use of computing facilities provided by SHARC-NET (http://www.sharcnet.ca) at McMaster University. This research was supported by the Natural Sciences and Engineering Research Council (Canada), by the Canadian Institute for Advanced Research and by the Canada Research Chairs program.

APPENDIX A: CONVERGENCE METHOD
The long-range Coulomb interaction severely destabilizes self-consistent calculation of the order parameters, by causing divergent long-wavelength oscillations in the charge density from one iteration to the next. In order to suppress these divergent oscillations we tried a number of convergence methods, in increasing order of sophistication, which we review below.
The simplest way to suppress these oscillations is to linearly mix the input (|χ A more sophisticated approach is Broyden's method. 71 Let where |F = |0 at convergence. Expanding |F to linear order near convergence gives where the Jacobian If convergence occurs at iteration m + 1, such that |F (m+1) = 0, then where G = [J] −1 is the inverse Jacobian. This equation is used to generate a new set of inputs after each iteration. The goal of Broyden's method is to improve the inverse Jacobian at each iteration so that the new inputs |χ (m+1) in are as close to convergence as possible.
Define, for convenience and for numerical accuracy, such that ∆χ (m) |∆χ (m) = 1. At convergence G (m) = G (m−1) . This suggests that the path to convergence can be found by minimizing the change This minimization leads to a recursion relation for the inverse Jacobian (G (m+1) ) that is the basis of Broyden's method. 71 While the use of Broyden's method does go some way towards suppressing oscillations in the charge density from iteration to iteration, we found that a longwavelength oscillation (with a period in "time" of two iterations) in the charge density would slowly build up over many iterations and cause the system to diverge. A higher order approach is the modified Broyden's method, first introduced by Vanderbilt and Louie (VL). 73 The problem with Broyden's method is that the inverse Jacobian G (m) has not been required to satisfy for all previous iterations n < m, as it should. Following VL. 73 information from all previous iterations can be introduced by doing a least-squares minimization of the following "error function:" where ω n represents the weight given to the information from the nth iteration. As an aside, we note that we tried various weighting schemes and found that choosing which gives more weight to the information from iterations in which the difference |χ out − |χ in is small, works well for our particular problem. The new error function introduced by VL allows the minimization of both the change and the error [based on Eq. (A9)] in the Jacobian from iteration to iteration. Note that we are now considering the change in the Jacobian and not the inverse Jacobian, and that the change in the Jacobian ||J (m) −J (0) ||, is now defined relative to J (0) . This may seem like a step backwards, since it is the inverse Jacobian that is needed to generate the inputs for the next iteration [as in Eq. (A4)]. This point was made by Johnson, 74 who introduced a numerically more efficient version of the modified Broyden's method by defining an error function in terms of the inverse Jacobian G. However, we have found that, for our particular problem, using the error function based on the Jacobian leads to a procedure which requires far fewer iterations to reach self-consistency. Furthermore, by making the standard assumption 73,74 that the initial Jacobian J (0) = I/α (meaning that linear mixing is used to construct the first guess) we are able to use the numerical innovations of Johnson to greatly enhance the efficiency of the method of VL by avoiding any explicit calculations of the inverse.  Borrowing an idea from Johnson, 74 we expand [Γ (m) ] −1 to infinite order in the vectors |∆F (n) and |∆χ (n) and then resum: . This procedure exchanges the inversion of a large N × N matrix for that of a much smaller m × m matrix. The inverse Jacobian is thus where |u (k) = ω k (G (0) |∆F (k) + |∆χ (k) ) and where we have used the identity a kn γ nℓ = −δ kℓ + ω 2 0 α γ kℓ (A18) to simplify the product β (m) [Γ (m) ] −1 .
Substituting Eq. (A17) into the update (A4) gives and have been introduced for numerical convenience. The modified Broyden's method described here should be generally applicable to problems other than the one discussed in this paper. 78 The use of the modified Broyden's method eliminates the divergent oscillations in the charge density by taking information from all previous iterations to construct the input for the next iteration 76,79 . Since we start with a converged solution for V = 0 and since the largest changes at V > 0 are to the charge density we restrict application of the modified Broyden's method to updates of the Hartree shift. The inputs for all other order parameters are taken to be the outputs of the current iteration. We found that it was necessary to fix the antiferromagnetic order parameter-which strongly influences the charge density-and allow the Hartree shift to partially converge over several iterations using the modified Broyden's method. Temporarily fixing the antiferromagnetism keeps the convergent endpoint of the Hartree shift within reach of the modified Broyden's method (which is based on the assumption that the starting state is not too far from convergence). Once the Hartree shift has partially converged, we allow the antiferromagnetism to change and then restart the modified Broyden's method for the Hartree shift by setting J = I/α and taking as initial inputs the most recent outputs. In this way the system proceeds stepwise towards a convergent endpoint without exceeding the reach of the modified Broyden's method in any given step.