arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35396 papers tagged with this keyword
2017-09-20
Forbidden Subgraphs for Chorded Pancyclicity
Published in Discrete Mathematics, Volume 340, Issue 12, December 2017, Pages 2878-2888 • View Publication • BIB
We call a graph $G$ pancyclic if it contains at least one cycle of every possible length $m$, for $3\le m\le |V(G)|$. In this paper, we define a new property called chorded pancyclicity. We explore forbidden subgraphs in claw-free graphs sufficient to imply that the graph contains at least one chorded cycle of every possible length $4, 5, \ldots, |V(G)|$. In particular, certain paths and triangles with pendant paths are forbidden.
Characterization and enumeration of 3-regular permutation graphs
Published • View Publication • BIB
A permutation graph is a graph that can be derived from a permutation, where the vertices correspond to letters of the permutation, and the edges represent inversions. We provide a construction to show that there are infinitely many connected $r$-regular permutation graphs for $r \geq 3$. We prove that all $3$-regular permutation graphs arise from a similar construction. Finally, we enumerate all $3$-regular permutation graphs on $n$ vertices.
Chromatic polynomials of random graphs
Published in J. Phys. A: Math. Theor. 43 175002 (2010) • View Publication • BIB
Chromatic polynomials and related graph invariants are central objects in both graph theory and statistical physics. Computational difficulties, however, have so far restricted studies of such polynomials to graphs that were either very small, very sparse or highly structured. Recent algorithmic advances (Timme et al 2009 New J. Phys. 11 023001) now make it possible to compute chromatic polynomials for moderately sized graphs of arbitrary structure and number of edges. Here we present chromatic polynomials of ensembles of random graphs with up to 30 vertices, over the entire range of edge density. We specifically focus on the locations of the zeros of the polynomial in the complex plane. The results indicate that the chromatic zeros of random graphs have a very consistent layout. In particular, the crossing point, the point at which the chromatic zeros with non-zero imaginary part approach the real axis, scales linearly with the average degree over most of the density range. While the scaling laws obtained are purely empirical, if they continue to hold in general there are significant implications: the crossing points of chromatic zeros in the thermodynamic limit separate systems with zero ground state entropy from systems with positive ground state entropy, the latter an exception to the third law of thermodynamics.
2017-09-19
A Proof Technique for Skewness of Graphs
The skewness of a graph G is the minimum number of edges in G whose removal results in a planar graph. By appropriately introducing a weight to each edge of a graph, we determine, among other thing, the skewness of the generalized Petersen graph P(4k, k) for odd k at least 9. This provides an answer to the conjecture raised in [3].
2017-09-19
F-index of graphs based on new operations related to the join of graphs
Published • View Publication • BIB
The forgotten topological index or F-index of a graph is defined as the sum of degree cube of all the vertices of the graph. This index was introduced by Gutman and Trinajestić more than 40 years ago. In this paper, we derive F-index of new operations of subdivision graphs related to the graphs join.
2017-09-19 v2
Double-distance frameworks and mixed sparsity graphs
Published • View Publication • BIB
A rigidity theory is developed for frameworks in a metric space with two types of distance constraints. Mixed sparsity graph characterisations are obtained for the infinitesimal and continuous rigidity of completely regular bar-joint frameworks in a variety of such contexts. The main results are combinatorial characterisations for (i) frameworks restricted to surfaces with both Euclidean and geodesic distance constraints, (ii) frameworks in the plane with Euclidean and non-Euclidean distance constraints, and (iii) direction-length frameworks in the non-Euclidean plane.
2017-09-19 v2
On Björner and Lovász's conjecture
In the way of proving Kneser's conjecture, László Lovász settled out a new lower bound for the chromatic number of graphs. He showed that if the hom complex $||Hom(\mathcal{K}_2, H)||$ of a graph $H$ is topologically $k$-connected, then its chromatic number, $χ(H)$, is at least $k+3$. After that, he made the following conjecture, to provide a better lower bound on the chromatic number of graphs. If $||Hom(C_{2r+1}, H)||$ is $k$-connected, then $χ(H)\geq k+4$, where $C_{2r+1}$ is an odd cycle of length $2r+1$. Finally, Björner and Lovász proposed a generalization of the Lovász conjecture as follows. If $||Hom(T, H)||$ is $k$-connected, then $χ(H)\geq k+χ(T) +1$. The first conjecture was originally confirmed by Babson and Kozlov, by complicated computations with spectral sequences. But the second one was disproved by Hoory and Linial. So, after that, a graph $T$ is called a test graph if for every graph $H$, the $k$-connectedness of $||Hom(T, H)||$ implies $χ(H)\geq k + 1 + χ(H)$. In this paper, we prove that if a graph $F$ possess an involutive automorphism that flips some edge; then it is a test graph. As a corollary, we give a purely combinatorial proof of the Lovász conjecture; odd cycles are test graphs. Indeed, although the Björner and Lovász conjecture is not true in general, we show that a slight modification of the conjecture is always true. More precisely, we show that for any graph $T$, there is a supergraph $T\subseteq\hat{T}$ with $χ(\hat{T})\leqχ(T)+1$, such that $\hat{T}$ is a test graph.
2017-09-19 v2
On dihedral flows in embedded graphs
Published • View Publication • BIB
Let $Γ$ be a multigraph with for each vertex a cyclic order of the edges incident with it. For $n \geq 3$, let $D_{2n}$ be the dihedral group of order $2n$. Define $\mathbb{D} := \{(\begin{smallmatrix} 1 & a \\ 0 & 1 \end{smallmatrix}) \mid a \in \mathbb{Z}\}$. In [5] it was asked whether $Γ$ admits a nowhere-identity $D_{2n}$-flow if and only if it admits a nowhere-identity $\mathbb{D}$-flow with $|a| < n$ (a `nowhere-identity $\mathbb{D}_n$-flow'). We give counterexamples to this statement and provide general obstructions. Furthermore, the complexity of the existence of nowhere-identity $\mathbb{D}_2$-flows is discussed. Lastly, graphs in which the equivalence of the existence of flows as above is true, are described. We focus particularly on cubic graphs.
2017-09-19
Unimodal Category and the Monotonicity Conjecture
Published • View Publication • BIB
We completely characterize the unimodal category for functions $f:\mathbb R\to[0,\infty)$ using a decomposition theorem obtained by generalizing the sweeping algorithm of Baryshnikov and Ghrist. We also give a characterization of the unimodal category for functions $f:S^1\to[0,\infty)$ and provide an algorithm to compute the unimodal category of such a function in the case of finitely many critical points. We then turn to the monotonicity conjecture of Baryshnikov and Ghrist. We show that this conjecture is true for functions on $\mathbb R$ and $S^1$ using the above characterizations and that it is false on certain graphs and on the Euclidean plane by providing explicit counterexamples. We also show that it holds for functions on the Euclidean plane whose Morse-Smale graph is a tree using a result of Hickok, Villatoro and Wang.
Predicting Positive and Negative Links with Noisy Queries: Theory & Practice
Published • View Publication • BIB
Social networks involve both positive and negative relationships, which can be captured in signed graphs. The {\em edge sign prediction problem} aims to predict whether an interaction between a pair of nodes will be positive or negative. We provide theoretical results for this problem that motivate natural improvements to recent heuristics. The edge sign prediction problem is related to correlation clustering; a positive relationship means being in the same cluster. We consider the following model for two clusters: we are allowed to query any pair of nodes whether they belong to the same cluster or not, but the answer to the query is corrupted with some probability $0<q<\frac{1}{2}$. Let $δ=1-2q$ be the bias. We provide an algorithm that recovers all signs correctly with high probability in the presence of noise with $O(\frac{n\log n}{δ^2}+\frac{\log^2 n}{δ^6})$ queries. This is the best known result for this problem for all but tiny $δ$, improving on the recent work of Mazumdar and Saha \cite{mazumdar2017clustering}. We also provide an algorithm that performs $O(\frac{n\log n}{δ^4})$ queries, and uses breadth first search as its main algorithmic primitive. While both the running time and the number of queries for this algorithm are sub-optimal, our result relies on novel theoretical techniques, and naturally suggests the use of edge-disjoint paths as a feature for predicting signs in online social networks. Correspondingly, we experiment with using edge disjoint $s-t$ paths of short length as a feature for predicting the sign of edge $(s,t)$ in real-world signed networks. Empirical findings suggest that the use of such paths improves the classification accuracy, especially for pairs of nodes with no common neighbors.
2017-09-19
On Graphs and the Gotsman-Linial Conjecture for d = 2
We give an infinite class of counterexamples to the Gotsman-Linial conjecture when d = 2. On the other hand, we establish an asymptotic form of the conjecture for quadratic threshold functions whose non-zero quadratic terms define a graph with either low fractional chromatic number or few edges. Our techniques are elementary and our exposition is self-contained, if you're into that.
2017-09-18
Quotient-complete arc-transitive latin square graphs from groups
Published • View Publication • BIB
We consider latin square graphs $Γ= \rm{LSG}(H)$ of the Cayley table of a given finite group $H$. We characterize all pairs $(Γ,G)$, where $G$ is a subgroup of autoparatopisms of the Cayley table of $H$ such that $G$ acts arc-transitively on $Γ$ and all nontrivial $G$-normal quotient graphs of $Γ$ are complete. We show that $H$ must be elementary abelian and determine the number $k$ of complete normal quotients. This yields new infinite families of diameter two arc-transitive graphs with $k = 1$ or $k = 2$.
Distinguishing graphs of maximum valence 3
The distinguishing number $D(G)$ of a graph $G$ is the smallest number of colors that is needed to color $G$ such that the only color preserving automorphism is the identity. We give a complete classification for all connected graphs $G$ of maximum valence $\triangle(G)=3$ and distinguishing number $D(G) = 3$. As one of the consequences we get that all infinite connected graphs with $\triangle(G)=3$ are 2-distinguishable.
2017-09-18
Unification of graph products and compatibility with switching
Published • View Publication • BIB
We define the type of graph products, which enable us to treat many graph products in a unified manner. These unified graph products are shown to be compatible with Godsil--McKay switching. Furthermore, by this compatibility, we show that the Doob graphs can also be obtained from the Hamming graphs by switching.
Globally simple Heffter arrays and orthogonal cyclic cycle decompositions
In this paper we introduce a particular class of Heffter arrays, called globally simple Heffter arrays, whose existence gives at once orthogonal cyclic cycle decompositions of the complete graph and of the cocktail party graph. In particular we provide explicit constructions of such decompositions for cycles of length $k\leq 10$. Furthermore, starting from our Heffter arrays we also obtain biembeddings of two $k$-cycle decompositions on orientable surfaces.
Localization game on geometric and planar graphs
Published in Discrete Applied Mathematics, 251 (2018), 30-39 • View Publication • BIB
The main topic of this paper is motivated by a localization problem in cellular networks. Given a graph $G$ we want to localize a walking agent by checking his distance to as few vertices as possible. The model we introduce is based on a pursuit graph game that resembles the famous Cops and Robbers game. It can be considered as a game theoretic variant of the \emph{metric dimension} of a graph. We provide upper bounds on the related graph invariant $ζ(G)$, defined as the least number of cops needed to localize the robber on a graph $G$, for several classes of graphs (trees, bipartite graphs, etc). Our main result is that, surprisingly, there exists planar graphs of treewidth $2$ and unbounded $ζ(G)$. On a positive side, we prove that $ζ(G)$ is bounded by the pathwidth of $G$. We then show that the algorithmic problem of determining $ζ(G)$ is NP-hard in graphs with diameter at most $2$. Finally, we show that at most one cop can approximate (arbitrary close) the location of the robber in the Euclidean plane.
Game Total Domination Critical Graphs
Published • View Publication • BIB
In the total domination game played on a graph $G$, players Dominator and Staller alternately select vertices of $G$, as long as possible, such that each vertex chosen increases the number of vertices totally dominated. Dominator (Staller) wishes to minimize (maximize) the number of vertices selected. The game total domination number, $γ_{\rm tg}(G)$, of $G$ is the number of vertices chosen when Dominator starts the game and both players play optimally. If a vertex $v$ of $G$ is declared to be already totally dominated, then we denote this graph by $G|v$. In this paper the total domination game critical graphs are introduced as the graphs $G$ for which $γ_{\rm tg}(G|v) < γ_{\rm tg}(G)$ holds for every vertex $v$ in $G$. If $γ_{\rm tg}(G) = k$, then $G$ is called $k$-$γ_{\rm tg}$-critical. It is proved that the cycle $C_n$ is $γ_{\rm tg}$-critical if and only if $n\pmod 6 \in \{0,1,3\}$ and that the path $P_n$ is $γ_{\rm tg}$-critical if and only if $n\pmod 6\in \{2,4\}$. $2$-$γ_{\rm tg}$-critical and $3$-$γ_{\rm tg}$-critical graphs are also characterized as well as $3$-$γ_{\rm tg}$-critical joins of graphs.
2017-09-18 v2
Gallai-Ramsey numbers of $C_9$ with multiple colors
We study Ramsey-type problems in Gallai-colorings. Given a graph $G$ and an integer $k\ge1$, the Gallai-Ramsey number $gr_k(K_3,G)$ is the least positive integer $n$ such that every $k$-coloring of the edges of the complete graph on $n$ vertices contains either a rainbow triangle or a monochromatic copy of $G$. It turns out that $gr_k(K_3, G)$ behaves more nicely than the classical Ramsey number $r_k(G)$. However, finding exact values of $gr_k (K_3, G)$ is far from trivial. In this paper, we prove that $gr_k(K_3, C_9)= 4\cdot 2^k+1$ for all $k\ge1$. This new result provides partial evidence for the first open case of the Triple Odd Cycle Conjecture of Bondy and Erdős from 1973. Our technique relies heavily on the structural result of Gallai on edge-colorings of complete graphs without rainbow triangles. We believe the method we developed can be used to determine the exact values of $gr_k(K_3, C_n)$ for odd integers $n\ge11$.
2017-09-18 v2
Many Triangles with Few Edges
Published in Electronic Journal of Combinatorics, Volume 26, Issue 2 (2019), P2.36 • View Publication • BIB
Extremal problems concerning the number of independent sets or complete subgraphs in a graph have been well studied in recent years. Cutler and Radcliffe proved that among graphs with $n$ vertices and maximum degree at most $r$, where $n = a(r+1)+b$ and $0 \le b \le r$, $aK_{r+1}\cup K_b$ has the maximum number of complete subgraphs, answering a question of Galvin. Gan, Loh, and Sudakov conjectured that $aK_{r+1}\cup K_b$ also maximizes the number of complete subgraphs $K_t$ for each fixed size $t \ge 3$, and proved this for $a = 1$. Cutler and Radcliffe proved this conjecture for $r \le 6$. We investigate a variant of this problem where we fix the number of edges instead of the number of vertices. We prove that $aK_{r+1}\cup \mathcal{C}(b)$, where $\mathcal{C}(b)$ is the colex graph on $b$ edges, maximizes the number of triangles among graphs with $m$ edges and any fixed maximum degree $r\le 8$, where $m = a \binom{r+1}{2} + b$ and $0 \le b < \binom{r+1}{2}$.
2017-09-16
Some improved bounds on two energy-like invariants of some derived graphs
Published • View Publication • BIB
Given a simple graph $G$, its Laplacian-energy-like invariant $LEL(G)$ and incidence energy $IE(G)$ are the sum of square root of its all Laplacian eigenvalues and signless Laplacian eigenvalues, respectively. Applying the Cauchy-Schwarz inequality and the Ozeki inequality, along with its refined version, we obtain some improved bounds on $LEL$ and $IE$ of the $\mathcal {R}$-graph and $\mathcal{Q}$-graph for a regular graph. Theoretical analysis indicates that these results improve some known results. In addition, some new lower bounds on $LEL$ and $IE$ of the line graph of a semiregular graph are also given.