Quantum optimization

Every decision is a field.

A week, a budget, a breeding program, a court calendar: each is a web of choices that strengthen or compete with one another. We cast the whole web as one field, let it settle into balance, and check the answer against a proof wherever one can be computed.

2 × 1031

ways to arrange one real working week of ours: 104 choices against 40 hours

13 seconds

for annealing to settle the whole week on one answer

Proven best

the answer it settled on, confirmed by two independent exact methods

The idea

Tension, settled into balance.

Each choice is a point in a field. Choices that strengthen each other pull together; choices that compete for the same cash, people or time push apart. The solver lets the whole field settle at once into its lowest-energy arrangement, the one where every pull and push is in balance.

One field, settled

ChosenLeft outStrengthen each otherCompete
Audit and Launch competeResearch and Repay debt competeRepay debt and Expand competeExpand and Reserve competeNew market and Expand competeHire and Expand competeTrain and Repay debt competeHire and Train strengthen each otherTrain and Upgrade strengthen each otherUpgrade and Audit strengthen each otherLaunch and New market strengthen each otherResearch and Launch strengthen each otherHire and Launch strengthen each otherResearch and Train strengthen each otherAudit and Repay debt strengthen each otherHire: chosenHireTrain: chosenTrainUpgrade: chosenUpgradeAudit: left outAuditLaunch: chosenLaunchNew market: chosenNew marketResearch: chosenResearchRepay debt: left outRepay debtExpand: left outExpandReserve: chosenReserve
Audit and Launch competeResearch and Repay debt competeRepay debt and Expand competeExpand and Reserve competeNew market and Expand competeHire and Expand competeTrain and Repay debt competeHire and Train strengthen each otherTrain and Upgrade strengthen each otherUpgrade and Audit strengthen each otherLaunch and New market strengthen each otherResearch and Launch strengthen each otherHire and Launch strengthen each otherResearch and Train strengthen each otherAudit and Repay debt strengthen each otherHire: chosenHireTrain: chosenTrainUpgrade: chosenUpgradeAudit: left outAuditLaunch: chosenLaunchNew market: chosenNew marketResearch: chosenResearchRepay debt: left outRepay debtExpand: left outExpandReserve: chosenReserve

What this shows

Ten choices an organization might weigh in one quarter. Solid lines join choices that strengthen each other; dashed lines join choices that compete for the same cash, people or time. The filled points are where the field settled: seven chosen, three left out.

What it means

Taking the five strongest choices one at a time scores 9. The settled field scores 29, 3.2 times better, because it weighs how the choices work together. Training is kept because hiring needs it. Expansion, the most valuable choice on its own, is left out because it competes with hiring, the reserve and the new market.

An illustration, solved exactly across all 1,024 combinations. Real problems carry hundreds of choices, far too many combinations to list.

The mathematics is the Ising model, written a century ago to describe how the atoms of a magnet settle into alignment. Annealing takes its name from metal cooled slowly so that its structure settles into its strongest form. The same form is native to quantum annealers and to gate-model quantum circuits, so one problem can be put to quantum and classical machines alike, and every answer compared.

Where it reaches

From one person's week to a whole enterprise.

Any decision made of many choices that strengthen or compete with one another can be cast as a field, at any scale.

A person

A week, in balance

Which commitments receive the week's hours, weighed by what each moves forward and what competes for the same time. Members' desks in Gage OS weigh their matters this way.

A practice

A case, end to end

Which claims are pleaded together, which authorities a brief carries, which questions discovery asks, and which court day each filing lands on. It proposes; a person decides.

An organization

An enterprise or an administration

Which payouts clear within the cash on hand, and which systems hold memory under a fixed budget, in our own operations. For the organizations we work with: budgets across programs, staff across shifts, capital across projects.

Research

A research program

Which plants form the widest breeding set, which tasks each training round of our models works on, and which signals a model reads.

The method

Four steps, every time.

Cast the choice

A decision with many yes-or-no parts becomes one field: a value for each choice, and a pull or a push for each pair that strengthens or competes.

Solve it several ways

The same field runs side by side through annealing, gate-model quantum circuits and classical search, so no single method is trusted alone.

Certify the answer

Wherever a proof can be computed, every answer is checked against the proven best. Beyond that, against the best answer known.

Keep the ledger

Every run is recorded against a fingerprint of the problem itself, so results from different methods and different months compare exactly.

The solvers

Four families of method, one ledger.

Each problem is put to every family that can take it, and each answer is scored against the same reference.

Exact proof

Exhaustive search and exact solvers return the proven optimum. They set the reference every other method is scored against.

Annealing and tabu search

Annealing and tabu search move through the space of answers and keep the best they find. They carry on past the size where a proof is practical.

Gate-model circuits

The quantum approximate optimization algorithm on simulated circuits, run both ideal and under the published noise of superconducting processors.

Accelerated classical optimization

A GPU-accelerated classical optimizer, run as a baseline so that every method is compared with a strong conventional tool.

Measured

Exact where it can be proven. Fast where it cannot.

Seconds to solve, as the problem grows

