BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Bojan Mohar

Bojan Mohar appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.CODiscrete MathematicsData Structures and AlgorithmsComputational Geometrymath.GRComputational Complexitycond-mat.stat-mechmath-phmath.ATmath.MGmath.MP

Catalog footprint

What is connected

65works
11topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

65 published item(s)

preprint2026arXiv

Convex combination of first and second eigenvalues of trees

For a graph $G$, let $λ_1(G)$ and $λ_2(G)$ denote the largest and the second largest adjacency eigenvalue of $G$. The sum $λ_1(G) + λ_2(G)$ is called the \emph{spectral sum} of $G$. We investigate the spectral sum of trees of order $n$ and determine the extremal trees that achieve maximum/minimum. Moreover, for any $α\in [0,1]$, we determine the extremal trees which maximize the convex combination $αλ_1 + (1-α)λ_2$ in the class of $n$-vertex trees.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Inducibility and universality for trees

We answer three questions posed by Bubeck and Linial on the limit densities of subtrees in trees. We prove there exist positive $\varepsilon_1$ and $\varepsilon_2$ such that every tree that is neither a path nor a star has inducibility at most $1-\varepsilon_1$, where the inducibility of a tree $T$ is defined as the maximum limit density of $T$, and that there are infinitely many trees with inducibility at least $\varepsilon_2$. Finally, we construct a universal sequence of trees; that is, a sequence in which the limit density of any tree is positive.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The game of Cops and Robber on geodesic spaces

The game of Cops and Robber is traditionally played on a finite graph. The purpose of this paper is to introduce and analyse the game that is played on an arbitrary geodesic space (a compact, path-connected space endowed with intrinsic metric). It is shown that the game played on metric graphs is essentially the same as the discrete game played on abstract graphs and that for every compact geodesic surface there is an integer $c$ such that $c$ cops can win the game against one robber, and $c$ only depends on the genus $g$ of the surface. It is shown that $c=3$ for orientable surfaces of genus $0$ or $1$ and nonorientable surfaces of crosscap number $1$ or $2$ (with any number of boundary components) and that $c=O(g)$ and that $c=Ω(\sqrt{g})$ when the genus $g$ is larger. The main motivation for discussing this game is to view the cop number (the minimum number of cops needed to catch the robber) as a new geometric invariant describing how complex is the geodesic space.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Automorphism groups of maps in linear time

By a map we mean a $2$-cell decomposition of a closed compact surface, i.e., an embedding of a graph such that every face is homeomorphic to an open disc. Automorphism of a map can be thought of as a permutation of the vertices which preserves the vertex-edge-face incidences in the embedding. When the underlying surface is orientable, every automorphism of a map determines an angle-preserving homeomorphism of the surface. While it is conjectured that there is no "truly subquadratic" algorithm for testing map isomorphism for unconstrained genus, we present a linear-time algorithm for computing the generators of the automorphism group of a map, parametrized by the genus of the underlying surface. The algorithm applies a sequence of local reductions and produces a uniform map, while preserving the automorphism group. The automorphism group of the original map can be reconstructed from the automorphism group of the uniform map in linear time. We also extend the algorithm to non-orientable surfaces by making use of the antipodal double-cover.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Excluded minors for the Klein Bottle I. Low connectivity case

Graphs that are critical (minimal excluded minors) for embeddability in surfaces are studied. In Part I we consider the structure of graphs with a 2-vertex-cut that are critical with respect to the Euler genus. A general theorem describing the building blocks is presented. These constituents, called hoppers and cascades, are classified for the case when Euler genus is small. As a consequence, the complete list of obstructions of connectivity 2 for embedding graphs into the Klein bottle is obtained. This is the first complete result about obstructions for embeddability of graphs in the Klein bottle, and the outcome is somewhat surprising in the sense that there are considerably fewer excluded minors than expected.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Excluded minors for the Klein Bottle II. Cascades

Graphs that are critical (minimal excluded minors) for embeddability in surfaces are studied. In Part I, it was shown that graphs that are critical for embeddings into surfaces of Euler genus $k$ or for embeddings into nonorientable surface of genus $k$ are built from 3-connected components, called hoppers and cascades. In Part II, all cascades for Euler genus 2 are classified. As a consequence, the complete list of obstructions of connectivity 2 for embedding graphs into the Klein bottle is obtained.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Limiting crossing numbers for geodesic drawings on the sphere

We introduce a model for random geodesic drawings of the complete bipartite graph $K_{n,n}$ on the unit sphere $\mathbb{S}^2$ in $\mathbb{R}^3$, where we select the vertices in each bipartite class of $K_{n,n}$ with respect to two non-degenerate probability measures on $\mathbb{S}^2$. It has been proved recently that many such measures give drawings whose crossing number approximates the Zarankiewicz number (the conjectured crossing number of $K_{n,n}$). In this paper we consider the intersection graphs associated with such random drawings. We prove that for any probability measures, the resulting random intersection graphs form a convergent graph sequence in the sense of graph limits. The edge density of the limiting graphon turns out to be independent of the two measures as long as they are antipodally symmetric. However, it is shown that the triangle densities behave differently. We examine a specific random model, blow-ups of antipodal drawings $D$ of $K_{4,4}$, and show that the triangle density in the corresponding crossing graphon depends on the angles between the great circles containing the edges in $D$ and can attain any value in the interval $\bigl(\frac{83}{12288}, \frac{128}{12288}\bigr)$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Many flows in the group connectivity setting

