graph
35299 papers tagged with this keyword
Hafnians, perfect matchings and Gaussian matrices
Published in Annals of Probability 2016, Vol. 44, No. 4, 2858-2888
• View Publication
• BIB
We analyze the behavior of the Barvinok estimator of the hafnian of even dimension, symmetric matrices with nonnegative entries. We introduce a condition under which the Barvinok estimator achieves subexponential errors, and show that this condition is almost optimal. Using that hafnians count the number of perfect matchings in graphs, we conclude that Barvinok's estimator gives a polynomial-time algorithm for the approximate (up to subexponential errors) evaluation of the number of perfect matchings.
Graphs of large linear size are antimagic
Published
• View Publication
• BIB
Given a graph $G=(V,E)$ and a colouring $f:E\mapsto \mathbb N$, the induced colour of a vertex $v$ is the sum of the colours at the edges incident with $v$. If all the induced colours of vertices of $G$ are distinct, the colouring is called antimagic. If $G$ has a bijective antimagic colouring $f:E\mapsto \{1,\dots,|E|\}$, the graph $G$ is called antimagic. A conjecture of Hartsfield and Ringel states that all connected graphs other than $K_2$ are antimagic. Alon, Kaplan, Lev, Roddity and Yuster proved this conjecture for graphs with minimum degree at least $c \log |V|$ for some constant $c$; we improve on this result, proving the conjecture for graphs with average degree at least some constant $d_0$.
A construction of smooth travel groupoids on finite graphs
Published in Graphs Combin. 32 (2016), no. 3, 1117-1124
• View Publication
• BIB
A travel groupoid is an algebraic system related with graphs. In this paper, we give an algorithm to construct smooth travel groupoids for any finite graph. This algorithm gives an answer of L.~Nebesk$\acute{\mbox{y}}$'s question, "Does there exists a connected graph $G$ such that $G$ has no smooth travel groupoid?", in finite cases.
Random algebraic construction of extremal graphs
Published
• View Publication
• BIB
In this expository paper, we present a motivated construction of large graphs not containing a given complete bipartite subgraph. The key insight is that the algebraic constructions yield very non-smooth probability distributions.
Weighted graphs with distances in given ranges
Published
• View Publication
• BIB
Let ${\cal G}=(G,w)$ be a weighted simple finite connected graph, that is, let $G$ be a simple finite connected graph endowed with a function $w$ from the set of the edges of $G$ to the set of real numbers. For any subgraph $G'$ of $G$, we define $w(G')$ to be the sum of the weights of the edges of $G'$. For any $i,j $ vertices of $G$, we define $D_{\{i,j\}} ({\cal G})$ to be the minimum of the weights of the simple paths of $G$ joining $i$ and $j$. The $D_{\{i,j\}} ({\cal G})$ are called $2$-weights of ${\cal G}$.
Let $\{m_I\}_{I \in {\{1,...,n\} \choose 2}}$ and $\{M_I\}_{I \in {\{1,...,n\} \choose 2}}$ be two families of positive real numbers parametrized by the $2$-subsets of $ \{1,..., n\}$ with $m_I \leq M_I$ for any $I$; we study when there exist a positive-weighted graph ${\cal G}$ and an $n$-subset $\{1,..., n\}$ of the set of its vertices such that $D_I ({\cal G}) \in [m_I, M_I] $ for any $I \in {\{1,...,n\} \choose 2}$. Then we study the analogous problem for trees, both in the case of positive weights and in the case of general weights.
Metric dimensions of minor excluded graphs and minor exclusion in groups
Published
• View Publication
• BIB
An infinite graph G is minor excluded if there is a finite graph that is not a minor of G. We prove that minor excluded graphs have finite Assouad-Nagata dimension and study minor exclusion for Cayley graphs of finitely generated groups. Our main results and observations are: (1) minor exclusion is not a group property: it depends on the choice of generating set; (2) a group with one end has a generating set for which the Cayley graph is not minor excluded; (3) there are groups that are not minor excluded for any set of generators; (4) minor exclusion is preserved under free products; and (5) virtually free groups are minor excluded for any choice of finite generating set.
Solution to a problem on hamiltonicity of graphs under Ore- and Fan-type heavy subgraph conditions
Published in Graphs Combin. 32 (2016), no. 3, 1125--1135
• View Publication
• BIB
A graph $G$ is called \emph{claw-o-heavy} if every induced claw ($K_{1,3}$) of $G$ has two end-vertices with degree sum at least $|V(G)|$ in $G$. For a given graph $R$, $G$ is called \emph{$R$-f-heavy} if for every induced subgraph $H$ of $G$ isomorphic to $R$ and every pair of vertices $u,v\in V(H)$ with $d_H(u,v)=2$, there holds $\max\{d(u),d(v)\}\geq |V(G)|/2$. In this paper, we prove that every 2-connected claw-\emph{o}-heavy and $Z_3$-\emph{f}-heavy graph is hamiltonian (with two exceptional graphs), where $Z_3$ is the graph obtained from identifying one end-vertex of $P_4$ (a path with 4 vertices) with one vertex of a triangle. This result gives a positive answer to a problem proposed in [B. Ning, S. Zhang, Ore- and Fan-type heavy subgraphs for Hamiltonicity of 2-connected graphs, Discrete Math. 313 (2013) 1715--1725], and also implies two previous theorems of Faudree et al. and Chen et al., respectively.
No-Signalling Assisted Zero-Error Capacity of Quantum Channels and an Information Theoretic Interpretation of the Lovasz Number
Published in IEEE Trans. Inf. Theory 62(2):891-914, 2016
• View Publication
• BIB
We study the one-shot zero-error classical capacity of a quantum channel assisted by quantum no-signalling correlations, and the reverse problem of exact simulation of a prescribed channel by a noiseless classical one. Quantum no-signalling correlations are viewed as two-input and two-output completely positive and trace preserving maps with linear constraints enforcing that the device cannot signal. Both problems lead to simple semidefinite programmes (SDPs) that depend only on the Kraus operator space of the channel. In particular, we show that the zero-error classical simulation cost is precisely the conditional min-entropy of the Choi-Jamiolkowski matrix of the given channel. The zero-error classical capacity is given by a similar-looking but different SDP; the asymptotic zero-error classical capacity is the regularization of this SDP, and in general we do not know of any simple form.
Interestingly however, for the class of classical-quantum channels, we show that the asymptotic capacity is given by a much simpler SDP, which coincides with a semidefinite generalization of the fractional packing number suggested earlier by Aram Harrow. This finally results in an operational interpretation of the celebrated Lovasz $\vartheta$ function of a graph as the zero-error classical capacity of the graph assisted by quantum no-signalling correlations, the first information theoretic interpretation of the Lovasz number.
New strongly regular graphs derived from the G2(4) graph
We consider simple loopless finite undirected graphs. Such a graph is called strongly regular with parameter set (v,k,l,m), for short a srg(v,k,l,m), iff it has exactly v vertices, each of them has exactly k neighbours, and the number of common neighbours of any two different vertices is l if they are neighbours and m otherwise.
The G2(4) graph is a well-known srg(416,100,36,20). In this article, we explicitly construct it and a certain subgraph E induced by 320 vertices in the same way as in an older article by this author. We discover some interesting properties of E and derive five strongly regular graphs from it:
A srg(256,60,20,12) F which is a subgraph induced by 256 vertices and four srg(336,80,28,16) H, H_1, H_2 and H_3 which do have E as induced subgraph.
The latter three graphs are new in version 4 of this article and seem to have been completely unknown as H was before version 1 appeared. The graph F is isomorphic to objects described as unions of 16 16-cocliques in a description of subgraphs of the G2(4) graph by Andries E. Brouwer; but the strong regularity has been unnoticed before version 1 of this article.
Several propositions in this article have been checked by executing the additionally (in the source package) provided program G24DGS2 and the program Dreadnaut from the popular graph theoretic software nauty (by Brendan McKay and Adolfo Piperno).
A family of partitions of the set of walks on a directed graph
We present a family of partitions of $W_\mathcal{G}$, the set of walks on a directed graph $\mathcal{G}$. Each partition in this family is identified by an integer sequence $K$, which specifies a collection of cycles on $\mathcal{G}$ with a certain well-defined structure. We term such cycles resummable, and a walk that does not traverse any such cycles $K$-irreducible. For a given value of $K$, the corresponding partition of $W_\mathcal{G}$ consists of a collection of cells that each contain a single $K$-irreducible walk $i$ plus all walks that can be formed from $i$ by attaching one or more resummable cycles to its vertices.
We characterise the entire family of partitions of $W_\mathcal{G}$ by giving explicit expressions for the structure of the $K$-irreducible walks and the resummable cycles for arbitrary values of $K$. We demonstrate how these results can be exploited to recast the sum over all walks on a directed graph as a sum over dressed $K$-irreducible walks, and discuss the applications of this reformulation to matrix computations.
Permanental polynomials of skew adjacency matrices of oriented graphs
Published in Journal of Lanzhou University: Natural Sciences, 52(5) (2016) 681--686
• View Publication
• BIB
Let $G^σ$ be an orientation of a simple graph $G$. In this paper, the permanental polynomial of an oriented graph $G^σ$ is introduced. The coefficients of the permanental polynomial of $G^σ$ are interpreted in terms of the graph structure of $G^σ$, and it is proved that all orientations $G^σ$ of $G$ have the same permanental polynomial if and only if $G$ has no even cycles. Furthermore, the roots of the permanental polynomial of $G^σ$ are studied.
Large connected strongly regular graphs are Hamiltonian
We prove that every connected strongly regular graph on sufficiently many vertices is Hamiltonian. We prove this by showing that, apart from three families, connected strongly regular graphs are (highly) pseudo-random. Our results suggest a number of new questions and conjectures.
On large $k$-ended trees in connected graphs
A vertex of degree one is called an end-vertex, and an end-vertex of a tree is called a leaf. A tree with at most $k$ leaves is called a $k$-ended tree. For a positive integer $k$, let $t_k$ be the order of a largest $k$-ended tree. Let $σ_m$ be the minimum degree sum of an independent set of $m$ vertices. The main result (Theorem 2) provides a lower bound for $t_{k+1}$ in terms of $σ_m$ and relative orders: if $G$ is a connected graph and $k$, $λ$, $m$ are positive integers with $2\le m\le\min\{k,λ\}+1$ then either $t_{k+1} \ge σ_m +λ(k-m+1)+1$ or $t_k\ge t_{k+1}-λ+1$.
Beck's Conjecture for Power Graphs
Beck's conjecture on coloring of graphs associated to various algebraic objects has generated considerable interest in the community of discrete mathematics and combinatorics since its inception in the year 1988. The version of this conjecture for power-graphs of finite groups has been addressed and partially settled by previous authors. In this paper we answer it in the affirmative in complete generality, and, in effect, we establish a "nicer" statement on a larger class of graphs. We also clear up certain ambiguities present in the way the previous versions of the conjecture were posed.
Power sum expansion of chromatic quasisymmetric functions
Published in Electronic Journal of Combinatorics 22 (2015), no. 2, Research Paper 2.7, 9pp (electronic)
• View Publication
• BIB
The chromatic quasisymmetric function of a graph was introduced by Shareshian and Wachs as a refinement of Stanley's chromatic symmetric function. An explicit combinatorial formula, conjectured by Shareshian and Wachs, expressing the chromatic quasisymmetric function of the incomparability graph of a natural unit interval order in terms of power sum symmetric functions, is proven. The proof uses a formula of Roichman for the irreducible characters of the symmetric group.
Minimum Fault-Tolerant, local and strong metric dimension of graphs
In this paper, we consider three similar optimization problems: the fault-tolerant metric dimension problem, the local metric dimension problem and the strong metric dimension problem. These problems have applications in many diverse areas, including network discovery and verification, robot navigation and chemistry, etc. We give integer linear programming formulations of the fault-tolerant metric dimension problem and the local metric dimension problem. Also, we study local metric dimension and strong metric dimension of two convex polytopes $S_n$ and $U_n$.
Scattered packings of cycles
Published
• View Publication
• BIB
We consider the problem Scattered Cycles which, given a graph $G$ and two positive integers $r$ and $\ell$, asks whether $G$ contains a collection of $r$ cycles that are pairwise at distance at least $\ell$. This problem generalizes the problem Disjoint Cycles which corresponds to the case $\ell = 1$. We prove that when parameterized by $r$, $\ell$, and the maximum degree $Δ$, the problem Scattered Cycles admits a kernel on $24 \ell^2 Δ^\ell r \log(8 \ell^2 Δ^\ell r)$ vertices. We also provide a $(16 \ell^2 Δ^\ell)$-kernel for the case $r=2$ and a $(148 Δr \log r)$-kernel for the case $\ell = 1$. Our proofs rely on two simple reduction rules and a careful analysis.
Trees, ladders and graphs
Published
• View Publication
• BIB
We introduce a new method to construct uncountably chromatic graphs from non special trees and ladder systems. Answering a question of P. Erdős and A. Hajnal from 1985, we construct graphs of chromatic number $ω_1$ without uncountable $ω$-connected subgraphs. Second, we build triangle free graphs of chromatic number $ω_1$ without subgraphs isomorphic to $H_{ω,ω+2}$.
Many 2-level polytopes from matroids
Published
• View Publication
• BIB
The family of 2-level matroids, that is, matroids whose base polytope is 2-level, has been recently studied and characterized by means of combinatorial properties. 2-level matroids generalize series-parallel graphs, which have been already successfully analyzed from the enumerative perspective.
We bring to light some structural properties of 2-level matroids and exploit them for enumerative purposes. Moreover, the counting results are used to show that the number of combinatorially non-equivalent (n-1)-dimensional 2-level polytopes is bounded from below by $c \cdot n^{-5/2} \cdot ρ^{-n}$, where $c\approx 0.03791727 $ and $ρ^{-1} \approx 4.88052854$.
Colouring of plane graphs with unique maximal colours on faces
Published in J. Graph Theory, 83(4) 359-371, 2016
• View Publication
• BIB
The Four Colour Theorem asserts that the vertices of every plane graph can be properly coloured with four colors. Fabrici and Göring conjectured the following stronger statement to also hold: the vertices of every plane graph can be properly coloured with the numbers 1,...,4 in such a way that every face contains a unique vertex coloured with the maximal color appearing on that face. They proved that every plane graph has such a colouring with the numbers 1,...,6. We prove that every plane graph has such a colouring with the numbers 1,...,5 and we also prove the list variant of the statement for lists of sizes seven.