In graph theory, a locally linear graph is an undirected graph in which every edge belongs to exactly one triangle. Equivalently, for each vertex of the graph, its neighbors are each adjacent to exactly one other neighbor, so the neighbors can be paired up into an induced matching.[1] Locally linear graphs have also been called locally matched graphs.[2] Their triangles form the hyperedges of triangle-free 3-uniform linear hypergraphs and the blocks of certain partial Steiner triple systems, and the locally linear graphs are exactly the Gaifman graphs of these hypergraphs or partial Steiner systems.

The nine-vertex Paley graph is locally linear. One of its six triangles is highlighted in green.

Many constructions for locally linear graphs are known. Examples of locally linear graphs include the triangular cactus graphs, the line graphs of 3-regular triangle-free graphs, and the Cartesian products of smaller locally linear graphs. Certain Kneser graphs, and certain strongly regular graphs, are also locally linear.

The question of how many edges locally linear graphs can have is one of the formulations of the Ruzsa–Szemerédi problem. Although dense graphs can have a number of edges proportional to the square of the number of vertices, locally linear graphs have a smaller number of edges, falling short of the square by at least a small non-constant factor. The densest planar graphs that can be locally linear are also known. The least dense locally linear graphs are the triangular cactus graphs.

Constructions

edit

Gluing and products

edit
 
Friendship graphs

The friendship graphs, graphs formed by gluing together a collection of triangles at a single shared vertex, are locally linear. They are the only finite graphs having the stronger property that every pair of vertices (adjacent or not) share exactly one common neighbor.[3] More generally every triangular cactus graph, a graph formed by gluing triangles at shared vertices without forming any additional cycles, is locally linear.[4]

Locally linear graphs may be formed from smaller locally linear graphs by the following operation, a form of the clique-sum operation on graphs. Let   and   be any two locally linear graphs, select a triangle from each of them, and glue the two graphs by merging together corresponding pairs of vertices in the two selected triangles. Then the resulting graph remains locally linear.[5]

The Cartesian product of any two locally linear graphs remains locally linear, because any triangles in the product come from triangles in one or the other factors. For instance, the nine-vertex Paley graph (the graph of the 3-3 duoprism) is the Cartesian product of two triangles.[1] The Hamming graph   is a Cartesian product of   triangles, and again is locally linear.[6]

From smaller graphs

edit

Some graphs that are not themselves locally linear can be used as a framework to construct larger locally linear graphs. One such construction involves line graphs. For any graph  , the line graph   is a graph that has a vertex for every edge of  . Two vertices in   are adjacent when the two edges that they represent in   have a common endpoint. If   is a 3-regular triangle-free graph, then its line graph   is 4-regular and locally linear. It has a triangle for every vertex   of  , with the vertices of the triangle corresponding to the three edges incident to  . Every 4-regular locally linear graph can be constructed in this way.[7] For instance, the graph of the cuboctahedron is the line graph of a cube, so it is locally linear. The locally linear nine-vertex Paley graph, constructed above as a Cartesian product, may also be constructed in a different way as the line graph of the utility graph  . The line graph of the Petersen graph is also locally linear by this construction. It has a property analogous to the cages: it is the smallest possible graph in which the largest clique has three vertices, each vertex is in exactly two edge-disjoint cliques, and the shortest cycle with edges from distinct cliques has length five.[8]

 
The cuboctahedron, a planar locally linear graph that can be formed as the line graph of a cube or by gluing antiprisms onto the inside and outside faces of a 4-cycle

A more complicated expansion process applies to planar graphs. Let   be a planar graph embedded in the plane in such a way that every face is a quadrilateral, such as the graph of a cube. Gluing a square antiprism onto each face of  , and then deleting the original edges of  , produces a new locally linear planar graph. The numbers of edges and vertices of the result can be calculated from Euler's polyhedral formula: if   has   vertices, it has exactly   faces, and the result of replacing the faces of   by antiprisms has   vertices and   edges.[5] For instance, the cuboctahedron can again be produced in this way, from the two faces (the interior and exterior) of a 4-cycle. The removed 4-cycle of this construction can be seen on the cuboctahedron as a cycle of four diagonals of its square faces, bisecting the polyhedron.

Algebraic constructions

edit

