Kronos AI · Quantum library · topic hub

Quantum computing

Qubits, gates, error correction, variational algorithms and where quantum methods touch fusion design. 427 pages

A Trotter Step Error Estimate

Approximate the evolution of two non-commuting Hamiltonian terms with a first-order Trotter split and bound the step error.

ABC Decomposition of Controlled Gates

The construction that realizes any controlled single-qubit gate with only two CNOTs plus single-qubit rotations.

Active Qubit Reset

Active reset deterministically returns a qubit to its ground state in microseconds, instead of waiting many relaxation times for passive decay.

Amplitude Amplification

The general procedure behind Grover search: boosting the amplitude of a marked subspace by iterated reflections.

Amplitude Encoding

Amplitude encoding packs a classical vector into the amplitudes of a quantum state, storing 2^n numbers in n qubits but at a steep preparation cost.

Amplitude Estimation Without Phase Estimation

Near-term variants recover the marked amplitude from Grover-power measurements, avoiding the deep quantum Fourier transform.

Analog Quantum Simulation

Engineering a controllable quantum device whose native dynamics directly emulate a target Hamiltonian, without decomposing into gates.

Ancilla and Qubit Budgets

Accounting for the extra qubits algorithms need beyond the system register, and the overhead multiplier that error correction imposes.

Ancilla Qubits and Uncomputation

Ancilla qubits are helper qubits that hold intermediate results; uncomputation resets them to avoid unwanted entanglement.

Angle Encoding

Angle encoding writes each feature into a qubit rotation angle, giving a shallow, hardware-friendly embedding that dominates near-term quantum machine learning.

Arbitrary Waveform Generators

Arbitrary waveform generators synthesize the precisely shaped pulses that drive qubit gates, one of the workhorses of quantum control.

Barenco Gate

A general two-qubit controlled rotation introduced in the proof that a fixed two-qubit gate plus single-qubit gates is universal.

Bell Inequalities

Bell inequalities are limits obeyed by any local hidden-variable theory; quantum mechanics violates them, ruling out local realism.

Bell States

The four Bell states are the maximally entangled two-qubit states and form an orthonormal basis for two qubits.

Bellman-Ford Algorithm

Bellman-Ford computes shortest paths even with negative edge weights and detects negative cycles, at a cost of O(V*E).

Benchmarking Quantum ML Models

Fair benchmarking of quantum machine learning demands strong classical baselines, honest resource accounting, and datasets that actually test the claimed strength.

Berkeley B Gate

A special two-qubit gate that generates any two-qubit unitary with only two applications, the most efficient known primitive.

Bit-Flip Errors

A bit-flip error applies the Pauli X operator, swapping |0> and |1> while preserving the relative phase of a superposition.

Bosonic and Cat Qubits

Bosonic qubits store information in the many levels of a microwave cavity mode, using redundancy in one physical element to resist errors.

Bound Entanglement

Some entangled states cannot yield any pure Bell pairs no matter how many copies you process; their entanglement is locked away.

BQP and Where Quantum Helps

BQP is the class of problems a quantum computer can solve efficiently, and it is believed to strictly extend classical polynomial time for some tasks.

Building a Bell State Step by Step

Construct the maximally entangled two-qubit Bell state with one Hadamard and one CNOT, tracking the amplitudes at each step.

Calibration and Drift

Qubit parameters drift over hours, so quantum computers are continuously recalibrated to keep gates and readout accurate.

Canonical Two-Qubit Gate

The three-parameter entangling core that every two-qubit gate reduces to once local rotations are stripped away.

Cat Codes and Biased Noise

Cat codes store a qubit in superpositions of coherent states, engineering the hardware so that one type of error becomes exponentially rare.

Classical vs Quantum Error Correction

Quantum error correction inherits ideas from classical coding but must overcome no-cloning, continuous errors, two error types, and destructive measurement.

Clifford + T Universality

Clifford gates alone are efficiently simulable on a classical computer; adding the T gate makes the set universal -- the basis of nearly every fault-tolerant gate construction.

Clifford+T Synthesis

Compiling arbitrary gates into the fault-tolerant Clifford-plus-T basis, where T-count is the dominant resource.

CLOPS and Speed Benchmarking

CLOPS measures how fast a quantum processor runs circuits, capturing throughput that fidelity-based metrics like quantum volume ignore.

Cluster States

A cluster state is a highly entangled multi-qubit resource; measurements on it drive measurement-based quantum computation.

Coherence as a Resource

Coherence is the presence of definite phase relationships in a superposition; it is the resource consumed by interference and destroyed by noise.

Coherence-Limiting Mechanisms

Qubit coherence is bounded by energy relaxation and dephasing, each driven by a distinct family of physical mechanisms that hardware design tries to suppress.

Commuting Hamiltonians and Fast-Forwarding

Special Hamiltonians whose structure lets their evolution be simulated in time independent of the duration, escaping the no-fast-forwarding bound.

Comparing Qubit-Cooling Requirements

Different qubit technologies demand very different operating temperatures, from millikelvin for superconductors to room temperature for some photonic and defect-based systems.

Computing for the He-3 Quantum Flywheel

Modeling the loop where helium-3 supports quantum and low-temperature technologies whose growth in turn raises demand for helium-3.

Concatenated Codes

Concatenation nests a code inside itself, encoding each physical qubit of one code as a logical qubit of another to drive down error rates.

Concurrence

Concurrence is a closed-form entanglement measure for two qubits, valid even for mixed states through Wootters' formula.

Connectivity and Qubit Routing

Connectivity is which qubits can directly interact; limited connectivity forces extra SWAP operations that add error and depth.

Continuous-Time Quantum Walk

A quantum walk that evolves under a graph Hamiltonian, requiring no coin register.

Control Wiring and I/O Bottlenecks

Every qubit needs control and readout lines, but cabling, connectors, and cooling power do not scale as freely as qubit counts, creating an input-output bottleneck.

Controlled Gates

A controlled gate applies a target operation only when control qubits are set, generalising CNOT and enabling conditional quantum logic.

Controlled-RX Gate (CRX)

A two-qubit gate that applies an X-axis rotation to the target only when the control qubit is set.

Controlled-U Gate

The general recipe for conditioning any single-qubit unitary on a control, the parent of every controlled single-qubit gate.

Cosmic-Ray Correlated Errors

High-energy particles striking the chip deposit energy that spreads across many qubits at once, causing correlated errors that ordinary error correction cannot absorb.

Coupling Classical HPC with Quantum Accelerators

Hybrid computing treats a quantum processor as an accelerator that a classical supercomputer calls for the sub-problems where it may hold an advantage.

CPTP Maps

Completely positive, trace-preserving maps are exactly the transformations a quantum state can physically undergo.

Crosstalk and Spectator Errors

Crosstalk is the unwanted influence of operating one qubit on another; spectator errors are the disturbances that idle qubits suffer during their neighbors' gates.

Cryogenic Single-Photon Detectors

Superconducting nanowire and transition-edge detectors sense individual photons but require cryogenic cooling, extending cold-infrastructure needs beyond qubits.

CSS Codes

Calderbank-Shor-Steane codes build quantum codes from two classical linear codes, keeping X-type and Z-type checks separate.

Decoherence

Decoherence is the loss of quantum coherence as a system interacts with its environment, turning superpositions into classical mixtures.

Decoherence and Noise

Decoherence is the loss of quantum information to the environment; understanding its noise sources drives every improvement in qubit hardware.

Decoherence Channels

Quantum channels describe noise as completely positive trace-preserving maps; common ones model bit-flip, phase damping, and energy loss.

Deutsch Gate

A three-qubit controlled rotation that was the first single gate proven universal for quantum computation.

Digital Quantum Simulation

