graph
34828 papers tagged with this keyword
Enumerative Combinatorics of Simplicial and Cell Complexes: Kirchhoff and Trent Type Theorems
Published
• View Publication
• BIB
This paper considers three separate matrices associated to graphs and (each dimension of) cell complexes. It relates all the coefficients of their respective characteristic polynomials to the geometric and combinatorial enumeration of three kinds of subobjects. The matrices are: the mesh matrix for integral d-cycles of Trent, the mesh matrix for integral d-boundaries, and the Kirchhoff matrix, i.e., the combinatorial Laplacian, for integral (d-1)-chains. Relations to Reidemeister-Franz torsion are elucidated and relations to the foundational work of R. Lyons and G. Kalai.
The strong equitable vertex 2-arboricity of complete bipartite and tripartite graphs
Published
• View Publication
• BIB
A $(q,r)$\emph{-tree-coloring} of a graph $G$ is a $q$-coloring of vertices of $G$ such that the subgraph induced by each color class is a forest of maximum degree at most $r.$ An \emph{equitable $(q, r)$-tree-coloring} of a graph $G$ is a $(q,r)$-tree-coloring such that the sizes of any two color classes differ by at most one. Let the \emph{strong equitable vertex $r$-arboricity} be the minimum $p$ such that $G$ has an equitable $(q, r)$-tree-coloring for every $q\geq p.$
In this paper, we find the exact value for each $va^\equiv_2(K_{m,n})$ and $va^\equiv_2(K_{l,m,n}).$
Combinatorial topology of the standard chromatic subdivision and Weak Symmetry Breaking for 6 processes
Published
• View Publication
• BIB
In this paper we study a family of discrete configuration spaces, the so-called protocol complexes, which are of utmost importance in theoretical distributed computing. Specifically, we consider questions of the existance of compliant binary labelings on the vertices of iterated standard chromatic subdivisions of an n-simplex. The existance of such labelings is equivalent to the existance of distributed protocols solving Weak Symmetry Breaking task in the standard computational model.
As a part of our formal model, we introduce function sb(n), defined for natural numbers n, called the symmetry breaking function. From the geometric point of view sb(n) denotes the minimal number of iterations of the standard chromatic subdivision of an (n-1)-simplex, which is needed for the compliant binary labeling to exist. From the point of distributed computing, the function sb(n) measures the minimal number of rounds in a protocol solving the Weak Symmetry Breaking task.
In addition to the development of combinatorial topology, which is applicable in a broader context, our main contribution is the proof of new bounds for the function sb(n). Accordingly, the bulk of the paper is taken up by in-depth analysis of the structure of adjacency graph on the set of n-simplices in iterated standard chromatic subdivision of an n-simplex. On the algorithmic side, we provide the first distributed protocol solving Weak Symmetry Breaking task in the layered immediate snapshot computational model for some number of processes.
It is well known, that the smallest number of processes for which Weak Symmetry Breaking task is solvable is 6. Based on our analysis, we are able to find a very fast explicit protocol, solving the Weak Symmetry Breaking for 6 processes using only 3 rounds. Furthermore, we show that no protocol can solve Weak Symmetry Breaking in fewer than 2 rounds.
Graph Invertibility and Median Eigenvalues
Published
• View Publication
• BIB
Let $(G,w)$ be a weighted graph with a weight-function $w: E(G)\to \mathbb R\backslash\{0\}$. A weighted graph $(G,w)$ is invertible to a new weighted graph if its adjacency matrix is invertible. A graph inverse has combinatorial interest and can be applied to bound median eigenvalues of a graph such as have physical meanings in Quatumn Chemistry. In this paper, we characterize the inverse of a weighted graph based on its Sachs subgraphs that are spanning subgraphs with only $K_2$ or cycles (or loops) as components. The characterization can be used to find the inverse of a weighted graph based on its structures instead of its adjacency matrix. If a graph has its spectra split about the origin, i.e., half of eigenvalues are positive and half of them are negative, then its median eigenvalues can be bounded by estimating the largest and smallest eigenvalues of its inverse. We characterize graphs with a unique Sachs subgraph and prove that these graphs has their spectra split about the origin if they have a perfect matching. As applications, we show that the median eigenvalues of stellated graphs of trees and corona graphs belong to different halves of the interval $[-1,1]$.
Pixel and Voxel Representations of Graphs
Published
• View Publication
• BIB
We study contact representations for graphs, which we call pixel representations in 2D and voxel representations in 3D. Our representations are based on the unit square grid whose cells we call pixels in 2D and voxels in 3D. Two pixels are adjacent if they share an edge, two voxels if they share a face. We call a connected set of pixels or voxels a blob. Given a graph, we represent its vertices by disjoint blobs such that two blobs contain adjacent pixels or voxels if and only if the corresponding vertices are adjacent. We are interested in the size of a representation, which is the number of pixels or voxels it consists of.
We first show that finding minimum-size representations is NP-complete. Then, we bound representation sizes needed for certain graph classes. In 2D, we show that, for $k$-outerplanar graphs with $n$ vertices, $Θ(kn)$ pixels are always sufficient and sometimes necessary. In particular, outerplanar graphs can be represented with a linear number of pixels, whereas general planar graphs sometimes need a quadratic number. In 3D, $Θ(n^2)$ voxels are always sufficient and sometimes necessary for any $n$-vertex graph. We improve this bound to $Θ(n\cdot τ)$ for graphs of treewidth $τ$ and to $O((g+1)^2n\log^2n)$ for graphs of genus $g$. In particular, planar graphs admit representations with $O(n\log^2n)$ voxels.
The Utility of Untangling
In this note we show how techniques developed for untangling planar graphs by Bose et al. [Discrete & Computational Geometry 42(4): 570-585 (2009)] and Goaoc et al. [Discrete & Com- putational Geometry 42(4): 542-569 (2009)] imply new results about some recent graph drawing models. These include column planarity, universal point subsets, and partial simultaneous geometric embeddings (with or without mappings). Some of these results answer open problems posed in previous papers.
Global properties of graphs with local degree conditions
Let P be a graph property. A graph is locally P if the subgraph induced by the open neighbourhood of every vertex has property P. A graph has the Dirac condition if the minimum degree of every vertex is at least half the order of the graph and it satisfies the Ore condition if the sum of the degrees of any pair of non-adjacent vertices is at least the order of the graph. In this paper we study global properties of graphs that possess the local Dirac and Ore conditions. We focus on the connectivity, edge-connectivity, diameter, planarity and cycle structure of these graphs.
On the equitable vertex arboricity of complete tripartite graphs
Published
• View Publication
• BIB
The equitable coloring problem, introduced by Meyer in 1973, has received considerable attention and research. Recently, Wu et al. introduced the concept of equitable (t,k)-tree-coloring, which can be viewed as a generalization of proper equitable t-coloring. The strong equitable vertex k-arboricity of complete bipartite equipartition graphs was investigated in 2013. In this paper, we study the exact value of the strong equitable vertex 3-arboricity of complete equipartition tripartite graphs.
Exhaustive generation of $k$-critical $\mathcal H$-free graphs
Published
• View Publication
• BIB
We describe an algorithm for generating all $k$-critical $\mathcal H$-free graphs, based on a method of Hoàng et al. Using this algorithm, we prove that there are only finitely many $4$-critical $(P_7,C_k)$-free graphs, for both $k=4$ and $k=5$. We also show that there are only finitely many $4$-critical graphs $(P_8,C_4)$-free graphs. For each case of these cases we also give the complete lists of critical graphs and vertex-critical graphs. These results generalize previous work by Hell and Huang, and yield certifying algorithms for the $3$-colorability problem in the respective classes.
Moreover, we prove that for every $t$, the class of 4-critical planar $P_t$-free graphs is finite. We also determine all 27 4-critical planar $(P_7,C_6)$-free graphs.
We also prove that every $P_{10}$-free graph of girth at least five is 3-colorable, and determine the smallest 4-chromatic $P_{12}$-free graph of girth five. Moreover, we show that every $P_{13}$-free graph of girth at least six and every $P_{16}$-free graph of girth at least seven is 3-colorable. This strengthens results of Golovach et al.
Global cycle properties in graphs with large minimum clustering coefficient
Published
• View Publication
• BIB
The clustering coefficient of a vertex in a graph is the proportion of neighbours of the vertex that are adjacent. The minimum clustering coefficient of a graph is the smallest clustering coefficient taken over all vertices. A complete structural characterization of those locally connected graphs, with minimum clustering coefficient 1/2 and maximum degree at most 6, that are fully cycle extendable is given in terms of strongly induced subgraphs with given attachment sets. Moreover, it is shown that all locally connected graphs with minimum clustering coefficient 1/2 and maximum degree at most 6 are weakly pancyclic, thereby proving Ryjacek's conjecture for this class of locally connected graphs.
Upper and Lower Bounds on Long Dual-Paths in Line Arrangements
Published
• View Publication
• BIB
Given a line arrangement $\cal A$ with $n$ lines, we show that there exists a path of length $n^2/3 - O(n)$ in the dual graph of $\cal A$ formed by its faces. This bound is tight up to lower order terms. For the bicolored version, we describe an example of a line arrangement with $3k$ blue and $2k$ red lines with no alternating path longer than $14k$. Further, we show that any line arrangement with $n$ lines has a coloring such that it has an alternating path of length $Ω(n^2/ \log n)$. Our results also hold for pseudoline arrangements.
Split Graphs and Nordhaus-Gaddum Graphs
Published
• View Publication
• BIB
A graph G is an NG-graph if χ(G) + χ(G complement) = |V(G)| + 1. We characterize NG-graphs solely from degree sequences leading to a linear-time recognition algorithm. We also explore the connections between NG-graphs and split graphs. There are three types of NG-graphs and split graphs can also be divided naturally into two categories, balanced and unbalanced. We characterize each of these five classes by degree sequence. We construct bijections between classes of NG-graphs and balanced and unbalanced split graphs which, together with the known formula for the number of split graphs on n vertices, allows us to compute the sizes of each of these classes. Finally, we provide a bijection between unbalanced split graphs on n vertices and split graphs on n-1 or fewer vertices providing evidence for our conjecture that the rapid growth in the number of split graphs comes from the balanced split graphs.
Open k-monopolies in graphs: complexity and related concepts
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Graph Theory (March 29, 2016) dmtcs:654
• View Publication
• BIB
Closed monopolies in graphs have a quite long range of applications in several problems related to overcoming failures, since they frequently have some common approaches around the notion of majorities, for instance to consensus problems, diagnosis problems or voting systems. We introduce here open $k$-monopolies in graphs which are closely related to different parameters in graphs. Given a graph $G=(V,E)$ and $X\subseteq V$, if $δ_X(v)$ is the number of neighbors $v$ has in $X$, $k$ is an integer and $t$ is a positive integer, then we establish in this article a connection between the following three concepts:
- Given a nonempty set $M\subseteq V$ a vertex $v$ of $G$ is said to be $k$-controlled by $M$ if $δ_M(v)\ge \frac{δ_V(v)}{2}+k$. The set $M$ is called an open $k$-monopoly for $G$ if it $k$-controls every vertex $v$ of $G$.
- A function $f: V\rightarrow \{-1,1\}$ is called a signed total $t$-dominating function for $G$ if $f(N(v))=\sum_{v\in N(v)}f(v)\geq t$ for all $v\in V$.
- A nonempty set $S\subseteq V$ is a global (defensive and offensive) $k$-alliance in $G$ if $δ_S(v)\ge δ_{V-S}(v)+k$ holds for every $v\in V$.
In this article we prove that the problem of computing the minimum cardinality of an open $0$-monopoly in a graph is NP-complete even restricted to bipartite or chordal graphs. In addition we present some general bounds for the minimum cardinality of open $k$-monopolies and we derive some exact values.
Dual equivalence graphs I: A new paradigm for Schur positivity
Published
• View Publication
• BIB
We make a systematic study of a new combinatorial construction called a dual equivalence graph. We axiomatize these graphs and prove that their generating functions are symmetric and Schur positive. This provides a universal method for establishing the symmetry and Schur positivity of quasisymmetric functions.
Extremal Functions of Forbidden Multidimensional Matrices
Published
• View Publication
• BIB
Pattern avoidance is a central topic in graph theory and combinatorics. Pattern avoidance in matrices has applications in computer science and engineering, such as robot motion planning and VLSI circuit design. A $d$-dimensional zero-one matrix $A$ avoids another $d$-dimensional zero-one matrix $P$ if no submatrix of $A$ can be transformed to $P$ by changing some ones to zeros. A fundamental problem is to study the maximum number of nonzero entries in a $d$-dimensional $n \times \cdots \times n$ matrix that avoids $P$. This maximum number, denoted by $f(n,P,d)$, is called the extremal function.
We advance the extremal theory of matrices in two directions. The methods that we use come from combinatorics, probability, and analysis. Firstly, we obtain non-trivial lower and upper bounds on $f(n,P,d)$ when $n$ is large for every $d$-dimensional block permutation matrix $P$. We establish the tight bound $Θ(n^{d-1})$ on $f(n,P,d)$ for every $d$-dimensional tuple permutation matrix $P$. This tight bound has the lowest possible order that an extremal function of a nontrivial matrix can ever achieve. Secondly, we show that $f(n,P,d)$ is super-homogeneous for a class of matrices $P$. We use this super-homogeneity to show that the limit inferior of the sequence $\{ {f(n,P,d) \over n^{d-1}}\}$ has a lower bound $2^{Ω(k^{1/ d})}$ for a family of $k \times \cdots \times k$ permutation matrices $P$. We also improve the upper bound on the limit superior from $2^{O(k \log k)}$ to $2^{O(k)}$ for all $k \times \cdots \times k$ permutation matrices and show that the new upper bound also holds for tuple permutation matrices.
$k$-intersection edge-coloring subcubic planar multigraphs
Given an edge-coloring of a simple graph, assign to every vertex $v$ a set $S_v$ comprised of the colors used on the edges incident to $v$. The $k$-intersection chromatic index of a graph is the minimum $t$ such that the edge set can be properly $t$-colored, additionally requiring that for every two adjacent vertices $u$ and $v$, $|S_u \cap S_v| \le k$. For all $k \neq 2$, this value is known for subcubic planar graphs, and furthermore, these values are best possible. We naturally extend this definition to multigraphs with bounded edge multiplicity, and we show that every subcubic planar multigraph with edge multiplicity at most two has 2-intersection chromatic index at most 5, which is sharp.
Optimal Colorings with Rainbow Paths
Published
• View Publication
• BIB
Let $G$ be a connected graph of chromatic number $k$. For a $k$-coloring $f$ of $G$, a full $f$-rainbow path is a path of order $k$ in $G$ whose vertices are all colored differently by $f$.
We show that $G$ has a $k$-coloring $f$ such that every vertex of $G$ lies on a full $f$-rainbow path, which provides a positive answer to a question posed by Lin (Simple proofs of results on paths representing all colors in proper vertex-colorings, Graphs Combin. 23 (2007) 201-203). Furthermore, we show that if $G$ has a cycle of length $k$, then $G$ has a $k$-coloring $f$ such that, for every vertex $u$ of $G$, some full $f$-rainbow path begins at $u$, which solves a problem posed by Bessy and Bousquet (Colorful paths for 3-chromatic graphs, arXiv 1503.00965v1). Finally, we establish some more results on the existence of optimal colorings with (directed) full rainbow paths.
A note on the minimum size of $k$-rainbow connected graphs
Published in Discrete Mathematics 331 (2014), 20-21
• View Publication
• BIB
An edge-coloured graph $G$ is rainbow connected if there exists a rainbow path between any two vertices. A graph $G$ is said to be $k$-rainbow connected if there exists an edge-colouring of $G$ with at most $k$ colours that is rainbow connected. For integers $n$ and $k$, let $t(n,k)$ denote the minimum number of edges in $k$-rainbow connected graphs of order $n$. In this note, we prove that $t(n,k) = \lceil k(n-2)/(k-1) \rceil$ for all $n, k \ge 3$
Existences of rainbow matchings and rainbow matching covers
Published in Discrete Mathematics 338 (2015), 2119-2124
• View Publication
• BIB
Let $G$ be an edge-coloured graph. A rainbow subgraph in $G$ is a subgraph such that its edges have distinct colours. The minimum colour degree $δ^c(G)$ of $G$ is the smallest number of distinct colours on the edges incident with a vertex of $G$. We show that every edge-coloured graph $G$ on $n\geq 7k/2+2$ vertices with $δ^c(G) \geq k$ contains a rainbow matching of size at least $k$, which improves the previous result for $k \ge 10$.
Let $Δ_{\text{mon}}(G)$ be the maximum number of edges of the same colour incident with a vertex of $G$. We also prove that if $t \ge 11$ and $Δ_{\text{mon}}(G) \le t$, then $G$ can be edge-decomposed into at most $\lfloor tn/2 \rfloor $ rainbow matchings. This result is sharp and improves a result of LeSaulnier and West.
Operations on Covering Numbers of Certain Graph Classes
The bounds on the sum and product of chromatic numbers of a graph and its complement are known as Nordhaus-Gaddum inequalities. In this paper, we study the operations on the Independence numbers of graphs with their complement. We also provide a new characterization of certain graph classes.