Skip to main content
5 events
when toggle format what by license comment
Dec 26, 2023 at 17:05 comment added te4 The equality constraint has rather an algebraic flavour IMHO. For every $S_i\in C_2$ there is $s_i\in\{0,1\}^n$ such that $s_i\cdot s_j$ is $k$ if $i=j$, and is $t$ otherwise. Take $\lambda\in\mathbb R$ such that $t\lambda^2-2k\lambda+n=0$ (there is one iff $k^2\ge tn$). Then $(\lambda s_i-\mathbf1)_{1\le i\le m}$ form an orthonormal basis of $\mathbb R^m$. Moreover, there are infinitely many examples for $|C_2|=n$. Take neughbour sets of vertices in strongly-regular graph.
Dec 25, 2023 at 21:17 history edited Groups CC BY-SA 4.0
added 131 characters in body
Dec 25, 2023 at 21:12 history undeleted Groups
Dec 25, 2023 at 21:03 history deleted Groups via Vote
Dec 25, 2023 at 16:00 history asked Groups CC BY-SA 4.0