A3: Generate State $\frac{1}{\sqrt{2}}\lparen\ket{0}-\ket{2^{n}-1}\rparen$ I

Problem Statement

You are given an integer $n$.
Implement the operation of preparing the state $\ket{\psi}$ from the zero state on a quantum circuit $\mathrm{qc}$ with $n$ qubits.
The quantum state $\ket{\psi}$ is defined as

Constraints

• $2 \leq n \leq 15$
• Changes in the global phase are ignored.
  
• The submitted code must follow the specified format:

from qiskit import QuantumCircuit
 
 
def solve(n: int) -> QuantumCircuit:
    qc = QuantumCircuit(n)
    # Write your code here:
 
    return qc

Sample Input

• $n = 4$
  The implemented quantum circuit $\mathrm{qc}$ should perform the following transformation.