-
On linear-combinatorial problems associated with subspaces spanned by $\{\pm 1\}$-vectors
Authors:
Anwar A. Irmatov
Abstract:
A complete answer to the question about subspaces generated by $\{\pm 1\}$-vectors, which arose in the work of I.Kanter and H.Sompolinsky on associative memories, is given. More precisely, let vectors $v_1, \ldots , v_p,$ $p\leq n-1,$ be chosen at random uniformly and independently from $\{\pm 1\}^n \subset {\bf R}^n.$ Then the probability ${\mathbb P}(p, n)$ that…
▽ More
A complete answer to the question about subspaces generated by $\{\pm 1\}$-vectors, which arose in the work of I.Kanter and H.Sompolinsky on associative memories, is given. More precisely, let vectors $v_1, \ldots , v_p,$ $p\leq n-1,$ be chosen at random uniformly and independently from $\{\pm 1\}^n \subset {\bf R}^n.$ Then the probability ${\mathbb P}(p, n)$ that $$span \ \langle v_1, \ldots , v_p \rangle \cap \left\{ \{\pm 1\}^n \setminus \{\pm v_1, \ldots , \pm v_p\}\right\} \ne \emptyset \ $$ is shown to be $$4{p \choose 3}\left(\frac{3}{4}\right)^n + O\left(\left(\frac{5}{8} + o_n(1)\right)^n\right) \quad \mbox{as} \quad n\to \infty,$$ where the constant implied by the $O$-notation does not depend on $p$. The main term in this estimate is the probability that some 3 vectors $v_{j_1}, v_{j_2}, v_{j_3}$ of $v_j$, $j= 1, \ldots , p,$ have a linear combination that is a $\{\pm 1\}$-vector different from $\pm v_{j_1}, \pm v_{j_2}, \pm v_{j_3}. $
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Singularity of $\{\pm 1\}$-matrices and asymptotics of the number of threshold functions
Authors:
Anwar A. Irmatov
Abstract:
Two results concerning the number of threshold functions $P(2, n)$ and the probability ${\mathbb P}_n$ that a random $n\times n$ Bernoulli matrix is singular are established. We introduce a supermodular function $η^{\bigstar}_n : 2^{{\bf RP}^n}_{fin} \to \mathbb{Z}_{\geq 0},$ defined on finite subsets of ${\bf RP}^n,$ that allows us to obtain a lower bound for $P(2, n)$ in terms of…
▽ More
Two results concerning the number of threshold functions $P(2, n)$ and the probability ${\mathbb P}_n$ that a random $n\times n$ Bernoulli matrix is singular are established. We introduce a supermodular function $η^{\bigstar}_n : 2^{{\bf RP}^n}_{fin} \to \mathbb{Z}_{\geq 0},$ defined on finite subsets of ${\bf RP}^n,$ that allows us to obtain a lower bound for $P(2, n)$ in terms of ${\mathbb P}_{n+1}.$ This, together with L.Schläfli's famous upper bound, give us asymptotics $$P(2, n) \thicksim 2 {2^n-1 \choose n},\quad n\to \infty.$$ Also, the validity of the long-standing conjecture concerning ${\mathbb P}_n$ is proved: $$\mathbb{P}_n \thicksim (n-1)^22^{1-n}, \quad n\to \infty .$$
△ Less
Submitted 31 October, 2021; v1 submitted 5 April, 2020;
originally announced April 2020.
-
On Compact and Fredholm Operators over C*-algebras and a New Topology in the Space of Compact Operators
Authors:
Anwar A. Irmatov,
Alexandr S. Mishchenko
Abstract:
It is shown that the class of Fredholm operators over an arbitrary unital $C^{*}$--algebra, which may not admit adjoint ones, can be extended in such a way that this class of compact operators, used in the definition of the class of Fredholm operators, contains compact operators both with and without existence of adjoint ones. The main property of this new class is that a Fredholm operator which…
▽ More
It is shown that the class of Fredholm operators over an arbitrary unital $C^{*}$--algebra, which may not admit adjoint ones, can be extended in such a way that this class of compact operators, used in the definition of the class of Fredholm operators, contains compact operators both with and without existence of adjoint ones. The main property of this new class is that a Fredholm operator which may not admit an adjoint one has a decomposition into a direct sum of an isomorphism and a finitely generated operator. In the space of compact operators in the Hilbert space a new IM-topology is defined. In the case when the $C^{*}$--algebra is a commutative algebra of continuous functions on a compact space the IM-topology fully describe the set of compact operators over the $C^{*}$--algebra without assumption of existence bounded adjoint operators over the algebra. In the revised version of the paper the proof of the theorem 8 has been added.
△ Less
Submitted 22 December, 2005; v1 submitted 27 April, 2005;
originally announced April 2005.
