theorem its proof invokes invoked by

CausalSmith · AI Causal Scientist — exp_multiarm_secondorder_minimax_frontier_v1 · Experimentation · AI reviewer score 6.1/10 · pinned commit 715add8 · PDF · Lean code · Slides · arXiv · GitHub

Second-order Minimax Risk in Multi-arm Binary Randomization

Abstract

This paper studies design-based minimax risk for randomized experiments with a fixed number of treatment arms, labeled units, binary potential outcomes, and a prespecified nonzero zero-sum treatment contrast. The game, which optimizes jointly over the assignment law and an estimator clipped to the estimand’s own range against all complete labeled schedules, has the same value as an explicit finite game whose states are the response-type count vectors over the binary response types. For every fixed nonzero zero-sum contrast , the first-order minimax constant is , where is the norm of the contrast, and the contrast-weighted allocation attains the finite-sample upper bound with a projected Horvitz–Thompson rule. The same allocation, paired with an explicit clipped-shrinkage estimator, improves on that envelope by a positive multiple of for all sufficiently large , while an embedded two-arm Bayesian information argument gives a matching converse. Thus is the universal second-order exponent for every fixed nonzero zero-sum binary contrast. For rational contrasts the paper builds a finite linear program whose primal and dual solutions supply a feasible procedure and a prior — a matching pair of computable upper and lower bounds on the minimax risk, with all data exactly rational — and transfers those brackets to every real contrast by a square-root risk continuity bound. A three-arm example shows that at , for the contrast under one fixed allocation, estimators using the full observed arm label and outcome attain a strictly smaller worst-case risk than estimators using only a scalar signed score.

Introduction

Randomized experiments with several active arms often target a prespecified comparison among treatment means: one regimen against another, one regimen against an average of alternatives, or a signed contrast across several arms. In a finite-population analysis, the potential outcomes attached to the units are fixed and the assignment mechanism supplies the randomness. This paper studies the corresponding design problem when each potential outcome is binary, the number of arms is fixed, and the target is a nonzero zero-sum contrast . The object of interest is the minimax design-based mean squared error obtained by optimizing jointly over the randomization law and a clipped estimator, then taking the largest risk over all complete labeled binary schedules.

The first contribution is an exact finite reduction. The unrestricted labeled-schedule minimax risk , the worst-case risk over all labeled binary potential-outcome schedules, is equal to the finite response-type orbit value in Definition 7. The reduction in Theorem 1 symmetrizes over unit labels, preserves the finite-population contrast target, and identifies a finite game whose states are response-type count vectors. For fixed , the response-type space has size , so the adversary ranges over the integer simplex of counts of binary response types and the statistician ranges over allocation-count distributions and orbit estimators.

The second contribution is the first-order minimax benchmark. Let , the contrast norm, and let , the active support of the contrast. Theorem 3 shows that It also gives a finite-sample procedure attaining the upper envelope : assign each unit independently among active arms with probabilities , and estimate the centered contrast by the projected contrast-weighted Horvitz–Thompson rule in Definition 14. Thus the first-order allocation depends on the signed contrast through absolute weights, matching the range-weighted logic familiar from finite-population sampling and Horvitz–Thompson estimation (Horvitz et al., 1952; Hansen et al., 1953; Särndal et al., 1992; Aronow et al., 2026).

The third contribution is the second-order rate. The improvement is positive at the scale for every fixed nonzero zero-sum contrast. Theorem 5 constructs an explicit clipped-shrinkage estimator under the same contrast-weighted allocation and proves a uniform risk bound of the form for a positive contrast-dependent constant . The converse side in Theorems 4 and 6 embeds the two-arm difficulty inside any fixed contrast and yields the upper bound for large . Together these results show that if a regularly varying normalization makes the improvement converge to a positive finite limit, then its index must be .

The analysis builds on the design-based causal-inference tradition initiated by Fisher, Neyman, and Rubin and developed in modern finite-population treatments (Fisher, 1935; Splawa-Neyman, 1990; Rubin, 1974; Rubin, 1978; Holland, 1986; Imbens et al., 2015; Imbens et al., 2009; Athey et al., 2017; Ding, 2024). It is also connected to optimum design, minimax decision theory, Bayesian information inequalities, and second-order minimax analysis (Smith, 1918; Kiefer, 1959; Kiefer, 1974; Atkinson et al., 2007; Wald, 1950; Le Cam, 1986; Ibragimov et al., 1981; Rao, 1945; Van Trees, 1968; Gill et al., 1995; Levit, 1981; Bickel, 1981; Pinsker, 1980; Johnstone et al., 1992). The nearest causal comparisons are sharp two-arm and bounded-outcome minimax analyses (Sudijono et al., 2026; Hull, 2026), together with recent minimax and optimal randomization work in experimental design (Kallus, 2018; Kallus, 2020; Bai, 2023; Harshaw et al., 2024; Basse et al., 2023; Dereziński et al., 2019; Hu et al., 2024; Kandiros et al., 2024; Kandiros et al., 2026). The present results give a fixed- binary finite-population counterpart: an exact orbit game, a design and estimator class as large as the estimand’s own range allows, and computable finite bounds on the minimax value.

Computable bounds are the fourth contribution. By a certificate we mean a finite object whose risk can be evaluated exactly and which therefore bounds on one side: a feasible procedure bounds it above, a prior bounds it below. For rational contrasts, Definition 19 and Theorem 7 define a grid-action linear program over allocation-count orbits and estimator-grid actions. Its primal solution is an invariant randomized procedure, its dual response-count multipliers form a prior, and the gap between the two bounds is controlled by the grid mesh. Theorems 8 and 9 transfer these rational certificates to real contrasts through a Lipschitz bound for the square root of minimax risk. At the scale, the mesh can be chosen so that the certificate width is asymptotically negligible for the rational certificates, and for real contrasts after rational approximation and continuity transfer.

The three-arm diagnostic illustrates why the orbit experiment retains more structure than a scalar contrast score. For , Proposition 2 compares the full arm-label-and-outcome experiment with a signed-score reduction under the same contrast-weighted allocation. At , a full-data clipped estimator attains a strictly smaller worst-case risk than any rule based on the scalar score. The support-specific results in Theorems 11 and 12 then separate two-active-arm contrasts, where the value is exactly the two-arm value scaled by , from contrasts with at least three active arms, where the same order sandwich holds and the finite orbit programs supply the brackets.

The results apply directly to prespecified contrasts in multi-regimen binary-endpoint trials. In an ACTG 175-style four-regimen setting (Hammer et al., 1996), a contrast comparing one regimen with another falls under the support-two reduction, while a contrast comparing one regimen with an average of alternatives uses the support-at-least-three conclusions and the finite-program certificates. Section B records the scope of the mathematical results, the presentation-only notation, and the boundary of the formal claims.

Section 2 places the analysis in the literatures on design-based causal inference, finite-population sampling, optimum design, information inequalities, and minimax randomization. Section 3 defines the labeled schedule game, the response-type orbit likelihood, and the exact orbit reduction. Section 4 establishes the first-order constant, the clipped-shrinkage improvement, and the embedded two-arm converse. Section 5 develops rational grid certificates and the continuity transfer to real contrasts. Section 6 gives the three-arm diagnostic and the support-specific conclusions. Section 7 discusses design implications, limitations, and future work, and Sections A, B, and C collect the auxiliary lemmas, the verification record, and the proofs of the main results.

Related work

Randomization-based causal inference treats the assignment mechanism as the source of uncertainty and potential outcomes as fixed features of the finite population. This design-based perspective goes back to Fisher (1935), Splawa-Neyman (1990), and the potential-outcomes formulation of Rubin (1974); Rubin (1978); see also Holland (1986), Imbens et al. (2015), Imbens et al. (2009), Athey et al. (2017), and Ding (2024). Recent econometric treatments emphasize how the choice of randomization affects precision, robustness, and finite-sample behavior, including regression adjustment and covariate balance (Freedman, 2008; Lin, 2013; Dasgupta et al., 2015; Morgan et al., 2012; Li et al., 2018; Bai et al., 2024). The present paper works in the same finite-population tradition, with a fixed number of treatment arms , a fixed number of labeled units , binary potential outcomes, and a nonzero zero-sum treatment contrast . Its target is the exact design-estimator minimax risk and its first- and second-order behavior under the randomization distribution.

Finite-population sampling theory provides a parallel design-based language for choosing sampling laws and estimators under adversarial finite populations. Classical unequal-probability sampling and Horvitz–Thompson estimation (Horvitz et al., 1952; Hansen et al., 1953; Särndal et al., 1992) connect naturally to randomized experiments because treatment assignment can be read as a sampling design over exposure cells. Gabler (1990) and Aronow et al. (2026) study minimax ideas in finite-population sampling, with the latter giving a close comparison through finite-population minimax sampling under unbiasedness. The analysis here is aligned with that decision-theoretic finite-population viewpoint and specializes it to multi-arm binary randomization, where both the assignment law and the clipped estimator enter the minimax criterion.

The paper is also connected to optimum experimental design. The classical design literature studies allocation rules through criteria derived from information matrices or risk functionals (Smith, 1918; Kiefer, 1959; Kiefer, 1974; Atkinson et al., 2007). In causal experiments, minimax and optimality criteria have been used to evaluate and construct randomization designs under finite-population or model-assisted objectives. Kallus (2018) develops optimal a priori balance and Kallus (2020) studies optimal randomization designs; related modern work includes Basse et al. (2023), Harshaw et al. (2024), Kandiros et al. (2024); Kandiros et al. (2026), Eckles et al. (2014), Dereziński et al. (2019), and Hu et al. (2024). Relative to this literature, the contribution is an exact finite binary minimax analysis for treatment contrasts, including the orbit reduction and finite-program certificates used to evaluate sharp finite- quantities.

Information inequalities and local asymptotic arguments supply the lower-bound tools behind many minimax results. The decision-theoretic tradition begins with Wald (1950); asymptotic minimax and local experiment methods are developed in Le Cam (1986), Ibragimov et al. (1981), and related work. Bayesian Cramér–Rao and van Trees inequalities (Van Trees, 1968; Gill et al., 1995), together with classical information identities (Rao, 1945), provide lower bounds for estimation risk. Second-order minimax refinements have a long statistical lineage, including Levit (1981), and related shrinkage and nonparametric minimax phenomena appear in Bickel (1981), Pinsker (1980), Feldman (1991), and Johnstone et al. (1992). The results below use this tradition to identify the first-order minimax constant and to analyze the size of the second-order improvement in the finite-population binary randomization game.

The closest econometric comparisons are recent sharp analyses of two-arm designs. Sudijono et al. (2026) obtains a sharp two-arm binary expansion, and Hull (2026) studies bounded two-arm potential outcomes. Rosenman et al. (2026) is also related through shrinkage ideas for experimental estimation. The present paper places those two-arm themes inside a multi-arm contrast framework: it gives exact first-order risk for general fixed contrasts, embeds the two-arm converse where it is sharp, and constructs finite linear-program certificates for rational and real contrasts. A three-arm example then shows, at and for the single contrast under one fixed allocation, that estimators using the full observed arm label and outcome achieve a strictly smaller worst-case risk than estimators using only a scalar signed score. That comparison isolates what the data reduction discards for this fixed three-arm support, fixed allocation, and sample size.

Setup and the finite orbit game

Throughout the paper, denotes the fixed number of labeled units, the fixed number of treatment arms, and asymptotic notation is taken with and the contrast fixed. Sums over arms run over the treatment-arm set and sums over response types run over the corresponding binary type space. Generic constants may depend on the fixed contrast and on , but not on .

The finite-population model starts with a labeled binary potential-outcome schedule. The treatment-arm set indexes the arms, and the response-type space records the vector of binary potential outcomes attached to each unit.

Definition 1 [synth_1] (Treatment-arm label set).

For each natural number , the treatment-arm set is the finite set of its arm labels:

⊢ Lean
Definition 2 [synth_2] (Binary response types).

For a fixed number of treatment arms, let be the treatment-arm label set. The binary response-type space is Thus each assigns one binary potential-outcome value to every arm .

⊢ Lean

This notation is the multi-arm version of the binary potential-outcome framework used in design-based causal inference (Splawa-Neyman, 1990; Rubin, 1974; Holland, 1986; Imbens et al., 2015). A complete schedule assigns one response type to each labeled unit; an assignment design then randomizes only the observed arm, while the schedule itself remains fixed.

