Mathematical analysis on Abrikosov–Nielsen–Olesen strings with Coleman–Weinberg potential | Synapse