Strongly regular locally <Emphasis Type="Italic">GQ</Emphasis>(4,<Emphasis Type="Italic">t</Emphasis>)-graphs

Amply regular with parameters (v, k, λ, μ) we call an undirected graph with v vertices in which the degrees of all vertices are equal to k, every edge belongs to λ triangles, and the intersection of the neighborhoods of every pair of vertices at distance 2 contains exactly μ vertices. An amply regular diameter 2 graph is called strongly regular. We prove the nonexistence of amply regular locally GQ(4,t)-graphs with (t,μ) = (4, 10) and (8, 30). This reduces the classification problem for strongly regular locally GQ(4,t)-graphs to studying locally GQ(4, 6)-graphs with parameters (726, 125, 28, 20).     

On a conjecture of Brouwer involving the connectivity of strongly regular graphs

In this paper, we study a conjecture of Andries E. Brouwer from 1996 regarding the minimum number of vertices of a strongly regular graph whose removal disconnects the graph into non-singleton components.We show that strongly regular graphs constructed from copolar spaces and from the more general spaces called Δ-spaces are counterexamples to Brouwer?s Conjecture. Using J.I. Hall?s characterization of finite reduced copolar spaces, we find that the triangular graphs T(m), the symplectic graphs Sp(2r,q) over the field Fq (for any q prime power), and the strongly regular graphs constructed from the hyperbolic quadrics O⁺(2r,2) and from the elliptic quadrics O⁻(2r,2) over the field F₂, respectively, are counterexamples to Brouwer?s Conjecture. For each of these graphs, we determine precisely the minimum number of vertices whose removal disconnects the graph into non-singleton components. While we are not aware of an analogue of Hall?s characterization theorem for Δ-spaces, we show that complements of the point graphs of certain finite generalized quadrangles are point graphs of Δ-spaces and thus, yield other counterexamples to Brouwer?s Conjecture.We prove that Brouwer?s Conjecture is true for many families of strongly regular graphs including the conference graphs, the generalized quadrangles GQ(q,q) graphs, the lattice graphs, the Latin square graphs, the strongly regular graphs with smallest eigenvalue −2 (except the triangular graphs) and the primitive strongly regular graphs with at most 30 vertices except for few cases.We leave as an open problem determining the best general lower bound for the minimum size of a disconnecting set of vertices of a strongly regular graph, whose removal disconnects the graph into non-singleton components.     

Distance-biregular graphs with 2-valent vertices and distance-regular line graphs

A graph G is called distance-regularized if each vertex of G admits an intersection array. It is known that every distance-regularized graph is either distance-regular (DR) or distance-biregular (DBR). Note that DBR means that the graph is bipartite and the vertices in the same color class have the same intersection array. A (k, g)-graph is a k-regular graph with girth g and with the minimum possible number of vertices consistent with these properties. Biggs proved that, if the line graph L(G) is distance-transitive, then G is either K_1,n or a (k, g)-graph. This result is generalized to DR graphs by showing that the following are equivalent: (1) L(G) is DR and G ≠ K_1,n for n ≥ 2, (2) G and L(G) are both DR, (3) subdivision graph S(G) is DBR, and (4) G is a (k, g)-graph. This result is used to show that a graph S is a DBR graph with 2-valent vertices iff S = K_2,′ or S is the subdivision graph of a (k, g)-graph. Let G⁽²⁾ be the graph with vertex set that of G and two vertices adjacent if at distance two in G. It is shown that for a DBR graph G, G⁽²⁾ is two DR graphs. It is proved that a DR graph H without triangles can be obtained as a component of G⁽²⁾ if and only if it is a (k, g)-graph with g ≥ 4.     

There is no (95, 40, 12, 20) strongly regular graph

We show that there is no (95, 40, 12, 20) strongly regular graph and, consequently, there is no (96, 45, 24, 18) strongly regular graph, no nontrivial regular two‐graph on 96 vertices, and no partial geometry pg(4, 9, 2). The main idea of the result is based on the star complement technique and requires a moderate amount of computation.     

On Strongly Regular Graphs with k=2μ and Their Extensions

We obtain a convenient expression for the parameters of a strongly regular graph with k=2 in terms of the nonprincipal eigenvalues x and –y. It turns out in particular that such graphs are pseudogeometric for pG _x(2x,y–1). We prove that a strongly regular graph with parameters (35,16,6,8) is a quotient of the Johnson graph (8,4). We also find the parameters of strongly regular graphs in which the neighborhoods of vertices are pseudogeometric graphs for pG _x(2x,t),x3. In consequence, we establish that a connected graph in which the neighborhoods of vertices are pseudogeometric graphs for pG ₃(6,2) is isomorphic to the Taylor graph on 72 vertices or to the alternating form graph Alt(4,2) with parameters (64,35,18,20).     

