Advertisement

Discrete & Computational Geometry

, Volume 51, Issue 3, pp 509–515 | Cite as

On Borsuk’s Conjecture for Two-Distance Sets

  • Andriy Bondarenko
Article

Abstract

In this paper, we answer Larman’s question on Borsuk’s conjecture for two-distance sets. We find a two-distance set consisting of 416 points on the unit sphere \(S^{64}\subset\mathbb{R}^{65}\) which cannot be partitioned into 83 parts of smaller diameter. This also reduces the smallest dimension in which Borsuk’s conjecture is known to be false. Other examples of two-distance sets with large Borsuk numbers are given.

Keywords

Borsuk’s conjecture Two-distance sets Strongly regular graphs 

1 Introduction

For each \(n\in{\mathbb{N}}\) the Borsuk number b(n) is the minimal number such that any bounded set in \(\mathbb{R}^{n}\) consisting of at least 2 points can be partitioned into b(n) parts of smaller diameter. In 1933, Karol Borsuk [4] conjectured that b(n)=n+1. The conjecture was disproved by Kahn and Kalai [13] who showed that, in fact, \(b(n)>1.2^{\sqrt{n}}\) for large n. In particular, their construction implies that b(n)>n+1 for n=1325 and for all n>2014. This result attracted a substantial amount of attention from many mathematicians; see, for example, [1, 2, 5, 21]. Improvements on the smallest dimension n such that b(n)>n+1 were obtained by Nilli [17] (n=946), Raigorodskii [20] (n=561), Weißbach [22] (n=560), Hinrichs [10] (n=323), and Pikhurko [19] (n=321). Until recently the best known result was that Borsuk’s conjecture is false for n≥298; see [11]. On the other hand, many related problems are still unsolved. Borsuk’s conjecture can be wrong even in dimension 4. Only the estimate b(4)≤9 is known; see [15].

In the 1970s, Larman asked if Borsuk’s conjecture is true for two-distance sets; see also [14] and [21]. Denote by b 2(n) the Borsuk number for two-distance sets in dimension n, that is, the minimal number such that any two-distance set in \(\mathbb{R}^{n}\) can be partitioned into b 2(n) parts of smaller diameter. The aim of this paper is to construct two-distance sets with large Borsuk numbers. Two basic constructions follow from Euclidean representations of certain strongly regular graphs. First we prove

Theorem 1

There is a two-distance subset {x 1,…,x 416} of the unit sphere \(S^{64}\subset\mathbb{R}^{65}\) such thatx i ,x j 〉=1/5 or −1/15 for ij which cannot be partitioned into 83 parts of smaller diameter.

Hence b(65)≥b 2(65)≥84. We also prove the following

Theorem 2

There is a two-distance subset {x 1,…,x 31671} of the unit sphere S 781 such thatx i ,x j 〉=1/10 or −1/80 for ij which cannot be partitioned into 1376 parts of smaller diameter.

Then, using the configurations from Theorem 1 and Theorem 2, we prove

Corollary 1

For integers n≥1 and k≥0, we have
$$ b_2(66n+k)\ge84n+k+1, $$
(1)
and
$$ b_2(783n+k)\ge1377n+k+1. $$
(2)

Finally, using again the configuration from Theorem 2, we prove slightly better estimates for b 2(781), b 2(780), and b 2(779) than what can be obtained from (1).

Corollary 2

The following inequalities hold:
$$b_2(781)\ge1225,\quad b_2(780)\ge1102,\quad\mathit{and} \quad b_2(779)\ge1002. $$

The paper is organized as follows. First, in Sect. 2, we describe Euclidean representations of strongly regular graphs by two-distance sets and then, in Sect. 3, we prove our main results.

2 Euclidean Representations of Strongly Regular Graphs