Two well-known results in the world of nowhere-zero flows are Jaeger's 4-flow theorem asserting that every 4-edge-connected graph has a nowhere-zero $\mathbb{Z}_2 \times \mathbb{Z}_2$-flow and Seymour's 6-flow theorem asserting that every 2-edge-connected graph has a nowhere-zero $\mathbb{Z}_6$-flow. Dvořák and the last two authors of this paper extended these results by proving the existence of exponentially many nowhere-zero flows under the same assumptions. We revisit this setting and provide extensions and simpler proofs of these results. The concept of a nowhere-zero flow was extended in a significant paper of Jaeger, Linial, Payan, and Tarsi to a choosability-type setting. For a fixed abelian group $Γ$, an oriented graph $G = (V,E)$ is called $Γ$-connected if for every function $f : E \rightarrow Γ$ there is a flow $ϕ: E \rightarrow Γ$ with $ϕ(e) \neq f(e)$ for every $e \in E$ (note that taking $f = 0$ forces $ϕ$ to be nowhere-zero). Jaeger et al. proved that every oriented 3-edge-connected graph is $Γ$-connected whenever $|Γ| \ge 6$. We prove that there are exponentially many solutions whenever $|Γ| \ge 8$. For the group $\mathbb{Z}_6$ we prove that for every oriented 3-edge-connected $G = (V,E)$ with $\ell = |E| - |V| \ge 11$ and every $f: E \rightarrow \mathbb{Z}_6$, there are at least $2^{ \sqrt{\ell} / \log \ell}$ flows $ϕ$ with $ϕ(e) \neq f(e)$ for every $e \in E$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On a conjecture by Anthony Hill

In the 1950's, English painter Anthony Hill described drawings of complete graphs $K_n$ in the plane having precisely $$H(n) = \tfrac{1}{4}\lfloor \tfrac{n}{2}\rfloor \, \lfloor \tfrac{n-1}{2}\rfloor \, \lfloor \tfrac{n-2}{2}\rfloor \,\lfloor \tfrac{n-3}{2}\rfloor$$ crossings. It became a conjecture that this number is minimum possible and, despite serious efforts, the conjecture is still widely open. Another way of drawing $K_n$ with the same number of crossings was found by Blažek and Koman in 1963. In this note we provide, for the first time, a very general construction of drawings attaining the same bound. Surprisingly, the proof is extremely short and may as well qualify as a "book proof". In particular, it gives a very simple explanation of the phenomenon discovered by Moon in 1968 that a random set of $n$ points on the unit sphere $\SS^2$ in $\RR^3$ joined by geodesics gives rise to a drawing whose number of crossings asymptotically approaches the Hill value $H(n)$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On the cop number of graphs of high girth

We establish a lower bound for the cop number of graphs of high girth in terms of the minimum degree, and more generally, in terms of a certain growth condition. We show, in particular, that the cop number of any graph with girth $g$ and minimum degree $δ$ is at least $\tfrac{1}{g}(δ- 1)^{\lfloor \frac{g-1}{4}\rfloor}$. We establish similar results for directed graphs. While exposing several reasons for conjecturing that the exponent $\tfrac{1}{4}g$ in this lower bound cannot be improved to $(\tfrac{1}{4}+\varepsilon)g$, we are also able to prove that it cannot be increased beyond $\frac{3}{8}g$. This is established by considering a certain family of Ramanujan graphs. In our proof of this bound, we also show that the "weak" Meyniel's conjecture holds for expander graph families of bounded degree.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Reflexive coloring complexes for 3-edge-colorings of cubic graphs

Given a 3-colorable graph $X$, the 3-coloring complex $B(X)$ is the graph whose vertices are all the independent sets which occur as color classes in some 3-coloring of $X$. Two color classes $C,D \in V(B(X))$ are joined by an edge if $C$ and $D$ appear together in a 3-coloring of $X$. The graph $B(X)$ is 3-colorable. Graphs for which $B(B(X))$ is isomorphic to $X$ are termed reflexive graphs. In this paper, we consider 3-edge-colorings of cubic graphs for which we allow half-edges. Then we consider the 3-coloring complexes of their line graphs. The main result of the paper is a surprising outcome that the line graph of any connected cubic triangle-free outerplanar graph is reflexive. We also exhibit some other interesting classes of reflexive line graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Short rainbow cycles in graphs and matroids

