DEEP: a provenance-aware executable document system

The concept of executable documents is attracting growing interest from both academics and publishers since it is a promising technology for the dissemination of scientific results. Provenance is a kind of metadata that provides a rich description of the derivation history of data products starting from their original sources. It has been used in many different e-Science domains and has shown great potential in enabling reproducibility of scientific results. However, while both executable documents and provenance are aimed at enhancing the dissemination of scientific results, little has been done to explore the integration of both techniques. In this paper, we introduce the design and development of DEEP, an executable document environment that generates scientific results dynamically and interactively, and also records the provenance for these results in the document. In this system, provenance is exposed to users via an interface that provides them with an alternative way of navigating the executable document. In addition, we make use of the provenance to offer a document rollback facility to users and help to manage the system's dynamic resources

Generic two-phase coexistence in nonequilibrium systems

Gibbs' phase rule states that two-phase coexistence of a single-component system, characterized by an n-dimensional parameter-space, may occur in an n-1-dimensional region. For example, the two equilibrium phases of the Ising model coexist on a line in the temperature-magnetic-field phase diagram. Nonequilibrium systems may violate this rule and several models, where phase coexistence occurs over a finite (n-dimensional) region of the parameter space, have been reported. The first example of this behaviour was found in Toom's model [Toom,Geoff,GG], that exhibits generic bistability, i.e. two-phase coexistence over a finite region of its two-dimensional parameter space (see Section 1). In addition to its interest as a genuine nonequilibrium property, generic multistability, defined as a generalization of bistability, is both of practical and theoretical relevance. In particular, it has been used recently to argue that some complex structures appearing in nature could be truly stable rather than metastable (with important applications in theoretical biology), and as the theoretical basis for an error-correction method in computer science (see [GG,Gacs] for an illuminating and pedagogical discussion of these ideas).Comment: 7 pages, 6 figures, to appear in Eur. Phys. J. B, svjour.cls and svepj.clo neede

Nonequilibrium wetting transitions with short range forces

We analyze within mean-field theory as well as numerically a KPZ equation that describes nonequilibrium wetting. Both complete and critical wettitng transitions were found and characterized in detail. For one-dimensional substrates the critical wetting temperature is depressed by fluctuations. In addition, we have investigated a region in the space of parameters (temperature and chemical potential) where the wet and nonwet phases coexist. Finite-size scaling analysis of the interfacial detaching times indicates that the finite coexistence region survives in the thermodynamic limit. Within this region we have observed (stable or very long-lived) structures related to spatio-temporal intermittency in other systems. In the interfacial representation these structures exhibit perfect triangular (pyramidal) patterns in one (two dimensions), that are characterized by their slope and size distribution.Comment: 11 pages, 5 figures. To appear in Physical Review

Detecting Determinacy in Prolog Programs: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

In program development it is useful to know that a call to a Prolog program will not inadvertently leave a choice-point on the stack. Determinacy inference has been proposed for solving this problem yet the analysis was found to be wanting in that it could not infer determinacy conditions for programs that contained cuts or applied certain tests to select a clause. This paper shows how to remedy these serious deficiencies. It also addresses the problem of identifying those predicates which can be rewritten in a more deterministic fashion. To this end, a radically new form of determinacy inference is introduced, which is founded on ideas in ccp, that is capable of reasoning about the way bindings imposed by a rightmost goal can make a leftmost goal deterministic

"TNOs are Cool": A survey of the trans-Neptunian region X. Analysis of classical Kuiper belt objects from Herschel and Spitzer observations

The classical Kuiper belt contains objects both from a low-inclination, presumably primordial, distribution and from a high-inclination dynamically excited population. Based on a sample of classical TNOs with observations at thermal wavelengths we determine radiometric sizes, geometric albedos and thermal beaming factors as well as study sample properties of dynamically hot and cold classicals. Observations near the thermal peak of TNOs using infra-red space telescopes are combined with optical magnitudes using the radiometric technique with near-Earth asteroid thermal model (NEATM). We have determined three-band flux densities from Herschel/PACS observations at 70.0, 100.0 and 160.0 $\mu$m and Spitzer/MIPS at 23.68 and 71.42 $\mu$m when available. We have analysed 18 classical TNOs with previously unpublished data and re-analysed previously published targets with updated data reduction to determine their sizes and geometric albedos as well as beaming factors when data quality allows. We have combined these samples with classical TNOs with radiometric results in the literature for the analysis of sample properties of a total of 44 objects. We find a median geometric albedo for cold classical TNOs of 0.14 and for dynamically hot classical TNOs, excluding the Haumea family and dwarf planets, 0.085. We have determined the bulk densities of Borasisi-Pabu (2.1 g/cm^3), Varda-Ilmare (1.25 g/cm^3) and 2001 QC298 (1.14 g/cm^3) as well as updated previous density estimates of four targets. We have determined the slope parameter of the debiased cumulative size distribution of dynamically hot classical TNOs as q=2.3 +- 0.1 in the diameter range 100<D<500 km. For dynamically cold classical TNOs we determine q=5.1 +- 1.1 in the diameter range 160<D<280 km as the cold classical TNOs have a smaller maximum size.Comment: 22 pages, 7 figures Accepted to be published in Astronomy and Astrophysic

Digital Quantum Simulation with Rydberg Atoms

We discuss in detail the implementation of an open-system quantum simulator with Rydberg states of neutral atoms held in an optical lattice. Our scheme allows one to realize both coherent as well as dissipative dynamics of complex spin models involving many-body interactions and constraints. The central building block of the simulation scheme is constituted by a mesoscopic Rydberg gate that permits the entanglement of several atoms in an efficient, robust and quick protocol. In addition, optical pumping on ancillary atoms provides the dissipative ingredient for engineering the coupling between the system and a tailored environment. As an illustration, we discuss how the simulator enables the simulation of coherent evolution of quantum spin models such as the two-dimensional Heisenberg model and Kitaev's toric code, which involves four-body spin interactions. We moreover show that in principle also the simulation of lattice fermions can be achieved. As an example for controlled dissipative dynamics, we discuss ground state cooling of frustration-free spin Hamiltonians.Comment: submitted to special issue "Quantum Information with Neutral Particles" of "Quantum Information Processing