Quantization (physics) attempts to carry out quantization, for which there is in general no exact recipe, in such a way that certain analogies between the classical theory and the quantum theory remain manifest. For example, the similarity between the Heisenberg equation in the Heisenberg picture of quantum mechanics and the Hamilton equation in classical physics should be built in. One of the earliest attempts at a natural quantization was Weyl quantization, proposed by Hermann Weyl in 1927. Here, an attempt is made to associate a quantum-mechanical observable (a self-adjoint operator on a Hilbert space) with a real-valued function on classical phase space.
Euler–Heisenberg Lagrangian is surrounded by a very strong magnetic field (10G), and one expects birefringence from the vacuum polarization described by the Euler–Heisenberg Lagrangian. A degree of polarization of about 16% was measured and was claimed to be "large enough to support the presence of vacuum birefringence, as predicted by QED". Fan et al. pointed that their results are uncertain due to low accuracy of star model and the direction of the neutron magnetization axis. Euler–Heisenberg Lagrangian In physics, the Euler–Heisenberg Lagrangian describes the non-linear dynamics of electromagnetic fields in vacuum. It was first obtained by Werner Heisenberg and Hans Heinrich Euler