Abstract:The election, a cornerstone of democracy, is one of the best-recognizable symbols of democratic governance. Voters' confidence in elections is essential, and these days, we can watch practically in live broadcast what consequences distrust in the fairness of elections may have. From the times of the celebrated Gibbard-Satterthwaite theorem, it is well-known in the social-choice community that most voting systems are vulnerable to the efforts of various players to influence elections. Luckily for us, computing such influence to affect election outcomes is a hard problem from the computational complexity perspective. This intractability is regarded as a ``complexity shield'' that secures voting rules against this malicious behavior.
In this work, we consider quantum computers to be a new threat to the complexity shield described above, as they break out of standard computing paradigms and unlock additional computational resources. To this end, we provide an overview of possible attacks on election, discuss the abilities of quantum computing, and chart possible directions for future research in this area.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is: **Will the rise of quantum computers pose a threat to the complexity shield of existing election and voting systems?**
Specifically, the paper focuses on the following points:
1. **Effectiveness of existing complexity shields**:
- Currently, many voting systems rely on difficult problems in computational complexity theory (such as NP - hard problems) to resist malicious behaviors (such as manipulation, bribery, control, etc.). These difficult problems form the so - called "complexity shield", making it difficult for attackers to influence election results through computational means.
- However, with the development of quantum computers, these problems that were traditionally considered computationally difficult may become easier to solve. For example, Shor's algorithm can solve the large - number factorization problem in polynomial time, thus breaking the security of RSA encryption.
2. **Impact of quantum computing on election security**:
- Quantum computers may be able to solve certain election - related computational difficult problems more efficiently, thereby weakening or destroying the existing complexity shield.
- The paper explores the potential applications of quantum algorithms in election manipulation and proposes the development of new quantum algorithms to evaluate their impact on different voting rules.
3. **Future research directions**:
- It is proposed that new axioms and impossibility theorems are needed to adapt to the voting theory in the quantum computing paradigm.
- Explore how to define new voting rules and ballot forms to fully utilize the advantages of quantum computing.
- Study the performance of existing impossibility theorems (such as the Gibbard - Satterthwaite theorem) in the quantum environment and attempt to prove impossibility theorems applicable to the standard voting theory extended to the quantum realm.
### Summary
The main purpose of the paper is to explore the potential impact of the rise of quantum computing on the security of election and voting systems and call for new research to ensure the fairness and security of elections in the quantum era. This includes developing new quantum algorithms, re - examining voting axioms and rules, and exploring the impact of quantum computing on existing theories.
### Key formulas and concepts
- **Grover's algorithm**: A quantum algorithm for search problems, providing quadratic acceleration. For a given function \( f: \{0, \ldots, N - 1\} \to \{0, 1\} \), classical computation requires \( \Omega(N) \) evaluations, while Grover's algorithm only requires \( O(\sqrt{N}) \) evaluations.
\[
\text{Grover's algorithm's time complexity} = O(\sqrt{N})
\]
- **Shor's algorithm**: A quantum algorithm for large - number factorization, capable of solving the problem in polynomial time, while classical algorithms require exponential time.
\[
\text{Shor's algorithm's time complexity} = O((\log N)^3)
\]
These formulas and concepts show the potential of quantum computing in dealing with specific computational difficult problems, which in turn leads to new thinking about the security of election systems.