A Power Transform

Abstract: Power transforms, such as the Box-Cox transform and Tukey's ladder of powers, are a fundamental tool in mathematics and statistics. These transforms are primarily used for normalizing and standardizing datasets, effectively by raising values to a power. In this work I present a novel power transform, and I show that it serves as a unifying framework for wide family of loss functions, kernel functions, probability distributions, bump functions, and neural network activation functions.

• The paper introduces a novel power transform unifying diverse mathematical concepts like loss functions, kernels, probability distributions, and neural network activations.
• The paper presents a fast and stable algorithm with a reference implementation for the power transform, addressing previous numerical issues.
• Specific cases of this transform generate various robust loss functions, common probability distributions, stationary kernels, and neural network activations.

The paper introduces a novel power transform, serving as a unifying framework for loss functions, kernel functions, probability distributions, bump functions, and neural network activation functions. The author identifies numerical stability and speed issues with previous iterations of this power transform and presents a fast and stable algorithm alongside a reference implementation.

The "root" form of the power transform is defined as:

$$f(x, \lambda) \triangleq \frac{2 |\lambda|}{2 - |\lambda| + \lambda} \cdot \big( \big( 1 + \frac{2 - |\lambda| - \lambda}{2 |\lambda|} x \big)^{\frac{1}{1 - |\lambda|} - \operatorname{sgn}(\lambda)} - 1 \big)$$

where:

• $f$: the power transform function
• $x$: the input value
• $\lambda$: the transform parameter
• $\operatorname{sgn}$: the sign function

This equation exhibits removable singularities, with specific cases defined for $\lambda = +\infty, 1, 0, -1, -\infty$, and general forms for $0 < \lambda < +\infty$ and $-\infty < \lambda < 0$. Several special cases of $f(x, \lambda)$ correspond to curves and transforms commonly used in various contexts. For instance, $\lambda = 0$ corresponds to the identity, $f$0 to a "padded" square root, and $f$1 to a shifted and scaled quadratic function. When $f$2, the transform is a normalized version of the Box-Cox transform.

The transform is monotonic with regards to both $f$3 and $f$4, and it is self-inverting: $f$5.

Applying $f$6 to a quadratic (L2) loss function $f$7 with a scale parameter $f$8 yields a family of robust losses:

$f$9

where:

• $x$0: the robust loss function
• $x$1: the input value
• $x$2: the transform parameter
• $x$3: the scale parameter

This family includes L2 loss, Cauchy loss, and Welsch loss. Charbonnier and Geman-McClure losses are also special cases. As $x$4 decreases from $x$5 to $x$6, the loss function becomes more robust. This family of loss functions is a superset of a previous family of robust losses the author explored, which corresponds to this family where $x$7, and is also a superset of the "Smooth Exponential Family" of loss functions.

Taking the derivative of the loss function $x$8 and scaling it by $x$9 yields a family of stationary kernel functions:

$\lambda$0

where:

• $\lambda$1: the stationary kernel function
• $\lambda$2: the Euclidean distance between two points
• $\lambda$3: the transform parameter
• $\lambda$4: the scale parameter

Several cases are commonly used kernels. When $\lambda$5, this kernel is equivalent to a rescaled Student's t-distribution. The kernel, ignoring the $\lambda$6 scaling, is equivalent to the weights used by iteratively reweighted least-squares when minimizing $\lambda$7.

Exponentiating the loss function $\lambda$8 and normalizing by the integral yields a family of probability distributions:

$\lambda$9, $\operatorname{sgn}$0

where:

• $\operatorname{sgn}$1: the probability distribution
• $\operatorname{sgn}$2: the input value
• $\operatorname{sgn}$3: the transform parameter
• $\operatorname{sgn}$4: the scale parameter
• $\operatorname{sgn}$5: the normalization factor This family includes the Epanechnikov, Normal, "smooth Laplace", and Cauchy distributions. The distribution is undefined when $\operatorname{sgn}$6, and it has a bounded support when $\operatorname{sgn}$7.

When $\operatorname{sgn}$8, the non-normalized probability distributions form a family of bump functions:

$\operatorname{sgn}$9

where:

• $\lambda = +\infty, 1, 0, -1, -\infty$0: the bump function
• $\lambda = +\infty, 1, 0, -1, -\infty$1: the input value
• $\lambda = +\infty, 1, 0, -1, -\infty$2: the transform parameter The input to $\lambda = +\infty, 1, 0, -1, -\infty$3 is rescaled such that all bumps have a support of $\lambda = +\infty, 1, 0, -1, -\infty$4. As $\lambda = +\infty, 1, 0, -1, -\infty$5 approaches $\lambda = +\infty, 1, 0, -1, -\infty$6 from above, $\lambda = +\infty, 1, 0, -1, -\infty$7 approaches the Dirac delta.

$\lambda = +\infty, 1, 0, -1, -\infty$8 can be generalized from non-negative inputs to all real numbers by introducing a free parameter $\lambda = +\infty, 1, 0, -1, -\infty$9 for negative inputs (and renaming $0 < \lambda < +\infty$0 to $0 < \lambda < +\infty$1), yielding a two-parameter family of functions:

$0 < \lambda < +\infty$2

where:

• $0 < \lambda < +\infty$3: the generalized power transform function
• $0 < \lambda < +\infty$4: the input value
• $0 < \lambda < +\infty$5: the transform parameter for positive inputs
• $0 < \lambda < +\infty$6: the transform parameter for negative inputs

$0 < \lambda < +\infty$7, $0 < \lambda < +\infty$8, and the ELU activation are members of this family. Many sigmoid-shaped functions can be expressed as the composition of the Box-Cox transform and its inverse, and this approach can similarly be used to ground the softplus, sigmoid, tanh, and ReLU activations in terms of $0 < \lambda < +\infty$9.

The power transform presented here is related to the Box-Cox transform. $-\infty < \lambda < 0$0 is a variant of $-\infty < \lambda < 0$1 where the top half of the transform $-\infty < \lambda < 0$2 is replaced with the inverse of the transform for $-\infty < \lambda < 0$3. There exists a bijection between the two transforms.

$-\infty < \lambda < 0$4 can and should be implemented using the $-\infty < \lambda < 0$5 and $-\infty < \lambda < 0$6 functions. The stable implementation yields significantly more accurate results, especially when $-\infty < \lambda < 0$7 is near $-\infty < \lambda < 0$8 and when $-\infty < \lambda < 0$9.