Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedjudge pass (gpt-6-luna)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Identical input laws can hide a large joint-labeling error

Example

Let the input space contain one point x0, and let both source and target input marginals put mass one on x0. Let the source label be 0 surely and the target label be 1 surely. For the class H={h0,h1} of the two constant binary classifiers, every classifier pair has equal source and target disagreement probabilities, so dHΔH(μS,μT)=0. Yet ϵS(h0)=0, ϵT(h0)=1, and the joint-labeling error λ=inf⁡g∈H(ϵS(g)+ϵT(g))=1. Thus the target-risk bound is sharp for h0, and equal input laws alone give no target-risk guarantee when the labeling law changes.

Example references

Source and target joint laws, risks, and covariate shift: defines joint laws, conditional label kernels, input marginals, and covariate shift.

H-delta-H divergence: defines divergence using only the input marginals.

Importance weighting under covariate shift: requires the conditional label kernels to agree on the target marginal.

Target risk bound by source risk, H-delta-H divergence, and joint error: retains the joint-labeling term λ in the target-risk bound.

Ben-David et al., Definition 2 and Theorem 2 proof, printed pp. 156–158: the joint-labeling error and the role of that term in the transfer bound.

Facts & Assumptions

Given: The one-point input space, deterministic source and target labels, and the two constant classifiers in the Example.

[F1]

Source and target joint laws, risks, and covariate shift: source and target risks are probabilities under their respective joint laws, and the conditional label kernels are part of the domain pair.

[F2]

H-delta-H divergence: the divergence compares disagreement probabilities under the two input marginals.

[F3]

Target risk bound by source risk, H-delta-H divergence, and joint error: every classifier satisfies the source-risk plus half-divergence plus joint-error bound.

[F4]

Importance weighting under covariate shift and Source and target joint laws, risks, and covariate shift: importance weighting requires covariate shift, including equality of the source and target conditional label kernels on the target marginal.

Verification

1.1F2given

The two input marginals are identical, so every disagreement event has the same probability under them; [F2] gives dHΔH(μS,μT)=0.

1.2F1givenalgebra

Under the specified labels, ϵS(h0)=0, ϵT(h0)=1, ϵS(h1)=1, and ϵT(h1)=0. Therefore the infimum defining λ is min⁡{0+1,1+0}=1.

2.1F3F4step 1.1step 1.2algebra∎

Substituting these values into [F3] gives 1≤0+0+1, with equality; dropping λ would assert the false inequality 1≤0. The conditional label kernels differ at x0, so the premise in [F4] fails despite the equal input marginals.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

19 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources