graph
35299 papers tagged with this keyword
The rectilinear local crossing number of $K_n$
We determine ${\bar{\rm{lcr}}}(K_n)$, the rectilinear local crossing number of the complete graph $K_n$ for every $n$. More precisely, for every $n \notin \{8, 14 \}, $ \[ {\bar{\rm{lcr}}}(K_n)=\left\lceil \frac{1}{2} \left( n-3-\left\lceil \frac{n-3}{3} \right\rceil \right) \left\lceil \frac{n-3}{3} \right\rceil \right\rceil, \] ${\bar{\rm{lcr}}}(K_8)=4$, and ${\bar{\rm{lcr}}}(K_{14})=15$.
Bounds and power means for the general Randic index
We review bounds for the general Randić index, $R_α = \sum_{ij \in E} (d_i d_j)^α$, and use the power mean inequality to prove, for example, that $R_α\ge mλ^{2α}$ for $α< 0$, where $λ$ is the spectral radius of a graph. This enables us to strengthen various known lower and upper bounds for $R_α$ and to generalise a non-spectral bound due to Bollobás \emph{et al}. We also prove that the zeroth-order general Randić index, $Q_α= \sum_{i \in V} d_i^α\ge nλ^α$ for $α< 0$.
Some New Methods for Constructing 4-critical Planar Graphs
A graph $G$ is said to be $k$-critical if $G$ is $k$-colorable and $G-e$ is not $k$-colorable for every edge $e$ of $G$. In this paper, we present some new methods from two or more small 4-critical graphs to construct a larger 4-critical planar graphs.
Relative complements and a `switch'-classification of simple graphs
In the paper we introduce and study a classification of finite (simple, undirected, loopless) graphs with respect to a switch-equivalence (`local-complement' equivalence of \cite{pascvebl}, an analogue of the complement-equivalence of \cite{conell}). In the paper we propose a simple inductive method to compute the number of switch-types of graphs on $n$ vertices and we show that there are exactly 16 such types of graphs on 6 vertices.
On graphs uniquely defined by their $k$-circular matroids
In 30's Hassler Whitney considered and completely solved the problem $(WP)$ of describing the classes of graphs $G$ having the same cycle matroid $M(G)$. A natural analog $(WP)'$ of Whitney's problem $(WP)$ is to describe the classes of graphs $G$ having the same matroid $M'(G)$, where $M'(G)$ is a matroid on the edge set of $G$ distinct from $M(G)$. For example, the corresponding problem $(WP)' = (WP)_{θ}$ for the so-called bicircular matroid $M_{θ}(G)$ of graph $G$ was solved by Coulard, Del Greco and Wagner. In our previous paper [arXive:1508.05364] we introduced and studied the so-called $k$-circular matroids $M_k(G)$ for every non-negative integer $k$ that is a natural generalization of the cycle matroid $M(G):= M_0(G)$ and of the bicircular matroid $M_{θ}(G):= M_1(G)$ of graph $G$. In this paper (which is a continuation of our previous paper) we establish some properties of graphs guaranteeing that the graphs are uniquely defined by their $k$-circular matroids.
On zero-sum $\mathbb{Z}_{2j}^k$-magic graphs
Published
• View Publication
• BIB
Let $G = (V,E)$ be a finite graph and let $(\mathbb{A},+)$ be an abelian group with identity 0. Then $G$ is \textit{$\mathbb{A}$-magic} if and only if there exists a function $φ$ from $E$ into $\mathbb{A} - \{0\}$ such that for some $c \in \mathbb{A}$, $\sum_{e \in E(v)} φ(e) = c$ for every $v \in V$, where $E(v)$ is the set of edges incident to $v$. Additionally, $G$ is \textit{zero-sum $\mathbb{A}$-magic} if and only if $φ$ exists such that $c = 0$. We consider zero-sum $\mathbb{A}$-magic labelings of graphs, with particular attention given to $\mathbb{A} = \mathbb{Z}_{2j}^k$. For $j \geq 1$, let $ζ_{2j}(G)$ be the smallest positive integer $c$ such that $G$ is zero-sum $\mathbb{Z}_{2j}^c$-magic if $c$ exists; infinity otherwise. We establish upper bounds on $ζ_{2j}(G)$ when $ζ_{2j}(G)$ is finite, and show that $ζ_{2j}(G)$ is finite for all $r$-regular $G$, $r \geq 2$. Appealing to classical results on the factors of cubic graphs, we prove that $ζ_4(G) \leq 2$ for a cubic graph $G$, with equality if and only if $G$ has no 1-factor. We discuss the problem of classifying cubic graphs according to the collection of finite abelian groups for which they are zero-sum group-magic.
Critical surface of the hexagonal polygon model
Published
• View Publication
• BIB
The hexagonal polygon model arises in a natural way via a transformation of the 1-2 model on the hexagonal lattice, and it is related to the high temperature expansion of the Ising model. There are three types of edge, and three corresponding parameters $α,β,γ>0$. By studying the long-range order of a certain two-edge correlation function, it is shown that the parameter space $(0,\infty)^3$ may be divided into subcritical and supercritical regions, separated by critical surfaces satisfying an explicitly known formula. This result complements earlier work on the Ising model and the 1-2 model. The proof uses the Pfaffian representation of Fisher, Kasteleyn, and Temperley for the counts of dimers on planar graphs.
Bi-Cohen-Macaulay graphs
Published
• View Publication
• BIB
In this paper we consider bi-Cohen-Macaulay graphs, and give a complete classification of such graphs in the case they are bipartite or chordal. General bi-Cohen-Macaulay graphs are classified up to separation. The inseparable bi-Cohen-Macaulay graphs are determined. We establish a bijection between the set of all trees and the set of inseparable bi-Cohen-Macaulay graphs.
On the pedant tree-connectivity of graphs
The concept of pedant tree-connectivity was introduced by Hager in 1985. For a graph $G=(V,E)$ and a set $S\subseteq V(G)$ of at least two vertices, \emph{an $S$-Steiner tree} or \emph{a Steiner tree connecting $S$} (or simply, \emph{an $S$-tree}) is a such subgraph $T=(V',E')$ of $G$ that is a tree with $S\subseteq V'$. For an $S$-Steiner tree, if the degree of each vertex in $S$ is equal to one, then this tree is called a \emph{pedant $S$-Steiner tree}. Two pedant $S$-Steiner trees $T$ and $T'$ are said to be \emph{internally disjoint} if $E(T)\cap E(T')=\varnothing$ and $V(T)\cap V(T')=S$. For $S\subseteq V(G)$ and $|S|\geq 2$, the \emph{local pedant-tree connectivity} $τ_G(S)$ is the maximum number of internally disjoint pedant $S$-Steiner trees in $G$. For an integer $k$ with $2\leq k\leq n$, \emph{$k$-pedant tree-connectivity} is defined as $τ_k(G)=\min\{τ_G(S)\,|\,S\subseteq V(G),|S|=k\}$. In this paper, we first study the sharp bounds of pedant tree-connectivity. Next, we obtain the exact value of a threshold graph, and give an upper bound of the pedant-tree $k$-connectivity of a complete multipartite graph. For a connected graph $G$, we show that $0\leq τ_k(G)\leq n-k$, and graphs with $τ_k(G)=n-k,n-k-1,n-k-2,0$ are characterized in this paper. In the end, we obtain the Nordhaus-Guddum type results for pedant tree-connectivity.
The Ramsey number of mixed-parity cycles I
Denote by $R(G_1, G_2, G_3)$ the minimum integer $N$ such that any three-colouring of the edges of the complete graph on $N$ vertices contains a monochromatic copy of a graph $G_i$ coloured with colour $i$ for some $i\in{1,2,3}$. In a series of three papers of which this is the first, we consider the case where $G_1, G_2$ and $G_3$ are cycles of mixed parity. Specifically, in this and the subsequent paper, we consider $R(C_n,C_m,C_{\ell})$, where $n$ and $m$ are even and $\ell$ is odd. Figaj and Łuczak determined an asymptotic result for this case, which we improve upon to give an exact result. We prove that for $n,m$ and $\ell$ sufficiently large $R(C_n,C_m,C_\ell)=\max\{2n+m-3, n+2m-3, \tfrac{1}{2} n +\tfrac{1}{2} m + \ell - 2\}$. In the case that the longest cycle is of even length, the proof in this paper is self-contained. However, in the case that the longest cycle is of odd length, we require an additional technical result, the proof of which makes up the majority of the subsequent paper.
The Ramsey number of mixed-parity cycles II
Denote by $R(G_1, G_2, G_3)$ the minimum integer $N$ such that any three-colouring of the edges of the complete graph on $N$ vertices contains a monochromatic copy of a graph $G_i$ coloured with colour $i$ for some $i\in{1,2,3}$. In a series of three papers of which this is the second, we consider the case where $G_1, G_2$ and $G_3$ are cycles of mixed parity. Here and in the previous paper, we consider $R(C_n,C_m,C_{\ell})$, where $n$ and $m$ are even and $\ell$ is odd. Figaj and Łuczak determined an asymptotic result for this case, which we improve upon to give an exact result. We prove that for $n,m$ and $\ell$ sufficiently large $R(C_n,C_m,C_\ell)=\max\{2n+m-3, n+2m-3, \tfrac{1}{2} n +\tfrac{1}{2} m + \ell - 2\}$. The proof of this result is mostly contained within the first paper in this series, however, in the case that the longest cycle is of odd length, we require an additional technical result, the proof of which makes up the majority of this paper.
The Ramsey number of mixed-parity cycles III
Denote by $R(G_1, G_2, G_3)$ the minimum integer $N$ such that any three-colouring of the edges of the complete graph on $N$ vertices contains a monochromatic copy of a graph $G_i$ coloured with colour $i$ for some $i\in{1,2,3}$. In a series of three papers of which this is the third, we consider the case where $G_1, G_2$ and $G_3$ are cycles of mixed parity. Specifically, in this in this paper, we consider $R(C_n,C_m,C_{\ell})$, where $n$ is even and $m$ and $\ell$ are odd. Figaj and Łuczak determined an asymptotic result for this case, which we improve upon to give an exact result. We prove that for $n,m$ and $\ell$ sufficiently large $R(C_n,C_m,C_\ell)=\max\{4n-3, n+2m-3, n+2\ell-3\}$.
Constructing Internally Disjoint Pendant Steiner Trees in Cartesian Product Networks
The concept of pedant tree-connectivity was introduced by Hager in 1985. For a graph $G=(V,E)$ and a set $S\subseteq V(G)$ of at least two vertices, \emph{an $S$-Steiner tree} or \emph{a Steiner tree connecting $S$} (or simply, \emph{an $S$-tree}) is a such subgraph $T=(V',E')$ of $G$ that is a tree with $S\subseteq V'$. For an $S$-Steiner tree, if the degree of each vertex in $S$ is equal to one, then this tree is called a \emph{pedant $S$-Steiner tree}. Two pedant $S$-Steiner trees $T$ and $T'$ are said to be \emph{internally disjoint} if $E(T)\cap E(T')=\varnothing$ and $V(T)\cap V(T')=S$. For $S\subseteq V(G)$ and $|S|\geq 2$, the \emph{local pedant tree-connectivity} $τ_G(S)$ is the maximum number of internally disjoint pedant $S$-Steiner trees in $G$. For an integer $k$ with $2\leq k\leq n$, \emph{pedant tree $k$-connectivity} is defined as $τ_k(G)=\min\{τ_G(S)\,|\,S\subseteq V(G),|S|=k\}$. In this paper, we prove that for any two connected graphs $G$ and $H$, $τ_3(G\Box H)\geq \min\{3\lfloor\frac{τ_3(G)}{2}\rfloor,3\lfloor\frac{τ_3(H)}{2}\rfloor\}$. Moreover, the bound is sharp.
Exact triangles for SO(3) instanton homology of webs
Published
• View Publication
• BIB
The SO(3) instanton homology recently introduced by the authors associates a finite-dimensional vector space over the field of two elements to every embedded trivalent graph (or "web"). The present paper establishes a skein exact triangle for this instanton homology, as well as a realization of the octahedral axiom. From the octahedral diagram, one can derive equivalent reformulations of the authors' conjecture that, for planar webs, the rank of the instanton homology is equal to the number of Tait colorings.
Polyhedral studies of vertex coloring problems: The asymmetric representatives formulation
Despite the fact that some vertex coloring problems are polynomially solvable on certain graph classes, most of these problems are not "under control" from a polyhedral point of view. The equivalence between \emph{optimization} and \emph{polyhedral separation} suggests that, for these problems, there must exist formulations admitting some elegant characterization for the polytopes associated to them. Therefore, it is interesting to study known formulations for vertex coloring with the goal of finding such characterizations. In this work we study the asymmetric representatives formulation and we show that the corresponding coloring polytope, for a given graph $G$, can be interpreted as the stable set polytope of another graph obtained from $G$. This result allows us to derive complete characterizations for the corresponding coloring polytope for some families of graphs, based on known complete characterizations for the stable set polytope.
On ultralimits of sparse graph classes
Published
• View Publication
• BIB
The notion of nowhere denseness is one of the central concepts of the recently developed theory of sparse graphs. We study the properties of nowhere dense graph classes by investigating appropriate limit objects defined using the ultraproduct construction. It appears that different equivalent definitions of nowhere denseness, for example via quasi-wideness or the splitter game, correspond to natural notions for the limit objects that are conceptually simpler and allow for less technically involved reasonings.
Functional van den Berg-Kesten-Reimer Inequalities and their Duals, with Applications
Published in Jour. Theor. Probab. (2007) , vol 20, pp. 275--293
• View Publication
• BIB
The BKR inequality conjectured by van den Berg and Kesten in [11], and proved by Reimer in [8], states that for $A$ and $B$ events on $S$, a finite product of finite sets $S_i,i=1,\ldots,n$, and $P$ any product measure on $S$, $$ P(A \Box B) \le P(A)P(B),$$ where the set $A \Box B$ consists of the elementary events which lie in both $A$ and $B$ for `disjoint reasons.' Precisely, with ${\bf n}:=\{1,\ldots,n\}$ and $K \subset {\bf n}$, for ${\bf x} \in S$ letting $[{\bf x}]_K=\{{\bf y} \in S: y_i = x_i, i \in K\}$, the set $A \Box B$ consists of all ${\bf x} \in S$ for which there exist disjoint subsets $K$ and $L$ of ${\bf n}$ for which $[{\bf x}]_K \subset A$ and $[{\bf x}]_L \subset B$.
The BKR inequality is extended to the following functional version on a general finite product measure space $(S,\mathbb{S})$ with product probability measure $P$, $$E\left\{ \max_{\stackrel{K \cap L = \emptyset}{K \subset {\bf n}, L \subset {\bf n}}}
\underline{f}_K({\bf X})\underline{g}_L({\bf
X})\right\} \leq E\left\{f({\bf X})\right\}\,E\left\{g({\bf
X})\right\},$$ where $f$ and $g$ are non-negative measurable functions, $\underline{f}_K({\bf x}) = {\rm ess} \inf_{{\bf y} \in [{\bf x}]_K}f({\bf y})$ and $\underline{g}_L({\bf x}) = {\rm ess} \inf_{{\bf y} \in [{\bf x}]_L}g({\bf y}).$ The original BKR inequality is recovered by taking $f({\bf x})={\bf 1}_A({\bf x})$ and $g({\bf x})={\bf 1}_B({\bf x})$, and applying the fact that in general ${\bf 1}_{A \Box B} \le \max_{K \cap L = \emptyset} \underline{f}_K({\bf x}) \underline{g}_L({\bf x})$.
Related formulations, and functional versions of the dual inequality on events by Kahn, Saks, and Smyth [6], are also considered. Applications include order statistics, assignment problems, and paths in random graphs.
Modified Linear Programming and Class 0 Bounds for Graph Pebbling
Published in J. Combinatorial Optimization. 34(1), July 2017, pp. 114-132
• View Publication
• BIB
Given a configuration of pebbles on the vertices of a connected graph $G$, a \emph{pebbling move} removes two pebbles from some vertex and places one pebble on an adjacent vertex. The \emph{pebbling number} of a graph $G$ is the smallest integer $k$ such that for each vertex $v$ and each configuration of $k$ pebbles on $G$ there is a sequence of pebbling moves that places at least one pebble on $v$.
First, we improve on results of Hurlbert, who introduced a linear optimization technique for graph pebbling. In particular, we use a different set of weight functions, based on graphs more general than trees. We apply this new idea to some graphs from Hurlbert's paper to give improved bounds on their pebbling numbers.
Second, we investigate the structure of Class 0 graphs with few edges. We show that every $n$-vertex Class 0 graph has at least $\frac53n - \frac{11}3$ edges. This disproves a conjecture of Blasiak et al. For diameter 2 graphs, we strengthen this lower bound to $2n - 5$, which is best possible. Further, we characterize the graphs where the bound holds with equality and extend the argument to obtain an identical bound for diameter 2 graphs with no cut-vertex.
Khovanov-Rozansky homology and Directed Cycles
Published
• View Publication
• BIB
We determine the cycle packing number of a directed graph using elementary projective algebraic geometry. Our idea is rooted in the Khovanov-Rozansky theory. In fact, using the Khovanov-Rozansky homology of a graph, we also obtain algebraic methods of detecting directed and undirected cycles containing a particular vertex or edge.
On the trace of random walks on random graphs
Published
• View Publication
• BIB
We study graph-theoretic properties of the trace of a random walk on a random graph. We show that for any $\varepsilon>0$ there exists $C>1$ such that the trace of the simple random walk of length $(1+\varepsilon)n\ln{n}$ on the random graph $G\sim G(n,p)$ for $p>C\ln{n}/n$ is, with high probability, Hamiltonian and $Θ(\ln{n})$-connected. In the special case $p=1$ (i.e. when $G=K_n$), we show a hitting time result according to which, with high probability, exactly one step after the last vertex has been visited, the trace becomes Hamiltonian, and one step after the last vertex has been visited for the $k$'th time, the trace becomes $2k$-connected.