We investigate topological realizations of higher-rank graphs. We show that the fundamental group of a higher-rank graph coincides with the fundamental group of its topological realization. We also show that topological realization of higher-rank graphs is a functor and that for each higher-rank graph Λ, this functor determines a category equivalence between the category of coverings of Λ and the category of coverings of its topological realization. We discuss how topological realization relates to two standard constructions for k-graphs: projective limits and crossed products by finitely generated free abelian groups.

The classical first and second Zagreb indices of a graph $G$ are defined as $M_{1}(G)=\sum _{v\in V(G)}d(v)^{2}$ and $M_{2}(G)=\sum _{e=uv\in E(G)}d(u)d(v),$ where $d(v)$ is the degree of the vertex $v$ of $G.$ Recently, Furtula et al. [‘On difference of Zagreb indices’, Discrete Appl. Math.178 (2014), 83–88] studied the difference of $M_{1}$ and $M_{2},$ and showed that this difference is closely related to the vertex-degree-based invariant $RM_{2}(G)=\sum _{e=uv\in E(G)}[d(u)-1][d(v)-1]$, the reduced second Zagreb index. In this paper, we present sharp bounds for the reduced second Zagreb index, given the matching number, independence number and vertex connectivity, and we also completely determine the extremal graphs.

The (usual) Caldero–Chapoton map is a map from the set of objects of a category to a Laurent polynomial ring over the integers. In the case of a cluster category, it maps reachable indecomposable objects to the corresponding cluster variables in a cluster algebra. This formalizes the idea that the cluster category is a categorification of the cluster algebra. The definition of the Caldero–Chapoton map requires the category to be 2-Calabi-Yau, and the map depends on a cluster-tilting object in the category. We study a modified version of the Caldero–Chapoton map which requires only that the category have a Serre functor and depends only on a rigid object in the category. It is well known that the usual Caldero–Chapoton map gives rise to so-called friezes, for instance, Conway–Coxeter friezes. We show that the modified Caldero–Chapoton map gives rise to what we call generalized friezes and that, for cluster categories of Dynkin type A, it recovers the generalized friezes introduced by combinatorial means in recent work by the authors and Bessenrodt.

We deal with a random graph model evolving in discrete time steps by duplicating and deleting the edges of randomly chosen vertices. We prove the existence of an almost surely asymptotic degree distribution, with stretched exponential decay; more precisely, the proportion of vertices of degree d tends to some positive number c d > 0 almost surely as the number of steps goes to ∞, and c d ~ (eπ)1/2 d 1/4e-2√d holds as d → ∞.

In this paper we investigate first passage percolation on an inhomogeneous random graph model introduced by Bollobás et al. (2007). Each vertex in the graph has a type from a type space, and edge probabilities are independent, but depend on the types of the end vertices. Each edge is given an independent exponential weight. We determine the distribution of the weight of the shortest path between uniformly chosen vertices in the giant component and show that the hopcount, i.e. the number of edges on this minimal-weight path, properly normalized, follows a central limit theorem. We handle the cases where the average number of neighbors λ̃n of a vertex tends to a finite λ̃ in full generality and consider λ̃ = ∞ under mild assumptions. This paper is a generalization of the paper of Bhamidi et al. (2011), where first passage percolation is explored on the Erdős-Rényi graphs.

We consider Euclidean first passage percolation on a large family of connected random geometric graphs in the d-dimensional Euclidean space encompassing various well-known models from stochastic geometry. In particular, we establish a strong linear growth property for shortest-path lengths on random geometric graphs which are generated by point processes. We consider the event that the growth of shortest-path lengths between two (end) points of the path does not admit a linear upper bound. Our linear growth property implies that the probability of this event tends to zero sub-exponentially fast if the direct (Euclidean) distance between the endpoints tends to infinity. Besides, for a wide class of stationary and isotropic random geometric graphs, our linear growth property implies a shape theorem for the Euclidean first passage model defined by such random geometric graphs. Finally, this shape theorem can be used to investigate a problem which is considered in structural analysis of fixed-access telecommunication networks, where we determine the limiting distribution of the length of the longest branch in the shortest-path tree extracted from a typical segment system if the intensity of network stations converges to 0.

Vertices arrive sequentially in space and are joined to existing vertices at random according to a preferential rule combining degree and spatial proximity. We investigate phase transitions in the resulting graph as the relative strengths of these two components of the attachment rule are varied.

Previous work of one of the authors showed that when the geometric component is weak, the limiting degree sequence mimics the standard Barabási-Albert preferential attachment model. We show that at the other extreme, in the case of a sufficiently strong geometric component, the limiting degree sequence mimics a purely geometric model, the on-line nearest-neighbour graph, for which we prove some extensions of known results. We also show the presence of an intermediate regime, with behaviour distinct from both the on-line nearest-neighbour graph and the Barabási-Albert model; in this regime, we obtain a stretched exponential upper bound on the degree sequence.

Let $\mathbb{A}=(A,+)$ be a (possibly non-commutative) semigroup. For $Z\subseteq A$, we define $Z^{\times }:=Z\cap \mathbb{A}^{\times }$, where $\mathbb{A}^{\times }$ is the set of the units of $\mathbb{A}$ and

