The non-Abelian state-dependent gauge field in optics

The covariant formulation of the quantum dynamics in CP(1) should lead to the observable geometrodynamical effects for the local dynamical variable of the light polarization states.Comment: 8 pages, 3 figures, LaTe

Logical Pre- and Post-Selection Paradoxes, Measurement-Disturbance and Contextuality

Many seemingly paradoxical effects are known in the predictions for outcomes of measurements made on pre- and post-selected quantum systems. A class of such effects, which we call “logical pre- and post-selection paradoxes”, bear a striking resemblance to proofs of the Bell-Kochen-Specker theorem, which suggests that they demonstrate the contextuality of quantum mechanics. Despite the apparent similarity, we show that such effects can occur in noncontextual hidden variable theories, provided measurements are allowed to disturb the values of the hidden variables

Measuring Polynomial Invariants of Multi-Party Quantum States

We present networks for directly estimating the polynomial invariants of multi-party quantum states under local transformations. The structure of these networks is closely related to the structure of the invariants themselves and this lends a physical interpretation to these otherwise abstract mathematical quantities. Specifically, our networks estimate the invariants under local unitary (LU) transformations and under stochastic local operations and classical communication (SLOCC). Our networks can estimate the LU invariants for multi-party states, where each party can have a Hilbert space of arbitrary dimension and the SLOCC invariants for multi-qubit states. We analyze the statistical efficiency of our networks compared to methods based on estimating the state coefficients and calculating the invariants.Comment: 8 pages, 4 figures, RevTex4, v2 references update

Reversible Intercalation of Fluoride-Anion Receptor Complexes in Graphite

We have demonstrated a route to reversibly intercalate fluoride-anion receptor complexes in graphite via a nonaqueous electrochemical process. This approach may find application for a rechargeable lithium–fluoride dual-ion intercalating battery with high specific energy. The cell chemistry presented here uses graphite cathodes with LiF dissolved in a nonaqueous solvent through the aid of anion receptors. Cells have been demonstrated with reversible cathode specific capacity of approximately 80 mAh/g at discharge plateaus of upward of 4.8 V, with graphite staging of the intercalant observed via in situ synchrotron X-ray diffraction during charging. Electrochemical impedance spectroscopy and 11B nuclear magnetic resonance studies suggest that co-intercalation of the anion receptor with the fluoride occurs during charging, which likely limits the cathode specific capacity. The anion receptor type dictates the extent of graphite fluorination, and must be further optimized to realize high theoretical fluorination levels. To find these optimal anion receptors, we have designed an ab initio calculations-based scheme aimed at identifying receptors with favorable fluoride binding and release properties

Interaction and observation: categorical semantics of reactive systems trough dialgebras

We use dialgebras, generalising both algebras and coalgebras, as a complement of the standard coalgebraic framework, aimed at describing the semantics of an interactive system by the means of reaction rules. In this model, interaction is built-in, and semantic equivalence arises from it, instead of being determined by a (possibly difficult) understanding of the side effects of a component in isolation. Behavioural equivalence in dialgebras is determined by how a given process interacts with the others, and the obtained observations. We develop a technique to inter-define categories of dialgebras of different functors, that in particular permits us to compare a standard coalgebraic semantics and its dialgebraic counterpart. We exemplify the framework using the CCS and the pi-calculus. Remarkably, the dialgebra giving semantics to the pi-calculus does not require the use of presheaf categories

An Algebra of Hierarchical Graphs

We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can be understood as a high-level language for describing graphs with a node-sharing, embedding structure, and it is then well suited for defining graphical representations of software models where nesting and linking are key aspects

Deriving Bisimulation Congruences: 2-categories vs precategories

G-relative pushouts (GRPOs) have recently been proposed by the authors as a new foundation for Leifer and Milner’s approach to deriving labelled bisimulation congruences from reduction systems. This paper develops the theory of GRPOs further, arguing that they provide a simple and powerful basis towards a comprehensive solution. As an example, we construct GRPOs in a category of ‘bunches and wirings.’ We then examine the approach based on Milner’s precategories and Leifer’s functorial reactive systems, and show that it can be recast in a much simpler way into the 2-categorical theory of GRPOs

Thermal decomposition of a fullerene mix

Experiments to characterize fullerene decomposition at temperatures above 973 K were conducted by spectroscopic analysis of samples heated in vacuo. The thermal decomposition can be described by first-order kinetics with an activation energy of 266±9 kJ/mol and a preexponential factor of 1.24×10^(9) s^-1. Though scanning electron micrographs display structures with a distinctly faceted appearance, x-ray diffraction, Raman spectroscopy, and transmission-electron microscopy all show that the material is composed of amorphous carbon and graphite, indicating that pyrolysis of the fullerite occurs without destroying crystal facets