graph
35150 papers tagged with this keyword
The Edge-Isoperimetric Problem in $(\mathbb{N}^2,\infty)$
We consider the edge-isoperimetric problem on the graph of the infinite grid $\mathbb{N}^{2}$ in the $\ell_{\infty}$ metric. We first show that the solutions are not nested, so that techniques other than compressions have to be used. We then show that for any given volume of sets in $\mathbb{N}^{2}$, there exists an optimal set of a specific geometric form and describe this form. We continue on to prove that the optimal perimeter has asymptotic growth rate $2\sqrt{7x}$ as a function of the volume and obtain upper and lower bounds for the optimal perimeter which are within the small additive constant of $\frac{35}{2}$ of one another, thus effectively solving the discrete isoperimetric inequality on this graph. Finally, we prove that there exist arbitrarily long consecutive values of the volume for which the minimum perimeter is the same.
Sink-Stable Sets of Digraphs
We introduce the notion of sink-stable sets of a digraph and prove a min-max formula for the maximum cardinality of the union of k sink-stable sets. The results imply a recent min-max theorem of Abeledo and Atkinson on the Clar number of bipartite plane graphs and a sharpening of Minty's coloring theorem. We also exhibit a link to min-max results of Bessy and Thomasse and of Sebo on cyclic stable sets.
Spectral properties of unitary Cayley graphs of finite commutative rings
Published in The Electronic Journal of Combinatorics 19(4) (2012), #P13
• View Publication
• BIB
Let $R$ be a finite commutative ring. The unitary Cayley graph of $R$, denoted $G_R$, is the graph with vertex set $R$ and edge set ${{a,b}:a,b\in R, a-b\in R^\times}$, where $R^\times$ is the set of units of $R$. An $r$-regular graph is Ramanujan if the absolute value of every eigenvalue of it other than $\pm r$ is at most $2\sqrt{r-1}$. In this paper we give a necessary and sufficient condition for $G_R$ to be Ramanujan, and a necessary and sufficient condition for the complement of $G_R$ to be Ramanujan. We also determine the energy of the line graph of $G_R$, and compute the spectral moments of $G_R$ and its line graph.
Spectral characterizations of propeller graphs
Published in Electronic Journal of Linear Algebra, Volume 27 (2014) pp. 19-38
• View Publication
• BIB
A propeller graph is obtained from an $\infty$-graph by attaching a path to the vertex of degree four, where an $\infty$-graph consists of two cycles with precisely one common vertex. In this paper, we prove that all propeller graphs are determined by their Laplacian spectra as well as their signless Laplacian spectra.
On some approaches to the spectral excess theorem for nonregular graphs
Published
• View Publication
• BIB
The Spectral Excess Theorem (SPET) for distance-regular graphs states that a regular (connected) graph is distance-regular if and only if its spectral-excess equals its average excess. Recently, some local or global approaches to the SPET have been used to obtain new versions of the theorem for nonregular graphs, and also to study the problem of characterizing the graphs which have the corresponding distance-regularity property. In this paper, some of these versions are related and compared, and some of their results are improved. As a result, a sufficient condition for a graph to be distance-polynomial is obtained.
Frobenius circulant graphs of valency six, Eisenstein-Jacobi networks, and hexagonal meshes
Published
• View Publication
• BIB
A Frobenius group is a transitive but not regular permutation group such that only the identity element can fix two points. A finite Frobenius group can be expressed as $G = K \rtimes H$ with $K$ a nilpotent normal subgroup. A first-kind $G$-Frobenius graph is a Cayley graph on $K$ with connection set $S$ an $H$-orbit on $K$ generating $K$, where $H$ is of even order or $S$ consists of involutions. We classify all 6-valent first-kind Frobenius circulant graphs such that the underlying kernel $K$ is cyclic. We give optimal gossiping and routing algorithms for such a circulant and compute its forwarding indices, Wiener indices and minimum gossip time. We also prove that its broadcasting time is equal to its diameter plus two or three. We prove that all 6-valent first-kind Frobenius circulants with cyclic kernels are Eisenstein-Jacobi graphs, the latter being Cayley graphs on quotient rings of the ring of Eisenstein-Jacobi integers. We also prove that larger Eisenstein-Jacobi graphs can be constructed from smaller ones as topological covers, and a similar result holds for 6-valent first-kind Frobenius circulants. As a corollary any Eisenstein-Jacobi graph with order congruent to 1 modulo 6 and underlying Eisenstein-Jacobi integer not an associate of a real integer, is a cover of a 6-valent first-kind Frobenius circulant. A distributed real-time computing architecture known as HARTS or hexagonal mesh is a special 6-valent first-kind Frobenius circulant.
Algebraic characterizations of regularity properties in bipartite graphs
Published
• View Publication
• BIB
Regular and distance-regular characterizations of general graphs are well-known. In particular, the spectral excess theorem states that a connected graph G is distance-regular if and only if its spectral excess (a number that can be computed from the spectrum) equals the average excess (the mean of the numbers of vertices at extremal distance from every vertex). The aim of this paper is to derive new characterizations of regularity and distance-regularity for the more restricted family of bipartite graphs. In this case, some characterizations of (bi)regular bipartite graphs are given in terms of the mean degrees in every partite set and the Hoffman polynomial. Moreover, it is shown that the conditions for having distance-regularity in such graphs can be relaxed when compared with general graphs. Finally, a new version of the spectral excess theorem for bipartite graphs is presented.
Vertex decomposable graphs, codismantlability, Cohen-Macaulayness and Castelnuovo-Mumford regularity
Published in Electronic J. Combinatorics, 21(1), 1-17, #P1, 2014
• Search Publication
We call a (simple) graph G codismantlable if either it has no edges or else it has a codominated vertex x, meaning that the closed neighborhood of x contains that of one of its neighbor, such that G-x codismantlable. We prove that if G is well-covered and it lacks induced cycles of length four, five and seven, than the vertex decomposability, codismantlability and Cohen-Macaulayness for G are all equivalent. The rest deals with the computation of Castelnuovo-Mumford regularity of codismantlable graphs. Note that our approach complements and unifies many of the earlier results on bipartite, chordal and very well-covered graphs.
Pseudo-distance-regularised graphs are distance-regular or distance-biregular
Published
• View Publication
• BIB
The concept of pseudo-distance-regularity around a vertex of a graph is a natural generalization, for non-regular graphs, of the standard distance-regularity around a vertex. In this note, we prove that a pseudo-distance-regular graph around each of its vertices is either distance-regular or distance-biregular. By using a combinatorial approach, the same conclusion was reached by Godsil and Shawe-Taylor for a distance-regular graph around each of its vertices. Thus, our proof, which is of an algebraic nature, can also be seen as an alternative demonstration of Godsil and Shawe-Taylor's theorem.
Extensions of Fractional Precolorings show Discontinuous Behavior
Published
• View Publication
• BIB
We study the following problem: given a real number k and integer d, what is the smallest epsilon such that any fractional (k+epsilon)-precoloring of vertices at pairwise distances at least d of a fractionally k-colorable graph can be extended to a fractional (k+epsilon)-coloring of the whole graph? The exact values of epsilon were known for k=2 and k\ge3 and any d. We determine the exact values of epsilon for k \in (2,3) if d=4, and k \in [2.5,3) if d=6, and give upper bounds for k \in (2,3) if d=5,7, and k \in (2,2.5) if d=6. Surprisingly, epsilon viewed as a function of k is discontinuous for all those values of d.
The Tutte Polynomial of a Morphism of Matroids 6. A Multi-Faceted Counting Formula for Hyperplane Regions and Acyclic Orientations
We show that the 4-variable generating function of certain orientation related parameters of an ordered oriented matroid is the evaluation at (x + u, y+v) of its Tutte polynomial. This evaluation contains as special cases the counting of regions in hyperplane arrangements and of acyclic orientations in graphs. Several new 2-variable expansions of the Tutte polynomial of an oriented matroid follow as corollaries.
This result hold more generally for oriented matroid perspectives, with specific special cases the counting of bounded regions in hyperplane arrangements or of bipolar acyclic orientations in graphs.
In corollary, we obtain expressions for the partial derivatives of the Tutte polynomial as generating functions of the same orientation parameters.
Partitioning edge-coloured complete graphs into monochromatic cycles and paths
Published
• View Publication
• BIB
A conjecture of Erdős, Gyárfás, and Pyber says that in any edge-colouring of a complete graph with r colours, it is possible to cover all the vertices with r vertex-disjoint monochromatic cycles. So far, this conjecture has been proven only for r = 2. In this paper we show that in fact this conjecture is false for all r > 2. In contrast to this, we show that in any edge-colouring of a complete graph with three colours, it is possible to cover all the vertices with three vertex-disjoint monochromatic paths, proving a particular case of a conjecture due to Gyárfás. As an intermediate result we show that in any edge-colouring of the complete graph with the colours red and blue, it is possible to cover all the vertices with a red path, and a disjoint blue balanced complete bipartite graph.
Spanning trees with many leaves: lower bounds in terms of number of vertices of degree 1, 3 and at least~4
Published in Journal of Mathematical Sciences, Volume 196, Issue 6 (2014), pp 768-783
• View Publication
• BIB
We prove that every connected graph with $s$ vertices of degree~1 and 3 and $t$ vertices of degree at least~4 has a spanning tree with at least ${1\over 3}t +{1\over 4}s+{3\over 2}$ leaves. We present infinite series of graphs showing that our bound is tight.
Automorphism groups of Cayley graphs generated by connected transposition sets
Published in Discrete Mathematics, vol. 313, no. 21, pp. 2482-2485, November 2013
• View Publication
• BIB
Let $S$ be a set of transpositions that generates the symmetric group $S_n$, where $n \ge 3$. The transposition graph $T(S)$ is defined to be the graph with vertex set $\{1,\ldots,n\}$ and with vertices $i$ and $j$ being adjacent in $T(S)$ whenever $(i,j) \in S$. We prove that if the girth of the transposition graph $T(S)$ is at least 5, then the automorphism group of the Cayley graph $\Cay(S_n,S)$ is the semidirect product $R(S_n) \rtimes \Aut(S_n,S)$, where $\Aut(S_n,S)$ is the set of automorphisms of $S_n$ that fixes $S$. This strengthens a result of Feng on transposition graphs that are trees. We also prove that if the transposition graph $T(S)$ is a 4-cycle, then the set of automorphisms of the Cayley graph $\Cay(S_4,S)$ that fixes a vertex and each of its neighbors is isomorphic to the Klein 4-group and hence is nontrivial. We thus identify the existence of 4-cycles in the transposition graph as being an important factor in causing a potentially larger automorphism group of the Cayley graph.
The Y-triangle move does not preserve Intrinsic Knottedness
Published in Osaka Journal of Mathematics, Vol. 45, No. 1 (2008), 107-111
• Search Publication
We answer the question "Does the Y-triangle move preserve intrinsic knottedness?" in the negative by giving an example of a graph that is obtained from the intrinsically knotted graph K_7 by triangle-Y and Y-triangle moves but is not intrinsically knotted.
The maximal energy of classes of integral circulant graphs
Published in Discrete Applied Mathematics, Vol. 160 (2012), pp. 2015-2029
• View Publication
• BIB
The energy of a graph is the sum of the moduli of the eigenvalues of its adjacency matrix. We study the energy of integral circulant graphs, also called gcd graphs, which can be characterized by their vertex count $n$ and a set $\cal D$ of divisors of $n$ in such a way that they have vertex set $\mathbb{Z}_n$ and edge set ${{a,b}: a,b\in\mathbb{Z}_n, \gcd(a-b,n)\in {\cal D}}$. For a fixed prime power $n=p^s$ and a fixed divisor set size $|{\cal D}| =r$, we analyze the maximal energy among all matching integral circulant graphs. Let $p^{a_1} < p^{a_2} < ... < p^{a_r}$ be the elements of ${\cal D}$. It turns out that the differences $d_i=a_{i+1}-a_{i}$ between the exponents of an energy maximal divisor set must satisfy certain balance conditions: (i) either all $d_i$ equal $q:=\frac{s-1}{r-1}$, or at most the two differences $[q]$ and $[q+1]$ may occur; %(for a certain $d$ depending on $r$ and $s$) (ii) there are rules governing the sequence $d_1,...,d_{r-1}$ of consecutive differences. For particular choices of $s$ and $r$ these conditions already guarantee maximal energy and its value can be computed explicitly.
Lower Bound For The Rank Of 2-Dimensional Generic Rigidity Matroid For Regular Graphs Of Degree Four And Five
In this note we prove a lower bound for the rank of 2-dimensional generic rigidity matroid for regular graphs of degree four and five. Also, we give examples to show the order of the bound we give is sharp.
On Murty-Simon Conjecture
A graph is diameter two edge-critical if its diameter is two and the deletion of any edge increases the diameter. Murty and Simon conjectured that the number of edges in a diameter two edge-critical graph on $n$ vertices is at most $\lfloor \frac{n^{2}}{4} \rfloor$ and the extremal graph is the complete bipartite graph $K_{\lfloor \frac{n}{2} \rfloor, \lceil \frac{n}{2} \rceil}$. In the series papers [8-10], the Murty-Simon Conjecture stated by Haynes et al is not the original conjecture, indeed, it is only for the diameter two edge-critical graphs of even order. Haynes et al proved the conjecture for the graphs whose complements have diameter three but only with even vertices. In this paper, we prove the Murty-Simon Conjecture for the graphs whose complements have diameter three, not only with even vertices but also odd ones.
Improper choosability and Property B
Published in J. Graph Theory 73 (2013), 342-353
• View Publication
• BIB
A fundamental connection between list vertex colourings of graphs and Property B (also known as hypergraph 2-colourability) was already known to Erdős, Rubin and Taylor. In this article, we draw similar connections for improper list colourings. This extends results of Kostochka, Alon, and Král' and Sgall for, respectively, multipartite graphs, graphs of large minimum degree, and list assignments with bounded list union.
A generalization of Opsut's lower bounds for the competition number of a graph
Published in Graphs and Combinatorics 29 (2013) 1543-1547
• View Publication
• BIB
The notion of a competition graph was introduced by J. E. Cohen in 1968. The competition graph C(D) of a digraph $D$ is a (simple undirected) graph which has the same vertex set as D and has an edge between two distinct vertices x and y if and only if there exists a vertex v in D such that (x,v) and (y,v) are arcs of D. For any graph G, G together with sufficiently many isolated vertices is the competition graph of some acyclic digraph. In 1978, F. S. Roberts defined the competition number k(G) of a graph G as the minimum number of such isolated vertices. In general, it is hard to compute the competition number k(G) for a graph G and it has been one of the important research problems in the study of competition graphs to characterize a graph by its competition number. In 1982, R. J. Opsut gave two lower bounds for the competition number of a graph. In this paper, we give a generalization of these two lower bounds for the competition number of a graph.