$$\begin{eqnarray}{\it\gamma}(Z):=\sup _{z_{0}\in Z^{\times }}\inf _{z_{0}\neq z\in Z}\text{\text{ord}}(z-z_{0}).\end{eqnarray}$$

${\it\gamma}(\cdot )$

$\mathbb{A}$

$X,Y\subseteq A$

$$\begin{eqnarray}|X+Y|\geqslant \min ({\it\gamma}(X+Y),|X|+|Y|-1).\end{eqnarray}$$

$\mathbb{A}$

${\it\gamma}(X+Y)$

$|S|$

$S$

$\mathbb{A}$

For two given graphs $G_{1}$ and $G_{2}$, the Ramsey number $R(G_{1},G_{2})$ is the smallest integer $N$ such that, for any graph $G$ of order $N$, either $G$ contains $G_{1}$ as a subgraph or the complement of $G$ contains $G_{2}$ as a subgraph. A fan $F_{l}$ is $l$ triangles sharing exactly one vertex. In this note, it is shown that $R(F_{n},F_{m})=4n+1$ for $n\geq \max \{m^{2}-m/2,11m/2-4\}$.

Let $X$ be a simple, connected, $p$-valent, $G$-arc-transitive graph, where the subgroup $G\leq \text{Aut}(X)$ is solvable and $p\geq 3$ is a prime. We prove that $X$ is a regular cover over one of the three possible types of graphs with semi-edges. This enables short proofs of the facts that $G$ is at most 3-arc-transitive on $X$ and that its edge kernel is trivial. For pentavalent graphs, two further applications are given: all $G$-basic pentavalent graphs admitting a solvable arc-transitive group are constructed and an example of a non-Cayley graph of this kind is presented.

Dyadic shifts $D\oplus T$ of point distributions $D$ in the $d$-dimensional unit cube $U^{d}$ are considered as a form of randomization. Explicit formulas for the $L_{q}$-discrepancies of such randomized distributions are given in the paper in terms of Rademacher functions. Relying on the statistical independence of Rademacher functions, Khinchin’s inequalities, and other related results, we obtain very sharp upper and lower bounds for the mean $L_{q}$-discrepancies, $0<q\leqslant \infty$. The upper bounds imply directly a generalization of the well-known Chen theorem on mean discrepancies with respect to dyadic shifts (Theorem 2.1). From the lower bounds, it follows that for an arbitrary $N$-point distribution $D_{N}$ and any exponent $0<q\leqslant 1$, there exist dyadic shifts $D_{N}\oplus T$ such that the $L_{q}$-discrepancy ${\mathcal{L}}_{q}[D_{N}\oplus T]>c_{d,q}(\log N)^{(1/2)(d-1)}$ (Theorem 2.2). The lower bounds for the $L_{\infty }$-discrepancy are also considered in the paper. It is shown that for an arbitrary $N$-point distribution $D_{N}$, there exist dyadic shifts $D_{N}\oplus T$ such that ${\mathcal{L}}_{\infty }[D_{N}\oplus T]>c_{d}(\log N)^{(1/2)d}$ (Theorem 2.3).

Lladó and Moragas [‘Cycle-magic graphs’, Discrete Math.307 (2007), 2925–2933] showed the cyclic-magic and cyclic-supermagic behaviour of several classes of connected graphs. They discussed cycle-magic labellings of subdivided wheels and friendship graphs, but there are no further results on cycle-magic labellings of other families of subdivided graphs. In this paper, we find cycle-magic labellings for subdivided graphs. We show that if a graph has a cycle-(super)magic labelling, then its uniform subdivided graph also has a cycle-(super)magic labelling. We also discuss some cycle-supermagic labellings for nonuniform subdivided fans and triangular ladders.

The total irregularity of a simple undirected graph $G$ is defined as $\text{irr}_{t}(G)=\frac{1}{2}\sum _{u,v\in V(G)}|d_{G}(u)-d_{G}(v)|$, where $d_{G}(u)$ denotes the degree of a vertex $u\in V(G)$. Obviously, $\text{irr}_{t}(G)=0$ if and only if $G$ is regular. Here, we characterise the nonregular graphs with minimal total irregularity and thereby resolve the recent conjecture by Zhu et al. [‘The minimal total irregularity of graphs’, Preprint, 2014, arXiv:1404.0931v1 ] about the lower bound on the minimal total irregularity of nonregular connected graphs. We show that the conjectured lower bound of $2n-4$ is attained only if nonregular connected graphs of even order are considered, while the sharp lower bound of $n-1$ is attained by graphs of odd order. We also characterise the nonregular graphs with the second and the third smallest total irregularity.

