15#ifndef _QISKIT_AER_STATE_H_
16#define _QISKIT_AER_STATE_H_
20#ifdef INCLUDED_BY_FACTORY
22#include "controllers/state_controller.hpp"
28 virtual ~AerStateFake() =
default;
31 uint_t num_of_qubits_;
33 int seed_ = std::random_device()();
34 std::shared_ptr<QuantumState::Base> state_;
36 ExperimentResult last_result_;
55class QiskitAerState :
public AER::AerState {
57 const std::shared_ptr<AER::QuantumState::Base> &get_state()
const {
58 const AER::AerStateFake *fakeState = (AER::AerStateFake *)(
void *)
this;
59 return fakeState->state_;
62 double expval_pauli(
const reg_t &qubits,
const std::string &pauli) {
63 if (qubits.empty() || pauli.empty())
return 1.;
65 const auto &state = get_state();
66 if (!state)
return 0.;
70 return state->expval_pauli(qubits, pauli);
73 AER::Vector<complex_t> statevector() {
74 const auto &state = get_state();
75 if (!state)
return {};
79 AER::Operations::Op op;
80 op.type = AER::Operations::OpType::save_statevec;
81 op.name =
"save_statevector";
82 op.save_type = AER::Operations::DataSubType::single;
83 op.string_params.push_back(
"statevector");
84 for (uint_t qubit = 0; qubit < num_of_qubits(); ++qubit)
85 op.qubits.push_back(qubit);
87 AER::AerStateFake *fakeState = (AER::AerStateFake *)(
void *)
this;
88 fakeState->last_result_ = AER::ExperimentResult();
89 state->apply_op(op, fakeState->last_result_, fakeState->rng_);
92 static_cast<AER::DataMap<AER::SingleData, AER::Vector<complex_t>
>>(
93 std::move(fakeState->last_result_.data))
94 .value()[
"statevector"]
98 std::shared_ptr<AER::QuantumState::Base> clone_extended_stabilizer_state() {
100 const auto extendedState =
101 std::dynamic_pointer_cast<AER::ExtendedStabilizer::State>(get_state());
103 throw std::runtime_error(
104 "QiskitAerState: current state is not an extended stabilizer state");
105 return std::make_shared<AER::ExtendedStabilizer::State>(*extendedState);
108 void restore_extended_stabilizer_state(
109 const std::shared_ptr<AER::QuantumState::Base> &savedState) {
110 const auto extendedState =
111 std::dynamic_pointer_cast<AER::ExtendedStabilizer::State>(savedState);
113 throw std::runtime_error(
114 "QiskitAerState: saved state is not an extended stabilizer state");
116 AER::AerStateFake *fakeState = (AER::AerStateFake *)(
void *)
this;
118 std::make_shared<AER::ExtendedStabilizer::State>(*extendedState);
119 fakeState->num_of_qubits_ = extendedState->qreg().get_n_qubits();
120 fakeState->initialized_ =
true;
121 fakeState->last_result_ = AER::ExperimentResult();
125 std::vector<bool> apply_measure_many(
const reg_t &qubits) {
126 const auto &state = get_state();
127 if (!state)
return {};
131 AER::Operations::Op op;
132 op.type = AER::Operations::OpType::measure;
136 op.registers = qubits;
138 AER::AerStateFake *fakeState = (AER::AerStateFake *)(
void *)
this;
139 fakeState->last_result_ = AER::ExperimentResult();
140 state->apply_op(op, fakeState->last_result_, fakeState->rng_);
142 std::vector<bool> bitstring(qubits.size(),
false);
143 uint_t mem_size = state->creg().memory_size();
144 for (
size_t q = 0; q < qubits.size(); ++q) {
145 const auto qubit = qubits[q];
146 if (state->creg().creg_memory()[mem_size - qubit - 1] ==
'1')
152 std::unordered_map<std::vector<bool>, uint_t> sample_counts_many(
153 const reg_t &qubits, uint_t shots) {
154 const auto &state = get_state();
155 if (!state)
return {};
159 AER::AerStateFake *fakeState = (AER::AerStateFake *)(
void *)
this;
167 reg_t sorted_qubits = qubits;
168 std::vector<size_t> order(qubits.size());
169 std::iota(order.begin(), order.end(), 0);
170 std::sort(order.begin(), order.end(),
171 [&qubits](
size_t a,
size_t b) { return qubits[a] < qubits[b]; });
172 for (
size_t i = 0; i < qubits.size(); ++i)
173 sorted_qubits[i] = qubits[order[i]];
175 std::vector<AER::SampleVector> samples =
176 state->sample_measure(sorted_qubits, shots, fakeState->rng_);
177 std::unordered_map<std::vector<bool>, uint_t> ret;
179 std::vector<bool> bitstring(qubits.size());
180 for (
const auto &sample : samples) {
181 for (
size_t i = 0; i < qubits.size(); ++i)
182 bitstring[order[i]] = sample[i] == 1;