Polykay¶
Estimate a specified product of population cumulants without finite-sample bias by evaluating its partition-indexed symmetric polynomial on an i.i.d. sample.
Core Idea¶
A polykay is a symmetric unbiased estimator of a product of population cumulants. Let X_1,...,X_n be an i.i.d. sample from a distribution whose required moments exist. Let lambda=(lambda_1,...,lambda_l) be an integer partition or multi-index of total degree d=lambda_1+...+lambda_l. If kappa_r denotes the population cumulant of order r, the target cumulant monomial is.
kappa_lambda = kappa_(lambda_1) ... kappa_(lambda_l).
The corresponding polykay k_lambda(X_1,...,X_n) is constructed so that.
E[k_lambda] = kappa_lambda
for the stated sampling model, with n >= d in the ordinary simple construction. Modern computational treatments state the identity this way and generate univariate and multivariate polykays from partition and symmetric-polynomial machinery.
Scope of Application¶
Polykays apply when inferential calculations require unbiased estimates of cumulant products rather than only individual cumulants.
- Sampling variances of cumulant estimators. Variances and covariances of
k-statistics expand into cumulants and products of cumulants. Polykays replace those population products with unbiased sample counterparts. - Higher-order sampling theory. Moment and cumulant expansions of statistics involve terms such as
kappa_2^2,kappa_1 kappa_3, or multipart multivariate products.
Clarity¶
Begin by declaring the target. For lambda=(2,2), the target is kappa_2^2; it is not the fourth cumulant kappa_4, the fourth central moment mu_4, or the square of the observed sample variance. These quantities are related but not interchangeable. The fourth central moment satisfies mu_4=kappa_4+3 kappa_2^2, illustrating why partition labels must be preserved.
Manages Complexity¶
Cumulants simplify several distributional calculations: they add under independent sums, vanish in characteristic patterns for Gaussian laws beyond second order, and organize asymptotic expansions. But sample moments are biased nonlinear surrogates for higher cumulants, and products of unbiased estimators reintroduce covariance terms. Direct expansion quickly becomes a bookkeeping problem over which observation indices coincide.
Abstract Reasoning¶
Partition reading. Interpret each subscript as a cumulant order and the whole index as a product. Sum the parts to find total degree and the minimum ordinary sample size.
Diagonal-removal reasoning. Expand candidate power-sum products by equality patterns among observation indices. Terms with distinct indices factor into population moments; collision terms generate unwanted higher moments. Choose coefficients that isolate the desired combination.
Knowledge Transfer¶
The transferable object is not a table of coefficients but the target–partition–inversion workflow. In a univariate i.i.d. sample, integer partitions organize cumulant products. In a multivariate sample, multi-index partitions organize joint cumulant products. In a two-way array, row and column permutation symmetries lead to bipolykay analogues. The roles persist while the admissible symmetry group and coefficient algebra change.
Relationships to Other Abstractions¶
Current abstraction Polykay Domain-specific
Parents (1) — more general patterns this builds on
-
Polykay is part of Expected Value Prime
expected_value. Unbiasedness is the identity obtained by averaging the random statistic against its sampling distribution.
Hierarchy paths (3) — routes to 2 parentless roots
- Polykay → Expected Value → Aggregation → Micro Macro Linkage
- Polykay → Expected Value → Probability → Measure → Set and Membership
- Polykay → Expected Value → Probability → Measure → Aggregation → Micro Macro Linkage
Neighborhood in Abstraction Space¶
Polykay sits in a sparse region of the domain-specific corpus (81st percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Social Sampling & Comparative Paradoxes (8 abstractions)
Nearest neighbors
- Learnable Function Class — 0.82
- Statistical Contrast — 0.82
- Quadrant Count Ratio — 0.82
- Delaporte Distribution — 0.82
- Empirical Measure — 0.81
Computed from structural-signature embeddings · 2026-09-08