Monomial ideals and the Scarf complex for coherent systems in reliability theory

A certain type of integer grid, called here an echelon grid, is an object found both in coherent systems whose components have a finite or countable number of levels and in algebraic geometry. If α = (α 1 ,...,α d ) is an integer vector representing the state of a system, then the corresponding algebraic object is a monomial x α 1 1 ...x αd d in the indeterminates x 1 ,...x d . The idea is to relate a coherent system to monomial ideals, so that the so-called Scarf complex of the monomial ideal yields an inclusion-exclusion identity for the probability of failure, which uses many fewer terms than the classical identity. Moreover in the general position case we obtain via the Scarf complex the tube bounds given by Naiman and Wynn [J. Inequal. Pure Appl. Math. (2001) 2 1-16]. Examples are given for the binary case but the full utility is for general multistate coherent systems and a comprehensive example is given.

[1]  D. Shier Network Reliability and Algebraic Structures , 1991 .

[2]  Klaus Dohmen,et al.  Improved Inclusion-Exclusion Identities and Bonferroni Inequalities with Applications to Reliability Analysis of Coherent Systems , 2001 .

[3]  Martin Kreuzer,et al.  Computational Commutative Algebra 1 , 2000 .

[4]  B. Giglio,et al.  Grobner bases, abstract tubes, and inclusion-exclusion reliability bounds , 2002, IEEE Trans. Reliab..

[5]  A. Satyanarayana,et al.  A Unified Formula for Analysis of Some Network Reliability Problems , 1982, IEEE Transactions on Reliability.

[6]  Aaron D. Wyner,et al.  Reliable Circuits Using Less Reliable Relays , 1993 .

[7]  T. Nishida,et al.  On Multistate Coherent Systems , 1984, IEEE Transactions on Reliability.

[8]  Francesco Mallegni,et al.  The Computation of Economic Equilibria , 1973 .

[9]  P. Diaconis,et al.  Algebraic algorithms for sampling from conditional distributions , 1998 .

[10]  Henry P. Wynn,et al.  Alexander Duality and Moments in Reliability Modelling , 2003, Applicable Algebra in Engineering, Communication and Computing.

[11]  D. Eisenbud Commutative Algebra: with a View Toward Algebraic Geometry , 1995 .

[12]  Richard E. Barlow,et al.  Engineering reliability , 1987 .

[13]  Klaus Dohmen,et al.  An improvement of the inclusion-exclusion principle , 1999 .

[14]  D. Naiman,et al.  Improved inclusion-exclusion inequalities for simplex and orthant arrangements , 2001 .

[15]  Bernd Sturmfels,et al.  Monomial Resolutions , 1996, alg-geom/9610012.

[16]  Herbert E. Scarf,et al.  The Computation of Economic Equilibria , 1974 .

[17]  A. Prabhakar,et al.  New Topological Formula and Rapid Algorithm for Reliability Analysis of Complex Networks , 1978, IEEE Transactions on Reliability.

[18]  David A. Cox,et al.  Ideals, Varieties, and Algorithms , 1997 .

[19]  Klaus Dohmen,et al.  Improved Inclusion-Exclusion Identities and Inequalities Based on a Particular Class of Abstract Tubes , 1999 .