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.
Let A be the set of all possible empirical distribution functions F1 for one observation x ∈ [0, 1], namely F1(t) = 0 for t < x and F1{t) = 1 for t ≥ x. We noted previously that A in the supremum norm is nonseparable: it is an uncountable set, in which any two points are at a distance 1 apart. Thus A and all its subsets are closed. If x ≔ X1 has a continuous distribution such as the uniform distribution U[0, 1] on [0, 1], then x → (t → 1t≥x) takes [0, 1] onto A, but it is not continuous for the supremum norm. Also, it is not measurable for the Borel σ-algebra on the range space. So, in Chapter 3, functions f* and upper expectations E* were used to get around measurability problems.
Here is a different kind of example. It is related to the basic “ordinal triangle” counterexample in integration theory, showing why measurability is needed in the Tonelli-Fubini theorem on Cartesian product integrals. Let (Ω, ≤) be an uncountable well-ordered set such that for each x ∈ Ω, the initial segment Ix ≔ {y : y ≤ x} is countable. (In terms of ordinals, Ω is, or is orderisomorphic to, the least uncountable ordinal.) Let S be the σ-algebra of subsets of Ω consisting of sets that are countable or have countable complement. Let P be the probability measure on S which is 0 on countable sets and 1 on sets with countable complement.
Let (S, ∥·∥) be a Banach space (in general nonseparable). A subset of the unit ball {f ∈ S′ : ∥f∥′ ≤ 1} is called a norming subset if and only if for all s ∈ S. The whole unit ball in S is always a norming subset by the Hahn-Banach theorem (RAP, Corollary 6.1.5).
Conversely, given any set, let be the set of all bounded real functions on, with the supremum norm
Then the natural map f ↦ (s ↦ s(f)) takes one-to-one onto a norming subset of S′.
So, limit theorems for empirical measures, uniformly over a class of functions, can be viewed as limit theorems in a Banach space S with norm Conversely, limit theorems in a general Banach space S with norm ∥ · ∥ can be viewed as limit theorems for empirical measures on S, uniformly over a class of functions, such as the unit ball of S′, since for f ∈ S′ and x1, …, xn ∈ S,
Suppose that Xj are i.i.d. real random variables with mean 0 and variance 1. Let One form of “invariance principle” will say that on some probability space, there exist such Xj and also i.i.d. N(0, 1) variables Y1, Y2, …, with such that as n → ∞ in probability. Since Tn/n½ also has a N(0, 1) distribution for each n, the invariance principle implies that Sn/n½ is close to Tn/n½, which implies the central limit theorem. Although it is not as obvious, central limit theorems generally imply invariance principles.
Total path length, or search cost, for a rooted tree is defined as the sum of all root-to-node distances. Let Tn be the total path length for a random recursive tree of order n. Mahmoud [10] showed that Wn := (Tn − E[Tn])/n converges almost surely and in L2 to a nondegenerate limiting random variable W. Here we give recurrence relations for the moments of Wn and of W and show that Wn converges to W in Lp for each 0 < p < ∞. We confirm the conjecture that the distribution of W is not normal. We also show that the distribution of W is characterized among all distributions having zero mean and finite variance by the distributional identity
formula here
where [Escr](x) := − x ln x − (1 minus; x) ln(1 − x) is the binary entropy function, U is a uniform (0, 1) random variable, W* and W have the same distribution, and U, W and W* are mutually independent. Finally, we derive an approximation for the distribution of W using a Pearson curve density estimator.
Consider the minimal weights of paths between two points in a complete graph Kn with random weights on the edges, the weights being, for instance, uniformly distributed. It is shown that, asymptotically, this is log n/n for two given points, that the maximum if one point is fixed and the other varies is 2 log n/n, and that the maximum over all pairs of points is 3 log n/n.
Some further related results are given as well, including results on asymptotic distributions and moments, and on the number of edges in the minimal weight paths.
A simple geometric argument establishes an inequality between the sums of two pairs of first-passage times. This result is used to prove monotonicity, convexity and concavity results for first-passage times with cylinder and half-space restrictions.
In the present paper we consider compound Poisson approximation by Stein's method for dissociated random variables. We present some applications to problems in system reliability. In particular, our examples have the structure of an incomplete U-statistics. We mainly apply techniques from Barbour and Utev, who gave new bounds for the solutions of the Stein equation in compound Poisson approximation in two recent papers.
We present a practical algorithm for generating random regular graphs. For all d growing as a small power of n, the d-regular graphs on n vertices are generated approximately uniformly at random, in the sense that all d-regular graphs on n vertices have in the limit the same probability as n → ∞. The expected runtime for these ds is [Oscr](nd2).
We provide sufficient conditions for packing two hypergraphs. The emphasis is on the asymptotic case when one of the hypergraphs has a bounded degree and the other is dense. As an application, we give an alternative proof for the bipartite case of the recently developed Blow-up Lemma [12].
A universal algebra is called congruence compact if every family of congruence classes with the finite intersection property has a non-empty intersection. This paper determines the structure of all right congruence compact monoids S for which Green's relations ℐ and ℋ coincide. The results are thus sufficiently general to describe, in particular, all congruence compact commutative monoids and all right congruence compact Clifford inverse monoids.
Investigations concerning the gaps between consecutive prime numbers have long occupied an important position on the interface between additive and multiplicative number theory. Perhaps the most famous problem concerning these gaps, the Twin Prime Conjecture, asserts that the aforementioned gaps are infinitely often as small as 2. Although a proof of this conjecture seems presently far beyond our reach (but see [5] and [10] for related results), weak evidence in its favour comes from studying unusually short gaps between prime numbers. Thus, while it follows from the Prime Number Theorem that the average gap between consecutive primes of size about x is around log x, it is now known that such gaps can be infinitely often smaller than 0–249 log x (this is a celebrated result of Maier [12], building on earlier work of a number of authors; see in particular [7], [13], [3] and [11]). A conjecture weaker than the Twin Prime Conjecture asserts that there are infinitely many gaps between prime numbers which are powers of 2, but unfortunately this conjecture also seems well beyond our grasp. Extending this line of thought, Kent D. Boklan has posed the problem of establishing that the gaps between prime numbers infinitely often have only small prime divisors, and here the latter divisors should be small relative to the size of the small gaps established by Maier [12]. In this paper we show that the gaps between consecutive prime numbers infinitely often have only small prime divisors, thereby solving Boklan's problem. It transpires that the methods which we develop to treat Boklan's problem are capable also of detecting multiplicative properties of more general type in the differences between consecutive primes, and this theme we also explore herein.
It is shown that every compact convex set K which is centrally symmetric and has a non-empty interior admits a packing of Euclidean 3-space with density at least 0.46421 … The best such bound previously known is 0.30051 … due to the theorem of Minkowski-Hlawka. It is probable that there is such a lower bound which is significantly greater than the one shown in this note, since there is a packing of congruent spheres which has density
Let ν be a rank 1 henselian valuation of a field K having unique extension ῡ to an algebraic closure of K. For any subextension L/K of /K, let G (L), Res (L) denote respectively the value group and the residue field of the valuation obtained by restricting ῡ to L. If a∈\K define