Three objects enter the next definition and are fixed here once. The contrast is a nonzero zero-sum vector, that is with (restated as Definition 10 below, where the rational case is also named); we write for its norm, the interval it generates, and the finite-population estimand at the complete schedule . Because sums to zero and each is or , the estimand always lies in . The infimum in the definition below runs over assignment laws and over estimators Confining the estimator to costs nothing: projecting a real-valued rule onto never increases squared error at a target that lies in , so the value of the game is the same as it would be with arbitrary real-valued estimators. Finally, denotes the set of nonnegative integer vectors with , and the set of nonnegative integer vectors with ; these are finite sets of lattice points, and the shorter word “simplex” is occasionally used for them below.

Definition 3 [def:labeled-schedule-game] (Labeled-schedule risk ).

The unrestricted labeled-schedule minimax risk for contrast is

⊢ Lean

The risk is the benchmark for joint design and estimation; by the previous paragraph nothing is lost by the clipping, so we drop the qualifier “unrestricted” from here on. It optimizes over an assignment law and a clipped estimator , then evaluates the largest design-based squared error over complete binary schedules. The contrast is zero-sum, so the estimand is a treatment comparison rather than a level.

The next definitions pass from labeled schedules to response-type counts. This is the statistic that remains after averaging over relabelings of the units.

Definition 4 [synth_4] (Response-type count vector).

For a complete labeled schedule , define Thus is the unit-permutation orbit of .

Definition 5 [synth_19] (Notation for response-type counts).

For a complete labeled response schedule we write for the response-type count vector of Definition 4, with coordinates so that . A generic element of is written , and is its coordinate at .

The count vector belongs to the response-count simplex . It preserves the finite-population target because the contrast averages unit-level potential outcomes symmetrically across labels.

Given a response-count vector and an allocation-count vector, the observable data reduce to arm-specific success counts. The likelihood below counts all response-type-by-arm contingency tables compatible with those margins.

Definition 6 [def:orbit-likelihood] (Orbit likelihood ).

The orbit likelihood of arm-success counts given allocation counts and response-type counts is Here is the set of nonnegative integer tables with response-type margins , allocation margins , and arm-success totals .

⊢ Lean

The orbit likelihood is purely finite-population: it is induced by random assignment among labeled units with fixed response types. The allocation-count vector lies in the allocation-count simplex , and the observed-success vector records one count for each arm.

Definition 7 [def:finite-orbit-game] (Finite orbit game ).

The finite response-type orbit minimax value is Here is the simplex of response-type count vectors and is the simplex of allocation-count vectors.

⊢ Lean

The finite value optimizes over an invariant design distribution on allocation-count orbits and an orbit estimator . Its target is the count-level version of the labeled finite-population contrast.

For later reference, it is useful to name both the labeled and orbit risks explicitly.

Definition 8 [synth_3] (Design-based squared-error risk).

For a complete labeled response schedule , an assignment design , and an estimator , define where , , and the expectation is only over the assignment randomization. If is a labeled procedure, write for the same quantity.

Definition 9 [synth_10] (Orbit-procedure risk).

For a contrast , an orbit procedure is a pair with and . Its risk at response-type count vector is In the two-arm contrast , write

Definition 10 [synth_20] (Nonzero zero-sum contrast).

For , a zero-sum contrast is a vector satisfying . It is nonzero when . A rational nonzero zero-sum contrast is such a vector with .

Definition 11 [synth_15] (Compatible observation-success counts).

For an allocation-count vector , an observed-success vector is compatible with when for every arm . For , the vector is compatible with when there exists a contingency table such that for every , for every , and for every ; equivalently, is nonempty.

The compatibility condition spells out the feasible fibers in Definition 6. A table records how many units of each response type are assigned to each arm; its margins determine the allocation counts and the observed successes.

The exact reduction uses the unit-permutation orbit representation of the experiment. Invariance requires the design and estimator to ignore the arbitrary labels of the units.

Definition 12 [synth_14] (Invariant labeled procedure).

A labeled procedure is a pair , where is an assignment law and is an estimator. For , define , , and . The procedure is invariant when, for every , the law of under equals and for every observed-data vector .

The following theorem is the main reduction in this section. It establishes that symmetrizing over unit labels preserves the minimax value and identifies the resulting finite game exactly.

Theorem 1 [thm:exact-response-type-game] (Exact orbit game reduction).

Fix , , and a nonzero zero-sum contrast in the labeled-schedule and finite-orbit games of Definitions 3 and 7. Then:

  • (Lossless symmetrization.) For every labeled procedure , there are an invariant labeled procedure and an orbit procedure such that is the common-unit-permutation average of , and for every complete labeled schedule , The orbit procedure is dominated by this averaged invariant representative in the corresponding orbit risk.

  • (Exact invariant correspondence.) Invariant labeled procedures are in bijection with orbit procedures . Under this bijection, each invariant labeled procedure and its orbit representative realize the same allocation-count and observation-count rule, and for every ,

  • (Target preservation.) If , with , then

  • (Value equality.) The unrestricted labeled-schedule minimax risk equals the finite response-type orbit minimax value:

  • (Orbit saddle point.) There exist an orbit procedure and a prior on such that, for every response-count vector and every orbit procedure ,

⊢ Lean

The intuition is that the labels of units carry no information about the contrast target once the complete schedule is fixed. Averaging a procedure over common relabelings cannot increase worst-case risk, and the averaged procedure depends on the assignment and outcomes only through allocation counts and observed-success counts. Theorem 1 therefore turns the unrestricted labeled problem into a finite decision problem over response-count vectors, while preserving both the target and the minimax value.

The final part of the setup records the two-arm benchmark and the fixed- extension. The two-arm bounded schedule domain is included because recent two-arm results provide an important comparison point for binary minimax analysis (Sudijono et al., 2026; Hull, 2026).

Definition 13 [synth_9] (Hull bounded-schedule domain and risk).

For bounds , let be the set of two-arm bounded potential-outcome schedules for every unit and arm . For a design , estimator , and schedule , define the Hull squared-error risk where and the expectation is over assignment from .

Theorem 2 [thm:multiarm-strict-extension] (Two-arm specialization and the fixed- orbit game).

Throughout, is the labeled-schedule minimax risk of Definition 3 and the finite orbit-game value of Definition 7. The following statements hold.

  • (Two-arm orbit value.) For every , with ,

  • (Two-arm target.) For every and every , with and ,

  • (Four two-arm response types and likelihood.) For every , every , every , and every compatible observed-success vector , let These four response types are pairwise distinct and exhaust . Moreover, with the likelihood notation of Definition 6,

  • (Two-arm second-order scale.) For every , There are constants and such that, for every ,

  • (Exact multiarm orbit game.) For every , every , and every contrast ,

  • (Hull risk-value inclusion.) For every , every finite design on two-arm assignments, and every measurable Hull estimator , where the suprema range over Hull schedules with parameters .

  • (Strict treatment-domain separation.) For every , every , and every , the Hull bounded-schedule domain with parameters is not a subset of the binary -arm schedule domain:

⊢ Lean

Write for the improvement of the minimax risk on the first-order envelope; Section 4 is devoted to it. For , Theorem 2 identifies the orbit value for , expresses the estimand through the effect-class counts and , reproduces the four-type likelihood, and places on the scale. For every fixed , it gives the exact multi-arm orbit equality and the binary type count , which supplies the finite state space used by the linear programs of Section 5.

Two clauses of that theorem fix the scope of the bounded-outcome comparison. They record that the worst-case Hull risk of a design–estimator pair is itself an attainable Hull risk value, and that the bounded real-valued two-arm schedule domain and the binary -arm schedule domain are distinct as sets. Both are elementary, and their role here is bookkeeping: they make precise that the two problems are posed over different schedule domains, so the route between them is an explicit construction. That is the route this paper takes, through the sign-pair embedding used in the converse of Section 4.

First-order risk and the second-order rate

The finite orbit reduction in Theorem 1 turns the unrestricted labeled-schedule risk into a finite response-type decision problem. This section first identifies the first-order benchmark in the original labeled game and then refines that benchmark by an explicit second-order construction. Throughout the section, the contrast is fixed, nonzero, and zero-sum on the treatment-arm set from Definition 3.

The first-order procedure allocates experimental effort in proportion to the absolute contrast weights and estimates the centered contrast by a clipped Horvitz–Thompson rule. The clipping interval is the natural range of the finite-population contrast target.

Definition 14 [def:first-order-procedure] (First-order rule ).

Let Assign each independently on with . The projected contrast-weighted Horvitz–Thompson rule is

⊢ Lean

The active support selects the arms that enter the contrast, while the contrast norm fixes both the target range and the first-order scale. The assignment probabilities place larger sampling mass on arms with larger absolute contrast weights, matching the variance contribution of the centered Horvitz–Thompson summands.

Definition 15 [synth_5] (Contrast-weighted independent design).

Let , , and The design is the product assignment law under which are independent and for every unit and arm .

Definition 15 records the same allocation as a design object. This formulation will also be used for the shrinkage rule below, so that the first- and second-order procedures share the same contrast-weighted randomization scheme.

Theorem 3 [thm:first-order-saddle] (First-order minimax constant and attaining procedure).

Fix a natural number and a nonzero zero-sum contrast on the treatment-arm set , in the labeled-schedule game of Definition 3. Let , , and be the contrast norm, contrast-weighted assignment probabilities, and projected contrast-weighted Horvitz–Thompson rule from Definition 14, and set Then the unrestricted labeled-schedule minimax risk satisfies Moreover, for every , the independent contrast-weighted design together with attains the finite-sample worst-case bound

⊢ Lean

The theorem gives the first-order robustness constant and a finite-sample certificate attaining its envelope. The constant depends on the contrast through its norm, so the allocation benchmark is determined by the signed estimand rather than by a default equal-allocation rule. The bound is stated in the unrestricted labeled-schedule game of Definition 3, which places it on the same decision scale as the finite orbit value characterized in Theorem 1.

The converse input comes from embedding the sharp two-arm difficulty into the multi-arm contrast. This comparison links every fixed contrast to the two-arm contrast , and it also gives an exact specialization when the contrast has two active arms.

Theorem 4 [thm:embedded-two-arm-converse] (Embedded two-arm converse).

Fix integers and , and a contrast on , with labeled-schedule minimax risk as in Definition 3. Suppose that

  • (Arm count.) .

  • (Population size.) .

  • (Contrast.) is nonzero and zero-sum.

Let where is the unrestricted two-arm minimax risk at population size . Then Moreover, if , then Finally, writing for the active support, if , then

⊢ Lean

The embedded comparison supplies the lower side of the second-order scale. It says that any improvement over the first-order envelope for a fixed multi-arm contrast is bounded by the corresponding two-arm improvement, up to the scale factor . When the active support has size two, the comparison becomes an equality, so the two-arm subproblem fully determines the multi-arm risk for that contrast.

The second-order construction keeps the contrast-weighted design and modifies the estimator. The rule first normalizes the centered Horvitz–Thompson score to the interval scale , averages the normalized scores, and then applies a clipped shrinkage toward zero over a bandwidth of order .

Definition 16 [synth_16] (Regular variation of a normalizer).

A positive sequence is regularly varying with index when, for every ,

Definition 17 [synth_6] (Clipped-shrinkage estimator).

Put , and let be the smallest nonzero normalized response-type contrast magnitude. Under of Definition 15, define For define the clipped-shrinkage rule The projection is never active for , because , and ; it is written explicitly only so that the rule takes values in the target interval by construction. This estimator is evaluated as a function of the realized assignment and observed outcomes.

The regular-variation definition in Definition 16 is used to state the uniqueness of the second-order normalizing rate. In Definition 17, the centered arm score , its normalized version , and their average are all computed under the same design as in Definition 15. The constants and set the clipping width and shrinkage amplitude; their common scale produces an risk correction after averaging.

Theorem 5 [thm:universal-second-order-rate] (Universal second-order rate).

For every fixed and every nonzero zero-sum contrast , let , the smallest nonzero normalized response-type contrast magnitude, be Define and The following assertions hold:

  • (Spacing.) The constants satisfy

  • (First-order envelope.) For every ,

  • (Uniform shrinkage bound.) There is a finite integer such that, for every integer , and, for every , the explicit clipped-shrinkage procedure satisfies

  • (Second-order envelope.) The normalized second-order improvement satisfies

  • (Regular-variation index.) For every positive sequence , every , and every , if is regularly varying with index and then .

⊢ Lean

Theorem 5 establishes the order of the improvement for every fixed nonzero zero-sum contrast. The positive spacing constant is defined over the finite response-type space, so the shrinkage amount can be chosen directly from the contrast. The lower side of the displayed envelope is witnessed by the explicit clipped-shrinkage procedure of Definition 17, which guarantees an improvement of size ; the upper side follows from the embedded two-arm comparison in Theorem 4. The two sides pin the order of the improvement, not its constant. For contrasts with active support of size at least three, the same sandwich applies after the orbit reduction to the genuinely multi-arm response-type count game; support-two contrasts follow the exact two-arm reduction. The regular-variation clause characterizes as the unique regularly varying normalization that can yield a positive finite limit for the improvement.

