graph
34828 papers tagged with this keyword
An extension of the Moran process using type-specific connection graphs
Published
• View Publication
• BIB
The Moran process, as studied by [Lieberman, E., Hauert, C. and Nowak, M. Evolutionary dynamics on graphs. Nature 433, pp. 312-316 (2005)], is a stochastic process modeling the spread of genetic mutations in populations. In this process, agents of a two-type population (i.e. mutants and residents) are associated with the vertices of a graph. Initially, only one vertex chosen uniformly at random is a mutant, with fitness $r > 0$, while all other individuals are residents, with fitness $1$. In every step, an individual is chosen with probability proportional to its fitness, and its state (mutant or resident) is passed on to a neighbor which is chosen uniformly at random. In this paper, we introduce and study a generalization of the model of Lieberman et al. by assuming that different types of individuals perceive the population through different graphs, namely $G_R(V,E_R)$ for residents and $G_M(V,E_M)$ for mutants. In this model, we study the fixation probability, i.e. the probability that eventually only mutants remain in the population, for various pairs of graphs. First, we transfer known results from the original single-graph model of Lieberman et al. to our 2-graph model. Among them, we provide a generalization of the Isothermal Theorem of Lieberman et al., that gives sufficient conditions for a pair of graphs to have the same fixation probability as a pair of cliques. Next, we give a 2-player strategic game view of the process where player payoffs correspond to fixation and/or extinction probabilities. In this setting, we attempt to identify best responses for each player and give evidence that the clique is the most beneficial graph for both players. Finally, we examine the possibility of efficient approximation of the fixation probability and provide a FPRAS for the special case where the mutant graph is complete.
Maximum number of colourings. II. 5-chromatic graphs
Published
• View Publication
• BIB
In 1971, Tomescu conjectured [Le nombre des graphes connexes $k$-chromatiques minimaux aux sommets étiquetés, C. R. Acad. Sci. Paris 273 (1971), 1124--1126] that every connected graph $G$ on $n$ vertices with $χ(G) = k \geq 4$ has at most $k!(k-1)^{n-k}$ $k$-colourings, where equality holds if and only if the graph is formed from $K_k$ by repeatedly adding leaves. In this note we prove (a strengthening of) the conjecture of Tomescu when $k=5$.
A recognition algorithm for simple-triangle graphs
Published
• View Publication
• BIB
A simple-triangle graph is the intersection graph of triangles that are defined by a point on a horizontal line and an interval on another horizontal line. The time complexity of the recognition problem for simple-triangle graphs was a longstanding open problem, which was recently settled. This paper provides a new recognition algorithm for simple-triangle graphs to improve the time bound from $O(n^2 \overline{m})$ to $O(nm)$, where $n$, $m$, and $\overline{m}$ are the number of vertices, edges, and non-edges of the graph, respectively. The algorithm uses the vertex ordering characterization that a graph is a simple-triangle graph if and only if there is a linear ordering of the vertices containing both an alternating orientation of the graph and a transitive orientation of the complement of the graph. We also show, as a byproduct, that an alternating orientation can be obtained in $O(nm)$ time for cocomparability graphs, and it is NP-complete to decide whether a graph has an orientation that is alternating and acyclic.
A computerised classification of some almost minimal triangle-free Ramsey graphs
A graph $G$ is called a $(3,j;n)$-minimal Ramsey graph if it has the least amount of edges, $e(3,j;n)$, given that $G$ is triangle-free, the independence number $α(G) < j$ and that $G$ has $n$ vertices. Triangle-free graphs $G$ with $α(G) < j$ and where $e(G) - e(3,j;n)$ is small are said to be almost minimal Ramsey graphs.
We look at a construction of some almost minimal Ramsey graphs, called $H_{13}$-patterned graphs. We make computer calculations of the number of almost minimal Ramsey triangle-free graphs that are $H_{13}$-patterned. The results of these calculations indicate that many of these graphs are in fact $H_{13}$-patterned. In particular, all but one of the connected $(3,j;n)$-minimal Ramsey graphs for $j \leq 9$ are indeed $H_{13}$-patterned.
Near-domination in graphs
Published
• View Publication
• BIB
A vertex u of a graph t-dominates a vertex v if there are at most t vertices different from u,v that are adjacent to v and not to u; and a graph is t-dominating if for every pair of distinct vertices, one of them t-dominates the other. Our main result says that if a graph is t-dominating, then it is close (in an appropriate sense) to being 0-dominating. We also show that an analogous statement for digraphs is false; and discuss some connections with the Erdos-Hajnal conjecture.
On spectral radii of unraveled balls
Published in Journal of Combinatorial Theory, Series B, Volume 136, 2019, Pages 72-80
• View Publication
• BIB
Given a graph $G$, the unraveled ball of radius $r$ centered at a vertex $v$ is the ball of radius $r$ centered at $v$ in the universal cover of $G$. We prove a lower bound on the maximum spectral radius of unraveled balls of fixed radius, and we show, among other things, that if the average degree of $G$ after deleting any ball of radius $r$ is at least $d$ then its second largest eigenvalue is at least $2\sqrt{d-1}\cos(\fracπ{r+1})$.
3 List Coloring Graphs of Girth at least Five on Surfaces
Published
• View Publication
• BIB
Grotzsch proved that every triangle-free planar graph is 3-colorable. Thomassen proved that every planar graph of girth at least five is 3-choosable. As for other surfaces, Thomassen proved that there are only finitely many 4-critical graphs of girth at least five embeddable in any fixed surface. This implies a linear-time algorithm for deciding 3-colorablity for graphs of girth at least five on any fixed surface. Dvorak, Kral and Thomas strengthened Thomassen's result by proving that the number of vertices in a 4-critical graph of girth at least five is linear in its genus. They used this result to prove Havel's conjecture that a planar graph whose triangles are pairwise far enough apart is 3-colorable. As for list-coloring, Dvorak proved that a planar graph whose cycles of size at most four are pairwise far enough part is 3-choosable.
In this article, we generalize these results. First we prove a linear isoperimetric bound for 3-list-coloring graphs of girth at least five. Many new results then follow from the theory of hyperbolic families of graphs developed by Postle and Thomas. In particular, it follows that there are only finitely many 4-list-critical graphs of girth at least five on any fixed surface, and that in fact the number of vertices of a 4-list-critical graph is linear in its genus. This provides independent proofs of the above results while generalizing Dvorak's result to graphs on surfaces that have large edge-width and yields a similar result showing that a graph of girth at least five with crossings pairwise far apart is 3-choosable. Finally, we generalize to surfaces Thomassen's result that every planar graph of girth at least five has exponentially many distinct 3-list-colorings. Specifically, we show that every graph of girth at least five that has a 3-list-coloring has $2^{Ω(n)-O(g)}$ distinct 3-list-colorings.
On Hamilton Decompositions of Line Graphs of Non-Hamiltonian Graphs and Graphs without Separating Transitions
In contrast with Kotzig's result that the line graph of a $3$-regular graph $X$ is Hamilton decomposable if and only if $X$ is Hamiltonian, we show that for each integer $k\geq 4$ there exists a simple non-Hamiltonian $k$-regular graph whose line graph has a Hamilton decomposition. We also answer a question of Jackson by showing that for each integer $k\geq 3$ there exists a simple connected $k$-regular graph with no separating transitions whose line graph has no Hamilton decomposition.
A tight Erdős-Pósa function for wheel minors
Published in SIAM J. Discrete Math. 32-3 (2018), pp. 2302-2312
• View Publication
• BIB
Let $W_t$ denote the wheel on $t+1$ vertices. We prove that for every integer $t \geq 3$ there is a constant $c=c(t)$ such that for every integer $k\geq 1$ and every graph $G$, either $G$ has $k$ vertex-disjoint subgraphs each containing $W_t$ as minor, or there is a subset $X$ of at most $c k \log k$ vertices such that $G-X$ has no $W_t$ minor. This is best possible, up to the value of $c$. We conjecture that the result remains true more generally if we replace $W_t$ with any fixed planar graph $H$.
On the skeleton of the pyramidal tours polytope
Published
• View Publication
• BIB
We consider the skeleton of the pyramidal tours polytope. Hamiltonian tour is called pyramidal if the salesperson starts in city $1$, then visits some cities in increasing order, reaches city $n$ and returns to city $1$, visiting the remaining cities in decreasing order. The polytope $PYR(n)$ is defined as the convex hull of characteristic vectors of all pyramidal tours in the complete graph $K_{n}$. The skeleton of the polytope $PYR(n)$ is the graph whose vertex set is the vertex set of $PYR(n)$ and edge set is the set of geometric edges or one-dimensional faces of $PYR(n)$. We describe the necessary and sufficient condition for the adjacency of vertices of the polytope $PYR(n)$. On this basis we developed an algorithm to check the vertex adjacency with a linear complexity. We establish that the diameter of $PYR(n)$ skeleton equals 2, and the asymptotically exact estimate of $PYR(n)$ skeleton's clique number is $Θ(n^{2})$. It is known that this value characterizes the time complexity in a broad class of algorithms based on linear comparisons.
Projective planes and set multipartite Ramsey numbers for $C_4$ versus star
Set multipartite Ramsey numbers were introduced in 2004, ge-neralizing the celebrated Ramsey numbers. Let $C_4$ denote the four cycle and let $K_{1,n}$ denote the star on $n+1$ vertices. In this paper we investigate bounds on $C_4-K_{1,n}$ set multipartite Ramsey numbers. Relationships between these numbers and the classical $C_4-K_{1,n}$ Ramsey numbers are explored. Then several near-optimal or exact classes are derived as applications. As the main goal, polarity graphs from projective planes allow us to find suitable subgraphs which yield some optimal classes too.
Complexity and capacity bounds for quantum channels
Published
• View Publication
• BIB
We generalise some well-known graph parameters to operator systems by considering their underlying quantum channels. In particular, we introduce the quantum complexity as the dimension of the smallest co-domain Hilbert space a quantum channel requires to realise a given operator system as its non-commutative confusability graph. We describe quantum complexity as a generalised minimum semidefinite rank and, in the case of a graph operator system, as a quantum intersection number. The quantum complexity and a closely related quantum version of orthogonal rank turn out to be upper bounds for the Shannon zero-error capacity of a quantum channel, and we construct examples for which these bounds beat the best previously known general upper bound for the capacity of quantum channels, given by the quantum Lovász theta number.
Hultman elements for the hyperoctahedral groups
Published
• View Publication
• BIB
Hultman, Linusson, Shareshian, and Sjöstrand gave a pattern avoidance characterization of the permutations for which the number of chambers of its associated inversion arrangement is the same as the size of its lower interval in Bruhat order. Hultman later gave a characterization, valid for an arbitrary finite reflection group, in terms of distances in the Bruhat graph. On the other hand, the pattern avoidance criterion for permutations had earlier appeared in independent work of Sjöstrand and of Gasharov and Reiner. We give characterizations of the elements of the hyperoctahedral groups satisfying Hultman's criterion that is in the spirit of those of Sjöstrand and of Gasharov and Reiner. We also give a pattern avoidance criterion using the notion of pattern avoidance defined by Billey and Postnikov.
Longer Cycles in Essentially 4-Connected Planar Graphs
Published in Discussiones Mathematicae Graph Theory, ISSN (Online) 2083-5892
• View Publication
• BIB
A planar 3-connected graph $G$ is called \emph{essentially $4$-connected} if, for every 3-separator $S$, at least one of the two components of $G-S$ is an isolated vertex. Jackson and Wormald proved that the length $\mathop{\rm circ}\nolimits(G)$ of a longest cycle of any essentially 4-connected planar graph $G$ on $n$ vertices is at least $\frac{2n+4}{5}$ and Fabrici, Harant and Jendrol' improved this result to $\mathop{\rm circ}\nolimits(G)\geq \frac{1}{2}(n+4)$. In the present paper, we prove that an essentially 4-connected planar graph on $n$ vertices contains a cycle of length at least $\frac{3}{5}(n+2)$ and that such a cycle can be found in time $O(n^2)$.
Special Hist-Snarks
A Hist in a cubic graph $G$ is a spanning tree $T$ which has only vertices of degree three and one. A snark with a Hist is called a Hist-snark, see \cite{HO}. We present several computer generated Hist-snarks which form generalizations of the Petersen graph. Moreover, we state some results on Hist-snarks which have been achieved with computer support.
Cohen--Lenstra heuristics for torsion in homology of random complexes
Published
• View Publication
• BIB
We study torsion in homology of the random $d$-complex $Y \sim Y_d(n,p)$ experimentally. Our experiments suggest that there is almost always a moment in the process where there is an enormous burst of torsion in homology $H_{d-1}(Y)$. This moment seems to coincide with the phase transition studied in \cite{AL,LP,LP3} , where cycles in $H_d(Y)$ first appear with high probability.
Our main study is the limiting distribution on the $q$-part of the torsion subgroup of $H_{d-1}(Y)$ for small primes $q$. We find strong evidence for a limiting Cohen--Lenstra distribution, where the probability that the $q$-part is isomorphic to a given $q$-group $H$ is inversely proportional to the order of the automorphism group $|\mbox{Aut}(H)|$.
We also study the torsion in homology of the uniform random $\Q$-acyclic $2$-complex. This model is analogous to a uniform spanning tree on a complete graph, but more complicated topologically since Kalai showed that the expected order of the torsion group is exponentially large in $n^2$ \cite{Kalai}. We give experimental evidence that in this model also, the torsion is Cohen--Lenstra distributed in the limit.
Trees and $n$-Good Hypergraphs
Trees fill many extremal roles in graph theory, being minimally connected and serving a critical role in the definition of $n$-good graphs. In this article, we consider the generalization of trees to the setting of $r$-uniform hypergraphs and how one may extend the notion of $n$-good graphs to this setting. We prove numerous bounds for $r$-uniform hypergraph Ramsey numbers involving trees and complete hypergraphs and show that in the $3$-uniform case, all trees are $n$-good when $n$ is odd or $n$ falls into specified even cases.
Embedding an Edge-colored $K(a^{(p)};λ,μ)$ into a Hamiltonian Decomposition of $K(a^{(p+r)};λ,μ)$
Published in Graphs Combin. 29 (2013), no. 4, 747-755
• View Publication
• BIB
Let $K(a^{(p)};λ,μ)$ be a graph with $p$ parts, each part having size $a$, in which the multiplicity of each pair of vertices in the same part (in different parts) is $λ$ ($μ$, respectively). In this paper we consider the following embedding problem: When can a graph decomposition of $K(a^{(p)};λ,μ)$ be extended to a Hamiltonian decomposition of $K(a^{(p+r)};λ,μ)$ for $r>0$? A general result is proved, which is then used to solve the embedding problem for all $r\geq \fracλ{μa}+\frac{p-1}{a-1}$. The problem is also solved when $r$ is as small as possible in two different senses, namely when $r=1$ and when $r=\fracλ{μa}-p+1$.
Dominating 2-broadcast in graphs: complexity, bounds and extremal graphs
Limited dominating broadcasts were proposed as a variant of dominating broadcasts, where the broadcast function is upper bounded. As a natural extension of domination, we consider dominating $2$-broadcasts along with the associated parameter, the dominating $2$-broadcast number. We prove that computing the dominating $2$-broadcast number is a NP-complete problem, but can be achieved in linear time for trees. We also give an upper bound for this parameter, that is tight for graphs as large as desired.
The Sandpile Group of a Thick Cycle Graph
Published
• View Publication
• BIB
The majority of graphs whose sandpile groups are known are either regular or simple. We give an explicit formula for a family of non-regular multi-graphs called thick cycles. A thick cycle graph is a cycle where multi-edges are permitted. Its sandpile group is the direct sum of cyclic groups of orders given by quotients of greatest common divisors of minors of its Laplacian matrix. We show these greatest common divisors can be expressed in terms of monomials in the graph's edge multiplicities.