Summer Night City seria o primeiro single de ARTPOP?

De acordo com uma fonte, o primeiro single do novo álbum de Lady Gaga «Artpop» seria «Summer Night City". Esses são os primeiros rumores com esta música, será que ela fará parte de ARPTOP?