Quantum computing
Qubits, gates, error correction, variational algorithms and where quantum methods touch fusion design. 427 pages
Approximate the evolution of two non-commuting Hamiltonian terms with a first-order Trotter split and bound the step error.
The construction that realizes any controlled single-qubit gate with only two CNOTs plus single-qubit rotations.
Active reset deterministically returns a qubit to its ground state in microseconds, instead of waiting many relaxation times for passive decay.
The general procedure behind Grover search: boosting the amplitude of a marked subspace by iterated reflections.
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.
Near-term variants recover the marked amplitude from Grover-power measurements, avoiding the deep quantum Fourier transform.
Engineering a controllable quantum device whose native dynamics directly emulate a target Hamiltonian, without decomposing into gates.
Accounting for the extra qubits algorithms need beyond the system register, and the overhead multiplier that error correction imposes.
Ancilla qubits are helper qubits that hold intermediate results; uncomputation resets them to avoid unwanted entanglement.
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 synthesize the precisely shaped pulses that drive qubit gates, one of the workhorses of quantum control.
A general two-qubit controlled rotation introduced in the proof that a fixed two-qubit gate plus single-qubit gates is universal.
Bell inequalities are limits obeyed by any local hidden-variable theory; quantum mechanics violates them, ruling out local realism.
The four Bell states are the maximally entangled two-qubit states and form an orthonormal basis for two qubits.
Bellman-Ford computes shortest paths even with negative edge weights and detects negative cycles, at a cost of O(V*E).
Fair benchmarking of quantum machine learning demands strong classical baselines, honest resource accounting, and datasets that actually test the claimed strength.
A special two-qubit gate that generates any two-qubit unitary with only two applications, the most efficient known primitive.
A bit-flip error applies the Pauli X operator, swapping |0> and |1> while preserving the relative phase of a superposition.
Bosonic qubits store information in the many levels of a microwave cavity mode, using redundancy in one physical element to resist errors.
Some entangled states cannot yield any pure Bell pairs no matter how many copies you process; their entanglement is locked away.
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.
Construct the maximally entangled two-qubit Bell state with one Hadamard and one CNOT, tracking the amplitudes at each step.
Qubit parameters drift over hours, so quantum computers are continuously recalibrated to keep gates and readout accurate.
The three-parameter entangling core that every two-qubit gate reduces to once local rotations are stripped away.
Cat codes store a qubit in superpositions of coherent states, engineering the hardware so that one type of error becomes exponentially rare.
Quantum error correction inherits ideas from classical coding but must overcome no-cloning, continuous errors, two error types, and destructive measurement.
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.
Compiling arbitrary gates into the fault-tolerant Clifford-plus-T basis, where T-count is the dominant resource.
CLOPS measures how fast a quantum processor runs circuits, capturing throughput that fidelity-based metrics like quantum volume ignore.
A cluster state is a highly entangled multi-qubit resource; measurements on it drive measurement-based quantum computation.
Coherence is the presence of definite phase relationships in a superposition; it is the resource consumed by interference and destroyed by noise.
Qubit coherence is bounded by energy relaxation and dephasing, each driven by a distinct family of physical mechanisms that hardware design tries to suppress.
Special Hamiltonians whose structure lets their evolution be simulated in time independent of the duration, escaping the no-fast-forwarding bound.
Different qubit technologies demand very different operating temperatures, from millikelvin for superconductors to room temperature for some photonic and defect-based systems.
Modeling the loop where helium-3 supports quantum and low-temperature technologies whose growth in turn raises demand for helium-3.
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 is a closed-form entanglement measure for two qubits, valid even for mixed states through Wootters' formula.
Connectivity is which qubits can directly interact; limited connectivity forces extra SWAP operations that add error and depth.
A quantum walk that evolves under a graph Hamiltonian, requiring no coin register.
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.
A controlled gate applies a target operation only when control qubits are set, generalising CNOT and enabling conditional quantum logic.
A two-qubit gate that applies an X-axis rotation to the target only when the control qubit is set.
The general recipe for conditioning any single-qubit unitary on a control, the parent of every controlled single-qubit gate.
High-energy particles striking the chip deposit energy that spreads across many qubits at once, causing correlated errors that ordinary error correction cannot absorb.
Hybrid computing treats a quantum processor as an accelerator that a classical supercomputer calls for the sub-problems where it may hold an advantage.
Completely positive, trace-preserving maps are exactly the transformations a quantum state can physically undergo.
Crosstalk is the unwanted influence of operating one qubit on another; spectator errors are the disturbances that idle qubits suffer during their neighbors' gates.
Superconducting nanowire and transition-edge detectors sense individual photons but require cryogenic cooling, extending cold-infrastructure needs beyond qubits.
Calderbank-Shor-Steane codes build quantum codes from two classical linear codes, keeping X-type and Z-type checks separate.
Decoherence is the loss of quantum coherence as a system interacts with its environment, turning superpositions into classical mixtures.
Decoherence is the loss of quantum information to the environment; understanding its noise sources drives every improvement in qubit hardware.
Quantum channels describe noise as completely positive trace-preserving maps; common ones model bit-flip, phase damping, and energy loss.
A three-qubit controlled rotation that was the first single gate proven universal for quantum computation.
Approximating any Hamiltonian's dynamics with a universal gate set, trading generality against gate-count overhead.
A coined quantum walk whose step alternates a coin operator with a conditional shift, producing ballistic spreading.
Dispersive readout infers a superconducting qubit's state from a state-dependent shift in the frequency of a coupled microwave resonator.
Ford-Fulkerson with breadth-first shortest augmenting paths, giving a capacity-independent polynomial bound.
Entanglement is a correlation between quantum systems so strong that the joint state cannot be written as a product of individual states.
Distillation converts many weakly entangled or noisy pairs into fewer near-perfect Bell pairs using only local operations and communication.
Entanglement entropy quantifies how entangled a bipartite pure state is, as the von Neumann entropy of a subsystem's reduced state.
A Bell measurement can entangle two particles that never interacted, the mechanism behind quantum repeaters.
Entangling layers create correlations between qubits that classical product states cannot represent, and their pattern shapes a circuit's power and trainability.
Quantum error correction multiplies the number of physical qubits and the classical processing near them, tightening every constraint on cryogenic cooling.
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 graphs, which stay well connected while remaining sparse, are the mathematical engine that guarantees large distance in good quantum LDPC codes.
Expressivity measures how large a family of states or functions a parameterized circuit can reach, and it trades off directly against trainability.
Reading out a logical qubit reliably requires measuring many physical qubits and reconciling the results against the code, not trusting any single readout.
How many logical qubits and T gates would a real first-wall simulation need? Honest estimates set the horizon for Kronos quantum materials work.
Richard Feynman's 1981 argument that classical machines cannot efficiently simulate quantum systems, and that quantum machines can.
Fidelity measures how close two quantum states are; it is the primary benchmark for gate and state-preparation quality.
Fidelity measures how close two quantum states are, the standard figure of merit for gates, memories, and channels.
A variant of Grover search that converges monotonically to the target, eliminating the risk of overshooting the solution.
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 bonding joins a qubit chip face-to-face with a wiring chip using superconducting bumps, separating fragile qubits from lossy routing layers.
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 measures how close a real operation is to its ideal; it is the headline metric for qubit quality and the gate to error correction.
A protocol that applies a gate by consuming a pre-prepared entangled resource state and classical feedforward.
GHZ states are maximally entangled states of three or more qubits that give an all-or-nothing violation of local realism.
Preparing thermal states of a Hamiltonian on a quantum computer to compute finite-temperature properties.
Global phase is physically unobservable, but relative phase between amplitudes is real and drives quantum interference.
Good quantum LDPC codes achieve constant rate and distance proportional to block length at once, the asymptotically optimal scaling long thought hard to reach.
How Grover's algorithm behaves when several items are marked, and how to tune iterations when the count is unknown.
A quantum search algorithm that finds an item in an unsorted list with a quadratic speedup.
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 learn a scalar energy function whose derivatives generate the dynamics, conserving energy by construction.
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
Simulating quantum time evolution e^{-iHt} is the core primitive behind every materials and chemistry use case in the Kronos quantum program.
How the algebraic and geometric structure of a Hamiltonian determines which simulation algorithm is efficient.
Scaling from tens of qubits to the millions needed for useful error correction is a systems problem spanning qubits, wiring, control, and fabrication yield.
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 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 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 cools quantum computers to near absolute zero; a fusion isotope platform is a route to a supply that is otherwise very scarce.
A Hilbert space is the complex inner-product vector space where quantum states live; qubits use finite-dimensional versions.
The layers are joined by explicit interfaces and two directions of flow — telemetry rising and authority descending — never by hidden shortcuts.
Near-term quantum machine learning runs a quantum circuit for evaluation and a classical optimizer for parameter updates, looping between the two.
The hypergraph product turns any pair of classical codes into a quantum CSS code, the first general recipe for high-rate quantum LDPC codes.
Quantum interference lets amplitude paths add or cancel, concentrating probability on correct answers; it is what makes quantum algorithms fast.
Trapped-ion processors hold atomic ions in electromagnetic traps and manipulate them with lasers or microwaves, using shared motion to entangle qubits.
A symmetric two-qubit entangler generated by the XX interaction, native to trapped-ion hardware.
The YY-generated two-qubit rotation, one of the three Cartan directions that classify every two-qubit entangler.
A diagonal two-qubit phase gate generated by the ZZ interaction, the entangling core of QAOA and phase-sum circuits.
Swaps two qubits and adds a ninety-degree phase to the exchanged amplitudes, a native entangler on many superconducting chips.
Extract the phase of an eigenvalue one bit at a time using a single ancilla qubit, and reconstruct the value from the measured bits.
The Josephson junction is the nonlinear heart of a superconducting qubit, and its fabrication reproducibility sets the yield and frequency spread of a processor.
A technique to implement a weighted sum of unitaries on a quantum computer using select and prepare oracles plus ancilla qubits.
The KLM scheme shows universal quantum computing is possible with single photons, linear optics, and measurement, without direct photon-photon interaction.
A logical qubit is an encoded degree of freedom spread across many physical qubits, protected so its state survives local errors.
Why simulating dynamics for long times is fundamentally hard, and what limits both classical and quantum approaches.
The provable limits on how efficiently any quantum algorithm can simulate time evolution, and why optimal algorithms exist.
A special maximally entangled basis in which two-qubit gate analysis and the KAK decomposition become tractable.
Distillation converts many noisy magic states into fewer high-fidelity ones using Clifford circuits, supplying the non-Clifford gates for universality.
The non-Clifford T gate, needed for universality, is enacted by consuming a special magic state through gate teleportation.
Every quantum optimizer consumes an Ising or QUBO form; getting Kronos constraints into that form correctly is where most of the real work lives.
When posteriors have no closed form, the stack samples them; Hamiltonian Monte Carlo makes high-dimensional fusion inference tractable.
Extracting physical quantities from a simulated quantum state efficiently, often the hidden bottleneck of quantum simulation.
In the one-way model, computation proceeds by measuring qubits of a pre-built entangled cluster state, not by applying gates.
Photons in a readout resonator carry qubit information; the same information leak dephases the qubit whenever the resonator population fluctuates.
A comparison of quantum approaches to extracting Hamiltonian eigenvalues, from variational bounds to phase estimation and spectral filtering.
Superconducting and many spin qubits are driven by shaped microwave pulses whose frequency, amplitude, and phase set the rotation on the Bloch sphere.
Superconducting qubits are microwave devices, and their performance depends on impedance matching, mode control, and clean transmission-line design.
Finding a maximum flow of minimum total cost by repeatedly augmenting along shortest-cost paths in the residual graph.
A pure state carries maximal quantum information; a mixed state represents classical uncertainty or entanglement with an inaccessible system.
Rather than one enormous refrigerator, large quantum systems may distribute qubits across networked cryostats, spreading the cooling and wiring load.
Entanglement cannot be freely shared: if two qubits are maximally entangled, neither can be entangled with any third party.
Entanglement cannot be freely shared: the more one party is entangled with a second, the less it can be with a third.
Flips a target qubit only when every one of several control qubits is set, the multi-input generalization of CNOT and Toffoli.
The small collections of physically executable gates that define what each quantum hardware platform can do directly.
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 measures entanglement by how much the partial transpose of a state fails to be positive, computable for any dimension.
Neutral-atom qubits hold single atoms in optical tweezers and entangle them through Rydberg states, combining uniformity with flexible geometry.
NV centers are atomic defects in diamond whose electron spin is a qubit readable by light and stable at room temperature.
Hardware noise corrupts every quantum computation; error mitigation reduces its effect on expectation values without the full overhead of error correction.
Octal is base 8, a compact shorthand for binary where each digit stands for exactly three bits.
Focused laser beams hold single atoms in place, and the Rydberg blockade turns those atoms into entangling two-qubit gates.
Only orthogonal quantum states can be told apart with certainty; non-orthogonal states can never be perfectly distinguished.
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.
Beyond Jordan-Wigner and Bravyi-Kitaev, encodings that trade qubits, locality, and error resilience in different ways.
Gates that compute or phase according to the parity of a set of qubits, central to error-correction stabilizer checks.
Measuring one qubit of an entangled register collapses the whole state consistently, updating the rest without fully determining it.
Pauli twirling averages a noise channel over random Pauli operations, converting complex coherent noise into a simpler Pauli channel.
A three-qubit reversible gate combining a Toffoli and a CNOT, a compact primitive for reversible arithmetic.
Phase kickback transfers a controlled operation's eigenphase onto the control qubit, a mechanism behind many quantum algorithms.
A phase-flip error applies the Pauli Z operator, flipping the sign of |1> and thereby scrambling the relative phase that carries quantum information.
Measurement-based quantum computing prepares a large entangled cluster state and drives the computation entirely through a sequence of single-qubit measurements.
Photonic qubits encode information in single photons, operate at room temperature, and travel through fiber or waveguides for networking.
A map that keeps single-system states valid may still fail when applied to part of an entangled pair; only complete positivity is safe.
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.
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.
Firmware, bitstreams, and audit anchors are signed with quantum-resistant schemes so their authenticity survives long past the machine's commissioning.
Extend the Bell recipe to three qubits to build the GHZ state, the simplest genuine multipartite entangled state.
A Purcell filter blocks the qubit-frequency decay channel opened by the readout resonator, protecting qubit lifetime without slowing readout.
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.
Casting selection under a budget constraint as a QUBO and solving it with the Quantum Approximate Optimization Algorithm.
Ordering plasma shots and parameter sweeps to maximize information under machine-time limits is a combinatorial problem we test QAOA against.
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 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.
The Quantum Approximate Optimization Algorithm applied to graph MaxCut, its canonical benchmark problem.
Encoding job assignment and ordering constraints as an Ising cost function for the Quantum Approximate Optimization Algorithm.
Strategies for choosing and training the angles that control a Quantum Approximate Optimization Algorithm circuit.
QAOA is the leading gate-model approach to combinatorial optimization; Kronos evaluates it for scheduling and layout, with no advantage assumed.
A stochastic product formula that samples Hamiltonian terms by weight, giving gate counts independent of the number of terms.
Quantum advantage in machine learning means solving a learning task better or faster than any classical method, a bar that few results clearly meet.
Separating contrived sampling supremacy from practical, useful, and provable quantum advantage.
A quantum optimization approach that seeks low-energy states by slowly evolving a quantum system.
Annealers and gate-model QAOA solve the same Ising problems by different routes; Kronos benchmarks both without assuming either wins.
A quantum Boltzmann machine is an energy-based generative model whose distribution comes from the thermal state of a quantum Hamiltonian.
A quantum channel is the most general physically allowed transformation of a quantum state, covering ideal gates and all forms of noise.
Tritium retention and release in the breeder blanket is a chemistry problem where correlated quantum simulation could inform long-term material choices.
The end-to-end pipeline from a molecular Hamiltonian to a ground-state energy estimate on a quantum computer.
A sequence of quantum gates applied to qubits to carry out a quantum computation.
A quantum circuit Born machine is a generative model whose output distribution is the measurement probabilities of a trained parameterized circuit.
A long-horizon approach to simulating quantum systems directly, where classical methods scale poorly.
Measurement results in quantum mechanics can depend on which compatible measurements are performed alongside, defying noncontextual hidden variables.
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.
Combining Grover's operator with phase estimation to count the exact number of marked items in a search space.
Housing many quantum processors in one facility multiplies cryogenic infrastructure and makes helium-3 supply and reliable cooling operational necessities.
The loss of a quantum system's coherence as it interacts with its environment, destroying superposition.
Discord captures quantum correlations that survive even in some separable states, going beyond entanglement.
A quantum dot is a nanoscale potential well that confines electrons to discrete levels, an artificial atom used to host spin qubits.
Encoding logical qubits across many physical qubits to detect and correct errors without measuring the data.
Quantum error correction protects a logical qubit by spreading its information across many physical qubits and measuring error syndromes without collapsing the data.
Techniques that reduce the effect of noise on quantum results without the full overhead of error correction.
Quantum errors decompose into bit-flips (X), phase-flips (Z), and their combination (Y); correcting these two types suffices for all errors.
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.
Encoding classical data into quantum states to define similarity measures that may be hard to compute classically.
The quantum Fisher information defines the geometry of parameter space, enabling natural-gradient steps that often train quantum models faster than plain gradient descent.
Where quantum computing fits — materials & chemistry, and the helium-3 flywheel.
A reversible operation that transforms qubit states, the building block of quantum circuits.
A quantum gate is a reversible unitary operation on qubits - and gates are the alphabet Kronos writes its materials-chemistry and control circuits in.
Every quantum gate is a unitary matrix; circuits are products of these matrices acting on the qubit register.
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 learn to produce samples from a target distribution using the native randomness of quantum measurement as the sampling engine.
Approximating the projection onto a Hamiltonian's ground state by simulating evolution in imaginary time.
A quantum instrument records a measurement outcome and the conditional state together, the most complete description of measurement.
Interference is the constructive and destructive combination of probability amplitudes, and it is the resource behind quantum speedups.
Accelerating the assignment step of k-means using quantum distance estimation and amplitude amplification.
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.
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 low-density parity-check codes use sparse checks to encode many logical qubits per physical qubit, promising far lower overhead than the surface code.
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.
A toolkit of primitives - block encoding, linear combination of unitaries, and singular value transformation - for manipulating matrices as quantum operations.
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 studies how quantum computers might represent, process, and learn from data using superposition, interference, and entanglement.
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.
Measurement projects a quantum state onto a basis outcome with probability given by the squared amplitude, and the state collapses to that outcome.
A quantum analog of the Metropolis algorithm that samples from the thermal (Gibbs) distribution of a quantum Hamiltonian.
Quantum mutual information measures the total correlation, classical and quantum, between two subsystems.
A quantum nondemolition measurement extracts information about an observable while leaving that observable's value undisturbed, allowing repeated readout.
A quantum computer can evaluate a function on a superposition of all inputs at once, but measurement retrieves only one result.
Quantum algorithms for differential equations exist on paper, but for Kronos plasma and field solves the caveats erase the advantage.
The canonical algorithm for reading an eigenvalue of a unitary, and thus of a Hamiltonian, from the phase it applies to an eigenstate.
Phase estimation extracts eigenvalues of a Hamiltonian to arbitrary precision, the fault-tolerant route to chemically accurate fusion-material energies.
A step-by-step walkthrough estimating the eigenphase of a single-qubit unitary using a small ancilla register.
Quantum principal component analysis proposes to extract the dominant eigenvectors of a density matrix using quantum phase estimation, subject to strong assumptions.
Extracting the dominant eigenvectors of a density matrix by using multiple copies of it as a Hamiltonian.
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.
A quantum register is a collection of qubits treated as one system; basis encoding stores integers as computational basis states.
Quantum reservoir computing feeds data into a fixed, untrained quantum system and trains only a simple classical readout on its measured responses.
Forecasting the qubits, gates, and runtime a quantum algorithm needs, the sober accounting that separates promise from readiness.
Quantum sensors, distinct from quantum computers, offer precision magnetometry and metrology that could sharpen future diagnostics on the Kronos machines.
A recursive method that breaks any n-qubit unitary into two-qubit gates, achieving near-optimal CNOT counts.
Applying a polynomial transformation to the eigenvalues of a block-encoded operator by interleaving it with tunable single-qubit rotations.
Using a controllable quantum system to model another quantum system that is hard to simulate classically.
Where quantum simulation could, in the long term, contribute to fusion engineering, stated honestly against current classical practice.
Quantum computers are naturally suited to simulating quantum many-body systems, a class of hard problems relevant to materials and plasma physics.
Applying quantum simulation to solids and correlated materials, from the Hubbard model to defects, with an honest view of readiness.
14 MeV neutrons displace atoms and grow defect clusters; their formation energies are correlated-electron quantities quantum simulation targets.
The breeder's 16.84 T magnets rely on REBCO, a correlated-electron superconductor whose microscopics remain a target for quantum simulation.
A timeline of the ideas and experiments that built the field, from Feynman's proposal to optimal algorithms and hardware demonstrations.
Quantum simulation uses a controllable quantum system to compute the behavior of another -- Feynman's original motivation for building a quantum computer.
A grand unification: apply any suitable polynomial to the singular values of a block-encoded matrix, recovering most quantum algorithms as special cases.
Specific offline quantum kernels with published resource estimates — and no real-time claim.
Getting the right input state into the quantum computer, a prerequisite for phase estimation, chemistry, and dynamics alike.
A pure quantum state is a unit vector in a complex Hilbert space, written as a ket, encoding all predictable information about the system.
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.
Two distinct approaches to quantum classification: fast kernel evaluation and linear-system-based training.
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.
The demonstration that a quantum computer performs a task no classical computer can do in feasible time.
Milestone demonstrations that a quantum processor performed a sampling task infeasible for classical supercomputers.
Teleportation transfers an unknown qubit state using a shared entangled pair and two classical bits, without moving the qubit itself.
Quantum volume is a single benchmark that folds together qubit count, connectivity, gate fidelity, and crosstalk into one number.
Quantum information differs from classical in three ways: it cannot be copied, cannot be read without disturbance, and can be entangled.
Using quantum walks to find marked vertices faster than classical random walks, generalizing Grover search to graph structure.
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.
Discrete- and continuous-time quantum walks provide an early route to Hamiltonian simulation and underpin the qubitization walk operator.
Where a quantum processor would plug into the Kronos stack: strictly offline in L0, orchestrated by classical code, always with a classical baseline.
Quantum computers may one day simulate molecules and materials classically intractable today, a long-horizon tool for fusion material discovery.
Stray quasiparticles, broken Cooper pairs in a superconductor, degrade qubit coherence and are fought through shielding, gap engineering, and traps.
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.
An error budget accounts for how each physical mechanism contributes to a gate's total error, guiding where engineering effort will pay off.
Fixed-frequency processors must assign each qubit a frequency that enables its gates while avoiding collisions with neighbors and defects.
Each qubit technology trades speed, fidelity, connectivity, coherence, and scalability differently; no modality yet wins on every axis.
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
Readout converts a qubit's quantum state into a classical bit, and its speed and fidelity strongly shape overall device performance.
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.
Turning a block-encoded Hamiltonian into a quantum walk whose eigenphases encode arccos of the Hamiltonian's spectrum, enabling optimal simulation.
Block-encoding and qubitization give near-optimal Hamiltonian simulation scaling, the fault-tolerant route Kronos targets for materials.
A qubit is not a random classical bit: complex amplitudes, interference, and entanglement set it fundamentally apart.
Qubits must be shielded from stray infrared photons, radio-frequency interference, and ionizing radiation, all of which degrade coherence.
Running a random quantum circuit and sampling its output, the task behind superconducting quantum advantage demonstrations.
Stacking a classical repetition code on bit-flip-protected cat qubits corrects the remaining phase flips, giving a lean path to a logical qubit.
Assigning each qubit's readout resonator a distinct frequency lets one feedline and one amplifier chain read many qubits at once.
Search an 8-item unstructured database in a single Grover iteration, amplifying the marked state from 1/8 to near-certainty.
The operator formalism that expresses many-fermion Hamiltonians in terms of creation and annihilation operators, the starting point for qubit encodings.
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.
Spin qubits encode information in the spin of electrons confined in semiconductor quantum dots and, like superconducting qubits, operate at millikelvin temperatures.
Separable states factor into independent parts or classical mixtures of products; entangled states cannot, and are the useful quantum resource.
A quantum algorithm that factors large integers exponentially faster than known classical methods.
Shor's algorithm factors integers in polynomial time - a threat to today's cryptography that shapes how Kronos protects its own data and IP.
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.
Spin qubits encode information in the spin of electrons or holes confined in silicon quantum dots, controlled by magnetic resonance and electrical exchange.
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 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
Borrow the physics of slow cooling: accept worse solutions with a temperature-dependent probability to escape local minima.
Escape local minima by accepting uphill moves with a probability that cools over time, mimicking metallurgical annealing.
Run one Grover iteration on a two-qubit register to amplify a marked state and reach it with certainty.
Quantum simulation of gauge fields on a lattice, a frontier connecting particle physics, the sign problem, and constrained Hilbert spaces.
The full pipeline from a molecular geometry to a qubit Hamiltonian whose ground-state energy predicts chemistry.
Extending simulation from isolated unitary dynamics to systems coupled to an environment, governed by non-unitary master equations.
Spin lattices are the natural first target for quantum simulators because their qubits and interactions map almost directly onto hardware.
The quantum Heisenberg spin model, its role as a simulation benchmark, and how its dynamics are implemented on qubits.
Handling Hamiltonians that change during the evolution, from driven systems to interaction-picture and Dyson-series methods.
Single-qubit rotations are produced by resonant microwave pulses whose amplitude, phase, and duration set the rotation angle and axis.
Single-qubit gates are 2x2 unitaries that rotate the Bloch sphere; they cover phase, bit-flip, and superposition operations.
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.
Silicon spin qubits store information in the spin of a single electron or nucleus, promising compatibility with semiconductor manufacturing.
A partial exchange gate, the entangler that many superconducting processors calibrate as their fundamental two-qubit operation.
A gate that, applied twice, exchanges two qubits, and applied once produces a half-swap that is a universal entangler.
State preparation resets qubits to a known state and builds the desired input; it is a DiVincenzo criterion and a real error source.
Superconducting qubits are built from thin-film metals and Josephson junctions on silicon or sapphire, then operated at millikelvin temperatures.
Superconducting qubits are engineered nonlinear microwave circuits cooled to millikelvin temperatures, the leading solid-state modality.
Superdense coding sends two classical bits by transmitting one qubit, using a pre-shared entangled pair.
Superposition is the ability of a quantum system to be in a weighted combination of multiple basis states simultaneously, with complex amplitudes.
Fault tolerance is the gate to real fusion-materials simulation; the surface code shows how many physical qubits one logical qubit costs.
SWAP networks move quantum states across a limited-connectivity chip so distant qubits can interact, at the cost of extra gates.
An ancilla qubit and a few controlled gates measure a multi-qubit stabilizer as one classical bit without collapsing the logical state.
A construction that turns any classical Markov chain into a quantum walk, quadratically shrinking hitting and mixing times.
Why non-Clifford gates dominate the cost of fault-tolerant quantum algorithms, and how their count is minimized.
T1 measures how long a qubit keeps its energy state; T2 measures how long it keeps phase coherence. Both bound useful computation 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 measures how long a qubit keeps a well-defined phase; it is bounded by T1 and usually the tighter limit on quantum computation.
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.
Shortcuts that speed today's work borrow against tomorrow's; unpaid, the interest compounds until change becomes nearly impossible.
Quantum teleportation implements the identity channel on an unknown state using shared entanglement and two classical bits.
Tensor networks efficiently represent low-entanglement quantum states, serving both as classical machine learning models and as the benchmark quantum methods must beat.
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 is a subsystem code on an n-by-n grid whose gauge operators are all weight two, making syndrome extraction unusually simple.
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 expresses a value as immediate reward plus the discounted value of what follows, making long-horizon value recursive.
The Bellman optimality equation replaces the policy average with a maximum, characterizing the value of acting optimally.
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 ball represents every single-qubit state, with pure states on the surface and mixed states inside.
Any single-qubit density matrix maps to a point in the Bloch ball via its Bloch vector, with pure states on the surface.
Every quantum channel corresponds to a single bipartite state, turning questions about maps into questions about states.
CHSH is the workhorse Bell inequality: a correlation bound obeyed by local hidden variables but violated by entangled quantum states.
co-NP contains problems whose no-answers have short, polynomial-time-checkable certificates.
NP is the class of problems whose yes-answers can be verified by a deterministic algorithm in polynomial time given a short certificate.
The controlled-NOT gate flips a target qubit when the control is 1; combined with single-qubit gates it enables universal computation and entanglement.
Simulating physical systems can be computationally hard, which is why plasma and quantum systems strain even the largest classical computers.
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 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 entangles two fixed-frequency superconducting qubits by driving one qubit at the other's frequency, needing no tunable elements.
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 are five requirements a physical system must meet to serve as a quantum computer, plus two for communication.
The short-wavelength approximation that turns wave propagation into the trajectories of rays through a plasma.
The [[5,1,3]] code is the smallest possible code correcting an arbitrary single-qubit error, saturating the quantum Hamming bound.
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.
Fluxonium shunts a Josephson junction with a large superinductance, reaching high anharmonicity and long coherence at low frequency.
The narrow energy window where the odds of tunneling the Coulomb barrier and finding a fast particle combine.
The GHZ state is a multiparty entangled state whose correlations refute local realism without any inequality, in a single run.
Circuits built only from Clifford gates and computational-basis measurement are efficiently simulable on a classical computer.
The Hadamard gate creates equal superpositions and switches between the computational and diagonal bases; it is central to nearly every algorithm.
Given a Hamiltonian H, a time t, and an error budget, produce a quantum circuit that approximates the evolution operator e^(-iHt).
Tracking how operators evolve rather than states gives an efficient description of Clifford circuits and stabilizer codes.
The identity gate does nothing on purpose - and that makes it Kronos's ruler for measuring how fast a real qubit forgets.
Spins on a lattice with pairwise couplings and local fields -- the Ising model is the canonical map for combinatorial optimization and quantum annealing.
The most direct mapping from fermionic creation and annihilation operators to qubit Pauli operators, at the cost of long non-local strings.
A Josephson parametric amplifier boosts faint qubit-readout signals with noise near the quantum limit, sitting at the coldest stage of the cryostat.
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
No consistent assignment of definite, context-independent values to all quantum observables exists in dimension three or higher.
A temporal analogue of Bell inequalities, testing whether a single system's behavior over time admits a classical realist description.
A three-by-three grid of two-qubit observables gives a compact, state-independent proof of quantum contextuality.
The Molmer-Sorensen gate entangles trapped ions through their shared motion, insensitive to the exact motional state, giving the field's highest fidelities.
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.
NISQ describes today's noisy, intermediate-scale quantum processors: tens to hundreds of qubits without full error correction.
No quantum operation can make an identical copy of an arbitrary unknown quantum state, a direct consequence of linearity.
Entanglement produces strong correlations but cannot transmit information faster than light, keeping quantum theory consistent with relativity.
Turning noisy physical qubits into reliable logical ones costs a large multiplier in qubits and time, the central practical barrier to scaling.
Modulating a qubit's flux at the frequency difference between two qubits drives a resonant exchange of excitation without a static resonance.
The group generated by the Pauli matrices with phases, the algebraic backbone of stabilizer codes and error correction.
The Pauli matrices X, Y, Z form a basis for single-qubit operators and generate rotations on the Bloch sphere.
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 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 flips phase, not bits - and phase is where Kronos reads energies out of its material-simulation circuits.
The positive partial transpose test detects entanglement and is complete for the smallest bipartite systems.
The circuit model describes computation as qubits initialised, transformed by a sequence of gates, then measured to produce classical output.
The QFT is an exponentially compact Fourier transform - the core primitive Kronos would use to read energies out of a material's Hamiltonian.
Trace the QFT gate by gate on three qubits, showing the Hadamard-and-controlled-phase ladder and the final qubit swap.
A counting argument limits how many logical qubits a distance-d code can protect, and codes that meet it with equality are called perfect.
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.
Move an unknown qubit state across a shared Bell pair using two classical bits and local corrections.
A qubit is the basic unit of quantum information: a two-level quantum system that can hold any superposition of its two basis states.
A qubit is any quantum two-level system whose superposition and entanglement encode information a classical bit cannot.
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.
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 governs how quantum states evolve; engineering a gate means running a chosen Hamiltonian for a chosen time.
The Steane code encodes one logical qubit in seven physical qubits using the classical Hamming code twice, and supports transversal Clifford gates.
A stabilizer tableau stores a stabilizer state as a binary matrix, letting Clifford operations and measurements be simulated in polynomial time.
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 uses one ancilla qubit and a controlled-SWAP to estimate the overlap between two unknown quantum states.
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 combines individual qubit spaces into a joint space whose dimension grows exponentially with the number of qubits.
The simplest quantum code encodes one qubit in three, detecting and correcting a single bit-flip by measuring two parity operators.
By working in the Hadamard basis, the three-qubit code corrects a single phase flip instead of a bit flip.
If the physical error rate is below a threshold, arbitrarily long quantum computation is possible with only polylogarithmic overhead.
The Toffoli gate brings classical AND into a reversible quantum circuit - the arithmetic Kronos needs inside energy-estimation routines.
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 trades a controlled loss of anharmonicity for strong immunity to charge noise, and dominates superconducting quantum computing today.
The simplest model with a genuine quantum phase transition, and a standard testbed for both digital and analog quantum simulators.
The traveling salesman problem asks for the shortest route visiting every city once and returning to the start.
A traveling-wave parametric amplifier gives broadband, near-quantum-limited gain by spreading amplification along a long nonlinear transmission line.
Quantum correlations violate Bell inequalities but only up to a precise ceiling, revealing that nature is nonlocal yet not maximally so.
Noncommuting observables cannot be simultaneously sharp, a constraint that shapes measurement, gate design, and quantum protocols.
How the collisionless plasma transport equation might be recast for quantum algorithms, and the obstacles that stand in the way.
Sweep the bond length of the hydrogen molecule and minimize a two-parameter ansatz to trace the ground-state energy well.
The W state spreads a single excitation across many qubits and keeps its entanglement robust under particle loss.
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 would store information in global, nonlocal properties of matter, making it intrinsically resistant to local noise.
Trace distance measures how distinguishable two quantum states are, with a direct operational meaning in single-shot discrimination.
Search a small grid with obstacles using A*, combining path cost and a heuristic to find the shortest route efficiently.
Trapped-ion qubits use individual charged atoms held in vacuum by electric fields, offering long coherence and all-to-all connectivity.
Product formulas approximate e^{-iHt} by chopping it into small implementable steps, the workhorse of near-term Hamiltonian simulation.
Trotterization approximates evolution under a sum of non-commuting terms by alternating short evolutions under each -- the workhorse of digital quantum simulation.
Approximate time evolution under a sum of non-commuting terms by splitting it into small, easy-to-simulate steps.
A coupler mediates interaction between two qubits; making it tunable lets designers switch the interaction on for a gate and off for idling.
Microscopic two-level systems in amorphous materials and interfaces absorb energy from qubits and are a leading limit on superconducting coherence.
Two-qubit gates are 4x4 unitaries that can entangle qubits; at least one entangling gate is required for universal quantum computation.
Frequency tunability lets transmons realize controlled-phase and exchange gates by moving qubits into resonance with each other or with a coupler.
The Cartan factorization that splits any two-qubit gate into local rotations around a canonical entangling core.
A two-parameter single-qubit gate fixing the polar angle at ninety degrees, the workhorse for superposition creation.
The three-parameter gate that realizes any single-qubit unitary up to global phase, the universal one-qubit primitive.
Closed quantum systems evolve by unitary transformations, which preserve inner products, normalisation, and reversibility.
A universal gate set can approximate any unitary to arbitrary accuracy; a small finite set suffices for all quantum computation.
A variational quantum classifier encodes data into a circuit, applies trainable gates, and measures an observable whose expectation is optimized to predict labels.
A hybrid quantum-classical method that finds ground-state energies by minimizing the expectation of a Hamiltonian over a parameterized circuit.
The hybrid loop that estimates a Hamiltonian's ground-state energy by minimizing a parameterized quantum circuit's expectation value.
Following the imaginary-time ground-state trajectory within a parameterized ansatz by evolving its parameters.
How to trust the output of a quantum simulator when its regime is, by design, beyond classical checking.
The choice of parameterized circuit trades physical motivation against hardware depth, and both families hit real limits for fusion materials.
The variational quantum eigensolver estimates ground-state energies of first-wall materials by minimizing a classically driven cost over a quantum ansatz.
Using variational eigensolvers to estimate molecular ground-state energies, the flagship near-term application of quantum simulation.
Estimate the ground-state energy of H2 with a variational quantum eigensolver: a parameterised circuit plus a classical optimizer.
Shallow parameterized circuits built from a device's native gates, chosen for trainability on noisy hardware rather than physical fidelity.
The unitary coupled-cluster singles-and-doubles trial state, a chemistry-motivated ansatz with built-in physical structure.
W states are multi-qubit entangled states whose entanglement survives the loss of a qubit, unlike the fragile GHZ states.
The tetrahedral map of all inequivalent two-qubit entangling operations, one point per local-equivalence class.
Relative phase between components of a superposition is physically real and measurable; a global phase on the whole state is not.
A candid map of the few fusion problems where quantum computing has a credible long-term role, and the many where it does not.
Simulating a general quantum system classically needs memory exponential in the number of particles, motivating quantum computers.
Even before quantum computers exist, adversaries can record encrypted data today and decrypt it later, making the migration urgent now.
The state of a quantum system grows exponentially with its size, making exact classical simulation infeasible beyond small systems.
Quantum information is fragile: qubits decohere, gates are imperfect, and measurement collapses state, so raw qubits cannot run long computations.
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.
A short, concrete look at how a space-filling design spreads sample points across a configuration space before any simulation runs.
An excitation-conserving two-qubit gate that mixes the single-excitation states while leaving zero- and double-excitation states fixed.
Any single-qubit gate as three rotations about the Z and Y axes, the standard way to lower a 2x2 unitary to hardware.