Approximating any Hamiltonian's dynamics with a universal gate set, trading generality against gate-count overhead.

Discrete-Time Quantum Walk

A coined quantum walk whose step alternates a coin operator with a conditional shift, producing ballistic spreading.

Dispersive Readout

Dispersive readout infers a superconducting qubit's state from a state-dependent shift in the frequency of a coupled microwave resonator.

Edmonds-Karp Algorithm

Ford-Fulkerson with breadth-first shortest augmenting paths, giving a capacity-independent polynomial bound.

Entanglement

Entanglement is a correlation between quantum systems so strong that the joint state cannot be written as a product of individual states.

Entanglement Distillation

Distillation converts many weakly entangled or noisy pairs into fewer near-perfect Bell pairs using only local operations and communication.

Entanglement Entropy

Entanglement entropy quantifies how entangled a bipartite pure state is, as the von Neumann entropy of a subsystem's reduced state.

Entanglement Swapping

A Bell measurement can entangle two particles that never interacted, the mechanism behind quantum repeaters.

Entangling Layers and Ansatz Design

Entangling layers create correlations between qubits that classical product states cannot represent, and their pattern shapes a circuit's power and trainability.

Error Correction and the Cooling Budget

Quantum error correction multiplies the number of physical qubits and the classical processing near them, tightening every constraint on cryogenic cooling.

Error Models

Error models describe how noise acts on qubits, from simple independent Pauli flips to full circuit-level noise, setting what a code must correct.

Expander Codes and Quantum LDPC

Expander graphs, which stay well connected while remaining sparse, are the mathematical engine that guarantees large distance in good quantum LDPC codes.

Expressivity of Quantum Circuits

Expressivity measures how large a family of states or functions a parameterized circuit can reach, and it trades off directly against trainability.

Fault-Tolerant Measurement

Reading out a logical qubit reliably requires measuring many physical qubits and reconciling the results against the code, not trusting any single readout.

Fault-Tolerant Resource Estimation

How many logical qubits and T gates would a real first-wall simulation need? Honest estimates set the horizon for Kronos quantum materials work.

Feynman's Case for Quantum Simulation

Richard Feynman's 1981 argument that classical machines cannot efficiently simulate quantum systems, and that quantum machines can.

Fidelity

Fidelity measures how close two quantum states are; it is the primary benchmark for gate and state-preparation quality.

Fidelity of Quantum States

Fidelity measures how close two quantum states are, the standard figure of merit for gates, memories, and channels.

Fixed-Point Grover Search

A variant of Grover search that converges monotonically to the target, eliminating the risk of overshooting the solution.

Flag Qubits

A flag qubit is a small ancilla that raises an alarm when a syndrome measurement itself faults, giving fault tolerance with very few extra qubits.

Flip-Chip Integration

Flip-chip bonding joins a qubit chip face-to-face with a wiring chip using superconducting bumps, separating fragile qubits from lossy routing layers.

Frequency Multiplexing of Qubit Readout

Assigning each qubit a distinct resonator frequency lets many qubits share one readout line, cutting the wiring and heat load that limit scaling.

Gate Fidelity

Gate fidelity measures how close a real operation is to its ideal; it is the headline metric for qubit quality and the gate to error correction.

Gate Teleportation

A protocol that applies a gate by consuming a pre-prepared entangled resource state and classical feedforward.

GHZ States

GHZ states are maximally entangled states of three or more qubits that give an all-or-nothing violation of local realism.

Gibbs States and Finite-Temperature Simulation

Preparing thermal states of a Hamiltonian on a quantum computer to compute finite-temperature properties.

Global vs Relative Phase

Global phase is physically unobservable, but relative phase between amplitudes is real and drives quantum interference.

Good Quantum LDPC Codes

Good quantum LDPC codes achieve constant rate and distance proportional to block length at once, the asymptotically optimal scaling long thought hard to reach.

Grover Search with Multiple Targets

How Grover's algorithm behaves when several items are marked, and how to tune iterations when the count is unknown.

Grover's Algorithm

A quantum search algorithm that finds an item in an unsorted list with a quadratic speedup.

Grover's Algorithm

Grover's algorithm searches an unstructured space in about sqrt(N) steps - and its engine, amplitude amplification, is what Kronos eyes for speeding up Monte-Carlo neutronics and d

Hamiltonian Neural Networks

Hamiltonian neural networks learn a scalar energy function whose derivatives generate the dynamics, conserving energy by construction.

Hamiltonian Simulation

Hamiltonian simulation evolves a state under e^(-iHt) - the one quantum method with a clear path to helping fusion, because it predicts how the low-activation materials Kronos buil

Hamiltonian Simulation for Fusion Materials

Simulating quantum time evolution e^{-iHt} is the core primitive behind every materials and chemistry use case in the Kronos quantum program.

Hamiltonian Structure and Locality

How the algebraic and geometric structure of a Hamiltonian determines which simulation algorithm is efficient.

Hardware Roadmaps and Scaling

Scaling from tens of qubits to the millions needed for useful error correction is a systems problem spanning qubits, wiring, control, and fabrication yield.

Helium-3 and the Dilution Refrigerators That Cool Qubits

Superconducting and many other qubits run at millikelvin temperatures reached only with helium-3, a physical link between fusion byproducts and quantum hardware.

Helium-3 for Quantum Computing

Helium-3 is the working fluid of dilution refrigeration - a strategic input to the whole superconducting and spin-qubit industry, and a natural co-product of Kronos's fusion fuel c

Helium-3 Supply and Quantum Demand

Helium-3 is a scarce isotope with no large natural source on Earth, and its use in dilution refrigerators ties quantum-computing growth to a constrained supply.

Helium-3 Supply for the Quantum-Computing Industry

Helium-3 cools quantum computers to near absolute zero; a fusion isotope platform is a route to a supply that is otherwise very scarce.

Hilbert Space

A Hilbert space is the complex inner-product vector space where quantum states live; qubits use finite-dimensional versions.

How the Layers Connect

The layers are joined by explicit interfaces and two directions of flow — telemetry rising and authority descending — never by hidden shortcuts.

Hybrid Quantum-Classical Training

Near-term quantum machine learning runs a quantum circuit for evaluation and a classical optimizer for parameter updates, looping between the two.

Hypergraph-Product Codes

The hypergraph product turns any pair of classical codes into a quantum CSS code, the first general recipe for high-rate quantum LDPC codes.

Interference as the Source of Speedups

Quantum interference lets amplitude paths add or cancel, concentrating probability on correct answers; it is what makes quantum algorithms fast.

Ion-Trap Gate Hardware

Trapped-ion processors hold atomic ions in electromagnetic traps and manipulate them with lasers or microwaves, using shared motion to entangle qubits.

Ising Coupling Gate RXX

A symmetric two-qubit entangler generated by the XX interaction, native to trapped-ion hardware.

Ising Coupling Gate RYY

The YY-generated two-qubit rotation, one of the three Cartan directions that classify every two-qubit entangler.

Ising Coupling Gate RZZ

A diagonal two-qubit phase gate generated by the ZZ interaction, the entangling core of QAOA and phase-sum circuits.

iSWAP Gate

Swaps two qubits and adds a ninety-degree phase to the exchanged amplitudes, a native entangler on many superconducting chips.

Iterative Quantum Phase Estimation Numbers

Extract the phase of an eigenvalue one bit at a time using a single ancilla qubit, and reconstruct the value from the measured bits.

Josephson Junction Fabrication

The Josephson junction is the nonlinear heart of a superconducting qubit, and its fabrication reproducibility sets the yield and frequency spread of a processor.

Linear Combination of Unitaries (LCU)

A technique to implement a weighted sum of unitaries on a quantum computer using select and prepare oracles plus ancilla qubits.