It remains to record the two-arm lower bound used inside the embedded comparison. The result is stated for the unrestricted labeled-schedule minimax risk with the two-arm contrast , matching the notation of Theorem 4.

Theorem 6 [thm:coarse-two-arm-minimax-lower] (Coarse two-arm lower bound).

For every integer , let denote the unrestricted labeled-schedule minimax risk for the two-arm contrast . Then and

⊢ Lean

The bound supplies a fully internal rate input for the two-arm risk. Combined with Theorem 4, it transfers the upper bound on the second-order improvement to every fixed multi-arm contrast. Together with the shrinkage construction in Theorem 5, the section therefore pins down the second-order minimax scale while retaining the contrast-weighted design identified in Theorem 3.

Finite-program certificates for rational and real contrasts

The preceding section identifies as the scale on which the second-order improvement can have a nondegenerate limit. This section represents that scale by finite linear programs. The programs are finite and all their data are exactly rational, so a bracket at a given gives an exact rational certificate for that finite orbit game. The number of response-count rows is , which grows quickly in both arguments. A finite bracket at a chosen compares a proposed asymptotic design against the exact finite orbit game and identifies which response-count states drive the lower bound. The construction replaces the continuum of estimator values by a finite rational grid, solves a primal linear program over allocation-count orbits and grid actions, and reads a matching lower bound from the dual response-count multipliers. The first version is the three-arm diagnostic contrast ; the general version covers rational contrasts and then transfers to real contrasts by continuity.

We begin with the three-arm program because it is the smallest setting in which the multi-arm response-type geometry is visible. The grid records candidate estimator values, the variable couples an allocation count and observation with a grid action , and the epigraph variable bounds the risk uniformly over response-count vectors.

Definition 18 [def:k3-rational-lp] (Three-arm LP value ).

For , , and the three-arm rational grid-action LP value is the minimum of over rational variables and satisfying and

⊢ Lean

The same construction applies to any rational nonzero zero-sum contrast. Its only additional bookkeeping is the contrast-dependent target range: the grid spans , so each feasible barycenter remains in the admissible range for the orbit game of Definition 7. The resulting value is the rational finite program used throughout the rest of the section.

Definition 19 [def:rational-contrast-grid-lp] (Rational grid-action value ).

For , , and a rational nonzero zero-sum contrast , define the rational contrast grid-action value as the optimal value of the following finite linear program. Let The program minimizes over variables and , subject to and

⊢ Lean

For later lower bounds, the dual variables are interpreted as a response-count prior. The next definition fixes the objective convention used to turn dual feasibility into a numerical certificate.

Definition 20 [synth_8] (Dual objective for the grid linear program).

For the grid-action linear program with primal constraints written in standard form and objective , let denote the nonnegative vector of dual row multipliers satisfying the stationarity equations for the variables . Define In the grid program, the restriction of to the response-count risk rows is the response-count multiplier , and dual feasibility gives a lower certificate for the corresponding primal epigraph value.

The three-arm diagnostic program has an exact rational certificate at every sample size and grid resolution. The statement also records the mesh size , which is fine enough for the grid error to vanish at the scale.

Proposition 1 [prop:k3-lp-certificate] (Three-arm LP certificate).

For the three-arm diagnostic contrast and every pair of positive integers and , let be the unrestricted three-arm minimax risk and let be the three-arm rational grid-action LP value from Definition 18. Then At the resolution , there exist a rational allocation mass on allocation-count vectors, a joint design-action mass , a rational epigraph value , and rational response-count multipliers on count vectors with , such that there are a rational grid weight and dual multipliers satisfying and Moreover, every binary response type is represented by some response-count vector with total population size and , and the grid-discretization error at the certificate scale satisfies

⊢ Lean

Proposition 1 supplies a concrete finite certificate for the three-arm contrast. Its primal side gives a randomized invariant procedure whose risk is bounded by the grid value; its dual side gives response-count multipliers that certify a matching lower value up to the displayed mesh error. The representation clause records that every response type occurs in at least one feasible response-count vector, so the finite state space of the program covers the whole type space; which types carry positive dual mass is decided by the solution, not by this clause.

The lower endpoint in the general certificate is a Bayes risk computed at a fixed allocation count. The formula below is the posterior-variance form of that Bayes risk, expressed entirely with the orbit likelihood from Definition 6.

Definition 21 [synth_7] (Orbit Bayes risk at an allocation count).

For a response-count prior , a contrast , and an allocation count , define where and . Equivalently, with

The rational certificate theorem combines the primal grid solution, its barycenter estimator, and the dual Bayes-risk endpoint. The statement also gives the orbit counts, making the computational size of the certificate explicit.

Theorem 7 [thm:rational-contrast-grid-certificate-sandwich] (Rational grid certificate sandwich).

Fix natural numbers , a rational nonzero zero-sum contrast , and suppose and ; here is the labeled-schedule minimax risk of Definition 3. In the rational grid-action program of Definition 19, there exist a rational allocation certificate , a joint design-action weight , a rational epigraph value , a rational response-count multiplier , and an invariant estimator on allocation and observation counts such that:

  • (Exact rational certificate.) There are rational grid weights and rational dual multipliers such that is the real embedding of , the tuple is primal feasible for the grid program, is dual feasible, is the risk component of , and is the dual objective value of .

  • (Barycenter estimator.) For every allocation count and compatible observation ,

  • (Optimal value.) The real value of is the grid LP value:

  • (Certificate sandwich.) With and with denoting the unrestricted labeled-schedule risk of under , the certificates satisfy

  • (Orbit counts.) The finite sets in the certificate have cardinalities and

  • (Mesh-rate scaling.) For every positive sequence and every integer sequence , if then

  • (Asymptotic certificates.) For every positive normalizing sequence and every grid-resolution sequence satisfying , the rational certificates at mesh admit lower and upper endpoints and with Consequently, whenever has a finite limit , the scaled lower and upper certificate improvements both converge to that limit: At the second-order scale , the specialization satisfies the mesh condition and yields

⊢ Lean

Theorem 7 turns each rational contrast into two computable endpoints. The upper endpoint is obtained by replacing the randomized grid action with its conditional barycenter, which preserves the relevant risk inequality by convexity. The lower endpoint is the best allocation-count Bayes risk under the dual response-count multiplier. Strong duality for the finite rational program then leaves only the grid mesh gap, and that gap is when .

The transfer from rational to real contrasts uses a direct Lipschitz comparison for the square root of the minimax risk. The distance is the half- contrast distance, so the comparison is expressed in the same scale as the target interval.

Theorem 8 [thm:contrast-risk-continuity] (Contrast risk continuity).

Let and be integers, and let be nonzero zero-sum treatment contrasts for the labeled-schedule game in Definition 3. Suppose that Define the contrast distance Then the unrestricted labeled-schedule minimax risk satisfies

⊢ Lean

The square-root form of Theorem 8 matches the geometry of squared-error risk: changing the contrast shifts every target by at most , and the minimax risk changes accordingly in root-risk units. This gives a stable way to carry finite rational certificates to nearby real contrasts.

It remains to name the exact rational primal-dual certificate as a reusable object. The definition records the feasibility, dual stationarity, and zero-gap conditions that are invoked in the transfer theorem.

Definition 22 [synth_12] (Exact rational primal-dual grid certificate).

Fix rational nonzero zero-sum and integers . An exact rational primal-dual grid certificate for the program defining consists of rational values , rational values , a rational epigraph value , and rational dual multipliers for the linear constraints, such that , , , for every , and The dual multipliers are rational, nonnegative on inequality rows, satisfy the stationarity equations for the same rational linear program, and have dual objective equal to the primal objective . The common value is .

The real-contrast result chooses rational approximants close enough that the continuity loss is dominated by the second-order scale. For an already rational contrast, the same statement specializes to a bracket with the mesh width.

Theorem 9 [thm:real-contrast-grid-certificate-transfer] (Real contrast certificate transfer).

Fix and a nonzero zero-sum real contrast on . For real contrasts , write A tuple is a transferred certificate for , where is zero-sum, if there exist an invariant allocation-count distribution , a rational grid-action weight , a rational epigraph value , a rational response-count prior , an invariant barycenter rule , a projected upper procedure, and a schedule prior such that the exact rational primal-dual grid certificate and barycenter identities hold for , and and The projected upper procedure certifies worst-case risk at most , and the schedule prior certifies Bayes risk at least .

Then the following hold.

  • (Finite-grid transfer.) For every rational zero-sum contrast and every pair of integers , there exist forming a transferred certificate for .

  • (Real-contrast approximation.) There exist rational zero-sum contrasts and real sequences such that, for every arm , for every , is a transferred certificate for , and

  • (Exact rational case.) If a rational zero-sum contrast embeds coefficientwise as , then for every there exist forming a transferred certificate for and satisfying

⊢ Lean

Theorem 9 gives the certificate construction for every real contrast. The rational program supplies the inner bracket for the approximating contrast , while Theorem 8 expands the bracket just enough to cover the target contrast . The displayed bound separates the mesh contribution, the contrast-approximation contribution, and the quadratic approximation term, so choosing and produces a bracket whose width is negligible at the scale.

We close the section by recording the specialized three-arm sandwich. It packages the diagnostic program of Definition 18 in the same lower-upper form as the general rational theorem and gives the certificate comparison used in the three-arm analysis that follows.

Theorem 10 [thm:k3-grid-certificate-sandwich] (Three-arm grid sandwich).

For integers and , in the three-arm rational grid program of Definition 18, there exist a rational allocation certificate , a joint design–action weight , a rational epigraph value , a rational response-count multiplier , and an estimator such that:

  • (Exact certificate.) The tuple is represented by a rational grid weight whose real embedding is , a primal feasible point of the rational grid LP, and a dual feasible point whose risk component is and whose dual objective is .

  • (Barycenter rule.) For every allocation count and compatible observation , the estimator is

  • (Grid value.) The real value of is .

Define and Then Moreover, for every positive normalizing sequence and every grid-resolution sequence with for all , if then Finally, for every positive normalizing sequence , every grid-resolution sequence , every pair of real sequences , and every real number , if for every , and if then

⊢ Lean

Theorem 10 specializes the rational programs to , where the mesh gap is . Thus any independently computed bracket with that width inherits the same second-order limit for the scaled improvement. The next section uses this certificate form to diagnose the three-arm geometry and to compare support-specific conclusions at the scale.

Three-arm diagnostics and support-specific conclusions

The finite certificates of Theorem 10 give a computable way to audit three-arm risks. We first use them to separate the full labeled experiment from a natural scalar signed-score reduction. For the diagnostic contrast , the scalar statistic records the sign-adjusted observed outcome, which retains the one-dimensional target direction and nothing else. The full experiment keeps a richer summary of the assignment and the outcomes: the rule exhibited below reads the number of units sent to the positively weighted arm, the signed outcome total within that arm, and the signed outcome total within the negatively weighted group. That summary already suffices, under the same independent allocation rule, to attain a strictly smaller worst-case risk than any rule based on the scalar score. The comparison is therefore between the scalar score and this richer assignment–outcome summary, which the exhibited rule reads while aggregating the two negatively weighted arms.

Proposition 2 [prop:k3-scalar-score-not-minimax-preserving] (Scalar score separation).

For , let , and let be the independent design assigning each unit with probabilities . For any , any schedule , and any unit , define Then the following statements hold.

  • (Score moments.) For every , every , and every unit ,

  • (Average-score risk.) For every and every ,

  • (Scalar minimax value.) For the scalar experiment at that retains and lets each range over the five feasible values, its minimax value is

  • (Full-data certificate.) There exists a clipped full-data estimator using the observed arm labels and outcomes under whose worst-case risk over is Moreover,

  • (Scalar moment envelope.) For every , every real , and every feasible three-arm scalar total , the minimum attainable value of among scalar mean vectors with is

Thus the scalar signed-score experiment has exact value at , while the full observed arm-label-and-outcome experiment under the same independent design attains the smaller certified worst-case risk displayed above.

⊢ Lean

The diagnostic has two consequences for the rest of the section. First, scalar moment calculations remain useful for locating difficult schedules, because the displayed envelope identifies how the average-score risk depends on the feasible means. Second, the minimax audit is conducted in the full labeled experiment: Proposition 2 gives an explicit comparison in which arm labels strictly lower the worst-case risk.

