75,077 research outputs found
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 , the symplectic graphs
over the field (for any prime power), and the
strongly regular graphs constructed from the hyperbolic quadrics
and from the elliptic quadrics over the field ,
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
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.Comment: 25 pages, 1 table; accepted to JCTA; revised version contains a new
section on copolar and Delta space
On generalized binomial series and strongly regular graphs
We consider a strongly regular graph, G, and associate a three dimensional Euclidean Jordan algebra, V, to its adjacency matrix A.
Then, by considering binomial series of Hadamard powers of the idempotents
of the unique complete system of orthogonal idempotents of V associated to A, we establish feasibility conditions for the existence of strongly regular graphs
Identifying codes in vertex-transitive graphs and strongly regular graphs
We consider the problem of computing identifying codes of graphs and its fractional relaxation. The ratio between the size of optimal integer and fractional solutions is between 1 and 2ln(vertical bar V vertical bar) + 1 where V is the set of vertices of the graph. We focus on vertex-transitive graphs for which we can compute the exact fractional solution. There are known examples of vertex-transitive graphs that reach both bounds. We exhibit infinite families of vertex-transitive graphs with integer and fractional identifying codes of order vertical bar V vertical bar(alpha) with alpha is an element of{1/4, 1/3, 2/5}These families are generalized quadrangles (strongly regular graphs based on finite geometries). They also provide examples for metric dimension of graphs
Generalized Paley graphs equienergetic with their complements
We consider generalized Paley graphs , generalized Paley sum
graphs , and their corresponding complements
and , for . Denote by
either or . We compute the spectra of
and and from them we obtain the spectra of
and also. Then we show that, in the
non-semiprimitive case, the spectrum of and
with prime can be recursively obtained, under certain
arithmetic conditions, from the spectrum of the graphs and
for any , respectively. Using the spectra of
these graphs we give necessary and sufficient conditions on the spectrum of
such that and are
equienergetic for . In a previous work we have classified all bipartite
regular graphs and all strongly regular graphs
which are complementary equienergetic, i.e.\@ and are
equienergetic pairs of graphs. Here we construct infinite pairs of
equienergetic non-isospectral regular graphs which
are neither bipartite nor strongly regular.Comment: 22 page
Identifying codes in vertex-transitive graphs and strongly regular graphs
We consider the problem of computing identifying codes of graphs and its
fractional relaxation. The ratio between the size of optimal integer and
fractional solutions is between 1 and 2 ln(|V|)+1 where V is the set of
vertices of the graph. We focus on vertex-transitive graphs for which we can
compute the exact fractional solution. There are known examples of
vertex-transitive graphs that reach both bounds. We exhibit infinite families
of vertex-transitive graphs with integer and fractional identifying codes of
order |V|^a with a in {1/4,1/3,2/5}. These families are generalized quadrangles
(strongly regular graphs based on finite geometries). They also provide
examples for metric dimension of graphs
Benson\u27s Theorem for Partial Geometries
In 1970 Clark Benson published a theorem in the Journal of Algebra stating a congruence for generalized quadrangles. Since then this theorem has been expanded to other specific geometries. In this thesis the theorem for partial geometries is extended to develop new divisibility conditions for the existence of a partial geometry in Chapter 2. Then in Chapter 3 the theorem is applied to higher dimensional arcs resulting in parameter restrictions on geometries derived from these structures. In Chapter 4 we look at extending previous work with partial geometries with α = 2 to uncover potential partial geometries with higher values of α. Finally the theorem is extended to strongly regular graphs in Chapter 5. In addition we obtain expressions for the multiplicities of the eigenvalues of matrices related to the adjacency matrices of these graphs. Finally, a four lesson high school level enrichment unit is included to provide students at this level with an introduction to partial geometries, strongly regular graphs, and an opportunity to develop proof skills in this new context
Truncating the loop series expansion for Belief Propagation
Recently, M. Chertkov and V.Y. Chernyak derived an exact expression for the
partition sum (normalization constant) corresponding to a graphical model,
which is an expansion around the Belief Propagation solution. By adding
correction terms to the BP free energy, one for each "generalized loop" in the
factor graph, the exact partition sum is obtained. However, the usually
enormous number of generalized loops generally prohibits summation over all
correction terms. In this article we introduce Truncated Loop Series BP
(TLSBP), a particular way of truncating the loop series of M. Chertkov and V.Y.
Chernyak by considering generalized loops as compositions of simple loops. We
analyze the performance of TLSBP in different scenarios, including the Ising
model, regular random graphs and on Promedas, a large probabilistic medical
diagnostic system. We show that TLSBP often improves upon the accuracy of the
BP solution, at the expense of increased computation time. We also show that
the performance of TLSBP strongly depends on the degree of interaction between
the variables. For weak interactions, truncating the series leads to
significant improvements, whereas for strong interactions it can be
ineffective, even if a high number of terms is considered.Comment: 31 pages, 12 figures, submitted to Journal of Machine Learning
Researc
- …