arXiv++ Combinatorics

In 1933, Karol Borsuk asked whether each bounded set in the $n$-dimensional Euclidean space can be divided into $n$+1 parts of smaller diameter. Because it would not make sense otherwise, one usually assumes that he just forgot to require that the whole set contains at least two points. The hypothesis that the answer to that question is positive became famous under the name \emph{Borsuk's conjecture}. Counterexamples are known for any $n\ge 64$, since 2013. Let $Λ$ be the (original, unscaled) Leech lattice, a now very well-known infinite discrete vector set in the 24-dimensional Euclidean space. The smallest norm of nonzero vectors in $Λ$ is $\sqrt{32}$. Let $M$ be the set of the 196560 vectors in $Λ$ having this norm. For each $x \in M$, $-x$ is in $M$. Let $H$ be the set of all subsets of $M$ that for each $x$ in $M$ contain either $x$ or $-x$. Each element of $H$ has the same diameter $d = \sqrt{96}$. For dimensions $n<24$ one can analogously construct respective $M_n$ and $H_n$ from laminated $n$-dimensional sublattices $Λ_n$ of $Λ$. For uniformity, let $Λ_{24}=Λ$, $M_{24} = M$ and $H_{24} = H$. If $M_n$ is divisible into at most $n+1$ parts of diameter below $d$ then this applies to all elements of $H_n$, too. I have checked that this is the case for all $n \le 21$. For $n$ from 22 to 24, the minimum number of parts of diameter below $d$ that I was able to divide $M_n$ into are 25, 29 and 34, resp. The source package of this article contains a data file encoding an element of $H_{24}=H$ that I can not divide into less than 29 parts of smaller diameter.

This article considers a strongly regular graph with parameters (2048,276,44,36) that is related to the extended binary Golay code. That graph is known since about 1975 but there seems to be not much information on the contained maximal cocliques. The source package of this article contains a data file that encodes a sequence of maximal independence sets of that graph, covering all sizes from 20 to 67 and the size 72, and a Pascal program to check this assertion and to optionally generate a text file (to be read by the computer algebra system GAP) that contains the adjacency lists of that graph and the list of the independence sets.

In 2013 Andriy V. Bondarenko showed how to construct a two-distance counterexample to Borsuk's conjecture from any strongly regular graph whose vertex set is not the union of at most $f+1$ cliques (sets of pairwise adjacent vertices) where $f$ is the multiplicity of the second-largest eigenvalue of its adjacency matrix. He applied that construction to those two graphs that he had been able to prove to fulfill the condition: From the $G_2(4)$ graph (on 416 vertices) he got a 65-dimensional two-distance counterexample. From the $Fi_{23}$ graph (on 31671 vertices) he got a 782-dimensional one and, by considering certain induced subgraphs, counterexamples in dimensions 781, 780 and 779. This article presents two other strongly regular graphs fulfilling the condition, on 28431 and on 2401, resp., vertices. It gives dedicated counterexamples in dimensions from 781 down to 764 derived from the bigger graph (that turned out to be an induced subgraph of the $Fi_{23}$ graph) and a 240-dimensional counterexample derived from the smaller graph. Several contained propositions rely on the results of (often extensive) computations, mainly within the computer algebra system GAP. The source package contains (almost) all used source files.

In the concluding remarks of their 1993 published and now famous paper, Jeff Kahn and Gil Kalai wrote in particular: "Our construction shows that Borsuk's conjecture is false for d = 1,325 and for every d > 2,014." But, as Bernulf Weiszbach remarked in his paper from 2000, a simple (few steps for an upper-class pocket calculator) computation indicates that that claim is not true for d=1325. William Kretschmer (Univ. of Texas) sent me his writeup on that paper by Kahn and Kalai, in particular pointing out that the derivation of the formula used in that computation disregarded a certain aspect, that way missed the chance to remove one final halving from that formula and to indeed provide a proof that a certain point set is a counterexample for dimension 1325 (and all higher dimensions up to 1560, too). This updated article takes a closer look at that derivation, gives an own, much more detailed and formal version of it that delivers the improved/corrected formula, and contains some further conclusions.

We consider simple loopless finite undirected graphs. Such a graph is called strongly regular with parameter set (v,k,l,m), for short a srg(v,k,l,m), iff it has exactly v vertices, each of them has exactly k neighbours, and the number of common neighbours of any two different vertices is l if they are neighbours and m otherwise. The G2(4) graph is a well-known srg(416,100,36,20). In this article, we explicitly construct it and a certain subgraph E induced by 320 vertices in the same way as in an older article by this author. We discover some interesting properties of E and derive five strongly regular graphs from it: A srg(256,60,20,12) F which is a subgraph induced by 256 vertices and four srg(336,80,28,16) H, H_1, H_2 and H_3 which do have E as induced subgraph. The latter three graphs are new in version 4 of this article and seem to have been completely unknown as H was before version 1 appeared. The graph F is isomorphic to objects described as unions of 16 16-cocliques in a description of subgraphs of the G2(4) graph by Andries E. Brouwer; but the strong regularity has been unnoticed before version 1 of this article. Several propositions in this article have been checked by executing the additionally (in the source package) provided program G24DGS2 and the program Dreadnaut from the popular graph theoretic software nauty (by Brendan McKay and Adolfo Piperno).

In his list of open problems, Martin Erickson described a certain game: "Two players alternately put queens on an n x n chess board so that each new queen is not in range of any queen already on the board (the color of the queens is unimportant). The last player who can move wins." Then he asked: "Who should win?" Obviously, for n up to 3, the first player wins, if he does not miss to start at the central position in the case n=3. In this article, we give very simple always winning strategies for the first player if n is 4 or odd. The additionally (in the source package) provided computer program QPGAME3 has been used to check that there are successful strategies for the first player if n is 6 or 8, and for the second player if n is 10, 12, 14, or 16. As discovered during the submission process of the first version of this article, Hassan A Noon presented consistent results concerning values of n which are odd or at most 10, in his B.A. thesis and, together with Glen Van Brummelen, in a journal article.

In 1933 Karol Borsuk asked whether each bounded set in the n-dimensional Euclidean space can be divided into n+1 parts of smaller diameter. The diameter of a set is defined as the supremum (least upper bound) of the distances of contained points. Implicitly, the whole set is assumed to contain at least two points. The hypothesis that the answer to that question is positive became famous under the name Borsuk's conjecture. Beginning with Jeff Kahn and Gil Kalai, from 1993 to 2003 several authors have proved that in certain (almost all) high dimensions such a division is not generally possible. In a paper published in 2013, Andriy V. Bondarenko constructed a 65-dimensional two-distance set of 416 vectors that cannot be divided into less than 84 parts of smaller diameter. That was not just the first known two-distance counterexample to Borsuk's conjecture but also a considerable reduction of the lowest known dimension the conjecture fails in in general. This article presents a 64-dimensional subset of the vector set mentioned above that cannot be divided into less than 71 (by A. Bondarenko 72) parts of smaller diameter, that way delivering a two-distance counterexample to Borsuk's conjecture in dimension 64. The contained proof relies on the results of some (combinatorial) calculations. The additionally (in the source package) provided small computer program G24CHK needs about one second for that task on a 1 GHz Intel PIII. Meanwhile a short paper by this author and Andries E. Brouwer that follows the principal idea of this article but avoids the extensive computational part has been submitted to The Electronic Journal of Combinatorics.

At some places (see the references) Martin Erickson describes a certain game: "Two players alternately write O's (first player) and X's (second player) in the unoccupied cells of an n x n grid. The first player (if any) to occupy four cells at the vertices of a square with horizontal and vertical sides is the winner." Then he asks "What is the outcome of the game given optimal play?" or "What is the smallest n such that the first player has a winning strategy?" For n lower than 3 a win is obviously impossible. The aim of this article and the additionally (in the source package) provided computer program SQRGAME2 is to give and prove sure strategies for the second player not to lose if n is 3 or 4, and for the first player to win if n is 5.