research Hot Jupiters Formation and migration of hot Jupiters Orbital Stability Mean motion resonances, chaotic diffusion, and the stability of planetary systems fun