arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35396 papers tagged with this keyword
2017-08-29
Circumference of 3-connected cubic graphs
Published in J. Comb. Theory B, 128 (2018) 134-159 • View Publication • BIB
The circumference of a graph is the length of its longest cycles. Jackson established a conjecture of Bondy by showing that the circumference of a 3-connected cubic graph of order $n$ is $Ω(n^{0.694})$. Bilinski {\it et al.} improved this lower bound to $Ω(n^{0.753})$ by studying large Eulerian subgraphs in 3-edge-connected graphs. In this paper, we further improve this lower bound to $Ω(n^{0.8})$. This is done by considering certain 2-connected cubic graphs, finding cycles through two given edges, and distinguishing the cases whether or not these edges are adjacent.
Hamiltonicity of edge-chromatic critical graphs
Published • View Publication • BIB
Given a graph $G$, denote by $Δ$ and $χ^\prime$ the maximum degree and the chromatic index of $G$, respectively. A simple graph $G$ is called {\it edge-$Δ$-critical} if $χ^\prime(G)=Δ+1$ and $χ^\prime(H)\leΔ$ for every proper subgraph $H$ of $G$. We proved that every edge chromatic critical graph of order $n$ with maximum degree at least $\frac{2n}{3}+12$ is Hamiltonian.
2017-08-29
On the zeroth-order general Randić index, variable sum exdeg index and trees having vertices with prescribed degree
Published in Discrete Math. Algorithm. Appl. 10 (2018) Art# 1850015 • View Publication • BIB
The zeroth-order general Randić index (usually denoted by $R_α^{0}$) and variable sum exdeg index (denoted by $SEI_{a}$) of a graph $G$ are defined as $R_α^{0}(G)= \sum_{v\in V(G)} (d_{v})^α$ and $SEI_{a}(G)= \sum_{v\in V(G)}d_{v}a^{d_{v}}$ where $d_{v}$ is degree of the vertex $v\in V(G)$, $a$ is a positive real number different from 1 and $α$ is a real number other than $0$ and $1$. A segment of a tree is a path $P$, whose terminal vertices are branching or pendent, and all non-terminal vertices (if exist) of $P$ have degree 2. For $n\ge6$, let $\mathbb{PT}_{n,n_1}$, $\mathbb{ST}_{n,k}$, $\mathbb{BT}_{n,b}$ be the collections of all $n$-vertex trees having $n_1$ pendent vertices, $k$ segments, $b$ branching vertices, respectively. In this paper, all the trees with extremum (maximum and minimum) zeroth-order general Randić index and variable sum exdeg index are determined from the collections $\mathbb{PT}_{n,n_1}$, $\mathbb{ST}_{n,k}$, $\mathbb{BT}_{n,b}$. The obtained extremal trees for the collection $\mathbb{ST}_{n,k}$ are also extremal trees for the collection of all $n$-vertex trees having fixed number of vertices with degree 2 (because it is already known that the number of segments of a tree $T$ can be determined from the number of vertices of $T$ with degree 2 and vise versa).
2017-08-28
ZFC independence and subset sum
We study recursively defined functions associated with directed graphs on the k dimensional nonnegative integral lattice. The existence of certain combinatorial structures associated with these function classes are shown to be independent of the ZFC axioms of mathematics. These structures, in a natural way, give rise to sets of instances to the subset sum problem. We use this connection to make some observations about ZFC independence and the subset sum problem.
2017-08-28
The $M$-Polynomial and Topological Indices of Generalized Möbius Ladder and Its Line Graph
The $M$-polynomial was introduced by Deutsch and Klavžar in 2015 as a graph polynomial to provide an easy way to find closed formulas of degree-based topological indices, which are used to predict physical, chemical, and pharmacological properties of organic molecules. In this paper we give general closed forms of the $M$-polynomial of the generalized Möbius ladder and its line graph. We also compute Zagreb Indices, generalized Randić indices, and symmetric division index of these graphs via the $M$-polynomial.
2017-08-28
Erdos-Ko-Rado theorem for the group $\textrm{PSU}(3,q)$
Published • View Publication • BIB
In this paper we consider the derangement graph for the group $\textrm{PSU}(3,q)$ where $q$ is a prime power. We calculate all eigenvalues for this derangement graph and use these eigenvalues to prove that $\textrm{PSU}(3,q)$ has the Erdős-Ko-Rado property and, provided that $q\neq 2, 5$, another property that we call the {\textsl Erdős-Ko-Rado module property}.
2017-08-28 v2
The extremal function for bipartite linklessly embeddable graphs
Published in Combinatorica. 39 (2019), 1081-1104 • View Publication • BIB
An embedding of a graph in $3$-space is linkless if for every two disjoint cycles there exists an embedded ball that contains one of the cycles and is disjoint from the other. We prove that every bipartite linklessly embeddable (simple) graph on $n\ge5$ vertices has at most $3n-10$ edges, unless it is isomorphic to the complete bipartite graph $K_{3,n-3}$.
Peaks on Graphs
Given a graph $G$ with $n$ vertices and a bijective labeling of the vertices using the integers $1,2,\ldots, n$, we say $G$ has a peak at vertex $v$ if the degree of $v$ is greater than or equal to 2, and if the label on $v$ is larger than the label of all its neighbors. Fix an enumeration of the vertices of $G$ as $v_1,v_2,\ldots, v_{n}$ and a fix a set $S\subset V(G)$. We want to determine the number of distinct bijective labelings of the vertices of $G$, such that the vertices in $S$ are precisely the peaks of $G$. The set $S$ is called the \emph{peak set of the graph} $G$, and the set of all labelings with peak set $S$ is denoted by $\PSG$. This definition generalizes the study of peak sets of permutations, as that work is the special case of $G$ being the path graph on $n$ vertices. In this paper, we present an algorithm for constructing all of the bijective labelings in $\PSG$ for any $S\subseteq V(G)$. We also explore peak sets in certain families of graphs, including cycle graphs and joins of graphs.
2017-08-28 v2
On the largest planar graphs with everywhere positive combinatorial curvature (extended arxiv version)
Published • View Publication • BIB
A planar PCC graph is a simple connected planar graph with everywhere positive combinatorial curvature which is not a prism or an antiprism and with all vertices of degree at least 3. We prove that every planar PCC graph has at most 208 vertices, thus answering completely a question raised by DeVos and Mohar. The proof is based on a refined discharging technique and on an accurate low-scale combinatorical description of such graphs. We also prove that all faces in a planar PCC graph have at most 41 sides, and this result is sharp as well.
2017-08-27
Thrackles: An Improved Upper Bound
Published • View Publication • BIB
A {\em thrackle} is a graph drawn in the plane so that every pair of its edges meet exactly once: either at a common end vertex or in a proper crossing. We prove that any thrackle of $n$ vertices has at most $1.3984n$ edges. {\em Quasi-thrackles} are defined similarly, except that every pair of edges that do not share a vertex are allowed to cross an {\em odd} number of times. It is also shown that the maximum number of edges of a quasi-thrackle on $n$ vertices is ${3\over 2}(n-1)$, and that this bound is best possible for infinitely many values of $n$.
2017-08-26 v2
Undirecting membership in models of ZFA
Published • View Publication • BIB
It is known that, if we take a countable model of Zermelo--Fraenkel set theory ZFC and "undirect" the membership relation (that is, make a graph by joining $x$ to $y$ if either $x\in y$ or $y\in x$), we obtain the Erdős--Rényi random graph. The crucial axiom in the proof of this is the Axiom of Foundation, so it is natural to wonder what happens if we delete this axiom, or replace it by an alternative (such as Aczel's Anti-Foundation Axiom). The resulting graph may fail to be simple, it may have loops (if $x\in x$ for some $x$) or multiple edges (if $x\in y$ and $y\in x$ for some $x,y$). We show that, in ZFA, if we keep the loops and ignore the multiple edges, we obtain the "random loopy graph" (which is $\aleph_0$-categorical and homogeneous), but if we keep multiple edges, the resulting graph is not $\aleph_0$-categorical, but has infinitely many $1$-types. Moreover, if we keep only loops and double edges and discard single edges, the resulting graph contains countably many connected components isomorphic to any given finite connected graph with loops.
2017-08-26
Graphs with at most three distance eigenvalues different from $-1$ and $-2$
Published • View Publication • BIB
Let $G$ be a connected graph on $n$ vertices, and let $D(G)$ be the distance matrix of $G$. Let $\partial_1(G)\ge\partial_2(G)\ge\cdots\ge\partial_n(G)$ denote the eigenvalues of $D(G)$. In this paper, we characterize all connected graphs with $\partial_{3}(G)\leq -1$ and $\partial_{n-1}(G)\geq -2$. By the way, we determine all connected graphs with at most three distance eigenvalues different from $-1$ and $-2$.
2017-08-26
Hyperwalk Formulae for Even and Odd Laplacians in Finite CW-Hypergraphs
In this note we provide a combinatorial interpretation for the powers of the hypergraph Laplacians. Our motivation comes from the discrete formulation of quantum mechanics and thermodynamics in the case of finite graphs, which suggest a natural extension to simplicial and CW-complexes. With this motivation, we also define generalizations of the odd Laplacian which is specific to hypergraphs arising from CW-complexes. We then provide a combinatorial interpretation for the powers of these Laplacians.
2017-08-25 v3
Hamiltonian Maker-Breaker games on small graphs
We look at the unbiased Maker-Breaker Hamiltonicity game played on the edge set of a complete graph $K_n$, where Maker's goal is to claim a Hamiltonian cycle. First, we prove that, independent of who starts, Maker can win the game for $n = 8$ and $n = 9$. Then we use an inductive argument to show that, independent of who starts, Maker can win the game if and only if $n \geq 8$. This, in particular, resolves in the affirmative the long-standing conjecture of Papaioannou. We also study two standard positional games related to Hamiltonicity game. For Hamiltonian Path game, we show that Maker can claim a Hamiltonian path if and only if $n \geq 5$, independent of who starts. Next, we look at Fixed Hamiltonian Path game, where the goal of Maker is to claim a Hamiltonian path between two predetermined vertices. We prove that if Maker starts the game, he wins if and only if $n \geq 7$, and if Breaker starts, Maker wins if and only if $n \geq 8$. Using this result, we are able to improve the previously best upper bound on the smallest number of edges a graph on $n$ vertices can have, knowing that Maker can win the Maker-Breaker Hamiltonicity game played on its edges. To resolve the outcomes of the mentioned games on small (finite) boards, we devise algorithms for efficiently searching game trees and then obtain our results with the help of a computer.
Spectral and Combinatorial Properties of Some Algebraically Defined Graphs
Let $k\ge 3$ be an integer, $q$ be a prime power, and $\mathbb{F}_q$ denote the field of $q$ elements. Let $f_i, g_i\in\mathbb{F}_q[X]$, $3\le i\le k$, such that $g_i(-X) = -\, g_i(X)$. We define a graph $S(k,q) = S(k,q;f_3,g_3,\cdots,f_k,g_k)$ as a graph with the vertex set $\mathbb{F}_q^k$ and edges defined as follows: vertices $a = (a_1,a_2,\ldots,a_k)$ and $b = (b_1,b_2,\ldots,b_k)$ are adjacent if $a_1\ne b_1$ and the following $k-2$ relations on their components hold: $$ b_i-a_i = g_i(b_1-a_1)f_i\Bigl(\frac{b_2-a_2}{b_1-a_1}\Bigr)\;,\quad 3\le i\le k. $$ We show that graphs $S(k,q)$ generalize several recently studied examples of regular expanders and can provide many new such examples.
The rainbow connection number of enhanced power graph
Published • View Publication • BIB
Let $G$ be a finite group, the enhanced power graph of $G$, denoted by $Γ_G^e$, is the graph with vertex set $G$ and two vertices $x,y$ are edge connected in $Γ_{G}^e$ if there exist $z\in G$ such that $x,y\in\langle z\rangle$. Let $ζ$ be a edge-coloring of $Γ_G^e$. In this article, we calculate the rainbow connection number of the enhanced power graph $Γ_G^e$.
Phase transitions in graphs on orientable surfaces
Published • View Publication • BIB
Let $\mathbb{S}_g$ be the orientable surface of genus $g$. We prove that the component structure of a graph chosen uniformly at random from the class $\mathcal{S}_g(n,m)$ of all graphs on vertex set $[n]=\{1,\dotsc,n\}$ with $m$ edges embeddable on $\mathbb{S}_g$ features two phase transitions. The first phase transition mirrors the classical phase transition in the Erdős--Rényi random graph $G(n,m)$ chosen uniformly at random from all graphs with vertex set $[n]$ and $m$ edges. It takes place at $m=\frac{n}{2}+O(n^{2/3})$, when a unique largest component, the so-called \emph{giant component}, emerges. The second phase transition occurs at $m = n+O(n^{3/5})$, when the giant component covers almost all vertices of the graph. This kind of phenomenon is strikingly different from $G(n,m)$ and has only been observed for graphs on surfaces. Moreover, we derive an asymptotic estimation of the number of graphs in $\mathcal{S}_g(n,m)$ throughout the regimes of these two phase transitions.
2017-08-25
Orthogonal representations of Steiner triple system incidence graphs
Published • View Publication • BIB
The Heawood graph is the point-block incidence graph of the Fano plane (the unique Steiner triple system of order 7). We show that the minimum semidefinite rank of this graph is 10. That is, 10 is the smallest number of complex dimensions in which this graph has a faithful orthogonal representation, i.e., an assignment of a vector to each vertex such that the edges occur between precisely those vertices given non-orthogonal pairs. Some of our techniques extend to the incidence graphs of Steiner triple systems of larger order, and we include some observations and questions about the more general case.
2017-08-25 v2
Counting Hamilton cycles in sparse random directed graphs
Published • View Publication • BIB
Let D(n,p) be the random directed graph on n vertices where each of the n(n-1) possible arcs is present independently with probability p. A celebrated result of Frieze shows that if $p\ge(\log n+ω(1))/n$ then D(n,p) typically has a directed Hamilton cycle, and this is best possible. In this paper, we obtain a strengthening of this result, showing that under the same condition, the number of directed Hamilton cycles in D(n,p) is typically $n!(p(1+o(1)))^{n}$. We also prove a hitting-time version of this statement, showing that in the random directed graph process, as soon as every vertex has in-/out-degrees at least 1, there are typically $n!(\log n/n(1+o(1)))^{n}$ directed Hamilton cycles.
2017-08-25
On the automorphism group of the m-coloured random graph
Let $R_m$ be the (unique) universal homogeneous $m$-edge-coloured countable complete graph ($m\ge2$), and $G_m$ its group of colour-preserving automorphisms. The group $G_m$ was shown to be simple by John Truss. We examine the automorphism group of $G_m$, and show that it is the group of permutations of $R_m$ which induce permutations on the colours, and hence an extension of $G_m$ by the symmetric group of degree $m$. We show further that the extension splits if and only if $m$ is odd, and in the case where $m$ is even and not divisible by~$8$ we find the smallest supplement for $G_m$ in its automorphism group. (This unpublished paper from 2007 is placed here because of renewed interest in the topic.)