arXiv++ Combinatorics

We consider the orthogonality graph Omega(n) with 2^n vertices corresponding to the 0-1 n-vectors, two vertices adjacent if and only if the Hamming distance between them is n/2. We show that the stability number of Omega(16) is alpha(Omega(16))= 2304, thus proving a conjecture by Galliard. The main tool we employ is a recent semidefinite programming relaxation for minimal distance binary codes due to Schrijver. As well, we give a general condition for Delsarte bound on the (co)cliques in graphs of relations of association schemes to coincide with the ratio bound, and use it to show that for Omega(n) the latter two bounds are equal to 2^n/n.

It has been long--conjectured that the crossing number cr(K_m,n) of the complete bipartite graph K_m,n equals the Zarankiewicz Number Z(m,n):= floor((m-1)/2) floor(m/2) floor((n-1)/2) floor(n/2). Another long--standing conjecture states that the crossing number cr(K_n) of the complete graph K_n equals Z(n):= floor(n/2) floor((n-1)/2) floor((n-2)/2) floor((n-3)/2)/4. In this paper we show the following improved bounds on the asymptotic ratios of these crossing numbers and their conjectured values: (i) for each fixed m >= 9, lim_{n->infty} cr(K_m,n)/Z(m,n) >= 0.83m/(m-1); (ii) lim_{n->infty} cr(K_n,n)/Z(n,n) >= 0.83; and (iii) lim_{n->infty} cr(K_n)/Z(n) >= 0.83. The previous best known lower bounds were 0.8m/(m-1), 0.8, and 0.8, respectively. These improved bounds are obtained as a consequence of the new bound cr(K_{7,n}) >= 2.1796n^2 - 4.5n. To obtain this improved lower bound for cr(K_{7,n}), we use some elementary topological facts on drawings of K_{2,7} to set up a quadratic program on 6! variables whose minimum p satisfies cr(K_{7,n}) >= (p/2)n^2 - 4.5n, and then use state--of--the--art quadratic optimization techniques combined with a bit of invariant theory of permutation groups to show that p >= 4.3593.

The Baby Monster group B acts naturally on a geometry E(B) with diagram c.F_4(t) for t=4 and the action of B on E(B) is flag-transitive. It possesses the following properties: (a) any two elements of type 1 are incident to at most one common element of type 2, and (b) three elements of type 1 are pairwise incident to common elements of type 2 iff they are incident to a common element of type 5. It is shown that E(B) is the only (non-necessary flag-transitive) c.F_4(t)-geometry, satisfying t=4, (a) and (b), thus obtaining the first characterization of B in terms of an incidence geometry, similar in vein to one known for classical groups acting on buildings. Further, it is shown that E(B) contains subgeometries E(^2E_6(2)) and E(Fi22) with diagrams c.F_4(2) and c.F_4(1). The stabilizers of these subgeometries induce on them flag-transitive actions of ^2E_6(2):2 and Fi22:2, respectively. Three further examples for t=2 with flag-transitive automorphism groups are constructed. A complete list of possibilities for the isomorphism type of the subgraph induced by the common neighbours of a pair of vertices at distance 2 in an arbitrary c.F_4(t) satisfying (a) and (b) is obtained.