Quantum tunneling of the Neel vector in antiferromagnetic [3 x 3] grid molecules

Based on numerical calculations it is shown that the antiferromagnetic grid molecule Mn-[3 x 3] is a very promising candidate to experimentally detect the phenomenon of quantum tunneling of the Neel vector.Comment: 4 pages, 3 figures, REVTEX 4, to appear in PR

Field dependent anisotropy change in a supramolecular Mn(II)-[3x3] grid

The magnetic anisotropy of a novel Mn(II)-[3x3] grid complex was investigated by means of high-field torque magnetometry. Torque vs. field curves at low temperatures demonstrate a ground state with S > 0 and exhibit a torque step due to a field induced level-crossing at B* \approx 7.5 T, accompanied by an abrupt change of magnetic anisotropy from easy-axis to hard-axis type. These observations are discussed in terms of a spin Hamiltonian formalism.Comment: 4 pages, 4 figures, to be published in Phys. Rev. Let

Q-dependence of the inelastic neutron scattering cross section for molecular spin clusters with high molecular symmetry

For powder samples of polynuclear metal complexes the dependence of the inelastic neutron scattering intensity on the momentum transfer Q is known to be described by a combination of so called interference terms. They reflect the interplay between the geometrical structure of the compound and the spatial properties of the wave functions involved in the transition. In this work, it is shown that the Q-dependence is strongly interrelated with the molecular symmetry of molecular nanomagnets, and, if the molecular symmetry is high enough, is actually completely determined by it. A general formalism connecting spatial symmetry and interference terms is developed. The arguments are detailed for cyclic spin clusters, as experimentally realized by e.g. the octanuclear molecular wheel Cr8, and the star like tetranuclear cluster Fe4.Comment: 8 pages, 1 figures, REVTEX

The Weyl bundle as a differentiable manifold

Construction of an infinite dimensional differentiable manifold ${\mathbb R}^{\infty}$ not modelled on any Banach space is proposed. Definition, metric and differential structures of a Weyl algebra and a Weyl algebra bundle are presented. Continuity of the $\circ$-product in the Tichonov topology is proved. Construction of the $*$-product of the Fedosov type in terms of theory of connection in a fibre bundle is explained.Comment: 31 pages; revised version - some typoes have been eliminated, notation has been simplifie

Superposition for Lambda-Free Higher-Order Logic

We introduce refutationally complete superposition calculi for intentional and extensional clausal $\lambda$-free higher-order logic, two formalisms that allow partial application and applied variables. The calculi are parameterized by a term order that need not be fully monotonic, making it possible to employ the $\lambda$-free higher-order lexicographic path and Knuth-Bendix orders. We implemented the calculi in the Zipperposition prover and evaluated them on Isabelle/HOL and TPTP benchmarks. They appear promising as a stepping stone towards complete, highly efficient automatic theorem provers for full higher-order logic

Discrete antiferromagnetic spin-wave excitations in the giant ferric wheel Fe18

The low-temperature elementary spin excitations in the AFM molecular wheel Fe18 were studied experimentally by inelastic neutron scattering and theoretically by modern numerical methods, such as dynamical density matrix renormalization group or quantum Monte Carlo techniques, and analytical spin-wave theory calculations. Fe18 involves eighteen spin-5/2 Fe(III) ions with a Hilbert space dimension of 10^14, constituting a physical system that is situated in a region between microscopic and macroscopic. The combined experimental and theoretical approach allowed us to characterize and discuss the magnetic properties of Fe18 in great detail. It is demonstrated that physical concepts such as the rotational-band or L&E-band concepts developed for smaller rings are still applicable. In particular, the higher-lying low-temperature elementary spin excitations in Fe18 or AFM wheels in general are of discrete antiferromagnetic spin-wave character.Comment: 16 pages, 10 figure

Algebraic approach to quantum field theory on a class of noncommutative curved spacetimes

In this article we study the quantization of a free real scalar field on a class of noncommutative manifolds, obtained via formal deformation quantization using triangular Drinfel'd twists. We construct deformed quadratic action functionals and compute the corresponding equation of motion operators. The Green's operators and the fundamental solution of the deformed equation of motion are obtained in terms of formal power series. It is shown that, using the deformed fundamental solution, we can define deformed *-algebras of field observables, which in general depend on the spacetime deformation parameter. This dependence is absent in the special case of Killing deformations, which include in particular the Moyal-Weyl deformation of the Minkowski spacetime.Comment: LaTeX 14 pages, no figures, svjour3.cls style; v2: clarifications and references added, compatible with published versio

Superposition with Lambdas

We designed a superposition calculus for a clausal fragment of extensional polymorphic higher-order logic that includes anonymous functions but excludes Booleans. The inference rules work on $\beta\eta$-equivalence classes of $\lambda$-terms and rely on higher-order unification to achieve refutational completeness. We implemented the calculus in the Zipperposition prover and evaluated it on TPTP and Isabelle benchmarks. The results suggest that superposition is a suitable basis for higher-order reasoning

Detection of an atmosphere around the super-Earth 55 Cancri e

We report the analysis of two new spectroscopic observations of the super-Earth 55 Cancri e, in the near infrared, obtained with the WFC3 camera onboard the HST. 55 Cancri e orbits so close to its parent star, that temperatures much higher than 2000 K are expected on its surface. Given the brightness of 55 Cancri, the observations were obtained in scanning mode, adopting a very long scanning length and a very high scanning speed. We use our specialized pipeline to take into account systematics introduced by these observational parameters when coupled with the geometrical distortions of the instrument. We measure the transit depth per wavelength channel with an average relative uncertainty of 22 ppm per visit and find modulations that depart from a straight line model with a 6$\sigma$ confidence level. These results suggest that 55 Cancri e is surrounded by an atmosphere, which is probably hydrogen-rich. Our fully Bayesian spectral retrieval code, T-REx, has identified HCN to be the most likely molecular candidate able to explain the features at 1.42 and 1.54 $\mu$m. While additional spectroscopic observations in a broader wavelength range in the infrared will be needed to confirm the HCN detection, we discuss here the implications of such result. Our chemical model, developed with combustion specialists, indicates that relatively high mixing ratios of HCN may be caused by a high C/O ratio. This result suggests this super-Earth is a carbon-rich environment even more exotic than previously thought.Comment: 10 pages, 10 figures, 4 tables, Accepted for publication in Ap