graph
34934 papers tagged with this keyword
The Density of Fan-Planar Graphs
Published
• View Publication
• BIB
A topological drawing of a graph is fan-planar if for each edge $e$ the edges crossing $e$ form a star and no endpoint of $e$ is enclosed by $e$ and its crossing edges. A fan-planar graph is a graph admitting such a drawing. Equivalently, this can be formulated by three forbidden patterns, one of which is the configuration where $e$ is crossed by two independent edges and the other two where $e$ is crossed by two incident edges in a way that encloses some endpoint of $e$. A topological drawing is simple if any two edges have at most one point in common.
Fan-planar graphs are a new member in the ever-growing list of topological graphs defined by forbidden intersection patterns, such as planar graphs and their generalizations, Turán-graphs and Conway's thrackle conjecture. Hence fan-planar graphs fall into an important field in combinatorial geometry with applications in various areas of discrete mathematics. As every $1$-planar graph is fan-planar and every fan-planar graph is $3$-quasiplanar, they also fit perfectly in a recent series of work on nearly-planar graphs from the area of graph drawing and combinatorial embeddings.
In this paper we show that every fan-planar graph on $n$ vertices has at most $5n-10$ edges, even though a fan-planar drawing may have a quadratic number of crossings. Our bound, which is tight for every $n \geq 20$, indicates how nicely fan-planar graphs fit in the row with planar graphs ($3n-6$ edges) and $1$-planar graphs ($4n-8$ edges). With this, fan-planar graphs form the largest non-trivial class of topological graphs defined by forbidden patterns, for which the maximum number of edges on $n$ vertices is known exactly.
Antiparallel d-stable Traces and a Stronger Version of Ore Problem
Published in Journal of Mathematical Biology, 75(1) (2017), 109-127
• View Publication
• BIB
In $2013$ a novel self-assembly strategy for polypeptide nanostructure design which could lead to significant developments in biotechnology was presented in [Design of a single-chain polypeptide tetrahedron assembled from coiled-coil segments, Nature Chem. Bio. 9 (2013) 362--366]. It was since observed that a polyhedron $P$ can be realized by interlocking pairs of polypeptide chains if its corresponding graph $G(P)$ admits a strong trace. It was since also demonstrated that a similar strategy can also be expanded to self-assembly of designed DNA [Design principles for rapid folding of knotted DNA nanostructures, Nature communications 7 (2016) 1--8.]. In this direction, in the present paper we characterize graphs which admit closed walk which traverses every edge exactly once in each direction and for every vertex $v$, there is no subset $N$ of its neighbors, with $1 \leq |N| \leq d$, such that every time the walk enters $v$ from $N$, it also exits to a vertex in $N$. This extends C. Thomassen's characterization [Bidirectional retracting-free double tracings and upper embeddability of graphs, J. Combin. Theory Ser. B 50 (1990) 198--207] for the case $d = 1$.
Solution of Vizing's Problem on Interchanges for Graphs with Maximum Degree 4 and Related Results
Published
• View Publication
• BIB
Let $G$ be a Class 1 graph with maximum degree $4$ and let $t\geq 5$ be an integer. We show that any proper $t$-edge coloring of $G$ can be transformed to any proper $4$-edge coloring of $G$ using only transformations on $2$-colored subgraphs (so-called interchanges). This settles the smallest previously unsolved case of a well-known problem of Vizing on interchanges, posed in 1965. Using our result we give an affirmative answer to a question of Mohar for two classes of graphs: we show that all proper $5$-edge colorings of a Class 1 graph with maximum degree 4 are Kempe equivalent, that is, can be transformed to each other by interchanges, and that all proper 7-edge colorings of a Class 2 graph with maximum degree 5 are Kempe equivalent.
Optimum matchings in weighted bipartite graphs
Published
• View Publication
• BIB
Given an integer weighted bipartite graph $\{G=(U\sqcup V, E), w:E\rightarrow \mathbb{Z}\}$ we consider the problems of finding all the edges that occur in some minimum weight matching of maximum cardinality and enumerating all the minimum weight perfect matchings. Moreover, we construct a subgraph $G_{cs}$ of $G$ which depends on an $ε$-optimal solution of the dual linear program associated to the assignment problem on $\{G,w\}$ that allows us to reduced this problems to their unweighed variants on $G_{cs}$. For instance, when $G$ has a perfect matching and we have an $ε$-optimal solution of the dual linear program associated to the assignment problem on $\{G,w\}$, we solve the problem of finding all the edges that occur in some minimum weight perfect matching in linear time on the number of edges. Therefore, starting from scratch we get an algorithm that solves this problem in time $O(\sqrt{n}m\log(nW))$, where $n=|U|\geq |V|$, $m=|E|$, and $W={\rm max}\{|w(e)|\, :\, e\in E\}$.
Three Graphs and the Erdős-Gyárfás Conjecture
Three graphs related to the \EGC\, are presented. The graphs are derived from the Buckyball, the Petersen graph, and the Tutte-Coxeter graph. The first graph is a partial answer to a question posed by Heckman and Krakovski \cite{planar} in their recent work on the planar version of the conjecture. The other two graphs appear to be the smallest known cubic graphs with no $2^m$-cycles for $m \leq 4$ and for $m \leq 5$.
A Polynomial-time Algorithm for Outerplanar Diameter Improvement
Published
• View Publication
• BIB
The Outerplanar Diameter Improvement problem asks, given a graph $G$ and an integer $D$, whether it is possible to add edges to $G$ in a way that the resulting graph is outerplanar and has diameter at most $D$. We provide a dynamic programming algorithm that solves this problem in polynomial time. Outerplanar Diameter Improvement demonstrates several structural analogues to the celebrated and challenging Planar Diameter Improvement problem, where the resulting graph should, instead, be planar. The complexity status of this latter problem is open.
On the Erdos-Sos Conjecture for Graphs on n=k+4 Vertices
Published
• View Publication
• BIB
The Erdős-Sós Conjecture states that if $G$ is a simple graph of order $n$ with average degree more than $k-2,$ then $G$ contains every tree of order $k$. In this paper, we prove that Erdős-Sós Conjecture is true for $n=k+4$.
Classes of Symmetric Cayley Graphs over Finite Abelian Groups of Degrees 4 and 6
The present work is devoted to characterize the family of symmetric undirected Cayley graphs over finite Abelian groups for degrees 4 and 6.
Disjoint compatibility graph of non-crossing matchings of points in convex position
Published
• View Publication
• BIB
Let $X_{2k}$ be a set of $2k$ labeled points in convex position in the plane. We consider geometric non-intersecting straight-line perfect matchings of $X_{2k}$. Two such matchings, $M$ and $M'$, are disjoint compatible if they do not have common edges, and no edge of $M$ crosses an edge of $M'$. Denote by $\mathrm{DCM}_k$ the graph whose vertices correspond to such matchings, and two vertices are adjacent if and only if the corresponding matchings are disjoint compatible. We show that for each $k \geq 9$, the connected components of $\mathrm{DCM}_k$ form exactly three isomorphism classes -- namely, there is a certain number of isomorphic small components, a certain number of isomorphic medium components, and one big component. The number and the structure of small and medium components is determined precisely.
Tree-colorable maximal planar graphs
A tree-coloring of a maximal planar graph is a proper vertex $4$-coloring such that every bichromatic subgraph, induced by this coloring, is a tree. A maximal planar graph $G$ is tree-colorable if $G$ has a tree-coloring. In this article, we prove that a tree-colorable maximal planar graph $G$ with $δ(G)\geq 4$ contains at least four odd-vertices.
Moreover, for a tree-colorable maximal planar graph of minimum degree 4 that contains exactly four odd-vertices, we show that the subgraph induced by its four odd-vertices is not a claw and contains no triangles.
General Centrality in a hypergraph
The goal of this paper is to present a centrality measurement for the nodes of a hypergraph, by using existing literature which extends eigenvector centrality from a graph to a hypergraph, and literature which give a general centrality measurement for a graph. We will use this measurement to say more about the number of communications in a hypergraph, to implement a learning mechanism, and to construct certain networks.
Random planar maps and graphs with minimum degree two and three
Published
• View Publication
• BIB
We find precise asymptotic estimates for the number of planar maps and graphs with a condition on the minimum degree, and properties of random graphs from these classes. In particular we show that the size of the largest tree attached to the core of a random planar graph is of order c log(n) for an explicit constant c. These results provide new information on the structure of random planar graphs.
Linear embeddings of contractible and collapsible complexes
(1) We show that if a presentation of the trivial group is "hard to trivialize", in the sense that lots of Tietze moves are necessary to transform it into the trivial presentation, then the associated presentation complex (which is a contractible 2-dimensional cell complex) is "hard to embed in $\mathbb{R}^3$", in the sense that lots of linear subdivisions are necessary.
(2) For any d, we show that all collapsible d-complexes with n facets linearly embed in $\mathbb{R}^{2d}$ after less than n barycentric subdivisions. This is best possible, as cones over non-planar graphs do not topologically embed in $\mathbb{R}^{3}$.
Betweenness Centrality in Some Classes of Graphs
There are several centrality measures that have been introduced and studied for real world networks. They account for the different vertex characteristics that permit them to be ranked in order of importance in the network. Betweenness centrality is a measure of the influence of a vertex over the flow of information between every pair of vertices under the assumption that information primarily flows over the shortest path between them. In this paper we present betweenness centrality of some important classes of graphs.
Diameter 2 Cayley Graphs of Dihedral Groups
Published in Discrete Mathematics Vol 338 Issue 6 (2015) pp 1022--1024
• View Publication
• BIB
We consider the degree-diameter problem for Cayley graphs of dihedral groups. We find upper and lower bounds on the maximum number of vertices of such a graph with diameter 2 and degree $d$. We completely determine the asymptotic behaviour of this class of graphs by showing that both limits are asymptotically $d^2/2$.
Generating Tatami Coverings Efficiently
We present two algorithms to list certain classes of monomino-domino coverings which conform to the \emph{tatami} restriction; no four tiles meet. Our methods exploit structural features of tatami coverings in order to create the lists in $O(1)$ time per covering. This is faster than known methods for generating certain classes of matchings in bipartite graphs.
We discuss tatami coverings of $n\times n$ grids with $n$ monominoes and $v$ vertical dominoes, as well as tatami coverings of a two-way infinitely-wide strip of constant height, subject to the constraint that they have a finite number of non-trivial structural "features".
These two classes are representative of two differing structural characterisations of tatami coverings which may be adapted to count other classes of tatami coverings or locally restricted matchings, such as tatami coverings of rectangles.
Some Spectral Properties and Characterizations of Connected Odd-bipartite Uniform Hypergraphs
Published
• View Publication
• BIB
A $k$-uniform hypergraph $G=(V,E)$ is called odd-bipartite ([5]), if $k$ is even and there exists some proper subset $V_1$ of $V$ such that each edge of $G$ contains odd number of vertices in $V_1$. Odd-bipartite hypergraphs are generalizations of the ordinary bipartite graphs. We study the spectral properties of the connected odd-bipartite hypergraphs. We prove that the Laplacian H-spectrum and signless Laplacian H-spectrum of a connected $k$-uniform hypergraph $G$ are equal if and only if $k$ is even and $G$ is odd-bipartite. We further give several spectral characterizations of the connected odd-bipartite hypergraphs. We also give a characterization for a connected $k$-uniform hypergraph whose Laplacian spectral radius and signless Laplacian spectral radius are equal, thus provide an answer to a question raised in [9]. By showing that the Cartesian product $G\Box H$ of two odd-bipartite $k$-uniform hypergraphs is still odd-bipartite, we determine that the Laplacian spectral radius of $G\Box H$ is the sum of the Laplacian spectral radii of $G$ and $H$, when $G$ and $H$ are both connected odd-bipartite.
Symmetric graphs with complete quotients
Let $Γ$ be a $G$-symmetric graph with vertex set $V$. We suppose that $V$ admits a $G$-partition $\mathcal{B} = \{ B_0, ... , B_b \}$, with parts of size $v$, and that the quotient graph induced on $\mathcal B$ is a complete graph of order $b+1$. Then, for each pair of distinct suffices $i, j$, the graph induced on the union $B_i\cup B_j$ is bipartite with each vertex of valency $0$ or $t$ (a constant). When $t=1$, it was shown earlier how a flag-transitive $1$-design $D(B_i)$ induced on a part $B_i$ can sometimes be used to classify possible triples $(Γ, G, \mathcal B)$. Here we extend these ideas to $t > 1$ and prove that, if the group induced by $G$ on a part $B_i$ is $2$-transitive and the "blocks" of $D(B_i)$ have size less than $v$, then either (i) $v < b$, or (ii) the triple $(Γ, G, \mathcal B)$ is known explicitly.
Hedetniemi's Conjecture Via Altermatic Number
A $50$ years unsolved conjecture by Hedetniemi [{\it Homomorphisms of graphs and automata, \newblock {\em Thesis (Ph.D.)--University of Michigan}, 1966}] asserts that the chromatic number of the categorical product of two graphs $G$ and $H$ is $\min\{χ(G),χ(H)\}$. The present authors [{\it On the chromatic number of general {K}neser hypergraphs. \newblock {\em Journal of Combinatorial Theory, Series B}, 2015.}] introduced the altermatic and the strong altermatic number of graphs as two tight lower bounds for the chromatic number of graphs. In this work, we prove a relaxation of Hedetniemi's conjecture in terms of strong altermatic number. Also, we present a tight lower bound for the chromatic number of the categorical product of two graphs in term of their altermatic and strong altermatic numbers. These results enrich the family of pair graphs $\{G,H\}$ satisfying Hedetniemi's conjecture.
Absorbing Set Analysis and Design of LDPC Codes from Transversal Designs over the AWGN Channel
In this paper we construct low-density parity-check (LDPC) codes from transversal designs with low error-floors over the additive white Gaussian noise (AWGN) channel. The constructed codes are based on transversal designs that arise from sets of mutually orthogonal Latin squares (MOLS) with cyclic structure. For lowering the error-floors, our approach is twofold: First, we give an exhaustive classification of so-called absorbing sets that may occur in the factor graphs of the given codes. These purely combinatorial substructures are known to be the main cause of decoding errors in the error-floor region over the AWGN channel by decoding with the standard sum-product algorithm (SPA). Second, based on this classification, we exploit the specific structure of the presented codes to eliminate the most harmful absorbing sets and derive powerful constraints for the proper choice of code parameters in order to obtain codes with an optimized error-floor performance.