The real Schur form of a real square matrix $A$ is $Q^{\top }AQ=T$, where $Q$ is orthogonal and $T$ is upper quasi-triangular. Its diagonal consists of one-by-one blocks for real eigenvalues and two-by-two blocks for complex-conjugate pairs.

The rotation generator $\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)$ already forms one two-by-two block with eigenvalues $\pm i$. No real upper-triangular matrix can have those eigenvalues, because its diagonal entries would all be real. Real Schur form therefore permits real arithmetic without pretending every eigenvalue is real. Its orthogonal transformations are also preferable numerically to using a potentially ill-conditioned eigenvector matrix.^[ref]

Pyridoxine phosphate is the 5′-phosphate derivative of pyridoxine, one of the forms of Vitamin B6. Attaching a phosphate group and changing an alcohol group into an aldehyde are different chemical modifications. Pyridoxine phosphate still differs from pyridoxal phosphate, the form used as a coenzyme in many reactions.^[ref]

An important connection is the oxidation of pyridoxine phosphate by pyridoxal 5'-phosphate synthase. The official reaction isHere oxygen accepts the reducing equivalents, producing hydrogen peroxide; the phosphate group is retained. The enzyme contains flavin mononucleotide.^[ref]

For a constructed material-balance example, complete conversion of 4 micromoles of pyridoxine phosphate through this reaction consumes 4 micromoles of oxygen and forms 4 micromoles each of pyridoxal phosphate and hydrogen peroxide. There is no net release of free phosphate in that reaction. Measuring only total phosphorus would therefore miss the conversion: the substrate and product each retain one phosphorus atom. A measurement that distinguishes their functional groups can answer a question that elemental accounting cannot.

Pyridoxamine phosphate usually denotes pyridoxamine 5'-phosphate, the phosphate ester of the position-5 hydroxymethyl group of pyridoxamine. Its neutral-form molecular formula is ${\mathrm{C}}_8{\mathrm{H}}_{13}{\mathrm{N}}_2{\mathrm{O}}_5\mathrm{P}$. It is an active Vitamin B6 coenzyme form, chemically distinct from both free pyridoxamine and pyridoxal phosphate.^[ref][ref]

A concrete reaction distinguishes the two phosphorylated forms. Pyridoxal 5'-phosphate synthase can oxidatively convert pyridoxamine phosphate into pyridoxal phosphate, producing Ammonia and hydrogen peroxide while consuming water and oxygen.^[ref] The transformation changes the aminomethyl group into an aldehyde group while retaining the phosphate ester.

For an ideal $1\mu \mathrm{mol}$ conversion by this reaction, one micromole each of Ammonia and hydrogen peroxide is produced. A peroxide assay can consequently report a coupled reaction signal, but identifying the B6 product remains a separate analytical question. A peroxide-producing impurity could mimic that signal without making the intended coenzyme.

Separating detector noise from pulse-energy variance estimates source variability using a model of the readout's own fluctuations. In energy-calibrated units, write $X=U+n$. The exact identity isOnly when the covariance vanishes can a separately estimated noise variance be subtracted directly. Covariance terms are part of measurement-model uncertainty propagation, rather than an optional correction.^[ref]

For an original independent-noise example, suppose the observed energy standard deviation is $0.50\mathrm{nJ}$ and a matched noise-only measurement gives $0.30\mathrm{nJ}$. The inferred source standard deviation is $\sqrt{0.50^2-0.30^2}=0.40\mathrm{nJ}$, not $0.50-0.30=0.20\mathrm{nJ}$. The source contributes $64\%$ of the observed variance in this stipulated model.

A noise-only record should use comparable gain, integration gate and reset conditions. Background subtraction removes an estimated mean, not the random variance remaining around it. Amplifier clipping, unmatched integrator reset or signal-dependent detector noise can invalidate an additive independent-noise model. A negative variance difference is not a physical negative source variance; it can indicate estimation uncertainty or mismatched assumptions.

