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.
This book is aimed at first year graduate students as well as research workers with a background in linear algebra. The theory of nonnegative matrices is unfolded in the book using tools from optimization, inequalities and combinatorics. The topics and applications are carefully chosen to convey the excitement and variety that nonnegative matrices have to offer. Some of the applications also illustrate the depth and the mathematical elegance of the theory of nonnegative matrices. The treatment is rigorous and almost all the results are completely proved. While about half of the material in the book presents many topics in a novel fashion, the remaining portion reports many new results in matrix theory for the first time in a book form. Although the only prerequisite is a first course in linear algebra and advanced calculus, familiarity with linear programming and statistics will be helpful in appreciating some sections.
To give some examples, the Perron-Frobenius Theorem and many of its consequences are derived using the theory of matrix games where all rows and columns are essential for optimal play. The chapter on conditionally positive definite matrices and distance matrices has several new results appearing for the first time in a book. A transparent proof of the Alexandroff inequality for mixed discriminants is presented and a characterization of graphs giving rise to a finite Coxeter group is given in the chapter on combinatorial theory.
Inequalities for martingales with bounded differences have recently proved to be very useful in combinatorics and in the mathematics of operational research and computer science. We see here that these inequalities extend in a natural way to ‘centering sequences’ with bounded differences, and thus include, for example, better inequalities for sequences related to sampling without replacement.
Considering strings over a finite alphabet [Ascr], say that a string is w-avoiding if it does not contain w as a substring. It is known that the number aw(n) of w-avoiding strings of length n depends only on the autocorrelation of w as defined by Guibas–Odlyzko. We give a simple criterion on the autocorrelations of w and w′ for determining whether aw(n) > aw′(n) for all large enough n.
The prime factorization of a random integer has a GEM/Poisson-Dirichlet distribution as transparently proved by Donnelly and Grimmett [8]. By similarity to the arc-sine law for the mean distribution of the divisors of a random integer, due to Deshouillers, Dress and Tenenbaum [6] (see also Tenenbaum [24, II.6.2, p. 233]), – the ‘DDT theorem’ – we obtain an arc-sine law in the GEM/Poisson-Dirichlet context. In this context we also investigate the distribution of the number of components larger than ε which correspond to the number of prime factors larger than nε.
We are interested in a function f(p) that represents the probability that a random subset of edges of a Δ-regular graph G contains half the edges of some cycle of G. f(p) is also the probability that a codeword is corrupted beyond recognition when words of the cycle code of G are submitted to the binary symmetric channel. We derive a precise upper bound on the largest p for which f(p) can vanish when the number of edges of G goes to infinity. To this end, we introduce the notion of fractional percolation on trees, and calculate the related critical probabilities.
Let [Mscr]n,k(S) be the set of n-edge k-vertex rooted maps in some class on the surface S. Let P be a planar map in the class. We develop a method for showing that almost all maps in [Mscr]n,k(S) contain many copies of P. One consequence of this is that almost all maps in [Mscr]n,k(S) have no symmetries. The classes considered include c-connected maps (c [les ] 3) and certain families of degree restricted maps.
A tournament T on a set V of n players is an orientation of the edges of the complete graph Kn on V; T will be called a random tournament if the directions of these edges are determined by a sequence {Yj[ratio ]j = 1, …, (n2)} of independent coin flips. If (y, x) is an edge in a (random) tournament, we say that y beats x. A set A ⊂ V, |A| = k, is said to be beaten if there exists a player y ∉ A such that y beats x for each x ∈ A. If such a y does not exist, we say that A is unbeaten. A (random) tournament on V is said to have property Sk if each k-element subset of V is beaten. In this paper, we use the Stein–Chen method to show that the probability distribution of the number W0 of unbeaten k-subsets of V can be well-approximated by that of a Poisson random variable with the same mean; an improved condition for the existence of tournaments with property Sk is derived as a corollary. A multivariate version of this result is proved next: with Wj representing the number of k-subsets that are beaten by precisely j external vertices, j = 0, 1, …, b, it is shown that the joint distribution of (W0, W1, …, Wb) can be approximated by a multidimensional Poisson vector with independent components, provided that b is not too large.
Assemblies are labelled combinatorial objects that can be decomposed into components. Examples of assemblies include set partitions, permutations and random mappings. In addition, a distribution from population genetics called the Ewens sampling formula may be treated as an assembly. Each assembly has a size n, and the sum of the sizes of the components sums to n. When the uniform distribution is put on all assemblies of size n, the process of component counts is equal in distribution to a process of independent Poisson variables Zi conditioned on the event that a weighted sum of the independent variables is equal to n. Logarithmic assemblies are assemblies characterized by some θ > 0 for which i[]Zi → θ. Permutations and random mappings are logarithmic assemblies; set partitions are not a logarithmic assembly. Suppose b = b(n) is a sequence of positive integers for which b/n → β ε (0, 1]. For logarithmic assemblies, the total variation distance db(n) between the laws of the first b coordinates of the component counting process and of the first b coordinates of the independent processes converges to a constant H(β). An explicit formula for H(β) is given for β ε (0, 1] in terms of a limit process which depends only on the parameter θ. Also, it is shown that db(n) → 0 if and only if b/n → 0, generalizing results of Arratia, Barbour and Tavaré for the Ewens sampling formula. Local limit theorems for weighted sums of the Zi are used to prove these results.
A model for a random random-walk on a finite group is developed where the group elements that generate the random-walk are chosen uniformly and with replacement from the group. When the group is the d-cube Zd2, it is shown that if the generating set is size k then as d → ∞ with k − d → ∞ almost all of the random-walks converge to uniform in k ln (k/(k − d))/4+ρk steps, where ρ is any constant satisfying ρ > −ln (ln 2)/4.
An [n, k, r]-partite graph is a graph whose vertex set, V, can be partitioned into n pairwise-disjoint independent sets, V1, …, Vn, each containing exactly k vertices, and the subgraph induced by Vi ∪ Vj contains exactly r independent edges, for 1 [les ] i < j [les ] n. An independent transversal in an [n, k, r]-partite graph is an independent set, T, consisting of n vertices, one from each Vi. An independent covering is a set of k pairwise-disjoint independent transversals. Let t(k, r) denote the maximal n for which every [n, k, r]-partite graph contains an independent transversal. Let c(k, r) be the maximal n for which every [n, k, r]-partite graph contains an independent covering. We give upper and lower bounds for these parameters. Furthermore, our bounds are constructive. These results improve and generalize previous results of Erdo″s, Gyárfás and Łuczak [5], for the case of graphs.
Lemke and Kleitman [2] showed that, given a positive integer d and d (necessarily non-distinct) divisors of da1, …, ad there exists a subset Q ⊆ {1, …, d} such that d = [sum ]i∈Qai answering a conjecture of Erdo″s and Lemke. Here we extend this result, showing that, provided [sum ]p|d1/p [les ] 1 (where the sum is taken over all primes p), there is some collection from a1, …, ad which both sum to d and which can themselves be ordered so that each element divides its successor in the order. Furthermore, we shall show that the condition on the prime divisors is in some sense also necessary.
In this book I have two aims. My first is to give a coherent account of a general method in analytic number theory, and to develop that method sufficiently far that it solves problems otherwise beyond reach. The method applies the simplest notions from functional analysis, and has its roots in geometry.
My second aim, bound to the first, and to me of equal interest, is a light discussion of the creation of the method as a raising of the underlying philosophical motivation into consciousness. In particular, this offers a paradigm for the application of the method itself.
I wrote the present work and my memoir: The Correlation of Multiplicative and the Sum of Additive Arithmetic Functions together. To facilitate a bridge between the two works I have elaborated the treatment of approximate functional equations given in Chapters 2 and 3 of the monograph. In particular, I preserve the same notation. For permission to do this I thank both the American Mathematical Society and Cambridge University Press.
The memoir applies the method to a problem not treated in this book. Background details in the construction of the method are omitted. Consideration of the problem to hand remains paramount. A large number of auxiliary results are required.
The present work is quite different in nature. The method itself is the object of study. Essential inequalities are derived in detail.