Systematic {\em ab initio} study of the phase diagram of epitaxially strained SrTiO3_3

We use density-functional theory with the local-density approximation to study the structural and ferroelectric properties of SrTiO$_3$ under misfit strains. Both the antiferrodistortive (AFD) and ferroelectric (FE) instabilities are considered. The rotation of the oxygen octahedra and the movement of the atoms are fully relaxed within the constraint of a fixed in-plane lattice constant. We find a rich misfit strain-induced phase transition sequence and is obtained only when the AFD distortion is taken into account. We also find that compressive misfit strains induce ferroelectricity in the tetragonal low temperature phase only whilst tensile strains induce ferroelectricity in the orthorhombic phases only. The calculated FE polarization for both the tetragonal and orthorhombic phases increases monotonically with the magnitude of the strains. The AFD rotation angle of the oxygen octahedra in the tetragonal phase increases dramatically as the misfit strain goes from the tensile to compressive strain region whilst it decreases slightly in the orthorhombic (FO4) phase. This reveals why the polarization in the epitaxially strained SrTiO$_3$ would be larger when the tensile strain is applied, since the AFD distortion is found to reduce the FE instability and even to completely suppress it in the small strain region. Finally, our analysis of the average polar distortion and the charge density distribution suggests that both the Ti-O and Sr-O layers contribute significantly to the FE polarization

An Application of the Moving Frame Method to Integral Geometry in the Heisenberg Group

We show the fundamental theorems of curves and surfaces in the 3-dimensional Heisenberg group and find a complete set of invariants for curves and surfaces respectively. The proofs are based on Cartan's method of moving frames and Lie group theory. As an application of the main theorems, a Crofton-type formula is proved in terms of p-area which naturally arises from the variation of volume. The application makes a connection between CR geometry and integral geometry

OPE of the stress tensors and surface operators

We demonstrate that the divergent terms in the OPE of a stress tensor and a surface operator of general shape cannot be constructed only from local geometric data depending only on the shape of the surface. We verify this holographically at d=3 for Wilson line operators or equivalently the twist operator corresponding to computing the entanglement entropy using the Ryu-Takayanagi formula. We discuss possible implications of this result.Comment: 20 pages, no figur