A strongly regular graph Γ with parameters (v,k,λ,μ) is an undirected regular graph on v vertices of valency k such that each pair of adjacent vertices has λ common neighbors, and each pair of nonadjacent vertices has μ common neighbors. The adjacency matrix A of Γ has the following properties:
$$AJ = kJ $$
and
$$A^2 + (\mu- \lambda)A + (\mu- k)I = \mu J, $$
where I is the identity matrix and J is the matrix with all entries equal to 1 of appropriate sizes. These conditions imply that
$$ (v - k - 1)\mu= k(k - \lambda- 1). $$
(3)
Moreover, the matrix A has only 3 eigenvalues: k of multiplicity 1, one positive eigenvalue
$$r=\frac{1}{2} \bigl(\lambda-\mu+\sqrt{(\lambda-\mu)^2+4(k- \mu)} \bigr) $$
of multiplicity
$$ f=\frac{1}{2} \biggl(v-1-\frac{2k+(v-1)(\lambda-\mu)}{\sqrt{(\lambda-\mu)^2+4(k-\mu )}} \biggr), $$
(4)
and one negative eigenvalue
$$ s=\frac{1}{2} \bigl(\lambda-\mu-\sqrt{(\lambda- \mu)^2+4(k-\mu)} \bigr) $$
(5)
of multiplicity
$$ g=\frac{1}{2} \biggl(v-1+\frac{2k+(v-1)(\lambda-\mu)}{\sqrt{(\lambda-\mu)^2+4(k-\mu )}} \biggr). $$
Clearly, both f and g must be integers. This, together with (3), gives a collection of feasible parameters (v,k,λ,μ) for strongly regular graphs.
Let V be the set of vertices Γ. Consider the columns {y i :iV} of the matrix AsI and put x i :=z i /∥z i ∥, where
$$z_i=y_i-\frac{1}{v}\sum _{j\in V}y_j, \quad i\in V. $$
Note that while the vectors x i lie in \(\mathbb{R}^{v}\), they span an at most f-dimensional vector space. Thus for convenience we consider them to lie in \(\mathbb{R}^{f}\). By easy calculations
$$\langle x_i,x_j\rangle= \begin{cases}1 & \mbox{if }i=j, \\ p & \mbox{if }i\mbox{ and }j\mbox{ are adjacent},\\ q & \mbox{otherwise}, \end{cases} $$
where
$$\begin{aligned} \begin{array}{l} p=\frac{\lambda-2s-\beta}{s^2+k-\beta},\quad q=\frac{\mu-\beta }{s^2+k-\beta},\\ \beta= \frac{1}{v}\bigl(s^2+k+k(\lambda-2s)+(v-k-1)\mu\bigr). \end{array} \end{aligned}$$
(6)
Denote by Γ f the configuration x i , iV. Similarly, we can define the configuration Γ g in \(\mathbb{R}^{g}\). The configurations Γ f and Γ g were also considered in [8] and have many fascinating properties. For example, they are spherical 2-designs.

3 Proof of Main Results

For a graph G, denote by the clique covering number cc(G) the smallest number of cliques needed to cover the vertex set of G. Trivially, cc(G)≥v/m, where v is the number of vertices and m is the maximal size of a clique in G. First, we prove the following simple statement.

Proposition 1

For any strongly regular graph Γ, the configuration Γ f in \(\mathbb{R}^{f}\) cannot be partitioned into fewer parts of smaller diameter than cc(G).

Proof

We have by (5) that λμ−2s>0. Therefore, by (6), pq>0, and hence the diameter of Γ f corresponds to the distance between non-edges. □

Remark 1

We did an extensive search of counterexamples to Borsuk’s conjecture applying Proposition 1 for various known strongly regular graphs. We were able to find two very nice strongly regular graphs that give counterexamples in dimensions 65 and 782, respectively. Probably the first example has the smallest possible dimension for this approach. However, we cannot prove this because the complete description of all strongly regular graphs is known only for very few parameter sets.

For any vertex vV of a strongly regular graph Γ, let N(v) be the set of all neighbors of v and let N′(v) be the set of non-neighbors of v, i.e., N′(v)=V∖({v}∪N(v)).

