Analysis of Probabilistic Basic Parallel Processes

Basic Parallel Processes (BPPs) are a well-known subclass of Petri Nets. They are the simplest common model of concurrent programs that allows unbounded spawning of processes. In the probabilistic version of BPPs, every process generates other processes according to a probability distribution. We study the decidability and complexity of fundamental qualitative problems over probabilistic BPPs -- in particular reachability with probability 1 of different classes of target sets (e.g. upward-closed sets). Our results concern both the Markov-chain model, where processes are scheduled randomly, and the MDP model, where processes are picked by a scheduler.Comment: This is the technical report for a FoSSaCS'14 pape

The monopole mass in the three-dimensional Georgi-Glashow model

We study the three-dimensional Georgi-Glashow model to demonstrate how magnetic monopoles can be studied fully non-perturbatively in lattice Monte Carlo simulations, without any assumptions about the smoothness of the field configurations. We examine the apparent contradiction between the conjectured analytic connection of the `broken' and `symmetric' phases, and the interpretation of the mass (i.e., the free energy) of the fully quantised 't Hooft-Polyakov monopole as an order parameter to distinguish the phases. We use Monte Carlo simulations to measure the monopole free energy and its first derivative with respect to the scalar mass. On small volumes we compare this to semi-classical predictions for the monopole. On large volumes we show that the free energy is screened to zero, signalling the formation of a confining monopole condensate. This screening does not allow the monopole mass to be interpreted as an order parameter, resolving the paradox.Comment: 12 pages, 7 figures, uses revtex. Minor changes made to the text to match with the published version at http://link.aps.org/abstract/PRD/v65/e12500

On the glueball spectrum in O(a)-improved lattice QCD

We calculate the light `glueball' mass spectrum in N_f=2 lattice QCD using a fermion action that is non-perturbatively O(a) improved. We work at lattice spacings a ~0.1 fm and with quark masses that range down to about half the strange quark mass. We find the statistical errors to be moderate and under control on relatively small ensembles. We compare our mass spectrum to that of quenched QCD at the same value of a. Whilst the tensor mass is the same (within errors), the scalar mass is significantly smaller in the dynamical lattice theory, by a factor of ~(0.84 +/- 0.03). We discuss what the observed m_q dependence of this suppression tells us about the dynamics of glueballs in QCD. We also calculate the masses of flux tubes that wind around the spatial torus, and extract the string tension from these. As we decrease the quark mass we see a small but growing vacuum expectation value for the corresponding flux tube operators. This provides clear evidence for `string breaking' and for the (expected) breaking of the associated gauge centre symmetry by sea quarks.Comment: 33pp LaTeX. Version to appear in Phys. Rev.

Loss of redundant gene expression after polyploidization in plants

Based on chromosomal location data of genes encoding 28 biochemical systems in allohexaploid wheat,Triticum aestivum L. (genomes AABBDD), it is concluded that the proportions of systems controlled by triplicate, duplicate, and single loci are 57%, 25%, and 18% respectively

The ‘caged torch procession’: Celebrities, protesters and the 2008 Olympic torch relay in London, Paris and San Francisco

Along with the opening and closing ceremonies, one of the major non-sports events associated with the modern Olympic Games is the torch relay. Although initiated in 1936, the relay has been subject to relatively little academic scrutiny. The events of April 2008 however will have cast a long shadow on the practice. This essay focuses primarily on one week (6–13 April) in the press coverage of the 2008 torch relay as the flame made its way from London to Paris in Europe and then to San Francisco in the USA. It discusses the interpretations offered in the mediated coverage about the relay, the Olympic movement, the host city and the locations where the relay was taking place, and critically analyses the role of agencies, both for and against the Olympics, that framed the ensuing debate