We now package the certificate objects used to compare rational finite programs and real contrasts. The cluster terminology names the primal weights, barycenter estimator, and dual response-count prior that move together in the finite orbit calculation.

Definition 23 [synth_18] (Exact rational grid-certificate cluster).

Fix a rational nonzero zero-sum contrast and integers . An exact rational grid-certificate cluster at consists of an exact rational primal-dual grid certificate for the grid-action program of Definition 19, in the sense of Definition 22 — rational primal weights and the rational epigraph value — together with the rational nonnegative response-count multiplier read off its dual solution. Its derived objects are the barycenter estimator and the upper risk certificate , both built from , and the posterior-mean lower Bayes-risk certificate , built from .

For real contrasts, the transfer argument uses the same half- metric as Theorem 8. We record the notation before stating the support-three-and-larger result.

Definition 24 [synth_11] (Contrast distance).

For two real contrasts on , define Thus .

The next result collects the resolved second-order scale and the finite-certificate approximations for contrasts with at least three active arms. It uses the improvement and the normalized quantity , matching the rate established in Theorem 5 and the lower comparison in Theorem 6.

Theorem 11 [thm:second-order-rate-and-certificate-frontier] (Second-order certificate frontier).

Fix and a contrast on as in Definition 3. Suppose that

  • (Arm count.) .

  • (Active support.) With , one has .

Define Then Moreover, has at least one subsequential limit, and its subsequential-limit set is compact.

For every positive sequence , every , and every , if and then . In addition,

For every rational contrast on whose real-valued contrast is , there exist sequences , , and such that is an exact rational grid-certificate cluster for , and

There also exist rational contrasts , certificate values , and endpoints such that, for every arm , and For every , there are an exact rational primal-dual certificate, a grid barycenter estimator, and a rational prior for such that and The transferred normalized endpoint improvements are asymptotically coincident with :

Finally, for the three-arm contrast , there exists an estimator rule in the labeled game such that where is the product design using the allocation rule for and is the three-observation scalar sign-score minimax value.

⊢ Lean

The theorem gives the scale an operational interpretation. The bounded positive liminf and finite limsup locate the improvement between two constants on that scale, while the regular-variation clause says that any convergent power normalization must use exponent . The finite-program clauses connect the asymptotic quantity to exactly solvable rational programs in principle: rational clusters approximate the normalized improvement, and rational approximants transfer the same bracketing statement to real contrasts through the distance defined in the setup. The three-arm scalar diagnostic is stated separately as a finite illustration and is then used as the running example for the bracket construction.

It remains to isolate the support-two case. When the contrast has exactly one positive and one negative active arm, the multi-arm problem embeds the two-arm labeled experiment by assigning mass only to those active arms and rescaling the target by the half-range .

Definition 25 [synth_17] (Sign-pair embedding and lift).

Assume , and write with and . The sign-schedule embedding sends a two-arm schedule to the -arm schedule with , , and fixed zero coordinates on arms outside . The sign-pair lift of a two-arm labeled procedure is the -arm procedure that maps the two labels to , assigns no mass to other arms, and reports after translating the observed active-arm data back to two-arm notation. Under this embedding, , and pushed-forward priors on become priors on .

The concluding theorem combines the support-two exact value, the order-attaining shrinkage rule, and the certificate statements used for finite audits. In applications with several randomized arms, such as multi-arm binary endpoint analyses in the style of ACTG 175 (Hammer et al., 1996), these clauses identify which support geometry determines the minimax comparison.

Theorem 12 [thm:attainment-and-k3-certified-converse] (Two-arm value transfer and finite brackets).

Fix and a nonzero zero-sum contrast on . Here is the labeled-schedule minimax risk of Definition 3 and the finite orbit-game value of Definition 7. The following statements hold.

  • (Two-active-arm value and saddle transfer.) For every , if , then Moreover, there exist a two-arm orbit procedure , a prior on , a two-arm labeled procedure , a prior on , a -arm labeled procedure , and a prior on such that and, for every two-arm orbit procedure , The labeled procedure is the invariant labeled procedure induced by , and the labeled prior satisfies The -arm procedure is the sign-pair lift of along , and is the pushforward of under the sign-schedule embedding. These objects satisfy and

  • (Second-order scale.) The normalized improvement satisfies

  • (Shrinkage attainment.) There is an integer such that, for every , the explicit clipped-shrinkage procedure satisfies

  • (Real-contrast transfer certificates.) For every rational nonzero zero-sum contrast , every , and every , there exist real numbers satisfying the real-contrast transfer-certificate conditions of Theorem 9 for . There also exist rational contrasts and real sequences such that the tuple satisfies the real-contrast transfer-certificate conditions of Theorem 9 for whenever , and If a rational contrast represents exactly, then for every there exist real numbers satisfying the same transfer-certificate conditions for and

  • (Three-arm rational certificates.) For every and , there exist a three-arm grid allocation certificate , a grid weight , a rational epigraph value , a rational response-count prior , and a barycenter estimator satisfying the exact primal-dual certificate and barycenter conditions of Theorem 10 for . These objects satisfy

⊢ Lean

The support-two clause is an exact reduction: the sign-pair embedding in Definition 25 transports both the upper procedure and the least favorable prior, so the -arm value is the two-arm value scaled by . For larger supports, the shrinkage and certificate clauses give a common conclusion on the same second-order scale. The explicit procedure attains a bound eventually, while the rational and real-certificate brackets provide finite lower and upper checks around the unrestricted minimax risk. The specialized three-arm certificate closes the loop with Proposition 2: the same orbit-program machinery that audits also records where the scalar signed-score reduction separates from the full observed-data experiment.

Discussion, limitations, and future work

Design implications for multi-arm binary experiments

The results give minimax benchmarks and finite-program tools for prespecified finite-population contrasts in multi-arm binary randomization. For any fixed nonzero zero-sum contrast, Theorem 3 identifies the first-order minimax constant and shows that the contrast-weighted assignment rule, paired with the projected contrast-weighted Horvitz–Thompson estimator, attains the first-order bound. Theorem 5 then shows that the same design can be paired with a clipped shrinkage estimator to improve the worst-case risk on the scale. The model fixes a finite population and fixed , encodes each unit by binary potential outcomes for the arms, uses zero-sum contrasts to target treatment differences, clips estimators to the feasible contrast range, and lets the adversary range over all labeled binary schedules; the active support records which arms enter the contrast. The finite orbit reduction in Theorem 1 and the finite LP constructions in Theorems 7 and 9 turn the minimax problem into finite optimization problems that give exact rational certificates and transferred finite bounds at fixed .

A concrete setting is ACTG 175 (Hammer et al., 1996), which randomized HIV-1 infected patients among four regimens — zidovudine monotherapy, didanosine monotherapy, zidovudine–didanosine, and zidovudine–zalcitabine — and whose primary endpoint was a binary composite event: a decline of at least in CD4 cell count, progression to AIDS, or death. Taking , for the indicator of that event under regimen , and the enrolled cohort as the finite population, the model of Section 3 applies verbatim once a contrast is fixed in the protocol, before outcomes are seen. With the contrast fixed, its active support determines which of the support-two or support-at-least-three conclusions applies. A comparison that places mass on one regimen against one other regimen falls under the support-two reduction in Theorem 12. A contrast comparing one regimen against an average of two or more alternatives uses the multi-arm conclusions of Theorems 11 and 12, with finite lower and upper certificates available through the rational or real-contrast programs.

The three-arm diagnostic case clarifies why the full observed-data experiment matters. Proposition 2 separates the signed-score reduction from the orbit experiment for the contrast , while Theorem 10 supplies matching finite-program certificates for the corresponding minimax risk. Together these statements say that collapsing observations to a scalar sign score can change the minimax value, and that the response-type orbit game retains the information needed for finite- certification.

The logical spine is short, and it is worth stating once. Everything rests on the exact orbit equality of Theorem 1. Given that equality, Theorem 3 fixes the first-order constant, Theorem 5 supplies the attaining shrinkage rule, and Theorems 4 and 6 supply the matching converse; Theorems 7, 8, and 9 then make the finite value computable, first for rational contrasts and then for all real ones. The remaining statements — Theorem 11, Theorem 12, Theorem 10, and Proposition 1 — assemble those ingredients for specific supports and for the three-arm example, and are read as consequences rather than as new mechanisms.

For design practice, the results suggest three complementary checks. First, Definition 14 and Theorem 3 identify the contrast-weighted randomization probabilities as the first-order benchmark. Second, Theorem 5 gives an explicit estimator achieving a uniform second-order improvement over that benchmark. Third, Theorems 7, 9, and 10 provide computable finite-sample brackets around the minimax risk, so the asymptotic design criterion can be checked against the exact finite orbit game.

Limitations and future work

Four limitations bound the reach of what is proved here, and the ACTG 175 reading above carries two more: the realized trial used a fixed equal-allocation randomization rather than the contrast-weighted , and its published analyses use time-to-event information that the binary composite endpoint discards. The potential outcomes are binary, so the results do not cover bounded or continuous responses. The number of arms and the contrast are fixed before the asymptotics, so nothing here speaks to regimes in which grows with . The second-order result is an order statement: the exponent is pinned down, but the constant in front of is bracketed rather than identified, and the scaled improvement is not shown to converge. And the finite linear programs are established as objects, with their primal–dual structure proved; the paper reports no solved instance beyond the three-arm example at , and the number of response-count rows grows as , so the size of a program at useful is an open practical question.

Beyond those, the theory leaves two analytic programs that would sharpen the present finite-bracket and rate conclusions. The first concerns the limiting constant and the local structure of the hardest response-type configurations. The second concerns attainment: the form of procedures and priors that realize, or approximate, the limiting second-order value. Both questions are naturally tied to the orbit representation and to the contrast-weighted scores used in Theorem 5.

Remark 1 [def:boundary-layer-handle] (Boundary-layer problem).

A natural next question is whether the exact orbit game admits a boundary-layer limit obtained by enumerating binding response-type and allocation faces, expanding the discrete risk by a vector Stein identity within each stratum, using the LP sequence to choose the normalizer, and passing the primal and dual games to a stratified diffusion-control or spectral value problem with face and corner compatibility conditions.

⊢ Lean

The boundary-layer program would convert the finite orbit certificates into an analytic limiting problem. Its role is to identify the faces that bind at the second-order scale and to determine whether the normalized finite- values converge to a sharp constant. The proposed Stein expansion and stratified limiting game parallel classical links between minimax estimation and differential-operator problems (Levit, 1986; Johnstone et al., 1992), adapted here to the discrete response-type and allocation faces generated by multi-arm binary randomization.

Remark 2 [def:attainment-handle] (Attainment program).

A natural direction for future work is to start from the vector of centered arm scores induced by , derive an orbit-saddle posterior mean or feedback correction from the limiting value function, lift that correction to finite , and discretize the squared ground state or dual occupation measure into a least-favorable prior on response-type counts.

⊢ Lean

The attainment program would connect the constructive shrinkage estimator in Theorem 5 with the finite dual certificates in Theorems 7 and 10. It asks for a posterior-mean or feedback correction whose finite- version matches the orbit game, together with a least-favorable prior on response-type counts. Related shrinkage ideas appear in recent work on randomized experiments (Rosenman et al., 2026); the orbit formulation here gives a finite-population route for studying their minimax constants and support-specific behavior.

Appendices

Proofs and auxiliary lemmas

This appendix collects the auxiliary statements used by the paper’s reduction, first-order, finite-program, continuity, and two-arm lower-bound arguments. The organizing principle is the finite orbit representation from Definition 7: permutation symmetry turns the original labeled experiment into a finite response-count game, while the two-arm lower bound uses a mixture over labeled binary schedules whose induced experiment depends on the assignment only through a one-dimensional score, so that the remaining assignment randomness can be averaged out without changing the Bayes risk. The scalar construction below supplies that interface before the Bayesian information inequality is applied to the resulting one-dimensional family.

The first auxiliary object is the canonical schedule law for the two-arm reduced scalar experiment. It lifts a distribution on effect-class triples to a distribution on complete response schedules, while recording the scalar observation induced by any assignment vector.

Definition 26 [synth_13] (Canonical two-arm scalar schedule kernel).

For a triple with , the canonical schedule kernel is the probability law on complete two-arm schedules obtained by choosing uniformly an ordered partition of with sizes , assigning response type on and on , and, independently for , drawing and assigning type . Equivalently, For a schedule and assignment vector , define the transformed observed-score vector by when and when , and define the scalar observation Under , conditionally on , with , whose probability mass is

