Explanations

This section is for understanding how QuantumSavory is put together and why it works the way it does.

If you are new to the package, first go through the Manual for a small hands-on example. Then come back here for the conceptual model.

What Lives Here

Explanation pages answer questions such as:

• What is a Register, and how does a RegisterNet fit into a simulation?
• Why does QuantumSavory separate symbolic descriptions from numerical backends?
• How are background noise processes and time handled?
• How does the symbolic frontend stay backend-agnostic without hiding modeling limits?
• How are classical control, metadata tags, and protocols composed?
• When should one backend or modeling approach be preferred over another?

Suggested Reading Order

1. Architecture and Mental Model
2. Why QuantumSavory Exists
3. Restricted Formalisms and Efficient Simulation
4. Choosing a Backend and Modeling Tradeoffs
5. Modeling Registers, Factorization, and Time
6. Symbolic Frontend
7. Metadata and Protocol Composition
8. Classical Messaging and Buffers
9. Zoos as Composable Building Blocks
10. Properties
11. Background Noise Processes
12. Discrete Event Simulator

Relationship To Other Sections

• Tutorials are for guided, hands-on learning of a small feature.
• How-To Guides are for accomplishing concrete tasks.
• References are for looking up precise APIs and module contents.