graph
35150 papers tagged with this keyword
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.
Explicit Sensor Network Localization using Semidefinite Representations and Facial Reductions
Published
• View Publication
• BIB
The sensor network localization, SNL, problem in embedding dimension r, consists of locating the positions of wireless sensors, given only the distances between sensors that are within radio range and the positions of a subset of the sensors (called anchors). Current solution techniques relax this problem to a weighted, nearest, (positive) semidefinite programming, SDP, completion problem, by using the linear mapping between Euclidean distance matrices, EDM, and semidefinite matrices. The resulting SDP is solved using primal-dual interior point solvers, yielding an expensive and inexact solution.
This relaxation is highly degenerate in the sense that the feasible set is restricted to a low dimensional face of the SDP cone, implying that the Slater constraint qualification fails. Cliques in the graph of the SNL problem give rise to this degeneracy in the SDP relaxation. In this paper, we take advantage of the absence of the Slater constraint qualification and derive a technique for the SNL problem, with exact data, that explicitly solves the corresponding rank restricted SDP problem. No SDP solvers are used. For randomly generated instances, we are able to efficiently solve many huge instances of this NP-hard problem to high accuracy, by finding a representation of the minimal face of the SDP cone that contains the SDP matrix representation of the EDM. The main work of our algorithm consists in repeatedly finding the intersection of subspaces that represent the faces of the SDP cone that correspond to cliques of the SNL problem.
Uniformity in association schemes and coherent configurations: cometric Q-antipodal schemes and linked systems
Published in Journal of Combinatorial Theory, Series A 120 (2013), 1401--1439
• View Publication
• BIB
Inspired by some intriguing examples, we study uniform association schemes and uniform coherent configurations, including cometric Q-antipodal association schemes. After a review of imprimitivity, we show that an imprimitive association scheme is uniform if and only if it is dismantlable, and we cast these schemes in the broader context of certain --- uniform --- coherent configurations. We also give a third characterization of uniform schemes in terms of the Krein parameters, and derive information on the primitive idempotents of such a scheme. In the second half of the paper, we apply these results to cometric association schemes. We show that each such scheme is uniform if and only if it is Q-antipodal, and derive results on the parameters of the subschemes and dismantled schemes of cometric Q-antipodal schemes. We revisit the correspondence between uniform indecomposable three-class schemes and linked systems of symmetric designs, and show that these are cometric Q-antipodal. We obtain a characterization of cometric Q-antipodal four-class schemes in terms of only a few parameters, and show that any strongly regular graph with a ("non-exceptional") strongly regular decomposition gives rise to such a scheme. Hemisystems in generalized quadrangles provide interesting examples of such decompositions. We finish with a short discussion of five-class schemes as well as a list of all feasible parameter sets for cometric Q-antipodal four-class schemes with at most six fibres and fibre size at most 2000, and describe the known examples. Most of these examples are related to groups, codes, and geometries.
Expansion properties of finite simple groups
Published in Ph. D. thesis. The Hebrew University of Jerusalem (2009)
• Search Publication
We prove that if G is SL_2(F) or PSL_2(F), where F is a finite field, and A is a set of generators of G, then either |AAA| > |A|^(1+epsilon), where epsilon is an absolute positive real number, or AAA=G.
As a corollary we get that the diameter of any Cayley graph of G is Poly-Logarithmic in |G|.
Brill-Noether theory of squarefree modules supported on a graph
Published
• View Publication
• BIB
We investigate the analogy between squarefree Cohen-Macaulay modules supported on a graph and line bundles on a curve. We prove a Riemann-Roch theorem, we study the Jacobian and gonality of a graph, and we prove Clifford's theorem.
Perpendicular dissections of space
Published in Discrete and Computational Geometry, 27 (2002), 303--351
• View Publication
• BIB
For each pair $(Q_i,Q_j)$ of reference points and each real number $r$ there is a unique hyperplane $h \perp Q_iQ_j$ such that $d(P,Q_i)^2 - d(P,Q_j)^2 = r$ for points $P$ in $h$. Take $n$ reference points in $d$-space and for each pair $(Q_i,Q_j)$ a finite set of real numbers. The corresponding perpendiculars form an arrangement of hyperplanes. We explore the structure of the semilattice of intersections of the hyperplanes for generic reference points. The main theorem is that there is a real, additive gain graph (this is a graph with an additive real number associated invertibly to each edge) whose set of balanced flats has the same structure as the intersection semilattice. We examine the requirements for genericity, which are related to behavior at infinity but remain mysterious; also, variations in the construction rules for perpendiculars. We investigate several particular arrangements with a view to finding the exact numbers of faces of each dimension. The prototype, the arrangement of all perpendicular bisectors, was studied by Good and Tideman, motivated by a geometric voting theory. Most of our particular examples are suggested by extensions of that theory in which voters exercise finer discrimination. Throughout, we propose many research problems.