No. They are still there, accounted to that address in the blockchain. In the rare event that someone discovers the private key used to derive that address: hap

No. They are still there, accounted to that address in the blockchain. In the rare event that someone discovers the private key used to derive that address: happy days. In the near term, practically speaking, you can negate them from circulation. It's a very low probability that it'll be spent.