theorem its proof invokes invoked by

CausalSmith · AI Causal Scientist — CSWP-2026-022 · Stat · pinned commit db544e5 · PDF · Lean code · Slides · AI review · arXiv · GitHub

Outcome Annotation and Minimax Risk for Discrete Average Treatment Effects

The paper delivers a significant sharp minimax result with faithful formal statements, but its publication case is weakened by an unstated load-bearing lower-bound input, proof-led organization, and several misleading presentation choices.

Main criticisms

9 findings — 2 major · 6 minor · 1 nit   Read the entire review →

The paper may have been revised since this report. One automated referee’s estimate — not peer review.
Submitted
17 Sep 2026 (v1) · last revised 20 Sep 2026 (v2)
Cite as
CSWP-2026-022 · https://doi.org/10.5281/zenodo.22882683
@techreport{causalsmith_stat_semisupervised_discrete_ate_annotat_0o7smr7,
  title       = {Outcome annotation and minimax risk for discrete average treatment effects},
  author      = {{CausalSmith}},
  year        = {2026},
  month       = sep,
  institution = {CausalSmith Working Papers},
  number      = {CSWP-2026-022},
  doi         = {10.5281/zenodo.22882683},
  url         = {https://causalsmith.org/papers/stat_semisupervised_discrete_ate_annotation_frontier_v1/},
  note        = {Version 2, revised 20 Sep 2026. Machine-generated; formal statements verified in Lean 4 at commit db544e5}
}
CausalSmith (2026). “Outcome annotation and minimax risk for discrete average treatment effects.” CausalSmith Working Paper CSWP-2026-022, version 2 (20 Sep 2026). https://doi.org/10.5281/zenodo.22882683
DOI 10.5281/zenodo.22882683 Cites version 2 of 20 Sep 2026. One DOI per paper; the record it opens lists every version.

Abstract

This paper characterizes the minimax value of outcome annotation in a finite-alphabet causal experiment. A sample of complete records is augmented by additional records from the same population, where takes known values, and are binary, and occupied covariate cells satisfy overlap at level . For the average treatment effect under consistency and conditional exchangeability, the minimax mean-squared risk satisfies, uniformly over the unrestricted cellwise model, The rate separates outcome information from treatment–covariate marginal information: the term is the labeled-outcome contribution, while the alphabet-dependent term is governed by the combined treatment–covariate records. The upper bound is attained by a fully specified hybrid estimator that uses polynomial correction in light cells and stabilized inverse counts in heavy cells. The lower bound uses common-marginal priors whose induced treatment–covariate tables have the same distribution across hypotheses, so the auxiliary sample is aligned with the marginal-information component. The characterization yields exact consistency, parametric-rate, strict-improvement, binary-alphabet, inverse-count-baseline, and known-marginal-limit consequences for the annotation experiment.

Introduction

Chart-reviewed outcomes are often the scarce resource in observational causal studies, while baseline covariates and treatment assignments are available for many more units. This paper studies the resulting allocation problem in a finite-alphabet causal model. There are outcome-labeled records and additional outcome-unlabeled records , drawn independently from the same population. The covariate takes values in a known alphabet of size , treatment and outcome are binary, and every occupied covariate cell satisfies overlap at level . Under the usual potential-outcome consistency and conditional-exchangeability conditions, the target is the finite-alphabet average treatment effect in Definition 8.

The main result gives the finite-sample minimax frontier for this annotation experiment. For every , Theorem 4 proves that the minimax mean-squared risk in Definition 11 obeys for all , , and . The rate has two resources. Outcome marks enter through the term. Treatment–covariate frequencies enter through the second term, where the relevant sample size is the pooled marginal-information size . Thus the theorem gives a quantitative rule for how additional treatment–covariate records change the attainable accuracy of average-treatment-effect estimation in the unrestricted finite-cell model.

The upper bound is constructive. The estimator in Algorithm 1 splits the labeled sample into outcome, pilot, and factorial pools, splits the auxiliary sample into pilot and factorial pools, and then combines the treatment–covariate records for marginal estimation. Cells with small pilot counts use a Chebyshev polynomial correction and a factorial-moment lift, following the polynomial-approximation ideas used in sharp discrete functional estimation (Jiao et al., 2015; Wu et al., 2016) and the rare-cell perspective developed in sample amplification and unseen-species prediction (Valiant et al., 2017; Orlitsky et al., 2016). Cells with larger pilot counts use stabilized inverse-count weights. Theorem 2 shows that this total, finitely calibrated estimator attains the frontier rate uniformly over the model class.

The matching lower bound uses a common-marginal construction. Theorem 3 supplies priors whose induced random treatment–covariate marginal , the full -cell table, has the same distribution across the two hypotheses, while the outcome regressions shift the target. This aligns the converse with the two-sample annotation design: auxiliary observations reveal the same random marginal object under both branches, and the remaining testing difficulty produces the label floor and the rare-cell approximation term. A separate parametric label floor in Lemma 22 supplies the component.

The frontier connects several familiar regimes. At , the rate becomes . This refines the bracket of Zeng et al. (2026): their plug-in upper bound holds over the unrestricted binary-outcome, discrete-covariate overlap class, while their minimax lower bound is stated for ; they leave closing the logarithmic gap by a polynomial estimator as future work. The present result supplies that construction and, with auxiliary records, replaces the marginal-information sample size by . With fixed and , Theorem 5 shows that converges as to the known-marginal risk in Definition 15, whose order is by Theorem 1. For sequences, Theorem 4 states that consistency is equivalent to , and that parametric risk is equivalent to . The same theorem gives the exact criterion under which auxiliary treatment–covariate records improve the asymptotic order relative to the labeled-only endpoint.

The paper contributes to causal estimation under potential outcomes (Rubin, 1974; Rosenbaum et al., 1983; Imbens et al., 2015), semiparametric and doubly robust average-treatment-effect estimation (Robins et al., 1994; Hahn, 1998; Hirano et al., 2003; Bang et al., 2005; Farrell, 2015; Athey et al., 2018; Chernozhukov et al., 2018; Kennedy, 2016), and auxiliary-data methods for causal and distributional estimation, including semi-supervised treatment-effect, surrogate-outcome, missing-outcome, regression, and quantile settings (Cheng et al., 2021; Chakrabortty et al., 2019; Chakrabortty et al., 2024; Chakrabortty et al., 2022; Kallus et al., 2025; Anniwaer et al., 2025; Xu et al., 2025). Those literatures characterize identification, regular asymptotics, efficiency, and gains from structure or auxiliary measurements. The present analysis gives a finite-alphabet minimax benchmark for the binary-treatment, binary-outcome chart-review design under independent random outcome labeling, occupied-cell overlap, and unrestricted cellwise propensities and outcome regressions.

The appendix records supporting details for the displayed mathematical layer. The paper proceeds as follows. Section 2 positions the result within causal inference, semi-supervised estimation, and non-smooth discrete functional estimation. Section 3 defines the finite-alphabet annotation experiment, the causal target, and minimax risk. Section 4 states the frontier theorem, the known-marginal benchmark, and the common-marginal converse. Section 5 gives the algorithmic construction behind the upper bound. Section 6 discusses the resulting regimes, the inverse-count baseline, the binary-alphabet specialization, and future directions. Sections A, B, and C collect the upper-bound ingredients, common-marginal lower bounds, known-marginal limit, verification note, and proofs.

Related work

This paper studies a two-sample semi-supervised discrete causal experiment: a complete outcome-labeled sample of size is augmented by an outcome-unlabeled treatment-covariate sample of size on a finite covariate alphabet of size . In that experiment, the target is the average treatment effect under the usual potential-outcomes interpretation, while the statistical difficulty is governed by how outcome labels and treatment-covariate cell information are split across the two samples. The contribution is therefore most closely connected to five literatures: identification in potential-outcomes models, semiparametric efficiency for average treatment effects with missing or observed outcomes, high-dimensional causal inference under structure, semi-supervised treatment-effect estimation, and minimax estimation of non-smooth discrete functionals.

The identification framework follows the potential-outcomes tradition of Rubin (1974) and the propensity-score formulation of Rosenbaum et al. (1983); see also Imbens et al. (2015) for a systematic account. In that tradition, consistency and conditional exchangeability connect observed outcome regressions to the causal estimand. The present analysis specializes this framework to a finite covariate space and asks how accurately the resulting discrete average treatment effect can be estimated when additional observations reveal treatment and covariates but omit the outcome.

A large semiparametric literature characterizes regular estimation of average treatment effects under missingness, inverse weighting, augmentation, and doubly robust structure. Classical efficiency calculations include Robins et al. (1994), Hahn (1998), and Hirano et al. (2003), with augmented and robust estimation developed further by Bang et al. (2005). Modern high-dimensional versions combine orthogonal scores with flexible first-stage learning, as in Farrell (2015), Athey et al. (2018), and Chernozhukov et al. (2018); Kennedy (2016) gives a broad review of semiparametric causal estimation. Those results identify regular-asymptotic regimes in which nuisance estimation error can be controlled through smoothness, sparsity, sample splitting, or orthogonality. Here the object is the finite-alphabet minimax risk in an unrestricted discrete model, where rare treatment-covariate cells create a non-smooth estimation problem.

Work on high-dimensional and structured semi-supervised inference provides a complementary perspective. Zhang et al. (2019), Chakrabortty et al. (2018), and Deng et al. (2024) develop semi-supervised methods for means and regression targets in high-dimensional settings. Related robustness and prediction-assisted ideas appear in Angelopoulos et al. (2023). These papers show how auxiliary samples and predictive structure can improve estimation in rich covariate spaces. The present setting uses the finite alphabet itself as the primitive statistical object and characterizes the risk uniformly over the unrestricted cell-level causal model.

A related auxiliary-data literature studies how unlabeled samples, missing-outcome structure, transfer information, regression targets, quantile targets, and surrogate outcomes improve estimation. Cheng et al. (2021), Hou et al. (2025), Kato (2025), Chakrabortty et al. (2024), Anniwaer et al. (2025), and Xu et al. (2025) develop semi-supervised, transfer-style, or regular-asymptotic causal estimators, while Chakrabortty et al. (2019), Chakrabortty et al. (2022), and Kallus et al. (2025) analyze missing-outcome, quantile, and surrogate-outcome settings. Hou, Mukherjee, and Cai establish root- inference and efficiency for partially annotated treatment and response under structured nuisance estimation; Kato studies a two-sample unlabeled-covariate design through generalized Riesz regression and characterizes its efficiency bound. The present paper instead takes an unrestricted finite-cell model and asks for the global finite-sample minimax risk, including rare-cell regimes where regular asymptotics need not apply.

The discrete nature of the model also connects the analysis to minimax estimation of non-smooth functionals of distributions. For entropy, support-size, and related functionals, Jiao et al. (2015) and Wu et al. (2016) show that polynomial approximation helps determine sharp rates, while Valiant et al. (2017) and Orlitsky et al. (2016) develop sample-amplification and unseen-species perspectives on rare cells. The average treatment effect in the annotation experiment has an analogous cell-wise difficulty: estimating outcome means requires labeled observations, while estimating the treatment-covariate weights benefits from the larger treatment-covariate sample. The resulting minimax rate reflects that interaction between labeled outcome information and auxiliary marginal information.

The most direct benchmark is Zeng et al. (2026), who study the same unrestricted binary-outcome, discrete-covariate overlap class with only complete records. Their plug-in upper bound holds for all , whereas their minimax lower bound is stated for ; the two differ by a logarithmic factor in the alphabet-dependent term. The present paper closes that gap at the supervised endpoint and extends the problem to separate outcome-labeled and outcome-unlabeled samples. Table 1 summarizes the sampling design, structural regime, target, and guarantee for the nearest comparisons.

Closest comparisons by auxiliary information, structural regime, target, and inferential guarantee.
Work Auxiliary information Regime and target Guarantee
Zeng et al. (2026) none discrete covariates; ATE supervised minimax bracket
Hou et al. (2025) partially annotated treatment and response structured nuisance models; ATE root- inference and efficiency
Kato (2025) unlabeled covariates two-sample Riesz model; treatment effects efficiency characterization
This paper unlabeled records unrestricted finite cells; ATE exact finite-sample minimax order in

Model and experiment

Throughout the paper, indexes a finite covariate cell, indexes a treatment arm, and sums over cells run over the known alphabet . Generic constants may depend on the overlap level when this dependence is indicated, while sample-size dependence is displayed explicitly. Norms and asymptotic notation are used in their standard finite-dimensional sense, and all probability laws below live on finite measurable spaces unless stated otherwise.

The statistical object is an observed record with a finite covariate, a binary treatment, and a binary outcome. Writing for the covariate, for treatment, and for the observed outcome, the complete record takes values in the following finite space.

Definition 1 [synth_11] (Complete observed-record space).

For each natural number , define the complete observed-record space by An element of is a triple , where is the finite-alphabet covariate, is the binary treatment indicator, and is the binary observed outcome.

⊢ Lean

Let denote a probability law on this observed record space. For a cell , the covariate mass records how much population probability lies in that cell.

Definition 2 [synth_16] (Covariate cell mass).

For an observed-data law on and a covariate value , define the covariate cell mass

⊢ Lean

We also write for the treatment-covariate mass in arm . The treatment propensity is the conditional treatment probability in the cell, with the finite-space convention made explicit next.

Definition 3 [synth_10] (Cell treatment propensity).

For an observed-data law on and a covariate cell , define the treatment propensity by The ratio is interpreted with the usual totalized real division convention, so it is when the denominator is .

⊢ Lean
Assumption 1 [ass:overlap] (Occupied-cell overlap).

For every covariate cell with cell mass , the propensity score satisfies

⊢ Lean

The occupied-cell overlap condition in Assumption 1 is the standard strong-overlap restriction on cells that occur with positive probability (Zeng et al., 2026). It keeps both treatment arms represented wherever the covariate distribution places mass and therefore gives the outcome regressions in the ATE functional a common observed-data interpretation.

The experiment combines complete outcome-labeled records with additional treatment-covariate records. We first record the sampling law for the labeled observations and then define the marginal law governing the auxiliary observations.

Assumption 2 [ass:labeled-iid] (Labeled sampling).

The labeled sample is distributed as

⊢ Lean

The labeled sampling condition in Assumption 2 is the standard independent and identically distributed sampling condition for complete records (Zeng et al., 2026). These observations supply the outcome information used to learn the arm-specific regressions.

Definition 4 [synth_14] (Treatment-covariate marginal).

For any and any observed-data law on , the treatment-covariate marginal is the probability mass function on obtained by pushing forward under the projection :

⊢ Lean

The marginal records the treatment-covariate cell probabilities while integrating out the outcome. The auxiliary sample is drawn from this same population marginal.

Assumption 3 [ass:auxiliary-iid] (Auxiliary sampling).

The auxiliary sample is distributed as

⊢ Lean

Assumption 3 is the standard same-population outcome-unlabeled sampling condition (Chakrabortty et al., 2024). It lets the auxiliary records refine information about the treatment-covariate distribution relevant for weighting cell-level outcome contrasts.

Assumption 4 [ass:sample-independence] (Sample independence).

The labeled and auxiliary samples are independent:

⊢ Lean

The independent two-sample design in Assumption 4 is standard in semisupervised treatment-effect settings with separate labeled and outcome-unlabeled samples (Chakrabortty et al., 2024). Under this design, the product experiment separates outcome information from additional marginal information.

The causal interpretation uses a finite potential-outcome overlay on the same observed-data law. Let denote the binary potential outcome under arm ; the following assumptions connect the observed-data functional to the causal average treatment effect in the usual potential-outcome framework (Rubin, 1974; Imbens et al., 2015).

Assumption 5 [ass:consistency] (Potential-outcome consistency).

The observed binary outcome equals the potential outcome under the realized treatment: almost surely.

⊢ Lean

Assumption 5 is the standard consistency condition (Zeng et al., 2026). It identifies the observed outcome within each treatment arm with the corresponding potential outcome.

Assumption 6 [ass:conditional-exchangeability] (Conditional exchangeability).

The potential outcomes are conditionally independent of treatment given the finite covariate:

⊢ Lean

Assumption 6 is the standard conditional exchangeability condition (Zeng et al., 2026). Together with Assumptions 5 and 1, it gives the observed conditional means their usual causal meaning within each finite covariate cell (Rosenbaum et al., 1983; Imbens et al., 2015).

More explicitly, let be a full-data law for , and let be its observed-data pushforward under Consistency and conditional exchangeability imply, for every occupied cell and arm , Overlap makes the last conditional mean identified in every occupied cell. Therefore which is exactly the observed-data functional defined below. Thus the minimax analysis is over observed laws , while the causal interpretation is supplied by any compatible full-data law satisfying these assumptions.

We now collect the finite-space probability notation, the model class, and the target functional used in the risk analysis.

Definition 5 [synth_13] (Probability laws on a measurable space).

For a measurable space , let denote the set of all probability measures on . For the finite spaces used below, including and , the measurable structure is the full power set.

Definition 6 [def:model-class] (Model class ).

For an overlap constant and alphabet size , define

⊢ Lean

Thus is the class of observed-data laws on the finite alphabet satisfying occupied-cell overlap at level . All suprema in the main risk statements range over this unrestricted cell-level model.

For each arm and cell, the outcome regression is the conditional success probability computed from the observed law.

Definition 7 [synth_17] (Outcome regression).

For a law on , a treatment arm , and a covariate cell , define The quotient is interpreted as total real division, so when the treatment–covariate cell mass is zero. In particular, and are obtained by taking and , respectively.

⊢ Lean
Definition 8 [def:ate-functional] (Average treatment effect functional).

For a finite alphabet size and an observed-data law on , define the average treatment effect functional by Here is the covariate cell mass at , and is the binary outcome regression in treatment arm and covariate cell , totalized by division in the arm cell.

⊢ Lean

The functional averages the within-cell treated-control contrast using the population covariate distribution. Under the potential-outcome conditions above, it is the finite-alphabet causal average treatment effect.

Finally, the annotation experiment and minimax risk formalize the statistical problem studied in the rest of the paper.

Definition 9 [def:annotation-experiment] (Annotation experiment ).

Define the annotation experiment by The product law corresponds to independent complete outcome-labeled records and independent additional outcome-unlabeled treatment-covariate records, with independence between the two samples.

⊢ Lean

Definition 9 defines , the experiment in which outcome labels and treatment-covariate information enter through separate independent samples. This formulation makes the amount of outcome information and the amount of marginal information explicit.

The realized data live on the corresponding product sample space.

Definition 10 [synth_18] (Joint sample space).

For natural numbers , the joint sample space is Equivalently, an element consists of complete records and outcome-unlabeled records .

⊢ Lean
Definition 11 [def:minimax-risk] (Minimax risk ).

Define the minimax mean-squared risk by where is the class of estimators measurable with respect to the labeled sample and auxiliary sample.

⊢ Lean

The risk measures the best possible uniform mean-squared accuracy for estimating the ATE functional in Definition 8 under the experiment in Definition 9. The estimator class contains all measurable procedures based on the two samples, so the minimax risk isolates the statistical difficulty created by finite cells, overlap, and the split between outcome-labeled and outcome-unlabeled information.

Main minimax results

The minimax analysis separates two sources of information in the annotation experiment. Outcome marks contribute through the complete records, while treatment–covariate frequencies contribute through the combined table information carried by the labeled records and the auxiliary records. The resulting rate uses the total marginal-information size and the labeled-sample logarithmic scale.

Definition 12 [def:frontier-rate-handle] (Frontier rate ).

Put The unequal-information annotation-frontier rate is

⊢ Lean

The rate has two components. The term is the labeled-outcome contribution. The term is the discrete marginal-estimation contribution, where the alphabet dimension is compared with the amount of treatment–covariate information available from both samples.

The upper construction and the converse both use finite calibration devices. For the estimator, the calibration fixes dyadic overlap, polynomial degree, light-cell scale, and the data splits used below.

Definition 13 [synth_7] (Finite calibration scales for the mixed estimator).

Set For , let be the least integer such that , and define the dyadic overlap certificate Then . Let be the least positive integer satisfying For , put For and , define and The light-cell scale and pilot-count threshold are For , the calibration predicate using these quantities is declared false.

The lower-bound argument compares two randomized laws through their induced distribution over the treatment–covariate table. The following notation records that marginal distribution for a branch prior.

Definition 14 [synth_12] (Induced law of the treatment--covariate marginal).

Let and let be a probability measure on . If , define Thus, for every measurable set , Equivalently, is the distribution of the full -cell treatment–covariate marginal table induced when the complete-data law is drawn from .

A useful benchmark gives the target risk when the treatment–covariate marginal is observed exactly. In that experiment, procedures may use the labeled sample together with the exact table.

Definition 15 [def:known-marginal-risk] (Known-marginal minimax risk).

For nonnegative integers and and a real overlap parameter , the known-marginal minimax risk is Here is the model class in Definition 6, is the average treatment effect functional in Definition 8, and is the class of measurable estimators based on the labeled sample together with the exact treatment-covariate table , with for every input.

⊢ Lean

Here is the estimator class for the known-marginal problem, and records the corresponding minimax mean-squared error.

Theorem 1 [thm:known-marginal-boundary] (Known marginal boundary).

Suppose the overlap constant satisfies . For the known-marginal minimax risk defined in Definition 15, there exist real constants and with such that, for every with and ,

⊢ Lean

The benchmark establishes the labeled-sample boundary when the full marginal table is available. Once is known, the remaining uniform risk is of order , so additional treatment–covariate observations move the original annotation problem toward this labeled-outcome scale.

The upper bound uses an explicit hybrid estimator. Its calibration first fixes a binary-length scale and a clipping map for the final statistic. The long Context item in the next generated definition records formal dependencies and may be skipped on a first reading. Also, the type in the estimator display denotes precisely the map from the two sample spaces to displayed immediately below it.

Definition 16 [synth_8] (Binary length ).
  • (Context.) Work under Definition 22, Definition 21, Definition 17, Definition 24, Definition 20, Definition 26, Definition 13, Definition 25, Definition 3, Definition 1, Definition 14, Definition 5, Definition 4, Definition 2, Definition 7, Definition 10, Definition 23, Definition 28, Definition 29, Definition 18, Assumption 1, Assumption 2, Assumption 3, Assumption 4, Assumption 5, Assumption 6, Definition 6, Definition 8, Definition 9, Definition 11, Definition 12, Algorithm 1, Definition 19, Definition 27, Definition 30, Definition 15, Theorem 1, Theorem 2, Theorem 7, Lemma 5, Lemma 14, Lemma 17, Lemma 22, Lemma 1, Lemma 3, Lemma 4, Lemma 15, Lemma 29, Lemma 18, Lemma 19, Lemma 25, Lemma 6, Lemma 28, Lemma 7, Lemma 8, Lemma 9, Lemma 10, Lemma 11, Lemma 12, Lemma 23, Lemma 26, Theorem 3, Theorem 4, Lemma 2, Theorem 6, Lemma 13, Lemma 16, Lemma 24, Lemma 27, Lemma 20, Lemma 21, and Theorem 5.

  • (Integer.) Let be an integer.

Define Equivalently, in the notation of Definition 13, .

Definition 17 [synth_3] (Clipping to the unit interval).

For , define Equivalently, is the Euclidean projection of onto the interval .

The estimator itself combines a light-cell polynomial correction with a heavy-cell inverse-count correction. The construction is total: outside its finite calibration region it returns zero, and inside that region it averages a clipped Poisson-prefix statistic. For orientation before the full display, if then its factorial lift at intensity is The complete definition and its moment identity appear in Definition 24.

Algorithm 1 [def:mixed-estimator-handle] (Mixed estimator definition).

For and a real overlap constant , define as the following map from to . Put and Let denote the binary-length calibration quantity used here, and set with , , and . The calibration predicate holds exactly when all of the following finite inequalities hold:

  • (Sample size.) .

  • (Block proportions.)

  • (Degree and scale.)

  • (Polynomial size.)

  • (Tail calibration.)

If fails, set If holds, set where For each , let be the pilot-prefix count in cell , let be the outcome-block prefix count with covariate , treatment , and outcome , and let be the factorial-pool prefix count with covariate and treatment . Then Here is the factorial lift, at degree , scale , and intensity , of the light-cell polynomial weight where with polynomial continuation at zero.

⊢ Lean

The statistic uses labeled outcomes through the counts and uses the larger treatment–covariate pool through the pilot and factorial counts. Light cells receive the polynomial correction familiar from discrete functional estimation (Jiao et al., 2015; Wu et al., 2016), while heavy cells use direct inverse-count weighting.

Theorem 2 [thm:uniform-mixed-upper] (Uniform mixed upper bound).

Fix an overlap constant with . There exists a constant such that, for every , , and , the total computable hybrid estimator of Algorithm 1 satisfies where is the average treatment effect functional in Definition 8, and is the annotation-frontier rate in Definition 12.

⊢ Lean

The upper bound establishes that the displayed rate is attainable uniformly over the model class. Its form reflects the experiment: increasing improves the marginal-frequency term through , while the labeled-outcome term remains governed by . Here total computable means that the displayed finite sums define an everywhere-defined statistic, including at calibration failure; implementation-oriented scope is discussed in Section 6.

The matching converse is organized through priors with a common induced marginal. In the rare-cell regime, the construction below generates a shared random treatment–covariate table and perturbs the treated outcome regression across two branches.

Definition 18 [synth_22] (Common-marginal finite-atom construction).

Fix , an integer , scales and , and write Let be a finite signed measure on with total variation one, let , and define a probability law on by For an integer , the finite-atom construction has atom-generator law on . Given , form rare cells and one reservoir cell. For each rare cell with , set put , and set the treated outcome regression in branch to At atoms with , assign the same legal propensity and outcome values in both branches. The reservoir has raw mass propensity , and outcome regressions equal to zero. Alphabet cells not used by the rare cells or the reservoir have mass zero.

The raw total mass is The branch law is obtained by dividing every raw cell mass by and keeping the propensities and outcome regressions just specified. The corresponding raw target is so the normalized target value of the generated law is . The branch priors are the pushforwards Thus the two branches use the same generated rare-cell masses, reservoir mass, propensities, normalization factor, and treatment–covariate table, while differing only in the branch sign of the treated rare-cell outcome regressions.

The finite-atom construction makes the shared marginal table explicit: the branches draw the same rare-cell masses and propensities, then separate the targets through outcome regressions. The common-marginal handle chooses between this rare-cell recipe and a parametric point-mass regime according to the comparison in the following definition.

Definition 19 [def:common-marginal-prior-handle] (Common-marginal prior handle).

Fix , , and a calibration consisting of constants with all eight constants positive and . A common-marginal prior handle at consists of integers , real numbers , and a calibrated recipe supplying two induced priors, denoted and , on laws on , subject to and The recipe uses the finite-atom construction exactly when For a handle and a branch , the common-marginal prior is the branch-indexed measure

⊢ Lean

The two branches are calibrated so that the auxiliary sample sees the same random marginal table under both hypotheses. Hence the distinguishing information in the lower-bound experiment must pass through the labeled outcomes.

Theorem 3 [thm:common-marginal-converse] (Common marginal converse).

Let , the overlap parameter, satisfy . Then there exist a constant and a collection of -dependent calibration constants as in Definition 19 such that, for every with , , and , the regime-dependent handle in Definition 19 supplies priors and satisfying and where is the frontier rate in Definition 12 and is the minimax risk in Definition 11.

⊢ Lean

The converse gives the complementary half of the sample-size separation. Matching the induced law across the two priors makes the auxiliary records contribute through the marginal-frequency side of the construction; outcome-marked observations remain the resource that controls the component.

Combining the attainable estimator with the common-marginal converse yields the sharp risk statement and its sequence consequences.

Theorem 4 [thm:sharp-annotation-frontier] (Sharp annotation frontier).

For every overlap parameter satisfying , there exist constants and , depending only on , with such that the following assertions hold.

  • (Finite-sample bracket.) For every , , and , where, with and ,

  • (Unannotated endpoint.) For every and every ,

  • (Known-marginal limit.) For every fixed and ,

  • (Sequence regimes.) For any sequences and of nonnegative integers satisfying for every , set and . Then and if and only if both and

⊢ Lean

Theorem 4 characterizes the minimax risk up to constants depending only on the overlap parameter . In its generated statement, the phrase unannotated endpoint means , namely the labeled-only endpoint with no auxiliary outcome-unlabeled records. The consistency threshold compares the alphabet size with ; the parametric-rate threshold allows to grow as ; and the strict-improvement criterion identifies when auxiliary treatment–covariate records improve on that labeled-only endpoint. The theorem therefore gives a theoretical sample-size frontier for the two sources of information; its conservative calibrated witness is not an operational allocation rule.

The known-marginal bullet in Theorem 4 is a summary pointer. The following formally primary statement records that limiting link with the known-treatment--covariate-marginal benchmark experiment and gives the exact large- endpoint for fixed labeled sample size and alphabet size.

Theorem 5 [thm:known-marginal-limit] (Known marginal limit).

Fix an overlap parameter , a labeled sample size , and a finite covariate alphabet size . Suppose

  • (Overlap.) .

  • (Labeled size.) .

  • (Alphabet size.) .

Then the minimax mean-squared risk from Definition 11 converges, as the auxiliary sample size , to the known-marginal minimax risk from Definition 15:

⊢ Lean

The limit is the formal version of the marginal-information interpretation. As the auxiliary sample grows with and fixed, the treatment–covariate table is learned to the known-marginal benchmark, and the risk converges to the boundary in Theorem 1.

The hybrid estimator

This section gives an algorithmic reading of the estimator used in Algorithm 1. The construction separates three statistical roles that are intertwined in the target functional: the labeled records supply outcome marks, the combined treatment–covariate records estimate marginal cell frequencies, and the calibration chooses when a cell is treated by polynomial extrapolation rather than by direct inverse-count weighting.

The first step is deterministic sample splitting. The labeled sample is divided into an outcome block of size , a pilot contribution of size , and a factorial contribution of size . The auxiliary sample is divided into pilot and factorial contributions of sizes and . Pooling the corresponding labeled and auxiliary treatment–covariate records gives pilot and factorial pools of sizes and . This split makes the outcome counts independent of the treatment–covariate counts used to choose and evaluate the weights, matching the independence structure required by the risk analysis.

The finite calibration in Algorithm 1 then fixes the polynomial degree , the light-cell scale , and the pilot threshold . The predicate is a computable list of inequalities involving these quantities, the dyadic overlap certificate , and the prefix intensities . When the predicate holds, the selected scales keep the polynomial coefficients and Poisson tails within the finite-sample ranges used by the upper-bound argument. When it fails, the estimator is defined by the zero rule, which keeps the procedure total for every admissible .

The estimator uses Poisson-prefix derandomization to express an independent-Poisson statistic as a deterministic function of the fixed samples. For each triple of prefix lengths , the rule keeps the first observations in the outcome block, the first observations in the pilot pool, and the first observations in the factorial pool, then averages the resulting clipped statistic against the three Poisson probabilities. This finite sum is the conditional expectation of the randomized prefix statistic, so the implemented estimator remains an ordinary measurable statistic of the observed data.

For each covariate cell , the statistic forms three counts. The pilot count decides the regime. The outcome counts and count labeled successes in the two treatment arms within the outcome prefix. The factorial counts and count treatment–covariate observations in the factorial prefix. Thus outcome information enters only through the success counts, while the larger annotated and unannotated treatment–covariate pool enters through and .

Cells with use the light-cell polynomial weight. The Chebyshev component defines , its continuation , and the correction polynomial , giving the weight polynomial in Algorithm 1. Its factorial lift replaces monomials in the unknown cell probabilities by falling-factorial count statistics. This applies the polynomial-approximation strategy used in sharp discrete functional estimation (Jiao et al., 2015; Wu et al., 2016) to the inverse propensity-type weights needed for the average treatment effect, with the rare-cell organization motivated by sample-amplification and unseen-species perspectives (Valiant et al., 2017; Orlitsky et al., 2016).

Cells with use the heavy-cell inverse-count rule. In those cells, the factorial prefix supplies enough treatment–covariate mass for the ratios to act as stabilized inverse-count weights. The added ones keep the weights finite at every realized count configuration, while the pilot threshold routes cells with limited marginal information to the polynomial branch.

Finally, Algorithm 1 sums the cell contributions and applies . The clipping matches the natural range of the average treatment effect functional and controls exceptional prefix realizations without changing the structure of the light- and heavy-cell rules. The resulting statistic, , is therefore a fully specified finite-sample estimator built from deterministic splitting, calibrated polynomial extrapolation, inverse-count stabilization, and bounded aggregation.

Theorem 2 is the performance guarantee attached to this construction. Under the overlap model and product-sample experiment stated earlier, the calibrated estimator attains the rate in Definition 12 uniformly over the model class. The two pieces of the rate correspond to the two resources used by the algorithm: labeled outcomes determine the component, while treatment–covariate counts from both samples determine the marginal-frequency component through .

Proof roadmap.

Poissonization first makes the outcome, pilot, and factorial counts independent. The light-cell argument uses Chebyshev approximation and unbiased factorial moments; the heavy-cell argument uses the exact stabilized inverse-count mean and moment bounds. Pilot tails control routing errors, and summing the cellwise bias and variance bounds yields the Poissonized risk. Prefix conditioning then transfers that bound to the fixed samples. For the converse, moment-matched common-marginal priors keep the auxiliary table indistinguishable while separating the ATE, and a separate binary submodel supplies the label floor. The dependency map at the start of Section A links these ideas to the detailed certificates.

Interpretation and extensions

The main minimax theorem yields three interpretable sequence consequences. In the notation of Definition 12, the risk is consistent precisely along sequences for which the labeled sample grows and the treatment–covariate information is sufficiently rich relative to the alphabet size. The first component, , is the irreducible cost of observing binary outcomes; the second component, , is the cost of learning enough about the treatment–covariate distribution to stabilize the inverse-probability structure of Definition 8. Thus the auxiliary sample improves risk through the marginal table rather than through direct outcome information.

The parametric regime is the portion of the experiment in which the marginal-frequency component is of order or smaller. There the sharp rate in Theorem 4 matches the labeled-outcome benchmark up to constants depending only on the overlap constant. In that range, the hybrid estimator of Algorithm 1 uses the auxiliary treatment–covariate records to make the nuisance marginal problem small enough that the remaining mean-squared error is governed by outcome sampling.

A complementary regime is where annotation yields strict improvement over the supervised endpoint. With , the marginal table is learned only from the labeled sample, and the second term in Definition 12 is . Adding outcome-unlabeled treatment–covariate records replaces by in that component. Consequently, when the alphabet is large enough for the marginal-frequency term to matter and the auxiliary sample makes substantially larger than , Theorem 4 gives a quantitative risk reduction inside the same overlap model and target functional. This is the sense in which outcome annotation has value here: it converts unlabeled treatment–covariate information into a sharper stabilized estimate of the average treatment effect.

The hybrid rule in Algorithm 1 is calibrated to attain the logarithmic rate in Definition 12. A simpler comparison is obtained by using inverse-count stabilization everywhere, without the light-cell polynomial correction. The next definition records this baseline in the same sample-splitting and Poisson-prefix format, so that the comparison isolates the role of the polynomial branch. Every quotient in this definition uses totalized real division: when , division by evaluates to zero. Consequently the clipped prefix statistic remains defined for , where .

Definition 20 [synth_5] (Poisson-prefix inverse-count estimator).

For , , and , put and . Given a labeled sample and an auxiliary sample , define when or . For and , let be the number of records among the first labeled observations with . Let be the number of records with in the factorial prefix formed from the last labeled records and the last auxiliary records, taking the first records of that pooled factorial block in its fixed order. Define

The statistic in Definition 20 uses the outcome prefix to estimate treated and control success masses and the factorial prefix to form stabilized inverse-count weights. The added ones make the expression finite in every cell and for every realized prefix length. Averaging over the Poisson prefix lengths derandomizes the construction while preserving the same count structure.

Theorem 6 [thm:inverse-count-baseline] (Inverse-count baseline bound).

Fix an overlap constant with . Then there is a constant such that, for every , , and , the clipped derandomized inverse-count estimator defined for each sample by is measurable. Here , , , , and are the block sizes from Algorithm 1, and is the sample-and-prefix-count statistic of Definition 20.

Moreover, Here is the overlap class in Definition 6, is the average treatment effect functional in Definition 8, and the expectation is under the annotation experiment of Definition 9. Consequently, for the minimax risk in Definition 11,

⊢ Lean

Theorem 6 shows that direct inverse-count stabilization already converts auxiliary treatment–covariate observations into a risk bound with the same two-resource form as the sharp theorem: a labeled-outcome term and a marginal-frequency term. Its marginal term is , whereas Theorem 4 attains the logarithmically improved rate through the calibrated light-cell polynomial component. The comparison identifies the gain supplied by the hybrid construction in sparse cells while keeping the same model, target, and product-sample experiment.

The general rate also has a simple specialization at the smallest nontrivial alphabet size. When the covariate alphabet is binary, the marginal-frequency component is uniformly absorbed into the labeled-outcome scale.

Theorem 7 [prop:binary-alphabet-parametric-rate] (Binary parametric rate).

Let . For the minimax risk defined in Definition 11, at binary alphabet size there exist constants with such that, for every integer and every integer ,

⊢ Lean

Theorem 7 gives the exact order of the minimax risk for : the experiment is parametric for every auxiliary sample size. The upper bound follows the same scale as the labeled-outcome term in the main theorem, while the lower bound records that binary outcomes still require order mean-squared error uniformly over the overlap class. Thus, in the binary-alphabet case, auxiliary treatment–covariate records fit naturally into the constant factor rather than changing the rate.

The result complements semisupervised causal and surrogate-outcome analyses in which auxiliary observations improve estimation through nuisance-function, design-distribution, or surrogate-response learning (Cheng et al., 2021; Chakrabortty et al., 2024; Kallus et al., 2025). Here the finite-alphabet structure makes that role explicit in minimax form: unlabeled treatment–covariate records sharpen the marginal component of the risk, and the sharp theorem characterizes exactly when that sharpening changes the rate.

Limitations and future work.

The analysis treats independent random outcome labeling from a shared population, binary treatment and outcome, a known finite covariate alphabet, occupied-cell overlap, and unrestricted cellwise nuisance functions. These conditions define a transparent discrete benchmark in which the value of outcome annotation can be characterized exactly. The constants in the explicit calibration are deliberately proof-oriented rather than implementation-oriented: for example, already at degree , the stronger displayed polynomial-size condition requires on the order of . Thus the theorem establishes a finite-sample minimax rate and an explicit witness, but it does not recommend this conservative calibration as a practical estimator at ordinary sample sizes. Natural extensions include sharper implementable tuning, continuous or growing covariate representations, multi-valued treatments or outcomes, adaptive annotation designs, and structural restrictions on the cellwise outcome regressions or propensity scores.

Appendices

Upper-bound ingredients

This appendix collects the analytic ingredients used by the upper bounds in Theorem 2 and by the inverse-count comparison in Theorem 6. The statements are organized around the two treatment–covariate masses that enter the estimators, the all-heavy inverse-count calculation, the polynomial certificate for light cells, and the fixed-sample transfer that connects the Poissonized construction to the annotation experiment.

The proof dependency map is as follows. The inverse-count moment lemmas feed the heavy-cell analysis; Definition 24, Lemma 5, and Lemma 16 feed the light-cell analysis; the calibrated mean and second-moment bounds combine in Lemma 13; and Lemma 14 converts that Poissonized bound into Theorem 2. Section B independently supplies the common-marginal converse, after which the upper and lower bounds meet in Theorem 4. This map is the shortest reading path through the detailed certificates below.

The inverse-count analysis uses one scalar inequality to insert the marginal treatment–covariate intensity into the variance calculation. It is stated first because the later cellwise bounds apply it separately to each covariate cell and treatment arm.

Lemma 1 [lem:poisson-inverse-marginal-energy-scalar] (Marginal energy insertion).

Let . Suppose that

  • (Basic scales.) , , , and .

  • (Outcome masses.) and .

  • (Marginal intensities.) For each , .

  • (Second-moment rates.) , , and .

  • (Fourth-moment rates.) , , and .

Put Then

⊢ Lean
Proof of Lemma 1.
  1. First derive the scalar bidirectional energy bound. The lower and upper intensity bounds, together with and , imply and, for the denominator attached to , Using also , we have and hence Similarly, so the fourth-moment rate gives Combining these two estimates yields The same calculation with the roles of and interchanged gives Therefore

  2. Define the three real quantities Since , we have . For each displayed outcome mass, because . Thus

  3. All coefficients multiplying and below are nonnegative, by the nonnegativity of the intensities, the moment rates, and . Hence the comparison from the previous step gives Applying the scalar bidirectional bound from Step 1 and using , we obtain

∎

Lemma 1 converts arm-level inverse-count moment bounds into a covariate-cell contribution controlled by the total marginal scale . The overlap inequalities in the statement match the occupied-cell overlap structure of , while the final display has the form needed to sum over cells.

We next isolate the cell-level notation used throughout the appendix. The treatment–covariate mass records how often an arm appears in a covariate cell, while the outcome-marked mass records the same cell together with a successful binary outcome.

Definition 21 [synth_2] (Cell arm mass).

For a law on , a covariate cell , and a treatment arm , define the treatment-covariate cell mass

⊢ Lean

The mass is the denominator scale for inverse treatment-cell weights. Under the overlap model in Definition 6, occupied covariate cells have both arm masses controlled by the same covariate mass, so inverse-count weights can be calibrated uniformly over the model class.

Definition 22 [synth_1] (Outcome-marked cell mass).

For an observed-data law on the finite record space , define the outcome-marked cell mass for and by Equivalently, is the probability mass assigned by to the complete atom .

⊢ Lean

The outcome-marked mass supplies the numerator scale. Combining with an inverse estimate of gives a cellwise contribution to the average treatment effect functional in Definition 8.

The simplest upper-bound component treats every cell as sufficiently observed and uses inverse counts throughout. This statistic is useful both as a baseline and as the heavy-cell part of the hybrid estimator.

Lemma 2 [lem:poisson-inverse-count-risk] (Poisson inverse-count risk).

Fix an overlap constant with . There is a constant such that, for every , every , and every observed-data law as in Definition 6, the following holds.

In the independent Poisson count experiment with independent counts define Writing for the average treatment effect functional in Definition 8,

⊢ Lean
Proof of Lemma 2.

Fix . Put These constants are positive. We prove the two asserted inequalities with . Fix , , and . For each cell write Thus , , and . By Definition 6, the overlap condition gives

  1. For , let denote the opposite arm and define the scalar arm mean Independence of the Poisson coordinates and linearity of expectation give Indeed, after expanding the summand defining , each term is integrable by the polynomial growth bound where is the total count over all displayed Poisson coordinates, and all polynomial moments of the finite product Poisson law are finite. The product structure then reduces the expectation to the one-cell arm mean above.

  2. For a Poisson variable with mean , Define the arm outcome regression by Then for all cells and arms, including zero-mass arms, and . Using and the preceding identity with , one obtains the continuous formula Since , , and , Consequently, using Definition 8, For every , , while . Hence Writing , the elementary inequality gives

  3. We next bound the variance. For a full count array , let be the change in after adding one to , and let be the change after adding one to . The finite-product Poisson add-one Poincare inequality gives, for , The square-integrability hypotheses required for this inequality follow from the same polynomial growth estimate used above, applied also to the add-one increments.

  4. For the outcome-count increments, where the sign is irrelevant after squaring. If and , then . For independent and , set The Poisson reciprocal bounds give Moreover and . Thus product-measure factorization gives The overlap comparison , together with , implies . Hence and, using , Consequently Multiplying by the rate and summing yields

  5. It remains to control the marginal-count increments. In one fixed cell, write and, for , write The reciprocal estimates are For a full count array , define The add-one formulas for are The two displayed components are nonnegative. Hence so the component squares are integrable because the add-one increment is square-integrable. Applying to the preceding decomposition gives, for each , Product-measure factorization gives The Poisson second-moment bounds are Combining the last three displays yields Since and , The hypotheses of Lemma 1 hold after identifying its generic cell mass and total intensity with with its arm rates equal to , its marked masses equal to , and its four reciprocal moments equal to . These arm rates are simply , which are nonnegative because and . Also , , , and ; the outcome masses satisfy ; overlap gives , while gives ; and the displayed reciprocal estimates give the required second- and fourth-moment rate conditions. Therefore Lemma 1 yields Multiplying the add-one-square bounds by their Poisson rates , summing over , and using the preceding display gives the cell estimate

  6. Summing the preceding display over , Since and , Thus The first sum is . For the second, since and , and hence Thus

  7. Combining the Poisson Poincare bound with the outcome and marginal energy estimates, Since and , Together with the bias bound from Step 2, this proves the claim.

∎

Lemma 2 separates the two costs of the all-heavy construction: the bias is governed by the number of cells relative to the treatment–covariate intensity, and the variance is governed by the outcome and count intensities. This is the parametric inverse-count behavior that becomes effective once the pilot stage classifies a cell as heavy.

To use this calculation with sampled prefixes, the Poisson record experiment is identified with the independent count experiment. The next two statements record the count law for two independent prefixes and then name the prefix distribution used by the inverse-count transfer.

Lemma 3 [lem:poisson-prefix-count-law] (Poisson prefix count law).

Let be a probability law on , and let . Write Under the prefix law that independently draws an outcome-marked prefix with records from and a treatment–covariate prefix with records from the marginal , define Then the pushforward of the prefix law under the map sending the two prefixes to the array is the product measure Equivalently, the coordinates are mutually independent, with for every and .

⊢ Lean
Proof of Lemma 3.

Let and . For a finite prefix in a finite space , write The elementary Poisson splitting identity says that if and, conditionally on , are i.i.d. with law on , then Indeed, for any nonnegative integers , with , Applied to the outcome-marked prefix with intensity and the treatment–covariate prefix with intensity , and using the independence of the two prefixes, this gives with the two histogram arrays independent. Mapping the first histogram to selects one coordinate for each . Since the selected observed coordinates are distinct, and the auxiliary histogram is independent of the observed histogram, the array has law This array is exactly . In the degenerate case , the same display is the empty product measure on the one-point array space.

It remains to identify the two singleton masses in the displayed product. By the definition of , Hence the first Poisson intensity is .

For the auxiliary marginal, is the pushforward of under . Therefore Thus the second Poisson intensity is . Since , these products are the corresponding nonnegative Poisson parameters, and substituting the two identities into the preceding product law yields The product representation is equivalent to mutual independence of all coordinates and to the stated marginal laws for every and .

∎
Definition 23 [synth_19] (Poisson-prefix law).

For and intensities , let denote the following probability law. Draw two prefix lengths independently, Conditional on , draw an outcome prefix and, independently, a factorial treatment–covariate prefix Thus the two prefixes are independent, the outcome prefix has complete-record sampling law , and the factorial prefix has treatment–covariate sampling law . Under , the associated counts are independent across the two prefixes, with

Lemma 3 and Definition 23 justify applying the count-risk calculation directly to Poisson prefixes of the original records. The prefix representation is convenient for derandomization because every admissible prefix length is a finite statistic of the fixed sample pools.

Lemma 4 [lem:inverse-count-poisson-prefix-transfer] (Poisson prefix transfer).

Let be nonnegative integers, let , and let as in Definition 6. Define and set and . Let be the clipped derandomized inverse-count estimator obtained by averaging, over and , the finite-prefix inverse-count output with weights Let be the clipped inverse-count statistic computed from two independent Poisson prefixes: an outcome-marked prefix with law induced by and length , and a treatment–covariate prefix with law and length . Then, for the annotation experiment in Definition 9 and the ATE functional in Definition 8,

⊢ Lean
Proof of Lemma 4.

Put All lists below use the empty-list convention when one of the displayed lengths is zero.

  1. For finite prefixes of outcome-marked observations and of treatment–covariate observations, write so that, by clipping, Also, using Definition 8, the fact that is a probability law in Definition 6, and , with the standard zero-mass-cell convention.

    For fixed pools and , define the capped prefix value Let and be independent, and set If , Jensen’s inequality for the conditional expectation over gives On the event , the selected prefixes have the same law as the independent Poisson prefixes restricted to their lengths fitting in the two pools. Hence On , the capped value is , and the interval bound above gives The union bound gives Combining these displays,

  2. For a full sample , with and , define the fixed-pool projection For every , Indeed, expanding gives and the terms with or are zero, leaving exactly the finite average over and in the derandomized inverse-count estimator.

  3. Under the annotation experiment in Definition 9, The first component selects the first labeled records. The second component concatenates the treatment–covariate projections of the final labeled records with the final auxiliary records; independence of the original product samples and the definition of give the displayed product law. Therefore the change of variables formula yields Measurability is immediate because all sample spaces involved are finite products and the statistic is clipped.

  4. Applying the transfer bound from the first step to the fixed-pool risk in the last display gives Under , the random value is precisely , and . This is the claimed inequality.

∎

Lemma 4 converts the Poisson-prefix risk into a fixed-sample inverse-count estimator, with the excess risk controlled by the two prefix-overflow probabilities. This is the transfer step behind the inverse-count comparison in Theorem 6.

For light cells, the hybrid estimator replaces reciprocal weights by polynomial weights. The next definition records the factorial-moment lift used to turn the polynomial into an unbiased Poisson statistic, following the same polynomial-estimation principle used in discrete functional estimation (Jiao et al., 2015; Wu et al., 2016; Valiant et al., 2017; Orlitsky et al., 2016).

Definition 24 [synth_4] (Factorial lift of the light-cell polynomial).

Fix , an integer , and constants . Let where is the Chebyshev correction polynomial and only finitely many coefficients are nonzero. For integer counts , define the factorial lift with and . Thus each monomial of is replaced by the corresponding unbiased Poisson factorial-moment statistic.

The lift in Definition 24 is tailored to independent Poisson counts: each falling factorial has expectation equal to the corresponding power of the intensity. The remaining task is to control the polynomial and the second moment of its lift uniformly over the light-cell range.

Lemma 5 [lem:chebyshev-factorial-certificate] (Chebyshev factorial certificate).

There is a universal constant such that, for every integer , the polynomial continuations satisfy the following properties:

  • (Degree.) The polynomial has degree at most .

  • (Chebyshev certificate.) For every , and, whenever ,

  • (Factorial-lift moment.) For every and every with if and are independent, then the factorial lift satisfies Moreover, if , then

⊢ Lean
Proof of Lemma 5.

Choose , so .

1. Fix an integer . Write Since has degree and has degree at most , Multiplication by the scalar does not increase degree, and subtraction from gives Because is the quotient of by , its degree is at most . Hence using . Dividing once more by gives

2. By Lemma 16, for every , and, for , These are exactly the Chebyshev-certificate assertions.

3. It remains to check the moment assertions with the same constant. Let , , , , and , and let and be independent. Applying Lemma 16 with gives If in addition , the same calibration yields Since , these are the two required factorial-lift moment bounds.

∎

Lemma 5 provides the approximation identity and moment growth bound needed for the light-cell part of the hybrid statistic. The identity expresses the reciprocal-weight correction, and the displayed decay of quantifies the approximation error at positive mass. The factorial-lift moment bound then keeps the variance compatible with the polynomial degree used in Algorithm 1.

The hybrid mean analysis separates the deterministic light-cell approximation error from the pilot-classification error on heavy cells. The next statements give the corresponding cell-summed bounds and the envelope calculation that puts them on the target rate scale.

Lemma 6 [lem:calibrated-envelope-absorption] (Calibrated envelope absorption).

Let and . There is a constant , depending on and , such that the following holds.

  • (Sample sizes.) are integers with , , and .

  • (Calibration.) The finite calibration predicate from Algorithm 1 holds.

  • (Estimator scales.) With the block sizes and scales from Algorithm 1, and Let and , as in Definition 12.

Then

⊢ Lean
Proof of Lemma 6.
  1. Let be the calibration constant appearing in Algorithm 1, viewed as a real number, and set We take Since , , and , every displayed summand in is nonnegative except for none, and hence .

  2. Fix with , , and . Write where , and define the comparison scale All quantities in the displayed inequalities below are understood as real numbers. The sample-size assumptions give Moreover, because . From in Algorithm 1, , and . The calibration inequalities also give , , , and : indeed , , , and .

  3. The block-proportion part of supplies The scale definition , together with gives The same calculation with the upper block bounds and yields the full auxiliary estimate Only the upper bound is used below.

  4. Let be the binary-length calibration quantity from Algorithm 1. The logarithmic estimate gives The degree calibration inequality is so . Therefore The polynomial-size condition gives Finally, since ,

  5. Put From , the elementary inequality , applied with gives Also, from and positivity of ,

  6. The reciprocal block bounds are because and . Hence and Since , these estimates combine to

  7. The two core normalized products obey where the middle step uses , and where is used in the second inequality.

  8. The first light-envelope term satisfies The second light-envelope term satisfies Adding the two bounds and using gives

  9. Since , Consequently, Using and , Because , we obtain

  10. For the squared bias term, Both sides are nonnegative, so squaring gives Also , hence The inequality , applied to therefore yields

  11. Combining the light-envelope, reciprocal, variance-polynomial, and squared-bias estimates gives Since and , the right-hand side is at most . Substituting back with and from Definition 12, is precisely the asserted inequality.

∎

Lemma 7 compares the light polynomial contribution with the inverse-count contribution on cells whose covariate mass is at most . The bound has a Chebyshev approximation term and a factorial-pool intensity term, matching the light-branch mean terms that later enter the calibrated envelope.

Lemma 7 [lem:hybrid-light-branch-mean-bound] (Light branch mean bound).

Let be a law in the finite model class of Definition 6. Let and let be an integer. For each , write For each , let be independent Poisson counts with Using the light factorial-lift weights and heavy inverse-count weights from Algorithm 1, set where the light weights use degree , scale , and intensity . Then

⊢ Lean
Proof of Lemma 7.

Let where , with the usual harmless value when . Let . The cell masses are nonnegative and , since is a probability law. We prove the bound by first controlling each summand and then summing over .

Step 1. Fix . The light-branch expectation equals To verify the first equality, write the light polynomial as The factorial lift in Definition 24 is Independence and the Poisson factorial-moment identity therefore give . Independently, , which proves the displayed formula for . The light Chebyshev estimate then gives Indeed , , and Assumption 1 gives for each arm whenever . If , then , so the displayed bound is immediate. If , the shifted Chebyshev certificate in Lemma 5, together with the definitions of and in Algorithm 1, gives, for , Writing , the light-branch error becomes a linear combination of the two terms . Since and , each arm contributes at most , giving the stated two-arm bound.

Step 2. The heavy inverse-count branch satisfies Write for the outcome-block intensity. For each arm , set Since the outcome pool is independent of the factorial pool and , The armwise inverse-count expectation formula in Lemma 8, applied to the independent factorial counts, gives Consequently because , , and occupied-cell overlap gives ; when , both sides vanish. Since the triangle inequality gives the displayed heavy-branch bound.

Step 3. Combining the two preceding bounds, To see this, write and use with and .

Step 4. For every , Indeed, The elementary envelope , applied with and , gives Multiplying by the nonnegative factor gives the displayed bound. The envelope itself follows from , multiplied by , and then divided by the positive number .

Step 5. Summing the pointwise bound over gives Since and , Finally , so . Substituting and yields as claimed.

∎

The comparison in Lemma 7 is anchored by an exact arm-level identity for the heavy inverse-count mean. The identity expresses the inverse-count arm contribution as the desired cell term plus an exponentially damped residual.

Lemma 8 [lem:poisson-inverse-arm-mean-formula] (Inverse-count arm mean).

Let be an observed-data law on , let , and let . Write for the covariate-cell mass, for the treatment-covariate cell mass, for the outcome-marked mass, and for the totalized outcome regression. If and , and if and are independent, then

⊢ Lean
Proof of Lemma 8.

1. Put and write The cell probabilities are nonnegative, so , , and . Since , the nonnegative rates above are the real values of the corresponding Poisson intensities. Also, because the two treatment arms partition the covariate cell .

2. Define with the two counts independent. The product-Poisson identity used for this expectation is Indeed, for , Fubini factorizes the cross term as The Poisson first moment gives and the shifted reciprocal identity gives Multiplying the displayed formula for by yields the claimed identity.

3. Substituting , , and , the preceding display becomes Because , cancellation of gives Multiplying by and rearranging,

4. Finally, This is immediate from when . When , the bound , obtained by summing the nonnegative outcome masses in the arm cell, gives , and the same identity holds under the totalized division convention. Hence, since the normalized outcome count has mean , as claimed.

∎

Lemma 8 supplies the cellwise bias formula used when the heavy branch is compared with the target ATE contribution. The exponential factor is controlled by the treatment–covariate intensity, so the identity connects the heavy branch to the same marginal scale that appears in Lemma 2.

A second auxiliary bound controls the event that a truly heavy cell is nevertheless routed to the light polynomial branch. It combines the pilot probability of such a routing event with the polynomial second moment under the factorial-pool law.

Lemma 9 [lem:heavy-light-second-moment-sum] (Heavy light second moment).

Let be a finite alphabet size, let be an observed-data law on , and let be integers. Suppose that:

  • (Positive overlap parameter.) The overlap parameter satisfies .

  • (Sample size.) The labeled sample size satisfies .

  • (Calibration.) The finite calibration predicate from Algorithm 1 holds.

Set with these quantities defined as in Algorithm 1. For each , let where, conditionally on , the pilot counts have independent components , . Let be the product law under which the outcome and factorial counts are independent with and define the light polynomial cell contribution where the factorial lift is taken at degree , scale , and intensity . Then

⊢ Lean
Proof of Lemma 9.

Let The quantities are those fixed in Algorithm 1. For each , put Thus the left-hand side is .

  1. The cell masses satisfy Hence, for the finite set , The calibration predicate gives , , , and . Since , These inequalities also cover the case , where the sums are zero.

  2. Fix , and define Because and , . Also . The pilot count is with independent arms and . Since and , The standard Poisson lower-tail bound therefore gives For the light-polynomial second moment, Lemma 16 supplies the factorial-lift bound Writing , independence of and the factorial counts gives Since , and using , Consequently,

  3. The definition , together with positivity of , gives Therefore The numerical choice of in Algorithm 1 includes Using , , and , Thus The calibration predicate also gives , where . Since , Finally dominates for , so Combining the last three displays yields Substituting this into the bound from the previous step gives, for every ,

  4. Summing the preceding cellwise inequality over , By the bounds from the first step, Therefore This is the claimed bound.

∎

Lemma 9 makes the heavy-cell misclassification contribution negligible on the calibrated scale. Its summand contains both the pilot routing probability and the light-branch second moment, so it is the variance-side counterpart of the heavy-branch mean control.

Lemma 10 controls the contribution from heavy cells near the pilot decision boundary. The product factor records that only disagreement between the light and heavy branches matters, and the calibrated split in Algorithm 1 makes the summed contribution polynomially small in the labeled sample size.

Lemma 10 [lem:hybrid-heavy-branch-mean-bound] (Heavy branch mean bound).

Let be a finite alphabet size, let , and let as in Definition 6. Let and be integers. Assume:

  • (Calibration.) The hybrid-estimator calibration predicate in Algorithm 1 holds.

  • (Block intensities.) With as in Algorithm 1, set

  • (Cell laws.) For each , let be the product law under which the outcome-block success counts are independent variables and the factorial-pool counts are independent variables, for .

Let , , and be the degree, light-cell scale, and pilot threshold from Algorithm 1. For each , let where has independent components . Let be the light polynomial cell contribution and the heavy inverse-count cell contribution from Algorithm 1, evaluated under . Then

⊢ Lean
Proof of Lemma 10.

Let The calibration inequalities give , , , and . Also for every , and , hence

Fix . We first establish the calibrated pilot-tail estimate For , write for the treatment-covariate mass in arm , so . Under the pilot law, has Poisson mean because the two pilot-arm counts are independent Poisson variables. The definition of gives , and gives . Since , For a Poisson variable with mean , the following lower-tail estimate applies whenever the cutoff is below one quarter of the mean: Indeed, for every , Markov’s inequality applied to gives If , this is . If , take . With , the exponent becomes since on . Therefore Let be the binary-length calibration quantity in Algorithm 1. The tail calibration inequality together with , yields Thus where the last inequality follows from and .

The heavy inverse-count mean satisfies To prove this, first write where, for , is the outcome-marked mass, is the treatment-covariate mass, and the arm outcome regression is characterized by For the arm-specific inverse-count means set By the definition of the heavy cell contribution, We next compute each arm mean. Since is independent of and , For the chosen arm , the fraction inside the expectation is where denotes the opposite arm. Therefore Lemma 8, applied with this arm and its opposite arm, gives the exact identity Since , the cell is occupied. Hence and Definition 6 and Assumption 1 give, for both arms, Using this, , and , the exact identity yields the armwise envelope The first equality uses the displayed mean formula, the second uses nonnegativity of every factor, and the last step uses and . Hence

Since and , Also, because , , and , Thus

Now , , and . Using and the preceding heavy-mean bound, where the last inequality uses . Hence

Summing this pointwise estimate over gives

It remains to bound the first sum. For each , nonnegativity of variance under gives Consequently, The heavy-light second-moment bound in Lemma 9, applied with the same values of , gives

Combining the last two displays with , This is the desired bound.

∎

The preceding local estimates are assembled into separate variance and mean-bias bounds for the full Poisson hybrid statistic. These two summaries expose exactly which terms enter the final rate calculation.

Lemma 11 [lem:calibrated-hybrid-variance-bound] (Hybrid variance bound).

Let , the overlap parameter, satisfy . There is a constant , depending only on , such that the following holds. Let be integers and let be an observed-data law on . Assume:

  • (Sample size.) .

  • (Model class.) , as in Definition 6.

  • (Calibration.) The finite calibration predicate in Algorithm 1 holds.

Let and set Let , , , and be the degree, scale, pilot threshold, and factorial-moment constant from Algorithm 1. Under the independent Poisson count law in which, independently over and , let where and are the light-cell polynomial and heavy inverse-count cell contributions specified in Algorithm 1. Then

⊢ Lean
Proof of Lemma 11.

Choose to be the positive constant supplied, at the present overlap parameter , by Lemma 2. Fix and satisfying the hypotheses. Write and let . The calibration predicate in Algorithm 1 gives For each , let be the product law of the outcome and factorial counts with all four variables independent. Define and, under , The probabilities satisfy .

  1. Since the pilot counts are independent of the outcome and factorial counts, the selected cell is a two-branch mixture. For each cell, The cells are independent under the product Poisson law, so the variance of the sum is the sum of the cell variances:

  2. Bound the light-branch variance part by splitting the cells at the scale . Put For , and The factorial-lift second-moment estimate in Lemma 16, together with , gives Indeed, for each arm , the light factorial weight has second moment at most , while Summing over and using yields On the complementary cells, Lemma 9 gives Consequently,

  3. For the heavy-branch variance part, Lemma 2 applied to the all-heavy statistic gives Independence across cells gives and since ,

  4. It remains to bound the branch-selection mean term. On , the inequality and Lemma 7 give On , Lemma 10 gives Thus

  5. Combining the three displayed bounds in the variance decomposition gives Since , this is the asserted bound.

∎

Lemma 11 combines the light-cell factorial moment bound, the inverse-count variance contribution, and the pilot-routing error into a single variance inequality. Its display is arranged to match the envelope calculation in Lemma 6 term by term.

Lemma 12 [lem:calibrated-hybrid-mean-bias] (Calibrated hybrid mean bias).

Fix an overlap constant . For every and every observed-data law on , suppose that:

  • (Sample size.) .

  • (Model class.) , as in Definition 6.

  • (Calibration.) The finite calibration predicate in Algorithm 1 holds.

Let be the block sizes from Algorithm 1, and set Let , , and be the degree, light-cell scale, and pilot threshold from Algorithm 1. For each , let the hybrid selected cell mean be the expectation of the cell contribution selected at threshold , degree , scale , and intensities under the independent Poisson count law in Algorithm 1. Then where is the average treatment effect functional in Definition 8.

⊢ Lean
Proof of Lemma 12.

For and , write and define the totalized outcome regression by the paper’s total real-division convention so that when , because real division is totalized with . Put Then , , and because and the two binary outcome regressions lie in . Write for the binary-length calibration quantity appearing in . Throughout this proof, denotes the natural logarithm; since , implies , and hence . We record the positivity consequences of the finite inequalities defining in Algorithm 1. Since , we have and , so the denominators in the block-proportion bounds are positive. Those bounds give and hence , , and . The scale inequality , together with , then gives . The calibration-scale definition in Definition 13 makes a maximum whose first entry is ; in particular . The model condition in Definition 6 places in the occupied-cell overlap class, and Assumption 1 gives, whenever , When , the identity and nonnegativity of the two cell masses imply , so the same inequalities remain valid.

For each cell, let and be the two independent pilot arm counts, with Define Thus and . Let be the independent product law of four armwise Poisson counts with all four variables mutually independent. These are ordinary nonnegative Poisson intensities, because and the cell masses and are nonnegative. Define the light and heavy branch means and Let denote the selected cell mean under the independent Poisson count law described in the lemma: the pilot pool selects the light branch on and the heavy branch on , while the outcome and factorial pools are integrated under . Thus Independence of the pilot pool from the two evaluation pools gives the exact identity

We now derive the first-moment identity from the armwise Poisson factorial moments, using the factorial-lift definition in Definition 24. For , set Under , the outcome count is independent of the factorial-pool counts, and Write the light polynomial as in Definition 24: with only finitely many nonzero coefficients. Its factorial lift is where is the falling factorial. If with , then, for every , Since and the two factorial-pool counts are independent Poisson variables with means and , this gives Termwise summation over the finite coefficient expansion yields the first-moment identity and therefore Using and we obtain

Consider first a light cell, . If , then , so and the light-branch bias bound is immediate. It remains in this paragraph to handle the case . For , set The overlap inequalities give for , so ; the light-cell condition , together with and , gives . Hence . The factorial-moment calculation above has already identified the light-pool first moment. Since and , the interval part of Lemma 16 applies and gives Since , the displayed formula for becomes, in the case , and therefore Together with the already settled case , this proves the light-branch bound for every light cell.

For the heavy branch, decompose the branch mean armwise by setting so that . By independence of from the factorial-pool counts and , Substituting the cell quantities , , , and in Lemma 8, and using the total real-division simplification that follows from , gives whose left side is . The totalized zero-arm cases are covered as follows: if , then gives , so , while and the right side is also zero. If , the quotient is the ordinary outcome regression and the same identity applies directly. Thus, for each arm, If , this expression is zero. If , occupied-cell overlap gives ; together with and , this yields Summing the two armwise errors gives

We next derive the pilot-selection estimate used on light cells. Since the two pilot arm counts are independent Poisson variables with means and , their sum satisfies Let For any , the exponential Markov bound applied to gives because the Poisson probability generating function gives . Taking , which is positive since the calibration predicate gives and , yields By from Definition 13 and , The calibration inequality in Algorithm 1 gives and hence, with positive denominators, Combining these estimates with the mixture identity yields, for ,

Now consider a heavy cell, . Put We derive the light-pilot lower-tail estimate directly. By the definition above, , and independence of the two pilot arm counts gives Moreover, Algorithm 1 defines the pilot threshold by Because , the defining floor inequality, after casting the natural-valued threshold to the reals, gives . The heavy-cell inequality , multiplied by the positive number , gives . Thus With , apply exponential Markov directly to . Since the event is the same as , with the natural number cast to a real in the exponential, the floor inequality above gives since and . The tail-calibration inequalities in Algorithm 1 include so Consequently where the last comparison is the binary-length consequence recorded at the start of the proof.

We next prove the auxiliary estimate for the wrong-light contribution on the same heavy cell: Put so . First we bound the absolute light-branch mean. The first-moment identity gives For each arm, and . If then the degree bound in Lemma 5 justifies the displayed finite expansion with no terms beyond degree , while Lemma 16 gives . Since and , each displayed exponent satisfies Multiplying this monomial bound by and summing over the displayed finite support gives Also , because and . Therefore This coefficient-envelope argument uses the exact first-moment identity above, together with the degree and coefficient bounds for , and yields the displayed bound without invoking any second-moment estimate.

The lower-tail calculation above, kept in exponential form, gives The explicit scale definition in Definition 13 gives Since and , their minimum is positive and the scale identity gives . As and , multiplication preserves the inequality, so . Thus, with , The environment Definition 13 gives , , and Elementary arithmetic applied to the displayed value of gives . Using these consequences, , and , we obtain Exponentiating gives the calibrated absorption bound Combining the envelope for , the pilot-tail display, and , Finally, the degree lower bound in , listed in Algorithm 1, together with , implies The binary-length consequence recorded at the start of the proof gives Combining the last two displays proves

The intrinsic heavy-branch exponential is also absorbed on a heavy cell: Indeed, , , and the tail-calibration inequality in Algorithm 1, give , and hence, by the binary-length consequence recorded at the start of the proof, Therefore Together with , the decomposition gives, for ,

The alternatives and are disjoint and exhaustive, so they partition . Summing the two cellwise bounds over these two regimes, This is the claimed bound.

∎

Lemma 12 gives the matching aggregate bias control for the selected cell means. The bound contains the light-cell Chebyshev approximation term and a polynomially small pilot-boundary residual, which together form the squared bias term in Lemma 6.

Lemma 6 is the bookkeeping step that turns the local hybrid analysis into the global rate scale. Its left-hand side collects the light-cell factorial moment contribution, the heavy-cell inverse-count contribution, the Chebyshev approximation residual, the pilot-boundary term, and the finite prefix terms, while the right-hand side matches the two summands in Definition 12.

The calibrated hybrid statistic combines the light-cell polynomial with the all-heavy inverse-count weight. The construction below is the Poissonized counterpart of the finite-sample mixed estimator introduced in Algorithm 1.

Definition 25 [synth_9] (Calibrated Poisson hybrid statistic).

Use the split sizes, intensities, constants, dyadic overlap certificate, and calibration predicate from Algorithm 1. In the independent Poisson experiment with outcome-prefix length , pilot-prefix length , and factorial-prefix length , define as follows. If is false, set If is true, return zero on the event that any Poisson prefix exceeds its corresponding pool. On the complementary valid-prefix event, let be the pilot count in cell , let be the factorial-pool count in arm and cell , and let be the outcome-block success count in arm and cell . With under polynomial continuation at zero, expand For falling factorials , put and define the cell contribution The calibrated Poisson hybrid statistic is the clipped aggregate on the valid-prefix event, together with the preceding zero values on invalid prefixes or failed calibration.

The pilot threshold in Definition 25 chooses between two weight regimes at the cell level. Cells with small pilot counts use the bounded-degree Chebyshev lift, while cells with larger pilot counts use the inverse-count weight from Lemma 2; clipping keeps the aggregate on the natural scale of the treatment effect.

Lemma 13 [lem:poisson-hybrid-risk] (Hybrid Poisson risk).

Fix an overlap constant with . There is a constant , depending only on , such that the following holds for every and every observed-data law :

  • (Sample size.) .

  • (Alphabet size.) .

  • (Model class.) , as in Definition 6.

Let , , , , and , and set In the independent Poisson count experiment with these intensities, let be the calibrated hybrid statistic when the finite calibration predicate holds and the constant otherwise. Then its mean-squared error satisfies where is the frontier rate in Definition 12, equivalently

⊢ Lean
Proof of Lemma 13.

Fix . Throughout, let be the block sizes, Poisson intensities, degree, scale, and pilot threshold from Algorithm 1. Write so that by Definition 12.

First record the uniform bounded-loss estimate. For , the functional lies in , since it is a cell-mass average of differences of binary outcome regressions. On the calibrated branch, the hybrid statistic is clipped to , so its squared distance from is at most pointwise. On the uncalibrated branch, the risk term is the deterministic quantity , which is at most and hence at most . Therefore, for all ,

We next record the calibrated variance envelope used when holds. For each , let , , and be the independent outcome-block, pilot-pool, and factorial-pool Poisson counts from Algorithm 1, and put . Let and be the light-cell polynomial and heavy inverse-count cell contributions from Algorithm 1, and define the unclipped selected hybrid sum By Lemma 11, there is a constant , depending only on , such that, whenever , , and holds,

Still under , projection onto cannot increase squared distance from . Hence For the same hybrid branches, Lemma 12 gives Consequently,

Apply Lemma 6 with . That result gives a constant depending on and ; since Step 2 chose depending only on , we may write this constant as , depending only on . Under , Set If , then , and Step 1 gives If , then . Steps 2 and 3, followed by the absorption display, give Thus the desired bound holds on the calibrated branch with constant .

It remains to cover the finite set of uncalibrated sample sizes. The uniform calibration-failure bound gives an integer , depending only on , such that Now set If holds, Step 4 gives the result because . If fails, then , so . Since , the frontier rate is positive and dominates : the second entry in the minimum is and , so Multiplying by the positive number gives . Since and , Combining this with Step 1 gives This proves the asserted bound for every and every .

∎

Lemma 13 establishes the Poisson risk bound at exactly the split sizes and intensities used by the finite estimator. The bound has the same two components as the rate in Definition 12: labeled outcomes contribute the term, and treatment–covariate information contributes the alphabet-dependent term through the pilot and factorial pools.

Uniform finite-calibration input.

The uncalibrated branch uses the formally checked helper : for fixed , there is such that This is the contrapositive of eventual validity of all finitely many calibration inequalities, uniformly over the auxiliary sample size. It reduces calibration failure to finitely many labeled sizes, where clipping gives risk at most and , so .

It remains to connect the independent Poisson count analysis to the fixed sample sizes in the annotation experiment. The next definition packages the three independent Poisson pools used in that transfer.

Definition 26 [synth_6] (Three-pool Poisson count law).

Fix an observed-data law , intensities , and write The law is the joint distribution of independent count triples where Here is the outcome-success count from the outcome pool, is the pilot count, and is the factorial-pool treatment-covariate count. The product law makes all these counts independent across cells, arms, and pools.

The three-pool law in Definition 26 mirrors the deterministic sample split in Algorithm 1. Each pool has its own intensity, so the Poisson calculation can track outcome information, pilot classification, and polynomial weight estimation separately.

Lemma 14 [lem:fixed-sample-hybrid-transfer] (Fixed-sample hybrid transfer).

There is a universal constant such that the following holds. Let

  • (Overlap level.) The overlap level satisfies .

  • (Sample sizes and alphabet.) , , and .

  • (Model class.) , with as in Definition 6.

For the mixed estimator in Algorithm 1, the estimator is measurable as a function of the annotation sample and Here is the average treatment effect functional in Definition 8. Writing , , , , , , , , , and , the Poisson hybrid risk is where is the calibrated hybrid statistic of Definition 25.

⊢ Lean
Proof of Lemma 14.

Take . Fix , , , , and . The estimator is measurable because it is either the constant zero map or, on the calibrated branch of Algorithm 1, a finite linear combination of measurable prefix-count statistics. It remains to prove the displayed risk bound.

1. Suppose first that holds. Put and Let be the three-pool product law whose complete-record coordinate has law on , while the two shared coordinates have law on . Let and let the capacity vector be . For a three-prefix array define where the first histogram records complete outcome-labeled observations and the last two record treatment-covariate observations. This prefix statistic is measurable and satisfies the first bound coming from clipping in Algorithm 1 and the second from Definition 8 together with occupied-cell overlap in Definition 6.

2. For fixed pools define the Rao–Blackwellized prefix statistic by where Under , expanding the finite sums in Algorithm 1 gives the pointwise identity where is the deterministic three-pool split formed from the first complete labeled records, the next labeled records projected to together with the first auxiliary records, and the remaining projected labeled records together with the remaining auxiliary records. By Definition 9, this split has law equal to the fixed-pool law with coordinate law and capacities . Hence

3. The finite-pool-to-Poisson comparison used here is the following. For any prefix statistic with values in an interval , any target and overflow value in , and independent Poisson requested lengths with means , Indeed, is the conditional expectation of the capped randomized-prefix statistic given the fixed pools, so Jensen’s inequality bounds its squared risk by the capped randomized-prefix risk. Off the overflow event the capped and uncapped prefixes agree; on overflow both the capped value and the target lie in , so the extra squared loss is bounded by times the overflow probability. Applying this with , , , overflow value , and gives where The image of the independent Poisson-prefix law under the three histograms is exactly , and therefore on the calibrated branch.

4. It remains to bound the three overflow probabilities. The calibration predicate gives . From the definitions of the integer blocks, and all three capacities are positive. For any positive integer satisfying , To prove the first inequality, let . The overflow event is contained in the self-normalized Bernstein event at parameter , because and implies The Poisson Bernstein bound for this larger event gives where gives the penultimate inequality. Consequently and the preceding display yields Since , this is at most

5. If fails, then Algorithm 1 sets , while the definition of the hybrid Poisson risk gives Because the annotation law is a probability measure, using . The two cases prove the asserted bound with the universal constant .

∎

Lemma 14 converts the Poisson risk calculation into the fixed- annotation experiment of Definition 9. The additional term is on the labeled-outcome scale already present in the rate, so combining Lemmas 13 and 14 yields the finite-sample upper-bound ingredient used in Theorem 2.

The final calibration statements make the Chebyshev constants explicit. The first controls the coefficient norm of the shifted quotient, and the second records the numerical bounds used in the finite calibration predicate of Algorithm 1.

Lemma 15 [lem:shifted-chebyshev-quotient-coefficient-bound] (Shifted quotient coefficient bound).

Let be a positive integer, and let be the polynomial continuation at zero of from Algorithm 1. For a real polynomial , write for its coefficient -norm. Then

⊢ Lean
Proof of Lemma 15.

Let . We use the notation for from Algorithm 1. The phrase “polynomial continuation at zero” is used through the quotient identities with equality in ; the cancellations below use only that multiplication by the nonzero indeterminate is injective on .

  1. Define, for every , and put We first derive the shifted-Chebyshev coefficient expansion used below. Write . The initial polynomials and the defining Chebyshev recurrence give For and , define Comparing coefficients in the displayed recurrence reduces the induction to For , write Set . For , the factorial form is After cancelling the common factor , the coefficient recurrence is For , multiply this equality by . It becomes and expanding both sides proves it. At , the term is zero by the outside-range convention, and the identity becomes . At and , the same zero convention leaves, respectively, so the recurrence holds there as well. Since the formula agrees with , induction proves, for every real , The term is . For the remaining terms write . Then so, with , Using these quotient identities, since , the polynomial has zero constant term. Moreover , so , and hence the quotient identity for gives . Thus has zero constant term, as required for the quotient identity defining . Using the displayed formula for , Thus Because multiplication by the nonzero indeterminate is cancellative in , Consequently and the same cancellation gives as polynomials.

  2. Since every coefficient of outside the range is zero. Hence

  3. The last sum is the positive coefficient sum at : The coefficient formula also gives because and all factors except are nonnegative.

  4. It remains to bound this positive coefficient sum. Write This is the positive coefficient sum at the argument . The sign identity gives Substituting in the identity and using gives Since and , It remains to bound . Put . The Chebyshev recurrence gives Let and . Since and , both roots satisfy . Consequently satisfies , while Induction in the common recurrence gives , so and in particular , because makes both and positive. A two-step induction now gives : the cases are immediate, and if the bound holds for and , then Thus , and therefore

  5. Combining the preceding inequalities yields which proves the claim.

∎

Lemma 15 gives a direct coefficient bound for the quotient polynomial . This estimate is the coefficient-growth input behind the explicit factorial second-moment calibration.

Lemma 16 [lem:explicit-chebyshev-calibration] (Explicit Chebyshev calibration).

Let be the Chebyshev polynomial of degree , set , and let denote coefficient -norm. For every integer , the polynomial continuations and satisfy the following calibration.

  • (Coefficient bounds.)

  • (Factorial-lift second moment.) For every , every , , and every with , set . If independently and denotes the factorial lift of the light-cell polynomial based on , then and, whenever ,

  • (Interval identities.) For every , Moreover, for every ,

⊢ Lean
Proof of Lemma 16.

Fix , so .

  1. Write The shifted Chebyshev expansion used for gives The standard growth bound for Chebyshev polynomials at gives , and hence For the quotient polynomial, Lemma 15 gives Since , This proves the two coefficient bounds.

  2. Fix , , , and , and assume . Put Then , for , and . Let To identify this index set, write The definitions of and give the scaled identity Using the displayed value of , this identity gives and the quotient definition of gives Thus with the assertion empty if the displayed sum has no nonzero terms, and every satisfies . For , with when and when , define If is empty, the following sum is zero. With independently, the identities give the factorial lift as

    For the moment bound, first use the one-dimensional Poisson falling-factorial estimate: if , , and , then For , the corresponding summand satisfies because , which follows from and , and because . Therefore where the last inequality is the elementary finite-series bound .

    This estimate gives the same-arm square bound. For every , integrating out the unused arm in the product law and applying the preceding estimate with and orders gives Since , , and , In particular, for , using ,

    The cross-arm square bound follows by the product structure. For , independence and give Applying the one-dimensional estimate to arm with orders and to arm with orders yields Now , , , and . Hence and therefore Since , The finite-sum inequality therefore yields Because , If , then , and hence This proves both second-moment assertions.

  3. Let . The scaled identity for the continuation is At , the derivative identity gives . For , put Then , so . Hence , and the scaled identity gives . Also so , whence . Finally, gives , and the normalization by in the scaled identity gives and division by gives The quotient definition gives the polynomial identity for every real , and therefore on .

∎

Lemma 16 supplies the numerical coefficient bounds used to instantiate Lemma 5 in the calibrated estimator. In particular, the constant gives the explicit factorial-lift second-moment scale that appears in the finite calibration of Algorithm 1.

Common-marginal lower bounds

The converse in Theorem 3 rests on priors whose treatment–covariate marginal is shared across branches while their average treatment effect centers are separated. This appendix collects the finite approximation and transfer statements that make that construction compatible with the annotation experiment in Definition 9. The first object is a two-cell calculation that isolates the statistical issue in its smallest form.

Definition 27 [def:finite-small-instance] (Finite small instance ).

Let For , independence of the samples gives where is the outcome-marked mass for treatment-covariate cell . At , this equals , while the treated-cell target is Define to put unit mass on the law with and define to put unit mass on the law with Under both priors, whereas under , and under . Consequently, the auxiliary laws agree for every , and the total variation distance between the two labeled laws is These identities constitute .

⊢ Lean

The instance in Definition 27 makes concrete the role of outcome labels. The two priors and share the same treatment–covariate marginal , so auxiliary observations identify the common table while the target separation remains attached to the outcome-marked mass . The calculation is finite, but it has the same common-marginal structure used in the high-dimensional lower bound.

The next statement supplies the approximation-duality ingredient. It constructs a signed finite measure on a short interval whose first moments vanish while the inverse-weight functional retains a fixed gap. This is the same polynomial approximation mechanism that appears in nonsmooth functional lower bounds for discrete distributions (Jiao et al., 2015; Wu et al., 2016; Valiant et al., 2017; Orlitsky et al., 2016).

Lemma 17 [lem:finite-alternation-duality] (Finite alternation duality).

Fix an overlap constant with , and set There exist constants and such that, for every integer and every , with one has , and there are distinct points and real weights satisfying and

⊢ Lean
Proof of Lemma 17.
  1. Set Since , we have . Hence , , and . Also , because for .

  2. Fix and , and put Then . Since and , Moreover, because and . In particular .

  3. Let The pole lies to the left of , since and . Thus is continuous on . Let be the best uniform error for approximating on by polynomials of degree at most . The finite alternation theorem supplies an alternation dual certificate: distinct nodes in , normalized weights annihilating all monomials of degree at most , and an associated degree- best approximating polynomial.

  4. We claim Suppose instead that . Define Then , and both points belong to . Indeed , while because and . At these two points, so Let be the best approximating polynomial from the alternation certificate. For every , Consequently, By the mean-value theorem there is a point such that and therefore Since , the numerator is positive.

  5. On , the target satisfies . Combining this with gives or equivalently Markov’s inequality on the interval , applied to the degree- polynomial , gives Because , we have . Also . Hence Combining this with the previous lower bound and using yields After cancellation, But , so , while This is impossible. Therefore .

  6. Let the alternation certificate have nodes and weights . They satisfy and Choose Then the nodes remain distinct and lie in , and For every , Finally, These nodes and weights give the required finite moment dual certificate on .

∎

Lemma 17 turns polynomial indistinguishability into target separation. The moment cancellations control likelihood differences after Poissonization, while the final display gives a fixed gap for the inverse-weight expression that enters the treatment-effect contrast.

The rare-cell prior packages this dual certificate into a common-marginal experiment. For the transfer arguments, it is useful to state the construction as a recipe separate from any particular choice of sample intensities. The next definition records the raw rare-cell masses, the two branch laws, and the raw target centers that the lower-bound reductions manipulate; the later uniform-intensity lemma supplies the exact Poisson witness actually used by the converse proof.

Definition 28 [synth_20] (Common-marginal rare-cell recipe).

A common-marginal rare-cell recipe with rare cells at scale is a finite random construction consisting of a generator law for a latent draw , together with two branch laws indexed by . For each generated , the recipe specifies rare-cell raw masses , , branch-specific outcome regressions, and any reservoir mass needed to normalize the construction. The two branches have the same treatment–covariate raw masses and treatment propensities, so after normalization they induce the same table, while their outcome regressions may differ.

For each branch , let be the normalized law on induced by the recipe, and let be the unnormalized target contribution assigned by the rare cells in branch . The branch center is and the raw-center separation is . The recipe induces, for each branch , the mixture experiment obtained by first drawing , then sampling from for labeled observations and from the common marginal for auxiliary observations. Its raw Poisson version uses labeled intensity and auxiliary intensity with the same generated law , so the treatment–covariate component is common across the two branches and the likelihood discrepancy is carried by the labeled outcome-bearing component.

Definition 28 fixes the bookkeeping used by the lower-bound priors. The random raw masses determine a common treatment–covariate table, and the branch-specific outcome regressions create a raw-center separation before normalization. This separation is the quantity later converted into minimax risk.

The raw Poisson comparison enters several concentration and transfer statements, so the notation for the branch predictive laws is named explicitly before those estimates.

Lemma 18 [lem:common-marginal-recipe-target-concentration] (Prior target concentration).

Fix , a common-marginal calibration at overlap level with dual-gap constant , and parameters and . Let be a common-marginal rare-cell recipe with atom-generator measure , branch laws , raw targets , raw total mass , and branch priors Assume the recipe bounds hold at intensities with constants and dual gap :

  • (Finite-atom construction.) The recipe uses the finite-atom construction.

  • (Model support.) Each prior is supported on of Definition 6.

  • (Common table.) The two priors induce the same law of the random treatment-covariate table.

  • (Separation.) The raw centers satisfy

  • (Mass and variance bounds.) Under the usual measurability and integrability conditions,

  • (Mixture proximity.) The two raw mixture laws at labeled intensity and auxiliary intensity have total variation distance at most

Then for every branch and every with , the branch prior concentrates its average treatment effect , defined in Definition 8, around its raw center:

⊢ Lean
Proof of Lemma 18.

Fix . Define the two exceptional events in the atom space by We first record the normalization implication used below. Outside a -null set the recipe gives Suppose The second condition means The raw-center bound supplied by the recipe normalization is Hence Using , the triangle inequality gives Also and imply Therefore which contradicts . Thus, for -almost every ,

By the definition of the branch prior as the pushforward of under , with the two Boolean branches handled separately, The implication above yields

We next bound the two exceptional probabilities. Chebyshev’s inequality, applied under with mean and the assumed variance bound gives Similarly, since Chebyshev’s inequality gives

Subadditivity of measure gives Combining the preceding displays, where the final equality uses . This is the desired bound for the fixed branch , and hence for both branches.

∎

Definition 29 separates the prior randomness in the raw masses from the Poisson sampling randomness. With this notation, total variation between the two branch mixtures measures the experiment-level testing difficulty after the common treatment–covariate table has been integrated over.

The next two lemmas isolate the normalization estimates used by the transfer. The first converts raw target control into concentration of the average treatment effect, and the second records the corresponding lower-tail control for the raw scale.

Definition 29 [synth_21] (Raw Poisson prior-predictive mixture laws).

Fix a common-marginal rare-cell recipe with atom generator , branch laws for , and branch priors . At labeled and auxiliary Poisson intensities and , define to be the branch- raw prior-predictive law obtained by first drawing , forming the raw branch law , and then sampling the independent raw Poisson experiment with labeled intensity and auxiliary intensity from that raw law and its treatment–covariate marginal. Equivalently, where denotes the product Poisson law for the outcome-labeled raw cell counts at intensity and the auxiliary treatment–covariate raw cell counts at intensity .

Lemma 19 [lem:common-marginal-recipe-scale-tail] (Small-scale prior tail).

Fix , a common-marginal calibration with positive constants including dual-gap constant , integers , and reals . Let be a common-marginal rare-cell recipe with atom-generator , branch laws , branch priors , raw total mass , raw targets , and measurable raw scale satisfying for -almost every .

Assume that the recipe bounds hold for at :

  • (Finite-atom construction.) The recipe uses the finite-atom construction.

  • (Model support and common table.) The two priors are supported on from Definition 6, and they induce the same distribution of the random treatment-covariate table .

  • (Center separation.) If denotes the raw prior center for branch , then

  • (Mass and variance bounds.) Under the usual measurability and integrability conditions,

  • (Mixture distance.) The two raw Poisson mixture laws generated by the recipe satisfy

Then, for each branch ,

⊢ Lean
Proof of Lemma 19.
  1. Define the mass-tail event on the atom space by The mass assumptions give Since is a probability law, Chebyshev’s inequality at radius yields

  2. For a fixed branch , set Because , For -almost every , the recipe supplies both identities On this full-measure set, implies Hence , and therefore Thus and consequently

  3. The preceding containment is applied to the two branch cases separately: for it uses and for it uses Combining the appropriate branch identity with the bound from the first step gives, for each ,

∎

Lemmas 18 and 19 make the raw construction usable after normalization. The target concentration bound relates the branch centers to the actual functional values under the induced priors, while the scale-tail bound keeps the normalizing mass away from the region where raw-to-normalized conversion would amplify the rare-cell perturbation.

The next transfer lemma applies the recipe at fixed Poisson intensities large enough to dominate the fixed sample sizes. Its assumptions combine a total-variation bound with a scale condition that controls the random normalization.

Lemma 20 [lem:common-marginal-recipe-transfer] (Recipe transfer bound).

Let , where is the overlap level. Fix a common-marginal calibration at level , consisting of positive constants including and dual gap , a constant , and a real number . Let be nonnegative integers, let , and let be a common-marginal rare-cell recipe with rare cells at scale . For each branch , define the raw prior center where is the atom-generator measure of the recipe, and put Assume:

  • (Sample and dimension.) and .

  • (Poisson-prior data.) With the recipe has bandwidth , shift rare-shift size and the recipe intensities agree with and .

  • (Bandwidth and likelihood bounds.) The realized scale satisfies where is the calibration’s uniform-bandwidth constant, and the recipe satisfies the common-marginal Poisson-prior bounds at gap , intensity pair , variance constant , and decay constant .

  • (Mixture affinity.) The two prior-predictive raw Poisson-count laws generated by the two recipe priors and the recipe’s experiment kernel have total variation distance at most

  • (Variance scale.) The recipe scale obeys

Then the minimax risk of Definition 11 satisfies

⊢ Lean
Proof of Lemma 20.

Let where is the atom-generator measure and is the raw target of the recipe. Thus Also put and, for every law , define the totalized nonnegative recipe scale

  1. The witness bounds imply Indeed, each is the -mean of the raw target, the raw target is , on , and the recipe bounds give . Hence The intensities satisfy and . The branch priors are probability measures, and the support part of the witness gives the required nonempty model class.

  2. Let be the ordered raw Poisson-count experiment which, at law , draws independent ordered Poisson samples from the labeled mark law and the auxiliary mark law with intensities Let be the prior-predictive law obtained from through . We now identify this law as a Markov image of the raw count law in the statement. Let denote the recipe’s raw Poisson-count kernel before ordering. Let be the deterministic map that rewrites a raw count table as labeled-mark and auxiliary-mark count functions, and let be the paired-histogram kernel that, conditional on those two count functions, orders the corresponding multiset of labeled marks and the corresponding multiset of auxiliary marks uniformly and independently. Put For every law , the raw count kernel factors through this reconstruction as Indeed, after the deterministic reindexing, the labeled and auxiliary count functions have independent Poisson coordinates with means times the labeled mark law and times the auxiliary mark law; ordering each histogram gives exactly the ordered independent Poisson samples with those two intensities. Therefore, for each branch, Total variation contracts under a Markov kernel, and the assumed raw mixture affinity gives

  3. Set The fixed experiment has the parametric two-point floor To see this, take Choose a cell . Under both laws below, let almost surely and let the treatment propensity be . Let the control outcome mean be under both laws; let the treated outcome mean be for and for . Since , so these are valid binary outcome laws, and since , both belong to . Their treatment-covariate marginals agree, their average treatment effects are and hence the auxiliary samples have identical laws. For the labeled samples, the standard Bernoulli product testing bound applies because and therefore Le Cam’s two-point bound with separation yields For the fixed-sample decision problem with the class-gated clipped squared loss, let where the infimum is over measurable fixed-sample rules, is the fixed labeled-and-auxiliary experiment, and We use the following elementary comparison between Definition 11 and the class-gated decision problem: Indeed, every measurable fixed-sample rule induces the measurable estimator For every , the class-gated loss evaluates the same clipped rule, so Thus the worst-case on-class decision risk of is exactly the worst-case mean-squared risk of . Since is one admissible estimator in , Definition 11 is no larger than that worst-case risk; taking the infimum over gives the displayed comparison. Combining it with the parametric floor gives

  4. If , then the desired lower bound is , which follows from the preceding floor since . Hence assume for the rest of the proof that The variance-scale hypothesis and give By Lemma 18, for each , The assumed common-marginal Poisson-prior bounds also include the raw-center separation which is the center-separation hypothesis required below. By Lemma 19, again for each ,

  5. The two fuzzy hypotheses with centers , radius , prior tail bounds , and predictive total variation bound give the raw lower bound as follows. For a measurable raw rule , define These are the branch Bayes decision risks for the class-gated clipped loss. Since the two branch priors are supported on , the integrand on the support is Let be the branch predictive laws from step 2, and first suppose . Put and define the good prior events Because , on the clipped decision is at least above , while on it is at least below . Hence The concentration bounds from step 4 give and therefore Using and the total-variation bound, If , the same calculation is applied with the two branches interchanged. Thus, for every measurable raw rule , in .

  6. The loss is bounded by because both and lie in on the model class, and the loss is off the model class. The Poisson retention tails used to transfer raw rules to fixed-sample rules are as follows. For any integer and any Poisson mean , Indeed, with , and ; the Poisson Bernstein lower-tail bound gives the exponential term, and .

    On the event , the labeled Poisson mean satisfies so the labeled retention failure probability is at most . Similarly, and the event of retaining fewer than auxiliary observations is contained in the event of retaining fewer than observations; hence the auxiliary retention failure probability is at most

  7. We next transfer the raw fuzzy lower bound to the fixed experiment by the prefix coupling. Fix any measurable fixed-sample decision rule . Define its transferred raw rule as follows. Given an ordered raw output , set The rule uses only the first auxiliary marks, while the raw auxiliary Poisson process has intensity ; the auxiliary tail estimate below therefore bounds the event of having fewer than auxiliary marks by the larger-threshold event of having fewer than . Here is any fixed real-valued action. For a law , let On , the first labeled marks and first auxiliary marks have exactly the fixed-sample law , because the ordered raw experiment is generated by independent Poisson samples from the same labeled and auxiliary mark kernels and the fixed experiment keeps the first prescribed counts.

    For branch , the exceptional probability under the branch prior predictive is bounded by integrating the conditional failure probability. Splitting according to the scale event gives The scale-tail bound from step 4 and the Poisson retention bounds from step 6 therefore yield, for each , Since , the Bayes risk of the transferred raw rule satisfies Combining this with the raw fuzzy bound above gives, for every measurable , Equivalently, Taking the infimum over gives The floor inequality from step 3 also gives , so For the reverse comparison to step 3, start with any measurable estimator in Definition 11 and use the same function as the fixed-sample decision rule . On , clipping cannot increase squared error because , while off the model class the class-gated loss is zero. Hence the worst-case decision risk of is no larger than the worst-case mean-squared risk of . Taking the infimum over gives and consequently

  8. It remains only to read off the deterministic arithmetic. From the floor bound,

    First suppose Then Therefore The first branch of the maximum in the preceding display gives

    Now suppose Since , The second branch of the maximum gives the same conclusion. Combining the two cases,

∎

Lemma 20 converts the raw recipe separation into a lower bound for under the fixed annotation sample sizes. The total-variation requirement supplies the testing affinity, and the variance-scale requirement keeps the normalization fluctuations small relative to the squared raw gap.

The Poisson construction is then converted to a general fixed-size annotation experiment. The transfer statement tracks the raw normalization explicitly, so the resulting lower bound applies to the minimax risk in Definition 11.

Lemma 21 [lem:fixed-sample-common-marginal-transfer] (Fixed-sample transfer).

There exist numerical constants and such that the following holds. For every and every , there is a constant such that, for every common-marginal calibration at overlap level with positive calibration constants and dual gap , every , every , every , and every common-marginal recipe at these indices, the implication below holds.

Write for the recipe’s rare-cell generator measure and for its raw target on branch . Let Assume:

  • (Sample and dimension.) and .

  • (Witness data.) The recipe carries a common-marginal Poisson-prior witness at labeled and auxiliary intensities Equivalently, the witness supplies identifies the recipe’s labeled and auxiliary intensities with and , and satisfies the corresponding common-marginal bounds at dual gap , variance-bound constant , and likelihood-decay parameter .

  • (Testing distance.) The raw prior-predictive mixture laws and generated by the two branches of the recipe satisfy

  • (Concentration scale.) The realized scale obeys

Then the minimax risk from Definition 11 satisfies

⊢ Lean
Proof of Lemma 21.

Take Fix and a positive variance-bound constant , and set Let a calibration, a recipe, and all parameters satisfy the hypotheses of the statement. Put so that the raw-center separation in the statement is The recipe’s raw prior centers are exactly these two numbers: The Poisson-prior witness in the hypotheses identifies the recipe’s labeled and auxiliary intensities as Separately, the concentration-scale hypothesis, the definition of , and give Together with , , and , these are precisely the hypotheses of Lemma 20, applied with the present calibration, recipe, variance-bound constant , likelihood-decay parameter , and intensities , . That result yields, for the minimax risk of Definition 11, Since and , this is exactly

∎

Lemma 21 is the bridge from a Poisson fuzzy-hypothesis calculation to the fixed- risk. The testing-distance condition supplies indistinguishability, the concentration-scale condition controls the random raw normalization, and the conclusion converts the raw-center separation into a lower bound for .

A separate one-dimensional ingredient records the unavoidable parametric contribution of the labeled sample. It is used together with the rare-cell construction to cover regimes in which the lower-bound rate is governed by outcome labels.

Lemma 22 [lem:parametric-label-floor] (Parametric label floor).

Let be the minimax risk in Definition 11. There exists a universal constant such that, whenever

  • (Overlap level.) ,

  • (Labeled sample size.) ,

  • (Auxiliary sample size.) is a nonnegative integer,

  • (Alphabet size.) ,

the minimax risk satisfies

⊢ Lean
Proof of Lemma 22.

Set . Fix , , , and . Define Then , and Consider two laws and in with uniform covariate distribution on , propensity in every cell, control regression in every cell, and treated regression respectively and . Since , , hence . The overlap condition follows from , so both laws belong to .

For the labeled samples, the parametric total-variation bound applies once Using the displayed value of , the left side is , and . Therefore

The auxiliary treatment-covariate marginals of the two laws are equal: Indeed, both laws have the same uniform covariate distribution and the same propensity in every cell; summing over the binary outcome coordinate gives the same mass for each . Hence their -fold auxiliary product laws are identical. The product total-variation inequality gives

The two average treatment effects are The first identity follows because the two outcome regressions coincide in every cell, and the second because every cell has treated-minus-control contrast and the cell masses sum to one. Thus, with ,

We now record the two-point risk consequence used for Definition 11. Let be any estimator, and let The testing bound at separation , together with the preceding total-variation bound, yields Moreover, by the elementary inequality applied under each of the two laws, the larger of the two mean-squared risks is at least . Taking the supremum over and then the infimum over gives

Finally, Consequently , which proves the claim with the universal constant .

∎

Lemma 22 fixes the labeled-outcome scale uniformly over auxiliary sample sizes and alphabet sizes. This lower bound matches the component in Definition 12, so the remaining common-marginal construction can focus on the alphabet-dependent contribution.

One final finite-product identity records how independent coordinates can be embedded into a larger product experiment while adding a distinguished coordinate and deterministic padding. This bookkeeping is useful when the rare-cell construction is placed inside a larger finite alphabet with reservoir coordinates.

Lemma 23 [lem:finite-product-padding-identity] (Finite product padding identity).

Let and be finite index sets, and let be a measurable space whose singletons are measurable. Suppose the following conditions hold:

  • (Embedding.) is injective.

  • (Distinguished coordinate.) satisfies for every .

  • (Coordinate laws.) , , and are probability measures on , and .

Define by Define the coordinate laws , , by Then

⊢ Lean
Proof of Lemma 23.
  1. Write The map is measurable. Indeed, for each , the -th coordinate of is the second projection if , is the -th coordinate projection from if , and is the constant on the remaining coordinates. The condition separates the distinguished coordinate from the embedded ones, and injectivity of makes the embedded coordinate unique. Since and are finite, coordinatewise measurability gives measurability of . It is therefore enough, by uniqueness of finite product measures on measurable rectangles, to prove that for every family of measurable sets one has

  2. First suppose that there is an unused coordinate such that For every , the definition of gives Thus so the left-hand side is . On the right-hand side, the same coordinate has because . Hence and the required rectangle identity holds in this case.

  3. It remains to consider the complementary case: Then the preimage of the rectangle is exactly For the forward inclusion, membership in the rectangle gives the -coordinate condition , and for each it gives using and injectivity of . Conversely, if for all and , then each coordinate is checked by the three alternatives in the definition of : the coordinate gives , a coordinate gives , and an unused coordinate gives by the displayed complementary condition.

  4. Using the preceding preimage identity and the finite product formula, The product over has the same value. The distinguished coordinate contributes each embedded coordinate contributes, for , again by and injectivity of , and every unused coordinate contributes by the complementary condition. Since is injective, the embedded coordinates are indexed without repetition, and therefore This agrees with the preceding expression for the pushforward on every measurable rectangle, so which is the desired identity.

∎

Lemma 23 formalizes the product-measure preservation behind this padding step. Injectivity keeps the rare coordinates distinct, the distinguished coordinate carries the added law, and the remaining coordinates are fixed at point masses, so the assembled law is the intended product over the larger index set.

The final calibration statements choose constants so that the rare-cell prior works uniformly across the intensity range needed in Theorem 3. The first gives a ready-to-use recipe with explicit counting, variance, and total-variation controls; the second packages these ingredients into the common-marginal certificate family used by the main converse.

Lemma 24 [lem:common-marginal-uniform-intensity] (Uniform intensity common marginal).

For every overlap level , there are positive constants and a number , with , such that the following calibration facts hold:

  • (Bandwidth slack.) .

  • (Degree floor.) .

  • (Rare-cell scale.)

  • (Dimension scale.)

  • (Variance and counting calibration.) and

  • (Mixture decay.) For every integer ,

For every and every , if

  • , , and ;

  • , , and ;

  • , , and

  • and ,

then there is a common-marginal rare-cell recipe with rare cells at scale whose labeled and auxiliary Poisson intensities are and . Its null and alternative priors are the two branch priors of the recipe, and they satisfy:

  • the recipe is in the finite-atom construction regime, and both priors are supported on ;

  • the induced random treatment-covariate tables have exactly the same law under the two priors;

  • the raw total mass has mean one;

  • the raw target centers obey where and are the alternative and null raw prior centers;

  • the raw total-mass variance is at most and the larger of the two raw target variances is at most

  • in the raw Poisson experiment with labeled intensity and auxiliary intensity , the two prior-predictive mixture laws have total variation distance at most

⊢ Lean
Proof of Lemma 24.

Fix .

  1. By Lemma 17, with there are and such that every and , with , admit a finite signed certificate on , annihilating monomials through degree , whose signed integral of is at least . The one-coordinate marked-Poisson moment-matching estimate supplies constants , , and with the following uniform property for the complete normalized certificate object that generates the coordinate mixtures. For every finite index set and every normalized finite signed moment certificate of order , meaning that its signed measure has normalized variation and the certificate data include the moment equations through degree , if its variation measure is supported on and the support scale satisfies , then the two branch marked-Poisson predictive laws associated with that same certificate obey Set Let Define and All these constants are positive, , and . The first five displayed calibrations follow immediately from the three minima and the definitions: , , and Moreover, and the same bound on gives The definition of gives Finally, put and . Since for every , Thus

  2. Now fix satisfying the hypotheses in the statement. By the bandwidth slack, and . Applying Lemma 17 at this gives distinct points and weights with Let and define the polar sign on all by Then is a probability measure, , and Also, every certificate node satisfies , so is not one of the nodes. Hence the displayed definition gives . Define the zero-inflated scalar law Since on the support of , and has total mass one. Hence so the coefficient of is nonnegative and is a probability measure supported on . Its mean is computed directly from the definition of : the atom at zero contributes nothing, and therefore Because on the support, this gives Let . For every vector , set Under , almost surely, and the range of is finite. Choose one reservoir cell and distinct rare cells , possible because . Put Since , one has . Define the raw cell masses and raw total mass by Then and

  3. Define the propensity field on all cells by If the last line applies, the denominator is some nonzero , so The other cases give . For branches , define control outcome means to be zero and treated outcome means by with and on unused cells. Since , all outcome means lie in . Let be the law on with cell mass propensity , zero control outcome mean, and treated outcome mean . This is a probability law because each raw mass is nonnegative and For the reservoir cell, the raw mass is and the propensity is , which lies in . For an unused cell, the raw mass is zero, so the occupied-cell overlap condition has no constraint; the totalized propensity there is . For a rare cell , if then its raw mass is zero. If , then , and the calculation above gives The control outcome means are zero, and the treated outcome means are either zero or of the form , hence lie in . Thus every occupied cell satisfies the overlap bounds and all outcome means are legal binary means, so by Definition 6. Define These are the two branch priors of the recipe, and the finite range of places the recipe in the finite-atom construction regime. The labeled and auxiliary intensities stored in the recipe are, by construction, and . Since and are independent of ,

  4. The raw total mass has mean one: For branch , the raw target is It satisfies the raw version of Definition 8. Indeed, the control outcome means are zero, so Multiplying by cancels the normalization. The reservoir and unused cells contribute zero, and the rare-cell terms give Moreover, The atom of at zero contributes zero. On the nonzero support, and , so Therefore the raw prior centers obey The alternation gap gives so the displayed difference is nonnegative and at least . Hence

  5. The support and mean bounds for give For each branch define Then on the support of , and Consequently, Taking the maximum over gives the asserted raw target-variance bound. The same bounded-support estimates also give the required square integrability of and of both .

  6. It remains to bound the prior-predictive distance in the raw Poisson experiment. For a single rare cell, let be the finite product space consisting of the two labeled treated-outcome counts, the auxiliary treated count, and the labeled and auxiliary aggregate control counts, and let be its all-zero element. For and , define the raw rare-cell kernel by where is the branch- marked-Poisson law associated with the certificate at latent mass , and is the fixed splitting kernel that separates the marked treated counts into labeled and auxiliary pieces and carries along the corresponding control-count components. Let For every measurable event and every , Indeed, this is the definition when . When , the left side is zero because both raw kernels are . The right side is also zero: as shown above, is not a certificate node, so , and the two branch marked-Poisson laws agree at the zero fiber before the fixed splitting is applied. Integrating the displayed identity with respect to gives, for every measurable , Thus the signed finite measures and are equal, and their total variations are equal. Hence Data processing under the splitting kernel and the one-coordinate marked-Poisson estimate give The certificate used here is precisely the finite-node certificate constructed above: its node set is finite, its signed weights have total variation one, all nodes lie in , and its moments through degree vanish. Thus the normalized finite-certificate and support hypotheses of the one-coordinate estimate are all discharged by the displayed construction, rather than by an additional regularity convention. Independence of the rare coordinates yields It remains to identify this product experiment with the raw Poisson experiment generated by the constructed laws. Let be the conditional raw Poisson law generated by at raw scale . Let be the single-cell raw-count space; records labeled successes, labeled failures, and auxiliary counts in arm . Let be the all-zero cell observation, and let send the five rare-cell counts to the two arm-indexed cell observations: in the treated arm it records the treated success count, treated failure count, and auxiliary treated count, while in the control arm it records zero successes, the labeled control count, and the auxiliary control count. The common reservoir law is For fixed , define rare-coordinate cell laws by and define a zero law . For and , define the deterministic assembly map by The middle line is unambiguous because the rare cells are distinct and none is the reservoir. By Lemma 23, applied with the embedding , distinguished coordinate , coordinate laws , reservoir law , and filler , where

    Equivalently, if denotes the map then because pushforward by in each rare coordinate turns into . More explicitly, coordinatewise pushforward gives Taking the product with , then composing this coordinate map with , gives . Functoriality of pushforward therefore turns the left side of the padding identity into the asserted assembled rare-coordinate law.

    We now compare these coordinate laws with the conditional raw Poisson law cell by cell. At the reservoir, raw scale multiplication cancels the normalization: Thus each arm has raw treatment-covariate mass , zero labeled-success rate, labeled-failure rate , and auxiliary rate . Therefore the reservoir coordinate law of is At a rare cell , put . If , then so all labeled and auxiliary Poisson rates at this cell are zero. The conditional raw Poisson coordinate law is . The raw rare-cell kernel is also , and , hence If , define The construction gives Consequently the raw treatment-covariate masses in the treated and control arms are The conditional raw Poisson coordinate law at is therefore the product law on with treated-arm rates for labeled successes, labeled failures, and auxiliary counts, and with control-arm rates for labeled successes, labeled failures, and auxiliary counts. The split marked rare-cell law is the fivefold product law whose coordinates have exactly the nonzero rates just displayed: treated success, treated failure, auxiliary treated, labeled control, and auxiliary control. Applying places the first three counts in the treated arm and the last two in the control arm, with zero control successes. Product Poisson laws are determined by their coordinate rates, so Combining the two rare-cell cases gives At an unused cell the raw mass is zero, so all rates are zero and its coordinate law is Thus the coordinate laws of the conditional raw Poisson experiment are precisely the padded product coordinate laws: reservoir law at , the pushed-forward rare laws at the rare cells, and the zero law elsewhere. Since conditional raw Poisson counts are independent across cells, The preceding coordinate identification, together with the padding identity which follows from Lemma 23, yields the pointwise fiber identity This equality uses more than the abstract padding identity: the reservoir calculation fixes the distinguished coordinate, the two rare-cell cases identify every pushed-forward rare law, and the unused-cell calculation supplies the Dirac fillers. Independence of the raw Poisson counts then identifies the conditional experiment with the resulting finite product. Hence every coordinate law on the two sides is the same before finite-product uniqueness is invoked. The identity holds for every . Integrating it against and using almost surely gives For cylinder events , independence under gives because each map is measurable and takes values in . Finite Fubini therefore factors the integral of their product under into the product of the coordinate integrals. Both sides define probability measures on the finite product space, and measurable rectangles form a generating -system; the - uniqueness theorem extends the displayed equality from rectangles to the whole product -algebra. Thus Consequently the branch- raw prior-predictive law is Appending the common reservoir law and applying the deterministic assembly map cannot increase total variation, so The constructed recipe with priors therefore satisfies all displayed calibration, support, common-table, mean, separation, variance, and mixture-distance conclusions.

∎
Lemma 25 [lem:common-marginal-canonical-certificate-family] (Canonical certificate family).

There exist real constants and with such that, for every overlap level with , there are a common-marginal calibration in the sense of Definition 19 and real constants with the following properties. Write for the calibration bandwidth constant, for the uniform bandwidth constant, for the shift constant, for the dual-gap constant, and for the dimension constant supplied by the calibration. These calibration constants are positive, and The auxiliary constants satisfy Moreover:

  • (Fixed-sample transfer.) For every with and , and every common-marginal prior handle at in the sense of Definition 19, let denote the degree, bandwidth, shift, and rare-cell count components of , and let and denote the two raw prior centers of its recipe. If the recipe of carries the exact common-marginal Poisson-prior construction at bandwidth constant , information size , labeled intensity auxiliary intensity and constants , including the corresponding finite-support prior data, exact common treatment-covariate marginal table, moment-matching identities through degree , raw-center separation data, and Poisson likelihood-ratio bound at rate , if the two raw prior-predictive Poisson experiment laws supplied by that recipe have total variation distance at most , and if then where is the minimax risk from Definition 11.

  • (Canonical handles.) For every with and , there exists a common-marginal prior handle at . Let denote its degree, bandwidth, shift, and rare-cell count components, set and let and denote the two raw prior centers of its recipe. The same constants satisfy On the finite-atom branch, the handle also satisfies and its recipe carries the exact common-marginal Poisson-prior construction at bandwidth constant , information size , labeled intensity , auxiliary intensity , and constants , including the finite-support prior data, exact common treatment-covariate marginal table, moment-matching identities through degree , raw-center separation data, and Poisson likelihood-ratio bound at rate . The recipe bounds hold at these intensities: both priors are supported on from Definition 6, they induce the same random law, their raw-center separation is at least , the raw total mass of the generator has mean one, the raw total mass and raw targets are square-integrable with generator variances at most , and the raw mixture total variation is at most . Moreover, the two raw prior-predictive Poisson experiment laws supplied by the recipe have total variation distance at most , and On the parametric branch,

⊢ Lean
Proof of Lemma 25.

Set These constants are positive. Fix . By Lemma 24, choose a common-marginal calibration and constants with together with the uniform construction and closure bounds supplied there. Define Then and Lemma 24 supplies positive , with . We retain that statement’s notation: is the rare-count coefficient, is the dual-gap constant, and is the dimension constant.

First consider the fixed-sample transfer assertion. Let satisfy the hypotheses in that assertion, and write By the hypotheses of the fixed-sample assertion, the recipe carried by comes with an exact Poisson-prior witness at with constants . The same hypotheses give total variation at most for its prior-predictive laws, and the assumed variance absorption is Applying the fixed-sample recipe transfer bound Lemma 20 at these intensities gives Since , this is exactly the fixed-sample transfer conclusion.

It remains to construct the canonical handle for arbitrary with and . Write Let denote the calibration regime constant, the calibration degree constant, and the calibration rare-count constant. The proof splits according to whether the parametric regime holds: In both regimes set and The calibration closure in Lemma 24 gives and Moreover, since , Thus the degree and bandwidth conclusions hold for either branch.

Suppose first that The local testing gap used by the parametric handle is admissible because where . Let be the parametric common-marginal prior handle with the above values of . Its branch condition makes the finite-atom predicate false in this case. Consequently all conclusions whose hypotheses include the finite-atom predicate are vacuous. The common treatment-covariate marginal identity is the handle identity The risk floor follows from the parametric two-point floor: Finally, the calibration closure gives and hence, using the parametric-regime inequality, This proves all required canonical-handle properties on the parametric branch.

Now suppose that the parametric regime fails: With as above, the quantities and are positive. From and the elementary inequality , valid since , we have Therefore where the last inequality is the rare-scale calibration inequality. Hence the rare shift is small.

Apply the finite-atom part of Lemma 24 with The preceding bandwidth bound, positivity of , the identity , the rare-shift bound , and produce a recipe at these intensities. The bounds supplied for this recipe include the finite-atom construction flag, support in , equality of the induced treatment-covariate marginal table, the raw total-mass mean-one identity, the raw-center separation, the raw total-mass and target variance bounds, and the raw mixture total-variation bound Together with , , , the nonnegativity of , the positivity of , the bandwidth and shift identities, and the rare-count fit , these same bounds form the exact Poisson-prior witness used below. Let be the corresponding handle. Its branch condition identifies this recipe with the finite-atom branch. The common marginal identity again gives The recipe bounds also give the raw total mass has mean one, the raw total mass and raw targets are square-integrable with variances at most , and the raw mixture total variation is bounded by The calibration decay inequality and the bound imply Thus the prior-predictive total variation condition required by the transfer rule holds.

It remains to record the two absorptions used by the handle. The counting estimate used in the finite-atom branch is Indeed, write and . Since the branch condition is the minimum in forces Put The calibration inequality implies Meanwhile, the failed-regime inequality above gives Using the ceiling bound and we obtain the complete cross-multiplication Equivalently, the proof has compared the nonnegative quantities through the strict square inequality and then divided by the positive factor . Weakening the strict bound gives Now split according to the actual comparison defining the minimum in . If then Since , and hence If instead then The calibration gives and, since , the elementary floor bound gives Using and , this is at least Thus the displayed counting estimate holds in both subcases. Recall here that denotes the calibration dual-gap constant; the rare-count coefficient is . Using , the counting estimate yields The recipe separation bound gives Consequently The fixed-sample transfer already proved above therefore gives and hence As before, the parametric floor gives Finally we verify the dimension absorption for the above . Since it is enough to compare with Split according to which term realizes On the cap-active subcase, . Because , The definition of and the dimension calibration give All factors here are nonnegative. The two bounds and therefore give, after cross-multiplication by the positive denominators, Squaring this nonnegative comparison proves on the cap-active subcase. On the floor-active subcase, . The calibration includes the rare-count identity The calibration has , while and , so . The elementary floor bound therefore gives Thus, with every factor nonnegative, Since , the calibration gives , and squaring preserves the preceding comparison, Thus in both subcases This proves every required canonical-handle property on the finite-atom branch, and completes the construction for all .

∎

The constants in Lemma 24 coordinate the degree, bandwidth, rare-cell count, and mixture decay. The shared-law conclusion for the random treatment–covariate tables is the structural feature that makes the prior compatible with auxiliary annotation data, and the final total-variation display supplies the testing bound used by Lemmas 20 and 21. Lemma 25 then assembles the transfer constants, the canonical handle, the parametric label floor, and the finite-atom branch into the certificate invoked by Theorem 3.

One-coordinate marked-Poisson input.

The load-bearing analytic estimate is a one-coordinate marked-Poisson total-variation bound for normalized signed certificates. For a normalized signed certificate supported on , with moments through degree equal to zero and , its two marked-Poisson predictive laws satisfy Expanding each marked-Poisson likelihood in the latent mass gives the intuition behind the bound: moment matching cancels the polynomial terms through degree , and the bandwidth condition leaves a geometrically controlled exponential-series tail. Tensorization over rare cells contributes the factor , while the common reservoir and deterministic splitting and assembly maps preserve or contract total variation.

Known-marginal experiment and verification note

The benchmark in Definition 15, Theorem 1, and Theorem 5 uses the same labeled experiment as the annotation problem, but supplies the treatment–covariate marginal as exact side information. This appendix records the corresponding experiment explicitly so that the comparison with the auxiliary-sample experiment in Definition 9 has a fixed statistical object.

Definition 30 [def:known-marginal-experiment] (Known-marginal experiment ).

For and , the known-marginal experiment is The first coordinate generates , and the second coordinate is the exact -cell table observed as deterministic side information.

⊢ Lean

The deterministic table contains the full joint distribution of treatment and covariates under the same observed-data law used for the labeled sample. Thus the benchmark isolates the contribution of outcome labels after the treatment–covariate frequencies are known exactly. This is the population analogue of having unlimited annotation data for , and it is the object compared with finite- annotation in Theorem 5.

The risk in Definition 15 takes the infimum over , the estimators measurable with respect to the labeled sample and this exact table. The boundary result in Theorem 1 therefore describes the benchmark rate for the known-marginal problem, while Theorem 5 identifies the annotation regimes in which the finite auxiliary sample attains the same limiting benchmark. The construction is aligned with the finite-alphabet causal model in Definition 6 and the average treatment effect functional in Definition 8; the overlap and sampling conditions remain those stated in Assumptions 1 and 2.

The next statements record the finite side-information comparison underlying that benchmark. The finite-cover statement is the compactness input that turns exact side information into finitely many stable decision rules; the causal specialization then yields convergence of empirical side samples to the exact-side benchmark; and the measurable comparison formalizes exact side information as at least as informative as an empirical side sample.

Lemma 26 [lem:finite-side-cover-approximate-decision] (Finite side cover).

Let be a nonempty compact topological space, let be a finite set, let be a finite nonempty set, and let . Suppose the following conditions hold.

  • (Laws.) For each , is a probability vector on and is a probability vector on .

  • (Target.) For each , .

  • (Continuity.) For every and , the maps , , and are continuous.

For probability vectors on , set Define where ranges over all maps Then for every , there exist an integer , centers , decisions , radii , and a margin such that for every , every admits some with and, for every and every ,

⊢ Lean
Proof of Lemma 26.
  1. For a decision , write Since , each squared term is at most , and since is a probability vector, In particular the constant decision is admissible.

  2. Fix . Let and let The fiber is nonempty because it contains . By the previous bound, the worst-case risk of the constant decision over this fiber is at most , hence . Thus the set of all fiber values is bounded above.

    For an exact-side rule , write For any such , define the fiber decision If , then , so Consequently Taking the infimum over gives

    For the reverse inequality, set Let be any real number with . Then every fiber value is strictly below . Since the fiber risks are nonnegative, the strict infimum property gives, for each , a decision such that Define a representative map on the whole simplex by This is defined for every because is nonempty. Now assemble the exact-side rule For each , the representative has side law , so . Hence Therefore Since this holds for every , Combining the two inequalities yields and in particular

  3. For , define the closed side-law neighborhood value The required shrinking-neighborhood fact is the reciprocal-radius convergence Indeed, for every , the exact fiber is contained in the closed -neighborhood, and therefore This gives the lower side of the limit. For the upper side, fix a real number and put Since the fiber risks are nonnegative, the strict infimum property gives a decision with so For this fixed decision the map is continuous, because is finite and the coordinates and are continuous. Hence the set is closed, and compactness of makes compact. The side-law map is continuous, so its image is compact and therefore closed in the finite simplex. The preceding fiber inequality implies for otherwise some would satisfy and hence both and . Since a closed set misses , there is such that For all sufficiently large , . For such , every with satisfies , and therefore Together with , this proves the displayed convergence.

    Apply the convergence with . Choose an integer with Set Together with , this gives Since all risks are nonnegative, the range of worst-case risks over admissible decisions is bounded below by . Hence the strict inequality for the infimum yields a decision such that Consequently, whenever the same belongs to the closed neighborhood, and therefore

  4. The map is continuous because each coordinate is continuous and is finite. For each , define Each is open, and . Thus is an open cover of . Compactness gives finitely many centers such that these sets still cover . Since is nonempty, this finite subcover has .

  5. For each selected center set Define Every is positive, so , and If , the finite subcover gives an index with Since , this implies Finally, if for some and , then the local guarantee from the construction at gives These are exactly the required centers, decisions, radii, and margin.

∎

Lemma 26 supplies the finite selection step used in the side-information limit. Compactness and continuity allow the exact-side decision problem to be represented, up to any tolerance , by finitely many neighborhoods of side laws. The positive margin gives room for an empirical side table to select one of these neighborhoods uniformly once the auxiliary sample is large.

Lemma 27 [lem:finite-side-information-convergence] (Finite side-information convergence).

Let the overlap parameter satisfy , let , and let . Let For , set let be the labeled-sample law on , define For each , define and define Then

⊢ Lean
Proof of Lemma 27.

Let For , write The assumptions and make nonempty and make nonempty. The coordinate map identifies , with its coordinate topology, with the finite product Here is the closed simplex which is compact as a closed subset of the finite cube . The two interval powers are finite products of compact intervals. Hence is nonempty and compact.

For each , is a probability law on , because it is the -fold product of the one-record law . Also is a probability law on . Indeed, every summand is nonnegative, and the normalization expands as The maps , , and are continuous, since each is obtained from finitely many coordinate projections by finite sums and products. Finally, and the weights are nonnegative with total mass one, so

With this notation, the empirical-side minimax value at auxiliary size is and the exact-side minimax value is We now use the finite side-information convergence argument for these data. First, for any empirical estimator , define the corresponding exact-side estimator Convexity of gives, for every , Taking suprema over and then infima over yields

It remains to prove the reverse asymptotic inequality. Put for probability laws on . Fix . With , , , , , , and , the compactness, simplex, continuity, and target-range checks above give the analytic hypotheses of Lemma 26. Its remaining structural hypotheses are immediate but worth recording: is a finite power of a finite set, is finite and nonempty because , and . Thus every hypothesis of Lemma 26 holds. Hence, for the present , there are an integer , centers , bounded decisions , radii , and a margin such that and, for every and every ,

For and , let be the empirical law of , and put . Since , this set is nonempty. Choose a selector as follows: if at least one satisfies let be the least such index; if there is no such index, set . Define On the event choose a cover index with The good-event bound and the triangle inequality give so is eligible for the selector. Hence Applying the triangle inequality once more, now through , yields Therefore because all estimates and all targets lie in . For the finite-alphabet concentration step, fix . For and , write Under , the variables are independent Bernoulli variables with mean . Thus and, since a Bernoulli variance is at most , Chebyshev’s inequality gives, for every , If , then the defining identity implies that some satisfies Hence the bad event satisfies The union bound over the finite alphabet gives The right-hand side is independent of and tends to zero, hence

Taking the supremum over and then using the displayed estimator in the minimax infimum yields Since was arbitrary,

Combining for every with the last display gives Thus .

∎

Lemma 27 states the population-side-information approximation directly: as the number of auxiliary treatment–covariate records grows, the finite-sample minimax risk converges to the risk obtained when the treatment–covariate marginal is observed exactly. This supplies the finite-dimensional continuity step behind the known-marginal limit in Theorem 5 and keeps the benchmark comparison on the same labeled-sample scale as the annotation experiment.

Finite-cover selection input.

The finite-cover mechanism in Lemma 26 applies to the discrete causal parametrization because the parameter set is compact and its labeled probabilities, side-law probabilities, and target are continuous functions of the cell probabilities. Concentration of the empirical side table then selects a valid neighborhood with probability tending uniformly to one, while Lemma 28 gives the complementary comparison from an empirical side sample to its exact probability vector.

Lemma 28 [lem:finite-side-measurable-comparison] (Empirical side comparison).

Let be a nonempty parameter set, let and be nonempty finite sets, and let be real numbers. Suppose that, for each , the following objects are given:

  • (Observed side law.) A probability vector on .

  • (Empirical side law.) A probability vector on .

  • (Target.) A number .

For each integer , define Define also where the infimum ranges over all maps such that, for each , the section is Borel measurable. Then, for every integer ,

⊢ Lean

Lemma 28 gives the corresponding monotone comparison for finite spaces: replacing an empirical side sample by its exact probability vector weakly lowers the minimax risk. In the known-marginal application, this comparison expresses the benchmark as the risk associated with observing the treatment–covariate law itself, rather than a random finite sample from that law.

A complementary asymptotic comparison spells out when auxiliary annotation improves the rate in Definition 12 relative to the labeled-only case. It expresses the improvement entirely through the alphabet growth and the effective treatment–covariate sample size.

Lemma 29 [lem:annotation-frontier-strict-improvement] (Strict frontier improvement).

Let and be sequences of nonnegative integers such that for every . For each , set and , and let be the annotation-frontier rate in Definition 12. Then, as , if and only if and

⊢ Lean
Proof of Lemma 29.
  1. All limits are taken as , and changing finitely many initial values is immaterial. Put For every sufficiently large , , , , , and . The last inequality uses , while positivity of uses . By Definition 12,

  2. We use the following numerical reduction. Suppose sequences satisfy, eventually, Define Then Indeed, if , then . Since and eventually, so . Also eventually; hence eventually, and therefore eventually. Thus so . To replace by , observe that and hence Writing , we have , and whenever , Consequently , and the displayed two-sided bound gives Therefore and taking square roots, using and , yields .

    Conversely, assume Then , and since , Finally, which is exactly .

  3. We also need the supervised floor equivalence Set For , and direct algebra gives Assume first that . Given a real threshold , put Eventually Since , Because , this forces , and hence eventually. Thus .

    Conversely, if , then and . With the same identity gives Therefore If , then if , then and Thus, in all cases, which proves the equivalence.

  4. Applying the reduction from the second step to the sequences in the first step yields if and only if Substituting the definitions of and , the second condition is exactly By the supervised floor equivalence from the third step, the first condition is exactly Combining the two equivalences proves the claimed characterization.

∎

Lemma 29 identifies the regimes in which the annotation rate is asymptotically smaller than the labeled-only rate. The first condition places the alphabet beyond the labeled-only parametric scale, so treatment–covariate information can affect the leading rate. The second condition requires the combined treatment–covariate sample size to reduce the alphabet-dependent term relative to its labeled-only analogue. Together these conditions give an exact rate-level criterion for when auxiliary annotation changes the asymptotic order delivered by Theorem 4.

Verification note.

The displayed theorem, proposition, lemma, definition, and assumption statements, together with their mathematical proofs, are machine-checked in Lean 4. Displayed objects marked presentation-synthesized organize or restate the checked layer for exposition. Causal interpretation, bibliographic comparison, and surrounding econometric prose are reader-facing synthesis built around that mathematical layer.

The stable statement-to-declaration manifest is presentation_crosswalk.json in this presentation directory; it records the source file, fully qualified declaration, mapping status, and sorry-free status for each mapped object. The corresponding extracted statement layer is recorded in formal_layer.json, and proof-audit receipts are recorded in proof_audit_cache.json. Verification used repository commit db544e5fa3f974dbfb320a2ecc9407c400aae9d2, Lean (release commit d8b18978322de05a8f3dba51ef03cf5461676c17), and Lake .

Proofs of the main results

Proof of Theorem 1.

Fix . We prove the result with The first constant is positive, and because gives It remains to verify the two risk inequalities uniformly over and .

  1. For the lower bound, put Then , , and Consider two laws on . Under , the covariate is uniform on , the propensity is , and both outcome regressions equal . Under , the covariate is again uniform, the propensity is , the control regression is , and the treated regression is . Since , the perturbed treated regression lies in . Both laws belong to from Definition 6, because their occupied-cell propensity is , which satisfies the overlap condition in Assumption 1.

  2. The two laws have the same supplied treatment-covariate table: Their ATE values, computed from Definition 8, are Thus, with the testing half-separation we have

  3. The product laws are sufficiently close in total variation. For one labeled observation, with the perturbed law compared to the null law, the chi-squared increment is Thus The product chi-squared divergence tensorizes as Since for , the preceding calibration gives and hence The perturbed product law is absolutely continuous with respect to the null product law because every one-observation atom under the null has positive mass. Therefore the standard Cauchy–Schwarz comparison between total variation and chi-squared divergence yields

  4. Let be any known-marginal estimator, and define where the equality uses the common supplied table. Since the two targets are separated by , for every sample point at least one of holds. The total-variation bound therefore gives For either law , Taking the larger of the two risks, then the supremum over and the infimum in Definition 15, yields

  5. For the upper bound, take any . For a supplied table , define the known-marginal score on a record by with any ratio having denominator assigned value . The raw estimator is and the estimator used in the risk is its projection to . This projection is measurable on the finite sample space and weakly decreases squared loss because .

  6. Now specialize the table to the true table . Write If , overlap gives if , then . Hence with zero-mass cells contributing . Similarly, Thus

  7. By the labeled product sampling in Assumption 2, After clipping, the squared risk is bounded by the same quantity. Taking the supremum over and then the infimum over estimators in Definition 15 gives Together with the lower bound, this proves the claimed inequalities for all and .

∎
Proof of Theorem 2.

Fix .

  1. By Lemma 14, choose a universal constant such that, for every , , , and , By Lemma 13, choose , depending only on , such that, for the same range of parameters and laws, Set Then .

  2. It remains to verify the displayed bound uniformly over . Fix , , and . For any , the two estimates above give The last inequality uses the elementary rate comparison which follows directly from Definition 12, since for . Therefore

  3. Since the preceding bound holds for every , taking the supremum over the model class yields The rate is positive for by Definition 12, so the right-hand side is a well-defined finite real number. The asserted uniform bound follows for all , , and .

∎
Proof of Theorem 3.
  1. Fix . By Lemma 25, there are positive numerical constants and, at this , calibration constants as in Definition 19, together with Write for the dimension constant in this calibration, and write for the calibration’s dual-gap constant. For every with and , Lemma 25 supplies a handle satisfying and the floor certificate For this handle, put and where and are the rare-cell count and shift in Definition 19. In the finite-atom branch, the same cited certificate gives the nonparametric dimension comparison and the fixed-sample lower bound attached to the canonical handle, The displayed lower bound follows once the handle’s common-marginal witness, total-variation bound, center separation, and variance absorption satisfy the hypotheses of Lemma 21. In the complementary branch, Lemma 25 gives directly

  2. Define Since and , this constant is positive.

  3. Fix with and , and take the handle from the certificate package. Put Both and are nonnegative. The frontier rate in Definition 12 satisfies Indeed, if , the right side is , which dominates the minimum. If , then , and the left side is at most .

  4. Suppose first that is in the finite-atom branch. Since , multiplying the finite-branch dimension comparison by and then using the transferred fixed-sample lower bound gives Together with the floor inequality, this supplies the two lower bounds used in the averaging step. Using the definition of and the bound from the previous step, Thus the asserted lower bound holds in the finite-atom branch.

  5. It remains to treat the complementary branch. In this branch, the certificate clause in Lemma 25 gives directly Together with the floor inequality we obtain This proves the risk lower bound in the complementary branch as well.

  6. Combining the two branches, for every with , , and , the handle supplies priors and with common random treatment-covariate marginal law and satisfies Taking the theorem’s lower-bound constant to be , and using with the fixed calibration constants chosen above, gives the asserted conclusion.

∎
Proof of Theorem 4.
  1. By Theorem 3, choose a constant such that, for every , , and , By Theorem 2, choose such that for the same range of . Set Then . The estimator is measurable, so the definition of in Definition 11 gives Combining the last two displays, and using , yields Together with the lower bound from Theorem 3, this proves the finite-sample bracket.

  2. The unannotated endpoint is the specialization of Definition 12. Since in that case,

  3. The known-marginal limit is exactly the conclusion of Theorem 5: for fixed and ,

  4. It remains to record the sequence consequences. Fix sequences and with , and set The finite-sample bracket gives, for all , Since all four sequences are nonnegative, these two-sided bounds imply Indeed, the upper inequalities give the -bounds in one direction, and the lower inequalities give and .

    With Definition 12 gives Because , this display satisfies The implication from right to left follows by continuity of ; the implication from left to right follows because eventually , hence eventually, so . Using , we obtain

    Next, For the first equivalence, the term is already present in , and the same eventual equality applies after the bound forces . The second equivalence is obtained by taking square roots of nonnegative sequences and multiplying by . Transferring through gives

    Finally put Then By Lemma 29, the numerical strict-improvement criterion for these two rates is if and only if both and To see this, observe first that , so forces , which is equivalent to . Under this condition the floor term is negligible in , and Since , the remaining requirement is equivalent to which, for nonnegative sequences, is the same as Substituting the definitions of and , this last condition is exactly The two-sided bounds and transfer precisely to which proves the stated strict-improvement equivalence.

∎
Proof of Theorem 5.

Let We use the compact coordinate space The assumptions and make this space nonempty. For , set and define Also, so for every .

  1. Define the finite-side values and With the preceding coordinates, Lemma 27 gives

  2. Let be the measurable ambient exact-table value where the infimum ranges over all rules whose section is Borel measurable for each . The target range established above gives , and Lemma 27 supplies the convergence The measurable ambient exact-table value is tied to this limiting sequence by two comparisons. The exact-side value infimizes over all rules on , while the ambient value infimizes over rules on with Borel-measurable sections. Restricting any ambient rule to gives an admissible exact-side rule, so the exact-side class is at least as large after restriction, and therefore Conversely, Lemma 28 gives for every . For completeness, its measurable conditional-average construction in the present coordinates is as follows. Fix an integer and an empirical-side rule . Define first the polynomial conditional average on the ambient table space by This function is Borel measurable in for each fixed . Use its clipped version as the ambient exact-table rule, Then is admissible for . When , the coefficients form a probability vector on , and since takes values in , the polynomial average already lies in . Hence, on probability tables, For every and , Jensen’s inequality for the product law gives Multiplying by , summing over , and then taking the supremum over gives Taking the infimum over yields Taking the limit along the displayed convergence yields The two inequalities identify the ambient measurable exact-table value with the exact-side value:

  3. We use here the standing theorem hypotheses and , which are also the parameter-range clauses in the definition of . Under these hypotheses, the compact coordinates parametrize the laws in from Definition 6. For every , the law satisfies occupied-cell overlap because, whenever , its treatment propensity is Conversely, given any , choose coordinates by The value of in an empty cell is immaterial because every atom in that cell is multiplied by . For occupied cells, the overlap condition places in , and the binary outcome regressions place in . These coordinates recover the atom probabilities, with the empty-cell case giving zero on both sides. Thus the map is surjective onto the model class.

    Under this parametrization, the three quantities entering the known-marginal risk are transported by The last identity follows from Definition 8: on occupied cells the outcome regressions are and , while empty cells have coefficient . Hence, for every bounded measurable known-table rule , The known-table sample space in Definition 15 is . Its bounded measurable procedures are in bijection with the ambient procedures used in . Explicitly, a paper procedure is sent to and an ambient procedure is sent back to . Because is finite and discrete, measurability of every section is equivalent to measurability of the uncurried map; the two assignments are pointwise inverse and preserve the range .

    For corresponding and , evaluation at the known table , followed by expansion of the finite labeled product law, gives Thus the estimator bijection preserves every coordinate risk exactly. Reindexing the supremum over by the surjective coordinate map, and then taking the same infimum over the bijective procedure classes, gives Together with the equality above, this gives

  4. For each , the minimax risk in Definition 11 equals the empirical finite-side value: First reindex the supremum over by the surjective map . The annotation sample space is the finite product , so every real-valued map on it is measurable. For any measurable estimator in the annotation experiment, write its two-sample mean-squared risk at as Expanding both finite product measures, and using , , and , gives the exact table identity for .

    Thus every empirical-side procedure induces the paper estimator viewed as an estimator in the annotation experiment. For this induced estimator, the preceding expansion gives equality of the coordinate risks for every , hence equality of the corresponding worst-case risks after the reindexing by . Since the paper infimum ranges over all measurable estimators, including these induced estimators, taking the infimum over gives For the reverse inequality, let be any measurable paper estimator and define the clipped empirical-side rule The transported identity , together with the target-range bound, gives the pointwise clipping inequality Integrating this inequality against yields By the same finite product expansion as above, the left side is exactly the empirical-side table risk of at . The comparison of worst-case risks also requires a finite bound for the unclipped estimator. Set Since , for every and . Hence the worst-case risk of over the reindexed model is bounded, and the integrated clipping inequality implies Taking infima over all measurable paper estimators gives The two inequalities prove .

  5. The preceding displayed identities give

∎
Proof of Theorem 6.
  1. By Lemma 2, choose , depending only on , such that for every , every , and every , Hence, in the independent Poisson count experiment, Set

  2. Fix , , and . Let and put The estimator is a finite sum of measurable prefix statistics with deterministic weights, so it is measurable. The class is nonempty: the law with uniform covariate distribution, propensity , and equal outcome regressions in the two arms satisfies Assumption 1 because .

  3. First suppose . The block arithmetic gives and therefore , , , and . Consequently so Also, and hence

  4. For the Poisson prefix overflow terms, the elementary bound is obtained as follows. Bernstein’s upper-tail inequality for a Poisson variable with mean , applied with deviation parameter , yields Since , Applying this with and gives Together with and , this implies

  5. Fix . Under the probability law , draw two independent finite prefixes: an outcome-marked prefix from with Poisson length of mean , and a treatment–covariate prefix from with Poisson length of mean . If is the number of outcome-marked prefix records with and is the number of treatment–covariate prefix records with , set and define The prefix transfer in Lemma 4, applied with the present block sizes and intensities, gives Here the fixed-sample estimator is the finite Rao–Blackwell average over admissible prefix lengths in Definition 20; the displayed inequality accounts for the two overflow events, and the coefficient is the squared diameter of for the clipped statistic and the target .

  6. The Poisson-prefix counts have the Poisson count law by Lemma 3: for every and , and these coordinates are mutually independent. Thus the pushforward of under the count map is exactly the product law used in Lemma 2. We first record the range of the target. The cell masses satisfy and , and the binary-outcome regressions satisfy . Hence Thus . Since projection onto cannot increase distance from a point of , clipping gives Combining this with Step 1 gives

  7. The preceding displays imply Indeed, the variance contribution is bounded by the squared-bias contribution by and the overflow contribution by Since the preceding display gives the large-sample estimate If , then , and hence When , both the estimator and lie in , so

  8. It remains to cover . Then , and Again using the boundedness of the estimator and of , because .

  9. Taking the supremum over in the preceding bound gives Finally, is an admissible measurable estimator in the class defining in Definition 11. Therefore

∎
Proof of Theorem 7.

Fix .

  1. By Lemma 22, choose such that, for every , , and , By Theorem 6, choose such that, for every , , and , Set Then .

  2. For , the lower bound supplied by Lemma 22 gives, for every and ,

  3. It remains to bound the right-hand side. Fix and , and put Then , hence , and because . Therefore Using Theorem 6 with , This proves the asserted two-sided bound for all and .

∎

References

  • Rubin, Donald B. (1974). Estimating Causal Effects of Treatments in Randomized and Nonrandomized Studies. Journal of Educational Psychology. doi
  • Rosenbaum, Paul R. and Rubin, Donald B. (1983). The Central Role of the Propensity Score in Observational Studies for Causal Effects. Biometrika. doi
  • Imbens, Guido W. and Rubin, Donald B. (2015). Causal Inference for Statistics, Social, and Biomedical Sciences: An Introduction. Cambridge University Press. doi
  • Robins, James M. and Rotnitzky, Andrea and Zhao, Lue Ping (1994). Estimation of Regression Coefficients When Some Regressors Are Not Always Observed. Journal of the American Statistical Association. doi
  • Hahn, Jinyong (1998). On the Role of the Propensity Score in Efficient Semiparametric Estimation of Average Treatment Effects. Econometrica. doi
  • Hirano, Keisuke and Imbens, Guido W. and Ridder, Geert (2003). Efficient Estimation of Average Treatment Effects Using the Estimated Propensity Score. Econometrica. doi
  • Bang, Heejung and Robins, James M. (2005). Doubly Robust Estimation in Missing Data and Causal Inference Models. Biometrics. doi
  • Farrell, Max H. (2015). Robust Inference on Average Treatment Effects with Possibly More Covariates than Observations. Journal of Econometrics. arXiv
  • Athey, Susan and Imbens, Guido W. and Wager, Stefan (2018). Approximate Residual Balancing: Debiased Inference of Average Treatment Effects in High Dimensions. Journal of the Royal Statistical Society: Series B (Statistical Methodology). doi
  • Chernozhukov, Victor and Chetverikov, Denis and Demirer, Mert and Duflo, Esther and Hansen, Christian and Newey, Whitney and Robins, James (2018). Double/Debiased Machine Learning for Treatment and Structural Parameters. The Econometrics Journal. doi
  • Kennedy, Edward H. (2016). Semiparametric Theory and Empirical Processes in Causal Inference. Statistical Causal Inferences and Their Applications in Public Health Research. doi
  • Zhang, Anru and Brown, Lawrence D. and Cai, T. Tony (2019). Semi-Supervised Inference: General Theory and Estimation of Means. The Annals of Statistics. doi
  • Chakrabortty, Abhishek and Cai, Tianxi (2018). Efficient and Adaptive Linear Regression in Semi-Supervised Settings. The Annals of Statistics. doi
  • Deng, Siyi and Ning, Yang and Zhao, Jiwei and Zhang, Heping (2024). Optimal and Safe Estimation for High-Dimensional Semi-Supervised Learning. Journal of the American Statistical Association. doi
  • Angelopoulos, Anastasios N. and Bates, Stephen and Fannjiang, Clara and Jordan, Michael I. and Zrnic, Tijana (2023). Prediction-Powered Inference. Science. doi
  • Cheng, David and Ananthakrishnan, Ashwin N. and Cai, Tianxi (2021). Robust and Efficient Semi-Supervised Estimation of Average Treatment Effects with Application to Electronic Health Records Data. Biometrics. doi
  • Chakrabortty, Abhishek and Lu, Jiarui and Cai, T. Tony and Li, Hongzhe (2019). High Dimensional M-Estimation with Missing Outcomes: A Semi-Parametric Framework. arXiv preprint arXiv:1911.11345. arXiv
  • Chakrabortty, Abhishek and Dai, Guorong (2024). A General Framework for Treatment Effect Estimation in Semi-Supervised and High Dimensional Settings. arXiv preprint arXiv:2201.00468. arXiv
  • Chakrabortty, Abhishek and Dai, Guorong and Carroll, Raymond J. (2022). Semi-Supervised Quantile Estimation: Robust and Efficient Inference in High Dimensional Settings. arXiv preprint arXiv:2201.10208. arXiv
  • Kallus, Nathan and Mao, Xiaojie (2025). On the Role of Surrogates in the Efficient Estimation of Treatment Effects with Limited Outcome Data. Journal of the Royal Statistical Society: Series B (Statistical Methodology). arXiv
  • Anniwaer, Yilizhati and Zhang, Yuqian (2025). Semi-Supervised Inference for Treatment Heterogeneity. arXiv preprint arXiv:2509.05048. arXiv
  • Xu, Zichun and Witten, Daniela and Shojaie, Ali (2025). A Unified Framework for Semiparametrically Efficient Semi-Supervised Learning. arXiv preprint arXiv:2502.17741. arXiv
  • Zeng, Zhenghao and Balakrishnan, Sivaraman and Han, Yanjun and Kennedy, Edward H. (2026). Causal Inference with High-Dimensional Discrete Covariates. arXiv preprint arXiv:2405.00118. arXiv
  • Jiao, Jiantao and Venkat, Kartik and Han, Yanjun and Weissman, Tsachy (2015). Minimax Estimation of Functionals of Discrete Distributions. IEEE Transactions on Information Theory. doi
  • Wu, Yihong and Yang, Pengkun (2016). Minimax Rates of Entropy Estimation on Large Alphabets via Best Polynomial Approximation. IEEE Transactions on Information Theory. doi
  • Valiant, Gregory and Valiant, Paul (2017). Estimating the Unseen: Improved Estimators for Entropy and Other Properties. Journal of the ACM. doi
  • Orlitsky, Alon and Suresh, Ananda Theertha and Wu, Yihong (2016). Optimal Prediction of the Number of Unseen Species. Proceedings of the National Academy of Sciences. doi
  • Hou, Jue and Mukherjee, Rajarshi and Cai, Tianxi (2025). Efficient and Robust Semi-Supervised Estimation of Average Treatment Effect with Partially Annotated Treatment and Response. Journal of Machine Learning Research. arXiv
  • Kato, Masahiro (2025). Semi-Supervised Treatment Effect Estimation with Unlabeled Covariates via Generalized Riesz Regression. arXiv preprint arXiv:2511.08303. arXiv