Certain Kneser graphs, graphs constructed from the intersection patterns of equal-size sets, are locally linear. Kneser graphs are described by two parameters, the size of the sets they represent and the size of the universe from which these sets are drawn. The Kneser graph   has   vertices (in the standard notation for binomial coefficients), representing the  -element subsets of an  -element set. In this graph, two vertices are adjacent when the corresponding subsets are disjoint sets, having no elements in common. In the special case when  , the resulting graph is locally linear, because for each two disjoint  -element subsets   and   there is exactly one other  -element subset disjoint from both of them, consisting of all the elements that are neither in   nor in  . The resulting locally linear graph has   vertices and   edges. For instance, for   the Kneser graph   is locally linear with 15 vertices and 45 edges.[2]

Locally linear graphs can also be constructed from progression-free sets of numbers. Let   be a prime number, and let   be a subset of the numbers modulo   such that no three members of   form an arithmetic progression modulo  . (That is,   is a Salem–Spencer set modulo  .) This set can be used to construct a tripartite graph with   vertices and   edges that is locally linear. To construct this graph, make three sets of vertices, each numbered from   to  . For each number   in the range from   to   and each element   of  , construct a triangle connecting the vertex with number   in the first set of vertices, the vertex with number   in the second set of vertices, and the vertex with number   in the third set of vertices. Form a graph as the union of all of these triangles. Because it is a union of triangles, every edge of the resulting graph belongs to a triangle. However, there can be no other triangles than the ones formed in this way. Any other triangle would have vertices numbered   where  ,  , and   all belong to  , violating the assumption that there be no arithmetic progressions   in  .[9] For example, with   and  , the result of this construction is the nine-vertex Paley graph.

The triangles in a locally linear graph can be equivalently thought of as forming a 3-uniform hypergraph. Such a hypergraph must be linear, meaning that no two of its hyperedges (the triangles) can share more than one vertex. The locally linear graph itself is the Gaifman graph of the hypergraph, the graph of pairs of vertices that belong to a common hyperedge. In this view it makes sense to talk about the girth of the hypergraph. In graph terms, this is the length of the shortest cycle that is not one of the triangles of the graph. An algebraic construction based on polarity graphs (also called Brown graphs) has been used, in this context, to find dense locally linear graphs that have no 4-cycles; their hypergraph girth is five. A polarity graph is defined from a finite projective plane, and a polarity, an incidence-preserving bijection between its points and its lines. The vertices of the polarity graph are points, and an edge connects two points whenever one is polar to a line containing the other. More algebraically, the vertices of the same graph can be represented by homogeneous coordinates: these are triples of values   from a finite field, not all zero, where two triples define the same point in the plane whenever they are scalar multiples of each other. Two points, represented by triples in this way, are adjacent when their inner product is zero. The polarity graph for a finite field of odd order   has   vertices, of which   are self-adjacent and do not belong to any triangles. When these are removed, the result is a locally linear graph with   vertices,   edges, and hypergraph girth five, giving the maximum possible number of edges for a locally linear graph of this girth up to lower-order terms.[10]

Regularity

edit

Regular graphs with few vertices

edit

A graph is regular when all of its vertices have the same degree, the number of incident edges. Every locally linear graph must have even degree at each vertex, because the edges at each vertex can be paired up into triangles. The Cartesian product of two locally linear regular graphs is again locally linear and regular, with degree equal to the sum of the degrees of the factors. Therefore, one can take Cartesian products of locally linear graphs of degree two (triangles) to produce regular locally linear graphs of every even degree.[1]

The  -regular locally linear graphs must have at least   vertices, because there are this many vertices among any triangle and its neighbors alone. (No two vertices of the triangle can share a neighbor without violating local linearity.) Regular graphs with exactly this many vertices are possible only when   is 1, 2, 3, or 5, and are uniquely defined for each of these four cases. The four regular graphs meeting this bound on the number of vertices are the 3-vertex 2-regular triangle  , the 9-vertex 4-regular Paley graph, the 15-vertex 6-regular Kneser graph  , and the 27-vertex 10-regular complement graph of the Schläfli graph. The final 27-vertex 10-regular graph also represents the intersection graph of the 27 lines on a cubic surface.[2]

Strongly regular graphs