Splitting pulses between two independently characterized readouts can provide a two-channel covariance estimate of pulse-energy variance under additional noise assumptions. Shared electronics noise and common drift must still be assessed; independence cannot be established just by using two detectors.

Nonuniqueness of pulse energy at fixed peak power and FWHM means that those two measurements do not determine the integral of an otherwise unspecified power profile. The pulse energy shape factor gives a rectangular/exponential counterexample. A stronger original construction shows there is no finite universal upper bound without restrictions on lower-level tails.

Fix $P_{\mathrm{pk}}>0$, power FWHM $\tau >0$, and $0<\alpha <1/2$. Choose any $D\ge \tau$. Let the power equal $P_{\mathrm{pk}}$ for $|t|\le \tau /2$, equal $\alpha P_{\mathrm{pk}}$ for $\tau /2<|t|\le D/2$, and zero afterward. The optical pulse pedestal is part of the stipulated signal, not an unrelated background. Its level stays below half maximum, so the peak and FWHM remain unchanged, butWith $\alpha =0.10$ and $D=101\tau$, the energy is $11P_{\mathrm{pk}}\tau$, compared with $P_{\mathrm{pk}}\tau$ for the pedestal-free rectangle. Increasing finite $D$ gives unbounded pulse energy at fixed peak and FWHM across this family of finite-duration ideal profiles.

This is an identifiability result, not a claim that a particular laser has arbitrarily long tails. The primary source definition of power-FWHM fixes a threshold width, not the integrated energy below that threshold.^[ref] A measured full profile, a justified shape family or additional tail-duration bounds supply information that peak and FWHM omit.

Baseline-drift bias in pulse-energy integration is the systematic energy error caused by using an inaccurate baseline over the integration gate. Relative to the true signal energy in the same gate,This error is separate from energy excluded by the gate. Historical NIST measurements bracketed each run with baseline observations and subtracted their average to compensate background and thermal drift.^[ref]

An original curvature example shows a limit of endpoint bracketing. On $-T/2\le t\le T/2$, suppose $b(t)=b_0+c{t}^2$. Both endpoint baselines equal $b_0+c{T}^2/4$, so their average and the straight interpolation between them coincide. However, the true integrated baseline is $b_{0}T+c{T}^3/12$. Subtracting the endpoint level over the whole gate therefore givesFor a $20\mu \mathrm{s}$ gate whose endpoints are $3\mathrm{mW}$ above its midpoint baseline, this bias is $-(2/3)(3\mathrm{mW})(20\mu \mathrm{s})=-0.040\mu \mathrm{J}$. A true gated signal energy of $1.00\mu \mathrm{J}$ would be reported as $0.960\mu \mathrm{J}$ under these assumptions.

Thus quadratic baseline curvature in gated energy integration survives a correction that is exact for a linear baseline. For fixed curvature, the error grows with the cube of gate duration. Additional pulse-free samples can test the baseline model, but pulse tails in those samples can themselves corrupt the estimate. Pulse energy baseline correction supplies the broader measurement context.

Pseudomonas syringae is a species of bacteria in Pseudomonas, important in the study of interactions between plants and their associated microorganisms. Its nomenclatural type strain is deposited under identifiers including ATCC19310 and NCPPB281. Such collection identifiers locate reference material; they are not interchangeable with every experimental bacterial strain assigned to the species.^[ref]

A 2011 experiment used the strain reported as Pseudomonas syringae pv. tomato DC3000 to challenge Arabidopsis thaliana. Plants were grown with or without candidate bacterial colonists. Some Sphingomonas isolates reduced both pathogen growth and disease symptoms, whereas the tested Methylobacterium strains did not show that protective effect. The experiment asked whether prior colonization changed an observed disease outcome, rather than merely whether both organisms could be detected on a leaf.^[ref]