Linear Optical Quantum Computing

The KLM scheme shows universal quantum computing is possible with single photons, linear optics, and measurement, without direct photon-photon interaction.

Logical Qubits

A logical qubit is an encoded degree of freedom spread across many physical qubits, protected so its state survives local errors.

Long-Horizon Simulation Challenges

Why simulating dynamics for long times is fundamentally hard, and what limits both classical and quantum approaches.

Lower Bounds for Hamiltonian Simulation

The provable limits on how efficiently any quantum algorithm can simulate time evolution, and why optimal algorithms exist.

Magic Basis

A special maximally entangled basis in which two-qubit gate analysis and the KAK decomposition become tractable.

Magic State Distillation

Distillation converts many noisy magic states into fewer high-fidelity ones using Clifford circuits, supplying the non-Clifford gates for universality.

Magic States and the T Gate

The non-Clifford T gate, needed for universality, is enacted by consuming a special magic state through gate teleportation.

Mapping Fusion Problems to QUBO and Ising

Every quantum optimizer consumes an Ising or QUBO form; getting Kronos constraints into that form correctly is where most of the real work lives.

MCMC and Hamiltonian Monte Carlo

When posteriors have no closed form, the stack samples them; Hamiltonian Monte Carlo makes high-dimensional fusion inference tractable.

Measurement and Observable Estimation

Extracting physical quantities from a simulated quantum state efficiently, often the hidden bottleneck of quantum simulation.

Measurement-Based Quantum Computing

In the one-way model, computation proceeds by measuring qubits of a pre-built entangled cluster state, not by applying gates.

Measurement-Induced Dephasing

Photons in a readout resonator carry qubit information; the same information leak dephases the qubit whenever the resonator population fluctuates.

Methods for Estimating Eigenvalues

A comparison of quantum approaches to extracting Hamiltonian eigenvalues, from variational bounds to phase estimation and spectral filtering.

Microwave Control of Qubits

Superconducting and many spin qubits are driven by shaped microwave pulses whose frequency, amplitude, and phase set the rotation on the Bloch sphere.

Microwave Engineering for Qubits

Superconducting qubits are microwave devices, and their performance depends on impedance matching, mode control, and clean transmission-line design.

Min-Cost Max-Flow

Finding a maximum flow of minimum total cost by repeatedly augmenting along shortest-cost paths in the residual graph.

Mixed vs Pure States

A pure state carries maximal quantum information; a mixed state represents classical uncertainty or entanglement with an inaccessible system.

Modular Cryogenic Scaling

Rather than one enormous refrigerator, large quantum systems may distribute qubits across networked cryostats, spreading the cooling and wiring load.

Monogamy of Entanglement

Entanglement cannot be freely shared: if two qubits are maximally entangled, neither can be entangled with any third party.

Monogamy of Entanglement

Entanglement cannot be freely shared: the more one party is entangled with a second, the less it can be with a third.

Multi-Controlled X Gate (MCX)

Flips a target qubit only when every one of several control qubits is set, the multi-input generalization of CNOT and Toffoli.

Native Gate Sets

The small collections of physically executable gates that define what each quantum hardware platform can do directly.

Near-Term Feasibility and NISQ Constraints

Today's noisy, intermediate-scale quantum devices limit qubit count, circuit depth, and reliability, which sets hard bounds on what quantum machine learning can do now.

Negativity

Negativity measures entanglement by how much the partial transpose of a state fails to be positive, computable for any dimension.

Neutral-Atom Qubits

Neutral-atom qubits hold single atoms in optical tweezers and entangle them through Rydberg states, combining uniformity with flexible geometry.

Nitrogen-Vacancy Centers in Diamond

NV centers are atomic defects in diamond whose electron spin is a qubit readable by light and stable at room temperature.

Noise, Decoherence, and Error Mitigation

Hardware noise corrupts every quantum computation; error mitigation reduces its effect on expectation values without the full overhead of error correction.

Octal Number System

Octal is base 8, a compact shorthand for binary where each digit stands for exactly three bits.

Optical Tweezers and Rydberg Blockade

Focused laser beams hold single atoms in place, and the Rydberg blockade turns those atoms into entangling two-qubit gates.

Orthogonality and State Distinguishability

Only orthogonal quantum states can be told apart with certainty; non-orthogonal states can never be perfectly distinguished.

Parameterized Quantum Circuits

A parameterized quantum circuit is a fixed gate structure with tunable rotation angles, forming the trainable core of nearly all near-term quantum machine learning.

Parity and Other Fermionic Encodings

Beyond Jordan-Wigner and Bravyi-Kitaev, encodings that trade qubits, locality, and error resilience in different ways.

Parity Gates

Gates that compute or phase according to the parity of a set of qubits, central to error-correction stabilizer checks.

Partial Measurement of Multi-Qubit States

Measuring one qubit of an entangled register collapses the whole state consistently, updating the rest without fully determining it.

Pauli Twirling

Pauli twirling averages a noise channel over random Pauli operations, converting complex coherent noise into a simpler Pauli channel.

Peres Gate

A three-qubit reversible gate combining a Toffoli and a CNOT, a compact primitive for reversible arithmetic.

Phase Kickback

Phase kickback transfers a controlled operation's eigenphase onto the control qubit, a mechanism behind many quantum algorithms.

Phase-Flip Errors

A phase-flip error applies the Pauli Z operator, flipping the sign of |1> and thereby scrambling the relative phase that carries quantum information.

Photonic Measurement-Based Computing

Measurement-based quantum computing prepares a large entangled cluster state and drives the computation entirely through a sequence of single-qubit measurements.

Photonic Qubits

Photonic qubits encode information in single photons, operate at room temperature, and travel through fiber or waveguides for networking.

Positive vs Completely Positive

A map that keeps single-system states valid may still fail when applied to part of an entangled pair; only complete positivity is safe.

Post-Quantum Cryptography: Overview

Kronos plants are designed to outlive the arrival of cryptographically relevant quantum computers, so long-lived keys and signatures move to quantum-resistant algorithms now.

Post-Quantum Key Exchange with ML-KEM

Confidential channels use ML-KEM in a hybrid with an elliptic-curve exchange, so a session stays secure unless both the classical and the quantum-safe scheme fail.

Post-Quantum Signatures: ML-DSA and SLH-DSA

Firmware, bitstreams, and audit anchors are signed with quantum-resistant schemes so their authenticity survives long past the machine's commissioning.

Preparing a GHZ State on Three Qubits

Extend the Bell recipe to three qubits to build the GHZ state, the simplest genuine multipartite entangled state.

Purcell Filters

A Purcell filter blocks the qubit-frequency decay channel opened by the readout resonator, protecting qubit lifetime without slowing readout.

Purity and the Trace of rho-Squared

Purity, Tr(rho-squared), measures how pure a quantum state is, ranging from 1 for pure states down to 1 over d for maximally mixed states.

QAOA for Constrained Selection Problems

Casting selection under a budget constraint as a QUBO and solving it with the Quantum Approximate Optimization Algorithm.

QAOA for Experiment Campaign Ordering

Ordering plasma shots and parameter sweeps to maximize information under machine-time limits is a combinatorial problem we test QAOA against.

QAOA for Fleet Maintenance Scheduling

Scheduling maintenance across a breeder fleet is an NP-hard constraint problem; we map it to Ising form and benchmark QAOA against classical solvers.

QAOA for Fusion Design and Operations

QAOA is a hybrid quantum-classical optimizer - and at Kronos it is a research tool aimed at searching an enormous reactor design space and scheduling a fleet's maintenance.

QAOA for MaxCut

The Quantum Approximate Optimization Algorithm applied to graph MaxCut, its canonical benchmark problem.