This paper addresses the following question for a given graph H: What is the minimum number f(H) such that every graph with average degree at least f(H) contains H as a minor? Due to connections with Hadwiger's conjecture, this question has been studied in depth when H is a complete graph. Kostochka and Thomason independently proved that $f(K_t)=ct\sqrt{\ln t}$ . More generally, Myers and Thomason determined f(H) when H has a super-linear number of edges. We focus on the case when H has a linear number of edges. Our main result, which complements the result of Myers and Thomason, states that if H has t vertices and average degree d at least some absolute constant, then $f(H)\leq 3.895\sqrt{\ln d}\,t$ . Furthermore, motivated by the case when H has small average degree, we prove that if H has t vertices and q edges, then f(H) ⩽ t + 6.291q (where the coefficient of 1 in the t term is best possible).

In this paper, we combine group-theoretic and combinatorial techniques to study $\wedge$-transitive digraphs admitting a cartesian decomposition of their vertex set. In particular, our approach uncovers a new family of digraphs that may be of considerable interest.

Let h > w > 0 be two fixed integers. Let H be a random hypergraph whose hyperedges are all of cardinality h. To w-orient a hyperedge, we assign exactly w of its vertices positive signs with respect to the hyperedge, and the rest negative signs. A (w,k)-orientation of H consists of a w-orientation of all hyperedges of H, such that each vertex receives at most k positive signs from its incident hyperedges. When k is large enough, we determine the threshold of the existence of a (w,k)-orientation of a random hypergraph. The (w,k)-orientation of hypergraphs is strongly related to a general version of the off-line load balancing problem. The graph case, when h = 2 and w = 1, was solved recently by Cain, Sanders and Wormald and independently by Fernholz and Ramachandran. This settled a conjecture of Karp and Saks.

In [1], the authors consider a random walk (Z n,1, . . ., Z n,K+1) ∈ ${\mathbb{Z}}$ K+1 with the constraint that each coordinate of the walk is at distance one from the following coordinate. A functional central limit theorem for the first coordinate is proved and the limit variance is explicited. In this paper, we study an extended version of this model by conditioning the extremal coordinates to be at some fixed distance at every time. We prove a functional central limit theorem for this random walk. Using combinatorial tools, we give a precise formula of the variance and compare it with that obtained in [1].

Let $\mathcal{F}$ be a family of r-uniform hypergraphs. The chromatic threshold of $\mathcal{F}$ is the infimum of all non-negative reals c such that the subfamily of $\mathcal{F}$ comprising hypergraphs H with minimum degree at least $c \binom{| V(H) |}{r-1}$ has bounded chromatic number. This parameter has a long history for graphs (r = 2), and in this paper we begin its systematic study for hypergraphs.

Łuczak and Thomassé recently proved that the chromatic threshold of the so-called near bipartite graphs is zero, and our main contribution is to generalize this result to r-uniform hypergraphs. For this class of hypergraphs, we also show that the exact Turán number is achieved uniquely by the complete (r + 1)-partite hypergraph with nearly equal part sizes. This is one of very few infinite families of non-degenerate hypergraphs whose Turán number is determined exactly. In an attempt to generalize Thomassen's result that the chromatic threshold of triangle-free graphs is 1/3, we prove bounds for the chromatic threshold of the family of 3-uniform hypergraphs not containing {abc, abd, cde}, the so-called generalized triangle.

In order to prove upper bounds we introduce the concept of fibre bundles, which can be thought of as a hypergraph analogue of directed graphs. This leads to the notion of fibre bundle dimension, a structural property of fibre bundles that is based on the idea of Vapnik–Chervonenkis dimension in hypergraphs. Our lower bounds follow from explicit constructions, many of which use a hypergraph analogue of the Kneser graph. Using methods from extremal set theory, we prove that these Kneser hypergraphs have unbounded chromatic number. This generalizes a result of Szemerédi for graphs and might be of independent interest. Many open problems remain.

‘Small worlds’ are large systems in which any given node has only a few connections to other points, but possessing the property that all pairs of points are connected by a short path, typically logarithmic in the number of nodes. The use of random walks for sampling a uniform element from a large state space is by now a classical technique; to prove that such a technique works for a given network, a bound on the mixing time is required. However, little detailed information is known about the behaviour of random walks on small-world networks, though many predictions can be found in the physics literature. The principal contribution of this paper is to show that for a famous small-world random graph model known as the Newman-Watts small-world model, the mixing time is of order log2 n. This confirms a prediction of Richard Durrett [5, page 22], who proved a lower bound of order log2 n and an upper bound of order log3 n.

Given a connected regular graph $G$, let $l(G)$ be its line graph, $s(G)$ its subdivision graph, $r(G)$ the graph obtained from $G$ by adding a new vertex corresponding to each edge of $G$ and joining each new vertex to the end vertices of the corresponding edge and $q(G)$ the graph obtained from $G$ by inserting a new vertex into every edge of $G$ and new edges joining the pairs of new vertices which lie on adjacent edges of $G$. A formula for the normalised Laplacian characteristic polynomial of $l(G)$ (respectively $s(G),r(G)$ and $q(G)$) in terms of the normalised Laplacian characteristic polynomial of $G$ and the number of vertices and edges of $G$ is developed and used to give a sharp lower bound for the degree-Kirchhoff index and a formula for the number of spanning trees of $l(G)$ (respectively $s(G),r(G)$ and $q(G)$).