Pathogen population and host damage are distinct readouts. In an invented normalized-count example, $10^6$ versus $10^5$ colony-forming units per gram of leaf differs tenfold, or by one base-ten logarithmic unit. That calculation alone supplies neither a disease-severity score nor proof of a particular protective mechanism. Host, strain identity and measurement conditions remain part of the interpretation.

A homotrimer is a protein trimer containing three copies of the same protein subunit type. “Homo” specifies composition; “trimer” specifies a total of three subunits. A homotrimer need not have perfectly identical instantaneous conformations or ligand occupancies at all three copies.

Polynucleotide phosphorylase provides a functional example. Its three repeated subunits form a ring around the polynucleotide phosphorylase central channel. Cryo-electron microscopy of the mycobacterial enzyme resolved that ring and RNA near a catalytic site, connecting an oligomeric structure with an RNA-processing mechanism.^[ref]

For an original conservation example, let $A$ be an unassembled chain and $A_3$ the assembled homotrimer, with no other forms present:A total chain concentration of $6\mu \mathrm{M}$ can yield at most $2\mu \mathrm{M}$ trimers. If half the chains remain unassembled, only $1\mu \mathrm{M}$ trimers form. Reporting concentration in chains or in complexes therefore changes the numerical value even for the same preparation.

A heterotrimer is a protein trimer containing more than one type of protein subunit. It may have composition $A_{2}B$ or $ABC$, for example; the total number of subunits is three in either case. This distinguishes it from a homotrimer, whose three subunits have the same type.

A heterotrimeric G protein illustrates the $ABC$ arrangement, with distinct $\alpha$, $\beta$ and $\gamma$ subunits. A structural inhibitor study crystallized an engineered $\alpha \beta \gamma$ complex and separately measured nucleotide binding and release. Such experiments distinguish the composition of the assembled complex from the chemical activity of one of its components.^[ref]

For an original assembly bound, start with $3\mu \mathrm{M}$ of $A$, $4\mu \mathrm{M}$ of $B$ and $1\mu \mathrm{M}$ of $C$, allowing only $ABC$ complexes. At most $1\mu \mathrm{M}$ complexes can form, leaving at least $2\mu \mathrm{M}$ of $A$ and $3\mu \mathrm{M}$ of $B$ outside them. Adding more $A$ alone cannot overcome the shortage of $C$. Actual assembly may be lower because of incomplete binding or competing complexes.

A protein subunit is an individual polypeptide component of a protein complex. The number of protein subunits counts chain copies, whereas the number of subunit types counts distinct kinds of chain. An assembly $A_2{B}_2$ has four protein subunits of two types. A protein domain is a region within a chain and need not be a separate protein subunit; the arrangement of several chains belongs to protein quaternary structure.

The alpha/beta tubulin heterodimer illustrates the distinction: it contains two related but different polypeptides, not two domains cut out of one chain. The 1998 electron-crystallographic model resolved the alpha/beta architecture at $3.7$ angstrom resolution, using zinc-induced tubulin sheets.^[ref]

Subunit counting can also become an optical experiment. In total internal reflection fluorescence microscopy, tagged membrane proteins can be observed as isolated fluorescent spots; successive photobleaching steps reveal individual fluorescent tags disappearing. Subunit counting in membrane-bound proteins by Maximilian H. Ulbrich and Ehud Y. Isacoff used this approach on membrane proteins expressed in frog oocytes. For NR1/NR3B receptor assemblies, tagging one component type mainly gave two steps, while tagging both gave four, supporting a two-plus-two arrangement.^[ref]

A count of visible steps need not equal the true number of protein subunits: some tags fail to fluoresce, and two tags may bleach too close together to resolve. The experiment therefore combines step counts with a model of labeling and detection, rather than interpreting every two-step trace as proof of a two-chain protein complex.^[ref]

In protein chemistry, a heterodimer is an assembly of two different protein subunits, conventionally written $AB$. A homodimer has two copies of the same subunit type, $A_2$. Different types can have similar protein folds and nearly equal molecular masses; “different” refers to molecular identity, not simply size or shape. An $A_2{B}_2$ protein complex contains two types but four chains, so it is not itself a heterodimer.

