One-Loop Effective Potential in Anti-de Sitter Space | Synapse