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

Hopf algebras and characters of classical groups

Schur functions provide an integral basis of the ring of symmetric functions. It is shown that this ring has a natural Hopf algebra structure by identifying the appropriate product, coproduct, unit, counit and antipode, and their properties. Characters of covariant tensor irreducible representations of the classical groups GL(n), O(n) and Sp(n) are then expressed in terms of Schur functions, and the Hopf algebra is exploited in the determination of group-subgroup branching rules and the decomposition of tensor products. The analysis is carried out in terms of n-independent universal characters. The corresponding rings, CharGL, CharO and CharSp, of universal characters each have their own natural Hopf algebra structure. The appropriate product, coproduct, unit, counit and antipode are identified in each case.Comment: 9 pages. Uses jpconf.cls and jpconf11.clo. Presented by RCK at SSPCM'07, Myczkowce, Poland, Sept 200

Density and spin response functions in ultracold fermionic atom gases

We propose a new method of detecting the onset of superfluidity in a two-component ultracold fermionic gas of atoms governed by an attractive short-range interaction. By studying the two-body correlation functions we find that a measurement of the momentum distribution of the density and spin response functions allows one to access separately the normal and anomalous densities. The change in sign at low momentum transfer of the density response function signals the transition between a BEC and a BCS regimes, characterized by small and large pairs, respectively. This change in sign of the density response function represents an unambiguous signature of the BEC to BCS crossover. Also, we predict spin rotational symmetry-breaking in this system

Ferrodistortive instability at the (001) surface of half-metallic manganites

We present the structure of the fully relaxed (001) surface of the half-metallic manganite La0.7Sr0.3MnO3, calculated using density functional theory within the generalized gradient approximation (GGA). Two relevant ferroelastic order parameters are identified and characterized: The tilting of the oxygen octahedra, which is present in the bulk phase, oscillates and decreases towards the surface, and an additional ferrodistortive Mn off-centering, triggered by the surface, decays monotonically into the bulk. The narrow d-like energy band that is characteristic of unrelaxed manganite surfaces is shifted down in energy by these structural distortions, retaining its uppermost layer localization. The magnitude of the zero-temperature magnetization is unchanged from its bulk value, but the effective spin-spin interactions are reduced at the surface.Comment: 4 pages, 2 figure

Bayesian belief network model for the safety assessment of nuclear computer-based systems

The formalism of Bayesian Belief Networks (BBNs) is being increasingly applied to probabilistic modelling and decision problems in a widening variety of fields. This method provides the advantages of a formal probabilistic model, presented in an easily assimilated visual form, together with the ready availability of efficient computational methods and tools for exploring model consequences. Here we formulate one BBN model of a part of the safety assessment task for computer and software based nuclear systems important to safety. Our model is developed from the perspective of an independent safety assessor who is presented with the task of evaluating evidence from disparate sources: the requirement specification and verification documentation of the system licensee and of the system manufacturer; the previous reputation of the various participants in the design process; knowledge of commercial pressures;information about tools and resources used; and many other sources. Based on these multiple sources of evidence, the independent assessor is ultimately obliged to make a decision as to whether or not the system should be licensed for operation within a particular nuclear plant environment. Our BBN model is a contribution towards a formal model of this decision problem. We restrict attention to a part of this problem: the safety analysis of the Computer System Specification documentation. As with other BBN applications we see this modelling activity as having several potential benefits. It employs a rigorous formalism as a focus for examination, discussion, and criticism of arguments about safety. It obliges the modeller to be very explicit about assumptions concerning probabilistic dependencies, correlations, and causal relationships. It allows sensitivity analyses to be carried out. Ultimately we envisage this BBN, or some later development of it, forming part of a larger model, which might well take the form of a larger BBN model, covering all sources of evidence about pre-operational life-cycle stages. This could provide an integrated model of all aspects of the task of the independent assessor, leading up to the final judgement about system safety in a particular context. We expect to offer some results of this further work later in the DeVa project

The new physics of non-equilibrium condensates: insights from classical dynamics

We discuss the dynamics of classical Dicke-type models, aiming to clarify the mechanisms by which coherent states could develop in potentially non-equilibrium systems such as semiconductor microcavities. We present simulations of an undamped model which show spontaneous coherent states with persistent oscillations in the magnitude of the order parameter. These states are generalisations of superradiant ringing to the case of inhomogeneous broadening. They correspond to the persistent gap oscillations proposed in fermionic atomic condensates, and arise from a variety of initial conditions. We show that introducing randomness into the couplings can suppress the oscillations, leading to a limiting dynamics with a time-independent order parameter. This demonstrates that non-equilibrium generalisations of polariton condensates can be created even without dissipation. We explain the dynamical origins of the coherence in terms of instabilities of the normal state, and consider how it can additionally develop through scattering and dissipation.Comment: 10 pages, 4 figures, submitted for a special issue of J. Phys.: Condensed Matter on "Optical coherence and collective phenomena in nanostructures". v2: added discussion of links to exact solution

Thermodynamics and Excitations of Condensed Polaritons in Disordered Microcavities

We study the thermodynamic condensation of microcavity polaritons using a realistic model of disorder in semiconductor quantum wells. This approach correctly describes the polariton inhomogeneous broadening in the low density limit, and treats scattering by disorder to all orders in the condensed regime. While the weak disorder changes the thermodynamic properties of the transition little, the effects of disorder in the condensed state are prominent in the excitations and can be seen in resonant Rayleigh scattering.Comment: 5 pages, 3 eps figures (published version

Quantum indistinguishability from general representations of SU(2n)

A treatment of the spin-statistics relation in nonrelativistic quantum mechanics due to Berry and Robbins [Proc. R. Soc. Lond. A (1997) 453, 1771-1790] is generalised within a group-theoretical framework. The construction of Berry and Robbins is re-formulated in terms of certain locally flat vector bundles over n-particle configuration space. It is shown how families of such bundles can be constructed from irreducible representations of the group SU(2n). The construction of Berry and Robbins, which leads to a definite connection between spin and statistics (the physically correct connection), is shown to correspond to the completely symmetric representations. The spin-statistics connection is typically broken for general SU(2n) representations, which may admit, for a given value of spin, both bose and fermi statistics, as well as parastatistics. The determination of the allowed values of the spin and statistics reduces to the decomposition of certain zero-weight representations of a (generalised) Weyl group of SU(2n). A formula for this decomposition is obtained using the Littlewood-Richardson theorem for the decomposition of representations of U(m+n) into representations of U(m)*U(n).Comment: 32 pages, added example section 4.

Computing Hilbert Class Polynomials

We present and analyze two algorithms for computing the Hilbert class polynomial $H_D$ . The first is a p-adic lifting algorithm for inert primes p in the order of discriminant D < 0. The second is an improved Chinese remainder algorithm which uses the class group action on CM-curves over finite fields. Our run time analysis gives tighter bounds for the complexity of all known algorithms for computing $H_D$, and we show that all methods have comparable run times