Let $G$ be a simple $n$-vertex graph and $c$ be a colouring of $E(G)$ with $n$ colours, where each colour class has size at least $2$. We prove that $(G,c)$ contains a rainbow cycle of length at most $\lceil \frac{n}{2} \rceil$, which is best possible. Our result settles a special case of a strengthening of the Caccetta-Häggkvist conjecture, due to Aharoni. We also show that the matroid generalization of our main result also holds for cographic matroids, but fails for binary matroids.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The genus of complete 3-uniform hypergraphs

In 1968, Ringel and Youngs confirmed the last open case of the Heawood Conjecture by determining the genus of every complete graph $K_n$. In this paper, we investigate the minimum genus embeddings of the complete $3$-uniform hypergraphs $K_n^3$. Embeddings of a hypergraph $H$ are defined as the embeddings of its associated Levi graph $L_H$ with vertex set $V(H)\sqcup E(H)$, in which $v\in V(H)$ and $e\in E(H)$ are adjacent if and only if $v$ and $e$ are incident in $H$. We determine both the orientable and the non-orientable genus of $K_n^3$ when $n$ is even. Moreover, it is shown that the number of non-isomorphic minimum genus embeddings of $K_n^3$ is at least $2^{\frac{1}{4}n^2\log n(1-o(1))}$. The construction in the proof may be of independent interest as a design-type problem.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

A golden ratio inequality for vertex degrees of graphs

Motivated by the study of the crossing number of graphs, it is shown that, for trees, the sum of the products of the degrees of the end-vertices of all edges has an upper bound in terms of the sum of all vertex degrees to the power of $ϕ^2$, where $ϕ$ is the golden ratio. The exponent $ϕ^2$ is best possible. This inequality is generalized for all graphs with bounded maximum average degree.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

5-list-coloring planar graphs with distant precolored vertices

We answer positively the question of Albertson asking whether every planar graph can be $5$-list-colored even if it contains precolored vertices, as long as they are sufficiently far apart from each other. In order to prove this claim, we also give bounds on the sizes of graphs critical with respect to 5-list coloring. In particular, if G is a planar graph, H is a connected subgraph of G and L is an assignment of lists of colors to the vertices of G such that |L(v)| >= 5 for every v in V(G)-V(H) and G is not L-colorable, then G contains a subgraph with O(|H|^2) vertices that is not L-colorable.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Graphic TSP in cubic graphs

We present a polynomial-time 9/7-approximation algorithm for the graphic TSP for cubic graphs, which improves the previously best approximation factor of 1.3 for 2-connected cubic graphs and drops the requirement of 2-connectivity at the same time. To design our algorithm, we prove that every simple 2-connected cubic n-vertex graph contains a spanning closed walk of length at most 9n/7-1, and that such a walk can be found in polynomial time.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Minimal normal graph covers

A graph is normal if it admits a clique cover $\mathcal C$ and a stable set cover $\mathcal S$ such that each clique in $\mathcal C$ and each stable set in $\mathcal S$ have a vertex in common. The pair $(\mathcal{C,S})$ is a normal cover of the graph. We present the following extremal property of normal covers. For positive integers $c,s$, if a graph with $n$ vertices admits a normal cover with cliques of sizes at most $c$ and stable sets of sizes at most $s$, then $c+s\geq\log_2(n)$. For infinitely many $n$, we also give a construction of a graph with $n$ vertices that admits a normal cover with cliques and stable sets of sizes less than $0.87\log_2(n)$. Furthermore, we show that for all $n$, there exists a normal graph with $n$ vertices, clique number $Θ(\log_2(n))$ and independence number $Θ(\log_2(n))$. When $c$ or $s$ are very small, we can describe all normal graphs with the largest possible number of vertices that allow a normal cover with cliques of sizes at most $c$ and stable sets of sizes at most $s$. However, such extremal graphs remain elusive even for moderately small values of $c$ and $s$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Proper Orientations of Planar Bipartite Graphs

An orientation of a graph $G$ is proper if any two adjacent vertices have different indegrees. The proper orientation number $\overrightarrowχ(G)$ of a graph $G$ is the minimum of the maximum indegree, taken over all proper orientations of $G$. In this paper, we show that a connected bipartite graph may be properly oriented even if we are only allowed to control the orientation of a specific set of edges, namely, the edges of a spanning tree and all the edges incident to one of its leaves. As a consequence of this result, we prove that 3-connected planar bipartite graphs have proper orientation number at most 6. Additionally, we give a short proof that $\overrightarrowχ(G) \leq 4$, when $G$ is a tree and this proof leads to a polynomial-time algorithm to proper orient trees within this bound.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The crossing number of the cone of a graph

Motivated by a problem asked by Richter and by the long standing Harary-Hill conjecture, we study the relation between the crossing number of a graph $G$ and the crossing number of its cone $CG$, the graph obtained from $G$ by adding a new vertex adjacent to all the vertices in $G$. Simple examples show that the difference $cr(CG)-cr(G)$ can be arbitrarily large for any fixed $k=cr(G)$. In this work, we are interested in finding the smallest possible difference, that is, for each non-negative integer $k$, find the smallest $f(k)$ for which there exists a graph with crossing number at least $k$ and cone with crossing number $f(k)$. For small values of $k$, we give exact values of $f(k)$ when the problem is restricted to simple graphs, and show that $f(k)=k+Θ(\sqrt {k})$ when multiple edges are allowed.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Almost All Regular Graphs are Normal

