Modular session types for objects

Session types allow communication protocols to be specified type-theoretically so that protocol implementations can be verified by static type checking. We extend previous work on session types for distributed object-oriented languages in three ways. (1) We attach a session type to a class definition, to specify the possible sequences of method calls. (2) We allow a session type (protocol) implementation to be modularized, i.e. partitioned into separately-callable methods. (3) We treat session-typed communication channels as objects, integrating their session types with the session types of classes. The result is an elegant unification of communication channels and their session types, distributed object-oriented programming, and a form of typestate supporting non-uniform objects, i.e. objects that dynamically change the set of available methods. We define syntax, operational se-mantics, a sound type system, and a sound and complete type checking algorithm for a small distributed class-based object-oriented language with structural subtyping. Static typing guarantees that both sequences of messages on channels, and sequences of method calls on objects, conform to type-theoretic specifications, thus ensuring type-safety. The language includes expected features of session types, such as delegation, and expected features of object-oriented programming, such as encapsulation of local state.Comment: Logical Methods in Computer Science (LMCS), International Federation for Computational Logic, 201

A variational principle for fluid sloshing with vorticity, dynamically coupled to vessel motion

A variational principle is derived for two-dimensional incompressible rotational fluid flow with a free surface in a moving vessel when both the vessel and fluid motion are to be determined. The fluid is represented by a stream function and the vessel motion is represented by a path in the planar Euclidean group. Novelties in the formulation include how the pressure boundary condition is treated, the introduction of a stream function into the Euler-Poincar\'e variations, the derivation of free surface variations, and how the equations for the vessel path in the Euclidean group, coupled to the fluid motion, are generated automatically.Comment: 19 pages, 3 figure

On the filamentary environment of galaxies

The correlation between the large-scale distribution of galaxies and their spectroscopic properties at z=1.5 is investigated using the Horizon MareNostrum cosmological run. We have extracted a large sample of 10^5 galaxies from this large hydrodynamical simulation featuring standard galaxy formation physics. Spectral synthesis is applied to these single stellar populations to generate spectra and colours for all galaxies. We use the skeleton as a tracer of the cosmic web and study how our galaxy catalogue depends on the distance to the skeleton. We show that galaxies closer to the skeleton tend to be redder, but that the effect is mostly due to the proximity of large haloes at the nodes of the skeleton, rather than the filaments themselves. This effects translate into a bimodality in the colour distribution of our sample. The origin of this bimodality is investigated and seems to follow from the ram pressure stripping of satellite galaxies within the more massive clusters of the simulation. The virtual catalogues (spectroscopical properties of the MareNostrum galaxies at various redshifts) are available online at http://www.iap.fr/users/pichon/MareNostrum/cataloguesComment: 18 pages, 27 figures, accepted for publication in MNRA

Criterion for purely elastic Taylor-Couette instability in the flows of shear-banding fluids

In the past twenty years, shear-banding flows have been probed by various techniques, such as rheometry, velocimetry and flow birefringence. In micellar solutions, many of the data collected exhibit unexplained spatio-temporal fluctuations. Recently, it has been suggested that those fluctuations originate from a purely elastic instability of the flow. In cylindrical Couette geometry, the instability is reminiscent of the Taylor-like instability observed in viscoelastic polymer solutions. In this letter, we describe how the criterion for purely elastic Taylor-Couette instability should be adapted to shear-banding flows. We derive three categories of shear-banding flows with curved streamlines, depending on their stability.Comment: 6 pages, 3 figure

Potential "ways of thinking" about the shear-banding phenomenon

Shear-banding is a curious but ubiquitous phenomenon occurring in soft matter. The phenomenological similarities between the shear-banding transition and phase transitions has pushed some researchers to adopt a 'thermodynamical' approach, in opposition to the more classical 'mechanical' approach to fluid flows. In this heuristic review, we describe why the apparent dichotomy between those approaches has slowly faded away over the years. To support our discussion, we give an overview of different interpretations of a single equation, the diffusive Johnson-Segalman (dJS) equation, in the context of shear-banding. We restrict ourselves to dJS, but we show that the equation can be written in various equivalent forms usually associated with opposite approaches. We first review briefly the origin of the dJS model and its initial rheological interpretation in the context of shear-banding. Then we describe the analogy between dJS and reaction-diffusion equations. In the case of anisotropic diffusion, we show how the dJS governing equations for steady shear flow are analogous to the equations of the dynamics of a particle in a quartic potential. Going beyond the existing literature, we then draw on the Lagrangian formalism to describe how the boundary conditions can have a key impact on the banding state. Finally, we reinterpret the dJS equation again and we show that a rigorous effective free energy can be constructed, in the spirit of early thermodynamic interpretations or in terms of more recent approaches exploiting the language of irreversible thermodynamics.Comment: 14 pages, 6 figures, tutorial revie

Coexistence of anomalous field effect and mesoscopic conductance fluctuations in granular aluminium

We perform electrical field effect measurements at 4 K on insulating granular aluminium thin films. When the samples size is reduced below 100 micrometers, reproducible and stable conductance fluctuations are seen as a function of the gate voltage. Our results suggest that these fluctuations reflect the incomplete self-averaging of largely distributed microscopic resistances. We also study the anomalous field effect (conductance dip) already known to exit in large samples and its slow conductance relaxation in the presence of the conductance fluctuations. Within our measurements accuracy, the two phenomena appear to be independent of each other, like two additive contributions to the conductance. We discuss the possible physical meaning of this independence and in particular whether or not this observation is in favor of an electron glass interpretation of slow conductance anomaly relaxations.Comment: 16 pages, 26 figure

Towards the Equation of State of Classical SU(2) Lattice Gauge Theory

We determine numerically the full complex Lyapunov spectrum of SU(2) Yang-Mills fields on a 3-dimensional lattice from the classical chaotic dynamics. The equation of state, S(E), is determined from the Kolmogorov-Sinai entropy extrapolated to the large size limit.Comment: 12 pages, 8 PS figures, LaTe