With , the union bound gives
The Chernoff bound and part (b) give
Apply the same argument to and use the union bound to obtain
An error implies that some has likelihood at least that of . A finite union bound and part (b) therefore give
where
Every inner infimum is strictly positive by the argument in part (b), and the minimum of finitely many positive numbers is positive.
Explore the connected component of a graph containing a fixed vertex by Breadth-first search. If the exploration discovers at least vertices, then before its th discovery at least of at most tested potential edges must be present. The tests are independent Bernoulli trials with parameter , so
The binomial distribution on the right has mean . For , the exponential Markov bound gives
for an absolute constant . The union bound over the choices of now gives
Taking with makes this probability tend to zero. This proves the subcritical component bound for a binomial random graph.
A connected graph on vertices containing at least two cycles has a spanning tree together with at least two further edges. By Cayley formula, the number of labelled spanning trees on a fixed -set is . Hence the first moment method and a union bound show that the probability of such a component of order is at most
where and is absolute. Requiring that the chosen set be a component would only add absent-edge conditions, so omitting them is a valid upper bound.
Therefore
Thus every component in the stated range is either a tree or a unicyclic component with high probability.
We prove the locally dense graph thinning lemma. Fix an integer and then choose . Partition the vertex set equitably as . For sufficiently large , every part has at least vertices. Consequently every pair has density
Delete all edges within parts. For each edge of joining to , retain it independently with probability .
For fixed disjoint , writing and gives
The omitted diagonal contribution satisfies
The retained-edge indicators are independent. The exponential Markov bound therefore gives, for each fixed ,
There are at most ordered pairs of disjoint vertex sets. A union bound shows that, with positive probability, no pair violates this estimate. For that realization,
simultaneously for all disjoint . As usual for a dense asymptotic statement, is taken sufficiently large; a lower-order integrality error is unavoidable for bounded .
With the usual objective
the Karush-Kuhn-Tucker conditions for the Lasso are
Comparing the objective at and , expanding the square, and cancelling the noise norm gives exactly
Choose . Since every column has norm , each is sub-Gaussian with parameter . A union bound gives
On the complementary event, Holder inequality and the triangle inequality bound the preceding right-hand side by
which proves the stated prediction bound.
For the Dantzig selector, use the constraint . The Lasso KKT conditions make feasible, so a Dantzig minimizer has no larger norm. If were not the Lasso solution, uniqueness from invertibility of would imply that some active coordinate has strict signed KKT slack. For small , set
Only score coordinate changes, toward its feasible boundary, so remains feasible. For small , signs on the active coordinates do not change, and
by strict diagonal dominance. This contradicts Dantzig optimality, so the two estimators coincide.
Write ; because , as . Every path in a graph of length contains, by a greedy selection, at least vertices at mutual graph distance greater than two, where . The corresponding field values are jointly independent by part (a). Hence the probability that a fixed path lies in the superlevel set is at most
There are at most length- paths from the origin. The union bound therefore gives
Choose a finite for which and let . There is then no unbounded component through the origin, and translation invariance rules out an unbounded component anywhere almost surely. Thus the critical threshold for level-set percolation satisfies .
Apply the OSSS inequality to the independent coordinates and to the indicator of the one-arm event . Use the randomized OSSS exploration of a one-arm event: choose uniformly from and reveal the variables needed to explore the superlevel cluster meeting . A coordinate can be revealed only if a nearby vertex has an open connection over the relevant distance. Translation invariance, finite-range dependence and the union bound therefore give the revealment estimate
for both kinds of coordinates, after enlarging the explored neighbourhood by a distance depending only on .
For an increasing Gaussian threshold event, the resampling influence of is bounded by a universal constant times . The influence of is bounded by the sum of the corresponding influences at the neighbours of : indeed Gaussian integration by parts gives
first for smooth increasing approximations and then by a limit. Consequently the OSSS bound becomes
Part (c) identifies the final sum with . Dividing and putting proves
Fix positive , and . Suppose a size band of an Achlioptas process contains at least vertices at time . For every fixed , at least of those vertices remain in unchanged graph components throughout the next steps, with high probability, where one may take . This is a deliberately nonoptimal positive constant.
For independent uniform candidate edges, an initial graph component with vertices is untouched if none of the candidate edges meets it. A uniform edge hits it with probability at most . For sufficiently large , , so the expected value of the untouched vertex mass is at least . Replacing one row of two candidate edges can change by at most , because only the initial graph components hit by an old or new endpoint can change status. The McDiarmid inequality therefore makes except on an event of probability , for a positive constant depending only on . An untouched graph component stays unchanged whichever offered edge is selected.
For candidates restricted to absent edges, generate each by an independent uniform proposal stream and reject already present edges. During any interval of steps with present edges, each proposal has rejection probability conditional on the past. The number of rejections is at most except on an event of probability smaller than any inverse power of : if there were rejections among proposals, a union bound over their positions bounds this by . The first proposals are independent and give the previous untouched-mass estimate. Extra proposals can touch at most additional initial graph components, losing only vertices for fixed . This leaves the stated bound. A union bound makes these estimates simultaneous over starting times . They hold through the entire interval, so deterministic or random stopping times within it are allowed.
Prior calibration for normal random-effect range Created 2026-10-06 Updated 2026-10-07
For conditionally independent effects , each pair difference has normal distribution . With , an upper bound on ensures, by the union bound, that . Any proper scale prior distribution supported on preserves this bound after averaging. This is conservative simultaneous calibration, rather than the weaker statement about one selected pair. For log odds ratios, a bound corresponds to a ratio-of-odds-ratios bound .
Quadratic form net bound 2026-10-06
For a symmetric matrix and an -metric net of the unit sphere, with , approximate a maximizing unit vector by . Expanding bounds its absolute value by . Rearrangement proves the bound. The volumetric bound for Euclidean metric nets limits the number of needed directions, allowing a union bound to control a random matrix.
If has independent Rademacher entries, then for fixed and ,
Applying a union bound to all pairwise differences embeds fixed points into dimension while preserving every squared distance within a factor with probability at least .
Suppose with a random finite . On , a finite net with radius bounds the full supremum by the grid maximum plus . The Markov inequality controls the exceptional event using , and a union bound controls the grid maximum. Choosing the net spacing balances these two costs.
Scan statistic Created 2026-10-06 Updated 2026-10-07
A scan statistic searches a family of candidate locations or subsets and reports the largest local statistic. Under a null hypothesis, a union bound converts a tail estimate for each candidate into a bound for the maximum; no independence between local statistics is required. Structured alternatives often permit a chi-squared testing lower bound using the overlap geometry of two candidates.
Offer independent uniform edges of the complete graph per row and permit any one to be selected from each row. If a chosen graph has no graph component of order at least , the balanced component cut provides an empty cut whose sides both have at least vertices. Each candidate edge crosses that cut with probability at least , so a row can avoid crossing with probability at most . The union bound over at most cuts gives failure probability at most . Any fixed integer with suffices. The guarantee is simultaneous even for choices made after seeing every offered edge.
For independent Bernoulli distribution upper-triangular entries of a symmetric zero-diagonal adjacency matrix of a graph, put . For a unit vector , has sub-Gaussian variance proxy at most , by the Hoeffding lemma. Hence . The volumetric bound for Euclidean metric nets gives a -metric net of the unit sphere with at most points. The quadratic form net bound gives on that net. The union bound gives ; integrating this tail proves the displayed expectation bound.
When a finite union is a compact H-hull, hitting that union before the real axis implies hitting at least one member before the real axis. The union bound followed by the defining limit proves subadditivity of harmonic capacity from infinity in the upper half-plane.
A centered random vector is sub-Gaussian with variance proxy when the displayed inequality holds for every deterministic vector . Equivalently every scalar inner product is a sub-Gaussian random variable with proxy . Independence of coordinates is not required. For vectors with Euclidean norms at most one, the union bound gives with probability at least . This assumption alone is weaker than concentration for all Lipschitz functions.