To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
A diregular bipartite tournament is a balanced complete bipartite graph whose edges are oriented so that every vertex has the same in- and out-degree. In 1981 Jackson showed that a diregular bipartite tournament contains a Hamilton cycle, and conjectured that in fact its edge set can be partitioned into Hamilton cycles. We prove an approximate version of this conjecture: for every ε > 0 there exists n0 such that every diregular bipartite tournament on 2n ≥ n0 vertices contains a collection of (1/2–ε)n cycles of length at least (2–ε)n. Increasing the degree by a small proportion allows us to prove the existence of many Hamilton cycles: for every c > 1/2 and ε > 0 there exists n0 such that every cn-regular bipartite digraph on 2n ≥ n0 vertices contains (1−ε)cn edge-disjoint Hamilton cycles.
We prove Bogolyubov–Ruzsa-type results for finite subsets of groups with small tripling, |A3| ≤ O(|A|), or small alternation, |AA−1A| ≤ O(|A|). As applications, we obtain a qualitative analogue of Bogolyubov’s lemma for dense sets in arbitrary finite groups, as well as a quantitative arithmetic regularity lemma for sets of bounded VC-dimension in finite groups of bounded exponent. The latter result generalizes the abelian case, due to Alon, Fox and Zhao, and gives a quantitative version of previous work of the author, Pillay and Terry.
Monotonic surfaces spanning finite regions of ℤd arise in many contexts, including DNA-based self-assembly, card-shuffling and lozenge tilings. One method that has been used to uniformly generate these surfaces is a Markov chain that iteratively adds or removes a single cube below the surface during a step. We consider a biased version of the chain, where we are more likely to add a cube than to remove it, thereby favouring surfaces that are ‘higher’ or have more cubes below it. We prove that the chain is rapidly mixing for any uniform bias in ℤ2 and for bias λ > d in ℤd when d > 2. In ℤ2 we match the optimal mixing time achieved by Benjamini, Berger, Hoffman and Mossel in the context of biased card shuffling [2], but using much simpler arguments. The proofs use a geometric distance function and a variant of path coupling in order to handle distances that can be exponentially large. We also provide the first results in the case of fluctuating bias, where the bias can vary depending on the location of the tile. We show that the chain continues to be rapidly mixing if the biases are close to uniform, but that the chain can converge exponentially slowly in the general setting.
Let $\{D_M\}_{M\geq 0}$ be the n-vertex random directed graph process, where $D_0$ is the empty directed graph on n vertices, and subsequent directed graphs in the sequence are obtained by the addition of a new directed edge uniformly at random. For each $$\varepsilon> 0$$, we show that, almost surely, any directed graph $D_M$ with minimum in- and out-degree at least 1 is not only Hamiltonian (as shown by Frieze), but remains Hamiltonian when edges are removed, as long as at most $1/2-\varepsilon$ of both the in- and out-edges incident to each vertex are removed. We say such a directed graph is $(1/2-\varepsilon)$-resiliently Hamiltonian. Furthermore, for each $\varepsilon > 0$, we show that, almost surely, each directed graph $D_M$ in the sequence is not $(1/2+\varepsilon)$-resiliently Hamiltonian.
This improves a result of Ferber, Nenadov, Noever, Peter and Škorić who showed, for each $\varepsilon > 0$, that the binomial random directed graph $D(n,p)$ is almost surely $(1/2-\varepsilon)$-resiliently Hamiltonian if $p=\omega(\log^8n/n)$.
For fixed graphs F1,…,Fr, we prove an upper bound on the threshold function for the property that G(n, p) → (F1,…,Fr). This establishes the 1-statement of a conjecture of Kohayakawa and Kreuter.
A classical result of Erdős and, independently, of Bondy and Simonovits [3] says that the maximum number of edges in an n-vertex graph not containing C2k, the cycle of length 2k, is O(n1+1/k). Simonovits established a corresponding supersaturation result for C2k’s, showing that there exist positive constants C,c depending only on k such that every n-vertex graph G with e(G)⩾ Cn1+1/k contains at least c(e(G)/v(G))2k copies of C2k, this number of copies tightly achieved by the random graph (up to a multiplicative constant).
In this paper we extend Simonovits' result to a supersaturation result of r-uniform linear cycles of even length in r-uniform linear hypergraphs. Our proof is self-contained and includes the r = 2 case. As an auxiliary tool, we develop a reduction lemma from general host graphs to almost-regular host graphs that can be used for other supersaturation problems, and may therefore be of independent interest.
In this paper we propose a polynomial-time deterministic algorithm for approximately counting the k-colourings of the random graph G(n, d/n), for constant d>0. In particular, our algorithm computes in polynomial time a $(1\pm n^{-\Omega(1)})$-approximation of the so-called ‘free energy’ of the k-colourings of G(n, d/n), for $k\geq (1+\varepsilon) d$ with probability $1-o(1)$ over the graph instances.
Our algorithm uses spatial correlation decay to compute numerically estimates of marginals of the Gibbs distribution. Spatial correlation decay has been used in different counting schemes for deterministic counting. So far algorithms have exploited a certain kind of set-to-point correlation decay, e.g. the so-called Gibbs uniqueness. Here we deviate from this setting and exploit a point-to-point correlation decay. The spatial mixing requirement is that for a pair of vertices the correlation between their corresponding configurations becomes weaker with their distance.
Furthermore, our approach generalizes in that it allows us to compute the Gibbs marginals for small sets of nearby vertices. Also, we establish a connection between the fluctuations of the number of colourings of G(n, d/n) and the fluctuations of the number of short cycles and edges in the graph.
We study structural properties of graphs with bounded clique number and high minimum degree. In particular, we show that there exists a function L = L(r,ɛ) such that every Kr-free graph G on n vertices with minimum degree at least ((2r–5)/(2r–3)+ɛ)n is homomorphic to a Kr-free graph on at most L vertices. It is known that the required minimum degree condition is approximately best possible for this result.
For r = 3 this result was obtained by Łuczak (2006) and, more recently, Goddard and Lyle (2011) deduced the general case from Łuczak’s result. Łuczak’s proof was based on an application of Szemerédi’s regularity lemma and, as a consequence, it only gave rise to a tower-type bound on L(3, ɛ). The proof presented here replaces the application of the regularity lemma by a probabilistic argument, which yields a bound for L(r, ɛ) that is doubly exponential in poly(ɛ).
We study random unlabelled k-trees by combining the colouring approach by Gainer-Dewar and Gessel (2014) with the cycle-pointing method by Bodirsky, Fusy, Kang and Vigerske (2011). Our main applications are Gromov–Hausdorff–Prokhorov and Benjamini–Schramm limits that describe their asymptotic geometric shape on a global and local scale as the number of (k + 1)-cliques tends to infinity.
We prove an essentially sharp $\tilde \Omega (n/k)$ lower bound on the k-round distributional complexity of the k-step pointer chasing problem under the uniform distribution, when Bob speaks first. This is an improvement over Nisan and Wigderson’s $\tilde \Omega (n/{k^2})$ lower bound, and essentially matches the randomized lower bound proved by Klauck. The proof is information-theoretic, and a key part of it is using asymmetric triangular discrimination instead of total variation distance; this idea may be useful elsewhere.
We give an efficient algorithm that, given a graph G and a partition V1,…,Vm of its vertex set, finds either an independent transversal (an independent set {v1,…,vm} in G such that ${v_i} \in {V_i}$ for each i), or a subset ${\cal B}$ of vertex classes such that the subgraph of G induced by $\bigcup\nolimits_{\cal B}$ has a small dominating set. A non-algorithmic proof of this result has been known for a number of years and has been used to solve many other problems. Thus we are able to give algorithmic versions of many of these applications, a few of which we describe explicitly here.
There has been substantial interest in estimating the value of a graph parameter, i.e. of a real-valued function defined on the set of finite graphs, by querying a randomly sampled substructure whose size is independent of the size of the input. Graph parameters that may be successfully estimated in this way are said to be testable or estimable, and the sample complexity qz = qz(ε) of an estimable parameter z is the size of a random sample of a graph G required to ensure that the value of z(G) may be estimated within an error of ε with probability at least 2/3. In this paper, for any fixed monotone graph property $\mathcal{P}= \text{Forb}\!(\mathcal{F}),$ we study the sample complexity of estimating a bounded graph parameter z that, for an input graph G, counts the number of spanning subgraphs of G that satisfy$\mathcal{P}$. To improve upon previous upper bounds on the sample complexity, we show that the vertex set of any graph that satisfies a monotone property $\mathcal{P}$ may be partitioned equitably into a constant number of classes in such a way that the cluster graph induced by the partition is not far from satisfying a natural weighted graph generalization of $\mathcal{P}$. Properties for which this holds are said to be recoverable, and the study of recoverable properties may be of independent interest.
We introduce the notion of species relative to a fixed hyperplane arrangement. Roughly speaking, a species is a family of vector spaces, one for each face of the arrangement, along with linear isomorphisms between vector spaces indexed by faces of the same support. Next, we introduce the notion of a monoid in species. It consists of a species equipped with "product'' maps from a vector space indexed by a face to a vector space indexed by a smaller face. These are subject to naturality, associativity, unitality axioms. There is also a dual notion of a comonoid in species defined using `"coproduct'' maps, and a mixed self-dual notion of a bimonoid in species. We also define commutativity for a monoid and dually cocommutativity for a comonoid. A bimonoid could be commutative, cocommutative, both or neither. Commutative monoids, cocommutative comonoids, bicommutative bimonoids are convenient to formulate using flats rather than faces. In addition to the above, we discuss related objects such as q-bimonoids (which include bimonoids, signed bimonoids, 0-bimonoids), signed commutative monoids, and partially commutative monoids. The latter interpolate between monoids and commutative monoids. The above notion of species when specialized to the braid arrangements relates to the classical notion of Joyal species.
This chapter reviews important notions and results on hyperplane arrangements required in the book. The discussion includes: 1) geometric objects such as faces, flats, bifaces, partial-flats, nested faces, lunes, bilunes, cones; 2) algebraic objects such as the Tits monoid, Birkhoff monoid, Janus monoid and their linearized algebras; Lie and Zie elements; 3) combinatorial objects such as distance functions and Varchenko matrices; descent, lune, Witt identities; incidence algebras, zeta and Möbius functions along with their noncommutative and two-sided analogues, the Zaslavsky formula and its noncommutative analogue.
We introduce the Hadamard product on the category of species (relative to a fixed hyperplane arrangement). A key property of this product is that it preserves monoids, comonoids, bimonoids. In fact, for any scalars p and q, the Hadamard product of a p-bimonoid and a q-bimonoid is a pq-bimonoid. Similarly, the Hadamard product of (co)commutative (co)monoids is again (co)commutative. These facts can be seen as formal consequences of the bilax property of the Hadamard functor. We construct the internal hom for the Hadamard product of species, and discuss its bilax property and the related constructions of the convolution monoid, coconvolution comonoid, biconvolution bimonoid. Moreover, we also construct the internal hom for the Hadamard product of monoids, comonoids and bimonoids, making critical use of the fact that these are functor categories just like the category of species. The internal hom for (co, bi)commutative bimonoids is intimately connected to the internal hom for the tensor product of modules over the Birkhoff algebra, Tits algebra, Janus algebra. We construct the universal measuring comonoid from one monoid to another monoid. It allows us to enrich the category of monoids over the category of comonoids. This enriched category possesses powers and copowers which we describe explicitly. The power is in fact the convolution monoid. The copower is a certain quotient of the free monoid on the Hadamard product of the given comonoid and monoid. We introduce the bimonoid of star families. It is constructed out of a cocommutative comonoid and a bimonoid. It builds on the internal hom for the Hadamard product of comonoids. Moreover, it has a commutative counterpart which we call the bicommutative bimonoid of star families. This one builds on the internal hom for cocommutative comonoids. There is also an analogous construction starting with a bimonoid and a commutative monoid which builds on the universal measuring comonoid. These bimonoids play an important role in the study of exp-log correspondences. We introduce the signature functor on species. It is defined by taking Hadamard product with the signed exponential species. The latter carries the structure of a signed bimonoid. This sets up an equivalence between the categories of bimonoids and signed bimonoids.
We introduce the notion of a Lie monoid in species (relative to a fixed hyperplane arrangement). This goes hand-in-hand with the notions of (co)monoid, (co)commutative (co)monoid, bimonoid. In contrast to monoids and commutative monoids, Lie monoids are considerably harder to formulate and study. Recall that left modules over the commutative and associative operads are commutative monoids and monoids, respectively. In a similar vein, left modules over the Lie operad are defined to be Lie monoids. One can also formulate Lie monoids in terms of a Lie bracket subject to antisymmetry and Jacobi identity. This arises from the presentation of the Lie operad. We work throughout with the definition of Lie monoids as left modules over the Lie operad; however, for additional clarity, we also illustrate many constructions and results using the Lie bracket formulation. Every monoid carries the structure of a Lie monoid via the commutator bracket. For a bimonoid, the commutator bracket restricts to its primitive part. Thus, the primitive part of any bimonoid carries the structure of a Lie monoid. In the other direction, to every Lie monoid, one can associate its universal enveloping monoid.These constructions can be expressed as adjunctions. The free Lie monoid on a species can be described using the Lie operad of the arrangement. There is an adjunction between the categories of species and bimonoids involving the primitive part functor. The resulting monad on species coincides with the monad induced by the Lie operad. In particular, this explains why the primitive part of a bimonoid is a Lie monoid. It also shows that the primitive part of the free bimonoid on a species is the free Lie monoid on that species. As a special case, the Zie species carries the structure of a Lie monoid and moreover, it is isomorphic to the free Lie monoid on the exponential species. All the above considerations carry over to the signed setting. Thus, we have the notion of a signed Lie monoid which is a left module over the signed Lie operad. A signed Lie monoid can also be formulated using signed antisymmetry and signed Jacobi identity which involve the signed distance function on faces of the arrangement. We also briefly discuss the dual notion of Lie comonoids. They are left comodules over the Lie cooperad. They can also be formulated in terms of a Lie cobracket. Related notions are the cocommutator cobracket, cofree Lie comonoid, universal coenveloping comonoid.
We now discuss a class of results related to universal constructions which we call the Hoffman-Newman-Radford (HNR) rigidity theorems. They come in different flavors which we explain one by one. In each case, the result provides explicit inverse isomorphisms between two universally constructed bimonoids. We call these the Hoffman-Newman-Radford (HNR) isomorphisms. For a cocommutative comonoid, the free bimonoid on that comonoid is isomorphic to the free bimonoid on the same comonoid but with the trivial coproduct. The product is concatenation in both, but the coproducts differ, it is dequasishuffle in the former and deshuffle in the latter. An explicit isomorphism can be constructed in either direction, one direction involves a noncommutative zeta function, while the other direction involves a noncommutative Möbius function.These are the HNR isomorphisms. There is a dual result starting with a commutative monoid.In this case, the coproduct is deconcatenation in both, but the products differ, it is quasishuffle in the former and shuffle in the latter. Interestingly, these ideas can be used to prove that noncommutative zeta functions and noncommutative Möbius functions are inverse to each other in the lune-incidence algebra. There is a commutative analogue of the above results in which the universally constructed bimonoids are bicommutative. Now the HNR isomorphisms are constructed using the zeta function and Möbius function of the poset of flats. As an application, we explain how they can be used to diagonalize the mixed distributive law for bicommutative bimonoids. There is also a q-analogue, for q not a root of unity. In this case, the HNR isomorphisms involve the two-sided q-zeta and q-Möbius functions. As an application, we explain how they can be used to study the nondegeneracy of the mixed distributive law for q-bimonoids.