Nets, relations and linking diagrams

In recent work, the author and others have studied compositional algebras of Petri nets. Here we consider mathematical aspects of the pure linking algebras that underly them. We characterise composition of nets without places as the composition of spans over appropriate categories of relations, and study the underlying algebraic structures.Comment: 15 pages, Proceedings of 5th Conference on Algebra and Coalgebra in Computer Science (CALCO), Warsaw, Poland, 3-6 September 201

Precautionary labelling of foods for allergen content: are we ready for a global framework?

© 2014 Allen et al.; licensee BioMed Central Ltd.Food allergy appears to be on the rise with the current mainstay of treatment centred on allergen avoidance. Mandatory allergen labelling has improved the safety of food for allergic consumers. However an additional form of voluntary labelling (termed precautionary allergen labelling) has evolved on a wide range of packaged goods, in a bid by manufacturers to minimise risk to customers, and the negative impact on business that might result from exposure to trace amounts of food allergen present during cross-contamination during production. This has resulted in near ubiquitous utilisation of a multitude of different precautionary allergen labels with subsequent confusion amongst many consumers as to their significance. The global nature of food production and manufacturing makes harmonisation of allergen labelling regulations across the world a matter of increasing importance. Addressing inconsistencies across countries with regards to labelling legislation, as well as improvement or even banning of precautionary allergy labelling are both likely to be significant steps forward in improved food safety for allergic families. This article outlines the current status of allergen labelling legislation around the world and reviews the value of current existing precautionary allergen labelling for the allergic consumer. We strongly urge for an international framework to be considered to help roadmap a solution to the weaknesses of the current systems, and discuss the role of legislation in facilitating this

Environment and classical channels in categorical quantum mechanics

