Alpha max plus beta min algorithm

Not to be confused with Minimax or Alpha–beta pruning.

The locus of points that give the same value in the algorithm, for different values of alpha and beta

The alpha max plus beta min algorithm is a high-speed approximation of the square root of the sum of two squares. The square root of the sum of two squares, also known as Pythagorean addition, is a useful function, because it finds the hypotenuse of a right triangle given the two side lengths, the norm of a 2-D vector, or the magnitude $|z|={\sqrt {a^{2}+b^{2}}}$ of a complex number z = a + bi given the real and imaginary parts.

The algorithm avoids performing the square and square-root operations, instead using simple operations such as comparison, multiplication, and addition. Some choices of the α and β parameters of the algorithm allow the multiplication operation to be reduced to a simple shift of binary digits that is particularly well suited to implementation in high-speed digital circuitry.

Formulation

The approximation is expressed as $$|z|=\alpha \,\mathbf {Max} +\beta \,\mathbf {Min} ,$$ where $\mathbf {Max}$ is the maximum absolute value of a and b, and $\mathbf {Min}$ is the minimum absolute value of a and b.

For the closest approximation, the optimum values for $\alpha$ and $\beta$ are

$\alpha _{0}={\frac {2\cos {\frac {\pi }{8}}}{1+\cos {\frac {\pi }{8}}}}=1-\tan ^{2}{\frac {\pi }{16}}=0.960433870103...$ and

$\beta _{0}={\frac {2\sin {\frac {\pi }{8}}}{1+\cos {\frac {\pi }{8}}}}=2\tan {\frac {\pi }{16}}=0.397824734759...$,

giving a maximum error of 3.96%.

$\alpha \,\!$	$\beta \,\!$	Largest error (%)	Mean error (%)
1/1	1/2	11.80	8.68
1/1	1/4	11.61	3.20
1/1	3/8	6.80	4.25
7/8	7/16	12.50	4.91
15/16	15/32	6.25	3.08
$\alpha _{0}$	$\beta _{0}$	3.96	2.41

Improvements

When $\alpha <1$, $|z|$ becomes smaller than $\mathbf {Max}$ (which is geometrically impossible) near the axes where $\mathbf {Min}$ is near 0. This can be remedied by replacing the result with $\mathbf {Max}$ whenever that is greater, essentially splitting the line into two different segments.

$|z|=\max(\mathbf {Max} ,\alpha \,\mathbf {Max} +\beta \,\mathbf {Min} ).$

Depending on the hardware, this improvement can be almost free.

Using this improvement changes which parameter values are optimal, because they no longer need a close match for the entire interval. A lower $\alpha$ and higher $\beta$ can therefore increase precision further.

This can be improved even further by, instead of using $|z_{0}|=1\cdot \mathbf {Max} +0\cdot \mathbf {Min}$ as the second estimate, use a second pair of parameters $\alpha _{0}$ and $\beta _{0}$, with $\alpha _{1}$ and $\beta _{1}$ adjusted accordingly.

$|z|=\max \left(|z_{0}|,|z_{1}|\right),$

$|z_{0}|=\alpha _{0}\,\mathbf {Max} +\beta _{0}\,\mathbf {Min} ,$

$|z_{1}|=\alpha _{1}\,\mathbf {Max} +\beta _{1}\,\mathbf {Min} .$

$\alpha _{0}$	$\beta _{0}$	$\alpha _{1}$	$\beta _{1}$	Largest error (%)
1	0	7/8	17/32	−2.66%
1	0	29/32	61/128	+2.40%
1	0	0.898204193266868	0.485968200201465	±2.12%
1	1/8	7/8	33/64	−1.67%
1	5/32	27/32	71/128	+1.21%
127/128	3/16	27/32	71/128	−1.12%

Of course, a non-zero $\beta _{0}$ requires at least one extra addition and some bit-shifts (or a multiplication), nearly doubling the cost and, depending on the hardware, possibly defeating the purpose of using an approximation in the first place.

See also

• Hypot, a precise function or algorithm that is also safe against overflow and underflow.

References

• Lyons, Richard G. Understanding Digital Signal Processing, section 13.2. Prentice Hall, 2004 ISBN 0-13-108989-7.
• Griffin, Grant. DSP Trick: Magnitude Estimator.

External links

• "Extension to three dimensions". Stack Exchange. May 14, 2015.