From Targets to a Qualified Virtual Population
A virtual population is useful only when its individuals jointly represent the population relevant to the QSP question. Matching each trait separately is not enough: a generated population can reproduce the marginal distributions of body weight and clearance yet miss their association, or match overall phenotype prevalence while misrepresenting a clinically important subgroup. Construction is therefore an end-to-end task: define the target population, generate bounded correlated traits, assign categorical phenotypes, and evaluate fit and diversity against criteria set in advance.
This workshop uses hypothetical targets and generated summaries. The calculations illustrate a construction and qualification process; they are not results from a clinical study. The goal is not to force every empirical summary to equal its target, but to determine whether the generated population represents the specified targets adequately for its intended use.
Specify the Target Before Generating Individuals
Begin by listing the traits and phenotypes required for the QSP application. For each continuous trait, specify units, plausible bounds, and the target marginal distribution or its available summaries. For each categorical phenotype, specify its target prevalence. If prevalence depends on a subgroup or on other traits, state those conditional targets as well. Finally, identify which associations must be retained, such as a correlation between two continuous traits or different phenotype prevalences across strata.
The target definitions must refer to a coherent population. For example, a body-weight distribution from one eligibility-defined population should not be combined uncritically with phenotype prevalences from a different population. If targets are reported as ranges rather than point values, use the interval-valued target as stated rather than silently replacing it with a midpoint.
Construction choices depend on the target information. A fully specified marginal distribution permits direct transformation; means and quantiles alone may not uniquely determine a distribution. Likewise, a target correlation is a feature of the observed traits, not automatically the correlation to use in a latent-variable generator.
Generate Bounded, Correlated Continuous Traits
One flexible approach is a Gaussian copula. First generate correlated standard normal latent variables, then transform each latent variable through the standard normal cumulative distribution function and the inverse target marginal distribution. If \(Z_j\) is a latent variable and \(F_j\) is the target cumulative distribution function for trait \(X_j\), define:
where \(\Phi\) is the standard normal cumulative distribution function. When the target marginal has bounded support, the transformed trait has that bounded support. The correlation matrix of the latent normal variables determines the copula dependence, but nonlinear marginal transformations generally change Pearson correlations. Therefore, a latent correlation should not be reported as though it were the resulting observed-scale correlation. Compare the generated observed-scale association with its target, and calibrate the latent dependence if needed.
Worked Example: Transforming Latent Values to Bounded Traits
Suppose a hypothetical generator uses a latent pair with correlation 0.60. It produces \(Z_1=0.524\) and \(Z_2=0.253\). For this demonstration, let body weight have a uniform target distribution from 40 to 120 kg and clearance a uniform target distribution from 0.5 to 2.0 L/h. For a uniform distribution on \([L,U]\), the inverse-CDF transformation is \(L+(U-L)\Phi(Z)\).
Using \(\Phi(0.524)\approx0.700\), the generated body weight is:
Using \(\Phi(0.253)\approx0.600\), the generated clearance is:
For finite latent values, \(0<\Phi(Z_j)<1\), so this transformation attains values strictly between the two bounds. Its distributional support is nevertheless the closed interval: every neighborhood inside the interval, including a neighborhood of either endpoint, has positive probability. In this example the supports are \([40,120]\) kg and \([0.5,2.0]\) L/h. The one generated pair does not establish any observed-scale correlation; that must be assessed across the generated population.
A short justification clarifies the distinction between attained values and support. If \(Z\sim N(0,1)\), then \(\Phi(Z)\) is uniform on \((0,1)\). For \(X=L+(U-L)\Phi(Z)\), any interval \((L,L+\epsilon)\), with \(0<\epsilon<U-L\), has probability \(\epsilon/(U-L)>0\). The same is true near \(U\). Thus values arbitrarily close to either endpoint occur with positive probability, even though the exact endpoints have probability zero; the support is \([L,U]\), not merely the set of attained values \((L,U)\).
Assign Categorical Phenotypes Without Losing Subgroup Targets
Phenotypes can be assigned after generating continuous traits, provided the assignment mechanism respects the intended relationships. If a phenotype has one overall target prevalence and is meant to be independent of the traits, an assignment with that prevalence may be suitable. If its prevalence differs by stratum, use stratum-specific probabilities or allocations. If it depends on continuous traits, specify and implement a conditional assignment rule. In every case, check both the overall prevalence and the conditional prevalences that matter to the application.
Worked Example: Matching an Overall and Conditional Prevalence
Consider a hypothetical target population with 120 females and 80 males. The target prevalence of a phenotype is 0.20 among females and 0.325 among males. The implied overall prevalence is a stratum-size-weighted average:
An allocation matching those targets exactly assigns the phenotype to 24 of 120 females and 26 of 80 males. The resulting overall prevalence is \(50/200=0.250\), the female prevalence is \(24/120=0.200\), and the male prevalence is \(26/80=0.325\). Assigning a common prevalence of 0.250 independently to all 200 individuals would match the overall target in expectation, but it would not encode these two conditional targets. If individuals are sampled probabilistically rather than allocated to exact counts, the realized prevalences may differ from their targets and must be diagnosed.
Evaluate Fit, Diversity, and Subgroups
Qualification should examine the dimensions specified by the target, not a single convenient summary. Marginal checks can compare means, standard deviations, quantiles, or distributional distances. Joint checks can compare correlations or other specified dependence summaries. Categorical checks should include overall prevalence and relevant conditional prevalences. Diversity checks ask whether the population retains adequate variation and coverage rather than concentrating on a few individuals or leaving portions of the target support unrepresented.
A practical report distinguishes target values, generated values, differences, and acceptance criteria. For a continuous summary \(T\), a simple signed discrepancy is \(T_{\mathrm{generated}}-T_{\mathrm{target}}\); a scaled discrepancy can divide this difference by a prespecified scale, such as the target standard deviation. Such discrepancies describe fit but do not, by themselves, define an acceptable population. Set tolerances before examining the generated results, and explain why each diagnostic is relevant to the intended QSP use.
Worked Example: Applying Prespecified Qualification Criteria
Suppose a hypothetical target specifies body-weight mean 28.0 kg, standard deviation 4.0 kg, and 10th, 50th, and 90th percentiles of 22.0, 27.5, and 34.0 kg. The target phenotype prevalences are 0.250 overall, 0.200 among females, and 0.325 among males; the target observed-scale correlation between body weight and clearance is 0.35. A generated population of 200 has mean 28.6 kg, standard deviation 3.6 kg, quantiles 22.5, 28.1, and 33.0 kg, and observed-scale correlation 0.31. Its phenotype counts are 25 of 120 females and 27 of 80 males.
Assume the prespecified tolerances are: mean difference no greater than 0.5 kg in absolute value; standard-deviation difference no greater than 0.5 kg; each listed quantile difference no greater than 1.0 kg; overall prevalence difference no greater than 0.02; each subgroup prevalence difference no greater than 0.03; and correlation difference no greater than 0.05. Boundary values pass.
The mean difference is \(28.6-28.0=0.6\) kg, which exceeds the 0.5 kg tolerance. The standard-deviation difference is \(3.6-4.0=-0.4\) kg, within tolerance. The quantile differences are \(22.5-22.0=0.5\) kg, \(28.1-27.5=0.6\) kg, and \(33.0-34.0=-1.0\) kg; all are within the stated absolute tolerance.
The overall phenotype count is \(25+27=52\), so its prevalence is \(52/200=0.260\), a difference of \(0.010\) from 0.250. The female prevalence is \(25/120=0.2083\), a difference of about 0.0083 from 0.200. The male prevalence is \(27/80=0.3375\), a difference of 0.0125 from 0.325. All three prevalence differences meet their tolerances. The observed-scale correlation difference is \(0.31-0.35=-0.04\), within the 0.05 tolerance.
The population does not meet all the stated criteria because its mean body weight fails the mean tolerance. A useful report says this directly rather than describing the population as an unqualified success because most checks passed. The result also identifies a specific issue for revision: the marginal mean, not the phenotype allocation or the measured correlation.
An End-to-End Construction Sequence
The following sequence keeps the construction choices and the qualification decision connected. The steps apply whether the final population is formed by direct generation, filtering, or resampling; the mechanics of those algorithms differ, but their outputs still require the same target-based checks.
Record trait units, bounds, marginal targets, dependence targets, phenotype definitions, and any conditional targets. Confirm that the targets refer to a compatible population.
Select marginal distributions and a dependence structure that can represent the required bounds and associations. Do not assume a latent correlation equals the observed-scale target.
Construct the continuous traits, then assign or jointly generate categorical phenotypes using the specified overall or conditional rules. Retain the dependence needed for the application.
Compare marginal distributions, joint structure, overall and subgroup prevalences, and diversity or support coverage with the targets.
Apply prespecified tolerances, report any failures and trade-offs, and revise the construction only when the discrepancy is understood.
Alternatives, Diagnostics, and Limits
Independent marginal sampling is simple and can be appropriate when independence is a defensible target. It is not a neutral default: it removes dependence, so it can produce unrealistic combinations even when every marginal fits. A copula construction is useful when target marginals and a dependence structure must be combined, but its dependence parameters may need calibration on the observed scale. Constraint filtering can enforce eligibility or other hard requirements, but may alter marginal distributions and subgroup representation; these must be rechecked after filtering. Weighted resampling can emphasize target-compatible individuals, but concentrated weights can reduce diversity. These approaches are alternatives for construction, not substitutes for qualification diagnostics.
Warning signs include trait values outside stated bounds, a marginal that fits while its relevant subgroup does not, an observed correlation inconsistent with its target, phenotype counts that look adequate overall but leave a subgroup poorly represented, and a narrow set of individuals carrying most of the population weight. The interpretation depends on the target and design: a small count in a rare but important phenotype may be a substantive coverage concern even when overall prevalence is close to target.
No finite population can match every feature of a continuous target distribution exactly. A diagnostic is informative only in relation to its sampling variability, target precision, and intended use. If the target is uncertain or only partially specified, apparent precision in a generated summary does not remove that uncertainty. Qualification also cannot rescue incompatible targets or establish validity for outcomes that were not part of the qualification criteria.
Common Pitfall
A common mistake is to set the latent-normal correlation equal to the desired correlation between bounded traits, then declare the relationship matched. That reasoning is generally wrong because nonlinear transformations change Pearson correlation. The correction is to calculate the correlation in the generated observed traits and compare it with the target; if necessary, adjust the latent dependence and regenerate. Similarly, matching an overall phenotype prevalence does not prove that conditional prevalences are correct. Report each targeted subgroup diagnostic separately.
Check Your Understanding
Answer each question, then compare your reasoning with the worked solutions.
- A trait is generated as \(X=10+5\Phi(Z)\), where \(Z\sim N(0,1)\). What values are attained for finite \(Z\), and what is the distributional support?
- In a population with 60 individuals in group A and 40 in group B, target phenotype prevalences are 0.10 and 0.30. What overall prevalence do these targets imply?
- A target mean is 50 units and the generated mean is 50.4 units. If the prespecified absolute tolerance is 0.5 units, does the mean criterion pass?
- Why is matching each trait's marginal distribution not enough when the traits are correlated in the target population?
Solutions. (1) Since \(0<\Phi(Z)<1\) for finite \(Z\), the transformation attains values in \((10,15)\). Its distributional support is the closed interval \([10,15]\), because values arbitrarily close to either endpoint have positive probability. (2) The weighted overall prevalence is \(\{60(0.10)+40(0.30)\}/100=(6+12)/100=0.180\). (3) The difference is \(50.4-50=0.4\) units, and \(|0.4|\leq0.5\), so the mean criterion passes. (4) Independent or incorrectly dependent traits can have correct individual marginals but generate unrealistic combinations. The joint association must therefore be checked against its target.