Reliability modeling of a 1-out-of-2 system: Research with diverse Off-the-shelf SQL database servers

Fault tolerance via design diversity is often the only viable way of achieving sufficient dependability levels when using off-the-shelf components. We have reported previously on studies with bug reports of four open-source and commercial off-the-shelf database servers and later release of two of them. The results were very promising for designers of fault-tolerant solutions that wish to employ diverse servers: very few bugs caused failures in more than one server and none caused failure in more than two. In this paper we offer details of two approaches we have studied to construct reliability growth models for a 1-out-of-2 fault-tolerant server which utilize the bug reports. The models presented are of practical significance to system designers wishing to employ diversity with off-the-shelf components since often the bug reports are the only direct dependability evidence available to them

Oxygen-stripes in La0.5Ca0.5MnO3 from ab initio calculations

We investigate the electronic, magnetic and orbital properties of La0.5Ca0.5MnO3 perovskite by means of an ab initio electronic structure calculation within the Hartree-Fock approximation. Using the experimental crystal structure reported by Radaelli et al. [Phys. Rev B 55, 3015 (1997)], we find a charge-ordering stripe-like ground state. The periodicity of the stripes, and the insulating CE-type magnetic structure are in agreement with neutron x-ray and electron diffraction experiments. However, the detailed structure is more complex than that envisaged by simple models of charge and orbital order on Mn d-levels alone, and is better described as a charge-density wave of oxygen holes, coupled to the Mn spin/orbital order.Comment: 4 pages, 3 figures. Version accepted for publication in PR

Gel'fand-Zetlin Basis and Clebsch-Gordan Coefficients for Covariant Representations of the Lie superalgebra gl(m|n)

A Gel'fand-Zetlin basis is introduced for the irreducible covariant tensor representations of the Lie superalgebra gl(m|n). Explicit expressions for the generators of the Lie superalgebra acting on this basis are determined. Furthermore, Clebsch-Gordan coefficients corresponding to the tensor product of any covariant tensor representation of gl(m|n) with the natural representation V ([1,0,...,0]) of gl(m|n) with highest weight (1,0,. . . ,0) are computed. Both results are steps for the explicit construction of the parastatistics Fock space.Comment: 16 page

Parafermions, parabosons and representations of so(\infty) and osp(1|\infty)

The goal of this paper is to give an explicit construction of the Fock spaces of the parafermion and the paraboson algebra, for an infinite set of generators. This is equivalent to constructing certain unitary irreducible lowest weight representations of the (infinite rank) Lie algebra so(\infty) and of the Lie superalgebra osp(1|\infty). A complete solution to the problem is presented, in which the Fock spaces have basis vectors labelled by certain infinite but stable Gelfand-Zetlin patterns, and the transformation of the basis is given explicitly. We also present expressions for the character of the Fock space representations

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

Integrity bases for local invariants of composite quantum systems

Unitary group branchings appropriate to the calculation of local invariants of density matrices of composite quantum systems are formulated using the method of $S$-function plethysms. From this, the generating function for the number of invariants at each degree in the density matrix can be computed. For the case of two two-level systems the generating function is $F(q) = 1 + q + 4q^{2} + 6 q^{3} + 16 q^{4} + 23 q^{5} + 52 q^{6} + 77 q^{7} + 150 q^{8} + 224 q^{9} + 396 q^{10} + 583 q^{11}+ O(q^{12})$. Factorisation of such series leads in principle to the identification of an integrity basis of algebraically independent invariants. This note replaces Appendix B of our paper\cite{us} J Phys {\bf A33} (2000) 1895-1914 (\texttt{quant-ph/0001076}) which is incorrect.Comment: Latex, 4 pages, correcting Appendix B of quant-ph/0001076 Error in $F(q)$ corrected and conclusions modified accordingl

Hermitian Young Operators

Starting from conventional Young operators we construct Hermitian operators which project orthogonally onto irreducible representations of the (special) unitary group.Comment: 15 page