Structural, electronic and magnetic properties of SrRuO3_3 under epitaxial strain

Using density functional theory within the local spin density approximation, structural, electronic and magnetic properties of SRO are investigated. We examine the magnitude of the orthorhombic distortion in the ground state and also the effects of applying epitaxial constraints, whereby the influence of large (in the range of $\pm 4$) in-plane strain resulting from coherent epitaxy, for both [001] and [110] oriented films, have been isolated and investigated. The overall pattern of the structural relaxations reveal coherent distortions of the oxygen octahedra network, which determine stability of the magnetic moment on the Ru ion. The structural and magnetic parameters exhibit substantial changes allowing us to discuss the role of symmetry and possibilities of magneto-structural tuning of \SRO-based thin film structures.Comment: 11 page

Localized Basis for Effective Lattice Hamiltonians: Lattice Wannier Functions

A systematic method is presented for constructing effective Hamiltonians for general phonon-related structural transitions. The key feature is the application of group theoretical methods to identify the subspace in which the effective Hamiltonian acts and construct for it localized basis vectors, which are the analogue of electronic Wannier functions. The results of the symmetry analysis for the perovskite, rocksalt, fluorite and A15 structures and the forms of effective Hamiltonians for the ferroelectric transition in $PbTiO_3$ and $BaTiO_3$, the oxygen-octahedron rotation transition in $SrTiO_3$, the Jahn-Teller instability in $La_{1-x}(Ca,Sr,Ba)_xMnO_3$ and the antiferroelectric transition in $PbZrO_3$ are discussed. For the oxygen- octahedron rotation transition in $SrTiO_3$, this method provides an alternative to the rotational variable approach which is well behaved throughout the Brillouin zone. The parameters appearing in the Wannier basis vectors and in the effective Hamiltonian, given by the corresponding invariant energy expansion, can be obtained for individual materials using first- principles density-functional-theory total energy and linear response techniques, or any technique that can reliably calculate force constants and distortion energies. A practical approach to the determination of these parameters is presented and the application to ferroelectric $PbTiO_3$ discussed.Comment: extensive revisions in presentation, 32 pages, Revtex, 7 Postscript figure

First-principles theory of ferroelectric phase transitions for perovskites: The case of BaTiO3

We carry out a completely first-principles study of the ferroelectric phase transitions in BaTiO$_3$. Our approach takes advantage of two features of these transitions: the structural changes are small, and only low-energy distortions are important. Based on these observations, we make systematically improvable approximations which enable the parameterization of the complicated energy surface. The parameters are determined from first-principles total-energy calculations using ultra-soft pseudopotentials and a preconditioned conjugate-gradient scheme. The resulting effective Hamiltonian is then solved by Monte Carlo simulation. The calculated phase sequence, transition temperatures, latent heats, and spontaneous polarizations are all in good agreement with experiment. We find the transitions to be intermediate between order-disorder and displacive character. We find all three phase transitions to be of first order. The roles of different interactions are discussed.Comment: 33 pages latex file, 9 figure

d0 Perovskite-Semiconductor Electronic Structure

We address the low-energy effective Hamiltonian of electron doped d0 perovskite semiconductors in cubic and tetragonal phases using the k*p method. The Hamiltonian depends on the spin-orbit interaction strength, on the temperature-dependent tetragonal distortion, and on a set of effective-mass parameters whose number is determined by the symmetry of the crystal. We explain how these parameters can be extracted from angle resolved photo-emission, Raman spectroscopy, and magneto-transport measurements and estimate their values in SrTiO3

Phase transitions in BaTiO3_3 from first principles

We develop a first-principles scheme to study ferroelectric phase transitions for perovskite compounds. We obtain an effective Hamiltonian which is fully specified by first-principles ultra-soft pseudopotential calculations. This approach is applied to BaTiO$_3$, and the resulting Hamiltonian is studied using Monte Carlo simulations. The calculated phase sequence, transition temperatures, latent heats, and spontaneous polarizations are all in good agreement with experiment. The order-disorder vs.\ displacive character of the transitions and the roles played by different interactions are discussed.Comment: 13 page

Kripke Semantics for Martin-L\"of's Extensional Type Theory

