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

Spin fluctuations and superconductivity in KxFe{2-y}Se2

Superconductivity in alkali-intercalated iron selenide, with T_c's of 30K and above, may have a different origin than that of the other Fe-based superconductors, since it appears that the Fermi surface does not have any holelike sheets centered around the Gamma point. Here we investigate the symmetry of the superconducting gap in the framework of spin-fluctuation pairing calculations using density functional theory bands downfolded onto a three-dimensional (3D), ten-orbital tight-binding model, treating the interactions in the random-phase approximation (RPA). We find a leading instability towards a state with d-wave symmetry, but show that the details of the gap function depend sensitively on electronic structure. As required by crystal symmetry, quasi-nodes on electron pockets always occur, but are shown to be either horizontal, looplike or vertical depending on details. A variety of other 3D gap structures, including bonding-antibonding s-symmetry states which change sign between inner and outer electron pockets are found to be subdominant. We then investigate the possibility that spin-orbit coupling effects on the one-electron band structure, which lead to enhanced splitting of the two M-centered electron pockets in the 2-Fe zone, may stabilize the bonding-antibonding s_+/- wave states. Finally, we discuss our results in the context of current phenomenological theories and experiments.Comment: 12 pages, 11 figures, published versio

Comparing hierarchies of total functionals

In this paper we consider two hierarchies of hereditarily total and continuous functionals over the reals based on one extensional and one intensional representation of real numbers, and we discuss under which asumptions these hierarchies coincide. This coincidense problem is equivalent to a statement about the topology of the Kleene-Kreisel continuous functionals. As a tool of independent interest, we show that the Kleene-Kreisel functionals may be embedded into both these hierarchies.Comment: 28 page

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

Infrared and THz studies of polar phonons and improper magnetodielectric effect in multiferroic BFO3 ceramics

BFO3 ceramics were investigated by means of infrared reflectivity and time domain THz transmission spectroscopy at temperatures 20 - 950 K, and the magnetodielectric effect was studied at 10 - 300 K, with the magnetic field up to 9 T. Below 175 K, the sum of polar phonon contributions into the permittivity corresponds to the value of measured permittivity below 1 MHz. At higher temperatures, a giant low-frequency permittivity was observed, obviously due to the enhanced conductivity and possible Maxwell-Wagner contribution. Above 200 K the observed magnetodielectric effect is caused essentially through the combination of magnetoresistance and the Maxwell-Wagner effect, as recently predicted by Catalan (Appl. Phys. Lett. 88, 102902 (2006)). Since the magnetodielectric effect does not occur due to a coupling of polarization and magnetization as expected in magnetoferroelectrics, we call it improper magnetodielectric effect. Below 175 K the magnetodielectric effect is by several orders of magnitude lower due to the decreased conductivity. Several phonons exhibit gradual softening with increasing temperature, which explains the previously observed high-frequency permittivity increase on heating. The observed non-complete phonon softening seems to be the consequence of the first-order nature of the ferroelectric transition.Comment: subm. to PRB. revised version according to referees' report

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

The Epsilon Calculus and Herbrand Complexity

Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\epsilon_{x}$. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure.Comment: 23 p

Information completeness in Nelson algebras of rough sets induced by quasiorders

In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. We show how for a quasiorder $R$, its rough set-based Nelson algebra can be obtained by applying the well-known construction by Sendlewski. We prove that if the set of all $R$-closed elements, which may be viewed as the set of completely defined objects, is cofinal, then the rough set-based Nelson algebra determined by a quasiorder forms an effective lattice, that is, an algebraic model of the logic $E_0$, which is characterised by a modal operator grasping the notion of "to be classically valid". We present a necessary and sufficient condition under which a Nelson algebra is isomorphic to a rough set-based effective lattice determined by a quasiorder.Comment: 15 page