In 1999, De Simone and Körner conjectured that every graph without induced $C_5,C_7,\overline{C}_7$ contains a clique cover $\mathcal C$ and a stable set cover $\mathcal I$ such that every clique in $\mathcal C$ and every stable set in $\mathcal I$ have a vertex in common. This conjecture has roots in information theory and became known as the Normal Graph Conjecture. Here we prove that all graphs of bounded maximum degree and sufficiently large odd girth (linear in the maximum degree) are normal. This implies that for every fixed $d$, random $d$-regular graphs are a.a.s. normal.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Hermitian adjacency matrix of digraphs and mixed graphs

The paper gives a thorough introduction to spectra of digraphs via its Hermitian adjacency matrix. This matrix is indexed by the vertices of the digraph, and the entry corresponding to an arc from $x$ to $y$ is equal to the complex unity $i$ (and its symmetric entry is $-i$) if the reverse arc $yx$ is not present. We also allow arcs in both directions and unoriented edges, in which case we use $1$ as the entry. This allows to use the definition also for mixed graphs. This matrix has many nice properties; it has real eigenvalues and the interlacing theorem holds for a digraph and its induced subdigraphs. Besides covering the basic properties, we discuss many differences from the properties of eigenvalues of undirected graphs and develop basic theory. The main novel results include the following. Several surprising facts are discovered about the spectral radius; some consequences of the interlacing property are obtained; operations that preserve the spectrum are discussed -- they give rise to an incredible number of cospectral digraphs; for every $0\leα\le\sqrt{3}$, all digraphs whose spectrum is contained in the interval $(-α,α)$ are determined.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Hermitian adjacency spectrum and switching equivalence of mixed graphs

It is shown that an undirected graph $G$ is cospectral with the Hermitian adjacency matrix of a mixed graph $D$ obtained from a subgraph $H$ of $G$ by orienting some of its edges if and only if $H=G$ and $D$ is obtained from $G$ by a four-way switching operation; if $G$ is connected, this happens if and only if $λ_1(G)=λ_1(D)$. All mixed graphs of rank 2 are determined and this is used to classify which mixed graphs of rank 2 are cospectral with respect to their Hermitian adjacency matrix. Several families of mixed graphs are found that are determined by their Hermitian spectrum in the sense that they are cospectral precisely to those mixed graphs that are switching equivalent to them.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Packing triangles in weighted graphs

Tuza conjectured that for every graph $G$, the maximum size $ν$ of a set of edge-disjoint triangles and minimum size $τ$ of a set of edges meeting all triangles satisfy $τ\leq 2ν$. We consider an edge-weighted version of this conjecture, which amounts to packing and covering triangles in multigraphs. Several known results about the original problem are shown to be true in this context, and some are improved. In particular, we answer a question of Krivelevich who proved that $τ\leq 2ν^*$ (where $ν^*$ is the fractional version of $ν$), and asked if this is tight. We prove that $τ\leq 2ν^*-\frac{1}{\sqrt{6}}\sqrt{ν^*}$ and show that this bound is essentially best possible.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Cascades and Obstructions of Low Connectivity for Embedding Graphs into the Klein Bottle

The structure of graphs with a 2-vertex-cut that are critical with respect to the Euler genus is studied. A general theorem describing the building blocks is presented. These constituents, called hoppers and cascades, are classified for the case when Euler genus is small. As a consequence, the complete list of obstructions of connectivity 2 for embedding graphs into the Klein bottle is obtained.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Large regular bipartite graphs with median eigenvalue 1

A recent result of one of the authors says that every connected subcubic bipartite graph that is not isomorphic to the Heawood graph has at least one, and in fact a positive proportion of its eigenvalues in the interval [-1,1]. We construct an infinite family of connected cubic bipartite graphs which have no eigenvalues in the open interval (-1,1), thus showing that the interval [-1,1] cannot be replaced by any smaller symmetric subinterval even when allowing any finite number of exceptions. Similar examples with vertices of larger degrees are considered and it is also shown that their eigenvalue distribution has somewhat unusual properties. By taking limits of these graphs, we obtain examples of infinite vertex-transitive r-regular graphs for every r\ge3, whose spectrum consists of points $\pm1$ together with intervals [r-2,r] and [-r,-r+2]. These examples shed some light onto a question communicated by Daniel Lenz and Matthias Keller with motivation in relation to the Baum-Connes conjecture.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Median eigenvalues and the HOMO-LUMO index of graphs

