Feng Guo,M. S. E. Din,Chu Wang,L. Zhi
Abstract:We consider the problem of optimizing a parametric linear function over a non-compact real trace of an algebraic set. Our goal is to compute a representing polynomial which defines a hypersurface containing the graph of the optimal value function. Rostalski and Sturmfels showed that when the algebraic set is irreducible and smooth with a compact real trace, then the least degree representing polynomial is given by the defining polynomial of the irreducible hypersurface dual to the projective closure of the algebraic set. First, we generalize this approach to non-compact situations. We prove that the graph of the opposite of the optimal value function is still contained in the affine cone over a dual variety similar to the one considered in compact case. In consequence, we present an algorithm for solving the considered parametric optimization problem for generic parameters' values. For some special parameters' values, the representing polynomials of the dual variety can be identically zero, which give no information on the optimal value. We design a dedicated algorithm that identifies those regions of the parameters' space and computes for each of these regions a new polynomial defining the optimal value over the considered region.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: how to simulate arbitrary Hamiltonians on a quantum computer, especially those multi - body interacting Hamiltonians that are not common in nature. Specifically, the authors show how to use a Nuclear Magnetic Resonance (NMR) quantum computer to implement a non - physical three - body interacting Hamiltonian \( \sigma_z \sigma_z \sigma_z \).
### Problem Background
1. **Quantum Computing and Quantum Simulation**
- In the early 1980s, researchers such as Benioff, Bennett, Deutsch, Feynman, and Landauer began to study the possibility of computing using the principles of quantum mechanics and speculated that machines based on these principles might solve certain types of problems more efficiently than traditional von Neumann computers.
- Lloyd proposed the concept of building a quantum computer composed of coupled two - state quantum systems, each of which can store the information of one qubit.
- Shor proved that a quantum computer can factor integers in polynomial time, indicating that quantum computers can indeed solve certain problems more efficiently.
2. **Importance of Quantum Simulation**
- Quantum simulation refers to using a quantum computer to simulate the behavior of another quantum system. Feynman first proposed this concept in 1982, believing that quantum computers can efficiently simulate physical systems.
- As the scale of the system increases, it is difficult for classical computers to store and calculate the entire wave - function evolution of the quantum state. For example, a quantum system composed of 50 spin - 1/2 particles requires approximately \( 10^{15} \) complex numbers to fully describe its state.
### Core Problems of the Paper
- **Implementation of Arbitrary Hamiltonians**: The main objective of the paper is to show how to implement arbitrary Hamiltonians, especially those multi - body interacting Hamiltonians that do not exist in nature, through a Nuclear Magnetic Resonance (NMR) quantum computer.
- **Implementation of Three - Body Interaction**: Specifically, the authors show how to implement a non - physical three - body interacting Hamiltonian \( \sigma_z \sigma_z \sigma_z \), which does not exist in nature but can be created through quantum simulation.
### Methods and Results
- **Application of the Average Hamiltonian Theory (AHT)**: The authors designed a general quantum simulation scheme using the Average Hamiltonian Theory (AHT), which was originally used to design NMR pulse sequences to achieve specific effective NMR Hamiltonians.
- **Experimental Verification**: By conducting NMR experiments on alanine molecules labeled with \( ^{13}C \), the authors successfully implemented the three - body interacting Hamiltonian \( \sigma_z \sigma_z \sigma_z \) and observed the expected quantum - state evolution through experiments.
### Conclusion
This paper shows how to use a quantum computer to simulate complex quantum systems that do not exist in nature, especially multi - body interacting Hamiltonians. This achievement not only verifies the feasibility of quantum simulation but also provides new tools and methods for further research on complex quantum phenomena.