Preferential attachment is a widely adopted paradigm for understanding the dynamics of social networks. Formal statistical inference, for instance GLM techniques, and model-verification methods will require knowing test statistics are asymptotically normal even though node- or count-based network data are nothing like classical data from independently replicated experiments. We therefore study asymptotic normality of degree counts for a sequence of growing simple undirected preferential attachment graphs. The methods of proof rely on identifying martingales and then exploiting the martingale central limit theorems.

Let $L$ be a countable language. We say that a countable infinite $L$ -structure ${\mathcal{M}}$ admits an invariant measure when there is a probability measure on the space of $L$ -structures with the same underlying set as ${\mathcal{M}}$ that is invariant under permutations of that set, and that assigns measure one to the isomorphism class of ${\mathcal{M}}$ . We show that ${\mathcal{M}}$ admits an invariant measure if and only if it has trivial definable closure, that is, the pointwise stabilizer in $\text{Aut}({\mathcal{M}})$ of an arbitrary finite tuple of ${\mathcal{M}}$ fixes no additional points. When ${\mathcal{M}}$ is a Fraïssé limit in a relational language, this amounts to requiring that the age of ${\mathcal{M}}$ have strong amalgamation. Our results give rise to new instances of structures that admit invariant measures and structures that do not.

We generalize Brooks’ theorem to show that if $G$ is a Borel graph on a standard Borel space $X$ of degree bounded by $d\geqslant 3$ which contains no $(d+1)$ -cliques, then $G$ admits a ${\it\mu}$ -measurable $d$ -coloring with respect to any Borel probability measure ${\it\mu}$ on $X$ , and a Baire measurable $d$ -coloring with respect to any compatible Polish topology on $X$ . The proof of this theorem uses a new technique for constructing one-ended spanning subforests of Borel graphs, as well as ideas from the study of list colorings. We apply the theorem to graphs arising from group actions to obtain factor of IID $d$ -colorings of Cayley graphs of degree $d$ , except in two exceptional cases.

Let Dk denote the tournament on 3k vertices consisting of three disjoint vertex classes V 1, V 2 and V 3 of size k, each oriented as a transitive subtournament, and with edges directed from V 1 to V 2, from V 2 to V 3 and from V 3 to V 1. Fox and Sudakov proved that given a natural number k and ε > 0, there is n 0(k, ε) such that every tournament of order n ⩾ n 0(k,ε) which is ε-far from being transitive contains Dk as a subtournament. Their proof showed that $n_0(k,\epsilon ) \leq \epsilon ^{-O(k/\epsilon ^2)}$ and they conjectured that this could be reduced to n 0(k, ε) ⩽ ε−O(k). Here we prove this conjecture.

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.

This paper investigates topological reconstruction, related to the reconstruction conjecture in graph theory. We ask whether the homeomorphism types of subspaces of a space X which are obtained by deleting singletons determine X uniquely up to homeomorphism. If the question can be answered affirmatively, such a space is called reconstructible. We prove that in various cases topological properties can be reconstructed. As main result we find that familiar spaces such as the reals ℝ, the rationals ℚ and the irrationals ℙ are reconstructible, as well as spaces occurring as Stone–Čech compactifications. Moreover, some non-reconstructible spaces are discovered, amongst them the Cantor set C.

In their recent paper Velleman and Warrington (2013) analyzed the expected values of some of the parameters in a memory game; namely, the length of the game, the waiting time for the first match, and the number of lucky moves. In this paper we continue this direction of investigation and obtain the limiting distributions of those parameters. More specifically, we prove that when suitably normalized, these quantities converge in distribution to a normal, Rayleigh, and Poisson random variable, respectively. We also make a connection between the memory game and one of the models of preferential attachment graphs. In particular, as a by-product of our methods, we obtain the joint asymptotic normality of the degree counts in the preferential attachment graphs. Furthermore, we obtain simpler proofs (although without rate of convergence) of some of the results of Peköz et al. (2014) on the joint limiting distributions of the degrees of the first few vertices in preferential attachment graphs. In order to prove that the length of the game is asymptotically normal, our main technical tool is a limit result for the joint distribution of the number of balls in a multitype generalized Pólya urn model.

We consider a directed graph on the integers with a directed edge from vertex i to j present with probability n-1, whenever i < j, independently of all other edges. Moreover, to each edge (i, j) we assign weight n-1(j - i). We show that the closure of vertex 0 in such a weighted random graph converges in distribution to the Poisson-weighted infinite tree as n → ∞. In addition, we derive limit theorems for the length of the longest path in the subgraph of the Poisson-weighted infinite tree which has all vertices at weighted distance of at most ρ from the root.

We show that certain topologically defined uniform spanning tree probabilities for graphs embedded in an annulus can be computed as linear combinations of Pfaffians of matrices involving the line-bundle Green's function, where the coefficients count cover-inclusive Dyck tilings of skew Young diagrams.

We investigate properties which ensure that a given finite graph is the commuting graph of a group or semigroup. We show that all graphs on at least two vertices such that no vertex is adjacent to all other vertices is the commuting graph of some semigroup. Moreover, we obtain complete classifications of the graphs with an isolated vertex or edge that are the commuting graph of a group and the cycles that are the commuting graph of a centrefree semigroup.