Motivated by the problem about HOMO-LUMO separation that arises in mathematical chemistry, Fowler and Pisanski introduced the notion of the HL-index which measures how large in absolute value may be the median eigenvalues of a graph. In this note we provide rather tight lower and upper bounds on the maximum value of the HL-index among all graphs with given average degree. In particular, we determine the exact value of this parameter when restricted to chemically relevant graphs, i.e.\ graphs of maximum degree $3$, and thus answer a question of Fowler and Pisanski. The proof provides additional insight about eigenvalue distribution of large subcubic graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Ordering without forbidden patterns

Let F be a set of ordered patterns, i.e., graphs whose vertices are linearly ordered. An F-free ordering of the vertices of a graph H is a linear ordering of V(H) such that none of patterns in F occurs as an induced ordered subgraph. We denote by ORD(F) the decision problem asking whether an input graph admits an F-free ordering; we also use ORD(F) to denote the class of graphs that do admit an F-free ordering. It was observed by Damaschke (and others) that many natural graph classes can be described as ORD(F) for sets F of small patterns (with three or four vertices). Damaschke also noted that for many sets F consisting of patterns with three vertices, ORD(F) is polynomial-time solvable by known algorithms or their simple modifications. We complete the picture by proving that all these problems can be solved in polynomial time. In fact, we provide a single master algorithm, i.e., we solve in polynomial time the problem $ORD_3$ in which the input is a set F of patterns with at most three vertices and a graph H, and the problem is to decide whether or not H admits an F-free ordering of the vertices. Our algorithm certifies non-membership by a forbidden substructure, and thus provides a single forbidden structure characterization for all the graph classes described by some ORD(F) with F consisting of patterns with at most three vertices. Many of the problems ORD(F) with F consisting of larger patterns have been shown to be NP-complete by Duffus, Ginn, and Rodl, and we add two simple examples. We also discuss a bipartite version of the problem, BORD(F), in which the input is a bipartite graph H with a fixed bipartition of the vertices, and we are given a set F of bipartite patterns. We also describe some examples of digraph ordering problems and algorithms. We conjecture that for every set F of forbidden patterns, ORD(F) is either polynomial or NP-complete.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Highly arc-transitive digraphs -- counterexamples and structure