The alpha/beta tubulin heterodimer is the repeating building block of a microtubule. The alpha and beta protein subunits have similar folds but distinct sequences and nucleotide environments. Their structural relationship was resolved by electron crystallography of zinc-induced tubulin sheets: the 1998 model reached $3.7$ angstrom resolution. This is a concrete example of a two-chain protein quaternary structure, rather than the protein tertiary structure of a single chain.^[ref]

Stoichiometry gives a useful upper bound. If an idealized mixture contains $3\mu \mathrm{mol}$ of $A$ and $2\mu \mathrm{mol}$ of $B$, and only $AB$ can assemble, at most $2\mu \mathrm{mol}$ of heterodimer can form; at least $1\mu \mathrm{mol}$ of $A$ remains outside $AB$. The actual amount also depends on binding equilibrium and experimental conditions: chain counting alone does not guarantee complete association.

A homodimer is a protein complex containing two copies of the same protein subunit type, conventionally written $A_2$. A heterodimer instead contains two different types, $AB$. Identical subunit type does not require the copies to occupy identical conformations or environments in every instant of the complex's motion.

Assembly is part of protein quaternary structure, rather than a claim that the two chains have become one longer polypeptide. If each subunit contains 100 amino acid residues, the homodimer contains 200 residues across two chains. Association alone need not add a peptide bond between them.

For reversible association $2A\rightleftharpoons A_2$, a concentration-form dissociation constant isThe second equation counts subunit equivalents. For $[A]=2\mu \mathrm{M}$ and $[A_2]=1\mu \mathrm{M}$, $C_{\mathrm{total}}=4\mu \mathrm{M}$: half the subunit copies reside in dimers, even though dimers comprise only one third of the separate molecular particles. The written $K_d$ uses the usual macroscopic concentration convention.

HIV-1 protease supplies an experimentally important example. Recombinant enzyme had reported molecular masses of approximately 11,000 under denaturing conditions and 22,000 under nondenaturing conditions; chemical crosslinking provided additional evidence consistent with an active two-subunit enzyme. Comparing several measurements was more informative than assigning a homodimer solely from an apparent mass in one assay.^[ref]

A nucleoprotein complex is an assembly containing both nucleic acid and protein components. The nucleic acid can be DNA or RNA, and its spatial arrangement and contacts with the proteins are part of the structure. A mixture that merely contains both kinds of molecule is not automatically one associated complex.

The nucleosome core particle is a concrete DNA–protein example. The1997 structure reported by Karolin Luger and colleagues contains146 base pairs of DNA wrapped around a histone octamer. It shows both protein–protein and protein–DNA contacts. Counting the components and mapping their contacts answer different questions: eight histone molecules do not imply eight identical DNA-binding environments.^[ref]

A bacterial small ribosomal subunit provides an RNA–protein example. Its 16S ribosomal RNA and ribosomal proteins form an organized assembly used in translation. The2000 crystal structure links the RNA/protein arrangement to earlier biochemical observations, showing why the nucleic acid is a structural participant rather than merely something carried inside a protein shell.^[ref]

An experiment must also distinguish association from coincidental presence. Co-purification can suggest a complex, while a resolved structure can identify actual contacts; neither an ingredient list nor a bulk protein measurement alone specifies the architecture.

A refutation of a collection of logical assumptions is a derivation of a contradiction from them. To prove a logical formula $\phi$ by refutation in classical propositional logic, add its negation $\neg \phi$ to the assumptions and derive falsity. The correctness of this inference follows from the rules of the chosen proof system.

For example, the clauses $p\vee q$, $\neg p$ and $\neg q$ have a resolution refutation: the first two resolve to $q$, and $q$ with $\neg q$ yields the empty clause. No truth assignment satisfies the three original clauses. This distinguishes the semantic claim of unsatisfiability from a syntactic certificate establishing it. In automated proving, producing a refutation is useful because another program can check the individual inference steps without repeating the search.

