×

Anti-Hadamard matrices, coin weighing, threshold gates, and indecomposable hypergraphs. (English) Zbl 0890.05011

The spectral norm of real matrix \(A\) is defined by \(|A|_s=\sup_{x\neq 0}|Ax|/|x|\), and if \(A\) is invertible then \(c(A)=|A|_s|A^-|_s\) is a condition number. This quantity measures are the sensibility of the equation \(Ax=b\) when the right hand side is changed. If \(c(A)\) is large, then \(A\) is called ill-conditioned. In this paper are investigated the most ill-conditioned \((0,1)\) (or \((-1,1)\)) matrices called anti-Hadamard matrices. Let \(A\) be a non-singular \((0,1)\)-matrix and \(B=A^{-1}=(b_{i,j}).\) Denote \[ \chi (A)=\max_{i,j}|b_{i,j}|\qquad \text{and}\qquad \chi(n)=\max_A\chi(A), \]
\[ \mu (A)=\sum_{i,j} b_{i,j}^2 \qquad \text{and} \qquad \mu (n)=\max_A\mu (A). \] A real function \(f\) is called super-multiplicative when \(f(m+n)\geq f(m)f(n)\) for all admissible \(m,n.\) \(A_n^1\) and \(A_n^2\) denote the sets of invertible \((0,1)\) and \((-1,+1)\)-matrices of order \(n\). Define \(\chi_i(n)=\max_{A\in A_n^i} \chi (A)\) for \(i=1,2\). The main result is the following theorem:
(1) For \(i=1\) and 2, the functions \(\chi_i(n)\) are super-multiplicative and satisfy \[ 2^{(1/2)n\log n -n(1+o(1))}\geq \chi_i(n)\geq 2^{(1/2)n\log n -n(2+o(1))}. \] (2) One can construct explicitly a matrix \(C^i\in A_n^i \) such that \[ \chi(C^i)\geq 2^{(1/2)n\log n -n(2+o(1))}, \] where the \(o(1)\) term tends to 0 as \(n\) tends to infinity.
Also some applications, as well as the estimation of the maximum possible norms of inverses of \((0,1)\) and \((-1,1)\)-matrices of order \(n\), and threshold gates with large weights are considered.

MSC:

05B20 Combinatorial aspects of matrices (incidence, Hadamard, etc.)
05C65 Hypergraphs
05A15 Exact enumeration problems, generating functions

References:

[1] Alon, N.; Berman, K., Regular hypergraphs, Gordon’s lemma, Steinitz’s lemma and Invariant theory, J. Combinatorial Theory, Ser. A, 43, 91-97 (1986) · Zbl 0611.05044
[2] Alon, N.; Kleitman, D. J.; Pomerance, K.; Saks, M.; Seymour, P. D., The smallest \(n\), Combinatorica, 7, 151-160 (1987) · Zbl 0629.05053
[5] Bell, R. J.T., An Elementary Treatise on Coordinate Geometry of Three Dimensions (1931), Macmillan: Macmillan London · JFM 41.0640.02
[6] Cohn, J. H.E., On the value of determinants, Proc. Amer. Math. Soc., 14, 581-588 (1963) · Zbl 0129.26702
[7] Golub, G. H.; Wilkinson, J. H., III-conditioned eigensystems and the computation of the Jordan canonical form, SIAM Rev., 18, 578-619 (1976) · Zbl 0341.65027
[8] Graver, J. E., A survey of the maximum depth problem for indecomposable exact covers, (Bolyai, J., Infinite and Finite Sets. Infinite and Finite Sets, Colloq. Math. Soc., 10 (1973), North-Holland: North-Holland Amsterdam) · Zbl 0306.05015
[9] Guy, R. K.; Nowakowsky, R. J., Coin-weighing problems, Am. Math. Monthly, 102, 164-167 (1995) · Zbl 0866.05009
[10] Graham, R. L.; Sloane, N. J.A., Anti-Hadamard matrices, Linear Algebra and its Applications, 62, 113-137 (1984) · Zbl 0552.15010
[11] Håstad, J., On the size of weights for threshold gates, SIAM J. Discrete Math., 7, 484-492 (1994) · Zbl 0811.68100
[12] Hertz, J.; Krogh, R.; Palmer, A., An Introduction to the Theory of Neural Computation (1991), Addison-Wesley: Addison-Wesley Reading
[13] Hwang, F. K.; Cheng, P. D.; Hu, X. D., A new competitive algorithm for the counterfeit coin problem, Infor. Proc. Letters, 51, 213-218 (1994) · Zbl 0813.68086
[15] Muroga, S., Threshold Logic and its Application (1971), Wiley-Interscience: Wiley-Interscience New York · Zbl 0243.94014
[16] Wilkinson, J. H., Note on matrices with a very ill-conditioned eigenproblem, Numer. Math., 19, 176-178 (1972) · Zbl 0252.65027
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.