Healthiness from Duality

Healthiness is a good old question in program logics that dates back to Dijkstra. It asks for an intrinsic characterization of those predicate transformers which arise as the (backward) interpretation of a certain class of programs. There are several results known for healthiness conditions: for deterministic programs, nondeterministic ones, probabilistic ones, etc. Building upon our previous works on so-called state-and-effect triangles, we contribute a unified categorical framework for investigating healthiness conditions. We find the framework to be centered around a dual adjunction induced by a dualizing object, together with our notion of relative Eilenberg-Moore algebra playing fundamental roles too. The latter notion seems interesting in its own right in the context of monads, Lawvere theories and enriched categories.Comment: 13 pages, Extended version with appendices of a paper accepted to LICS 201

Coalescence of stretching vortices

The contour dynamics numerical technique is used to study the coalescence of two equal uniform vortices in the presence of an externally applied stretching strain field. Plane three-dimensional stretching is found to substantially inhibit vortex coalescence when the plane of the vortex axes is initially perpendicular to the plane of the straining motion. This behavior is interpreted qualitatively in terms of a purely two-dimensional flow fully equivalent to the stretching configuration

Floppy modes and the free energy: Rigidity and connectivity percolation on Bethe Lattices

We show that negative of the number of floppy modes behaves as a free energy for both connectivity and rigidity percolation, and we illustrate this result using Bethe lattices. The rigidity transition on Bethe lattices is found to be first order at a bond concentration close to that predicted by Maxwell constraint counting. We calculate the probability of a bond being on the infinite cluster and also on the overconstrained part of the infinite cluster, and show how a specific heat can be defined as the second derivative of the free energy. We demonstrate that the Bethe lattice solution is equivalent to that of the random bond model, where points are joined randomly (with equal probability at all length scales) to have a given coordination, and then subsequently bonds are randomly removed.Comment: RevTeX 11 pages + epsfig embedded figures. Submitted to Phys. Rev.

Outcomes of different health care contexts for direct transport to a trauma center versus initial secondary center care: A systematic review and meta-analysis

Introduction: Within a trauma system, pre-hospital care is the first step in managing the trauma patient. Timely and appropriate transport of the injured patient to the most appropriate facility is important. Many trauma systems mandate that serious trauma cases are transported directly to a level I trauma center unless transfer to a closer hospital is deemed necessary to resuscitate and stabilize the patient prior to onward transfer to definitive care. Statistical and clinical heterogeneity is often high and is likely to be influenced by the heath care context.Methods: We conducted a systematic review and meta-analysis to compare patient outcomes for patients with serious trauma transported directly to a Level I/II trauma center (‘direct’ group) to those transported to a healthcare facility before transfer to the Level I/II trauma center (‘transfer’ group). A search of bibliographic databases and secondary sources that focus on trauma was made. Studies were grouped by region: United States of America, Canada, Europe, Asia, Australia and New Zealand and South Africa.Results: The review included 43,554 patients from the 30 studies that met the selection criteria. Heterogeneity of the studies was high (I2 71%) overall but low for European, Asian, and Australian and New Zealand studies. There was considerable variation between studies in the structure, policies and practices of the respective trauma systems. The effect of “directness” on patient outcomes was inconsistent.Conclusion: The current research evidence does not support nor refute a position that all serious trauma patients be routinely transported directly to a level I/II trauma center. As this is a complex issue, local health-care context and injury profile influence trauma policy and practice

It's Hard to Learn How Gravity and Electromagnetism Couple

We construct the most general effective Lagrangian coupling gravity and electromagnetism up to mass dimension 6 by enumerating all possible non-minimal coupling terms respecting both diffeomorphism and gauge invariance. In all, there are only two unique terms after field re-definitions; one is known to arise from loop effects in QED while the other is a parity violating term which may be generated by weak interactions within the standard model of particle physics. We show that neither the cosmological propagation of light nor, contrary to earlier claims, solar system tests of General Relativity are useful probes of these terms. These non-minimal couplings of gravity and electromagnetism may remain a mystery for the foreseeable future.Comment: 9 pages. Minor corrections made. To appear in Phys. Rev.

Conditions for the Quantum to Classical Transition: Trajectories vs. Phase Space Distributions

We contrast two sets of conditions that govern the transition in which classical dynamics emerges from the evolution of a quantum system. The first was derived by considering the trajectories seen by an observer (dubbed the ``strong'' transition) [Bhattacharya, et al., Phys. Rev. Lett. 85: 4852 (2000)], and the second by considering phase-space densities (the ``weak'' transition) [Greenbaum, et al., Chaos 15, 033302 (2005)]. On the face of it these conditions appear rather different. We show, however, that in the semiclassical regime, in which the action of the system is large compared to $\hbar$, and the measurement noise is small, they both offer an essentially equivalent local picture. Within this regime, the weak conditions dominate while in the opposite regime where the action is not much larger than Planck's constant, the strong conditions dominate.Comment: 8 pages, 2 eps figure

Element specific characterization of heterogeneous magnetism in (Ga,Fe)N films

We employ x-ray spectroscopy to characterize the distribution and magnetism of particular alloy constituents in (Ga,Fe)N films grown by metal organic vapor phase epitaxy. Furthermore, photoelectron microscopy gives direct evidence for the aggregation of Fe ions, leading to the formation of Fe-rich nanoregions adjacent to the samples surface. A sizable x-ray magnetic circular dichroism (XMCD) signal at the Fe L-edges in remanence and at moderate magnetic fields at 300 K links the high temperature ferromagnetism with the Fe(3d) states. The XMCD response at the N K-edge highlights that the N(2p) states carry considerable spin polarization. We conclude that FeN{\delta} nanocrystals, with \delta > 0.25, stabilize the ferromagnetic response of the films.Comment: 4 pages, 3 figures, 1 tabl

Magnetic structure of free cobalt clusters studied with Stern-Gerlach deflection experiments

We have studied the magnetic properties of free cobalt clusters in two semi-independent Stern-Gerlach deflection experiments at temperatures between 60 and 307 K. We find that clusters consisting of 13 to 200 cobalt atoms exhibit behavior that is entirely consistent with superparamagnetism, though complicated by finite-system fluctuations in cluster temperature. By fitting the data to the Langevin function, we report magnetic moments per atom for each cobalt cluster size and compare the results of our two measurements and all those performed previously. In addition to a gradual decrease in moment per atom with increasing size, there are oscillations that appear to be caused by geometrical shell structure. We discuss our observations in light of the two competing models for Langevin-like magnetization behavior in free clusters, superparamagnetism and adiabatic magnetization, and conclude that the evidence strongly supports the superparamagnetic model

Statistical Communication Theory

Contains reports on six research projects

One-loop corrections to the instanton transition in the two-dimensional Abelian Higgs model

We present an evaluation of the fluctuation determinant which appears as a prefactor in the instanton transition rate for the two-dimensional Abelian Higgs model. The corrections are found to change the rate at most by a factor of 2 for 0.4 < M_W/M_H < 2.0.Comment: DO-TH-94/17, 20 pages, 4 figures appended as uucompressed .eps files, LaTeX, needs epsfig.st