Recognizing Balanceable Matrices

A 0/±1 matrix is balanced if it does not contain a square submatrix with exactly two nonzero entries per row and per column in which the sum of all entries is 2 modulo 4. A 0/1 matrix is balanceable if its nonzero entries can be signed ±1 so that the resulting matrix is balanced. A signing algorithm due to Camion shows that the problems of recognizing balanced 0/±1 matrices and balanceable 0/1 matrices are equivalent. Conforti, Cornuéjols, Kapoor and Vušković gave an algorithm to test if a 0/±1 matrix is balanced. Truemper has characterized balanceable 0/1 matrices in terms of forbidden submatrices. In this paper we give an algorithm that explicitly finds one of these forbidden submatrices or shows that none exists. Received: October 2004     

Inclusive sum rules for isotopic spin

Inclusive sum rules for non-abelian symmetry generators and in particular for isospin are studied. A compact formalism is introduced which allows to exaract in a simple way all the consequences of invaraince properties.     

On the Logic of Common Belief

We investigate an axiomatization of the notion of common belief (knowledge) that makes use of no rules of inference (apart from Modus Ponens and Necessitation) and highlight the property of the set of accessibility relations that characterizes each axiom. Mathematics Subject Classification: 03B45, 68T25.     

Third-order tensor potentials for the Riemann and Weyl tensors

The representations of the Riemann and the Weyl tensors of a four-dimensional Riemannian manifold through covariant derivatives of third-order potentials are examined in detail. The Weyl tensor always admits a completely general representation whereas the Riemann tensor does not. Nevertheless there exists a class of Riemannian manifolds whose Riemann tensors may be calculated in terms of potentials; in this connection, specific examples are exhibited explicitly. The possibility of introducing gauges on the potentials is reexamined in connection with the previous result. New properties of the representations are also discussed.