The construction in Definition 26 is useful because it keeps the prior on complete schedules inside the original design problem while exposing a scalar sufficient statistic for the two-arm comparison. The next result states the exact mixture identity and the associated Rao–Blackwell comparison.

Lemma 1 [lem:two-arm-scalar-prior-schedule-kernel] (Scalar two-arm lift).

Fix , and let be any probability distribution on triples of nonnegative integers with . There exists a probability distribution on complete two-arm schedules such that:

  • (Canonical mixture.) For every schedule , where is the canonical schedule kernel for the triple .

  • (Scalar kernel.) For every triple , every assignment vector , and every , Moreover, for every , and, for every binary vector with ,

  • (Rao–Blackwell domination.) For every assignment law on and every estimator , there is a function such that

  • (Bayes-risk identity.) For every assignment law on ,

⊢ Lean
Proof of Lemma 1.

Fix a triple . For a complete two-arm schedule , write Let where the second equality uses . Define When , the only triple is , , and all sums below are the corresponding one-point or empty sums.

  1. Define the lifted prior by Each summand is nonnegative. For fixed , there are choices of the sets , after which is forced, and the equal-potential-outcome units have binary choices. Thus exactly schedules have positive -mass, each with mass , so It follows that and the displayed definition is exactly the canonical mixture formula.

  2. For , define the transformed score vector and scalar count by Fix a binary vector , and put . A schedule in the -fiber can produce exactly by choosing as a -element subset of and as a -element subset of ; after these choices the schedule is determined. Hence If , the factorial identity gives If or , the same mass is , since respectively or . Summing over the vectors with yields Summing this identity over gives Finally, if , then the event already implies , and the preceding display gives These identities are independent of .

  3. Fix an assignment law and an estimator . For a binary score vector , let be the observed-outcome vector obtained by inverting the preceding score map: Set Throughout the displays below, the expression is read with this same total convention when . The risk under the lifted schedule prior is the prior risk in the induced score experiment: For , define The scalar-kernel calculation gives the factorization Moreover, for each , Since the displayed weights form a probability distribution on each fiber , define the scalar average For each fixed and , Jensen’s inequality on this finite fiber gives Multiplying by , summing over and , and using the preceding factorization gives Extend to by setting for and for . Expanding gives

  4. It remains to identify the two infima. Let For every , the target lies in : this is immediate when , and for the identities and nonnegativity give , so , and division by the positive number gives . Therefore, for every scalar rule , The full-data estimator therefore has lifted Bayes risk at most the scalar risk of . Taking the infimum over gives Conversely, the Rao–Blackwell domination from the previous step says that every full-data estimator has a scalar rule whose scalar risk is no larger than its lifted Bayes risk. Taking the infimum over gives the reverse inequality. Both risk classes are nonempty and bounded below by , since they contain the zero rule and all losses are squared losses, so the two infimum comparisons combine to the claimed identity.

Lemma 1 provides the paper-local Rao–Blackwell step behind the coarse two-arm converse in Theorem 6. For every prior on effect-class triples, it constructs a complete-schedule prior, identifies the binomial scalar experiment, and equates the induced Bayes risk with the best scalar decision rule. In this form the lower-bound calculation can be carried out on while remaining a lower bound for the original assignment problem.

The final auxiliary ingredient is a Bayesian information inequality in the spirit of the van Trees bound (Van Trees, 1968; Gill et al., 1995). The statement is written for an observation-dependent target , because the two-arm lower bound applies the inequality after conditioning and then evaluates the derivative of the induced conditional mean. The regularity clauses impose the smoothness, integrability, and boundary cancellation needed for the integration-by-parts argument underlying the information bound.

Lemma 2 [lem:bayesian-information-inequality] (Bayesian information inequality).

Let be a scalar parameter interval with , let be a measurable observation space, and let be a -finite dominating measure. Let , let , , , and be real-valued measurable fields, and let . Define and Assume the following regularity conditions.

  • (Prior.) The density is nonnegative, satisfies , is , has compact topological support contained in , is positive on the interior of that support, and satisfies for every .

  • (Likelihood.) For every , for -almost every , , the fields and are -integrable, and For -almost every , is absolutely continuous on every compact subinterval of , and for Lebesgue-almost every .

  • (Target.) For -almost every , is absolutely continuous on every compact subinterval of , and for Lebesgue-almost every .

  • (Pointwise derivatives.) For -almost every point under Lebesgue measure on times , the derivatives and exist in the ordinary pointwise sense.

  • (Information and joint integrability.) The prior information is finite, is finite for every , and Moreover, all joint fields entering the risk, target derivative, squared prior score, squared likelihood score, score cross-product, squared total score, derivative-balance identity, and error-score identity are integrable with respect to on .

  • (Boundary product.) For -almost every , the map is absolutely continuous on , and its endpoint values vanish:

Then

⊢ Lean
Proof of Lemma 2.
  1. Let denote Lebesgue measure restricted to , and write for . Since , the interval integral over is the integral with respect to . The stated joint integrability hypotheses justify Fubini and the following identifications: and The same change of measure rewrites and the prior-averaged Fisher information in the guarded-score notation introduced below.

  2. Define the guarded prior, likelihood, and joint scores on their full domains by and For -almost every , the section is absolutely continuous, hence continuous on compact subintervals of . Intersecting the full-measure nonnegativity sets over rational ’s and passing to limits gives for -almost every . Since the endpoints have -measure zero, for -almost every .

  3. The zero-density cases are controlled by local-minimum arguments. Because and , whenever one has . Similarly, at -almost every , if , then is a local minimum of the nonnegative section , and therefore . Consequently the guarded likelihood score satisfies for almost every relevant point. The identity is immediate on the positive-density set and follows from the displayed zero-derivative fact on the zero-density set. The same case analysis will also be used below for the guarded total score: on the set it is the quotient defining the logarithmic derivative of , while if , the preceding zero-derivative facts make the corresponding numerator vanish.

  4. Define the derivative-balance field For -almost every , the map is absolutely continuous on and has endpoint values equal to zero. At -almost every , the product rule gives its derivative as because is constant in and . This displayed derivative is exactly . Thus the fundamental theorem for absolutely continuous functions gives Fubini and the assumed integrability of yield Using the guarded total-score case analysis from the previous step, almost everywhere: on this is the defining quotient multiplied by , and on the numerator vanishes by the zero-density derivative facts for and . Hence almost everywhere. Therefore

  5. For -almost every , the point lies in , and the likelihood normalization and differentiation-under-the-integral assumptions give Combining this with gives the conditional centering identity Now expand the squared joint score. If and , then . If , the prior nonnegativity hypothesis gives , so every term below contains the factor or the guarded joint density and is zero. If but , the almost-everywhere likelihood nonnegativity established above gives , and again every term below vanishes by the guarded conventions. Hence, almost everywhere, Integrating, the cross term vanishes by the centering identity: The prior term evaluates to using for almost every interior . The likelihood term evaluates to Thus

  6. Finally, apply the weighted inequality with weight , functions and . Its proof is the standard quadratic argument: for every , and expanding the square, using the assumed integrability of the two square terms and the cross term, gives a nonnegative quadratic in . Its discriminant is nonpositive, so Substituting the error–sensitivity identity and the information decomposition obtained above gives The denominator is strictly positive by assumption, so division yields the claimed inequality, and the identifications made at the outset translate it back to the statement’s iterated-integral notation.

Lemma 2 is the reusable information step for the two-arm Bayes lower bound. The numerator measures the averaged derivative of the target, and the denominator combines the prior information with the likelihood information, matching the standard Bayesian Cramér–Rao structure associated with Van Trees (1968). In the application to Theorem 6, Lemma 1 first reduces the complete-schedule prior to the scalar experiment, and Lemma 2 then lower-bounds the scalar Bayes risk used in the converse.

Verification note

This appendix records what is machine-checked, in what environment, and what is not.

Every displayed definition, proposition, lemma and theorem in the paper falls into exactly one of two classes. A matched environment renders a Lean declaration in reader-facing mathematics: the displayed statement unfolds the declaration’s structures and composite predicates into ordinary notation, with the same hypotheses and the same conclusion, and the proof reproduced in Section C follows the machine-checked proof of that declaration. The rendering is faithful to the declaration’s content, not a transcription of Lean source. A presentation-only environment introduces notation or packages several matched objects for the reader; it carries no separate mathematical content and is not itself checked. The two lists below are exhaustive.

Environment.

The development is written in Lean 4 against the toolchain leanprover/lean4:v4.33.0, on top of Mathlib and the project’s own Causalean library. The results reported here were checked at commit 715add8e9475f5193526bce0c26baef559a47b68 of the source repository. The source of this development contains no sorry and no axiom declaration, and an axiom audit of all declarations listed below reports exactly the three standard Lean axioms — propext, Classical.choice and Quot.sound — and nothing else. In particular, the paper contains no statement that is conditional on an unproved input, and no result is imported from a published source as a black box.

Matched environments.

Each entry gives the paper environment, its Lean declaration, and the file that contains it.

Presentation-only environments.

These introduce notation used by the matched statements and are not separately checked.

What is not checked.

The bibliographic comparisons in Section 2, including those to Sudijono et al. (2026) and Hull (2026), are positioning claims about the published literature and are not part of the formal development; no theorem in this paper takes a published result as a hypothesis. The applied reading of the ACTG 175 design in Section 7 is likewise interpretive. The numerical values reported for the three-arm example — the table and the exact rational risk — are checked, but the search that produced the table is not: only the risk it attains is claimed.

Proofs of the main results

Proof of Theorem 1.

Write for the group of unit permutations. The proof packages five finite-sum facts.

  1. Fix a labeled procedure . For an assignment and observed vector , define where and . Let and let Since , the second value lies in the estimator interval. Reindexing the finite sum by left composition with any fixed unit permutation gives so is invariant.

    For fixed with , the weighted mean is a convex combination of values in , hence the clipping is inactive. Therefore, for every real target value , by Jensen’s inequality for the convex map , applied to the weights . If , the left side is zero and the right side is nonnegative, so the same inequality holds.

    Apply this with and , then sum over . The identities convert the right-hand side into the permutation average of labeled risks: Let be the orbit procedure obtained by collapsing the invariant procedure to allocation and observation counts. For this collapsed procedure, the labeled and orbit descriptions put the same total probability on each allocation-count and observation-count fiber, so summing the squared loss over those fibers gives Hence is dominated by the averaged invariant representative.

  2. An invariant labeled procedure is determined exactly by allocation-count and observation-count orbits. For an assignment and an observed binary vector , define Thus , and, when , the vector is an element of . Write For an orbit procedure , inflate it to a labeled procedure by Conversely, if is invariant, choose one representative for each allocation count , and one representative pair with and for each observation count . Set These definitions are independent of the representatives: equal allocation counts are exactly equality up to a unit permutation, and equal allocation and observation counts are exactly equality up to a simultaneous unit permutation of assignment and observed outcomes.

    The two constructions are inverse to each other. Under either construction, It remains to identify the regrouped labeled risk with the orbit risk. For a labeled schedule , put and define the observed labeled fiber For a table , the number of assignments in having units of response type assigned to arm is Summing over the feasible contingency-table fiber and dividing by the allocation-orbit cardinality gives where the last equality is the likelihood formula in Definition 6. The target term is also constant on the response-count orbit, Therefore, regrouping first by allocation counts and then by observed fibers yields This proves the stated bijection and the exact equality of allocation-count, observation-count, and risk rules.

  3. For every schedule , the count vector satisfies Thus the finite sum over labeled units may be regrouped by its response-type fibers: Here and in the displayed target formula, denotes the real inverse , with the convention . Scaling the regrouped identity by this factor gives

  4. The arm-count condition supplies nonempty assignment and orbit spaces, while the zero clipped estimator supplies nonempty procedure classes. Risks are nonnegative, so both minimax values in Definitions 3 and 7 are formed over bounded-below finite risk ranges.

    First fix an orbit procedure , and inflate it to its invariant labeled representative . By the risk identity above, for every labeled schedule , Taking the worst case over and then the infimum over gives Conversely, fix a labeled procedure . The lossless symmetrization step gives an orbit procedure such that, for every , Every response-count vector is for some schedule , so Taking the infimum over gives . Hence

  5. Put the orbit game in finite squared-loss form with state space , design space , observation space likelihood coefficient target , and action interval . The interval is nonempty because , and follows term by term from the factorial formula in Definition 6.

    The state set is finite, the action set is the compact interval , and squared loss is bounded and convex in the action, so the game has a saddle point (Wald, 1950). Applied to these data it gives an orbit procedure and a probability law on such that and By Definition 7, the middle value is , giving

