cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-2 of 2 results.

A085656 Number of positive-definite real {0,1} n X n matrices.

Original entry on oeis.org

1, 3, 27, 681, 43369, 6184475, 1688686483, 665444089745
Offset: 1

Views

Author

N. J. A. Sloane, Jul 12 2003

Keywords

Comments

A real matrix M is positive-definite if x M x' > 0 for all nonzero real vectors x. Equivalently, all eigenvalues of M + M' are positive.
M need not be symmetric. For the number of different values of M + M' see A085657. - Max Alekseyev, Dec 13 2005

Examples

			For n = 2 the three matrices are {{{1, 0}, {0, 1}}, {{1, 0}, {1, 1}}, {{1, 1}, {0, 1}}}.
		

Crossrefs

Cf. A055165, which counts nonsingular {0, 1} matrices and A085506, which counts {-1, 0, 1} matrices with positive eigenvalues.
Cf. A085657, A085658, A086215, A038379 (positive semi-definite matrices), A080858, A083029.

Programs

  • Mathematica
    Table[Count[Tuples[{0, 1}, {n, n}], ?PositiveDefiniteMatrixQ], {n, 4}] (* _Eric W. Weisstein, Jan 03 2021 *)
  • PARI
    { a(n) = M=matrix(n,n,i,j,2*(i==j)); r=0; b(1); r } { b(k) = local(t); if(k>n, t=0; for(i=1,n, for(j=1,i-1, if(M[i,j]==1,t++); )); r+=2^t; return; ); forvec(x=vector(k-1,i,[0,1]), for(i=1,k-1,M[k,i]=M[i,k]=x[i]); if( matdet(vecextract(M,2^k-1,2^k-1),1)>0, b(k+1) ) ) } (Alekseyev)

Extensions

More terms from Max Alekseyev, Dec 13 2005

A364886 Number of n X n (-1, 1)-matrices which have only eigenvalues with strictly negative real part (which implies that the matrix has all nonzero eigenvalues).

Original entry on oeis.org

1, 2, 20, 640, 97824, 47545088
Offset: 1

Views

Author

Thomas Scheuerle, Aug 12 2023

Keywords

Comments

As this problem is symmetric with sign we can get the same numbers for strictly positive real parts.
All values for n > 1 are even, because a transposed matrix has the same spectrum of eigenvalues.
Matrices with determinant 0 are not counted.
Let M be such a matrix then the limit of ||exp(t*M)*y|| if t goes to infinity will be zero.
n = 5 is the first case where not all entries on the main diagonal are -1. 93984 matrices with 5 times -1 on the main diagonal and 5*768 with 4 times -1 on the main diagonal have only eigenvalues with strictly negative real part.
In the case n = 6, 43586048 matrices with 6 times -1 on the main diagonal, 6*656000 matrices with 5 times -1 on the main diagonal and 15*1536 matrices with 5 times -1 on the main diagonal have only eigenvalues with strictly negative real part.

Examples

			For n = 2 the matrices are:
.
    -1,  1
    -1, -1
.
    -1, -1
     1, -1.
		

Crossrefs

Showing 1-2 of 2 results.