Theoretical study of impurity-induced magnetism in FeSe

Experimental evidence suggests that FeSe is close to a magnetic instability, and recent scanning tunneling microscopy (STM) measurements on FeSe multilayer films have revealed stripe order locally pinned near defect sites. Motivated by these findings, we perform a theoretical study of locally induced magnetic order near nonmagnetic impurities in a model relevant for FeSe. We find that relatively weak repulsive impurities indeed are capable of generating short-range magnetism, and explain the driving mechanism for the local order by resonant eg-orbital states. In addition, we investigate the importance of orbital-selective self-energy effects relevant for Hund's metals, and show how the structure of the induced magnetization cloud gets modified by orbital selectivity. Finally, we make concrete connection to STM measurements of iron-based superconductors by symmetry arguments of the induced magnetic order, and the basic properties of the Fe Wannier functions relevant for tunneling spectroscopy.Comment: 10 pages, 4 figure

Temperature-dependent Raman scattering of DyScO3 and GdScO3 single crystals

We report a temperature-dependent Raman scattering investigation of DyScO3 and GdScO3 single crystals from room temperature up to 1200 {\deg}C. With increasing temperature, all modes decrease monotonously in wavenumber without anomaly, which attests the absence of a structural phase transition. The high temperature spectral signature and extrapolation of band positions to higher temperatures suggest a decreasing orthorhombic distortion towards the ideal cubic structure. Our study indicates that this orthorhombic-to-cubic phase transition is close to or higher than the melting point of both rare-earth scandates (\approx 2100 {\deg}C), which might exclude the possibility of the experimental observation of such a phase transition before melting. The temperature-dependent shift of Raman phonons is also discussed in the context of thermal expansion

Robustness of Quasiparticle Interference Test for Sign-changing Gaps in Multiband Superconductors

Recently, a test for a sign-changing gap function in a candidate multiband unconventional superconductor involving quasiparticle interference data was proposed. The test was based on the antisymmetric, Fourier transformed conductance maps integrated over a range of momenta $\bf q$ corresponding to interband processes, which was argued to display a particular resonant form, provided the gaps changed sign between the Fermi surface sheets connected by $\bf q$. The calculation was performed for a single impurity, however, raising the question of how robust this measure is as a test of sign-changing pairing in a realistic system with many impurities. Here we reproduce the results of the previous work within a model with two distinct Fermi surface sheets, and show explicitly that the previous result, while exact for a single nonmagnetic scatterer and also in the limit of a dense set of random impurities, can be difficult to implement for a few dilute impurities. In this case, however, appropriate isolation of a single impurity is sufficient to recover the expected result, allowing a robust statement about the gap signs to be made.Comment: 9 pages, 12 figure

An algorithmic approach to the existence of ideal objects in commutative algebra

The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pose a challenge from a computational point of view. Giving a constructive meaning to ideal objects is a problem which dates back to Hilbert's program, and today is still a central theme in the area of dynamical algebra, which focuses on the elimination of ideal objects via syntactic methods. In this paper, we take an alternative approach based on Kreisel's no counterexample interpretation and sequential algorithms. We first give a computational interpretation to an abstract maximality principle in the countable setting via an intuitive, state based algorithm. We then carry out a concrete case study, in which we give an algorithmic account of the result that in any commutative ring, the intersection of all prime ideals is contained in its nilradical

Existential witness extraction in classical realizability and via a negative translation

We show how to extract existential witnesses from classical proofs using Krivine's classical realizability---where classical proofs are interpreted as lambda-terms with the call/cc control operator. We first recall the basic framework of classical realizability (in classical second-order arithmetic) and show how to extend it with primitive numerals for faster computations. Then we show how to perform witness extraction in this framework, by discussing several techniques depending on the shape of the existential formula. In particular, we show that in the Sigma01-case, Krivine's witness extraction method reduces to Friedman's through a well-suited negative translation to intuitionistic second-order arithmetic. Finally we discuss the advantages of using call/cc rather than a negative translation, especially from the point of view of an implementation.Comment: 52 pages. Accepted in Logical Methods for Computer Science (LMCS), 201

On a class of invariant coframe operators with application to gravity

Let a differential 4D-manifold with a smooth coframe field be given. Consider the operators on it that are linear in the second order derivatives or quadratic in the first order derivatives of the coframe, both with coefficients that depend on the coframe variables. The paper exhibits the class of operators that are invariant under a general change of coordinates, and, also, invariant under the global SO(1,3)-transformation of the coframe. A general class of field equations is constructed. We display two subclasses in it. The subclass of field equations that are derivable from action principles by free variations and the subclass of field equations for which spherical-symmetric solutions, Minkowskian at infinity exist. Then, for the spherical-symmetric solutions, the resulting metric is computed. Invoking the Geodesic Postulate, we find all the equations that are experimentally (by the 3 classical tests) indistinguishable from Einstein field equations. This family includes, of course, also Einstein equations. Moreover, it is shown, explicitly, how to exhibit it. The basic tool employed in the paper is an invariant formulation reminiscent of Cartan's structural equations. The article sheds light on the possibilities and limitations of the coframe gravity. It may also serve as a general procedure to derive covariant field equations

Structural and insulator-to-metal phase transition at 50 GPa in GdMnO3

We present a study of the effect of very high pressure on the orthorhombic perovskite GdMnO3 by Raman spectroscopy and synchrotron x-ray diffraction up to 53.2 GPa. The experimental results yield a structural and insulator-to-metal phase transition close to 50 GPa, from an orthorhombic to a metrically cubic structure. The phase transition is of first order with a pressure hysteresis of about 6 GPa. The observed behavior under very high pressure might well be a general feature in rare-earth manganites.Comment: 4 pages, 3 figures and 2 table