Proof of Theorem 2.
  1. For and , the arm-count condition required in Theorem 1 is immediate. Its value-equality conclusion, applied to this two-arm contrast, gives for every .

  2. For the same contrast, This proves the asserted first-order constant.

  3. Fix and . The four two-arm response types are They are pairwise distinct and every is exactly one of these four types: the pair is one of Thus the orbit-target sum may be evaluated over this four-element list: For , their contrast scores are Therefore which is the claimed two-arm target formula.

  4. The four functions above differ by evaluating them at one of the two arms: differs from at the second arm, from at the first arm, and from at either arm; and differ at the first arm; and differ at the first arm; and and differ at the second arm. Hence they are pairwise distinct.

  5. If , then the pair is one of so is respectively , or . Thus these four types exhaust .

  6. With these four response types kept as the elements of , the likelihood identity is exactly the specialization of Definition 6 to : Here the fiber imposes the response-type margins , allocation margins , and arm-success totals , as in Definition 6.

  7. Let . Applying Theorem 4 with and gives Using from the calculation above yields

  8. For the lower second-order bound, apply Theorem 5 with and . Let , and choose large enough that the shrinkage procedure in that result satisfies, for every , Since is the infimum of the same worst-case risk over all admissible procedures, With and , this rearranges to for every .

  9. Now fix , , and a contrast . Since implies , Theorem 1 applies and gives The response-type set is the set of binary functions on . Because , its cardinality is

  10. Fix , a finite design on two-arm assignments, and a measurable Hull estimator . Set where ranges over Hull schedules with parameters . Choosing preserves measurability and gives Thus belongs to the displayed risk-value class.

  11. Finally fix , , and . First choose a number The choice is by endpoint cases. If and , take . If and , then the subcase contradicts , and in the remaining subcase take . If and , then the subcases and contradict , and in the remaining subcase take . If and , take . In every surviving case this gives the displayed membership and exclusions.

    Define the Hull schedule This schedule lies in . Since , choose one unit . If this embedded Hull schedule belonged to the binary -arm schedule domain, then at the first arm its value would be the value of a binary potential outcome, hence either or . But the same coordinate equals , contradicting . Therefore

Proof of Theorem 3.
  1. We first prove the limiting assertion. The hypotheses on imply : if , there are no arm coefficients and the contrast is the zero function; if , the zero-sum identity forces the unique coefficient to be zero. Both alternatives contradict the assumed nonzero contrast.

    For , set With , , and nonzero and zero-sum, Theorem 4 applies. In particular, for every , Since , for we have and therefore The upper bound tends to , so the squeeze theorem gives

  2. We next prove the finite-sample risk bound. Fix and a labeled schedule . Since is nonzero, Thus is a probability vector, and exactly on the active support .

    For each unit and arm , define the centered one-unit score on all of by Under the independent design in Definition 14, the unprojected estimator is For each , where the last equality uses . Hence

    Also, since , and therefore Thus Independence across units gives

    It remains to pass from the raw rule to the projected rule. For any two zero-sum contrasts , put For any binary response type, splitting the arms according to and , the zero-sum identity for yields Averaging over the units gives Taking and , we have so

    For every and every real , Indeed, if lies in the interval there is equality; if , then ; and if , then . Squaring gives the displayed inequality in the two boundary cases. Applying it with shows, pointwise in the assignment, Consequently, Since was arbitrary,

  3. The two preceding steps are exactly the two components of the asserted conjunction: the first gives the asymptotic value of the unrestricted labeled-schedule minimax risk, and the second gives the finite-sample worst-case bound for the independent contrast-weighted design together with the projected contrast-weighted Horvitz–Thompson rule.

Proof of Theorem 4.

Write for the schedulewise risk appearing in Definition 3. For the two-arm contrast , write for , with .

  1. Define the sign groups and scale Since is nonzero and zero-sum, both and are nonempty, and For , embed it into a -arm schedule by Then

    Fix an arbitrary -arm procedure . Let , put the product law on by drawing and independent fair bits , and define the induced two-arm assignment For , define the inactive-zero observation vector Let be the pushforward of under , so that All conditional means below use the following totalization convention: on a cell with , the conditional mean is set to ; this value is immaterial in risks because the cell has zero -mass. Define the induced two-arm estimator, on every and , by Because is clipped to , this conditional mean lies in . For each , expanding the risk under the pushed-forward law and applying conditional Jensen’s inequality gives The last equality follows from the observation identity and the target identity . Thus the construction supplies the statewise comparison Taking the supremum over , and using , yields the induced-procedure worst-case bound Since is the infimum of the left-hand worst-case risk over all two-arm procedures, Multiplying by and taking the infimum over the arbitrary -arm procedure yields

  2. The identity gives . Consider the product design and projected estimator in Definition 14. For every schedule , introduce the auxiliary totalized weights These agree with the probabilities from Definition 14 on , and exactly when . For , define Under the independent assignment law in Definition 14, equivalently with totalized weights on , because . Also, Thus, for the product structure gives For each unit, so . Projection onto this interval cannot increase squared distance from , hence Taking the maximum over and then the infimum over procedures gives

  3. Suppose . Let and be the unique active arms with positive and negative coefficients. The preceding sign-sum identities give For any two-arm procedure , lift a two-arm assignment to the -arm assignment given by Let be the pushforward of under . For a general -arm assignment , define the associated two-arm assignment and define the lifted estimator on its full domain by For a -arm schedule , define the active two-arm schedule The coefficient identities above give Moreover and the lifted observations satisfy Therefore, for every , the lifted procedure has the statewise risk identity It follows that Taking the infimum over two-arm procedures and using to pull the fixed scale through the infimum gives the minimax comparison Together with the lower bound obtained above,

  4. Now assume . From the upper bound, From the lower bound, Finally, Theorem 6 gives and therefore Since ,

  5. In the support-two case, the equality established above gives This proves both asserted identities for .

Proof of Theorem 5.

Fix and a nonzero zero-sum contrast . We prove the five asserted conclusions in the order displayed.

  1. Let Since , choose with . For the response type with and for , the numerator is , so the finite set of nonzero values is nonempty and has a positive minimum. This is exactly , hence . Also, zero-summability gives and therefore . Thus one admissible normalized nonzero value is at most one, and the minimum satisfies . Finally, because . Hence

  2. The first-order rule from Definition 14 is controlled first before projection. For the degenerate case , there is a single empty schedule, its target is and the centered contrast-weighted sum is the empty sum, hence equals . The projection fixes , so the first-order procedure has risk Since squared-error risks are nonnegative, this gives . The reciprocal estimate now begins with positive population size, so assume . For , define, for an assignment vector , Under the independent -design, inverse-probability cancellation and give and hence The target lies in the projection interval: for each response type , the positive and negative coefficient masses are both , so For every , interval projection satisfies because the projection fixes inside the interval and otherwise moves to the nearer endpoint between and . Therefore Taking expectations gives and taking the infimum over procedures gives for . Together with the zero-unit branch, this proves the first-order envelope for every .

  3. Since multiplying by gives Because , there is such that, for all integers , Set . Then the stated tail side condition holds for every integer threshold variable at least .

    For the risk bound, fix and a schedule . Under the independent -design, define Then and the definition of gives For the tail estimate, write The product design makes the variables independent conditional on . Also and , so has conditional mean zero and lies in the interval , whose length is . Hoeffding’s lemma therefore gives, for every real , Multiplying the moment-generating-function bounds across the independent units yields Thus Chernoff’s bound, with for and with the endpoint immediate, gives Applying the same argument to and taking the union of the two one-sided events gives, for every ,

    Put The clipped-shrinkage estimator is followed by projection onto ; that projection fixes the displayed value. Indeed, fix a realized assignment and write . The bounds imply To see this, use the three regions in the definition of . If , then and If , then and In the remaining case, , so and Thus, for every realized assignment, because , and the final interval projection is inactive.

    Let Since is monotone, and

    If , define the far-tail event The tail bound gives On , the local condition gives so . Since and , clipping also gives the uniform perturbation bound Combining the two displays, Moreover . Since , and therefore Since , Substituting and the covariance lower bound into the preceding MSE inequality gives where the last line drops the nonpositive term . Using we obtain The choice of implies so the local case gives

    If , then the lower bound on yields Using and the same identity for , The two cases cover every schedule. Multiplying by gives, uniformly in , Taking the supremum over schedules proves the asserted clipped-shrinkage risk bound for all .

  4. Since is the minimax infimum, the shrinkage bound implies, for all , Thus and therefore On the other hand, Theorem 4 gives, for all , so The eventual lower and upper bounds imply

  5. Let be a positive regularly varying sequence with index , and suppose Define the auxiliary positive sequence For , The bounds from the previous step and the convergence to imply that, eventually, Regular variation at the scale factor gives and hence A positive sequence that is eventually bounded above and away from zero can have a dyadic ratio limit only equal to : indeed, for the dyadic logarithms the increments converge to the logarithm of the dyadic ratio, while the eventual boundedness of makes eventually bounded; Cesaro averaging of therefore forces that logarithm to be . Applying this to gives Since the map is strictly increasing,

Proof of Theorem 6.

Fix and put

  1. Since , also , and the real-power identities give Moreover . Indeed, . If , then and, multiplying by the positive inequality , contradicting . The same identities also give

  2. We first prove the sharper fractional lower bound in the auxiliary parameter . Let This is a probability density on , is positive on its support interior, and vanishes at the support endpoints. Direct differentiation on gives so For fixed with , draw independent two-arm response types with These masses are nonnegative and sum to one because and . Let Then the marginal law of is the product Bernoulli law with Fisher information The finite-population contrast target for a response vector is Conditional on , and conditional on , Thus the posterior target is For , At fixed , Since , For any scalar estimator , let be its clipping to . Since , The conditional square completion gives, for each and , Applying Lemma 2 to the finite observation space , the density , likelihood , target , and estimator , with the regularity hypotheses discharged by the displayed compact support and finite product likelihood, yields Combining this estimate with the square-completion and clipping inequalities shows that every scalar estimator has Bayes risk at least Let be the induced distribution on triples where counts units, counts units, and counts equal-potential-outcome units. Applied to , Lemma 1 gives a complete-schedule prior whose Rao–Blackwell scalar risk is dominated by every design-estimator Bayes risk. Hence, by Definition 3, Using , , and , this is exactly

  3. It remains to convert the fractional bound to the advertised coarse form. Since , and Therefore We claim The denominator is positive. If , then If , then the left-hand side after multiplication by the positive denominator is at most , while . This proves the claim in both cases.

    Finally, and Thus The last expression is the fractional lower bound proved in the preceding step, so Together with the first displayed bound, this proves both conclusions.

Proof of Proposition 1.

Let . We write and use the identification of with the three-arm specialization of the rational grid value from Definition 18.

  1. Applying Theorem 7 with , contrast , and mesh gives certificates , , , , and a barycenter estimator satisfying For , The displayed sandwich first gives It also gives Since , and hence

  2. The unrestricted minimax risk is an infimum of suprema of squared-error risks, so Combining this with yields

  3. It remains to record the elementary feasible point giving the upper bound . Let , let be the grid action corresponding to the index , and define The normalization constraints in Definition 18 are then immediate. For a response-count vector , set Because each , one has . Therefore Using the orbit likelihood of Definition 6, whose finite probabilities in are nonnegative and sum to , the risk row for the displayed feasible point is Thus is feasible, and the minimizing value satisfies

  4. Apply Theorem 7 again, now with mesh . Since , also . The exact rational certificate clause gives a rational allocation mass , real joint design-action mass , rational epigraph value , and rational response-count multipliers , packaged as an exact primal-dual certificate. Unpacking that certificate supplies rational grid weights and dual multipliers such that The optimal-value clause gives

  5. Fix . Choose any labeling of the units by , and let be the constant labeled schedule and let be its response-count vector, Then . Since , so the response type is represented by a response-count vector with total population size .

  6. Finally, work at the second-order scale . The asserted limit follows from the following direct calculation. For all , Both powers on the right tend to zero as , because and . Hence