QAOA for Scheduling Problems

Encoding job assignment and ordering constraints as an Ising cost function for the Quantum Approximate Optimization Algorithm.

QAOA Parameter Optimization

Strategies for choosing and training the angles that control a Quantum Approximate Optimization Algorithm circuit.

QAOA: Quantum Approximate Optimization

QAOA is the leading gate-model approach to combinatorial optimization; Kronos evaluates it for scheduling and layout, with no advantage assumed.

qDRIFT and Randomized Simulation

A stochastic product formula that samples Hamiltonian terms by weight, giving gate counts independent of the number of terms.

Quantum Advantage in ML: Claims and Caveats

Quantum advantage in machine learning means solving a learning task better or faster than any classical method, a bar that few results clearly meet.

Quantum Advantage: Definitions and Distinctions

Separating contrived sampling supremacy from practical, useful, and provable quantum advantage.

Quantum Annealing

A quantum optimization approach that seeks low-energy states by slowly evolving a quantum system.

Quantum Annealing vs Gate-Model Optimization

Annealers and gate-model QAOA solve the same Ising problems by different routes; Kronos benchmarks both without assuming either wins.

Quantum Boltzmann Machines

A quantum Boltzmann machine is an energy-based generative model whose distribution comes from the thermal state of a quantum Hamiltonian.

Quantum Channels

A quantum channel is the most general physically allowed transformation of a quantum state, covering ideal gates and all forms of noise.

Quantum Chemistry of Blanket Tritium Retention

Tritium retention and release in the breeder blanket is a chemistry problem where correlated quantum simulation could inform long-term material choices.

Quantum Chemistry Workflow

The end-to-end pipeline from a molecular Hamiltonian to a ground-state energy estimate on a quantum computer.

Quantum Circuit

A sequence of quantum gates applied to qubits to carry out a quantum computation.

Quantum Circuit Born Machines

A quantum circuit Born machine is a generative model whose output distribution is the measurement probabilities of a trained parameterized circuit.

Quantum Computing for Materials and Chemistry

A long-horizon approach to simulating quantum systems directly, where classical methods scale poorly.

Quantum Contextuality

Measurement results in quantum mechanics can depend on which compatible measurements are performed alongside, defying noncontextual hidden variables.

Quantum Counting

Quantum counting estimates how many solutions a search space holds - useful to Kronos for gauging how many configurations satisfy a design constraint before enumerating them.

Quantum Counting Algorithm

Combining Grover's operator with phase estimation to count the exact number of marked items in a search space.

Quantum Data Centers and Cooling

Housing many quantum processors in one facility multiplies cryogenic infrastructure and makes helium-3 supply and reliable cooling operational necessities.

Quantum Decoherence

The loss of a quantum system's coherence as it interacts with its environment, destroying superposition.

Quantum Discord

Discord captures quantum correlations that survive even in some separable states, going beyond entanglement.

Quantum Dots

A quantum dot is a nanoscale potential well that confines electrons to discrete levels, an artificial atom used to host spin qubits.

Quantum Error Correction

Encoding logical qubits across many physical qubits to detect and correct errors without measuring the data.

Quantum Error Correction: Overview

Quantum error correction protects a logical qubit by spreading its information across many physical qubits and measuring error syndromes without collapsing the data.

Quantum Error Mitigation Overview

Techniques that reduce the effect of noise on quantum results without the full overhead of error correction.

Quantum Errors: Bit-Flip and Phase-Flip

Quantum errors decompose into bit-flips (X), phase-flips (Z), and their combination (Y); correcting these two types suffices for all errors.

Quantum Feature Maps

A quantum feature map embeds classical data into a high-dimensional quantum Hilbert space, where linear separations may correspond to nonlinear boundaries in the original space.

Quantum Feature Maps and Kernels

Encoding classical data into quantum states to define similarity measures that may be hard to compute classically.

Quantum Fisher Information and Natural Gradient

The quantum Fisher information defines the geometry of parameter space, enabling natural-gradient steps that often train quantum models faster than plain gradient descent.

Quantum for Fusion

Where quantum computing fits — materials & chemistry, and the helium-3 flywheel.

Quantum Gate

A reversible operation that transforms qubit states, the building block of quantum circuits.

Quantum Gate Basics

A quantum gate is a reversible unitary operation on qubits - and gates are the alphabet Kronos writes its materials-chemistry and control circuits in.

Quantum Gates as Unitaries

Every quantum gate is a unitary matrix; circuits are products of these matrices acting on the qubit register.

Quantum Generative Adversarial Networks

A quantum GAN pits a quantum generator against a discriminator in a minimax game, training the generator to produce samples the discriminator cannot distinguish from real data.

Quantum Generative Models

Quantum generative models learn to produce samples from a target distribution using the native randomness of quantum measurement as the sampling engine.

Quantum Imaginary-Time Evolution

Approximating the projection onto a Hamiltonian's ground state by simulating evolution in imaginary time.

Quantum Instruments

A quantum instrument records a measurement outcome and the conditional state together, the most complete description of measurement.

Quantum Interference in Detail

Interference is the constructive and destructive combination of probability amplitudes, and it is the resource behind quantum speedups.

Quantum k-Means Clustering

Accelerating the assignment step of k-means using quantum distance estimation and amplitude amplification.

Quantum Kernel Methods

Quantum kernel methods embed data into a quantum Hilbert space and classify with the resulting kernel -- a quantum feature map plugged into a classical support-vector machine.

Quantum Kernels

A quantum kernel measures similarity between data points as the overlap of the quantum states they are encoded into, estimated by running a circuit many times.

Quantum LDPC Codes

Quantum low-density parity-check codes use sparse checks to encode many logical qubits per physical qubit, promising far lower overhead than the surface code.

Quantum LDPC Codes: Overview

Low-density parity-check quantum codes keep every check and every qubit involved in only a few others, promising high rate with bounded measurement weight.

Quantum Linear Algebra

A toolkit of primitives - block encoding, linear combination of unitaries, and singular value transformation - for manipulating matrices as quantum operations.

Quantum Machine Learning

Quantum machine learning uses parameterized quantum circuits as trainable models -- variational classifiers, quantum kernels, and quantum neural networks -- trained in a hybrid qua

Quantum Machine Learning: A Map

Quantum machine learning studies how quantum computers might represent, process, and learn from data using superposition, interference, and entanglement.

Quantum Machine Learning: A Skeptical View

Quantum machine learning is heavily hyped and thinly proven; Kronos treats it as a research curiosity, not a tool for the digital twin or control.

Quantum Measurement and Collapse

Measurement projects a quantum state onto a basis outcome with probability given by the squared amplitude, and the state collapses to that outcome.

Quantum Metropolis Sampling

A quantum analog of the Metropolis algorithm that samples from the thermal (Gibbs) distribution of a quantum Hamiltonian.

Quantum Mutual Information

Quantum mutual information measures the total correlation, classical and quantum, between two subsystems.

Quantum Nondemolition Measurement

A quantum nondemolition measurement extracts information about an observable while leaving that observable's value undisturbed, allowing repeated readout.

Quantum Parallelism and Its Limits

A quantum computer can evaluate a function on a superposition of all inputs at once, but measurement retrieves only one result.

Quantum PDE Solvers: An Honest Verdict

Quantum algorithms for differential equations exist on paper, but for Kronos plasma and field solves the caveats erase the advantage.

Quantum Phase Estimation

The canonical algorithm for reading an eigenvalue of a unitary, and thus of a Hamiltonian, from the phase it applies to an eigenstate.

Quantum Phase Estimation for Energy Levels

Phase estimation extracts eigenvalues of a Hamiltonian to arbitrary precision, the fault-tolerant route to chemically accurate fusion-material energies.

