Abstract
Twelve new strongly regular graphs with parameters (81, 30, 9, 12) are found as graphs invariant under certain subgroups of the automorphism groups of the two previously known graphs that arise from 2-weight codes. One of these new graphs is geometric and yields a partial geometry with parameters pg(5, 5, 2) that is not isomorphic to the partial geometry discovered by J. H. van Lint and A. Schrijver [13] in 1981.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A strongly regular graph with parameters \((v, k, \lambda , \mu )\) (or \(srg(v, k, \lambda , \mu )\) for short) is an undirected graph with v vertices, having no multiple edges or loops, such that every vertex has exactly k neighbours, every two adjacent vertices have exactly \(\lambda \) common neighbours, and every two nonadjacent vertices have exactly \(\mu \) common neighbours.
A partial geometry with parameters \(s, t, \alpha \), or shortly, \(pg(s,t,\alpha )\), is a pair (P, L) of a set P of points and a set L of lines, with an incidence relation between points and lines, satisfying the following axioms:
-
(1)
A pair of distinct points is not incident with more than one line.
-
(2)
Every line is incident with exactly \(s+1\) points (\(s\ge 1\)).
-
(3)
Every point is incident with exactly \(t+1\) lines (\(t\ge 1\)).
-
(4)
For every point p not incident with a line l, there are exactly \(\alpha \) lines (\(\alpha \ge 1\)) which are incident with p, and also incident with some point incident with l.
Partial geometries and strongly regular graphs were introduced by R. C. Bose [2]. In the original Bose’s notation, the number \(t+1\) of lines incident with a point is denoted by r, and the number \(s+1\) of points incident with a line is denoted by k. A survey on strongly regular graphs is given by Brouwer in [5], and for a survey on partial geometries, see Thas [15].
In terms of \(s, t, \alpha \), the number \(v=|P|\) of points and the number \(b=|L|\) of lines of a partial geometry \(pg(s,t,\alpha )\) are given by Eq. (1).
If \(G=(P,L)\) is a partial geometry \(pg(s,t,\alpha )\), the incidence structure \(G'\) having as points the lines of G, and having as lines the points of G, where a point and a line are incident in \(G'\) if and only if the corresponding line and a point of G are incident, is a partial geometry \(pg(t,s,\alpha )\), called the dual of G.
If \(G=(P,L)\) is a partial geometry \(pg(s,t,\alpha )\) with point set P and line set L, the point graph \(\Gamma _P\) of G is the graph with vertex set P, where two vertices are adjacent if the corresponding points of G are collinear. The line graph \(\Gamma _L\) of G is the graph having as vertices the lines of G, where two lines are adjacent if they share a point. Both \(\Gamma _P\) and \(\Gamma _L\) are strongly regular graphs [2]. The parameters \(v, k, \lambda , \mu \) of \(\Gamma _P\) are given by (2).
A strongly regular graph \(\Gamma \) whose parameters \(v, k, \lambda , \mu \) can be written as in Eq. (2) for some integers \(s, t, \alpha \) is called pseudo-geometric, and \(\Gamma \) is called geometric if there exists a partial geometry G with parameters \(s, t, \alpha \) such that \(\Gamma \) is the point graph of G. A pseudo-geometric strongly regular graph \(\Gamma \) with parameters (2) is geometric if and only if there exists a set S of \(b=(t+1)(st + \alpha )/\alpha \) cliques of size \(s+1\) such that every two cliques from S share at most one vertex [2].
A partial geometry \(pg(s,t,\alpha )\) with \(\alpha =s+1\) is a Steiner 2-\((v,s+1,1)\) design, or dually, if \(\alpha =t+1\), then the dual geometry is a Steiner 2-\((b,t+1,1)\) design. If \(\alpha =s\), or dually, \(\alpha =t\), then G is a net of order \(s+1\) and degree \(t+1\) [2]. A partial geometry with \(\alpha = 1\) is a generalized quadrangle [2, 14].
A partial geometry \(pg(s,t,\alpha )\) is called proper if \(1< \alpha < min(s,t)\).
The known proper partial geometries are divided into eight types, four of which are infinite families, and there are four sporadic geometries that do not belong to any known infinite family [15], Theorem 41.31]. One of the four sporadic examples is a partial geometry pg(5, 5, 2) discovered by van Lint and Schrijver [13]. The point graph of the van Lint–Schrijver geometry has parameters \(v=81, \ k=30, \lambda =9, \mu =12\), and is invariant under the elementary abelian group of order 81 acting regularly on the set of vertices. By a result of Delsarte [10], any graph with these parameters that is invariant under the elementary abelian group of order 81 acting regularly on the set of vertices can be obtained from a ternary linear [30, 4, 9] two-weight code with weight distribution \(a_{9} =50, a_{12}=30\) (see also [6, 4, 8]). Up to equivalence, there are exactly two such codes (Hamada and Helleseth [11]) that give rise to two nonisomorphic srg(81, 30, 12, 9): a graph \(\Gamma _{1}\), being isomorphic to the van Lint–Schrijver graph and having full automorphism group of order 116640 , and a second graph \(\Gamma _2\) having full automorphism group of order 5832. According to [4, 6, 7], \(\Gamma _{1}\) and \(\Gamma _2\) appear to be the only previously known strongly regular graphs with parameters \(v=81, k=30, \lambda =9, \mu =12\) .
In this paper, we use a method for finding strongly regular graphs based on orbit matrices that was developed in [1] and [9], to show that there are exactly three nonisomorphic graphs srg(81, 30, 9, 12) which are invariant under a subgroup of order 360 of the automorphism group of \(\Gamma _{1}\), and exactly eleven nonisomorphic graphs srg(81, 30, 9, 12) which are invariant under a subgroup of order 972 of the automorphism group of \(\Gamma _{2}\). One of the newly found graphs invariant under a group of order 972 gives rise to a new partial geometry pg(5, 5, 2) that is not isomorphic to the van Lint–Schrijver partial geometry. An isomorphic partial geometry was simultaneously and independently constructed by V. Krčadinac [12] by using a different method. The adjacency matrices of the two previously known graphs and the twelve newly found graphs are available online at http://www.math.uniri.hr/~asvob/SRGs81_pg552.txt
The lines of the new partial geometry pg(5, 5, 2) are given in Appendix.
2 New strongly regular graphs srg(81, 30, 9, 12)
The graphs \(\Gamma _{1}\) and \(\Gamma _{2}\) described in the introduction have full automorphism groups \(G_{1}\) and \(G_{2}\) of order 116640 and 5832, respectively. In this section, we construct twelve new strongly regular graphs with parameters (81, 30, 9, 12). These new graphs are constructed by expanding orbit matrices with respect to the action of certain subgroups of \(G_{1}\) or \(G_{2}\). We have checked subgroups of \(G_{1}\) or \(G_{2}\) that act on graphs \(\Gamma _{1}\) and \(\Gamma _{2}\) in a small number of orbits, and present the results obtained by subgroups that gave us new strongly regular graphs. For more information on orbit matrices of strongly regular graphs, we refer the reader to [1, 9]. We used Magma [3] for all computations involving groups and codes in this paper.
2.1 Graphs invariant under subgroups \(A_{6}\) of \(\mathrm {Aut}(\Gamma _{1})\)
There are exactly four conjugacy classes of subgroups of order 360 in the group \(G_{1}=\mathrm {Aut}(\Gamma _{1})\) of order 116640, the representatives of which will be denoted by \(H_{1}^{1},\dots , H_{4}^1\). Each of these four representatives is isomorphic to the simple group \(A_{6}\).
The subgroup \(H_{1}^1\) is acting in two orbits on the set of vertices of \(\Gamma _{1}\), one of size 36 and the other of size 45, giving an orbit matrix \(OM_{1}^1\) (3).
The orbit matrix \(OM_{1}^{1}\) expands to the (0,1)-adjacency matrices of two nonisomorphic strongly regular graphs: the graph \(\Gamma _{1}\) and a new graph denoted by \(\Gamma _{14}\) with full automorphism group of order 360.
The subgroup \(H_{2}^{1}\) is acting in three orbits of sizes 6, 15 and 60, respectively, giving an orbit matrix \(OM_{2}^{1}\).
The orbit matrix \(OM_{2}^{1}\) gives rise to two nonisomorphic strongly regular graphs, \(\Gamma _{1}\), and a second graph \(\Gamma _{13}\) having full automorphism group of order 720.
The subgroup \(H_{3}^{1}\) is acting in three orbits with sizes 6, 15 and 60, and orbit matrix \(OM_{3}^{1}\).
The orbit matrix \(OM_{3}^{1}\) can be expanded to only one (up to isomorphism) strongly regular graph, namely the original graph \(\Gamma _{1}\).
The subgroup \(H_{4}^{1}\) acts in four orbits, with sizes 1, 20, 30 and 30, and orbit matrix \(OM_{4}^{1}\).
Up to isomorphism, the matrix \(OM_{4}^{1}\) is the orbit matrix of only one strongly regular graph, that is, \(\Gamma _{1}\).
2.2 Graphs invariant under subgroups of order 972
There are exactly five conjugacy classes of subgroups of order 972 in the group \(G_{2}=\mathrm {Aut}(\Gamma _{2})\) of order 5832, with representatives \(H_{1}^{2},\dots ,H_{5}^{2}\).
The subgroups \(H_{1}^{2}\) and \(H_{2}^{2}\) act transitively on the 81 vertices and produce two nonisomorphic strongly regular graphs, isomorphic to \(\Gamma _{1}\) and \(\Gamma _{2}\).
The subgroup \(H_{3}^{2}\) partitions the set of vertices of \(\Gamma _{2}\) in three orbits of length 27 and gives an orbit matrix \(OM_{3}^{2}\).
The orbit matrix \(OM_{3}^{2}\) gives rise to two nonisomorphic strongly regular graphs, the graph \(\Gamma _{2}\) and a new graph \(\Gamma _{4}\), having full automorphism group of order 1944.
The subgroups \(H_{4}^{2}\) and \(H_{5}^{2}\) are acting in the same way, with two orbits of size 27 and 54, respectively, and gives an orbit matrix \(OM_{4}^{2}\).
The subgroup \(H_{4}^{2}\) leads to four nonisomorphic strongly regular graphs, including \(\Gamma _{2}\). Two of these graphs, \(\Gamma _{5}\) and \(\Gamma _{6}\), have full automorphism groups of order 972, and \(\Gamma _{4}\) has full automorphism group of order 1944. The group \(H_{5}^{2}\) gives rise to 12 nonisomorphic strongly regular graphs, among them \(\Gamma _{1}\), \(\Gamma _{2}\) and \(\Gamma _{4}\). Eight of these graphs, denoted by \(\Gamma _{5},\dots , \Gamma _{12}\), have full automorphism groups of order 972, and \(\Gamma _{3}\) has full automorphism group of order 3888.
The graph \(\Gamma _{12}\) is geometric and produces a new partial geometry pg(5, 5, 2).
3 A new partial geometry pg(5, 5, 2)
The results presented in Sect. 2 can be summarized as follows.
Theorem 3.1
-
(1)
Up to isomorphism, there are exactly 3 strongly regular graphs with parameters (81, 30, 9, 12) invariant under a subgroup of order 360 of the automorphism group of the graph \(\Gamma _{1}\).
-
(2)
Up to isomorphism, there are exactly twelve strongly regular graphs with parameters (81, 30, 9, 12) invariant under a subgroup of order 972 of the automorphism group of the graph \(\Gamma _{2}\).
-
(3)
One of the twelve graphs from part (2) yields a new partial geometry pg(5, 5, 2).
Details about these strongly regular graphs are given in Table 2: the order of the full automorphism group of the graph, the 3-rank of the (0, 1)-adjacency matrix, the maximum clique size and the number of 6-cliques. For every graph \(\Gamma _{i}\) that contains at least 81 6-cliques, we define a graph \(\Gamma _{i}^*\) having as vertices the 6-cliques of \(\Gamma _{i}\), where two 6-cliques are adjacent if there share at most one vertex. The last but one column of Table 2 contains the maximum clique size of \(\Gamma _{i}^{*}\), and if this maximum clique size is 81, the last column contains the total number of 81-cliques in \(\Gamma _{i}^*\).
Only two of the fourteen graphs, \(\Gamma _{1}\) and \(\Gamma _{12}\), are geometric. The graph \(\Gamma _{1}^{*}\) contains two 81-cliques, each consisting of 81 6-cliques of \(\Gamma _{1}\) that are the lines of a partial geometry pg(5, 5, 2) with full automorphism group of order 58320 acting transitively on the sets of points and lines, and is isomorphic to the van Lint–Schrijver partial geometry [13].
The graph \(\Gamma _{12}^{*}\) contains only one 81-clique and yields a new partial geometry \(pg^{*}(5,5,2)\) that is not isomorphic to the van Lint–Schrijver partial geometry. The full automorphism group of the new partial geometry is of order 972 and partitions the set of points, as well as the set of lines, in two orbits of length 54 and 27. An automorphism \(f\in Aut(\Gamma _{12})\) of order 6 and a set of orbit representatives of the lines of \(pg^{*}(5,5,2)\) under the action of \(<f>\) are listed in Table 1, where the first three orbits are of length 3, and the remaining 12 orbits are of length 6. The set of all 81 lines of \(pg^*(5,5,2)\) is given in Appendix.
The data in Table 2 distinguish as nonisomorphic all but the three graphs \(\Gamma _{5}, \Gamma _{7}, \Gamma _{8}\), the graphs \(\Gamma _{6}\) and \(\Gamma _{11}\), and the two graphs \(\Gamma _{9}\) and \(\Gamma _{10}\). Let \(D_i\) be the design on 81 points having as blocks the 6-cliques in \(\Gamma _i\). We checked with Magma [3] that \(|Aut(D_{9})|=972\), while \(|Aut(D_{10}|=1944\); hence, \(\Gamma _{9}\) and \(\Gamma _{10}\) are nonisomorphic. Moreover, \(|Aut(D_{6})|=972\), while \(|Aut(D_{11}|=1944\); hence, \(\Gamma _{6}\) and \(\Gamma _{11}\) are nonisomorphic. Similarly, \(|Aut(D_{5})|=972\), \(|Aut(D_{7})|=|Aut(D_{8})|=1944\) shows that \(\Gamma _{5}\) is not isomorphic to \(\Gamma _{7}\) or \(\Gamma _{8}\). Finally, \(\Gamma _{7}\) and \(\Gamma _{8}\) can be shown to be nonisomorphic by comparing the weight distributions of the ternary linear codes spanned by their adjacency matrices. The ternary code of \(\Gamma _{7}\) contains 32400 code words of weight 33, while the code of \(\Gamma _{8}\) contains 44550 code words of weight 33.
Availability of data and material
Data generated and analysed during this study are included in this article, and additional data are available online at http://www.math.uniri.hr/~asvob/SRGs81_pg552.txt.
References
Behbahani, M., Lam, C.: Strongly regular graphs with non-trivial automorphisms. Discrete Math. 311, 132–144 (2011)
Bose, R.C.: Strongly regular graphs, partial geometries and partially balanced designs. Pacific J. Math. 13, 389–419 (1963)
Bosma, W., Cannon, J.: Handbook of Magma Functions. University of Sydney, Department of Mathematics (1994). (http://magma.maths.usyd.edu.au/magma)
Bouyukliev, I., Fack, V., Willems, W., Winne, J.: Projective two-weight codes with small parameters and their corresponding graphs. Des. Codes Cryptogr. 41, 59–78 (2006)
Brouwer, A. E.: Strongly Regular Graphs. In: Colbourn, C. J., Dinitz, J. H. (Eds.), Handbook of Combinatorial Designs, \(2^{\rm nd}\) ed., Chapman & Hall/CRC, Boca Raton, 2007, pp. 852–868
Brouwer, A. E,: Parameters of Strongly Regular Graphs, http://www.win.tue.nl/~aeb/graphs/srg/srgtab.html
A. E. Brouwer, private communication
Calderbank, R., Kantor, W.M.: The geometry of two-weight codes. Bull. London Math. Soc. 18, 97–122 (1986)
Crnković, D., Maksimović, M.: Construction of strongly regular graphs having an automorphism group of composite order. Contrib. Discrete Math. 15, 22–41 (2020)
Delsarte, P.: An algebraic approach to the association schemes of coding theory. Phillips Res. Rep. Suppl. 10 (1973)
Hamada, N., Helleseth, T.: A characterization of some \(\{3v_{2}+v_{3},3v_{1}+v_{2};3,3\}\)-minihypers and some \([15,4,9;3]\)-codes with \(B_{2}=0\), Special issue on orthogonal arrays and affine designs, Part I. J. Statist. Plan. Inference 56, 129–146 (1996)
Krčadinac, V.: A new partial geometry \(pg(5,5,2)\), (https://arxiv.org/abs/2009.07946)
van Lint, J.H., Schrijver, A.: Construction of strongly regular graphs, two-weight codes and partial geometries by finite fields. Combinatorica 1, 63–73 (1981)
Payne, S.E., Thas, J.A.: Generalized Quadrangles. Pitman, New York (1985)
Thas, J.A.: Partial Geometries. In: Colbourn, C.J., Dinitz, J.H. (eds.) Handbook of Combinatorial Designs, 2nd edn, pp. 557–561. Chapman & Hall/CRC, Boca Raton (2007)
Acknowledgements
D. Crnković and A. Švob were supported by Croatian Science Foundation under the project 6732.
Funding
This work has been supported in part by Croatian Science Foundation under the project 6732.
Author information
Authors and Affiliations
Contributions
This is a joint collaboration with all three authors contributing substantially throughout.
Corresponding author
Ethics declarations
Conflicts of interest
The authors declare no conflict of interest.
Code availability
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
Lines of the new partial geometry \(pg^*(5,5,2)\)
Rights and permissions
About this article
Cite this article
Crnković, D., Švob, A. & Tonchev, V.D. Strongly regular graphs with parameters (81, 30, 9, 12) and a new partial geometry. J Algebr Comb 53, 253–261 (2021). https://doi.org/10.1007/s10801-021-01012-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10801-021-01012-2