We present a both simple and comprehensive graphical calculus for quantum computing. In particular, we axiomatize the notion of an environment, which together with the earlier introduced axiomatic notion of classical structure enables us to define classical channels, quantum measurements and classical control. If we moreover adjoin the earlier introduced axiomatic notion of complementarity, we obtain sufficient structural power for constructive representation and correctness derivation of typical quantum informatic protocols.Comment: 26 pages, many pics; this third version has substantially more explanations than previous ones; Journal reference is of short 14 page version; Proceedings of the 19th EACSL Annual Conference on Computer Science Logic (CSL), Lecture Notes in Computer Science 6247, Springer-Verlag (2010

Alkaline iron(III) reduction by a novel alkaliphilic, halotolerant, \u3ci\u3eBacillus\u3c/i\u3e sp. isolated from salt flat sediments of Soap Lake

A halotolerant, alkaliphilic dissimilatory Fe(III)-reducing bacterium, strain SFB, was isolated from salt flat sediments collected from Soap Lake, WA. 16S ribosomal ribonucleic acid gene sequence analysis identified strain SFB as a novel Bacillus sp. most similar to Bacillus agaradhaerens (96.7% similarity). Strain SFB, a fermentative, facultative anaerobe, fermented various hexoses including glucose and fructose. The fructose fermentation products were lactate, acetate, and formate. Under fructose-fermenting conditions in a medium amended with Fe(III), Fe(II) accumulated concomitant with a stoichiometric decrease in lactate and an increase in acetate and CO2. Strain SFB was also capable of respiratory Fe(III) reduction with some unidentified component(s) of Luria broth as an electron donor. In addition to Fe(III), strain SFB could also utilize nitrate, fumarate, or O2 as alternative electron acceptors. Optimum growth was observed at 30°C and pH 9. Although the optimal salinity for growth was 0%, strain SFB could grow in a medium with up to 15% NaCl by mass. These studies describe a novel alkaliphilic, halotolerant organism capable of dissimilatory Fe(III) reduction under extreme conditions and demonstrate that Bacillus species can contribute to the microbial reduction of Fe(III) in environments at elevated pH and salinity, such as soda lakes

Alkaline iron(III) reduction by a novel alkaliphilic, halotolerant, \u3ci\u3eBacillus\u3c/i\u3e sp. isolated from salt flat sediments of Soap Lake

A halotolerant, alkaliphilic dissimilatory Fe(III)-reducing bacterium, strain SFB, was isolated from salt flat sediments collected from Soap Lake, WA. 16S ribosomal ribonucleic acid gene sequence analysis identified strain SFB as a novel Bacillus sp. most similar to Bacillus agaradhaerens (96.7% similarity). Strain SFB, a fermentative, facultative anaerobe, fermented various hexoses including glucose and fructose. The fructose fermentation products were lactate, acetate, and formate. Under fructose-fermenting conditions in a medium amended with Fe(III), Fe(II) accumulated concomitant with a stoichiometric decrease in lactate and an increase in acetate and CO2. Strain SFB was also capable of respiratory Fe(III) reduction with some unidentified component(s) of Luria broth as an electron donor. In addition to Fe(III), strain SFB could also utilize nitrate, fumarate, or O2 as alternative electron acceptors. Optimum growth was observed at 30°C and pH 9. Although the optimal salinity for growth was 0%, strain SFB could grow in a medium with up to 15% NaCl by mass. These studies describe a novel alkaliphilic, halotolerant organism capable of dissimilatory Fe(III) reduction under extreme conditions and demonstrate that Bacillus species can contribute to the microbial reduction of Fe(III) in environments at elevated pH and salinity, such as soda lakes

The GHZ/W-calculus contains rational arithmetic

Graphical calculi for representing interacting quantum systems serve a number of purposes: compositionally, intuitive graphical reasoning, and a logical underpinning for automation. The power of these calculi stems from the fact that they embody generalized symmetries of the structure of quantum operations, which, for example, stretch well beyond the Choi-Jamiolkowski isomorphism. One such calculus takes the GHZ and W states as its basic generators. Here we show that this language allows one to encode standard rational calculus, with the GHZ state as multiplication, the W state as addition, the Pauli X gate as multiplicative inversion, and the Pauli Z gate as additive inversion.Comment: In Proceedings HPC 2010, arXiv:1103.226

Simulated ecology-driven sympatric speciation

We introduce a multi-locus genetically acquired phenotype, submitted to mutations and with selective value, in an age-structured model for biological aging. This phenotype describes a single-trait effect of the environment on an individual, and we study the resulting distribution of this trait among the population. In particular, our simulations show that the appearance of a double phenotypic attractor in the ecology induces the emergence of a stable polymorphism, as observed in the Galapagos finches. In the presence of this polymorphism, the simulations generate short-term speciation, when mating preferences are also allowed to suffer mutations and acquire selective value.Comment: 11 pages, 5 figures, 1 table, uses package RevTe

Three qubit entanglement within graphical Z/X-calculus

The compositional techniques of categorical quantum mechanics are applied to analyse 3-qubit quantum entanglement. In particular the graphical calculus of complementary observables and corresponding phases due to Duncan and one of the authors is used to construct representative members of the two genuinely tripartite SLOCC classes of 3-qubit entangled states, GHZ and W. This nicely illustrates the respectively pairwise and global tripartite entanglement found in the W- and GHZ-class states. A new concept of supplementarity allows us to characterise inhabitants of the W class within the abstract diagrammatic calculus; these method extends to more general multipartite qubit states.Comment: In Proceedings HPC 2010, arXiv:1103.226

Picturing classical and quantum Bayesian inference

We introduce a graphical framework for Bayesian inference that is sufficiently general to accommodate not just the standard case but also recent proposals for a theory of quantum Bayesian inference wherein one considers density operators rather than probability distributions as representative of degrees of belief. The diagrammatic framework is stated in the graphical language of symmetric monoidal categories and of compact structures and Frobenius structures therein, in which Bayesian inversion boils down to transposition with respect to an appropriate compact structure. We characterize classical Bayesian inference in terms of a graphical property and demonstrate that our approach eliminates some purely conventional elements that appear in common representations thereof, such as whether degrees of belief are represented by probabilities or entropic quantities. We also introduce a quantum-like calculus wherein the Frobenius structure is noncommutative and show that it can accommodate Leifer's calculus of `conditional density operators'. The notion of conditional independence is also generalized to our graphical setting and we make some preliminary connections to the theory of Bayesian networks. Finally, we demonstrate how to construct a graphical Bayesian calculus within any dagger compact category.Comment: 38 pages, lots of picture

Can sexual selection drive female life histories? A comparative study on Galliform birds

Sexual selection is an important driver of many of the most spectacular morphological traits that we find in the animal kingdom (for example see Andersson, 1994). As such, sexual selection is most often emphasized as