Symmetry in concurrent games

Abstract—Behavioural symmetry is introduced into concurrent games. It expresses when plays are essentially the same. A characterization of strategies on games with symmetry is provided. This leads to a bicategory of strategies on games with symmetry. Symmetry helps allay the perhaps overly-concrete nature of games and strategies, and shares many mathematical features with homotopy. In the presence of symmetry we can consider monads for which the monad laws do not hold on the nose but do hold up to symmetry. This broadening of the concept of monad has a dramatic effect on the types concurrent games can support and allows us, for example, to recover the replication needed to express and extend traditional game semantics of programming languages. I

The parallel intensionally fully abstract games model of PCF

International audienceWe describe a framework for truly concurrent game semantics of programming languages, based on Rideau and Winskel's concurrent games on event structures. The model supports a notion of innocent strategy that permits concurrent and non-deterministic behaviour, but which coincides with traditional Hyland-Ong innocent strategies if one restricts to the deterministic sequential case. In this framework we give an alternative interpretation of Plotkin's PCF, that takes advantage of the concurrent nature of strategies and formalizes the idea that although PCF is a sequential language, certain sub-computations are independent and can be computed in a parallel fashion. We show that just as Hyland and Ong's sequential interpretation of PCF, our parallel interpretation yields a model that is intensionally fully abstract for PCF

Commensurate Fluctuations in the Pseudogap and Incommensurate spin-Peierls Phases of TiOCl

X-ray scattering measurements on single crystals of TiOCl reveal the presence of commensurate dimerization peaks within both the incommensurate spin-Peierls phase and the so-called pseudogap phase above T_c2. This scattering is relatively narrow in Q-space indicating long correlation lengths exceeding ~ 100 A below T* ~ 130 K. It is also slightly shifted in Q relative to that of the commensurate long range ordered state at the lowest temperatures, and it coexists with the incommensurate Bragg peaks below T_c2. The integrated scattering over both commensurate and incommensurate positions evolves continuously with decreasing temperature for all temperatures below T* ~ 130 K.Comment: To appear in Physical Review B: Rapid Communications. 5 page

Suppression of the commensurate spin-Peierls state in Sc-doped TiOCl

We have performed x-ray scattering measurements on single crystals of the doped spin-Peierls compound Ti(1-x)Sc(x)OCl (x = 0, 0.01, 0.03). These measurements reveal that the presence of non-magnetic dopants has a profound effect on the unconventional spin-Peierls behavior of this system, even at concentrations as low as 1%. Sc-doping suppresses commensurate fluctuations in the pseudogap and incommensurate spin-Peierls phases of TiOCl, and prevents the formation of a long-range ordered spin-Peierls state. Broad incommensurate scattering develops in the doped compounds near Tc2 ~ 93 K, and persists down to base temperature (~ 7 K) with no evidence of a lock-in transition. The width of the incommensurate dimerization peaks indicates short correlation lengths on the order of ~ 12 angstroms below Tc2. The intensity of the incommensurate scattering is significantly reduced at higher Sc concentrations, indicating that the size of the associated lattice displacement decreases rapidly as a function of doping.Comment: 7 pages, 5 figure

The Yellow Coral Dendrophyllia cornigera in a Warming Ocean

Ocean warming is expected to impinge detrimentally on marine ecosystems worldwide up to impose extreme environmental conditions capable to potentially jeopardize the good ecological status of scleractinian coral reefs at shallow and bathyal depths. The integration of literature records with newly acquired remotely operated vehicle (ROV) data provides an overview of the geographic distribution of the temperate coral Dendrophyllia cornigera spanning the eastern Atlantic Ocean to the whole Mediterranean Sea. In addition, we extracted temperature values at each occurrence site to define the natural range of this coral, known to maintain its physiological processes at 16\ub0C. Our results document a living temperature range between 3c7\ub0C and 17\ub0C, suggesting that the natural thermal tolerance of this eurybathic coral may represent an advantage for its survival in a progressively warming ocean

Two and Three Dimensional Incommensurate Modulation in Optimally-Doped Bi2_2Sr2_2CaCu2_2O8+δ_{8+\delta}

X-ray scattering measurements on optimally-doped single crystal samples of the high temperature superconductor Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ reveal the presence of three distinct incommensurate charge modulations, each involving a roughly fivefold increase in the unit cell dimension along the {\bf b}-direction. The strongest scattering comes from the well known (H, K$\pm$ 0.21, L) modulation and its harmonics. However, we also observe broad diffraction which peak up at the L values complementary to those which characterize the known modulated structure. These diffraction features correspond to correlation lengths of roughly a unit cell dimension, $\xi_c$$\sim$20 $\AA$ in the {\bf c} direction, and of $\xi_b$$\sim$ 185 $\AA$ parallel to the incommensurate wavevector. We interpret these features as arising from three dimensional incommensurate domains and the interfaces between them, respectively. In addition we investigate the recently discovered incommensuate modulations which peak up at (1/2, K$\pm$ 0.21, L) and related wavevectors. Here we explicitly study the L-dependence of this scattering and see that these charge modulations are two dimensional in nature with weak correlations on the scale of a bilayer thickness, and that they correspond to short range, isotropic correlation lengths within the basal plane. We relate these new incommensurate modulations to the electronic nanostructure observed in Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ using STM topography.Comment: 8 pages, 8 figure

Structural Fluctuations in the Spin Liquid State of Tb2Ti2O7

High resolution X-ray scattering measurements on single crystal Tb2Ti2O7 reveal finite structural correlations at low temperatures. This geometrically frustrated pyrochlore is known to exhibit a spin liquid, or cooperative paramagnetic state, at temperatures below ~ 20 K. Parametric studies of structural Bragg peaks appropriate to the Fd$\bar{3}$m space group of Tb2Ti2O7 reveal substantial broadening and peak intensity reduction in the temperature regime 20 K to 300 mK. We also observe a small, anomalous lattice expansion on cooling below a density maximum at ~ 18 K. These measurements are consistent with the development of fluctuations above a cooperative Jahn-Teller, cubic-tetragonal phase transition at very low temperatures.Comment: 5 pages, 4 figures, submitted for publicatio

Magnetic and structural quantum phase transitions in CeCu6-xAux are independent

The heavy-fermion compound CeCu$_{6-x}$Au$_x$ has become a model system for unconventional magnetic quantum criticality. For small Au concentrations $0 \leq x < 0.16$, the compound undergoes a structural transition from orthorhombic to monoclinic crystal symmetry at a temperature $T_{s}$ with $T_{s} \rightarrow 0$ for $x \approx 0.15$. Antiferromagnetic order sets in close to $x \approx 0.1$. To shed light on the interplay between quantum critical magnetic and structural fluctuations we performed neutron-scattering and thermodynamic measurements on samples with $0 \leq x\leq 0.3$. The resulting phase diagram shows that the antiferromagnetic and monoclinic phase coexist in a tiny Au concentration range between $x\approx 0.1$ and $0.15$. The application of hydrostatic and chemical pressure allows to clearly separate the transitions from each other and to explore a possible effect of the structural transition on the magnetic quantum critical behavior. Our measurements demonstrate that at low temperatures the unconventional quantum criticality exclusively arises from magnetic fluctuations and is not affected by the monoclinic distortion.Comment: 5 pages, 3 figure