Automorphisms of Strongly Regular Krein Graphs without Triangles

A strongly regular graph is called a Krein graph if, in one of the Krein conditions, an equality obtains for it. A strongly regular Krein graph Kre(r) without triangles has parameters ((r² + 3r)², r³ + 3r² + r, 0, r² + r). It is known that Kre(1) is a Klebsh graph, Kre(2) is a Higman-Sims graph, and that a graph of type Kre(3) does not exist. Let G be the automorphism group of a hypothetical graph Γ = Kre(5), g be an element of odd prime order p in G, and Ω = Fix(g). It is proved that either Ω is the empty graph and p = 5, or Ω is a one-vertex graph and p = 41, or Ω is a 2-clique and p = 17, or Ω is the complete bipartite graph K_8,8, from which the maximal matching is removed, and p = 3.Supported by RFBR grant No. 05-01-00046.__________Translated from Algebra i Logika, Vol. 44, No. 3, pp. 335–354, May–June, 2005.     

Amply regular graphs and block designs

We study the amply regular diameter d graphs Γ such that for some vertex a the set of vertices at distance d from a is the set of points of a 2-design whose set of blocks consists of the intersections of the neighborhoods of points with the set of vertices at distance d-1 from a. We prove that the subgraph induced by the set of points is a clique, a coclique, or a strongly regular diameter 2 graph. For diameter 3 graphs we establish that this construction is a 2-design for each vertex a if and only if the graph is distance-regular and for each vertex a the subgraph Γ₃(a) is a clique, a coclique, or a strongly regular graph. We obtain the list of admissible parameters for designs and diameter 3 graphs under the assumption that the subgraph induced by the set of points is a Seidel graph. We show that some of the parameters found cannot correspond to distance-regular graphs.     

Minimal regular 2-graphs and applications

A 2-graph is a hypergraph with edge sizes of at most two. A regular 2-graph is said to be minimal if it does not contain a proper regular factor. Let f2(n) be the maximum value of degrees over all minimal regular 2-graphs of n vertices. In this paper, we provide a structure property of minimal regular 2-graphs, and consequently, prove that f2(n) = n 3-i/3, where 1 ≤ i ≤ 6, i ≡ n (mod 6) and n ≥ 7, which solves a conjecture posed by Fan, Liu, Wu and Wong. As applications in graph theory, we are able to characterize unfactorable regular graphs and provide the best possible factor existence theorem on degree conditions. Moreover, fa(n) and the minimal 2-graphs can be used in the universal switch box designs, which originally motivated this study.     

Strongly regular graphs from classical generalized quadrangles

If s is an even power of a prime and t equals s or \(s\sqrt{s}\), we show the existence of pseudo-geometric strongly regular graphs having the same parameters of the point-graph of a GQ(s, t), that are not geometric.     

Regular graphs are not universal fixers

For any permutation π of the vertex set of a graph G, the graph πG is obtained from two copies G^′ and G^″ of G by joining u∈V(G^′) and v∈V(G^″) if and only if v=π(u). Denote the domination number of G by γ(G). For all permutations π of V(G), γ(G)≤γ(πG)≤2γ(G). If γ(πG)=γ(G) for all π, then G is called a universal fixer. We prove that regular graphs and graphs with γ=4 are not universal fixers.     

On the Nonexistence of Strongly Regular Graphs with Parameters (486, 165, 36, 66)

We prove that a strongly regular graph with parameters (486, 165, 36, 66) does not exist. Since the parameters indicated are parameters of a pseudogeometric graph for pG ₂(5, 32), we conclude that the partial geometries pG ₂(5, 32) and pG ₂(32, 5) do not exist. Finally, a neighborhood of an arbitrary vertex of a pseudogeometric graph for pG ₃(6, 80) is a pseudogeometric graph for pG ₂(5, 32) and, therefore, a pseudogeometric graph for the partial geometry pG ₃(6, 80) [i.e., a strongly regular graph with parameters (1127, 486, 165, 243)] does not exist.     

Hamiltonian properties of locally connected graphs with bounded vertex degree

We consider the existence of Hamiltonian cycles for the locally connected graphs with a bounded vertex degree. For a graph G, let Δ(G) and δ(G) denote the maximum and minimum vertex degrees, respectively. We explicitly describe all connected, locally connected graphs with Δ(G)?4. We show that every connected, locally connected graph with Δ(G)=5 and δ(G)?3 is fully cycle extendable which extends the results of Kikust [P.B. Kikust, The existence of the Hamiltonian circuit in a regular graph of degree 5, Latvian Math. Annual 16 (1975) 33-38] and Hendry [G.R.T. Hendry, A strengthening of Kikust’s theorem, J. Graph Theory 13 (1989) 257-260] on full cycle extendability of the connected, locally connected graphs with the maximum vertex degree bounded by 5. Furthermore, we prove that problem Hamilton Cycle for the locally connected graphs with Δ(G)?7 is NP-complete.     