Quantum Phase Estimation: Worked Example

A step-by-step walkthrough estimating the eigenphase of a single-qubit unitary using a small ancilla register.

Quantum Principal Component Analysis

Quantum principal component analysis proposes to extract the dominant eigenvectors of a density matrix using quantum phase estimation, subject to strong assumptions.

Quantum Principal Component Analysis

Extracting the dominant eigenvectors of a density matrix by using multiple copies of it as a Hamiltonian.

Quantum Reed-Muller Codes

Built from classical Reed-Muller codes, this family yields CSS codes with useful transversal non-Clifford gates, at the cost of a low encoding rate.

Quantum Registers and Basis Encoding

A quantum register is a collection of qubits treated as one system; basis encoding stores integers as computational basis states.

Quantum Reservoir Computing

Quantum reservoir computing feeds data into a fixed, untrained quantum system and trains only a simple classical readout on its measured responses.

Quantum Resource Estimation

Forecasting the qubits, gates, and runtime a quantum algorithm needs, the sober accounting that separates promise from readiness.

Quantum Sensing for Fusion Diagnostics

Quantum sensors, distinct from quantum computers, offer precision magnetometry and metrology that could sharpen future diagnostics on the Kronos machines.

Quantum Shannon Decomposition

A recursive method that breaks any n-qubit unitary into two-qubit gates, achieving near-optimal CNOT counts.

Quantum Signal Processing

Applying a polynomial transformation to the eigenvalues of a block-encoded operator by interleaving it with tunable single-qubit rotations.

Quantum Simulation

Using a controllable quantum system to model another quantum system that is hard to simulate classically.

Quantum Simulation and Fusion Materials

Where quantum simulation could, in the long term, contribute to fusion engineering, stated honestly against current classical practice.

Quantum Simulation and Many-Body Physics

Quantum computers are naturally suited to simulating quantum many-body systems, a class of hard problems relevant to materials and plasma physics.

Quantum Simulation for Materials

Applying quantum simulation to solids and correlated materials, from the Hubbard model to defects, with an honest view of readiness.

Quantum Simulation of Neutron-Damage Defects

14 MeV neutrons displace atoms and grow defect clusters; their formation energies are correlated-electron quantities quantum simulation targets.

Quantum Simulation of REBCO Superconductors

The breeder's 16.84 T magnets rely on REBCO, a correlated-electron superconductor whose microscopics remain a target for quantum simulation.

Quantum Simulation: History and Milestones

A timeline of the ideas and experiments that built the field, from Feynman's proposal to optimal algorithms and hardware demonstrations.

Quantum Simulation: Overview

Quantum simulation uses a controllable quantum system to compute the behavior of another -- Feynman's original motivation for building a quantum computer.

Quantum Singular Value Transformation (QSVT)

A grand unification: apply any suitable polynomial to the singular values of a block-encoded matrix, recovering most quantum algorithms as special cases.

Quantum Solver Kernels (Honest Estimates)

Specific offline quantum kernels with published resource estimates — and no real-time claim.

Quantum State Preparation

Getting the right input state into the quantum computer, a prerequisite for phase estimation, chemistry, and dynamics alike.

Quantum States and State Vectors

A pure quantum state is a unit vector in a complex Hilbert space, written as a ket, encoding all predictable information about the system.

Quantum Superposition

Superposition lets a qubit hold a weighted combination of |0> and |1> at once; interference over these amplitudes is where quantum algorithms get their power.

Quantum Support Vector Machine

Two distinct approaches to quantum classification: fast kernel evaluation and linear-system-based training.

Quantum Support Vector Machines

A quantum support vector machine uses a quantum computer to compute a kernel matrix, then trains a standard maximum-margin classifier classically on that matrix.

Quantum Supremacy

The demonstration that a quantum computer performs a task no classical computer can do in feasible time.

Quantum Supremacy Experiments

Milestone demonstrations that a quantum processor performed a sampling task infeasible for classical supercomputers.

Quantum Teleportation

Teleportation transfers an unknown qubit state using a shared entangled pair and two classical bits, without moving the qubit itself.

Quantum Volume

Quantum volume is a single benchmark that folds together qubit count, connectivity, gate fidelity, and crosstalk into one number.

Quantum vs Classical Information

Quantum information differs from classical in three ways: it cannot be copied, cannot be read without disturbance, and can be entangled.

Quantum Walk Search on Graphs

Using quantum walks to find marked vertices faster than classical random walks, generalizing Grover search to graph structure.

Quantum Walks

A quantum walk spreads quadratically faster than a random walk - a search framework Kronos can point at the graphs its diagnostics and knowledge base form.

Quantum Walks for Simulation

Discrete- and continuous-time quantum walks provide an early route to Hamiltonian simulation and underpin the qubitization walk operator.

Quantum-Classical Hybrid Workflows in L0

Where a quantum processor would plug into the Kronos stack: strictly offline in L0, orchestrated by classical code, always with a classical baseline.

Quantum-Enabled Chemistry and Materials

Quantum computers may one day simulate molecules and materials classically intractable today, a long-horizon tool for fusion material discovery.

Quasiparticle Poisoning

Stray quasiparticles, broken Cooper pairs in a superconductor, degrade qubit coherence and are fought through shielding, gap engineering, and traps.

Qubit Count and the Cooling Curve

As processors grow from tens to millions of qubits, the wiring, control, and heat loads scale in ways that push against the limited cooling power of dilution refrigerators.

Qubit Error Budgets

An error budget accounts for how each physical mechanism contributes to a gate's total error, guiding where engineering effort will pay off.

Qubit Frequency Allocation

Fixed-frequency processors must assign each qubit a frequency that enables its gates while avoiding collisions with neighbors and defects.

Qubit Modalities Compared

Each qubit technology trades speed, fidelity, connectivity, coherence, and scalability differently; no modality yet wins on every axis.

Qubit Packaging and 3D Integration

Packaging houses the qubit chip, delivers control signals, and controls the electromagnetic environment; 3D integration stacks chips to route signals without crowding the qubit pla

Qubit Readout

Readout converts a qubit's quantum state into a classical bit, and its speed and fidelity strongly shape overall device performance.

Qubit Routing

Qubit routing maps a circuit's logical qubits onto hardware with limited connectivity, inserting SWAP gates so every two-qubit gate acts on physically adjacent qubits.

Qubitization

Turning a block-encoded Hamiltonian into a quantum walk whose eigenphases encode arccos of the Hamiltonian's spectrum, enabling optimal simulation.

Qubitization and Linear Combination of Unitaries

Block-encoding and qubitization give near-optimal Hamiltonian simulation scaling, the fault-tolerant route Kronos targets for materials.

Qubits vs Probabilistic Bits

A qubit is not a random classical bit: complex amplitudes, interference, and entanglement set it fundamentally apart.

Radiation and Infrared Shielding of Qubits

Qubits must be shielded from stray infrared photons, radio-frequency interference, and ionizing radiation, all of which degrade coherence.

Random Circuit Sampling

Running a random quantum circuit and sampling its output, the task behind superconducting quantum advantage demonstrations.

Repetition-Cat Codes

Stacking a classical repetition code on bit-flip-protected cat qubits corrects the remaining phase flips, giving a lean path to a logical qubit.

Resonator-Multiplexed Readout

Assigning each qubit's readout resonator a distinct frequency lets one feedline and one amplifier chain read many qubits at once.

Running Grover Search on Three Qubits

Search an 8-item unstructured database in a single Grover iteration, amplifying the marked state from 1/8 to near-certainty.

Second Quantization

The operator formalism that expresses many-fermion Hamiltonians in terms of creation and annihilation operators, the starting point for qubit encodings.

Secrets and Key Management