We resolve two problems of [Cameron, Praeger, and Wormald -- Infinite highly arc transitive digraphs and universal covering digraphs, Combinatorica 1993]. First, we construct a locally finite highly arc-transitive digraph with universal reachability relation. Second, we provide constructions of 2-ended highly arc transitive digraphs where each `building block' is a finite bipartite graph that is not a disjoint union of complete bipartite graphs. This was conjectured impossible in the above paper. We also describe the structure of 2-ended highly arc transitive digraphs in more generality, although complete characterization remains elusive.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Integral Cayley graphs and groups

We solve two open problems regarding the classification of certain classes of Cayley graphs with integer eigenvalues. We first classify all finite groups that have a "non-trivial" Cayley graph with integer eigenvalues, thus solving a problem proposed by Abdollahi and Jazaeri. The notion of Cayley integral groups was introduced by Klotz and Sander. These are groups for which every Cayley graph has only integer eigenvalues. In the second part of the paper, all Cayley integral groups are determined.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Median eigenvalues of bipartite subcubic graphs

It is proved that the median eigenvalues of every connected bipartite graph $G$ of maximum degree at most three belong to the interval $[-1,1]$ with a single exception of the Heawood graph, whose median eigenvalues are $\pm\sqrt{2}$. Moreover, if $G$ is not isomorphic to the Heawood graph, then a positive fraction of its median eigenvalues lie in the interval $[-1,1]$. This surprising result has been motivated by the problem about HOMO-LUMO separation that arises in mathematical chemistry.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A note on forbidding clique immersions

Robertson and Seymour proved that the relation of graph immersion is well-quasi-ordered for finite graphs. Their proof uses the results of graph minors theory. Surprisingly, there is a very short proof of the corresponding rough structure theorem for graphs without $K_t$-immersions; it is based on the Gomory-Hu theorem. The same proof also works to establish a rough structure theorem for Eulerian digraphs without $\vec{K}_t$-immersions, where $\vec{K}_t$ denotes the bidirected complete digraph of order $t$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Adding one edge to planar graphs makes crossing number and 1-planarity hard

A graph is near-planar if it can be obtained from a planar graph by adding an edge. We show the surprising fact that it is NP-hard to compute the crossing number of near-planar graphs. A graph is 1-planar if it has a drawing where every edge is crossed by at most one other edge. We show that it is NP-hard to decide whether a given near-planar graph is 1-planar. The main idea in both reductions is to consider the problem of simultaneously drawing two planar graphs inside a disk, with some of its vertices fixed at the boundary of the disk. This leads to the concept of anchored embedding, which is of independent interest. As an interesting consequence we obtain a new, geometric proof of NP-completeness of the crossing number problem, even when restricted to cubic graphs. This resolves a question of Hliněný.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Integral Cayley multigraphs over Abelian and Hamiltonian groups

It is shown that a Cayley multigraph over a group $G$ with generating multiset $S$ is integral (i.e., all of its eigenvalues are integers) if $S$ lies in the integral cone over the boolean algebra generated by the normal subgroups of $G$. The converse holds in the case when $G$ is abelian. This in particular gives an alternative, character theoretic proof of a theorem of Bridges and Mena (1982). We extend this result to provide a necessary and sufficient condition for a Cayley multigraph over a Hamiltonian group to be integral, in terms of character sums and the structure of the generating set.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Spectrally degenerate graphs: Hereditary case

It is well known that the spectral radius of a tree whose maximum degree is D cannot exceed 2sqrt{D-1}. Similar upper bound holds for arbitrary planar graphs, whose spectral radius cannot exceed sqrt{8D}+10, and more generally, for all d-degenerate graphs, where the corresponding upper bound is sqrt{4dD}. Following this, we say that a graph G is spectrally d-degenerate if every subgraph H of G has spectral radius at most sqrt{d.Delta(H)}. In this paper we derive a rough converse of the above-mentioned results by proving that each spectrally d-degenerate graph G contains a vertex whose degree is at most 4dlog_2(D/d) (if D>=2d). It is shown that the dependence on D in this upper bound cannot be eliminated, as long as the dependence on d is subexponential. It is also proved that the problem of deciding if a graph is spectrally d-degenerate is co-NP-complete.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Immersing complete digraphs

We consider the problem of immersing the complete digraph on t vertices in a simple digraph. For Eulerian digraphs, we show that such an immersion always exists whenever minimum degree is at least t(t-1), and for t at most 4 minimum degree at least t-1 suffices. On the other hand, we show that there exist non-Eulerian digraphs with all vertices of arbitrarily high in- and outdegree which do not contain an immersion of the complete digraph on 3 vertices. As a side result, we obtain a construction of digraphs with large outdegree in which all cycles have odd length, simplifying a former construction of such graphs by Thomassen.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Minimal obstructions for 1-immersions and hardness of 1-planarity testing

A graph is 1-planar if it can be drawn on the plane so that each edge is crossed by no more than one other edge (and any pair of crossing edges cross only once). A non-1-planar graph $G$ is minimal if the graph $G-e$ is 1-planar for every edge $e$ of $G$. We construct two infinite families of minimal non-1-planar graphs and show that for every integer $n > 62$, there are at least $2^{(n-54)/4}$ nonisomorphic minimal non-1-planar graphs of order $n$. It is also proved that testing 1-planarity is NP-complete.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Minimum degree condition forcing complete graph immersion

An immersion of a graph $H$ into a graph $G$ is a one-to-one mapping $f:V(H) \to V(G)$ and a collection of edge-disjoint paths in $G$, one for each edge of $H$, such that the path $P_{uv}$ corresponding to edge $uv$ has endpoints $f(u)$ and $f(v)$. The immersion is strong if the paths $P_{uv}$ are internally disjoint from $f(V(H))$. It is proved that for every positive integer $t$, every simple graph of minimum degree at least $200t$ contains a strong immersion of the complete graph $K_t$. For dense graphs one can say even more. If the graph has order $n$ and has $2cn^2$ edges, then there is a strong immersion of the complete graph on at least $c^2 n$ vertices in $G$ in which each path $P_{uv}$ is of length 2. As an application of these results, we resolve a problem raised by Paul Seymour by proving that the line graph of every simple graph with average degree $d$ has a clique minor of order at least $cd^{3/2}$, where $c>0$ is an absolute constant. For small values of $t$, $1\le t\le 7$, every simple graph of minimum degree at least $t-1$ contains an immersion of $K_t$ (Lescure and Meyniel, DeVos et al.). We provide a general class of examples showing that this does not hold when $t$ is large.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Obstructions for two-vertex alternating embeddings of graphs in surfaces

A class of graphs that lies strictly between the classes of graphs of genus (at most) $k-1$ and $k$ is studied. For a fixed orientable surface $S_k$ of genus $k$, let $A_{xy}^k$ be the minor-closed class of graphs with terminals $x$ and $y$ that either embed into $S_{k-1}$ or admit an embedding $Π$ into $S_k$ such that there is a $Π$-face where $x$ and $y$ appear twice in the alternating order. In this paper, the obstructions for the classes $A_{xy}^k$ are studied. In particular, the complete list of obstructions for $A_{xy}^1$ is presented.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Small separations in vertex transitive graphs

Let $k$ be an integer. We prove a rough structure theorem for separations of order at most $k$ in finite and infinite vertex transitive graphs. Let $G = (V,E)$ be a vertex transitive graph, let $A \subseteq V$ be a finite vertex-set with $|A| \le |V|/2$ and $|\{v \in V \setminus A : {$u \sim v$ for some $u \in A$} \}|\le k$. We show that whenever the diameter of $G$ is at least $31(k+1)^2$, either $|A| \le 2k^3+k^2$, or $G$ has a ring-like structure (with bounded parameters), and $A$ is efficiently contained in an interval. This theorem may be viewed as a rough characterization, generalizing an earlier result of Tindell, and has applications to the study of product sets and expansion in groups.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Star chromatic index

The star chromatic index $χ_s'(G)$ of a graph $G$ is the minimum number of colors needed to properly color the edges of the graph so that no path or cycle of length four is bi-colored. We obtain a near-linear upper bound in terms of the maximum degree $Δ=Δ(G)$. Our best lower bound on $χ_s'$ in terms of $Δ$ is $2Δ(1+o(1))$ valid for complete graphs. We also consider the special case of cubic graphs, for which we show that the star chromatic index lies between 4 and 7 and characterize the graphs attaining the lower bound. The proofs involve a variety of notions from other branches of mathematics and may therefore be of certain independent interest.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Strengthened Brooks Theorem for digraphs of girth three

Brooks' Theorem states that a connected graph $G$ of maximum degree $Δ$ has chromatic number at most $Δ$, unless $G$ is an odd cycle or a complete graph. A result of Johansson (1996) shows that if $G$ is triangle-free, then the chromatic number drops to $O(Δ/ \log Δ)$. In this paper, we derive a weak analog for the chromatic number of digraphs. We show that every (loopless) digraph $D$ without directed cycles of length two has chromatic number $χ(D) \leq (1-e^{-13}) \tildeΔ$, where $\tildeΔ$ is the maximum geometric mean of the out-degree and in-degree of a vertex in $D$, when $\tildeΔ$ is sufficiently large. As a corollary it is proved that there exists an absolute constant $α< 1$ such that $χ(D) \leq α(\tildeΔ + 1)$ for every $\tildeΔ > 2$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Two results on the digraph chromatic number

It is known (Bollobás (1978); Kostochka and Mazurova (1977)) that there exist graphs of maximum degree $Δ$ and of arbitrarily large girth whose chromatic number is at least $c Δ/ \log Δ$. We show an analogous result for digraphs where the chromatic number of a digraph $D$ is defined as the minimum integer $k$ so that $V(D)$ can be partitioned into $k$ acyclic sets, and the girth is the length of the shortest cycle in the corresponding undirected graph. It is also shown, in the same vein as an old result of Erdos (1962), that there are digraphs with arbitrarily large chromatic number where every large subset of vertices is 2-colorable.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A strengthening and a multipartite generalization of the Alon-Boppana-Serre Theorem

The Alon-Boppana theorem confirms that for every $ε>0$ and every integer $d\ge3$, there are only finitely many $d$-regular graphs whose second largest eigenvalue is at most $2\sqrt{d-1}-ε$. Serre gave a strengthening showing that a positive proportion of eigenvalues of any $d$-regular graph must be bigger than $2\sqrt{d-1}-ε$. We provide a multipartite version of this result. Our proofs are elementary and work also in the case when graphs are not regular. In the simplest, monopartite case, our result extends the Alon-Boppana-Serre result to non-regular graphs of minimum degree $d$ and bounded maximum degree. The two-partite result shows that for every $ε>0$ and any positive integers $d_1,d_2,d$, every $n$-vertex graph of maximum degree at most $d$, whose vertex set is the union of (not necessarily disjoint) subsets $V_1,V_2$, such that every vertex in $V_i$ has at least $d_i$ neighbors in $V_{3-i}$ for $i=1,2$, has $Ω_ε(n)$ eigenvalues that are larger than $\sqrt{d_1-1}+\sqrt{d_2-1}-ε$. Finally, we strengthen the Alon-Boppana-Serre theorem by showing that the lower bound $2\sqrt{d-1}-ε$ can be replaced by $2\sqrt{d-1} + δ$ for some $δ>0$ if graphs have bounded "global girth". On the other side of the spectrum, if the odd girth is large, then we get an Alon-Boppana-Serre type theorem for the negative eigenvalues as well.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

An Eberhard-like theorem for pentagons and heptagons

Eberhard proved that for every sequence $(p_k), 3\le k\le r, k\ne 5,7$ of non-negative integers satisfying Euler's formula $\sum_{k\ge3} (6-k) p_k = 12$, there are infinitely many values $p_6$ such that there exists a simple convex polyhedron having precisely $p_k$ faces of length $k$ for every $k\ge3$, where $p_k=0$ if $k>r$. In this paper we prove a similar statement when non-negative integers $p_k$ are given for $3\le k\le r$, except for $k=5$ and $k=7$. We prove that there are infinitely many values $p_5,p_7$ such that there exists a simple convex polyhedron having precisely $p_k$ faces of length $k$ for every $k\ge3$. %, where $p_k=0$ if $k>r$. We derive an extension to arbitrary closed surfaces, yielding maps of arbitrarily high face-width. Our proof suggests a general method for obtaining results of this kind.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Asymptotic enumeration and limit laws for graphs of fixed genus

It is shown that the number of labelled graphs with n vertices that can be embedded in the orientable surface S_g of genus g grows asymptotically like $c^{(g)}n^{5(g-1)/2-1}γ^n n!$ where $c^{(g)}>0$, and $γ\approx 27.23$ is the exponential growth rate of planar graphs. This generalizes the result for the planar case g=0, obtained by Gimenez and Noy. An analogous result for non-orientable surfaces is obtained. In addition, it is proved that several parameters of interest behave asymptotically as in the planar case. It follows, in particular, that a random graph embeddable in S_g has a unique 2-connected component of linear size with high probability.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Kempe equivalence of edge-colourings in subcubic and subquartic graphs

It is proved that all 4-edge-colourings of a (sub)cubic graph are Kempe equivalent. This resolves a conjecture of the second author. In fact, it is found that the maximum degree Delta=3 is a threshold for Kempe equivalence of (Delta+1)-edge-colourings, as such an equivalence does not hold in general when Delta=4. One extra colour allows a similar result in this latter case however, namely, when Delta<=4 it is shown that all (Delta+2)-edge-colourings are Kempe equivalent.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Local chromatic number of quadrangulations of surfaces

The local chromatic number of a graph was introduced by Erdős et al. [4]. In [17] a connection to topological properties of (a box complex of) the graph was established and in [18] it was shown that if a graph is strongly topologically 4-chromatic then its local chromatic number is at least four. As a consequence one obtains a generalization of the following theorem of Youngs: If a quadrangulation of the projective plane is not bipartite it has chromatic number four. The generalization states that in this case the local chromatic number is also four. Both papers [1] and [13] generalize Youngs's result to arbitrary non-orientable surfaces replacing the condition of the graph being not bipartite by a more technical condition of an odd quadrangulation. This paper investigates when these general results are true for the local chromatic number instead of the chromatic number. Surprisingly, we find out that (unlike in the case of the chromatic number) this depends on the genus of the surface. For the non-orientable surfaces of genus at most four, the local chromatic number of any odd quadrangulation is at least four, but this is not true for non-orientable surfaces of genus 5 or higher. We also prove that face subdivisions of odd quadrangulations and Fisk triangulations of arbitrary surfaces exhibit the same behavior for the local chromatic number as they do for the usual chromatic number.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

A new Kempe invariant and the (non)-ergodicity of the Wang-Swendsen-Kotecky algorithm

We prove that for the class of three-colorable triangulations of a closed oriented surface, the degree of a four-coloring modulo 12 is an invariant under Kempe changes. We use this general result to prove that for all triangulations T(3L,3M) of the torus with 3<= L <= M, there are at least two Kempe equivalence classes. This result implies in particular that the Wang-Swendsen-Kotecky algorithm for the zero-temperature 4-state Potts antiferromagnet on these triangulations T(3L,3M) of the torus is not ergodic.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Crossing-critical graphs with large maximum degree

A conjecture of Richter and Salazar about graphs that are critical for a fixed crossing number $k$ is that they have bounded bandwidth. A weaker well-known conjecture of Richter is that their maximum degree is bounded in terms of $k$. In this note we disprove these conjectures for every $k\ge 171$, by providing examples of $k$-crossing-critical graphs with arbitrarily large maximum degree.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Spectral radius of finite and infinite planar graphs and of graphs of bounded genus

It is well known that the spectral radius of a tree whose maximum degree is $D$ cannot exceed $2\sqrt{D-1}$. In this paper we derive similar bounds for arbitrary planar graphs and for graphs of bounded genus. It is proved that a the spectral radius $ρ(G)$ of a planar graph $G$ of maximum vertex degree $D\ge 4$ satisfies $\sqrt{D}\le ρ(G)\le \sqrt{8D-16}+7.75$. This result is best possible up to the additive constant--we construct an (infinite) planar graph of maximum degree $D$, whose spectral radius is $\sqrt{8D-16}$. This generalizes and improves several previous results and solves an open problem proposed by Tom Hayes. Similar bounds are derived for graphs of bounded genus. For every $k$, these bounds can be improved by excluding $K_{2,k}$ as a subgraph. In particular, the upper bound is strengthened for 5-connected graphs. All our results hold for finite as well as for infinite graphs. At the end we enhance the graph decomposition method introduced in the first part of the paper and apply it to tessellations of the hyperbolic plane. We derive bounds on the spectral radius that are close to the true value, and even in the simplest case of regular tessellations of type $\{p,q\}$ we derive an essential improvement over known results, obtaining exact estimates in the first order term and non-trivial estimates for the second order asymptotics.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Strong embeddings of minimum genus

A "folklore conjecture, probably due to Tutte" (as described in [P.D. Seymour, Sums of circuits, Graph theory and related topics (Proc. Conf., Univ. Waterloo, 1977), pp. 341-355, Academic Press, 1979]) asserts that every bridgeless cubic graph can be embedded on a surface of its own genus in such a way that the face boundaries are cycles of the graph. In this paper we consider closed 2-cell embeddings of graphs and show that certain (cubic) graphs (of any fixed genus) have closed 2-cell embedding only in surfaces whose genus is very large (proportional to the order of these graphs), thus providing plethora of strong counterexamples to the above conjecture. The main result yielding such counterexamples may be of independent interest.

0 citations0 reviewsNo code linkedOpen access