Power-Divergence Copulas

• Power-Divergence Copulas are a one-parameter Archimedean copula family generated by convex power divergence functions that permit both positive and negative dependence.
• They span a range from strong positive to strong negative dependence, featuring analytically tractable ordering, tail behavior, and singularity properties, with full-dimensional validity for λ ≤ -1.
• These copulas find practical application in robust risk assessment and insurance modeling, with estimation via inversion of Kendall’s tau and effective handling of asymmetric tail dependence.

Power-divergence copulas are a one-parameter family of Archimedean copulas obtained by taking the convex functions that generate the classical power divergences and reinterpreting them as Archimedean generators. Under the convention $\phi(1)=0$, $\phi'(1)=0$, and $\phi''(1)>0$, the resulting family is always valid in the bivariate case, exhibits an unusual combination of positive and negative dependence within a single Archimedean class, and has analytically tractable ordering, tail, and singularity properties (Pearse et al., 7 Oct 2025). A later result settled the outstanding complete-monotonicity question on the strict negative branch and thereby certified all-dimensional Archimedean validity for the full range $\lambda\le -1$ (Salazar, 5 Jul 2026).

1. Construction as an Archimedean family

The starting point is the $\phi$-divergence convention in which a function

$\phi:[0,\infty)\to[0,\infty)$

is convex and satisfies

$\phi(1)=0,\qquad \phi'(1)=0,\qquad \phi''(1)>0.$

Under this convention, any such $\phi$ is also convex, satisfies $\phi(1)=0$, and is strictly decreasing on $[0,1]$. Hence it is an Archimedean generator in the adopted convention, and the corresponding bivariate copula is

$\phi'(1)=0$0

where

$\phi'(1)=0$1

If $\phi'(1)=0$2, the generator is strict and $\phi'(1)=0$3 on $\phi'(1)=0$4 (Pearse et al., 7 Oct 2025).

The power-divergence family is obtained by choosing

$\phi'(1)=0$5

This parameterization is equivalent to the usual power-divergence family after the affine normalization enforcing $\phi'(1)=0$6, and that normalization is essential for the Archimedean link. The associated copulas are

$\phi'(1)=0$7

The generator derivative is

$\phi'(1)=0$8

At the origin,

$\phi'(1)=0$9

Accordingly, $\phi''(1)>0$0 gives strict generators, whereas $\phi''(1)>0$1 gives non-strict generators requiring the pseudo-inverse.

Two special cases admit closed inverses via the Lambert $\phi''(1)>0$2 function. For $\phi''(1)>0$3,

$\phi''(1)>0$4

so

$\phi''(1)>0$5

For $\phi''(1)>0$6,

$\phi''(1)>0$7

For general $\phi''(1)>0$8, inversion is numerical: if $\phi''(1)>0$9, one solves

$\lambda\le -1$0

for the unique root $\lambda\le -1$1 (Pearse et al., 7 Oct 2025).

2. Dimensional validity and the complete-monotonicity problem

Bivariate validity is immediate from the Archimedean construction above, but extension to $\lambda\le -1$2 depends on $\lambda\le -1$3-monotonicity of the pseudo-inverse, and extension to all dimensions is equivalent to complete monotonicity of the inverse generator. In the standard Archimedean criterion recalled later in the literature, if $\lambda\le -1$4 is continuous, strictly decreasing, $\lambda\le -1$5, and $\lambda\le -1$6 is completely monotone on $\lambda\le -1$7, then $\lambda\le -1$8 is an Archimedean generator in every dimension (Salazar, 5 Jul 2026).

The dimension theory of the power-divergence family has two stages. The 2025 source paper established the bivariate family for all $\lambda\le -1$9, determined several finite-dimensional regimes, proved complete monotonicity explicitly for $\phi$0 and $\phi$1, and conjectured complete monotonicity for all $\phi$2. The 2026 paper then resolved the remaining strict negative range and concluded all-dimensional validity for the full branch $\phi$3 (Pearse et al., 7 Oct 2025).

Parameter range	Finite-dimensional status	All-dimensional status
$\phi$4	Valid bivariate only; not $\phi$5-monotone	No extension to $\phi$6
$\phi$7	Valid bivariate only	Restricted to $\phi$8
$\phi$9	Trivariate validity holds	No all-dimensional claim
$\phi:[0,\infty)\to[0,\infty)$0	Strict generator; at least $\phi:[0,\infty)\to[0,\infty)$1-monotonicity	Valid in every dimension

For the negative branch, the later proof rewrites $\phi:[0,\infty)\to[0,\infty)$2 with $\phi:[0,\infty)\to[0,\infty)$3, uses

$\phi:[0,\infty)\to[0,\infty)$4

and studies the inverse $\phi:[0,\infty)\to[0,\infty)$5. Differentiation yields

$\phi:[0,\infty)\to[0,\infty)$6

The proof then introduces

$\phi:[0,\infty)\to[0,\infty)$7