Private keys and secrets live in hardware security modules and device key stores, are never exported in the clear, and rotate on short, enforced schedules.

Semiconductor Spin Qubits and Their Cooling

Spin qubits encode information in the spin of electrons confined in semiconductor quantum dots and, like superconducting qubits, operate at millikelvin temperatures.

Separable vs Entangled States

Separable states factor into independent parts or classical mixtures of products; entangled states cannot, and are the useful quantum resource.

Shor's Algorithm

A quantum algorithm that factors large integers exponentially faster than known classical methods.

Shor's Algorithm

Shor's algorithm factors integers in polynomial time - a threat to today's cryptography that shapes how Kronos protects its own data and IP.

Shot Noise and Sampling

Every quantum expectation value is estimated from a finite number of measurements, so shot noise sets the precision and the runtime of quantum machine learning.

Silicon Spin-Qubit Control

Spin qubits encode information in the spin of electrons or holes confined in silicon quantum dots, controlled by magnetic resonance and electrical exchange.

Silicon Spin-Qubit Readout

Reading a spin qubit converts the spin state into a charge signal, sensed by a nearby charge detector or by dispersive gate reflectometry.

Simon's Algorithm

Simon's algorithm was the first exponential quantum speedup for a structured problem - the conceptual seed of Shor, and part of why Kronos's team builds fluency in the quantum stac

Simulated Annealing

Borrow the physics of slow cooling: accept worse solutions with a temperature-dependent probability to escape local minima.

Simulated Annealing on a Toy Problem

Escape local minima by accepting uphill moves with a probability that cools over time, mimicking metallurgical annealing.

Simulating a 2-Qubit Grover Search

Run one Grover iteration on a two-qubit register to amplify a marked state and reach it with certainty.

Simulating Lattice Gauge Theories

Quantum simulation of gauge fields on a lattice, a frontier connecting particle physics, the sign problem, and constrained Hilbert spaces.

Simulating Molecules and Electronic Structure

The full pipeline from a molecular geometry to a qubit Hamiltonian whose ground-state energy predicts chemistry.

Simulating Open Quantum Systems

Extending simulation from isolated unitary dynamics to systems coupled to an environment, governed by non-unitary master equations.

Simulating Spin Systems

Spin lattices are the natural first target for quantum simulators because their qubits and interactions map almost directly onto hardware.

Simulating the Heisenberg Model

The quantum Heisenberg spin model, its role as a simulation benchmark, and how its dynamics are implemented on qubits.

Simulating Time-Dependent Hamiltonians

Handling Hamiltonians that change during the evolution, from driven systems to interaction-picture and Dyson-series methods.

Single-Qubit Gate Drives

Single-qubit rotations are produced by resonant microwave pulses whose amplitude, phase, and duration set the rotation angle and axis.

Single-Qubit Gates

Single-qubit gates are 2x2 unitaries that rotate the Bloch sphere; they cover phase, bit-flip, and superposition operations.

Spin Qubits

Spin qubits store information in a single electron's spin in silicon - a manufacturable qubit whose millikelvin cooling ties directly to Kronos's helium-3 supply story.

Spin Qubits in Silicon

Silicon spin qubits store information in the spin of a single electron or nucleus, promising compatibility with semiconductor manufacturing.

Square-Root iSWAP Gate

A partial exchange gate, the entangler that many superconducting processors calibrate as their fundamental two-qubit operation.

Square-Root SWAP Gate

A gate that, applied twice, exchanges two qubits, and applied once produces a half-swap that is a universal entangler.

State Preparation and Initialisation

State preparation resets qubits to a known state and builds the desired input; it is a DiVincenzo criterion and a real error source.

Superconducting Qubit Fabrication

Superconducting qubits are built from thin-film metals and Josephson junctions on silicon or sapphire, then operated at millikelvin temperatures.

Superconducting Qubits

Superconducting qubits are engineered nonlinear microwave circuits cooled to millikelvin temperatures, the leading solid-state modality.

Superdense Coding

Superdense coding sends two classical bits by transmitting one qubit, using a pre-shared entangled pair.

Superposition

Superposition is the ability of a quantum system to be in a weighted combination of multiple basis states simultaneously, with complex amplitudes.

Surface-Code Error Correction

Fault tolerance is the gate to real fusion-materials simulation; the surface code shows how many physical qubits one logical qubit costs.

SWAP Networks

SWAP networks move quantum states across a limited-connectivity chip so distant qubits can interact, at the cost of extra gates.

Syndrome Extraction Circuits

An ancilla qubit and a few controlled gates measure a multi-qubit stabilizer as one classical bit without collapsing the logical state.

Szegedy Quantum Walk

A construction that turns any classical Markov chain into a quantum walk, quadratically shrinking hitting and mixing times.

T-Gate Counts and Fault Tolerance

Why non-Clifford gates dominate the cost of fault-tolerant quantum algorithms, and how their count is minimized.

T1 and T2 Relaxation Times

T1 measures how long a qubit keeps its energy state; T2 measures how long it keeps phase coherence. Both bound useful computation time.

T1: Energy Relaxation Time

T1 is the timescale over which an excited qubit loses its energy and decays to the ground state, capping how long computation can run.

T2: Dephasing Time

T2 measures how long a qubit keeps a well-defined phase; it is bounded by T1 and usually the tighter limit on quantum computation.

Tanner Graphs for Quantum Codes

A Tanner graph draws qubits and checks as two sets of nodes joined by edges, the picture that both defines LDPC codes and drives message-passing decoders.

Technical Debt

Shortcuts that speed today's work borrow against tomorrow's; unpaid, the interest compounds until change becomes nearly impossible.

Teleportation as a Channel

Quantum teleportation implements the identity channel on an unknown state using shared entanglement and two classical bits.

Tensor Networks and Quantum ML

Tensor networks efficiently represent low-entanglement quantum states, serving both as classical machine learning models and as the benchmark quantum methods must beat.

The Adiabatic Theorem

A system stays in its instantaneous ground state if the Hamiltonian changes slowly enough relative to the energy gap; this is the principle behind adiabatic quantum computing and q

The Bacon-Shor Code

The Bacon-Shor code is a subsystem code on an n-by-n grid whose gauge operators are all weight two, making syndrome extraction unusually simple.

The Barren Plateau Problem

In many parameterized quantum circuits the loss gradient shrinks exponentially with qubit count, leaving a nearly flat landscape that gradient descent cannot navigate.

The Bellman Equation

The Bellman equation expresses a value as immediate reward plus the discounted value of what follows, making long-horizon value recursive.

The Bellman Optimality Equation

The Bellman optimality equation replaces the policy average with a maximum, characterizing the value of acting optimally.

The Bloch Sphere

The Bloch sphere is a geometric picture where every pure single-qubit state is a point on a unit sphere and every gate is a rotation.

The Bloch Sphere and Mixed States

The Bloch ball represents every single-qubit state, with pure states on the surface and mixed states inside.

The Bloch Vector and the Density Matrix

Any single-qubit density matrix maps to a point in the Bloch ball via its Bloch vector, with pure states on the surface.

The Choi-Jamiolkowski Isomorphism

Every quantum channel corresponds to a single bipartite state, turning questions about maps into questions about states.

The CHSH Inequality

CHSH is the workhorse Bell inequality: a correlation bound obeyed by local hidden variables but violated by entangled quantum states.

The Class co-NP

co-NP contains problems whose no-answers have short, polynomial-time-checkable certificates.

The Class NP

NP is the class of problems whose yes-answers can be verified by a deterministic algorithm in polynomial time given a short certificate.

The CNOT Gate

The controlled-NOT gate flips a target qubit when the control is 1; combined with single-qubit gates it enables universal computation and entanglement.

The Complexity of Simulation

