Verification

Question 1

What are some challenges for quantum quality assurance?

Answer 1

unintuitive
probabilistic behavior
expensive hardware
simulation limited

Question 2

What are some challenges for quantum testing?

Answer 2

intermediate results can’t be measured without collapsing state
checking correctness of results may be infeasible

Question 3

What are advantages and disadvantages of the translation-based approach to quantum verification?

Answer 3

Advantages:
- Fully automatic
- Integrated
- Flexible
- PQC support
Disadvantage
- Only suitable for small circuits
- Floating point rounding errors
- Unreadable generated programs

Question 4

What are the steps in the quantum software circle?

Answer 4

Requirement analysis
Quantum-Classical Splitting <=
Architecture & Design
Implementation
Testing
Deployment
Observability <=
Analysis

Question 5

What are some quantum paradigms and corresponding programming languages?

Answer 5

Imperative, Q#
Functional, LIQUi|>
SDKs, Qiskit
Instruction Sets, OpenQASM

Question 6

What are the steps in quantum computing?

Answer 6

Pre-processing
State preparation
Unitary Transformation
Measurement
Post-processing

Question 7

What are some design patterns?

Answer 7

Uniform superposition
Matrix encoding
Uncompute
Amplitude Amplification
Error correction
Quantum-Classical Split

Question 8

What is a Variational Quantum Algorithm?

Answer 8

Classically optimize parameters of quantum circuit