Proof of Theorem 1

We consider the configuration Γ f of the well-known strongly regular graph Γ=G 2(4) with parameters (416,100,36,20). By (4), we have that f=65. Moreover, by (6), p=1/5 and q=−1/15. Therefore, by Proposition 1, it is enough to show that Γ has no 6-clique. We will use the following theorem consisting of four independent results that can be found in [6].

Theorem A

  1. (i)

    For each uV, the subgraph of Γ induced on N(u) is a strongly regular graph with parameters (100,36,14,12) (the Hall–Janko graph). In other words, the Hall–Janko graph is the first subconstituent of Γ.

     
  2. (ii)

    The first subconstituent of the Hall–Janko graph is the U 3(3) strongly regular graph with parameters (36,14,4,6).

     
  3. (iii)

    The first subconstituent of U 3(3) is a graph on 14 vertices of regularity 4 (the co-Heawood graph).

     
  4. (iv)

    The co-Heawood graph has no triangles.

     

Parts (i)–(iii) are folklore. They follow from D.G. Higman’s theory of rank 3 permutation groups (see also [9] and [16]). Part (iv) follows from the fact that the co-Heawood graph is a subgraph of the Gewirtz graph with parameters (56,10,0,2); see also [3].

Now, for vertices u,v,wV forming a triangle, (i)–(iii) imply that
$$\bigl|N(u)\cap N(v)\cap N(w)\bigr|=14. $$
Moreover, the subgraph induced on N(u)∩N(v)∩N(w) is the co-Heawood graph. Therefore, by (iv), the maximal cliques in Γ are of size 5.  □

Remark 2

Very recently Jenrich [12] found a subconfiguration of Γ f consisting of 352 points that spans only a 64-dimensional subspace. This immediately implies that b 2(64)≥71. Then the author used a computer search to prove that actually this configuration gives b 2(64)≥72.

Proof of Theorem 2

Consider the configuration Γ f of the Fi 23 graph with parameters (31671,3510,693,351). We have f=782, p=1/10, and q=−1/80. Hence, by Proposition 1, it is enough to prove that the size of a clique in Γ is at most 23 (we need at least 31671/23=1377 parts). We will use the well-known fact (see [18]) that the first subconstituent of Γ is the strongly regular graph with parameters (3510,693,180,126) and the second subconstituent of Γ is the strongly regular graph G with parameters (693,180,51,45). Note that the Hoffman bound [7] implies that the size of a clique in G is at most 21. We will also give a very short self-contained proof of this estimate. Indeed, consider the complement graph \(\bar{G}\) having parameters (693,512,376,384). For the configuration \(\bar{G}_{f}\), we have that f=440, p=1/64, and q=−1/20. Now the required estimate follows from the fact that for each clique K in G and vectors \(x_{i}\in\bar{G}_{f}\)
$$\biggl\langle \sum_{i\in K}x_i,\sum _{i\in K}x_i \biggr\rangle =|K|+|K|\bigl(|K|-1\bigr)q \ge0. $$
Therefore, the size of a clique in Γ is at most 23. □

Proof of Corollary 1