It is well-known that simple type theory is complete with respect to non-standard set-valued models. Completeness for standard models only holds with respect to certain extended classes of models, e.g., the class of cartesian closed categories. Similarly, dependent type theory is complete for locally cartesian closed categories. However, it is usually difficult to establish the coherence of interpretations of dependent type theory, i.e., to show that the interpretations of equal expressions are indeed equal. Several classes of models have been used to remedy this problem. We contribute to this investigation by giving a semantics that is standard, coherent, and sufficiently general for completeness while remaining relatively easy to compute with. Our models interpret types of Martin-L\"of's extensional dependent type theory as sets indexed over posets or, equivalently, as fibrations over posets. This semantics can be seen as a generalization to dependent type theory of the interpretation of intuitionistic first-order logic in Kripke models. This yields a simple coherent model theory, with respect to which simple and dependent type theory are sound and complete

Nanoscale Smoothing and the Analysis of Interfacial Charge and Dipolar Densities

The interface properties of interest in multilayers include interfacial charge densities, dipole densities, band offsets, and screening-lengths, among others. Most such properties are inaccesible to direct measurements, but are key to understanding the physics of the multilayers. They are contained within first-principles electronic structure computations but are buried within the vast amount of quantitative information those computations generate. Thus far, they have been extracted from the numerical data by heuristic nanosmoothing procedures which do not necessarily provide results independent of the smoothing process. In the present paper we develop the theory of nanosmoothing, establishing procedures for both unpolarized and polarized systems which yield interfacial charge and dipole densities and band offsets invariant to the details of the smoothing procedures when the criteria we have established are met. We show also that dipolar charge densities, i. e. the densities of charge transferred across the interface, and screening lengths are not invariant. We illustrate our procedure with a toy model in which real, transversely averaged charge densities are replaced by sums of Gaussians.Comment: 30 pages, 15 figures, 4 table

Ab initio Hartree-Fock Born effective charges of LiH, LiF, LiCl, NaF, and NaCl

We use the Berry-phase-based theory of macroscopic polarization of dielectric crystals formulated in terms of Wannier functions, and state-of-the-art Gaussian basis functions, to obtain benchmark ab initio Hartree-Fock values of the Born effective charges of ionic compounds LiH, LiF, LiCl, NaF, and NaCl. We find excellent agreement with the experimental values for all the compounds except LiCl and NaCl, for which the disagreement with the experiments is close to 10% and 16%, respectively. This may imply the importance of many-body effects in those systems.Comment: 11 pages, Revtex, 2 figures (included), to appear in Phys. Rev. B April 15, 200

A tetragonal-to-monoclinic phase transition in a ferroelectric perovskite: the structure of PbZr(0.52)Ti(0.48)O3

The perovskite-like ferroelectric system PbZr(1-x)Ti(x)O3 (PZT) has a nearly vertical morphotropic phase boundary (MPB) around x=0.45-0.50. Recent synchrotron x-ray powder diffraction measurements by Noheda et al. [Appl. Phys. Lett. 74, 2059 (1999)] have revealed a new monoclinic phase between the previously-established tetragonal and rhombohedral regions. In the present work we describe a Rietveld analysis of the detailed structure of the tetragonal and monoclinic PZT phases on a sample with x= 0.48 for which the lattice parameters are respectively: at= 4.044 A, ct= 4.138 A, at 325 K, and am= 5.721 A, bm= 5.708 A, cm= 4.138 A, beta= 90.496 deg., at 20K. In the tetragonal phase the shifts of the atoms along the polar [001] direction are similar to those in PbTiO3 but the refinement indicates that there are, in addition, local disordered shifts of the Pb atoms of ~0.2 A perpendicular to the polar axis.. The monoclinic structure can be viewed as a condensation along one of the directions of the local displacements present in the tetragonal phase. It equally well corresponds to a freezing-out of the local displacements along one of the directions recently reported by Corker et al.[J. Phys. Condens. Matter 10, 6251 (1998)] for rhombohedral PZT. The monoclinic structure therefore provides a microscopic picture of the MPB region in which one of the "locally" monoclinic phases in the "average" rhombohedral or tetragonal structures freezes out, and thus represents a bridge between these two phases.Comment: REVTeX, 7 figures. Modifications after referee's suggestion: new figure (figure 5), comments in 2nd para. (Sect.III) and in 2nd & 3rd para. (Sect. IV-a), in the abstract: "...of ~0.2 A perpendicular to the polar axis.