Symbolic Operations in MIMIQ#
This section provides detailed information on how to use symbolic operations in MIMIQ, including defining symbols, creating symbolic operations, substituting values, and running circuits with symbolic parameters.
contents#
When Symbolic Operations Can Be Useful#
Symbolic operations are valuable in several quantum computing scenarios:
Parameter Optimization: In algorithms like the Variational Quantum Eigensolver (VQE), parameters need to be optimized iteratively. Using symbolic variables allows you to define a circuit once and update it with new parameter values during the optimization process. However, before executing the circuit, you must substitute the symbolic parameters with concrete values. This approach simplifies managing parameterized circuits.
Circuit Analysis: Symbolic operations are useful for analyzing the structure of a quantum circuit. By keeping parameters symbolic, you can explore how different components of the circuit affect the output, such as measurement probabilities or expectation values, without needing to reconstruct the circuit.
Defining Symbols#
MIMIQ leverages symbolic libraries like symengine to define symbolic variables, acting as placeholders for parameters in quantum operations. To define symbols in MIMIQ, you will need to create symbolic variables and then use them as parameters for parametric operations. Here’s how to get started:
Example:
>>> from symengine import *
>>> theta, phi = symbols('theta phi')
Defining Symbolic Operations#
Once you have defined symbols, you can use them in your quantum circuit operations. This allows you to create parameterized gates that depend on symbolic variables.
Example:
>>> c = Circuit()
>>> c.push(GateRX(theta), 1)
2-qubit circuit with 1 instructions:
└── RX(theta) @ q[1]
>>> c.push(GateRY(phi), 2)
3-qubit circuit with 2 instructions:
├── RX(theta) @ q[1]
└── RY(phi) @ q[2]
>>> c
3-qubit circuit with 2 instructions:
├── RX(theta) @ q[1]
└── RY(phi) @ q[2]
In this example, theta and phi are symbolic variables that can be used in operations.
Substituting Symbols with Values#
Before executing a circuit that includes symbolic parameters, you need to replace these symbols with specific numerical values. This is done using a dictionary to map each symbolic variable to its corresponding value. Here is an example of how to do it.
Example:
>>> evaluated_circuit = c.evaluate({"theta": pi/2, "phi": pi/4})
>>> evaluated_circuit
3-qubit circuit with 2 instructions:
├── RX((1/2)*pi) @ q[1]
└── RY((1/4)*pi) @ q[2]
In this example, evaluate() is used to create a new circuit where theta is replaced by π/2 and phi by π/4.