edit

A strongly regular graph can be characterized by a quadruple of parameters   where   is the number of vertices,   is the number of incident edges per vertex,   is the number of shared neighbors for every adjacent pair of vertices, and   is the number of shared neighbors for every non-adjacent pair of vertices. When   the graph is locally linear. The locally linear graphs already mentioned above that are strongly regular graphs and their parameters are[11]

  • the triangle (3,2,1,0),
  • the nine-vertex Paley graph (9,4,1,2),
  • the Kneser graph   (15,6,1,3), and
  • the complement of the Schläfli graph (27,10,1,5).

Other locally linear strongly regular graphs include

Other potentially-valid combinations with   include (99,14,1,2) and (115,18,1,3) but it is unknown whether strongly regular graphs with those parameters exist.[11] The question of the existence of a strongly regular graph with parameters (99,14,1,2) is known as Conway's 99-graph problem, and John Horton Conway has offered a $1000 prize for its solution.[16]

Distance-regular graphs

edit

There are finitely many distance-regular graphs of degree 4 or 6 that are locally linear. Beyond the strongly regular graphs of the same degrees, they also include the line graph of the Petersen graph, the Hamming graph  , and the halved Foster graph.[17]

Density

edit
 
The densest possible locally linear planar graphs are formed by gluing an antiprism (red vertices and black edges) into each quadrilateral face of a planar graph (blue vertices and dashed yellow edges)

One formulation of the Ruzsa–Szemerédi problem asks for the maximum number of edges in an  -vertex locally linear graph. As Imre Z. Ruzsa and Endre Szemerédi proved, this maximum number is   but is   for every  . The construction of locally linear graphs from progression-free sets leads to the densest known locally linear graphs, with   edges. (In these formulas,  ,  , and   are examples of little o notation, big Omega notation, and big O notation, respectively.)[9]

Among planar graphs, the maximum number of edges in a locally linear graph with   vertices is  . The graph of the cuboctahedron is the first in an infinite sequence of polyhedral graphs with   vertices and   edges, for  , constructed by expanding the quadrilateral faces of   into antiprisms. These examples show that the   upper bound can be attained.[5]

Every locally linear graph has the property that it remains connected after any matching is removed from it, because in any path through the graph, each matched edge can be replaced by the other two edges of its triangle. Among the graphs with this property, the least dense are the triangular cactus graphs, which are also the least dense locally linear graphs.[4]

Applications

edit

One application of locally linear graphs occurs in the formulation of Greechie diagrams, which are used in quantum logic to help determine whether certain Hilbert space equations can be inferred from each other. In this application, the triangles of locally linear graphs form the blocks of Greechie diagrams with block size three. The Greechie diagrams corresponding to lattices come from the locally linear graphs of hypergraph girth five or more,[18] as constructed for instance from polarity graphs.[10]

A combination of random sampling and a graph removal lemma can be used to find large high-girth 3-uniform hypergraphs within arbitrary 3-uniform linear hypergraphs or partial Steiner triple systems. This method can then be used to prove asymptotically tight lower bounds on the independence number of 3-uniform linear hypergraphs and partial Steiner triple systems.[19]

References