We consider the problem of minimizing the number of triangles in a graph of given order and size, and describe the asymptotic structure of extremal graphs. This is achieved by characterizing the set of flag algebra homomorphisms that minimize the triangle density.

A long-standing conjecture of Richter and Thomassen states that the total number of intersection points between any n simple closed Jordan curves in the plane, so that any pair of them intersect and no three curves pass through the same point, is at least (1−o(1))n 2.

We confirm the above conjecture in several important cases, including the case (1) when all curves are convex, and (2) when the family of curves can be partitioned into two equal classes such that each curve from the first class touches every curve from the second class. (Two closed or open curves are said to be touching if they have precisely one point in common and at this point the two curves do not properly cross.)

An important ingredient of our proofs is the following statement. Let S be a family of n open curves in ℝ2, so that each curve is the graph of a continuous real function defined on ℝ, and no three of them pass through the same point. If there are nt pairs of touching curves in S, then the number of crossing points is $\Omega(nt\sqrt{\log t/\log\log t})$ .

Random increasing k-trees represent an interesting and useful class of strongly dependent graphs that have been studied widely, including being used recently as models for complex networks. In this paper we study an informative notion called BFS-profile and derive, by several analytic means, asymptotic estimates for its expected value, together with the limiting distribution in certain cases; some interesting consequences predicting more precisely the shapes of random k-trees are also given. Our methods of proof rely essentially on a bijection between k-trees and ordinary trees, the resolution of linear systems, and a specially framed notion called Flajolet–Odlyzko admissibility.

We present a sufficient condition for a pair of finite integer sequences to be degree sequences of a bipartite graph, based only on the lengths of the sequences and their largest and smallest elements.

We show that, for each fixed k, an n-vertex graph not containing a cycle of length 2k has at most $80\sqrt{k\log k}\cdot n^{1+1/k}+O(n)$ edges.

A simple graph $G=(V,E)$ admits an $H$ -covering if every edge in $E$ belongs to at least one subgraph of $G$ isomorphic to a given graph $H$ . Then the graph $G$ is $(a,d)$ - $H$ -antimagic if there exists a bijection $f:V\cup E\rightarrow \{1,2,\ldots ,|V|+|E|\}$ such that, for all subgraphs $H^{\prime }$ of $G$ isomorphic to $H$ , the $H^{\prime }$ -weights, $wt_{f}(H^{\prime })=\sum _{v\in V(H^{\prime })}f(v)+\sum _{e\in E(H^{\prime })}f(e)$ , form an arithmetic progression with the initial term $a$ and the common difference $d$ . When $f(V)=\{1,2,\ldots ,|V|\}$ , then $G$ is said to be super $(a,d)$ - $H$ -antimagic. In this paper, we study super $(a,d)$ - $H$ -antimagic labellings of a disjoint union of graphs for $d=|E(H)|-|V(H)|$ .

Let Qd denote the hypercube of dimension d. Given d ⩾ m, a spanning subgraph G of Qd is said to be (Qd , Qm )-saturated if it does not contain Qm as a subgraph but adding any edge of E(Qd )\E(G) creates a copy of Qm in G. Answering a question of Johnson and Pinto [27], we show that for every fixed m ⩾ 2 the minimum number of edges in a (Qd , Qm )-saturated graph is Θ(2d ).

We also study weak saturation, which is a form of bootstrap percolation. A spanning subgraph of Qd is said to be weakly (Qd , Qm )-saturated if the edges of E(Qd )\E(G) can be added to G one at a time so that each added edge creates a new copy of Qm . Answering another question of Johnson and Pinto [27], we determine the minimum number of edges in a weakly (Qd , Qm )-saturated graph for all d ⩾ m ⩾ 1. More generally, we determine the minimum number of edges in a subgraph of the d-dimensional grid Pkd which is weakly saturated with respect to ‘axis aligned’ copies of a smaller grid Prm . We also study weak saturation of cycles in the grid.

If n ⩾ k + 1 and G is a connected n-vertex graph, then one can add $\binom{k}{2}$ edges to G so that the resulting graph contains the complete graph K k+1. This yields that for any connected graph G with at least k + 1 vertices, one can add $\binom{k}{2}$ edges to G so that the resulting graph has chromatic number > k. A long time ago, Bollobás suggested that for every k ⩾ 3 there exists a k-chromatic graph Gk such that after adding to it any $\binom{k}{2}$ − 1 edges, the chromatic number of the resulting graph is still k. In this note we prove this conjecture.

This paper contributes to the regular covers of a complete bipartite graph minus a matching, denoted $K_{n,n}-nK_{2}$ , whose fiber-preserving automorphism group acts 2-arc-transitively. All such covers, when the covering transformation group $K$ is either cyclic or $\mathbb{Z}_{p}^{2}$ with $p$ a prime, have been determined in Xu and Du [‘2-arc-transitive cyclic covers of $K_{n,n}-nK_{2}$ ’, J. Algebraic Combin.39 (2014), 883–902] and Xu et al. [‘2-arc-transitive regular covers of $K_{n,n}-nK_{2}$ with the covering transformation group $\mathbb{Z}_{p}^{2}$ ’, Ars. Math. Contemp.10 (2016), 269–280]. Finally, this paper gives a classification of all such covers for $K\cong \mathbb{Z}_{p}^{3}$ with $p$ a prime.