Chapter 3 · Resolve and operate

SVMs, margins, and kernels

SVMs learn from the boundary’s hardest points; kernels change geometry, not scores into probabilities.

65–90 min2 key conceptsReviewed 26 Aug 2026
01 · Production proposition

Support tickets need explainable routing under a 15 ms latency budget.

This chapter moves from scale and set the margin tradeoff to calibrate only if needed. We will make the idea concrete in a small code example before placing it back inside a production system with 15 ms batch-one latency.

Decision

If downstream logic consumes probabilities, fit a separate calibrator without treating raw signed distance as risk.

Evidence

Verify the behavior illustrated in margin_and_kernel.py, then measure decision utility, slice reliability, and system latency.

Failure consequence

Unscaled revenue dominates kNN distance while perfectly separating features destabilize unregularized logistic coefficients. An unsafe release must degrade to a named baseline or the last known-good version.

02 · Guided chapter

Build the idea one layer at a time.

A support vector machine chooses a boundary by protecting a margin, not merely by classifying the training points correctly.

For a linear SVM, the signed score w·x+b determines the side of the boundary and y(w·x+b) measures functional margin for labels ±1. Hinge loss ignores comfortably correct points and concentrates pressure on mistakes and points inside the margin.

A kernel replaces an explicit dot product with similarity in an implicit feature space, enabling curved boundaries. Kernel choice, scaling, gamma, and support-vector count affect both generalization and serving cost; the margin score is not a probability unless calibrated separately.

Keep in view
  • hinge loss
  • latency baselines
WORKED PATH

Follow the reasoning before touching the code.

  1. 01

    Scale and set the margin tradeoff

    Standardize numeric features and tune C on validation to balance violations against a wider, more regularized margin.

  2. 02

    Choose linear or kernel geometry

    Start linear for sparse or high-dimensional data; justify a kernel only when nonlinear gain survives honest validation and latency tests.

  3. 03

    Calibrate only if needed

    If downstream logic consumes probabilities, fit a separate calibrator without treating raw signed distance as risk.

pythonmargin_and_kernel.py
from math import exp

weights, bias = [0.8, -0.5], 0.1
examples = [([2.0, 0.0], 1), ([0.5, 1.0], -1)]
for features, label in examples:
    score = sum(w * x for w, x in zip(weights, features)) + bias
    margin = label * score
    hinge_loss = max(0.0, 1.0 - margin)
    print({"score": score, "margin": margin, "hinge": hinge_loss})

def rbf(left, right, gamma=0.5):
    squared_distance = sum((a - b) ** 2 for a, b in zip(left, right))
    return exp(-gamma * squared_distance)

print("near similarity", round(rbf([0, 0], [0.2, 0.1]), 3))
print("far similarity", round(rbf([0, 0], [3, 3]), 3))

Inspect hinge loss and radial-basis similarity directly.

READ THE EXAMPLE

What to notice

  • A correct example can still have positive hinge loss when its signed margin is below one.
  • The RBF similarity decays with squared distance, so feature scale directly changes what the kernel calls near.
YOUR TURN Pause and predict before revealing the answer.

What happens to both RBF similarities when gamma becomes much larger?

Need a hint?

Gamma multiplies squared distance inside a negative exponential.

Check your reasoning

Both shrink, especially the far pair; neighborhoods become narrower, enabling a more flexible boundary that can also overfit.

Bring forward

Lessons 1, 2, 3, 4 in this course.

03 · Formal treatment

Connect the chapter to the course’s quantitative spine.

SVMs learn from the boundary’s hardest points; kernels change geometry, not scores into probabilities. The logistic probability below is the shared course-level lens that helps quantify the surrounding system. Name each symbol, check its units or shape, and use only values that were available at the production cutoff.

Formal treatment
p(y=1∣x)=11+exp⁡(−x⊤β)p(y=1 \mid x) = \frac{1}{1 + \exp(-x^\top \beta)}

Logistic probability

Symbol, shape or unit contract
SymbolMeaning / shape / unit
xfeature vector
βlearned coefficients
xᵀβlinear log-odds score
Open derivation and numerical substitution

Start from the production quantity being optimized, substitute the observed values with their declared units, then isolate the model-controlled term. Preserve shape annotations at each step so broadcasting or aggregation cannot silently change the result.

  1. Write the named inputs: x, β, xᵀβ.
  2. Substitute one small, hand-checkable batch before vectorizing.
  3. Calculate an independent reference value and compare within a declared tolerance.
# equation → code contract
inputs = validate_shapes_and_units(batch)
value = compute_c04(inputs)
assert is_finite(value)
04 · Deterministic lab

Change one assumption and make the tradeoff visible.

Use the worked chapter as your prediction, then change one input in the lab and explain why the output moves. The lab runs predefined TypeScript and never executes learner code, so the focus stays on the concept rather than setup.

Simplified simulation

Regularization boundary lab

Increase regularization and watch complexity trade against margin violations.

Primary3.43 weight norm
Secondary86.4%
DiagnosisBalanced

Assumption: Synthetic standardized two-feature classification problem.

Open nonvisual data table
ItemComputed stateInterpretation
x=-2logit -2.57negative
x=-1logit -1.29negative
x=0logit 0.00negative
x=1logit 1.29positive
x=2logit 2.57positive
05 · Production implications

Trace the complete operating path.

Carry the chapter’s central idea into the system: SVMs learn from the boundary’s hardest points; kernels change geometry, not scores into probabilities. The path below shows where that reasoning needs an artifact, a test, an owner, or a fallback.

  1. 01

    Turn “Scale and set the margin tradeoff” into a written invariant and a failing test.

  2. 02

    Promote margin_and_kernel.py from illustration to a versioned implementation with representative fixtures.

  3. 03

    Use “Calibrate only if needed” as the release checkpoint: If downstream logic consumes probabilities, fit a separate calibrator without treating raw signed distance as risk.

  4. 04

    Serve or materialize behind explicit 15 ms batch-one latency.

  5. 05

    Join telemetry to mature outcomes and retain a rollback path.

Observability

Join service health, input quality, prediction distributions, slice behavior, and mature outcomes by exact version.

Cost

Measure storage, preprocessing, compute, queueing, and human review under a representative arrival pattern.

Failure modes

Unscaled revenue dominates kNN distance while perfectly separating features destabilize unregularized logistic coefficients. Add a detector, owner, mitigation, and stop condition for this class of failure.

Alternatives

Compare a rule, a simpler statistical baseline, and a different system boundary before adding model complexity.

06 · Check understanding

Explain the contract, not just the vocabulary.

Browser-graded checkpointPass ≥ 80%
01Why scale features for kNN?
02Does an SVM margin score equal probability?
03What is linear in logistic regression?
07 · Apply in production

Explainable ticket-routing baseline

Compare linear/logistic regression, Naive Bayes, kNN, and SVM under one evaluation and serving contract.

  • Preprocessing parity
  • Model-family comparison
  • Calibration and cost policy
  • Serialized latency test
Open assignment and rubric
08 · Sources & next depth

Read primary material with a purpose.

09 · Production resolution

Return to the opening failure.

Compare quality, calibration, latency, memory, and interpretability under one stable validation contract.

For this lesson, the release evidence is the worked code example, a hand-checked formal result, deterministic simulation output, a ≥80% checkpoint, the production rubric, and a named fallback. The course resolves when the system can produce a justified baseline across regression, naive bayes, knn, and svm.

Course production assignmentExplainable ticket-routing baseline