defines $\phi:[0,\infty)\to[0,\infty)$8 and $\phi:[0,\infty)\to[0,\infty)$9, and derives

$\phi(1)=0,\qquad \phi'(1)=0,\qquad \phi''(1)>0.$0

The crucial step is an explicit generalized power-series expansion

$\phi(1)=0,\qquad \phi'(1)=0,\qquad \phi''(1)>0.$1

together with the bound

$\phi(1)=0,\qquad \phi'(1)=0,\qquad \phi''(1)>0.$2

This forces positivity of all exponents and coefficients, hence $\phi(1)=0,\qquad \phi'(1)=0,\qquad \phi''(1)>0.$3 on $\phi(1)=0,\qquad \phi'(1)=0,\qquad \phi''(1)>0.$4, and therefore strict complete monotonicity of $\phi(1)=0,\qquad \phi'(1)=0,\qquad \phi''(1)>0.$5 for every $\phi(1)=0,\qquad \phi'(1)=0,\qquad \phi''(1)>0.$6. By the all-dimensional Archimedean criterion, $\phi(1)=0,\qquad \phi'(1)=0,\qquad \phi''(1)>0.$7 is then a valid Archimedean generator in every dimension for all $\phi(1)=0,\qquad \phi'(1)=0,\qquad \phi''(1)>0.$8 (Salazar, 5 Jul 2026).

3. Dependence geometry, ordering, and tail behavior

Power-divergence copulas are negatively ordered: $\phi(1)=0,\qquad \phi'(1)=0,\qquad \phi''(1)>0.$9 Increasing $\phi$0 therefore moves the copula downward in the concordance order, from strong positive dependence toward strong negative dependence. The family does not include the product copula as a member, but it spans both bivariate Fréchet–Hoeffding bounds as limits: $\phi$1

$\phi$2

A single Archimedean family thus ranges from perfect positive to perfect negative dependence in the bivariate case (Pearse et al., 7 Oct 2025).

A central structural feature is the zero set. For a generic Archimedean copula the zero curve is defined by

$\phi$3

For the power-divergence family, if $\phi$4 then $\phi$5, so the zero set reduces to

$\phi$6

If $\phi$7, the zero set has positive area; as $\phi$8, it tends to the triangle with vertices $\phi$9, $\phi(1)=0$0, and $\phi(1)=0$1, which is the zero set of the Fréchet–Hoeffding lower bound. This behavior is directly tied to singularity and exclusion of jointly small values.

Absolute continuity is governed by the criterion

$\phi(1)=0$2

For the power-divergence family, $\phi(1)=0$3 is absolutely continuous. For $\phi(1)=0$4, the copula has a singular component supported on the zero curve with $\phi(1)=0$5-measure

$\phi(1)=0$6

Thus positive $\phi(1)=0$7 yields a mixed copula, partly absolutely continuous and partly singular. For $\phi(1)=0$8, the singular component carries exactly $\phi(1)=0$9 of the probability mass.

Kendall’s function is

$[0,1]$0

Kendall’s tau has the Archimedean representation

$[0,1]$1

Numerically,

$[0,1]$2

and $[0,1]$3 is monotone decreasing with

$[0,1]$4

This monotonicity makes inversion of Kendall’s tau a one-to-one estimation method.

Tail behavior is highly asymmetric. The lower-tail coefficient is

$[0,1]$5

while the upper-tail coefficient is constant across the family: $[0,1]$6 All members therefore have the same moderate, nonzero upper-tail dependence, but only the more negative parameters exhibit lower-tail dependence. For $[0,1]$7, lower-tail dependence vanishes and the positive-area zero set further prevents co-occurrence of sufficiently small values (Pearse et al., 7 Oct 2025).

4. Computation, estimation, and the insurance application

For $[0,1]$8, evaluation of $[0,1]$9 is numerical. One computes

$\phi'(1)=0$00

solves

$\phi'(1)=0$01

for the unique root $\phi'(1)=0$02, and sets $\phi'(1)=0$03 if $\phi'(1)=0$04, otherwise $\phi'(1)=0$05. The uniqueness proposition in the source paper guarantees that this root-finding step is well defined for every $\phi'(1)=0$06 and every $\phi'(1)=0$07. Simulation is performed by the conditional distribution method (Pearse et al., 7 Oct 2025).

The empirical illustration uses Danish fire insurance losses. The raw dataset contains $\phi'(1)=0$08 claims from businesses with fire-related losses between 1980 and 1990, recording building, contents, and profits losses in millions of Danish kroner, inflation-adjusted to 1985. The analysis forms material losses as building plus contents and studies dependence between material losses and profit losses. After removing records with zero profit loss, the working sample size is $\phi'(1)=0$09. The rank-transformed data suggest moderate upper-tail dependence and an absence of jointly small values, consistent with a large lower zero-set region.

Estimation is by inversion of Kendall’s tau. The sample value is

$\phi'(1)=0$10

and monotonicity of $\phi'(1)=0$11 yields a unique solution of

$\phi'(1)=0$12

The fitted parameter is

