Software fault-freeness and reliability predictions

Many software development practices aim at ensuring that software is correct, or fault-free. In safety critical applications, requirements are in terms of probabilities of certain behaviours, e.g. as associated to the Safety Integrity Levels of IEC 61508. The two forms of reasoning - about evidence of correctness and about probabilities of certain failures -are rarely brought together explicitly. The desirability of using claims of correctness has been argued by many authors, but not been taken up in practice. We address how to combine evidence concerning probability of failure together with evidence pertaining to likelihood of fault-freeness, in a Bayesian framework. We present novel results to make this approach practical, by guaranteeing reliability predictions that are conservative (err on the side of pessimism), despite the difficulty of stating prior probability distributions for reliability parameters. This approach seems suitable for practical application to assessment of certain classes of safety critical systems

Amplitude-mode dynamics of polariton condensates

We study the stability of collective amplitude excitations in non-equilibrium polariton condensates. These excitations correspond to renormalized upper polaritons and to the collective amplitude modes of atomic gases and superconductors. They would be present following a quantum quench or could be created directly by resonant excitation. We show that uniform amplitude excitations are unstable to the production of excitations at finite wavevectors, leading to the formation of density-modulated phases. The physical processes causing the instabilities can be understood by analogy to optical parametric oscillators and the atomic Bose supernova.Comment: 4 pages, 2 figure

Excitons in T-shaped quantum wires

We calculate energies, oscillator strengths for radiative recombination, and two-particle wave functions for the ground state exciton and around 100 excited states in a T-shaped quantum wire. We include the single-particle potential and the Coulomb interaction between the electron and hole on an equal footing, and perform exact diagonalisation of the two-particle problem within a finite basis set. We calculate spectra for all of the experimentally studied cases of T-shaped wires including symmetric and asymmetric GaAs/Al$_{x}$Ga$_{1-x}$As and In$_{y}$Ga$_{1-y}$As/Al$_{x}$Ga$_{1-x}$As structures. We study in detail the shape of the wave functions to gain insight into the nature of the various states for selected symmetric and asymmetric wires in which laser emission has been experimentally observed. We also calculate the binding energy of the ground state exciton and the confinement energy of the 1D quantum-wire-exciton state with respect to the 2D quantum-well exciton for a wide range of structures, varying the well width and the Al molar fraction $x$. We find that the largest binding energy of any wire constructed to date is 16.5 meV. We also notice that in asymmetric structures, the confinement energy is enhanced with respect to the symmetric forms with comparable parameters but the binding energy of the exciton is then lower than in the symmetric structures. For GaAs/Al$_{x}$Ga$_{1-x}$As wires we obtain an upper limit for the binding energy of around 25 meV in a 10 {\AA} wide GaAs/AlAs structure which suggests that other materials must be explored in order to achieve room temperature applications. There are some indications that In$_{y}$Ga$_{1-y}$As/Al$_{x}$Ga$_{1-x}$As might be a good candidate.Comment: 20 pages, 10 figures, uses RevTeX and psfig, submitted to Physical Review

Give us a game : evaluating the opportunities that exist for English footballers to play in the English Premier League

The purpose of this study was to provide a detailed, large-scale retrospective analysis of the number of English footballers that have been developed to play in the English Premier League (EPL) over twenty seasons. Unlike previous research, we examined appearance data as opposed to percentage of squad data enabling a more accurate representation of English players appearing in the EPL. The findings revealed a steady decline in the number and proportion of appearances made by English players in the EPL throughout the twenty season period. However, the results also indicated that the rate of decline had abated since the inception of UEFA's home-grown rule. The results support the view that opportunities for indigenous players have diminished since the EPL's inception. Given the short-term, results-focused culture that prevails in the EPL, this would appear to present a major challenge for governing bodies, particularly those working in elite player development. Discussion surrounding how these challenges might be met is presented

Dipolar superfluidity in electron-hole bilayer systems

Bilayer electron-hole systems, where the electrons and holes are created via doping and confined to separate layers, undergo excitonic condensation when the distance between the layers is smaller than typical distance between particles within a layer. We argue that the excitonic condensate is a novel dipolar superfluid in which the phase of the condensate couples to the {\it gradient} of the vector potential. We predict the existence of dipolar supercurrent which can be tuned by an in-plane magnetic field and detected by independent contacts to the layers. Thus the dipolar superfluid offers an example of excitonic condensate in which the {\it composite} nature of its constituent excitons is manifest in the macroscopic superfluid state. We also discuss various properties of this superfluid including the role of vortices.Comment: 5 pages, 1 figure, minor changes and added few references; final published versio