Let us first prove (1) for k=0. Fix \(n\in\mathbb{N}\) and put m=66n. Consider the following coordinate representation of a vector \(y\in \mathbb{R}^{m}\):
$$y=(y_1,\ldots,y_n|a_1, \ldots,a_n), $$
where \(y_{k}\in\mathbb{R}^{65}\) and \(a_{k}\in\mathbb{R}\), k=1,…,n. Now we take the following set of unit vectors in \(\mathbb{R}^{m}\): Y={v ik , i=1,…,416, k=1,…,n}, where
$$\begin{aligned} &v_{ik}=(0,\ldots,0,{\sqrt{15}}/4x_i,0,\ldots,0 \,|\,0,\ldots,0,{1}/4,0,\ldots,0),\\ &\quad i=1,\ldots,416,\ k=1, \ldots, n. \end{aligned}$$
Here each v ik has only two nonzero coordinates y k and a k , and vectors x i are such as in Theorem 1. Clearly, 〈v ik ,v jl 〉=0 if kl. Moreover,
$$\langle v_{ik},v_{jk}\rangle= \begin{cases}1 & \mbox{if }i=j, \\ 1/4 & \mbox{if }i\mbox{ and }j\mbox{ are adjacent},\\ 0 & \mbox{otherwise}. \end{cases} $$
Therefore, Y is a two-distance set consisting of 416n vectors. Now, by Theorem 1, this set cannot be partitioned into fewer than 84n parts of smaller diameter. Now we can add to the set the vector v which is at distance \(\sqrt{2}\) to each vector of Y, where
$$v=(0,\ldots,0\,|\,\alpha,\ldots,\alpha),\quad \mbox{and}\quad \alpha= \frac {1+\sqrt{1+16n}}{4n} $$
is a solution of the equation (α−1/4)2+(n−1)α 2=17/16. This implies that b 2(m)≥84n+1. Finally, we note that all these 416n+1 vectors are at the same distance R to the vector (0,…,0 | γ,…,γ), where
$$R=\frac{4\sqrt{n}}{\sqrt{16n+1}}<1\quad \mbox{and}\quad \gamma=\frac{\alpha }{4n\alpha-1} $$
is a solution of the equation (γ−1/4)2+(n−1)γ 2+15/16=n(αγ)2. Hence we can add a new vector at the diameter distance \(\sqrt{2}\) to each of these 416n+1 vectors to get a new set of 416n+2 vectors in \(\mathbb{R}^{m+1}\) provided that b 2(m+1)≥84n+2. We can also rescale this new set to be on the sphere S m . Now inductive application of this procedure immediately gives us (1). This procedure was also described in [11, Lemma 9]. Similarly, Theorem 2 implies (2). □

Proof of Corollary 2

Let Γ be the Fi 23 graph. For a vertex uV, consider the subset {x i : iN′(u)} of the configuration Γ f . This subset lies in the hyperplane 〈x u ,x〉=−1/80 and consists of 31671−3510−1=28160 vectors. Hence, b 2(781)>[28160/23]=1224.

Similarly, for adjacent vertices u and v, the subset {x i : iN′(u)∩N′(v)} consists of 31671−2×3510+693=25344 vectors. This subset lies in the hyperplane \(\{x\in\mathbb{R}^{782}:\,\langle x_{u},x\rangle =-1/80\text{ and }\langle x_{v},x\rangle=-1/80\}\), and hence b 2(780)>[25344/23]=1101.

Finally, consider a subset {x i : iN′(u)∩N′(v)∩N′(w)} such that the vertices u, v, w form a triangle. This subset consists of 31671−3×3510+3×693−180=23040 vectors, and hence b 2(779)>[23040/23]=1001. □

Notes

Acknowledgements

The author thanks Noga Alon, Danylo Radchenko, and Kristian Seip for fruitful discussions. The author also wishes to thank the Centre for Advanced Study at the Norwegian Academy of Science and Letters in Oslo and Mathematisches Forschungsinstitut Oberwolfach for their hospitality during the preparation of this manuscript and for providing a stimulating atmosphere for research.