$\phi'(1)=0$13

Because this lies in $\phi'(1)=0$14, the fitted copula is absolutely continuous and also extendable to three dimensions in principle, although the application is bivariate.

Benchmark copulas included Archimedean, extreme-value, and elliptical models implemented in the R package copula: Clayton survival, Frank, Joe, Gumbel, Galambos, Hüsler–Reiss, Tawn, and Gaussian. All models were fitted by inversion of Kendall’s tau, and goodness of fit was evaluated by parametric-bootstrap tests. Only the power-divergence copula passed at the $\phi'(1)=0$15 level. The reported result for the fitted power-divergence copula is

$\phi'(1)=0$16

The reported benchmark $\phi'(1)=0$17-values are $\phi'(1)=0$18 for Clayton survival, Frank, Joe, Gumbel, and Gaussian; $\phi'(1)=0$19 for Galambos; $\phi'(1)=0$20 for Hüsler–Reiss; and $\phi'(1)=0$21 for Tawn. The interpretation given in the source is geometric: the fitted power-divergence copula combines moderate upper-tail dependence, an adequate absolutely continuous density shape, and a zero-set geometry that captures the empirical absence of jointly small material and profit losses (Pearse et al., 7 Oct 2025).

5. Divergence-based copula methodologies under the same label

The expression “power divergence” also appears in copula research in a different sense: not as a named Archimedean family, but as a divergence criterion defined on copulas or copula representations. This literature is adjacent but conceptually distinct from the power-divergence Archimedean family.

One line defines divergences on copula functions themselves. “Minimum Copula Divergence for Robust Estimation” introduces $\phi'(1)=0$22-, $\phi'(1)=0$23-, and $\phi'(1)=0$24-copula divergences, all built directly from copula distribution functions $\phi'(1)=0$25 and $\phi'(1)=0$26 on $\phi'(1)=0$27, and proposes the minimum copula divergence estimator

$\phi'(1)=0$28

Its framework is rank-based, margin-free, and aimed at robust estimation under misspecification and contamination rather than at constructing a new Archimedean family (Eguchi et al., 24 Feb 2025).

A second line studies copula-based dependence measures via general $\phi'(1)=0$29- or $\phi'(1)=0$30-divergences. “Csiszár indices and interpolating copulas” treats the power-divergence generator

$\phi'(1)=0$31

and shows that for continuous margins, the associated dependence index is exactly the $\phi'(1)=0$32-divergence between the independence copula and the joint copula, whereas with atomic margins one must use interpolating or checkerboard copulas to obtain the dependence-preserving minimum (Butucea et al., 31 Mar 2026). “Parametric dependence between random vectors via copula-based divergence measures” develops a broader $\phi'(1)=0$33-divergence framework for dependence between random subvectors, with explicit Gaussian formulas for the KL and Hellinger cases and general parametric estimation for copula models (Keyser et al., 2023).

These works are not alternate derivations of the Pearse–Bondell family. They use “power divergence” or allied $\phi'(1)=0$34-divergence terminology to quantify discrepancy or dependence on the copula scale, whereas power-divergence copulas in the strict sense are the one-parameter Archimedean family generated by $\phi'(1)=0$35 (Pearse et al., 7 Oct 2025).

6. Adjacent “power” constructions and recurrent confusions

Several nearby literatures use “power” in still different ways. “Relative local dependence of bivariate copulas” proposes a class defined by the PDE

$\phi'(1)=0$36

equivalently $\phi'(1)=0$37, so it is a power-law relation between local dependence and copula density. That paper does not define copulas through Cressie–Read, density power divergence, Tsallis divergence, or Rényi divergence (Sukeda et al., 2024). “Operator Tail Dependence of Copulas” studies operator power scaling $\phi'(1)=0$38 and non-standard tail dependence with possibly distinct marginal tail exponents; its exact terminology is operator tail dependence, not power-divergence copulas (Li, 2016). “Stepwise Variational Inference with Vine Copulas” is direct on copulas and direct on non-KL divergence objectives, but its setting is Rényi-divergence-based variational inference with vine copulas rather than the power-divergence Archimedean family (Griesbauer et al., 24 Mar 2026).

A separate potential source of confusion is outer power Archimedean modeling. No relation between outer power transformations and power-divergence copulas can be attributed to the cited 2020 arXiv record, because that document contains no substantive scientific content and does not establish whether outer power transformations are equivalent to, related to, or distinct from power-divergence constructions (Górecki et al., 2020).

In the strict usage established by the 2025 and 2026 papers, power-divergence copulas therefore denote the Archimedean family generated by $\phi'(1)=0$39, with bivariate validity for all $\phi'(1)=0$40, finite-dimensional restrictions on the non-strict branch, and all-dimensional validity on the strict negative branch $\phi'(1)=0$41 (Pearse et al., 7 Oct 2025). The broader divergence literature is relevant context, but it studies either divergence functionals on copulas, copula-based dependence indices, or divergence-driven inference, rather than the same family of copulas.