Quantum Process Calculi for Concurrent Protocols
Quantum process calculi describe concurrent quantum programs and protocols formally. Key concepts, behavioral analysis and applications.
Every explainer on QuantumExplainer.com, newest first. Use the pillars above to jump straight to a topic.
739 articlesQuantum process calculi describe concurrent quantum programs and protocols formally. Key concepts, behavioral analysis and applications.
Quantum gravity models compared: string theory, loop quantum gravity and emergent gravity, with their predictions and proposed tests.
Quantum field theory models and their lattice versions: key concepts, applications in particle physics and the link to gravity.
Quantum optical computing uses photons as qubits. Principles of quantum optics, optical gates, algorithms, challenges and error correction.
Models of dephasing describe how noise destroys quantum phase. Noise spectra, decoherence mechanisms, experiments and mitigation strategies.
Open-loop and closed-loop quantum control compared: optimization techniques, pulse design and uses in computing, communication and sensing.
Quantum signal processing builds polynomial transformations from sequences of qubit rotations. How it underlies modern quantum algorithms.
Quantum coherent computing relies on keeping qubits coherent long enough to finish a computation. How coherence limits algorithms and applications.
Quantum dot cellular automata compute by the position of electrons in dots instead of current in wires. Logic gates, advantages and challenges.
Quantum heuristics combine quantum computing with approximate problem-solving methods. How they work, where they are tested and their limits.
How state machine models are extended to quantum systems, how they compare with classical state machines, and possible applications.
Digital and analog quantum simulation compared: how each models quantum systems, and uses in materials science and phase transitions.