On a family of highly regular graphs by Brouwer,Ivanov, and Klin

Highly regular graphs for which not all regularities are explainable by symmetries are fascinating creatures. Some of them like, e.g., the line graph of W. Kantor’s non-classical $GQ(5^2,5)$, are stumbling stones for existing implementations of graph isomorphism tests. They appear to be extremely rare and even once constructed it is difficult to prove their high regularity. Yet some of them, like the McLaughlin graph on 275 vertices and Ivanov’s graph on 256 vertices are of profound beauty. This alone makes it an attractive goal to strive for their complete classification or, failing this, at least to get a deep understanding of them. Recently, one of the authors discovered new methods for proving high regularity of graphs. Using these techniques, in this paper we study a classical family of strongly regular graphs, originally discovered by A.E. Brouwer, A.V. Ivanov, and M.H. Klin in the late 80s. We analyse their symmetries and show that they are $(3,5)$-regular but not 2-homogeneous. Thus we promote these graphs to the distinguished club of highly regular graphs with few symmetries.     

Segre's hemisystem and McLaughlin's graph

An alternative construction of Segre's hemisystem of H(3,9) is provided, as well as an alternative construction of McLauhglin's strongly regular graph srg(275,112,30,56) in terms of Segre hemisystems.     

On edges crossing few other edges in simple topological complete graphs

We study the existence of edges having few crossings with the other edges in drawings of the complete graph (more precisely, in simple topological complete graphs). A topological graphT=(V,E) is a graph drawn in the plane with vertices represented by distinct points and edges represented by Jordan curves connecting the corresponding pairs of points (vertices), passing through no other vertices, and having the property that any intersection point of two edges is either a common end-point or a point where the two edges properly cross. A topological graph is simple if any two edges meet in at most one common point.Let h=h(n) be the smallest integer such that every simple topological complete graph on n vertices contains an edge crossing at most h other edges. We show that Ω(n^3/2)≤h(n)≤O(n²/log^1/4n). We also show that the analogous function on other surfaces (torus, Klein bottle) grows as cn².     

Ovoids and Bipartite Subgraphs in Generalized Quadrangles

A point-line incidence system is called an -partial geometry of order (s,t) if each line contains s + 1 points, each point lies on t + 1 lines, and for any point a not lying on a line L, there exist precisely lines passing through a and intersecting L (the notation is pG (s,t)). If = 1, then such a geometry is called a generalized quadrangle and denoted by GQ(s,t). It is established that if a pseudogeometric graph for a generalized quadrangle GQ(s,s ² – s) contains more than two ovoids, then s = 2. It is proved that the point graph of a generalized quadrangle GQ(4,t) contains no K _4,6-subgraphs. Finally, it is shown that if some -subgraph of a pseudogeometric graph for a generalized quadrangle GQ(4,t) contains a triangle, then t 6.     

Le nombre minimal de colorations d'un hypergraphe k-chromatique

A (0,λ)-graph (λ?2) is a connected graph in which any two vertices have λ common neighbours or none at all. Such a graph is regular. When the diameter is at least four, a lower bound for the degree can be obtained. This lower bound is attained only by Hadamard graphs and n-cubes.     

n≤12阶(k,l)-正则极大平面图

我们知道当图的顶点数n>12时不存在正则极大平面图.相关文献提出了(k,l)-正则极大平面图的概念,并讨论了(5,6)-正则极大平面图的存在性.在相关文献中,作者分别讨论了阶n>12的(k,l)-正则极大平面图的存在条件及构造方法.本文讨论了阶n(≤12)的(k,l)-正则极大平面图的存在性,除两种情况外,本文给出了阶n(≤12)的(k,l)-正则极大平面图的存在条件及其一种构造的例子.     

Zeta functions of line, middle, total graphs of a graph and their coverings

We consider the (Ihara) zeta functions of line graphs, middle graphs and total graphs of a regular graph and their (regular or irregular) covering graphs. Let L(G), M(G) and T(G) denote the line, middle and total graph of G, respectively. We show that the line, middle and total graph of a (regular and irregular, respectively) covering of a graph G is a (regular and irregular, respectively) covering of L(G), M(G) and T(G), respectively. For a regular graph G, we express the zeta functions of the line, middle and total graph of any (regular or irregular) covering of G in terms of the characteristic polynomial of the covering. Also, the complexities of the line, middle and total graph of any (regular or irregular) covering of G are computed. Furthermore, we discuss the L-functions of the line, middle and total graph of a regular graph G.