Zech's logarithms

Algebra ->  Algebra  -> Logarithm Solvers, Trainers and Word Problems -> Zech's logarithms      Log On

Ad: Algebrator™ solves your algebra problems and provides step-by-step explanations!
Ad: Algebra Solved!™: algebra software solves algebra homework problems with step-by-step help!

   

Zech's logarithms

/div>
Jump to: navigation, search

Zech's logarithms are used with finite fields to reduce a high-degree polynomial that is not in the field to an element in the field (thus having a lower degree). Unlike the traditional logarithm, the Zech's logarithm of a polynomial provides an equivalence — it does not alter the value.

Zech logarithms are also called Jacobi Logarithm,[1] after Jacobi who used them for number theoretic investigations (C.G.J.Jacoby, "Uber die Kreistheilung und ihre Anwendung auf die Zahlentheorie, in Gesammelte Werke, Vol.6, pp. 254–274).

Use of Zech's logarithm for solving quadratic and cubic equations which may be of interest for coding applications can be found in [2][3]

Let α be a primitive element of a finite field, then Z(n), the Zech logarithm of an integer n may be defined such that

αZ(n) = 1 + αn

That is, Z(n) = log(1 + αn) where the logarithm is taken to the base α. Note that if αn is the minus one element of the field, then Z(n) is undefined (since that would involve the logarithm of zero). This definition of Z(n) is analogous to the real-valued function used to implement addition in the Logarithmic Number System (LNS), and may be used to implement similar hardware for a finite-field LNS.[4]

Zech logarithms are also used when finite field elements are represented exponentially:

 \alpha^n + \alpha^m = \alpha^n \cdot (1 + \alpha^{m-n}) = \alpha^n \cdot \alpha^{Z(m-n)} = \alpha^{n + Z(m-n)}

Contents

[ Examples

[ Polynomial basis

Let α ∈ GF(23) be a root of the primitive polynomial x3 + x2 + 1. Thus all powers of α higher than 2 can be reduced.

Since α is a root of x3 + x2 + 1 then that means α3 + α2 + 1 = 0, or if we recall that since all coefficients are in GF(2), subtraction is the same as addition, we obtain α3 = α2 + 1.

Now we can easily reduce the set


\{\, 0, 1, \alpha, \alpha^2, \alpha^3, \alpha^4, \alpha^5, \alpha^6 \,\}

by the primitive polynomial as such:

α3 = α2 + 1 (as shown above)
α4 = α3α = (α2 + 1)α = α3 + α = α2 + α + 1
α5 = α4α = (α2 + α + 1)α = α3 + α2 + α = α2 + 1 + α2 + α = α + 1
α6 = α5α = (α + 1)α = α2 + α

These are also sometimes called the (base α) anti-logarithms of the corresponding powers of the generating element. We see that in this case the Zech logarithms are: Z(1)=5, Z(2)=3, Z(3)=2, Z(4)=6, Z(5)=1 and Z(6)=4. For example the value of Z(2)=3 follows from the equation 1 + α2 = α3.

The polynomial representations of all elements of GF(23) are


\{\, 0, 1, \alpha, \alpha^2, \alpha^2 + 1, \alpha^2 + \alpha + 1, \alpha + 1, \alpha^2 + \alpha \,\}.

[ Normal basis

The normal basis representation of elements in this set will only use the 3 elements β, β2, and β4. We can see by looking at the above example that if we set β = α then β2 = α2 and β4 = α2 + α + 1, and thus β, β2, and β4 are linearly independent and form a normal basis. So all elements in the field can be written as linear combinations of β, β2, and β4.

We find that, using similar calculations to those above that the presentations of the elements


\{\, 0, 1, \alpha, \alpha^2, \alpha^3, \alpha^4, \alpha^5, \alpha^6 \,\}

in terms of this normal basis are


\{\, 0, \beta^4 + \beta^2 + \beta, \beta, \beta^2, \beta^4 + \beta, \beta^4, \beta^4 + \beta^2, \beta^2 + \beta \,\}.

[ References

  1. ^ Lidl, Rudolf; Niederreiter, Harald (1997), Finite fields, Cambridge University Press, ISBN 978-0-521-39231-0 
  2. ^ Huber, K. (July 1990), "Some Comments on Zech's Logarithms", IEEE Transactions on Information Theory 36 (4): 946–950 
  3. ^ Huber, K. (July 1992), "Solving equations in Finite Fields and some Results Concerning the Structure of GF(q)", IEEE Transactions on Information Theory 38 (3): 1154–1162 
  4. ^ Zelniker, G.; Taylor, F. J. (Dec. 1991), "A Reduced Complexity Finite Field ALU", IEEE Transactions on Circuits and Systems 38 (12): 1571–1573 
Personal tools
Namespaces
Variants
Source: this wikipedia article, under CC-BY-SA.

Tutors Answer Your Questions about logarithm (FREE)


Older solutions: 1..45, 46..90, 91..135, 136..180, 181..225, 226..270, 271..315, 316..360, 361..405, 406..450, 451..495, 496..540, 541..585, 586..630, 631..675, 676..720, 721..765, 766..810, 811..855, 856..900, 901..945, 946..990, 991..1035, 1036..1080, 1081..1125, 1126..1170, 1171..1215, 1216..1260, 1261..1305, 1306..1350, 1351..1395, 1396..1440, 1441..1485, 1486..1530, 1531..1575, 1576..1620, 1621..1665, 1666..1710, 1711..1755, 1756..1800, 1801..1845, 1846..1890, 1891..1935, 1936..1980, 1981..2025, 2026..2070, 2071..2115, 2116..2160, 2161..2205, 2206..2250, 2251..2295, 2296..2340, 2341..2385, 2386..2430, 2431..2475, 2476..2520, 2521..2565, 2566..2610, 2611..2655, 2656..2700, 2701..2745, 2746..2790, 2791..2835, 2836..2880, 2881..2925, 2926..2970, 2971..3015, 3016..3060, 3061..3105, 3106..3150, 3151..3195, 3196..3240, 3241..3285, 3286..3330, 3331..3375, 3376..3420, 3421..3465, 3466..3510, 3511..3555, 3556..3600, 3601..3645, 3646..3690, 3691..3735, 3736..3780, 3781..3825, 3826..3870, 3871..3915, 3916..3960, 3961..4005, 4006..4050, 4051..4095, 4096..4140, 4141..4185, 4186..4230, 4231..4275, 4276..4320, 4321..4365, 4366..4410, 4411..4455, 4456..4500, 4501..4545, 4546..4590, 4591..4635, 4636..4680, 4681..4725, 4726..4770, 4771..4815, 4816..4860, 4861..4905, 4906..4950, 4951..4995, 4996..5040, 5041..5085, 5086..5130, 5131..5175, 5176..5220, 5221..5265, 5266..5310, 5311..5355, 5356..5400, 5401..5445, 5446..5490, 5491..5535, 5536..5580, 5581..5625, 5626..5670, 5671..5715, 5716..5760, 5761..5805, 5806..5850, 5851..5895, 5896..5940, 5941..5985, 5986..6030, 6031..6075, 6076..6120, 6121..6165, 6166..6210, 6211..6255, 6256..6300, 6301..6345, 6346..6390, 6391..6435, 6436..6480, 6481..6525, 6526..6570, 6571..6615, 6616..6660, 6661..6705, 6706..6750, 6751..6795, 6796..6840, 6841..6885, 6886..6930, 6931..6975, 6976..7020, 7021..7065, 7066..7110, 7111..7155, 7156..7200, 7201..7245, 7246..7290, 7291..7335, 7336..7380, 7381..7425, 7426..7470, 7471..7515, 7516..7560, 7561..7605, 7606..7650, 7651..7695, 7696..7740, 7741..7785, 7786..7830, 7831..7875, 7876..7920, 7921..7965, 7966..8010, 8011..8055, 8056..8100, 8101..8145