Proof of Theorem 7.
  1. Since a zero-sum contrast on or is identically zero, the hypotheses imply . The rational grid program of Definition 19 is a finite rational linear program. A feasible point is obtained by placing all allocation mass on one allocation orbit and all grid-action mass at , with an epigraph coordinate large enough to dominate the finitely many risk rows. The risk rows also force every feasible epigraph coordinate to be nonnegative. Finite-dimensional rational LP strong duality therefore gives rational primal and dual optimizers. Decoding the primal optimizer gives and decoding the dual optimizer gives multipliers , whose risk-row component is The decoded certificate satisfies with primal feasibility and dual feasibility in the grid program. In particular, so is a rational prior on response-count vectors.

  2. Define the estimator, for and compatible , by This is exactly the barycenter condition in the certificate statement; the zero convention applies precisely on allocation orbits with zero certificate mass.

  3. For a rational prior on , set and use the posterior-mean convention Then the Bayes risk at allocation orbit is Completing the square gives, for every invariant orbit procedure , Thus is a Bayes lower bound for the finite orbit game. By the value equality in Theorem 1, Applying this to gives the stated lower certificate inequality.

  4. The barycenter rule , together with , is an admissible orbit procedure. Through the invariant correspondence and value equality in Theorem 1, This proves .

  5. For , let Primal feasibility gives , and the barycenter definition gives Hence, for every with , When , the corresponding contribution is multiplied by zero. Multiplying by , summing over , and using the primal risk row gives

  6. It remains to compare with the lower certificate. Fix an allocation orbit . Since each lies in , the posterior mean also lies in this interval when , and the convention value lies there when . The grid has mesh , so choose with Write the relevant dual occupancy difference and nonnegativity multipliers as For the fixed allocation orbit and the selected grid points , dual feasibility gives the stationarity rows and, for every compatible observation , Since the dual objective equals , these rows imply The posterior square decomposition gives Indeed, for each with positive predictive mass this is completion of the square around the posterior mean ; when the predictive mass is zero, all terms carrying vanish and the displayed convention contributes zero. Moreover Using the grid approximation bound for every , Thus, for every allocation orbit , The allocation-orbit set is nonempty, so taking the infimum over and using gives Together with the preceding steps, this proves the full certificate sandwich.

  7. The orbit counts are stars-and-bars counts. Response-count vectors are nonnegative counts over binary response types with total , so Allocation-count vectors are nonnegative counts over arms with total , so Finally, a pair , with compatible with , is equivalently a nonnegative count vector on arm-outcome cells with total . There are such cells, hence

  8. Let be any positive sequence and let . If then multiplication by the fixed constant gives For certificate sequences at mesh , the finite-sample sandwich gives, for all positive , Finite initial values do not affect limits, and the preceding display therefore implies Writing , if , then and because both error terms are squeezed by . At the second-order scale and with , so

Proof of Theorem 8.
  1. First prove the one-sided estimate Put For a binary response type , let Since both contrasts have zero sum, , and therefore Thus so For any labeled schedule , using , Also set Applying the preceding target bound to the pair gives hence .

    Fix any procedure for contrast . Define the transferred procedure for by keeping the same assignment law and projecting the estimator output onto : For , projection onto the closed interval satisfies by the three cases , , and . For fixed and assignment vector , define Using and the target bound above, For each target contrast and any estimator , write its squared-error risk at the fixed schedule as Taking -expectations gives Since , Cauchy–Schwarz yields and therefore Here , so It remains to pass from this pointwise comparison to the two minimax values. For each , set so Definition 3 says The schedule set is finite and nonempty, and is increasing on , hence We also have Indeed, every is at least , giving the inequality. Conversely, the procedure class is nonempty, and for every there is a procedure with therefore the infimum of the square roots is at most , and continuity at gives the reverse inequality as .

    Taking the maximum over in the previous pointwise display gives Since is one admissible procedure for contrast , taking the infimum over all procedures for gives

  2. The contrast distance is symmetric: Applying the one-sided estimate to the ordered pair gives hence

  3. Applying the same one-sided estimate to the ordered pair gives Together with the previous displayed lower bound, this is exactly

Proof of Theorem 9.
  1. Fix a rational zero-sum contrast and integers . Apply Theorem 7 to . It gives an invariant allocation certificate , a rational grid weight , a rational epigraph value , a rational response-count multiplier , and a barycenter rule , with and The multiplier is a response-count probability prior. Indeed, by Theorem 7, is the risk component of a dual-feasible multiplier for the grid-action program of Definition 19. In that program the response-count constraints are the inequality rows so dual feasibility gives for every . The epigraph variable has objective coefficient , coefficient in each of those rows, and no other occurrence, so its dual stationarity equation is Thus With now a probability prior, the lower certificate is an infimum of Bayes risks over the finite allocation-count set, hence ; the displayed sandwich gives . Put

    The pointwise transfer estimate used for both certificate directions is the following. If a procedure for one contrast is clipped to the natural interval of another contrast, then for every schedule , Indeed, for each assignment , because the target difference is an average of binary response-type scores and Projection onto can only reduce squared distance to , and Cauchy–Schwarz gives for the original residual .

    The upper procedure keeps the invariant allocation law induced by and uses The rational certificate bounds the -risk of the barycenter rule by , so the transfer estimate yields worst-case -risk at most , and therefore

    For the lower endpoint, spread this response-count prior uniformly over each labeled schedule orbit, and write the resulting expectation as The denominator is positive because each response-count vector is represented by at least one labeled schedule, and the displayed nonnegativity and mass identity make a probability expectation. We first record the all-procedure lower bound supplied by this lifted prior. Let be any labeled procedure for contrast , and average over the unit-permutation group . By the lossless symmetrization and exact invariant correspondence in Theorem 1, the averaged procedure is invariant and corresponds to an orbit procedure . If is its allocation-count law, define its orbit risk at response-count vector by For a fixed allocation count , the conditional Bayes risk under is bounded below by ; on zero prior-predictive fibers the corresponding summand is zero, and on positive prior-predictive fibers the posterior-mean residual is the conditional minimum. Hence, for every orbit procedure, Because the lifted prior is uniform within each response-count orbit, Lossless symmetrization gives, for every labeled schedule , The lifted prior is invariant under unit permutations, so averaging the last display over yields for every labeled -procedure .

    Now let be any procedure for the real contrast , and let be the procedure obtained by clipping its action to . Applying the pointwise transfer estimate in the direction from to , Set Squaring the preceding inequality, integrating with respect to , and using Cauchy–Schwarz in the finite schedule space gives Combining this with the all-procedure -lower bound applied to gives If , then and . If , the displayed inequality gives . When this again gives , and otherwise Thus the lifted schedule prior has Bayes risk at least against every real-contrast procedure. Since prior risk is bounded above by worst-case risk for each procedure, taking the minimax value gives

    It remains to verify the stated width. From the rational sandwich, Also Theorem 4 gives so Consequently, because the square of the right-hand side contains the displayed upper bound plus a nonnegative cross term. Finally, and , whence Substituting the bound on and using gives Thus form a transferred certificate for , proving the finite-grid transfer assertion.

  2. We next construct the rational approximating sequence. Since is nonzero, . For , define the approximation radius Then . Choose a fixed arm . By density of in , choose rational numbers for with and set Because is zero-sum, and hence Therefore Since , this rational zero-sum vector is nonzero; otherwise . Denote the resulting rational contrast by . Then and for , It follows that For each arm , so .

  3. For each , apply the fixed construction from [it:real-contrast-finite-grid-transfer] with , , and , obtaining . The construction gives a transferred certificate for every . Write Because for every arm and the arm set is finite, and hence The certificate width bound gives, for , The three terms on the right converge to zero: and, using , By squeezing, This proves the real-contrast approximation assertion.

  4. Finally suppose a rational zero-sum contrast embeds coefficientwise as . For any , apply the fixed construction with . The rational sandwich gives Since the real embedding of is , , and hence Together with the transferred certificate constructed in [it:real-contrast-finite-grid-transfer], this proves the exact rational case.

Proof of Theorem 10.

Fix and .

  1. Let This contrast is nonzero and zero-sum, and Hence the real embedding of has , and the grid in Definition 19 becomes Therefore, after specializing Theorem 7 to and , the rational contrast grid program of Definition 19 is the three-arm rational grid program of Definition 18, with

  2. The specialized certificate theorem supplies a rational allocation certificate , a joint design–action weight , a rational epigraph value , a rational response-count multiplier , and an estimator . Its exact-certificate conclusion gives the rational grid weight whose real embedding is , primal feasibility, dual feasibility, the identification of the risk component with , and dual objective value . Its barycenter conclusion gives, for every and compatible , The second branch fixes the estimator at allocation counts that carry no certificate mass; those counts are never charged by the certificate, so the choice is immaterial.

    The same specialization gives For a response-count multiplier , the specialized lower endpoint is and the specialized upper endpoint is precisely Thus the certificate sandwich in Theorem 7, together with , yields

  3. Let be any positive normalizing sequence and let for all . If then This is the mesh-rate conclusion at .

  4. Now let , , , , and satisfy the hypotheses of the final assertion. All inequalities below are for , which is an eventual range for limits along . From we have and also The mesh assumption and the preceding step give Finally, Therefore and Since and both residual terms converge to , the two displayed sequences converge to .

Proof of Proposition 2.
  1. For , the contrast-weighted one-unit law is Since is positive on arm and negative on arms , Thus, conditionally on , This proves the asserted conditional mean for every , schedule , and unit .

  2. The score is always sign-valued, so . Combining this with the preceding mean identity gives

  3. Write The assignment law is a product law, so the ’s are conditionally independent given . Moreover and therefore is conditionally unbiased for . Hence, for ,

  4. For the scalar experiment at , let be the feasible set of scalar means. Given , the retained observation has independent coordinates with and the scalar target is , where Set Then By Cauchy’s inequality, , and hence Taking the supremum over and then the infimum over scalar rules gives

  5. For the reverse inequality, put the following weights on the five homogeneous states They are nonnegative and satisfy . For any scalar rule , its Bayes risk under this prior is where denotes the product law with all three scalar means equal to . If , then for the prior predictive mass of the event and its target numerator are A direct expansion gives Thus the posterior mean is exactly , and completing the square yields For a homogeneous level , and summing this identity with the weights gives Every supremum risk dominates this Bayes risk, so Together with the preceding item, this proves .

  6. The full-data rule is defined from the observed arm labels and outcomes by The rule is given by a lookup table. Let be the integer in the table The displayed triples are exactly the triples that assignments and binary outcomes can generate, so the rule is defined wherever it is used; set elsewhere. Define All displayed values lie in , so the projection leaves the table value divided by unchanged. For any schedule , its risk under is the finite rational sum Identifying an assignment with its ordered triple gives a -term rational sum. To certify the uniform bound, write each schedule as and order the eight possible response types as For , define the cleared slack Substituting the -term expression for and clearing denominators makes an integer-valued function of the triple, and the check is a finite one: there are triples, and at every one of them. The evaluation is an exact rational computation: after substituting the displayed formula for , the integer values of are all nonnegative. The bound is attained: for instance so no smaller constant than works for this estimator. Since on all of , For the schedule with response types , the target is , and the same finite sum reduces to Therefore the worst-case risk of this full-data rule is exactly .

  7. The rational comparison in the full-data certificate is

    Also, because squaring both positive sides gives . Hence Thus

  8. It remains to compute the scalar moment envelope. Let with each . Pointwise on , Since , summing these two inequalities gives Consequently For attainment, feasibility implies for some integer . If , take coordinates equal to and the remaining coordinates equal to . Then If , write , so , take coordinates equal to , and take the remaining coordinates equal to . Then and For , feasibility forces , and the empty vector gives value , matching the first branch. Taking the infimum over feasible scalar mean vectors yields Equivalently, in the notation of the statement, this is the asserted formula for the minimum attainable .

  9. Combining the score identities, the average-score risk formula, the exact scalar minimax value, the full-data witness with its rational separation, and the scalar moment envelope proves all asserted clauses.

Proof of Theorem 11.

