graph
34995 papers tagged with this keyword
On graph equivalences preserved under extensions
Published
• View Publication
• BIB
Let R be an equivalence relation on graphs. By the strengthening of R we mean the relation R' such that graphs G and H are in the relation R' if for every graph F, the union of the graphs G and F is in the relation R with the union of the graphs H and F. We study strengthenings of equivalence relations on graphs. The most important case that we consider concerns equivalence relations defined by graph properties. We obtain results on the strengthening of equivalence relations determined by the properties such as being a k-connected graph, k-colorable, hamiltonian and planar.
Irreducible pseudo 2-factor isomorphic cubic bipartite graphs
Published in Des. Codes Cryptogr. 64 1--2 (2012) 153--160
• View Publication
• BIB
A bipartite graph is {\em pseudo 2--factor isomorphic} if all its 2--factors have the same parity of number of circuits. In \cite{ADJLS} we proved that the only essentially 4--edge-connected pseudo 2--factor isomorphic cubic bipartite graph of girth 4 is $K_{3,3}$, and conjectured \cite[Conjecture 3.6]{ADJLS} that the only essentially 4--edge-connected cubic bipartite graphs are $K_{3,3}$, the Heawood graph and the Pappus graph.
There exists a characterization of symmetric configurations $n_3$ %{\bf decide notation and how to use it in the rest of the paper} due to Martinetti (1886) in which all symmetric configurations $n_3$ can be obtained from an infinite set of so called {\em irreducible} configurations \cite{VM}. The list of irreducible configurations has been completed by Boben \cite{B} in terms of their {\em irreducible Levi graphs}.
In this paper we characterize irreducible pseudo 2--factor isomorphic cubic bipartite graphs proving that the only pseudo 2--factor isomorphic irreducible Levi graphs are the Heawood and Pappus graphs. Moreover, the obtained characterization allows us to partially prove the above Conjecture.
Algebraic Combinatorics in Mathematical Chemistry. Methods and Algorithms. II. Program Implementation of the Weisfeiler-Leman Algorithm
The stabilization algorithm of Weisfeiler and Leman has as an input any square matrix A of order n and returns the minimal cellular (coherent) algebra W(A) which includes A.
In case when A=A(G) is the adjacency matrix of a graph G the algorithm examines all configurations in G having three vertices and, according to this information, partitions vertices and ordered pairs of vertices into equivalence classes. The resulting construction allows to associate to each graph G a matrix algebra W(G):= W(A(G))$ which is an invariant of the graph G. For many classes of graphs, in particular for most of the molecular graphs, the algebra W(G) coincides with the centralizer algebra of the automorphism group aut(G). In such a case the partition returned by the stabilization algorithm is equal to the partition into orbits of aut(G).
We give algebraic and combinatorial descriptions of the Weisfeiler--Leman algorithm and present an efficient computer implementation of the algorithm written in C. The results obtained by testing the program on a considerable number of examples of graphs, in particular on some chemical molecular graphs, are also included.
From the Coxeter graph to the Klein graph
Published
• View Publication
• BIB
We show that the 56-vertex Klein cubic graph $\G'$ can be obtained from the 28-vertex Coxeter cubic graph $\G$ by 'zipping' adequately the squares of the 24 7-cycles of $\G$ endowed with an orientation obtained by considering $\G$ as a $\mathcal C$-ultrahomogeneous digraph, where $\mathcal C$ is the collection formed by both the oriented 7-cycles $\vec{C}_7$ and the 2-arcs $\vec{P}_3$ that tightly fasten those $\vec{C}_7$ in $\G$. In the process, it is seen that $\G'$ is a ${\mathcal C}'$-ultrahomogeneous (undirected) graph, where ${\mathcal C}'$ is the collection formed by both the 7-cycles $C_7$ and the 1-paths $P_2$ that tightly fasten those $C_7$ in $\G'$. This yields an embedding of $\G'$ into a 3-torus $T_3$ which forms the Klein map of Coxeter notation $(7,3)_8$. The dual graph of $\G'$ in $T_3$ is the distance-regular Klein quartic graph, with corresponding dual map of Coxeter notation $(3,7)_8$.
The strong thirteen spheres problem
Published in Discrete & Computational Geometry, 48:1 (2012), 128-141
• View Publication
• BIB
The thirteen spheres problem is asking if 13 equal size nonoverlapping spheres in three dimensions can touch another sphere of the same size. This problem was the subject of the famous discussion between Isaac Newton and David Gregory in 1694. The problem was solved by Schutte and van der Waerden only in 1953.
A natural extension of this problem is the strong thirteen spheres problem (or the Tammes problem for 13 points) which asks to find an arrangement and the maximum radius of 13 equal size nonoverlapping spheres touching the unit sphere. In the paper we give a solution of this long-standing open problem in geometry. Our computer-assisted proof is based on a enumeration of the so-called irreducible graphs.
Books vs Triangles
Published
• View Publication
• BIB
A book of size b in a graph is an edge that lies in b triangles. Consider a graph G with n vertices and \lfloor n^2/4\rfloor +1 edges. Rademacher proved that G contains at least \lfloor n/2\rfloor triangles, and Erdos conjectured and Edwards proved that G contains a book of size at least n/6.
We prove the following "linear combination" of these two results. Suppose that α\in (1/2, 1) and the maximum size of a book in G is less than αn/2. Then G contains at least α(1-α) n^2/4 - o(n^2) triangles as n approaches infinity. This is asymptotically sharp. On the other hand, for every α\in (1/3, 1/2), there exists β>0 such that G contains at least βn^3 triangles. It remains an open problem to determine the largest possible βin terms of α. Our proof uses the Ruzsa-Szemeredi theorem.
An algorithm to prescribe the configuration of a finite graph
We provide algorithms involving edge slides, for a connected simple graph to evolve in a finite number of steps to another connected simple graph in a prescribed configuration, and for the regularization of such a graph by the minimization of an appropriate energy functional.
Approximating the partition function of the ferromagnetic Potts model
Published in JACM 59(5) Article 25 October 2012
• View Publication
• BIB
We provide evidence that it is computationally difficult to approximate the partition function of the ferromagnetic q-state Potts model when q>2. Specifically we show that the partition function is hard for the complexity class #RHPi_1 under approximation-preserving reducibility. Thus, it is as hard to approximate the partition function as it is to find approximate solutions to a wide range of counting problems, including that of determining the number of independent sets in a bipartite graph. Our proof exploits the first order phase transition of the "random cluster" model, which is a probability distribution on graphs that is closely related to the q-state Potts model.
Adjacency Matrices of Configuration Graphs
Published in Linear Algebra Appl.,437(8) (2012) 2026--2037
• View Publication
• BIB
In 1960, Hoffman and Singleton \cite{HS60} solved a celebrated equation for square matrices of order $n$, which can be written as $$ (κ- 1) I_n + J_n - A A^{\rm T} = A$$ where $I_n$, $J_n$, and $A$ are the identity matrix, the all one matrix, and a $(0,1)$--matrix with all row and column sums equal to $κ$, respectively. If $A$ is an incidence matrix of some configuration $\cal C$ of type $n_κ$, then the left-hand side $Θ(A):= (κ- 1)I_n + J_n - A A^{\rm T}$ is an adjacency matrix of the non--collinearity graph $Γ$ of $\cal C$. In certain situations, $Θ(A)$ is also an incidence matrix of some $n_κ$ configuration, namely the neighbourhood geometry of $Γ$ introduced by Lefèvre-Percsy, Percsy, and Leemans \cite{LPPL}.
The matrix operator $Θ$ can be reiterated and we pose the problem of solving the generalised Hoffman--Singleton equation $Θ^m(A)=A$. In particular, we classify all $(0,1)$--matrices $M$ with all row and column sums equal to $κ$, for $κ= 3,4$, which are solutions of this equation. As a by--product, we obtain characterisations for incidence matrices of the configuration $10_3F$ in Kantor's list \cite{Kantor} and the $17_4$ configuration $#1971$ in Betten and Betten's list \cite{BB99}.
Pseudo and Strongly Pseudo 2--Factor Isomorphic Regular Graphs
Published in Eur. J. Combin. 33(8) (2012) 1847--1856
• View Publication
• BIB
A graph $G$ is pseudo 2--factor isomorphic if the parity of the number of cycles in a 2--factor is the same for all 2--factors of $G$. In \cite{ADJLS} we proved that pseudo 2--factor isomorphic $k$--regular bipartite graphs exist only for $k \le 3$. In this paper we generalize this result for regular graphs which are not necessarily bipartite. We also introduce strongly pseudo 2--factor isomorphic graphs and we prove that pseudo and strongly pseudo 2--factor isomorphic 2k--regular graphs and $k$--regular digraphs do not exist for $k\geq 4$. Moreover, we present constructions of infinite families of regular graphs in these classes. In particular we show that the family of Flower snarks is strongly pseudo 2--factor isomorphic but not 2--factor isomorphic and we conjecture that, together with the Petersen and the Blanuša2 graphs, they are the only cyclically 4--edge--connected snarks for which each 2--factor contains only cycles of odd length.
A strengthening and a multipartite generalization of the Alon-Boppana-Serre Theorem
Published in Proc. Amer. Math. Soc. 138 (2010) 3899-3909
• View Publication
• BIB
The Alon-Boppana theorem confirms that for every $ε>0$ and every integer $d\ge3$, there are only finitely many $d$-regular graphs whose second largest eigenvalue is at most $2\sqrt{d-1}-ε$. Serre gave a strengthening showing that a positive proportion of eigenvalues of any $d$-regular graph must be bigger than $2\sqrt{d-1}-ε$. We provide a multipartite version of this result. Our proofs are elementary and work also in the case when graphs are not regular. In the simplest, monopartite case, our result extends the Alon-Boppana-Serre result to non-regular graphs of minimum degree $d$ and bounded maximum degree. The two-partite result shows that for every $ε>0$ and any positive integers $d_1,d_2,d$, every $n$-vertex graph of maximum degree at most $d$, whose vertex set is the union of (not necessarily disjoint) subsets $V_1,V_2$, such that every vertex in $V_i$ has at least $d_i$ neighbors in $V_{3-i}$ for $i=1,2$, has $Ω_ε(n)$ eigenvalues that are larger than $\sqrt{d_1-1}+\sqrt{d_2-1}-ε$. Finally, we strengthen the Alon-Boppana-Serre theorem by showing that the lower bound $2\sqrt{d-1}-ε$ can be replaced by $2\sqrt{d-1} + δ$ for some $δ>0$ if graphs have bounded "global girth". On the other side of the spectrum, if the odd girth is large, then we get an Alon-Boppana-Serre type theorem for the negative eigenvalues as well.
On the restricted matching of graphs in surfaces
Published
• View Publication
• BIB
A connected graph $G$ with at least $2m+2n+2$ vertices is said to have property $E(m,n)$ if, for any two disjoint matchings $M$ and $N$ of size $m$ and $n$ respectively, $G$ has a perfect matching $F$ such that $M\subseteq F$ and $N\cap F=\varnothing$. In particular, a graph with $E(m,0)$ is $m$-extendable. Let $μ(Σ)$ be the smallest integer $k$ such that no graphs embedded on a surface $Σ$ are $k$-extendable. Aldred and Plummer have proved that no graphs embedded on the surfaces $Σ$ such as the sphere, the projective plane, the torus, and the Klein bottle are
$E(μ(Σ)-1,1)$. In this paper, we show that this result always holds for any surface. Furthermore, we obtain that if a graph $G$ embedded on a surface has sufficiently many vertices, then $G$ has no property $E(k-1,1)$ for each integer $k\geq 4$, which implies that $G$ is not $k$-extendable. In the case of $k=4$, we get immediately a main result that Aldred et al. recently obtained.
On restricted unitary Cayley graphs and symplectic transformations modulo n
Published in Electronic J. Combinatorics v17 (R69), 2010
• View Publication
• BIB
We present some observations on a restricted variant of unitary Cayley graphs modulo n, and the implications for a decomposition of elements of symplectic operators over the integers modulo n. We define quadratic unitary Cayley graphs G_n, whose vertex set is the ring Z_n, and where residues a, b modulo n are adjacent if and only if their difference is a quadratic residue. By bounding the diameter of such graphs, we show an upper bound on the number of elementary operations (symplectic scalar multiplications, symplectic row swaps, and row additions or subtractions) required to decompose a symplectic matrix over Z_n. We also characterize the conditions on n for G_n to be a perfect graph.
On Sofic Actions and Equivalence Relations
The notion of sofic equivalence relation was introduced by Gabor Elek and Gabor Lippner. Their technics employ some graph theory. Here we define this notion in a more operator algebraic context, starting from Connes' embedding problem, and prove the equivalence of this two definitions. We introduce a notion of sofic action for an arbitrary group and prove that amalgamated product of sofic actions over amenable groups is again sofic. We also prove that amalgamated product of sofic groups over an amenable subgroup is again sofic.
On a $K_4$-UH self-dual 1-configuration $(102_4)_1$
Self-dual 1-configurations $(n_d)_1$ possess their Menger graph $\mathcal Y$ most $K_4$-separated among connected self-dual configurations $(n_d)$. Such $\mathcal Y$ is most symmetric if $K_d$-ultrahomogeneous. In this work, such a $\mathcal Y$ is presented for $(n,d)=(102,4)$ and shown to relate $n$ copies of the cuboctahedral graph $L(Q_3)$ to the $n$ copies of $K_d$; these are shown to share each copy of $K_3$ exactly with two copies of $L(Q_3)$.
Left and right convergence of graphs with bounded degree
Published
• View Publication
• BIB
The theory of convergent graph sequences has been worked out in two extreme cases, dense graphs and bounded degree graphs. One can define convergence in terms of counting homomorphisms from fixed graphs into members of the sequence (left-convergence), or counting homomorphisms into fixed graphs (right-convergence). Under appropriate conditions, these two ways of defining convergence was proved to be equivalent in the dense case by Borgs, Chayes, Lovász, Sós and Vesztergombi. In this paper a similar equivalence is established in the bounded degree case.
In terms of statistical physics, the implication that left convergence implies right convergence means that for a left-convergent sequence, partition functions of a large class of statistical physics models converge. The proof relies on techniques from statistical physics, like cluster expansion and Dobrushin Uniqueness.
On two problems in graph Ramsey theory
Published
• View Publication
• BIB
We study two classical problems in graph Ramsey theory, that of determining the Ramsey number of bounded-degree graphs and that of estimating the induced Ramsey number for a graph with a given number of vertices.
The Ramsey number r(H) of a graph H is the least positive integer N such that every two-coloring of the edges of the complete graph $K_N$ contains a monochromatic copy of H. A famous result of Chvátal, Rödl, Szemerédi and Trotter states that there exists a constant c(Δ) such that r(H) \leq c(Δ) n for every graph H with n vertices and maximum degree Δ. The important open question is to determine the constant c(Δ). The best results, both due to Graham, Rödl and Ruciński, state that there are constants c and c' such that 2^{c' Δ} \leq c(Δ) \leq 2^{c Δ\log^2 Δ}. We improve this upper bound, showing that there is a constant c for which c(Δ) \leq 2^{c Δ\log Δ}.
The induced Ramsey number r_{ind}(H) of a graph H is the least positive integer N for which there exists a graph G on N vertices such that every two-coloring of the edges of G contains an induced monochromatic copy of H. Erdős conjectured the existence of a constant c such that, for any graph H on n vertices, r_{ind}(H) \leq 2^{c n}. We move a step closer to proving this conjecture, showing that r_{ind} (H) \leq 2^{c n \log n}. This improves upon an earlier result of Kohayakawa, Prömel and Rödl by a factor of \log n in the exponent.
A conjecture of Erdős on graph Ramsey numbers
Published
• View Publication
• BIB
The Ramsey number $r(G)$ of a graph $G$ is the minimum $N$ such that every red-blue coloring of the edges of the complete graph on $N$ vertices contains a monochromatic copy of $G$. Determining or estimating these numbers is one of the central problems in combinatorics.
One of the oldest results in Ramsey Theory, proved by Erdős and Szekeres in 1935, asserts that the Ramsey number of the complete graph with $m$ edges is at most $2^{O(\sqrt{m})}$. Motivated by this estimate Erdős conjectured, more than a quarter century ago, that there is an absolute constant $c$ such that $r(G) \leq 2^{c\sqrt{m}}$ for any graph $G$ with $m$ edges and no isolated vertices. In this short note we prove this conjecture.
Rings whose total graphs have genus at most one
Published
• View Publication
• BIB
Let $R$ be a commutative ring with $\Z(R)$ its set of zero-divisors. In this paper, we study the total graph of $R$, denoted by $\T(Γ(R))$. It is the (undirected) graph with all elements of $R$ as vertices, and for distinct $x, y\in R$, the vertices $x$ and $y$ are adjacent if and only if $x + y\in\Z(R)$. We investigate properties of the total graph of $R$ and determine all isomorphism classes of finite commutative rings whose total graph has genus at most one (i.e., a planar or toroidal graph). In addition, it is shown that, given a positive integer $g$, there are only finitely many finite rings whose total graph has genus $g$.
The homology of digraphs as a generalisation of Hochschild homology
Published in Journal of Algebra and Its Applications, Vol. 11, No. 2 (2012) 1250031 (13 pages)
• View Publication
• BIB
J. Przytycki has established a connection between the Hochschild homology of an algebra $A$ and the chromatic graph homology of a polygon graph with coefficients in $A$. In general the chromatic graph homology is not defined in the case where the coefficient ring is a non-commutative algebra. In this paper we define a new homology theory for directed graphs which takes coefficients in an arbitrary $A-A$ bimodule, for $A$ possibly non-commutative, which on polygons agrees with Hochschild homology through a range of dimensions.