Design of magneto-optical system for imaging of magnetic flux created during a conductor-superconductor phase transition

According to the Kibble-Zurek model, flux lines are spontaneously created during a fast conductor-superconductor phase transition. The model predicts both the spatial density and the correlations of the flux array. We present the design of a magneto-optical system with a projected single-flux-line resolution. Such a system can allow detailed measurements of the distribution of flux created spontaneously during a conductor-superconductor phase transition.