  Magnetic levitation has been demonstrated and characterized within the
coaxial microwave cavity [1,2]. A permanent neodymium magnet is levitated from
the edge of the finite-size superconductor [3,4]. One challenge is to develop a
better method to calculate levitation height [5]. This paper compares three
models, the Mirror method, finite-size superconductor, and two-loop model, for
the levitation height calculation. The limitations and advantages of each model
are discussed in detail.