The first next-generation sequencing approach to the mitochondrial phylogeny of African monogenean parasites (Platyhelminthes: Gyrodactylidae and Dactylogyridae)

Abstract Background Monogenean flatworms are the main ectoparasites of fishes. Representatives of the species-rich families Gyrodactylidae and Dactylogyridae, especially those infecting cichlid fishes and clariid catfishes, are important parasites in African aquaculture, even more so due to the massive anthropogenic translocation of their hosts worldwide. Several questions on their evolution, such as the phylogenetic position of Macrogyrodactylus and the highly speciose Gyrodactylus, remain unresolved with available molecular markers. Also, diagnostics and population-level research would benefit from the development of higher-resolution genetic markers. We aim to offer genetic resources for work on African monogeneans by providing mitogenomic data of four species (two belonging to Gyrodactylidae, two to Dactylogyridae), and analysing their gene sequences and gene order from a phylogenetic perspective. Results Using Illumina technology, the first four mitochondrial genomes of African monogeneans were assembled and annotated for the cichlid parasites Gyrodactylus nyanzae, Cichlidogyrus halli, Cichlidogyrus mbirizei (near-complete mitogenome) and the catfish parasite Macrogyrodactylus karibae (near-complete mitogenome). Complete nuclear ribosomal operons were also retrieved, as molecular vouchers. The start codon TTG is new for Gyrodactylus and for Dactylogyridae, as is the incomplete stop codon TA for Dactylogyridae. Especially the nad2 gene is promising for primer development. Gene order was identical for protein-coding genes and differed between the African representatives of these families only in a tRNA gene transposition. A mitochondrial phylogeny based on an alignment of nearly 12,500 bp including 12 protein-coding and two ribosomal RNA genes confirms that the Neotropical oviparous Aglaiogyrodactylus forficulatus takes a sister group position with respect to the other gyrodactylids, instead of the supposedly ‘primitive’ African Macrogyrodactylus. Inclusion of the African Gyrodactylus nyanzae confirms the paraphyly of Gyrodactylus. The position of the African dactylogyrid Cichlidogyrus is unresolved, although gene order suggests it is closely related to marine ancyrocephalines. Conclusions The amount of mitogenomic data available for gyrodactylids and dactylogyrids is increased by roughly one-third. Our study underscores the potential of mitochondrial genes and gene order in flatworm phylogenetics, and of next-generation sequencing for marker development for these non-model helminths for which few primers are available

Peierls to superfluid crossover in the one-dimensional, quarter-filled Holstein model

We use continuous-time quantum Monte Carlo simulations to study retardation effects in the metallic, quarter-filled Holstein model in one dimension. Based on results which include the one- and two-particle spectral functions as well as the optical conductivity, we conclude that with increasing phonon frequency the ground state evolves from one with dominant diagonal order---2k_F charge correlations---to one with dominant off-diagonal fluctuations, namely s-wave pairing correlations. In the parameter range of this crossover, our numerical results support the existence of a spin gap for all phonon frequencies. The crossover can hence be interpreted in terms of preformed pairs corresponding to bipolarons, which are essentially localised in the Peierls phase, and "condense" with increasing phonon frequency to generate dominant pairing correlations.Comment: 11 pages, 5 figure

Quasiparticles in the superconducting state of Bi2Sr2CaCu2O8

Recent improvements in momentum resolution by a factor of 32 lead to qualitatively new ARPES results on the spectra of Bi2Sr2CaCu2O8 (Bi2212) along the (pi,pi) direction, where there is a node in the superconducting gap. With improved resolution, we now see the intrinsic lineshape, which indicates the presence of true quasiparticles at the Fermi momentum in the superconducting state, and lack thereof in the normal state. The region of momentum space probed here is relevant for charge transport, motivating a comparison of our results to conductivity measurements by infrared reflectivity.Comment: revised paper with new figure

Gain in a quantum wire laser of high uniformity

A multi-quantum wire laser operating in the 1-D ground state has been achieved in a very high uniformity structure that shows free exciton emission with unprecedented narrow width and low lasing threshold. Under optical pumping the spontaneous emission evolves from a sharp free exciton peak to a red-shifted broad band. The lasing photon energy occurs about 5 meV below the free exciton. The observed shift excludes free excitons in lasing and our results show that Coulomb interactions in the 1-D electron-hole system shift the spontaneous emission and play significant roles in laser gain.Comment: 4 pages, 4 figures, prepared by RevTe