Let Since and the contrast is nonzero, .

  1. Eventual two-sided bounds. Theorem 5 supplies , the liminf–limsup chain and, for all sufficiently large , a clipped-shrinkage rule satisfying By the definition of in Definition 3, and hence for all sufficiently large , using . On the other side, Theorem 4 gives, for every , Thus, eventually, The displayed liminf–limsup inequalities above give the first assertion of the theorem.

  2. Subsequential limits. Put The eventual containment from the previous step places every tail of in the compact interval Bolzano–Weierstrass applied to a tail subsequence gives . Also . To see that is closed, take with . For each , choose an index such that possible because is a subsequential limit. Then , so . Hence is a closed subset of the compact interval , and is compact.

  3. Regular-variation index and the slowly varying criterion. The index assertion is exactly the regular-variation conclusion in Theorem 5: if is regularly varying with index , , and then

    It remains to identify when a normalizer of index exists. Suppose first that , is regularly varying with index , , and . For , set Since , Moreover, For all sufficiently large , the denominators are nonzero, and Together with the eventual positivity established above, this is the asserted eventual positivity and slow variation of .

    Conversely, suppose eventually and Choose an integer such that for all , and define a positive sequence on all of by assigning arbitrary positive values for and setting Since , the finite initial assignments are invisible in the ratio, and hence so is regularly varying with index . Now define a positive sequence on all of by assigning arbitrary positive values for and setting This totalization is positive because , so on the displayed tail and everywhere. Since finite initial values do not affect regular variation, and since is regularly varying with index , the quotient on the tail is regularly varying with index . For all , Thus the desired normalizer exists, with .

  4. Exact rational grid-certificate cluster. Let be a rational contrast whose real embedding is . For each , apply Theorem 7 with mesh . This gives rational certificate data such that the exact primal-dual certificate and barycenter identities hold, and such that, writing one has Define, with arbitrary zero-th values, The same certificate data make an exact rational grid-certificate cluster for . The sandwich width satisfies Since we get Similarly, because and , and These are precisely

  5. Transferred certificates for real contrasts. Apply Theorem 9 to the real contrast . It gives rational contrasts , certificate values , and transferred endpoints such that, for every arm , where For every , the transferred certificate supplies an exact rational primal-dual certificate, a grid barycenter estimator, and a rational prior for , with and The same transferred certificate gives and, at mesh , Therefore and Thus

  6. The three-arm scalar-score separation. For and , Proposition 2 supplies a full observed arm-label-and-outcome estimator under the product design whose worst-case risk over is The same result identifies the three-observation scalar sign-score minimax value as and gives the strict numerical chain Consequently as claimed.

Proof of Theorem 12.
  1. Suppose first that and . Choose the two active arms and so that and hence For , define the active two-arm schedule For , define the sign-schedule embedding by Then By Theorem 4,

  2. Apply Theorem 1 with and contrast . It gives a two-arm orbit procedure and a prior on such that and, for every two-arm orbit procedure , The same result identifies . Let be the invariant labeled procedure induced by . For , set and define the labeled prior Since , the denominator is positive for every schedule in the displayed formula. The invariant correspondence gives so For any two-arm labeled procedure , symmetrizing over unit permutations and passing through the invariant-orbit correspondence yields an orbit procedure whose orbit risk, averaged under , is bounded above by the -Bayes risk of . Therefore

  3. Let be the sign-pair lift of , and let The lifted experiment observes exactly the two active coordinates and multiplies the two-arm estimate by . Hence, for every , Now fix an arbitrary -arm labeled procedure . Define the induced two-arm procedure by the following Rao–Blackwellization. Let be the product experiment in which is drawn from and, independently, is fair for each unit. Define the sign-group assignment map by Thus the fair bits are used exactly on zero-coefficient assignments. Define the inactive-zero pseudo-observation by where is the binary response value assigned to inactive coordinates. For a two-arm observed vector , set Here and , while the -arm estimator is clipped to . Hence The induced two-arm procedure has assignment law and estimator The displayed interval containment makes this a legitimate two-arm procedure. For a fixed , write for the observed outcome vector under two-arm assignment . Conditional Jensen, applied on each fiber of , gives For every , the sign-schedule embedding and inactive-zero convention give Indeed, a positive-coefficient assigned arm reads the first two-arm coordinate, a negative-coefficient assigned arm reads the second, and an inactive assigned arm has binary response value on both sides: fixes inactive coordinates at , while replaces inactive observations by . Also, where the middle equality uses and . Substituting these two identities into the preceding Jensen bound yields since has as its -marginal. Integrating this inequality under and using the two-arm Bayes lower bound from the preceding step gives Multiplying by and using yields Together with the definitions of , this proves the two-active-arm value and saddle-transfer assertion.

  4. For arbitrary active support, Theorem 5 supplies It also supplies an integer such that, for every , the clipped-shrinkage procedure satisfies the contrast- risk bound These are exactly the second-order scale and shrinkage-attainment assertions.

  5. By Theorem 9, for every rational nonzero zero-sum contrast and every , there exist real numbers forming a transferred certificate for . The same result supplies rational contrasts and real sequences such that for every , the tuple is a transferred certificate for , and Finally, if represents coefficientwise, the exact rational part of the same result gives, for every , a transferred certificate for satisfying This proves all real-contrast transfer certificate assertions.

  6. Apply Theorem 10 with the given , and write the objects it supplies as . For these, is the lower certificate formed from the response-count prior , and is the upper certificate formed from and . The cited result gives the exact primal-dual certificate and barycenter conditions for , and its returned inequalities include These are exactly the displayed sandwich in the three-arm rational certificate assertion.

References

  • Sudijono, Timothy and Dobriban, Edgar and Tchetgen Tchetgen, Eric (2026). Sharp Minimax Theory for Randomized Experiments. . arXiv
  • Hull, Peter (2026). Optimal Experimental Design and Estimation when Potential Outcomes are Bounded. . arXiv
  • Bai, Yuehao (2023). Why Randomize? Minimax Optimality under Permutation Invariance. Journal of Econometrics. doi
  • Levit, B. Ya. (1986). Second-Order Asymptotic Optimality and Positive Solutions of Schrödinger's Equation. Theory of Probability and Its Applications.
  • Levit, B. Ya. (1981). On Asymptotic Minimax Estimates of the Second Order. Theory of Probability and Its Applications. doi
  • Rosenman, Evan T. R. and Hunter, Kristen B. (2026). Adaptive Experimental Design Using Shrinkage Estimators. . arXiv
  • Hammer, Scott M. and Katzenstein, David A. and Hughes, Michael D. and Gundacker, Heather and Schooley, Robert T. and Haubrich, Richard H. and Henry, W. Keith and Lederman, Michael M. and Phair, John P. and Niu, Marek and Hirsch, Martin S. and Merigan, Thomas C. (1996). A Trial Comparing Nucleoside Monotherapy with Combination Therapy in {HIV}-Infected Adults with {CD4} Cell Counts from 200 to 500 per Cubic Millimeter. New England Journal of Medicine. doi
  • Kallus, Nathan (2020). On the Optimality of Randomization in Experimental Design: How to Randomize for Minimax Variance and Design-Based Inference. . arXiv
  • Aronow, P. M. and Lopatto, Patrick (2026). Minimax Unbiased Estimation for Finite Populations with Bounded Outcomes. . arXiv
  • Fisher, Ronald A. (1935). The Design of Experiments. Oliver and Boyd.
  • Splawa-Neyman, Jerzy (1990). On the Application of Probability Theory to Agricultural Experiments. Essay on Principles. Section 9. Statistical Science. doi
  • Rubin, Donald B. (1974). Estimating Causal Effects of Treatments in Randomized and Nonrandomized Studies. Journal of Educational Psychology. doi
  • Rubin, Donald B. (1978). Bayesian Inference for Causal Effects: The Role of Randomization. The Annals of Statistics. doi
  • Holland, Paul W. (1986). Statistics and Causal Inference. Journal of the American Statistical Association. doi
  • Imbens, Guido W. and Rubin, Donald B. (2015). Causal Inference for Statistics, Social, and Biomedical Sciences: An Introduction. Cambridge University Press. doi
  • Imbens, Guido W. and Wooldridge, Jeffrey M. (2009). Recent Developments in the Econometrics of Program Evaluation. Journal of Economic Literature. doi
  • Athey, Susan and Imbens, Guido W. (2017). The Econometrics of Randomized Experiments. Handbook of Economic Field Experiments. doi
  • Ding, Peng (2024). A First Course in Causal Inference. Chapman and Hall/CRC.
  • Bai, Yuehao and Shaikh, Azeem M. and Tabord-Meehan, Max (2024). A Primer on the Analysis of Randomized Experiments and a Survey of some Recent Advances. . arXiv
  • Freedman, David A. (2008). On Regression Adjustments in Experiments with Several Treatments. The Annals of Applied Statistics. doi
  • Lin, Winston (2013). Agnostic Notes on Regression Adjustments to Experimental Data: Reexamining Freedman's Critique. The Annals of Applied Statistics. doi
  • Dasgupta, Tirthankar and Pillai, Natesh S. and Rubin, Donald B. (2015). Causal Inference from {$2^K$} Factorial Designs by Using Potential Outcomes. Journal of the Royal Statistical Society: Series B. doi
  • Morgan, Kari Lock and Rubin, Donald B. (2012). Rerandomization to Improve Covariate Balance in Experiments. The Annals of Statistics. doi
  • Li, Xinran and Ding, Peng and Rubin, Donald B. (2018). Asymptotic Theory of Rerandomization in Treatment-Control Experiments. Proceedings of the National Academy of Sciences. doi
  • Horvitz, Daniel G. and Thompson, Donovan J. (1952). A Generalization of Sampling Without Replacement from a Finite Universe. Journal of the American Statistical Association. doi
  • Hansen, Morris H. and Hurwitz, William N. and Madow, William G. (1953). Sample Survey Methods and Theory. John Wiley and Sons.
  • Särndal, Carl-Erik and Swensson, Bengt and Wretman, Jan (1992). Model Assisted Survey Sampling. Springer.
  • Gabler, Siegfried (1990). Minimax Solutions in Sampling from Finite Populations. Springer-Verlag.
  • Wald, Abraham (1950). Statistical Decision Functions. John Wiley and Sons.
  • Le Cam, Lucien (1986). Asymptotic Methods in Statistical Decision Theory. Springer-Verlag.
  • Ibragimov, I. A. and Has'minskii, R. Z. (1981). Statistical Estimation: Asymptotic Theory. Springer-Verlag.
  • Van Trees, Harry L. (1968). Detection, Estimation, and Modulation Theory, Part I. John Wiley and Sons.
  • Gill, Richard D. and Levit, Boris Y. (1995). Applications of the Van Trees Inequality: A Bayesian Cramér-Rao Bound. Bernoulli. doi
  • Rao, C. Radhakrishna (1945). Information and the Accuracy Attainable in the Estimation of Statistical Parameters. Bulletin of the Calcutta Mathematical Society.
  • Smith, Kirstine (1918). On the Standard Deviations of Adjusted and Interpolated Values of an Observed Polynomial Function and Its Constants and the Guidance They Give Towards a Proper Choice of the Distribution of Observations. Biometrika. doi
  • Kiefer, Jack (1959). Optimum Experimental Designs. Journal of the Royal Statistical Society: Series B.
  • Kiefer, Jack (1974). General Equivalence Theory for Optimum Designs (Approximate Theory). The Annals of Statistics. doi
  • Atkinson, Anthony C. and Donev, Alexander N. and Tobias, Randall D. (2007). Optimum Experimental Designs, with SAS. Oxford University Press.
  • Kallus, Nathan (2018). Optimal A Priori Balance in the Design of Controlled Experiments. Journal of the Royal Statistical Society: Series B. doi
  • Harshaw, Christopher and Sävje, Fredrik and Spielman, Daniel and Zhang, Peng (2024). Balancing Covariates in Randomized Experiments with the Gram-Schmidt Walk Design. . arXiv
  • Basse, Guillaume W. and Ding, Yi and Toulis, Panos (2023). Minimax Designs for Causal Effects in Temporal Experiments with Treatment Habituation. Biometrika. arXiv
  • Kandiros, Vardis and Harshaw, Christopher and Sävje, Fredrik (2026). A Design-Based Minimax Theory for Network Experiments. . arXiv
  • Kandiros, Vardis and Pipis, Charilaos and Daskalakis, Constantinos and Harshaw, Christopher (2024). The Conflict Graph Design: Estimating Causal Effects under Arbitrary Neighborhood Interference. . arXiv
  • Eckles, Dean and Karrer, Brian and Ugander, Johan (2014). Design and Analysis of Experiments in Networks: Reducing Bias from Interference. . arXiv
  • Dereziński, Michał and Clarkson, Kenneth L. and Mahoney, Michael W. and Warmuth, Manfred K. (2019). Minimax Experimental Design: Bridging the Gap Between Statistical and Worst-Case Approaches to Least Squares Regression. . arXiv
  • Hu, Yuchen and Zhu, Henry and Brunskill, Emma and Wager, Stefan (2024). Minimax-Regret Sample Selection in Randomized Experiments. . arXiv
  • Bickel, Peter J. (1981). Minimax Estimation of the Mean of a Normal Distribution when the Parameter Space is Restricted. The Annals of Statistics. doi
  • Feldman, Israel (1991). Constrained Minimax Estimation of the Mean of the Normal Distribution with Known Variance. The Annals of Statistics. doi
  • Johnstone, Iain M. and MacGibbon, Brenda (1992). Minimax Estimation of a Constrained Poisson Vector. The Annals of Statistics.
  • Pinsker, M. S. (1980). Optimal Filtering of Square-Integrable Signals in Gaussian Noise. Problems of Information Transmission.