A proficiency-test z-prime score modifies a proficiency-test z-score to include uncertainty of the assigned value in proficiency testing:Here ${\sigma }_{\mathrm{pt}}>0$ is the standard deviation for proficiency assessment, and $u(x_{\mathrm{pt}})$ is the assigned value's standard uncertainty. The latter describes uncertainty in the comparator, not the participant's reported uncertainty.^[ref]

An original example gives $x_i-x_{\mathrm{pt}}=3.6$ units, ${\sigma }_{\mathrm{pt}}=1.2$ units and $u(x_{\mathrm{pt}})=0.9$ units. The ordinary score is 3; the modified denominator is $\sqrt{1.44+0.81}=1.5$ units and $z_i^{\prime }=2.4$. Under the guide's common interpretation, the first reaches the action boundary and the second lies in the warning interval. The change reflects benchmark uncertainty, not a change in the measured result.

The effect can be separated algebraically. Put $r=u(x_{\mathrm{pt}})/{\sigma }_{\mathrm{pt}}$. ThenWhen $r=0.3$, the magnitude is about 0.958 times the ordinary score. The guide treats a contribution below $0.3{\sigma }_{\mathrm{pt}}$ as negligible for ordinary score interpretation. Conversely, when $r$ becomes very large, the modified score tends toward zero for any fixed deviation. A weak benchmark can therefore make a discrepancy difficult to interpret; it cannot make a measurement intrinsically accurate.^[ref]

Do not replace the assessment scale with the laboratory's uncertainty and still call the result this score. An uncertainty-normalized compatibility calculation asks a different question. Likewise, if the assigned value uses the participant's own result, participant influence on a consensus assigned value creates dependence that must be understood before interpreting the score as an independent check.

The scheme should state its score and benchmark treatment in advance. When assigned-value uncertainty is too large, options include improving the reference assignment or explicitly reporting its limitations. Enlarging a denominator after seeing an inconvenient result does not supply new measurement evidence.

Differences between supplied proficiency-test items can contribute to a proficiency-test z-score even when the laboratory's own measurement procedure has zero systematic error. Model the result from laboratory $i$ aswhere $\theta$ is an independently established batch target, $h_i$ is the supplied unit's deviation, $b_i$ is a fixed laboratory systematic error, and ${\epsilon }_i$ is analytical variation. Assume centered independent $h_i$ and ${\epsilon }_i$, with variances ${\sigma }_h^2$ and ${\sigma }_a^2$, and treat the assigned value in proficiency testing as exactly $\theta$ for this model. Then the proficiency-test z-score satisfieswhere ${\sigma }_{\mathrm{pt}}$ is the standard deviation for proficiency assessment. A large deviation cannot be attributed to $b_i$ from the score alone. The primary guide requires item reference material homogeneity and reference material stability to remain appropriate when a stricter assessment scale is selected.^[ref]

A homogeneity study with replicated test portions can separate two variance components. Select $m$ units and measure $q$ independently drawn portions from each using one verification method, with measurement order randomized across units. Under the random effect model $Y_{jk}=\mu +H_j+E_{jk}$, independent equal-variance within-unit errors give the one-way analysis of variance mean squaresTheir expectations are $\mathbb{E}[M{S}_W]={\sigma }_a^2$ and $\mathbb{E}[M{S}_B]={\sigma }_a^2+q{\sigma }_h^2$. A method-of-moments variance component estimate is therefore $(M{S}_B-M{S}_W)/q$. Here the within-unit component is treated as analytical variation; variation between portions of the same unit would also enter it unless separated by further measurements. Clipping a negative estimate to zero enforces a nonnegative variance component; it introduces boundary bias and does not establish perfect material uniformity.

