The Lattice Geometry of Walsh-Function-Based Adaptive Optics

We show that there is an intrinsic link between the use of Walsh aberration modes in adaptive optics (AO) and the mathematics of lattices. The discrete and binary nature of these modes means that there are infinite combinations of Walsh mode coefficients that can optimally correct the same aberration. Finding such a correction is hence a poorly conditioned optimisation problem that can be difficult to solve. This can be mitigated by confining the AO correction space defined in Walsh mode coefficients to the fundamental Voronoi cell of a lattice. By restricting the correction space in this way, one can ensure there is only one set of Walsh coefficients that corresponds to the optimum correction aberration. This property is used to enable the design of efficient estimation algorithms to solve the inverse problem of finding correction aberrations from a sequence of measurements in a wavefront sensorless AO system. The benefit of this approach is illustrated using a neural-network-based estimator.