A Combined System for Update Logic and Belief Revision

Revised Selected PapersInternational audienceIn this paper we propose a logical system combining the update logic of A. Baltag, L. Moss and S. Solecki (to which we will refer to by the generic term BMS, [BMS04]) with the belief revision theory as conceived by C. Alchourron, P. Gardenfors and D. Mackinson (that we will call the AGM theory, [GardRott95]) viewed from the point of view of W. Spohn ( [Spohn90], [Spohn88]). We also give a proof system and a comparison with the AGM postulates

Complementarity relation for irreversible process derived from stochastic energetics

When the process of a system in contact with a heat bath is described by classical Langevin equation, the method of stochastic energetics [K. Sekimoto, J. Phys. Soc. Jpn. vol. 66 (1997) p.1234] enables to derive the form of Helmholtz free energy and the dissipation function of the system. We prove that the irreversible heat Q_irr and the time lapse $Delta t} of an isothermal process obey the complementarity relation, Q_irr {Delta t} >= k_B T S_min, where S_min depends on the initial and the final values of the control parameters, but it does not depend on the pathway between these values.Comment: 3 pages. LaTeX with 6 style macro

RankPL: A Qualitative Probabilistic Programming Language

In this paper we introduce RankPL, a modeling language that can be thought of as a qualitative variant of a probabilistic programming language with a semantics based on Spohn's ranking theory. Broadly speaking, RankPL can be used to represent and reason about processes that exhibit uncertainty expressible by distinguishing "normal" from" surprising" events. RankPL allows (iterated) revision of rankings over alternative program states and supports various types of reasoning, including abduction and causal inference. We present the language, its denotational semantics, and a number of practical examples. We also discuss an implementation of RankPL that is available for download

Field evolution of the magnetic structures in Er2_2Ti2_2O7_7 through the critical point

We have measured neutron diffraction patterns in a single crystal sample of the pyrochlore compound Er$_2$Ti$_2$O$_7$ in the antiferromagnetic phase (T=0.3\,K), as a function of the magnetic field, up to 6\,T, applied along the [110] direction. We determine all the characteristics of the magnetic structure throughout the quantum critical point at $H_c$=2\,T. As a main result, all Er moments align along the field at $H_c$ and their values reach a minimum. Using a four-sublattice self-consistent calculation, we show that the evolution of the magnetic structure and the value of the critical field are rather well reproduced using the same anisotropic exchange tensor as that accounting for the local paramagnetic susceptibility. In contrast, an isotropic exchange tensor does not match the moment variations through the critical point. The model also accounts semi-quantitatively for other experimental data previously measured, such as the field dependence of the heat capacity, energy of the dispersionless inelastic modes and transition temperature.Comment: 7 pages; 8 figure

Magneto-Transport in the Two-Dimensional Lorentz Gas

We consider the two-dimensional Lorentz gas with Poisson distributed hard disk scatterers and a constant magnetic field perpendicular to the plane of motion. The velocity autocorrelation is computed numerically over the full range of densities and magnetic fields with particular attention to the percolation threshold between hopping transport and pure edge currents. The Ohmic and Hall conductance are compared with mode-coupling theory and a recent generalized kinetic equation valid for low densities and small fields. We argue that the long time tail as $t^{-2}$ persists for non-zero magnetic field.Comment: 7 pages, 14 figures. Uses RevTeX and epsfig.sty. Submitted to Physical Review

Fluctuations of steps on crystal surfaces

Fluctuations of isolated and pairs of ascending steps of monoatomic height are studied in the framework of SOS models, using mainly Monte Carlo techniques. Below the roughening transistion of the surface, the profiles of long steps show the same scaling features for terrace and surface diffusion. For a pair of short steps, their separation distance is found to grow as $t^{1/3}$ at late stages. Above roughening, simulational data on surface diffusion agree well with the classical continuum theory of Mullins.Comment: 4 pages, 2 eps figure

Fluctuation theorem for counting-statistics in electron transport through quantum junctions

We demonstrate that the probability distribution of the net number of electrons passing through a quantum system in a junction obeys a steady-state fluctuation theorem (FT) which can be tested experimentally by the full counting statistics (FCS) of electrons crossing the lead-system interface. The FCS is calculated using a many-body quantum master equation (QME) combined with a Liouville space generating function (GF) formalism. For a model of two coupled quantum dots, we show that the FT becomes valid for long binning times and provide an estimate for the finite-time deviations. We also demonstrate that the Mandel (or Fano) parameter associated with the incoming or outgoing electron transfers show subpoissonian (antibunching) statistics.Comment: 20 pages, 12 figures, accepted in Phy.Rev.

Scale Dependence of the Retarded van der Waals Potential

We study the ground state energy for a system of two hydrogen atoms coupled to the quantized Maxwell field in the limit $\alpha \to 0$ together with the relative distance between the atoms increasing as $\alpha^{-\gamma} R$, $\gamma > 0$. In particular we determine explicitly the crossover function from the $R^{-6}$ van der Waals potential to the $R^{-7}$ retarded van der Waals potential, which takes place at scale $\alpha^{-2} R$.Comment: 19 page

On the derivation of Fourier's law in stochastic energy exchange systems

We present a detailed derivation of Fourier's law in a class of stochastic energy exchange systems that naturally characterize two-dimensional mechanical systems of locally confined particles in interaction. The stochastic systems consist of an array of energy variables which can be partially exchanged among nearest neighbours at variable rates. We provide two independent derivations of the thermal conductivity and prove this quantity is identical to the frequency of energy exchanges. The first derivation relies on the diffusion of the Helfand moment, which is determined solely by static averages. The second approach relies on a gradient expansion of the probability measure around a non-equilibrium stationary state. The linear part of the heat current is determined by local thermal equilibrium distributions which solve a Boltzmann-like equation. A numerical scheme is presented with computations of the conductivity along our two methods. The results are in excellent agreement with our theory.Comment: 19 pages, 5 figures, to appear in Journal of Statistical Mechanics (JSTAT

On the Electromagnetic Properties of Matter in Collapse Models

We discuss the electromagnetic properties of both a charged free particle, and a charged particle bounded by an harmonic potential, within collapse models. By choosing a particularly simple, yet physically relevant, collapse model, and under only the dipole approximation, we are able to solve the equation of motion exactly. In this way, both the finite time and large time behavior can be analyzed accurately. We discovered new features, which did not appear in previous works on the same subject. Since, so far, the spontaneous photon emission process places the strongest upper bounds on the collapse parameters, our results call for a further analysis of this process for those atomic systems which can be employed in experimental tests of collapse models, as well as of quantum mechanics.Comment: 17 pages, LaTeX, updated version with minor change