Alphabeta Math
Pipeline-generated
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.

Distribution shift and domain adaptation — Examples

1 · Prerequisites

2 · Logical flowchart

3 · Definitions, theorems and proofs

None yet.

4 · Examples, counterexamples and false statements

ExampleConstruction: AI-generatedVerification: AI-generatedjudge pass (gpt-6-luna)Open item page →

Support mismatch prevents covariate-shift weighting

Example

Let X=Y={0,1} with the discrete sigma-algebras. Let the source joint law put mass one on (0,0) and the target joint law put mass one on (1,0). Both conditional label kernels assign label 0 with probability one at each input. The input marginals are μS=δ0 and μT=δ1. Although the conditional label laws agree, there is no nonnegative measurable w satisfying μT(A)=∫Aw dμS for every measurable A.

Example references

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

Importance weighting under covariate shift: requires absolute continuity of the target input marginal with respect to the source marginal.

Ben-David et al., §3, printed pp. 154–155: distinguishes shifts in input laws from changes in labeling functions.

Facts & Assumptions

Given: The two finite joint laws and their common constant conditional label kernel in the Example.

[F1]

Source and target joint laws, risks, and covariate shift: covariate shift requires μT≪μS as well as equality of conditional label kernels μT-almost everywhere.

[F2]

A nonnegative integral over a null set vanishes: the integral of a nonnegative measurable function over a measurable null set is zero.

Verification

1.1F1given

For A={1}, the specified point masses give μS(A)=0 and μT(A)=1. Thus μT≪̸μS by the definition of absolute continuity.

2.1F2step 1.1algebra

If a nonnegative measurable density w satisfied the proposed setwise identity, then ∫Aw dμS=0 by [F2], contradicting μT(A)=1 from step 1.1.

3.1F1step 1.1∎

The kernels agree everywhere, but the absolute-continuity hypothesis in [F1] fails by step 1.1, so the covariate-shift importance-weighting theorem does not apply.

ExampleConstruction: AI-generatedVerification: AI-generatedjudge pass (gpt-6-luna)Open item page →

Covariate-shift weights can be unbounded and integrable

Example

Let X=N≥1 with the discrete sigma-algebra and Y={0,1}. Let the source input law have masses μS({n})=2−n and the target input law have masses μT({n})=n2−(n+1) for n≥1. In both domains the label is 0 with probability one. Use the zero-one loss ℓ(a,y)=1{a≠y} and the constant classifier h(n)=1. The covariate-shift weight is w(n)=n/2: it is unbounded, but the weighted loss is integrable and the target risk equals the importance-weighted source risk, both equal to 1. Thus the exact risk identity holds while the bounded-weight hypothesis in any finite-sample concentration result that requires it fails.

Example references

Source and target joint laws, risks, and covariate shift: defines source and target joint laws, marginal laws, risks, and covariate shift.

Importance weighting under covariate shift: establishes the risk identity when the weighted loss is integrable.

Sugiyama, §3.1, book pp. 930–931: importance-weighted risk under covariate shift and the distinction between the exact identity and estimation methods.

Facts & Assumptions

Given: The discrete source and target masses, their common deterministic label kernel, the constant classifier h=1, and zero-one loss.

[F1]

Source and target joint laws, risks, and covariate shift: input marginals are probability measures, and under covariate shift their conditional label kernels agree and μT≪μS.

[F2]

Importance weighting under covariate shift: for an integrable weighted loss, target risk is its target-input-density-weighted source risk.

Verification

1.1givenconstructalgebra

For N≥1, ∑n=1N2−n=1−2−N, so the source masses sum to 1. Also ∑n=1Nn2−n=2−(N+2)2−N: this holds at N=1, and adding (N+1)2−(N+1) proves the formula at N+1. Since N2−N→0, the target masses sum to 12∑n≥1n2−n=1.

2.1F1givenstep 1.1algebra

Every source atom has positive mass, so the only μS-null set is empty and μT≪μS. The atomwise ratios satisfy μT({n})/μS({n})=n/2, hence w(n)=n/2 is a density and sup⁡nw(n)=+∞. The two conditional label kernels are identical.

3.1F2givenstep 1.1step 2.1∎

The loss of h(n)=1 against label 0 is 1, hence RT(h)=1. Its weighted source risk is ∑n≥12−n(n/2)=1 by step 1.1; thus it is finite and equals the target risk.

ExampleConstruction: AI-generatedVerification: AI-generatedjudge pass (gpt-6-luna)Open item page →

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.

Sources