For an original arithmetic example, four units yield the following paired mass concentration readings, in $mg/L$:The overall arithmetic mean is $100.05$. These chosen data give $M{S}_W=0.02$, $M{S}_B=0.50$ and ${\hat{\sigma }}_h^2=0.24$, with squared concentration units. Suppose a participant also has analytical variance $0.02$ and the assessment scale is $0.20mg/L$. The stipulated unbiased score then has standard deviation $\sqrt{0.26}/0.20\approx 2.55$, despite the absence of a laboratory systematic error in the model.

Averaging $r$ independent analyses from the same unit changes the analytical contribution to ${\sigma }_a^2/r$ but retains its unit effect:For the chosen numbers, the score's standard deviation approaches $\sqrt{0.24}/0.20\approx 2.45$ as $r$ increases. Repeatedly reading one aliquot may reduce an even narrower instrumental contribution. Sampling independently supplied units addresses a different source of variation.

This is an explanatory measurement model, not a prescribed proficiency-testing acceptance rule. Its variance components require evidence about portion size, preparation and measurement conditions. Instrumental drift confounded with unit order, changing material, correlated errors or an uncertain consensus benchmark require additional terms and an appropriate design. The provider's homogeneity evidence is essential to interpreting the score; a smaller numerical scoring denominator does not improve the items.

The Horvitz-Thompson estimator estimates a finite population total by expanding each observed unit's contribution by the reciprocal of its inclusion probability. D. G. Horvitz and D. J. Thompson introduced the general unequal-probability construction in 1952.^[ref]

Let $y_1,\dots ,y_N$ be fixed values attached to labelled population units. A sampling design selects a random subset $S$, with known inclusion probabilities ${\pi }_i=\mathbb{P}(i\in S)>0$. Thenwhere $I_i$ is the inclusion indicator. This is inverse probability weighting for a finite population.^[ref] Its expected value is immediatelyThe subscript $p$ emphasizes design-based inference: the fixed values are not assumed to follow a probability model; the sample-selection mechanism supplies the randomness. The inclusion indicators need not be independent. Dividing by known $N$ gives an unbiased estimator of the finite population mean.

For an original exact example, use values $(y_1,y_2,y_3)=(2,4,6)$ and choose samples $\{1,2\}$, $\{1,3\}$, $\{2,3\}$ with probabilities $1/2,1/3,1/6$, respectively. The inclusion probabilities are $(5/6,2/3,1/2)$. The corresponding estimates of the total are $8.4,14.4,18$, andSimply multiplying each sample mean by three instead gives totals $9,12,15$, with expected value $11$. Equal treatment of the observed values ignores the unequal chances of observing them.

The sampling variance depends on pair information. Put ${\pi }_{ij}=\mathbb{P}(i,j\in S)$, including ${\pi }_{ii}={\pi }_i$. Bilinearity of covariance givesFor the three-unit design it is $14.4$, found directly from $\frac{1}{2}(8.4-12{)}^2+\frac{1}{3}(14.4-12{)}^2+\frac{1}{6}(18-12{)}^2$. Thus an unbiased estimator need not give a nearly correct total in each sample.

With pairwise inclusion positivity, the same expansion device applied to pairs constructs the Horvitz-Thompson variance estimator:Its expected value equals the preceding population sum because ${\mathbb{E}}_p(I_i{I}_j/{\pi }_{ij})=1$. In the worked design its three possible values are $9.76,58.56,-60$, whose probability-weighted average is $14.4$. This particular unbiased estimator of variance can therefore be negative for an individual sample. Its expected value identity is a statement about repeated selection.

If ${\pi }_i=0$, an arbitrary unobserved $y_i$ cannot contribute to an unbiased total estimate. If a distinct pair has ${\pi }_{ij}=0$, its product cannot be recovered by the pair-expansion argument. Finally, dividing the weighted sum by the random sum of its inverse-probability weights changes the estimator into a ratio; the indicator proof above no longer establishes that this ratio is an unbiased estimator. The known population size and the actual sampling design are part of the result.

