The Multiclass Fundamental Theorem
The proof has separate lower-bound and upper-bound routes.
Two Proof Routes
The Multiclass Fundamental Theorem is proved through two separate routes. The lower bounds are obtained by reducing the multiclass problem to the Binary Fundamental Theorem. The upper bounds follow the general strategy of the binary-classification proof, but they cannot reuse every binary ingredient unchanged. The key replacement is to use Natarajan's Lemma where the binary proof uses Sauer's Lemma.
The Theorem's Inputs
The theorem begins with a hypothesis class H. In the multiclass setting, H is a class of functions from X to [k], where [k] is the label set. The theorem then uses the Natarajan dimension of H, denoted by d. Thus, the central input is not merely a collection of functions: it is the hypothesis class together with the quantity that measures its multiclass complexity in the theorem statement.
The theorem's objects are the hypothesis class H, its Natarajan dimension d, and two absolute constants C1 and C2 greater than zero. The supplied excerpt does not provide the exact expressions for the bounds, so the theorem should be understood here at the level of its inputs, proof structure, and existence of these constants.
The Lower-Bound Route
The lower-bound argument starts by reducing the multiclass problem to the Binary Fundamental Theorem. This is the decisive move on the lower-bound side. Rather than adapting the entire binary proof ingredient by ingredient, the proof transfers the relevant lower-bound reasoning through a binary formulation.
Tracing the Lower-Bound Logic
Suppose the goal is to understand where the lower bounds in the multiclass theorem come from, without computing a numerical bound.
Start with H: Identify the multiclass hypothesis class H, whose functions map elements of X to [k].
Use the reduction: Relate the multiclass problem to the Binary Fundamental Theorem rather than treating the lower-bound route as a direct copy of the upper-bound route.
Transfer the conclusion: Use the binary theorem as the source of the lower-bound side of the multiclass result.
The lower bounds are obtained by reduction to the Binary Fundamental Theorem. No numerical estimate can be computed from the supplied excerpt because the exact bound expressions are omitted.
The Upper-Bound Adaptation
The upper-bound proof keeps the same general lines as the binary-classification proof. However, one ingredient does not transfer directly from the binary setting. Sauer's Lemma must be replaced by Natarajan's Lemma. This replacement is not a change to the entire proof strategy; it is a targeted change to the lemma that supplies the multiclass combinatorial control needed by the argument.
Two Lemmas, Two Roles
Sauer's Lemma belongs to the binary proof route as the ingredient that cannot simply be carried over to the multiclass setting. Natarajan's Lemma supplies the multiclass replacement. The source describes Natarajan's Lemma as having a proof with the same general spirit as Sauer's Lemma, so the replacement preserves the character of the argument while adapting it to multiclass structure.
| Lemma | Proof setting | Role in the theorem proof |
|---|---|---|
| Sauer's Lemma | Binary classification | The binary ingredient that is not transferred unchanged |
| Natarajan's Lemma | Multiclass classification | The replacement used in the upper-bound argument |
When reading or reconstructing the proof, first locate the binary proof's overall strategy. Then identify Sauer's Lemma as the nontransferable ingredient. Finally, substitute Natarajan's Lemma and follow the same broad proof organization. This prevents the common mistake of treating the multiclass proof as either completely new or completely identical to the binary proof.
Constants and Missing Expressions
The theorem asserts the existence of absolute constants C1 and C2 greater than zero. These constants are part of the theorem's bound statement. The available excerpt does not include the exact bound expressions in which they appear, so their role can be identified without reconstructing or guessing those formulas: they are fixed positive constants used in the theorem's resulting bounds.
| Can be stated from the excerpt | Cannot be stated from the excerpt |
|---|---|
| H is a class of functions from X to [k] | The exact numerical form of the lower bounds |
| The Natarajan dimension of H is denoted by d | The exact numerical form of the upper bounds |
| There are absolute constants C1 and C2 greater than zero | A numerical estimate for a particular H |
| Lower bounds come from a binary reduction | Any omitted exponent, coefficient, or dependence in the bound expressions |
| Upper bounds use the binary strategy with Natarajan's Lemma replacing Sauer's Lemma | A guessed version of Theorem 29.3's formulas |
Common Reading Errors
Treating the lower-bound and upper-bound proofs as one uniform argument.
The proof divides naturally into separate routes. The lower bounds come from a reduction to the Binary Fundamental Theorem, while the upper bounds adapt the binary proof.
Fix:
Read the lower-bound route and upper-bound route as distinct parts of the proof.Saying that Sauer's Lemma is used unchanged in the multiclass upper-bound proof.
The source identifies Sauer's Lemma as the important ingredient that must be replaced.
Fix:
State that Natarajan's Lemma replaces Sauer's Lemma.Assuming that replacing Sauer's Lemma means the entire binary proof strategy is discarded.
The upper-bound proof retains the same general lines as the binary-classification proof.
Fix:
Separate the retained strategy from the replaced lemma.Inventing exact formulas involving C1, C2, or d.
The available material states the existence of absolute constants and identifies d, but omits the exact bound expressions.
Fix:
Describe the theorem qualitatively and explicitly acknowledge the omitted formulas.
Check Your Understanding
Explain the proof of the Multiclass Fundamental Theorem in four linked statements. Begin with the route used for the lower bounds. Then state the general strategy used for the upper bounds. Identify the binary ingredient that must be replaced and name its multiclass replacement. Finish by listing the theorem's inputs and the information that cannot be recovered because the exact bound expressions are omitted.
Hints
- Mention the Binary Fundamental Theorem in the lower-bound statement.
- Distinguish the overall binary proof strategy from the lemma used inside that strategy.
- Include H, the mapping from X to [k], d, C1, and C2.
- Do not write a numerical bound.
- The theorem is organized around two proof routes. A reduction to the Binary Fundamental Theorem supplies the lower bounds. The upper bounds preserve the binary proof's general strategy but replace Sauer's Lemma with Natarajan's Lemma. The theorem starts with a hypothesis class H of functions from X to [k], records its Natarajan dimension d, and asserts the existence of absolute positive constants C1 and C2. The supplied excerpt does not give the exact bound expressions, so the proof architecture can be explained without stating numerical formulas.
Key Takeaways
- The lower-bound and upper-bound arguments are separate routes.
- The lower bounds come from reducing the multiclass problem to the Binary Fundamental Theorem.
- The upper-bound proof follows the binary strategy but replaces Sauer's Lemma with Natarajan's Lemma.
- The theorem uses a hypothesis class H from X to [k], its Natarajan dimension d, and absolute positive constants C1 and C2.
- The exact bound expressions are not included in the available excerpt and must not be guessed.