Is this the right base for your system?

The Zernike polynomials, we all recognize them and they are the language we often talk when we describe optical systems. But are they always the right language?

Is there a wrong language? Eventually, we would try to push a design to zero so it doesn’t matter. But hey, zero, that would be like saying nothing.

What if we cannot get to zero, or in tolerancing we can choose to push this or that term, but not both. How do we choose? If we are making a telescope, the case is clear. We want to minimize the variance of the wavefont and by that maximize the Strehl ratio. Very clearly derived in Born & Wolf.

However, what if the property we are interested in is not derived from the variance? How do we know?

An analysis that can be employed is to find the MacLaurin expansion of the property of interest to second order using the Zernike polynomial as (say) probes or simply free parameters. One can use a Monte Carlo approach or Latin Hypercube Sampling approach to this, and which one is the best is a discussion to have elsewhere. However, once we have done that, we can find the c, v, and A that make the best fit to the data, and this fit can be really very good.

If A turns out not to be diagonal in this expansion, then the Zernike polynomials are not the right language because it does not follow that minimizing one of the coefficients always improves our property of interest. In this case, diagonalizing A will give us a new orthogonal base.

However, before we ask the question which of terms to minimize, but in the new base, what about the linear term v. The answer to that is, it depends. There is obviously the possibility to look at the solution to f = 0 and if this solution is within the validity range of the expansion, we have probably found a non-trivial solution where non-zero aberrations generate zero error. This does happen, but quite often either v is essentially zero or the solution to f = 0 is not within the range of the expansion.

When the linear term v is zero, we would now ask the same question as we did initially, should we improve this or that term in the new base, the answer is, it doesn’t matter because as long as we reduce the incoherent (quadrature) sum of them, our property of interest improves.

Arguably, this is somewhat esoteric but given we have the models for our optical system and the property of interest, probing 15-20 free parameters using a few thousand simulations may be entirely feasible and provide valuable insights into the fundamentals of the optical system. Often, this can be done under a day if we already have the models in place.