A sampling design specifies a probability distribution over the possible samples from a defined population:For sampling distinct labelled units, $s$ is a subset of the population. The design includes the selection mechanism, not merely the final sample size. A procedure with repeated draws can instead require a distribution over ordered sequences; the resulting inclusion probabilities concern whether a label appears at least once.

The design determines inclusion probabilities and joint inclusion probabilities throughThese connect the physical sampling procedure to the Horvitz-Thompson estimator and its sampling variance.^[ref]

An original comparison uses four fixed values $(0,0,10,10)$ and selects two units. Under simple random sampling, every one of the six pairs has probability $1/6$. Each ${\pi }_i=1/2$, so the Horvitz-Thompson estimator is twice the selected sum. It takes values $0,20,40$ with probabilities $1/6,4/6,1/6$. Its expected value is the true finite population total $20$, and its variance isA second design chooses only $\{1,2\}$ or $\{3,4\}$, each with probability $1/2$. It has the same sample size and the same individual inclusion probabilities, but the estimator is now $0$ or $40$, giving variance $400$. Pair selection matters even when individual representation agrees.

A third design chooses uniformly among the four pairs containing one label from each of those two groups. Its total estimate is always $20$ for this particular population. This illustrates the potential gain from stratified sampling when groups correspond to relevant variation, not a claim that the third design dominates for every possible population. A reproducible design records the eligible labels and actual random selection rule before interpreting the observed sample.

Design-based inference evaluates an estimator by the random mechanism selecting a sample from a fixed finite population. Population values $y_1,\dots ,y_N$ are held fixed; the selected subset $S$ is random under a known sampling design $p(s)$. ThusThe subscript $p$ identifies the source of randomness. An unbiased estimator of a finite population total has ${\mathbb{E}}_p\hat{T}=T$ for each eligible fixed population. The unequal-probability total developed by D. G. Horvitz and D. J. Thompson is a central example.^[ref]

For an original example, let the fixed population values be $(1,1,10)$ and sample one label uniformly. Every inclusion probability is $1/3$, so the Horvitz-Thompson estimator is $3y_i$. Its three equally probable values are $3,3,30$, while the actual total is $12$. Consequently,The estimator is unbiased even though none of its possible estimates equals the target. Unbiasedness describes averaging across the sampling design, rather than guaranteed accuracy in an individual sample.

A confidence interval with design-based coverage must likewise succeed at its stated rate across repeated selections under the specified design. That property requires a justified construction; unbiasedness of a point estimate alone supplies no coverage guarantee. Repeating a convenient calculation on the same selected units does not reproduce the selection process. Assumptions about measurement error or missing responses must also be stated separately, since knowledge of the original selection probabilities alone does not repair those later stages.

A finite population total adds a specified numerical value over every labelled unit in a fixed, finite population $U=\{1,\dots ,N\}$:The target must specify both the population and the measured variable. It may be a total inventory mass, the total number of employees across establishments, or the sum of a binary property. If $y_i\in \{0,1\}$, the total counts units having the property; it is not automatically the population size $N$. A finite population mean is $\overline{Y}=T/N$, when $N$ is known and positive.

An original inventory has four containers holding $3,7,10,20\mathrm{kg}$ of a material. The total is $40\mathrm{kg}$ and the finite population mean is $10\mathrm{kg}$ per container. Giving every container the same mass fraction of an analyte is a separate assumption: the total analyte mass instead requires summing each container's mass multiplied by its own mass fraction. The target follows the physical quantity being added.

When only a sample $S$ is observed, the unweighted sample sum is generally not an unbiased estimator of $T$. Using inclusion indicators $I_i$ and inclusion probabilities ${\pi }_i$ givesIf every ${\pi }_i>0$, the Horvitz-Thompson estimator instead satisfiesThis is a consequence of the sampling design, without requiring the fixed population values to follow a statistical distribution.^[ref] A full census removes sample-selection variation, but imperfect measurement can still make the recorded sum differ from the intended physical total.