Island formation without attractive interactions

We show that adsorbates on surfaces can form islands even if there are no attractive interactions. Instead strong repulsion between adsorbates at short distances can lead to islands, because such islands increase the entropy of the adsorbates that are not part of the islands. We suggest that this mechanism cause the observed island formation in O/Pt(111), but it may be important for many other systems as well.Comment: 11 pages, 4 figure

Phonon-modulated magnetic interactions and spin Tomonaga-Luttinger liquid in the p-orbital antiferromagnet CsO2

The magnetic response of antiferromagnetic CsO2, coming from the p-orbital S=1/2 spins of anionic O2- molecules, is followed by 133Cs nuclear magnetic resonance across the structural phase transition occuring at Ts1=61 K on cooling. Above Ts1, where spins form a square magnetic lattice, we observe a huge, nonmonotonic temperature dependence of the exchange coupling originating from thermal librations of O2- molecules. Below Ts1, where antiferromagnetic spin chains are formed as a result of p-orbital ordering, we observe a spin Tomonaga-Luttinger-liquid behavior of spin dynamics. These two interesting phenomena, which provide rare simple manifestations of the coupling between spin, lattice and orbital degrees of freedom, establish CsO2 as a model system for molecular solids.Comment: 9 pages, 5 figures (with Supplemental Material), to appear in Physical Review Letter

Graph-Based Shape Analysis Beyond Context-Freeness

We develop a shape analysis for reasoning about relational properties of data structures. Both the concrete and the abstract domain are represented by hypergraphs. The analysis is parameterized by user-supplied indexed graph grammars to guide concretization and abstraction. This novel extension of context-free graph grammars is powerful enough to model complex data structures such as balanced binary trees with parent pointers, while preserving most desirable properties of context-free graph grammars. One strength of our analysis is that no artifacts apart from grammars are required from the user; it thus offers a high degree of automation. We implemented our analysis and successfully applied it to various programs manipulating AVL trees, (doubly-linked) lists, and combinations of both

Mass loss out of close binaries. II

Liberal evolution of interacting binaries has been proposed previously by several authors in order to meet various observed binary characteristics better than conservative evolution does. Since Algols are eclipsing binaries the distribution of their orbital periods is precisely known. The distribution of their mass ratios contains however more uncertainties. We try to reproduce these two distributions theoretically using a liberal scenario in which the gainer star can lose mass into interstellar space as a consequence of its rapid rotation and the energy of a hot spot. In a recent paper (Van Rensbergen et al. 2010, A&A) we calculated the liberal evolution of binaries with a B-type primary at birth where mass transfer starts during core hydrogen burning of the donor. In this paper we include the cases where mass transfer starts during hydrogen shell burning and it is our aim to reproduce the observed distributions of the system parameters of Algol-type semi-detached systems. Our calculations reveal the amount of time that an Algol binary lives with a well defined value of mass ratio and orbital period. We use these data to simulate the distribution of mass ratios and orbital periods of Algols. Binaries with a late B-type initial primary hardly lose any mass whereas those with an early B primary evolve in a non-conservative way. Conservative binary evolution predicts only ~ 12 % of Algols with a mass ratio q above 0.4. This value is raised up to ~ 17 % using our scenario of liberal evolution, which is still far below the ~ 45 % that is observed. Observed orbital periods of Algol binaries larger than one day are faithfully reproduced by our liberal scenario. Mass ratios are reproduced better than with conservative evolution, but the resemblance is still poor.Comment: 11 pages, 6 figures, accepted for publication in A&A; accepted versio

Upper critical field in {Ba1−x_{1-x}Kx_xBiO3_3}: magnetotransport versus magnetotunneling

Elastic tunneling is used as a powerful direct tool to determine the upper critical field $H_{c2}(T)$ in the high-$T_c$ oxide Ba$_{1-x}$K$_x$BiO$_3$. The temperature dependence of $H_{c2}$ inferred from the tunneling follows the Werthamer-Helfand-Hohenberg prediction for type-II superconductors. A comparison will be made with resistively determined critical field data.Comment: 4 pages incl. 5 figure

Nieuw peilbeheer in de veenweiden?

Bij het huidige waterbeheer in de veenweidegebieden zal het maaiveld in de komende honderd jaar op veel plaatsen met meer dan een meter dalen. De maaivelddaling gaat door tot al het veen is verdwenen en de minerale ondergrond aan de oppervlakte ligt. Met het veen verdwijnt dan ook het bijbehorende veenlandschap. De enige mogelijkheid om deze ontwikkeling af te remmen, is door het waterpeil te verhogen. Er zijn verschillende waterpeilstrategieën denkbaar om dat te realiseren, maar die hebben de nodige gevolgen voor inrichting, bodemgebruik en waterinlaat. Een strategiestudie brengt momenteel de gevolgen in kaart en biedt daarmee de waterbeheerder handvatten om mogelijke veranderingen in het peilbeheer te beoordele

One-dimensional quantum antiferromagnetism in the p−p-orbital CsO2_2 compound revealed by electron paramagnetic resonance

Recently it was proposed that the orbital ordering of $\pi_{x,y}^*$ molecular orbitals in the superoxide CsO$_2$ compound leads to the formation of spin-1/2 chains below the structural phase transition occuring at $T_{\rm{s1}}=61$~K on cooling. Here we report a detailed X-band electron paramagnetic resonance (EPR) study of this phase in CsO$_2$ powder. The EPR signal appears as a broad line below $T_{\rm{s1}}$, which is replaced by the antiferromagnetic resonance below the N\'{e}el temperature $T_{\rm N}=8.3$~K. The temperature dependence of the EPR linewidth between $T_{\rm{s1}}$ and $T_{\rm{N}}$ agrees with the predictions for the one-dimensional Heisenberg antiferromagnetic chain of $S=1/2$ spins in the presence of symmetric anisotropic exchange interaction. Complementary analysis of the EPR lineshape, linewidth and the signal intensity within the Tomonaga-Luttinger liquid (TLL) framework allows for a determination of the TLL exponent $K=0.48$. Present EPR data thus fully comply with the quantum antiferromagnetic state of spin-1/2 chains in the orbitally ordered phase of CsO$_2$, which is, therefore, a unique $p-$orbital system where such a state could be studied.Comment: 6 pages, 3 figure

The eta' meson from lattice QCD

We study the flavour singlet pseudoscalar mesons from first principles using lattice QCD. With N_f=2 flavours of light quark, this is the so-called eta_2 meson and we discuss the phenomenological status of this. Using maximally twisted-mass lattice QCD, we extract the mass of the eta_2 meson at two values of the lattice spacing for lighter quarks than previously discussed in the literature. We are able to estimate the mass value in the limit of light quarks with their physical masses.Comment: 16 pages: version accepted for publicatio