References

  1. 1.
    Aigner, M., Ziegler, G.M.: Proofs from THE BOOK, 4th edn. Springer, Berlin, New York (2009) Google Scholar
  2. 2.
    Alon, N.: Discrete mathematics: methods and challenges. In: Proceedings of the International Congress of Mathematicians, Beijing, 2002, vol. 1, pp. 119–135. Higher Ed. Press, Beijing (2002) Google Scholar
  3. 3.
    Bamberg, J., de Clerck, F., Durante, N.: Intriguing sets in partial quadrangles. J. Comb. Des. 19, 217–245 (2011) CrossRefzbMATHGoogle Scholar
  4. 4.
    Borsuk, K.: Three theorems on the n-dimensional sphere. Fundam. Math. 20, 177–190 (1933) (in German) Google Scholar
  5. 5.
    Brass, P., Moser, W., Pach, J.: Research Problems in Discrete Geometry. Springer, Berlin (2005) zbMATHGoogle Scholar
  6. 6.
    Brouwer, A.: A slowly growing collection of graph descriptions. published electronically. http://www.win.tue.nl/~aeb/graphs/index.html
  7. 7.
    Brouwer, A.E., Cohen, A.M., Neumaier, A.: Distance-Regular Graphs. Springer, Berlin (1989) CrossRefzbMATHGoogle Scholar
  8. 8.
    Cameron, P.: Strongly regular graphs. In: Topics in Algebraic Graph Theory, pp. 203–221. Cambridge Univ. Press, Cambridge (2004) Google Scholar
  9. 9.
    Griess, R.: Twelve Sporadic Groups. Springer Monographs in Mathematics. Springer, Berlin (1998) CrossRefzbMATHGoogle Scholar
  10. 10.
    Hinrichs, A.: Spherical codes and Borsuk’s conjecture. Discrete Math. 243, 253–256 (2002) CrossRefzbMATHMathSciNetGoogle Scholar
  11. 11.
    Hinrichs, A., Richter, C.: New sets with large Borsuk numbers. Discrete Math. 270, 137–147 (2003) CrossRefzbMATHMathSciNetGoogle Scholar
  12. 12.
    Jenrich, T.: A 64-dimensional two-distance counterexample to Borsuk’s conjecture. arXiv:1308.0206
  13. 13.
    Kahn, J., Kalai, G.: A counterexample to Borsuk’s conjecture. Bull. Am. Math. Soc. 29, 60–62 (1993) CrossRefzbMATHMathSciNetGoogle Scholar
  14. 14.
    Kalai, G.: Around Borsuk’s conjecture. published electronically at http://gilkalai.wordpress.com
  15. 15.
    Lassak, M.: An estimate concerning Borsuk’s partition problem. Bull. Acad. Pol. Sci., Ser. Math. 30, 449–451 (1982) zbMATHMathSciNetGoogle Scholar
  16. 16.
    Leemans, D.: A family of geometries related to the Suzuki tower. Commun. Algebra 33, 2201–2217 (2005) CrossRefzbMATHMathSciNetGoogle Scholar
  17. 17.
    Nilli, A.: On Borsuk’s problem. In: Jerusalem Combinatorics, 1993, pp. 209–210. Amer. Math. Soc., Providence (1994) Google Scholar
  18. 18.
    Pasechnik, D.: Geometric characterization of the sporadic groups Fi 22, Fi 23, and Fi 24. J. Comb. Theory, Ser. A 68, 100–114 (1994) CrossRefzbMATHMathSciNetGoogle Scholar
  19. 19.
    Pikhurko, O.: Borsuk’s conjecture fails in dimensions 321 and 322 (2002). arXiv:math.CO/0202112
  20. 20.
    Raigorodskii, A.M.: On dimensionality in the Borsuk problem. Usp. Mat. Nauk 52, 181–182 (1997) (in Russian). English translation in Russian Math. Surveys 52, 1324–1325 (1997) CrossRefMathSciNetGoogle Scholar
  21. 21.
    Raigorodskii, A.M.: Around Borsuk’s hypothesis. J. Math. Sci. 154, 604–623 (2008) CrossRefzbMATHMathSciNetGoogle Scholar
  22. 22.
    Weißbach, B.: Sets with large Borsuk number. Beiträge Algebra Geom. 41, 417–423 (2000) zbMATHGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2014

Authors and Affiliations

  1. 1.Department of Mathematical SciencesNorwegian University of Science and TechnologyTrondheimNorway
  2. 2.Department of Mathematical AnalysisTaras Shevchenko National University of KyivKyivUkraine

Personalised recommendations