Vol. 44, No. 2, 1973

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 329: 1  2
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 1  2
Vol. 323: 1  2
Vol. 322: 1  2
Online Archive
The Journal
About the journal
Ethics and policies
Peer-review process
Submission guidelines
Submission form
Editorial board
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Special Issues
Author index
To appear
Other MSP journals
Counterexamples to conjectures of Ryser and de Oliveira

Roy Bruce Levow

Vol. 44 (1973), No. 2, 603–606

Let U(n;k) be the set of all n×n binary matrices with k ones in each row and column. Considering the relation between the permanent and the determinant for matrices in U(n;k), Tinsley established the following result:

Theorem: Let C U(7;3) be the cyclic matrix defined by the differences 0,1,3( mod 7). Let A U(n;k) with k 3. Suppose that there are permutation matrices P1,P2,,Pk U(n;1) such that A = P1 + P2 + + Pk and PiPj = PjPi(i,j = 1,,k). Then per A = |detA| if and only if k = 3, 7 |n, and the rows and columns of A can be permuted in euch a way that the resulting matrix is the direct sum of C taken n∕7 times. Ryser posed

Conjecture I. Tinsley’s Theorem remains valid when the condition PiPj = PjPi(i,j = 1,,k) is dropped.

Discovery of counterexamples to Conjecture I leads directly to counterexamples to the following conjecture of de Oliveira:

Conjecture II. Let A be an n×n doubly stochastic irreducible matrix. If n is even, then f(z) = per (zI A) has no real roots; if n is odd, then f(z) = per(zI A) has one and only real root.

Mathematical Subject Classification 2000
Primary: 15A36
Secondary: 15A51
Received: 18 October 1971
Revised: 19 January 1972
Published: 1 February 1973
Roy Bruce Levow