Simulating physical systems can be computationally hard, which is why plasma and quantum systems strain even the largest classical computers.

The Computational Basis

The computational basis is the standard {|0>,|1>} reference frame for qubits, in which states are prepared, gates are defined, and measurements are read.

The Controlled-Phase (CZ) Gate

The CZ gate adds a phase only when both qubits are 1; on tunable superconducting qubits it is made by briefly using a higher energy level.

The Cross-Resonance Gate

The cross-resonance gate entangles two fixed-frequency superconducting qubits by driving one qubit at the other's frequency, needing no tunable elements.

The CZ Gate

The controlled-Z gate is a two-qubit entangler native to much of today's hardware - and entanglement is what makes Kronos's material-simulation circuits more than a stack of single

The DiVincenzo Criteria

The DiVincenzo criteria are five requirements a physical system must meet to serve as a quantum computer, plus two for communication.

The Eikonal and Ray-Tracing Equations

The short-wavelength approximation that turns wave propagation into the trajectories of rays through a plasma.

The Five-Qubit Perfect Code

The [[5,1,3]] code is the smallest possible code correcting an arbitrary single-qubit error, saturating the quantum Hamming bound.

The Flux-Tunable Transmon

Replacing the transmon's single junction with a SQUID loop lets an applied flux tune the qubit frequency, enabling fast gates at the price of added flux sensitivity.

The Fluxonium Qubit

Fluxonium shunts a Josephson junction with a large superinductance, reaching high anharmonicity and long coherence at low frequency.

The Gamow Peak and Quantum Tunneling

The narrow energy window where the odds of tunneling the Coulomb barrier and finding a fast particle combine.

The GHZ State

The GHZ state is a multiparty entangled state whose correlations refute local realism without any inequality, in a single run.

The Gottesman-Knill Theorem

Circuits built only from Clifford gates and computational-basis measurement are efficiently simulable on a classical computer.

The Hadamard Gate

The Hadamard gate creates equal superpositions and switches between the computational and diagonal bases; it is central to nearly every algorithm.

The Hamiltonian Simulation Problem

Given a Hamiltonian H, a time t, and an error budget, produce a quantum circuit that approximates the evolution operator e^(-iHt).

The Heisenberg Picture in Quantum Computing

Tracking how operators evolve rather than states gives an efficient description of Clifford circuits and stabilizer codes.

The Identity Gate

The identity gate does nothing on purpose - and that makes it Kronos's ruler for measuring how fast a real qubit forgets.

The Ising Model

Spins on a lattice with pairwise couplings and local fields -- the Ising model is the canonical map for combinatorial optimization and quantum annealing.

The Jordan-Wigner Transformation

The most direct mapping from fermionic creation and annihilation operators to qubit Pauli operators, at the cost of long non-local strings.

The Josephson Parametric Amplifier

A Josephson parametric amplifier boosts faint qubit-readout signals with noise near the quantum limit, sitting at the coldest stage of the cryostat.

The KLM Linear-Optics Scheme

The Knill-Laflamme-Milburn scheme shows that scalable quantum computing is possible with single photons, linear optics, and measurement, despite the lack of photon-photon interacti

The Kochen-Specker Theorem

No consistent assignment of definite, context-independent values to all quantum observables exists in dimension three or higher.

The Leggett-Garg Inequality

A temporal analogue of Bell inequalities, testing whether a single system's behavior over time admits a classical realist description.

The Mermin-Peres Magic Square

A three-by-three grid of two-qubit observables gives a compact, state-independent proof of quantum contextuality.

The Molmer-Sorensen Gate

The Molmer-Sorensen gate entangles trapped ions through their shared motion, insensitive to the exact motional state, giving the field's highest fidelities.

The Nine-Qubit Shor Code

Peter Shor's 1995 code nests a bit-flip code inside a phase-flip code to correct any single-qubit error, proving quantum error correction is possible.

The NISQ Era

NISQ describes today's noisy, intermediate-scale quantum processors: tens to hundreds of qubits without full error correction.

The No-Cloning Theorem

No quantum operation can make an identical copy of an arbitrary unknown quantum state, a direct consequence of linearity.

The No-Signaling Principle

Entanglement produces strong correlations but cannot transmit information faster than light, keeping quantum theory consistent with relativity.

The Overhead Problem

Turning noisy physical qubits into reliable logical ones costs a large multiplier in qubits and time, the central practical barrier to scaling.

The Parametric iSWAP Gate

Modulating a qubit's flux at the frequency difference between two qubits drives a resonant exchange of excitation without a static resonance.

The Pauli Group

The group generated by the Pauli matrices with phases, the algebraic backbone of stabilizer codes and error correction.

The Pauli Matrices

The Pauli matrices X, Y, Z form a basis for single-qubit operators and generate rotations on the Bloch sphere.

The Pauli-X Gate

The Pauli-X gate is the quantum NOT - one letter of the alphabet Kronos writes its quantum-chemistry and control circuits in.

The Pauli-Y Gate

The Pauli-Y gate combines a bit flip with a phase flip - the complex rotation Kronos uses to build the trial states in its materials-chemistry circuits.

The Pauli-Z Gate

The Pauli-Z gate flips phase, not bits - and phase is where Kronos reads energies out of its material-simulation circuits.

The PPT Criterion

The positive partial transpose test detects entanglement and is complete for the smallest bipartite systems.

The Quantum Circuit Model

The circuit model describes computation as qubits initialised, transformed by a sequence of gates, then measured to produce classical output.

The Quantum Fourier Transform

The QFT is an exponentially compact Fourier transform - the core primitive Kronos would use to read energies out of a material's Hamiltonian.

The Quantum Fourier Transform on Three Qubits

Trace the QFT gate by gate on three qubits, showing the Hadamard-and-controlled-phase ladder and the final qubit swap.

The Quantum Hamming Bound and Perfect Codes

A counting argument limits how many logical qubits a distance-d code can protect, and codes that meet it with equality are called perfect.

The Quantum Oracle

A quantum oracle is a black-box unitary that encodes problem structure; algorithms like Grover's query it in superposition and count the number of queries as the cost.

The Quantum Teleportation Circuit

Move an unknown qubit state across a shared Bell pair using two classical bits and local corrections.

The Qubit

A qubit is the basic unit of quantum information: a two-level quantum system that can hold any superposition of its two basis states.

The Qubit: Physical Foundations

A qubit is any quantum two-level system whose superposition and entanglement encode information a classical bit cannot.

The S Gate

The S gate is a quarter-turn of phase - a Clifford gate that is cheap in the error-corrected circuits Kronos plans for fusion chemistry.

The Schmidt Decomposition

Any bipartite pure state can be written with a single sum over matched local bases, exposing its entanglement structure at a glance.

The Schrodinger Equation and Gate Time

The Schrodinger equation governs how quantum states evolve; engineering a gate means running a chosen Hamiltonian for a chosen time.

The Seven-Qubit Steane Code

The Steane code encodes one logical qubit in seven physical qubits using the classical Hamming code twice, and supports transversal Clifford gates.

The Stabilizer Tableau

A stabilizer tableau stores a stabilizer state as a binary matrix, letting Clifford operations and measurements be simulated in polynomial time.

The SWAP Gate

The SWAP gate moves a qubit's state to a neighbor - the routing Kronos's circuits need because real chips only connect adjacent qubits.

The SWAP Test

The SWAP test uses one ancilla qubit and a controlled-SWAP to estimate the overlap between two unknown quantum states.

The Swap Test

The swap test measures how similar two quantum states are - the similarity score behind the quantum-machine-learning kernels Kronos studies for plasma data.

The Tensor Product and Multi-Qubit States

The tensor product combines individual qubit spaces into a joint space whose dimension grows exponentially with the number of qubits.

