In the standard labelled encoding of a pointed planar quadrangulation, incidences at the distinguished vertex are represented by visits counted by the record variables . Consequently its degree of a vertex is bounded by the largest such count encountered before the coding walk first reaches .
Before time there are at most possible record levels. The union bound and part i therefore imply
Conditioning on and using the supplied lower bound gives
Set . If , the right-hand side tends to zero. Hence for some constant ,
The Markov inequality applied to the first exponential-moment bound gives
The second bound controls the lower tail. The union bound therefore gives
Since
putting ,
makes the exponent equal to . It follows that the Catoni mean estimator satisfies
Choose so that
and take a uniformly random codimension- subspace . Each fixed nonzero vector lies in with probability at most . The union bound gives
Thus some satisfies .
For a uniformly random coset of this , every value lies in with probability . Therefore
so some coset has inverse image of density at least
Part i says that is a Freiman homomorphism, proving the large Freiman-homomorphic restriction from bounded derivative images.
The Group Lasso penalty is
By the Cauchy-Schwarz inequality within each group,
Put . Comparing the objective at and gives
On , the preceding duality inequality gives
The triangle inequality then yields
When and ,
Writing , the exponential Markov inequality and the supplied chi-square moment-generating-function bound give
The prescribed equation makes this . A union bound over the groups therefore gives
In the Erdős-Rényi model , the vertex set is and every one of the possible edges is present independently with probability .
Let count isolated vertices. If , the union bound gives
Thus .
Chebyshev inequality states that
Now suppose . Monotonicity lets us use the largest allowed . With
the supplied lower exponential estimate shows
For distinct vertices ,
Hence
and
Chebyshev with gives , so .
For connectivity, the lower-threshold result is immediate because a connected graph has no isolated vertex:
For the upper threshold, if a graph is disconnected it has a component with vertex set of some size . In particular, every one of the edges from to its complement is absent. Therefore
Choose
For , the standard bound gives
The sum of these terms tends to zero. For , use and :
Thus above the threshold. Together,
This is the connectivity threshold in the Erdős-Rényi model.
Put . For any fixed with , let count copies of the cycle graph in . Then
Pairs of distinct -cycles are dependent only when they share an edge. Classifying them by their common paths gives
The first Janson inequality therefore gives
for an absolute and all sufficiently large . Choose so that . A union bound over the at most choices of shows that, with high probability, every set of at least vertices contains a .
Now greedily choose vertex-disjoint -cycles until none remains. If fewer than were chosen, they would cover fewer than vertices, leaving more than vertices and hence another . This contradiction proves that the greedy packing contains at least vertex-disjoint copies.
Use sprinkling of a binomial random graph to write , where the rounds are independent,
and is chosen large enough that . By the given theorem, has a Hamilton cycle with high probability.
Condition on such a cycle. For each , every chord closes one of the two paths around the Hamilton cycle into a cycle of length . There are at least distinct candidate chords, so the probability that supplies none is at most
A union bound over the fewer than lengths shows that all these cycles occur simultaneously with high probability when . The Hamilton cycle itself supplies length , so is pancyclic.
For fixed disjoint , the random variable has the binomial distribution . A two-sided Chernoff bound gives
When , this is at most
There are at most ordered disjoint pairs , since each vertex can lie in , in , or in neither. The union bound therefore makes the probability of any failure at most
which proves the simultaneous estimate.
Put . Then
Generate a uniformly random complete -partite graph by independently assigning one of colours to each vertex and joining vertices of different colours. Such a graph contains the clique on exactly when the colouring is injective on .
Construct by adjoining one forced set at a time. There are at most possible sets of size at most . If is newly forced by , then, conditional on being rainbow, the events that each is not rainbow depend on disjoint petals . Since , each has conditional probability at most . Their simultaneous probability is therefore at most . A union bound over the at most closure steps gives
This is exactly the claimed proportion of complete -partite graphs.
The familywise error rate is
The Bonferroni correction rejects when . Since a valid p-value is super-uniform under its null, the union bound gives
No independence assumption is needed.
For the closed testing procedure, form the intersection hypothesis for every nonempty and choose a level- local test for each . Reject exactly when every with is rejected by its local test. If any true is rejected, then the intersection of all true nulls is rejected. Since its local test has significance level ,
This is the closed-testing control of the familywise error rate.
Write . Procedure (A) is the Weighted Bonferroni correction: it rejects when . Therefore
Procedure (B) is the Weighted Holm step-down procedure. Let be the first rank in the ordering whose hypothesis is a true null, and put . If any true null is rejected, the procedure reaches step and
because every true null remains among ranks . Hence
and another union bound gives FWER at most .
At step , procedure (B) divides by the total weight still under consideration, which is no larger than . Its critical values therefore increase as hypotheses are rejected. Moreover, if procedure (A) would reject a hypothesis, every earlier ordered also passes the initial threshold, so procedure (B) reaches and rejects it. Thus (B) contains every rejection of (A) and can make strictly more rejections while retaining the same strong FWER control.
A centered random variable is sub-Gaussian with parameter when
for every .
The Bernstein concentration inequality for products of sub-Gaussian variables quoted in the course says that if each coordinate of the identically distributed pairs is sub-Gaussian with parameter , then
Since , this is the required bound. It follows by observing that a product of sub-Gaussian variables is sub-exponential and applying Bernstein's inequality to the independent centered products.
For any vector admissible in the definition of , one has . The entrywise maximum norm bound therefore implies
By the definition of the compatibility constant, , and hence
Taking the infimum proves . This is the stability of a compatibility constant under entrywise perturbation.
Put . Applying the product concentration bound with the stated and using gives, for every ,
There are distinct entries in the symmetric matrix, so the union bound shows that the event
has probability at least .
On , . Since by Cauchy-Schwarz, normalization of the sample columns gives
Choosing one coordinate of in the infimum shows , so the assumed bound on is below one and, more precisely,
The perturbation result now gives throughout , and therefore
With the convention matching the constants below, the Lasso estimator is any minimizer
Because , the centered noise has the same score as : . Each is sub-Gaussian with scale , so
For , a union bound over the columns yields
Call this event .
The Karush-Kuhn-Tucker conditions for the Lasso say that there is such that
Equivalently, belongs to the subdifferential of the norm at .
For a cumulative distribution function , its quantile function is the generalized inverse
with the infimum allowed to be . For observations , the empirical distribution function is
If are the order statistics, then
The Bennett inequality says that if are independent, , almost surely, and , then
To prove it, convexity of on , followed by the power-series bound for centered , gives
Independence and the Chernoff bound therefore yield
The minimizing value satisfies , namely . Substitution gives the stated exponent.
For independent , the uniform order statistic satisfies
Set . The event means that at least sample points lie in . If this occurs, some -element subset consists entirely of such points. The union bound gives
This is exactly the required inequality for .
Fix and sample from the Erdős-Rényi model with . Let count copies of the complete bipartite graph . By the expected subgraph count in the Erdős-Rényi model,
Put and let count independent set of size . If the chromatic number satisfies , some colour class has at least vertices, so . Moreover,
because the positive part of the exponent is whereas has order . The first moment method therefore gives .
Using Markov inequality for and the union bound,
for all sufficiently large . Hence at least one such contains no and has .
Let count unordered pairs of distinct copies that have a common vertex. Classifying such a pair by whether it shares one, two, or three vertices gives
Indeed, after substituting , these terms are respectively
The first moment method gives . Part (i) says that with probability tending to one, so the union bound shows that, with probability tending to one, both and . On that event any one hundred of the copies are pairwise vertex-disjoint, proving vertex-disjoint sparse clique copies in this case.
A language belongs to RP when a polynomial-time randomized algorithm rejects every and accepts every with probability at least .
Amplify the algorithm on length- inputs with independent repetitions, accepting if any repetition accepts. Its error on each positive input is at most , while it still never accepts a negative input. Choose all random bits for all repetitions in advance. By the union bound, the probability that this one fixed choice fails on at least one of the at most positive strings is at most
Thus some random string works simultaneously for every input of length . Hardwire that string into the polynomial-time computation and compile it into a Boolean circuit. The resulting polynomial-size circuit family decides , proving
For each column , the normalized score is
The errors are independent Rademacher random variables, and . The Hoeffding lemma therefore makes a sub-Gaussian random variable with variance proxy , so
The union bound with gives
For this becomes
In particular, if , the lower bound tends to one as .
If , then for every at least one of and is true. Since
validity of the p-value for whichever component null is true implies . Therefore the union bound gives
This is the Bonferroni correction for the composite intersection alternatives.
Suppose for contradiction that the critical probability for site percolation on the triangular lattice satisfied . Then would be subcritical, so exponential decay of subcritical percolation would give constants such that the probability that a fixed site has an open path to distance is at most .
Every left-to-right open crossing of an by rhombus contains a site on its left side joined to distance at least . There are possible starting sites, so the union bound would imply
Planar self-duality and symmetry instead make this crossing probability exactly at every . This contradiction proves .