Kreinovich, V.; Galindo, O.; Kosheleva, O. Many Known Quantum Algorithms Are Optimal: Symmetry-Based Proofs. IJC 2022, 21, 411-423.