The Three-Qubit Bit-Flip Code

The simplest quantum code encodes one qubit in three, detecting and correcting a single bit-flip by measuring two parity operators.

The Three-Qubit Phase-Flip Code

By working in the Hadamard basis, the three-qubit code corrects a single phase flip instead of a bit flip.

The Threshold Theorem

If the physical error rate is below a threshold, arbitrarily long quantum computation is possible with only polylogarithmic overhead.

The Toffoli Gate

The Toffoli gate brings classical AND into a reversible quantum circuit - the arithmetic Kronos needs inside energy-estimation routines.

The Toric Code

Kitaev's toric code places qubits on a lattice wrapped on a torus, encoding two logical qubits in its topology and introducing topological protection.

The Transmon Qubit

The transmon trades a controlled loss of anharmonicity for strong immunity to charge noise, and dominates superconducting quantum computing today.

The Transverse-Field Ising Model

The simplest model with a genuine quantum phase transition, and a standard testbed for both digital and analog quantum simulators.

The Traveling Salesman Problem

The traveling salesman problem asks for the shortest route visiting every city once and returning to the start.

The Traveling-Wave Parametric Amplifier

A traveling-wave parametric amplifier gives broadband, near-quantum-limited gain by spreading amplification along a long nonlinear transmission line.

The Tsirelson Bound

Quantum correlations violate Bell inequalities but only up to a precise ceiling, revealing that nature is nonlocal yet not maximally so.

The Uncertainty Principle in Quantum Computing

Noncommuting observables cannot be simultaneously sharp, a constraint that shapes measurement, gate design, and quantum protocols.

The Vlasov Equation and Quantum Solvers

How the collisionless plasma transport equation might be recast for quantum algorithms, and the obstacles that stand in the way.

The VQE Energy Curve for H2

Sweep the bond length of the hydrogen molecule and minimize a two-parameter ansatz to trace the ground-state energy well.

The W State

The W state spreads a single excitation across many qubits and keeps its entanglement robust under particle loss.

Through-Silicon Vias in Quantum Devices

Through-silicon vias are vertical conductive channels that carry signals and ground connections through a chip, enabling dense 3D wiring for large qubit arrays.

Topological Qubits

Topological qubits would store information in global, nonlocal properties of matter, making it intrinsically resistant to local noise.

Trace Distance

Trace distance measures how distinguishable two quantum states are, with a direct operational meaning in single-shot discrimination.

Tracing A* on a Grid

Search a small grid with obstacles using A*, combining path cost and a heuristic to find the shortest route efficiently.

Trapped-Ion Qubits

Trapped-ion qubits use individual charged atoms held in vacuum by electric fields, offering long coherence and all-to-all connectivity.

Trotter-Suzuki Product Formulas

Product formulas approximate e^{-iHt} by chopping it into small implementable steps, the workhorse of near-term Hamiltonian simulation.

Trotterization

Trotterization approximates evolution under a sum of non-commuting terms by alternating short evolutions under each -- the workhorse of digital quantum simulation.

Trotterizing a Simple Hamiltonian

Approximate time evolution under a sum of non-commuting terms by splitting it into small, easy-to-simulate steps.

Tunable Versus Fixed Couplers

A coupler mediates interaction between two qubits; making it tunable lets designers switch the interaction on for a gate and off for idling.

Two-Level-System Defects

Microscopic two-level systems in amorphous materials and interfaces absorb energy from qubits and are a leading limit on superconducting coherence.

Two-Qubit Gates

Two-qubit gates are 4x4 unitaries that can entangle qubits; at least one entangling gate is required for universal quantum computation.

Two-Qubit Gates on Tunable Transmons

Frequency tunability lets transmons realize controlled-phase and exchange gates by moving qubits into resonance with each other or with a coupler.

Two-Qubit KAK Decomposition

The Cartan factorization that splits any two-qubit gate into local rotations around a canonical entangling core.

U2 Gate

A two-parameter single-qubit gate fixing the polar angle at ninety degrees, the workhorse for superposition creation.

U3 General Single-Qubit Gate

The three-parameter gate that realizes any single-qubit unitary up to global phase, the universal one-qubit primitive.

Unitary Evolution

Closed quantum systems evolve by unitary transformations, which preserve inner products, normalisation, and reversibility.

Universal Gate Sets

A universal gate set can approximate any unitary to arbitrary accuracy; a small finite set suffices for all quantum computation.

Variational Quantum Classifiers

A variational quantum classifier encodes data into a circuit, applies trainable gates, and measures an observable whose expectation is optimized to predict labels.

Variational Quantum Eigensolver (VQE)

A hybrid quantum-classical method that finds ground-state energies by minimizing the expectation of a Hamiltonian over a parameterized circuit.

Variational Quantum Eigensolver Workflow

The hybrid loop that estimates a Hamiltonian's ground-state energy by minimizing a parameterized quantum circuit's expectation value.

Variational Quantum Imaginary-Time Evolution

Following the imaginary-time ground-state trajectory within a parameterized ansatz by evolving its parameters.

Verifying Quantum Simulations

How to trust the output of a quantum simulator when its regime is, by design, beyond classical checking.

VQE Ansatze: UCCSD vs Hardware-Efficient

The choice of parameterized circuit trades physical motivation against hardware depth, and both families hit real limits for fusion materials.

VQE for First-Wall Electronic Structure

The variational quantum eigensolver estimates ground-state energies of first-wall materials by minimizing a classically driven cost over a quantum ansatz.

VQE for Quantum Chemistry

Using variational eigensolvers to estimate molecular ground-state energies, the flagship near-term application of quantum simulation.

VQE for the Hydrogen Molecule

Estimate the ground-state energy of H2 with a variational quantum eigensolver: a parameterised circuit plus a classical optimizer.

VQE Hardware-Efficient Ansatz

Shallow parameterized circuits built from a device's native gates, chosen for trainability on noisy hardware rather than physical fidelity.

VQE UCCSD Ansatz

The unitary coupled-cluster singles-and-doubles trial state, a chemistry-motivated ansatz with built-in physical structure.

W States

W states are multi-qubit entangled states whose entanglement survives the loss of a qubit, unlike the fragile GHZ states.

Weyl Chamber of Two-Qubit Gates

The tetrahedral map of all inequivalent two-qubit entangling operations, one point per local-equivalence class.

When Phase Is Measurable

Relative phase between components of a superposition is physically real and measurable; a global phase on the whole state is not.

Where Quantum Computing Fits for Kronos

A candid map of the few fusion problems where quantum computing has a credible long-term role, and the many where it does not.

Why Classical Simulation of Quantum Systems Is Hard

Simulating a general quantum system classically needs memory exponential in the number of particles, motivating quantum computers.

Why Post-Quantum Matters

Even before quantum computers exist, adversaries can record encrypted data today and decrypt it later, making the migration urgent now.

Why Quantum Systems Are Hard to Simulate

The state of a quantum system grows exponentially with its size, making exact classical simulation infeasible beyond small systems.

Why Qubits Need Error Correction

Quantum information is fragile: qubits decohere, gates are imperfect, and measurement collapses state, so raw qubits cannot run long computations.

Why Qubits Need Millikelvin Temperatures

A qubit must be far colder than its own transition energy so that thermal photons do not randomly excite it out of a well-defined quantum state.

Worked Example: A Space-Filling Design

A short, concrete look at how a space-filling design spreads sample points across a configuration space before any simulation runs.

XX+YY Exchange Gate

An excitation-conserving two-qubit gate that mixes the single-excitation states while leaving zero- and double-excitation states fixed.

ZYZ Euler Decomposition

Any single-qubit gate as three rotations about the Z and Y axes, the standard way to lower a 2x2 unitary to hardware.