edit
  1. ^ a b c Fronček, Dalibor (1989), "Locally linear graphs", Mathematica Slovaca, 39 (1): 3–6, hdl:10338.dmlcz/136481, MR 1016323
  2. ^ a b c Larrión, F.; Pizaña, M. A.; Villarroel-Flores, R. (2011), "Small locally nK2 graphs" (PDF), Ars Combinatoria, 102: 385–391, MR 2867738
  3. ^ Erdős, Paul; Rényi, Alfréd; Sós, Vera T. (1966), "On a problem of graph theory" (PDF), Studia Sci. Math. Hungar., 1: 215–235
  4. ^ a b Farley, Arthur M.; Proskurowski, Andrzej (1982), "Networks immune to isolated line failures", Networks, 12 (4): 393–403, doi:10.1002/net.3230120404, MR 0686540; see in particular p. 397: "We call the resultant network a triangle cactus; it is a cactus network in which every line belongs to exactly one triangle."
  5. ^ a b c Zelinka, Bohdan (1988), "Polytopic locally linear graphs", Mathematica Slovaca, 38 (2): 99–103, hdl:10338.dmlcz/133017, MR 0945363
  6. ^ Devillers, Alice; Jin, Wei; Li, Cai Heng; Praeger, Cheryl E. (2013), "Local 2-geodesic transitivity and clique graphs", Journal of Combinatorial Theory, Series A, 120 (2): 500–508, doi:10.1016/j.jcta.2012.10.004, MR 2995054. In the notation of this reference, the family of  -regular graphs is denoted as  .
  7. ^ Munaro, Andrea (2017), "On line graphs of subcubic triangle-free graphs", Discrete Mathematics, 340 (6): 1210–1226, doi:10.1016/j.disc.2017.01.006, MR 3624607
  8. ^ Fan, Cong (1996), "On generalized cages", Journal of Graph Theory, 23 (1): 21–31, doi:10.1002/(SICI)1097-0118(199609)23:1<21::AID-JGT2>3.0.CO;2-M, MR 1402135
  9. ^ a b Ruzsa, I. Z.; Szemerédi, E. (1978), "Triple systems with no six points carrying three triangles", Combinatorics (Proc. Fifth Hungarian Colloq., Keszthely, 1976), Vol. II, Colloq. Math. Soc. János Bolyai, vol. 18, Amsterdam and New York: North-Holland, pp. 939–945, MR 0519318
  10. ^ a b Lazebnik, Felix; Verstraëte, Jacques (2003), "On hypergraphs of girth five", Electronic Journal of Combinatorics, 10: R25:1–R25:15, doi:10.37236/1718, MR 2014512
  11. ^ a b Makhnëv, A. A. (1988), "Strongly regular graphs with  ", Akademiya Nauk SSSR, 44 (5): 667–672, 702, doi:10.1007/BF01158426, MR 0980587, S2CID 120911900
  12. ^ Brouwer, A. E.; Haemers, W. H. (1992), "Structure and uniqueness of the (81,20,1,6) strongly regular graph", A collection of contributions in honour of Jack van Lint, Discrete Mathematics, 106/107: 77–82, doi:10.1016/0012-365X(92)90532-K, MR 1181899
  13. ^ Berlekamp, E. R.; van Lint, J. H.; Seidel, J. J. (1973), "A strongly regular graph derived from the perfect ternary Golay code", A Survey of Combinatorial Theory (Proc. Internat. Sympos., Colorado State Univ., Fort Collins, Colo., 1971), Amsterdam: North-Holland: 25–30, doi:10.1016/B978-0-7204-2262-7.50008-9, ISBN 9780720422627, MR 0364015
  14. ^ Cossidente, Antonio; Penttila, Tim (2005), "Hemisystems on the Hermitian surface", Journal of the London Mathematical Society, Second Series, 72 (3): 731–741, doi:10.1112/S0024610705006964, MR 2190334
  15. ^ Bondarenko, Andriy V.; Radchenko, Danylo V. (2013), "On a family of strongly regular graphs with  ", Journal of Combinatorial Theory, Series B, 103 (4): 521–531, arXiv:1201.0383, doi:10.1016/j.jctb.2013.05.005, MR 3071380
  16. ^ Zehavi, Sa'ar; Oliveira, Ivo Fagundes David (2017), Not Conway's 99-graph problem, arXiv:1707.08047
  17. ^ Hiraki, Akira; Nomura, Kazumasa; Suzuki, Hiroshi (2000), "Distance-regular graphs of valency 6 and  ", Journal of Algebraic Combinatorics, 11 (2): 101–134, doi:10.1023/A:1008776031839, MR 1761910
  18. ^ McKay, Brendan D.; Megill, Norman D.; Pavičić, Mladen (2000), "Algorithms for Greechie diagrams", International Journal of Theoretical Physics, 39 (10): 2381–2406, arXiv:quant-ph/0009039, doi:10.1023/A:1026476701774, MR 1803695
  19. ^ Henning, Michael A.; Yeo, Anders (2020), "Chapter 12: Partial Steiner triple systems", Transversals in Linear Uniform Hypergraphs, Developments in Mathematics, vol. 63, Cham: Springer, pp. 171–177, doi:10.1007/978-3-030-46559-9_12, ISBN 978-3-030-46559-9, MR 4180641