AnnealingChecking every possible answer
0.001 s0.01 s0.1 s1 s10 s8121620284060Variables in the problembeyond twenty, exhaustive search is impractical8 variables, checking every possible answer: 0.00060 seconds12 variables, checking every possible answer: 0.019 seconds16 variables, checking every possible answer: 0.48 seconds20 variables, checking every possible answer: 10.6 seconds8 variables, annealing: 0.073 seconds, the proven best answer12 variables, annealing: 0.078 seconds, the proven best answer16 variables, annealing: 0.11 seconds, the proven best answer20 variables, annealing: 0.13 seconds, the proven best answer28 variables, annealing: 0.20 seconds, past the size a proof can run40 variables, annealing: 0.34 seconds, past the size a proof can run60 variables, annealing: 0.61 seconds, past the size a proof can run
0.001 s0.01 s0.1 s1 s10 s8204060Variables in the problemno proof past 208 variables, checking every possible answer: 0.00060 seconds12 variables, checking every possible answer: 0.019 seconds16 variables, checking every possible answer: 0.48 seconds20 variables, checking every possible answer: 10.6 seconds8 variables, annealing: 0.073 seconds, the proven best answer12 variables, annealing: 0.078 seconds, the proven best answer16 variables, annealing: 0.11 seconds, the proven best answer20 variables, annealing: 0.13 seconds, the proven best answer28 variables, annealing: 0.20 seconds, past the size a proof can run40 variables, annealing: 0.34 seconds, past the size a proof can run60 variables, annealing: 0.61 seconds, past the size a proof can run

What this shows

Each point is one problem solved. The grey line checks every possible answer, the most general way to prove which is best, and its work doubles with each added choice: twenty choices took 10.6 seconds, and at the same rate sixty would take about 370,000 years. The purple line is annealing, which settled every size from 8 to 60 choices in under a second. A filled purple point means it found the proven best answer.

What it means

Real decisions have far more than twenty choices, so proof by checking everything runs out early. Some have a structure that still allows a proof at full size, as the working week above does. Where none does, a method that settles in seconds is what makes the decision practical, and wherever a proof can run, it keeps the fast method honest.

Max-cut problems from our benchmark ledger, recorded June 2026: split a network so the most links cross the split.

Noise

Depth helps a perfect circuit. Noise takes it back.

With no noise, four layers did best under every profile, finding the best answer up to 72% of the time. Under noise, every profile did best at two layers. In the noisiest, four layers found it 4.1% of the time, against 3.1% for a random guess.

Chance of returning the best answer, by circuit depth

Noise-free circuitWith the profile's noiseRandom guess

Profile A

0%20%40%60%80%1234Layers in the circuitProfile A, 1 layer: noise-free 16.8%, with noise 13.8%Profile A, 2 layers: noise-free 49.5%, with noise 24.3%Profile A, 3 layers: noise-free 48.4%, with noise 22.5%Profile A, 4 layers: noise-free 70.7%, with noise 18.0%24%71%

Profile B

0%20%40%60%80%1234Layers in the circuitProfile B, 1 layer: noise-free 15.8%, with noise 10.8%Profile B, 2 layers: noise-free 48.0%, with noise 16.4%Profile B, 3 layers: noise-free 47.6%, with noise 11.3%Profile B, 4 layers: noise-free 68.0%, with noise 7.0%16%68%

Profile C

0%20%40%60%80%1234Layers in the circuitProfile C, 1 layer: noise-free 16.3%, with noise 8.8%Profile C, 2 layers: noise-free 47.2%, with noise 10.0%Profile C, 3 layers: noise-free 46.8%, with noise 6.9%Profile C, 4 layers: noise-free 71.9%, with noise 4.1%10%72%

What this shows

A quantum circuit works in layers, and more layers should find the best answer more often. The grey lines are perfect, noise-free circuits: four layers find it most often. The purple lines add the noise published for three superconducting processors: past two layers, the noise takes the gain back.

What it means

Under the noise these processors publish today, a circuit pays off only while it stays shallow. We measure where a circuit helps and where noise cancels it, and send every problem to the method that solves it best, quantum or classical, so the gains arrive as the hardware improves.

Six-variable max-cut on simulated circuits, 2,000 shots per run, recorded June 2026. Each panel applies the published noise profile of one superconducting processor. The dashed line is a random guess, 3.1%.

The ledger

Every run, on the record.

Each completed run is kept against a fingerprint of its problem, recorded June to September 2026.

ProblemWhat it decidesSizes tested, in variablesVariablesCompleted runsRuns
From our own work
Authority selectionWhich authorities a brief carries16, 24, 4011
Filing scheduleWhich court day each filing lands on12, 738
CaseloadWhich matters receive finite hours1042
Treasury payablesWhich payouts clear within the cash on hand136
Plant breedingWhich plants form the most diverse breeding set126
Feature selectionWhich signals a model reads66
Standard benchmarks
Max-cutSplit a network so the most links cross the split8 to 6099
Number partitioningDivide numbers into two groups of equal sum14, 18, 3043
KnapsackThe most value that fits within a capacity16, 18, 2137

Statute comparison, search memory and training curricula are certified against exact answers in their own test suites.