{"protocol_version":"0.2.0","generated_at":"2026-09-29T22:17:52.490Z","story":{"protocol_version":"0.2.0","id":"STORY-2026-0003","version":"v0.1","status":"PUBLISHED","headline":"How a Qutrit Can Force a 128,000-Dimensional Heat Bath","dek":"A three-level quantum system sounds small. Yet one coherent channel can require an equilibrium environment with at least 128,000 dimensions at stringent cold-limit accuracy, while a neighboring channel has an exact four-dimensional construction.","body":"A qutrit has only three energy levels. Yet the new Pudim Letter proves that one qutrit channel needs a bath of at least 128,000 dimensions when the allowed error reaches one part in a trillion in the cold limit.\n\nAnother member of the same channel family has an exact construction using only four bath dimensions. The system does not grow between those cases. What changes is a single mixing probability inside the channel.\n\nThe channel randomly applies one of two coherent phase rotations. That random choice leaves energy populations unchanged while altering quantum coherence. Here “cooling map” names the low-temperature channel class; it does not mean that every use lowers the qutrit's energy.\n\nIn 2014, David Reeb and Michael Wolf showed that finite reservoirs leave measurable corrections to Landauer's principle. Their work made bath size a thermodynamic resource, but it did not study this coherent channel-synthesis problem.\n\nIn 2015, Shubhashis Narasimhachar and Gilad Gour introduced cooling maps as a tractable low-temperature description. They proved agreement with thermal operations for two-level systems, leaving the three-level system as the first open dimension.\n\nIn 2020, Magdalena Musat and Mikael Rordam showed in a related operator-algebra setting that some correlation channels require infinite ancillary dimension. That result established a broader dimension obstruction, but not the finite-bath qutrit law proved here.\n\nThe new result answers the exact finite-bath version of the 2015 question. For every irrational mixing probability in the displayed qutrit family, the cooling-map transition cannot be produced exactly by any allowed finite bath.\n\nApproximation tells a subtler story. For a generic qutrit energy spectrum, every cooling map can be approached arbitrarily closely by exact finite-bath thermal operations. Exact equality fails, but the two channel classes have the same closure.\n\nThe obstruction comes from the bath's lowest-energy subspace. In the cold limit, equilibrium spreads weight uniformly across that finite subspace. An energy-conserving implementation selects an integer number of those states, so its internal mixing probability is a ratio of two integers.\n\nAn irrational target cannot equal such a ratio. The thermal machine is not allowed to borrow an external biased coin, so the bath must encode the random choice itself. A specially chosen input state makes that arithmetic constraint unavoidable at the output.\n\nApproximation works because rational ratios can approach an irrational number. Better approximations generally require larger denominators. In the construction, those denominators become the sizes of bath energy subspaces.\n\nThe Letter measures channel error with the diamond norm. This demanding standard tests every input, including inputs entangled with an untouched reference system. It therefore compares whole channels, not one favored state.\n\nSome irrational numbers resist unusually good rational approximation. For fixed targets of this kind, the minimum bath dimension grows like the inverse square root of the combined thermal leakage and channel error. Rational targets can instead retain bounded exact cost.\n\nThe golden conjugate is the paper's clean example. At cold-limit error of one part in ten thousand, the theorem forces at least 13 bath dimensions, while the displayed construction uses 288. At one part in one hundred million, those numbers become 1,280 and 21,892.\n\nAt one part in a trillion, the theorem forces at least 128,000 dimensions. The explicit construction uses about 2.7 million. The true minimum lies somewhere between; the paper does not claim that either displayed staircase is exact.\n\nThis is the striking reversal. Two mixing probabilities can be arbitrarily close, yet one admits a fixed small bath while another demands a bath that diverges as temperature and error are pushed down.\n\nA warm bath can partly evade the ground-subspace counting rule. Excited states contribute a Boltzmann-suppressed tail, letting the implementation shift its effective mixing probability away from a simple ground-state ratio.\n\nThe theorem quantifies that escape route. It couples bath dimension, the lowest nonzero bath energy, temperature and diamond error in one inequality. The bound allows arbitrary degeneracies, resonances, excited energies and population leakage.\n\nThat law also suggests an inference test. If a reconstructed channel and conservative temperature bounds violate the inequality for every possible ground-state degeneracy, a proposed bath dimension is excluded. This remains an ideal-model conclusion, not model-independent bath tomography.\n\nThe release checks the theorem constants, continued-fraction searches, Fibonacci constructions and leakage estimates with reproducible classical computation. None of those calculations is evidence from a quantum processor, and the release reports no integrated hardware implementation.\n\nThe supporting plot separates what is proved from what is built. The blue curve is a rigorous lower bound, the orange staircase is an explicit construction, and the shaded region between them is unresolved. It is not the exact minimum-dimension curve.\n\nThe qutrit result resolves a precise exact finite-bath convention. It does not settle models with continuous reservoirs, non-equilibrium bath preparation, approximate energy conservation, degenerate system energies or a freely supplied biased randomizer.\n\nThe proof constants are not claimed optimal. The complete minimum-dimension staircase remains open outside the best-controlled arithmetic class, and the especially resistant targets used for the cleanest square-root law form a measure-zero set.\n\nNo experiment here demonstrates a 128,000-dimensional bath. The result says that very large environments are unavoidable inside the stated model if that target channel is certified at that cold-limit accuracy. Building and certifying such a machine are separate challenges.\n\nCorrespondent v0.2 prepared this Story from Research Object RO-2026-0004. The public record identifies Maestro v0.1 as research creator and Domingos S. P. Salazar as Program Manager. This Story explains the Pudim Letter without changing its scientific record.","paragraphs":[{"id":"p1","text":"A qutrit has only three energy levels. Yet the new Pudim Letter proves that one qutrit channel needs a bath of at least 128,000 dimensions when the allowed error reaches one part in a trillion in the cold limit."},{"id":"p2","text":"Another member of the same channel family has an exact construction using only four bath dimensions. The system does not grow between those cases. What changes is a single mixing probability inside the channel."},{"id":"p3","text":"The channel randomly applies one of two coherent phase rotations. That random choice leaves energy populations unchanged while altering quantum coherence. Here “cooling map” names the low-temperature channel class; it does not mean that every use lowers the qutrit's energy."},{"id":"p4","text":"In 2014, David Reeb and Michael Wolf showed that finite reservoirs leave measurable corrections to Landauer's principle. Their work made bath size a thermodynamic resource, but it did not study this coherent channel-synthesis problem."},{"id":"p5","text":"In 2015, Shubhashis Narasimhachar and Gilad Gour introduced cooling maps as a tractable low-temperature description. They proved agreement with thermal operations for two-level systems, leaving the three-level system as the first open dimension."},{"id":"p6","text":"In 2020, Magdalena Musat and Mikael Rordam showed in a related operator-algebra setting that some correlation channels require infinite ancillary dimension. That result established a broader dimension obstruction, but not the finite-bath qutrit law proved here."},{"id":"p7","text":"The new result answers the exact finite-bath version of the 2015 question. For every irrational mixing probability in the displayed qutrit family, the cooling-map transition cannot be produced exactly by any allowed finite bath."},{"id":"p8","text":"Approximation tells a subtler story. For a generic qutrit energy spectrum, every cooling map can be approached arbitrarily closely by exact finite-bath thermal operations. Exact equality fails, but the two channel classes have the same closure."},{"id":"p9","text":"The obstruction comes from the bath's lowest-energy subspace. In the cold limit, equilibrium spreads weight uniformly across that finite subspace. An energy-conserving implementation selects an integer number of those states, so its internal mixing probability is a ratio of two integers."},{"id":"p10","text":"An irrational target cannot equal such a ratio. The thermal machine is not allowed to borrow an external biased coin, so the bath must encode the random choice itself. A specially chosen input state makes that arithmetic constraint unavoidable at the output."},{"id":"p11","text":"Approximation works because rational ratios can approach an irrational number. Better approximations generally require larger denominators. In the construction, those denominators become the sizes of bath energy subspaces."},{"id":"p12","text":"The Letter measures channel error with the diamond norm. This demanding standard tests every input, including inputs entangled with an untouched reference system. It therefore compares whole channels, not one favored state."},{"id":"p13","text":"Some irrational numbers resist unusually good rational approximation. For fixed targets of this kind, the minimum bath dimension grows like the inverse square root of the combined thermal leakage and channel error. Rational targets can instead retain bounded exact cost."},{"id":"p14","text":"The golden conjugate is the paper's clean example. At cold-limit error of one part in ten thousand, the theorem forces at least 13 bath dimensions, while the displayed construction uses 288. At one part in one hundred million, those numbers become 1,280 and 21,892."},{"id":"p15","text":"At one part in a trillion, the theorem forces at least 128,000 dimensions. The explicit construction uses about 2.7 million. The true minimum lies somewhere between; the paper does not claim that either displayed staircase is exact."},{"id":"p16","text":"This is the striking reversal. Two mixing probabilities can be arbitrarily close, yet one admits a fixed small bath while another demands a bath that diverges as temperature and error are pushed down."},{"id":"p17","text":"A warm bath can partly evade the ground-subspace counting rule. Excited states contribute a Boltzmann-suppressed tail, letting the implementation shift its effective mixing probability away from a simple ground-state ratio."},{"id":"p18","text":"The theorem quantifies that escape route. It couples bath dimension, the lowest nonzero bath energy, temperature and diamond error in one inequality. The bound allows arbitrary degeneracies, resonances, excited energies and population leakage."},{"id":"p19","text":"That law also suggests an inference test. If a reconstructed channel and conservative temperature bounds violate the inequality for every possible ground-state degeneracy, a proposed bath dimension is excluded. This remains an ideal-model conclusion, not model-independent bath tomography."},{"id":"p20","text":"The release checks the theorem constants, continued-fraction searches, Fibonacci constructions and leakage estimates with reproducible classical computation. None of those calculations is evidence from a quantum processor, and the release reports no integrated hardware implementation."},{"id":"p21","text":"The supporting plot separates what is proved from what is built. The blue curve is a rigorous lower bound, the orange staircase is an explicit construction, and the shaded region between them is unresolved. It is not the exact minimum-dimension curve."},{"id":"p22","text":"The qutrit result resolves a precise exact finite-bath convention. It does not settle models with continuous reservoirs, non-equilibrium bath preparation, approximate energy conservation, degenerate system energies or a freely supplied biased randomizer."},{"id":"p23","text":"The proof constants are not claimed optimal. The complete minimum-dimension staircase remains open outside the best-controlled arithmetic class, and the especially resistant targets used for the cleanest square-root law form a measure-zero set."},{"id":"p24","text":"No experiment here demonstrates a 128,000-dimensional bath. The result says that very large environments are unavoidable inside the stated model if that target channel is certified at that cold-limit accuracy. Building and certifying such a machine are separate challenges."},{"id":"p25","text":"Correspondent v0.2 prepared this Story from Research Object RO-2026-0004. The public record identifies Maestro v0.1 as research creator and Domingos S. P. Salazar as Program Manager. This Story explains the Pudim Letter without changing its scientific record."}],"sections":[{"id":"section-opening","heading":"A small system, an enormous environment","paragraph_ids":["p1","p2","p3"]},{"id":"section-history","heading":"The ten-year question","paragraph_ids":["p4","p5","p6"]},{"id":"section-result","heading":"The first open dimension","paragraph_ids":["p7","p8","p9","p10","p11"]},{"id":"section-scaling","heading":"Where 128,000 comes from","paragraph_ids":["p12","p13","p14","p15","p16"]},{"id":"section-thermodynamics","heading":"How warmth changes the arithmetic","paragraph_ids":["p17","p18","p19"]},{"id":"section-computation","heading":"What was computed","paragraph_ids":["p20","p21"]},{"id":"section-limitations","heading":"What the result does not say","paragraph_ids":["p22","p23","p24","p25"]}],"pull_quotes":["“Exact finite-bath equivalence fails at the first open dimension.” — Pudim Letter","“Very large environments are unavoidable.” — Pudim Letter"],"reading_level":"General science reader - 6 min","source_releases":[{"record_id":"RO-2026-0004","version":"v1.0","digest":"1e996f49cfd5fcd62a8613f03f1fdf0cfac94ec7315df3c1093ad7e41a0ec0ef"}],"claim_trace":[{"paragraph_id":"p1","classification":"result","claims":["RO-2026-0004:C10"],"evidence":["paper/source/main.tex","data/bath_dimension_growth.csv"]},{"paragraph_id":"p2","classification":"result","claims":["RO-2026-0004:C6","RO-2026-0004:C10"],"evidence":["paper/source/main.tex","data/bath_dimension_growth.csv"]},{"paragraph_id":"p3","classification":"interpretation","claims":["RO-2026-0004:C1"],"evidence":["paper/source/main.tex"]},{"paragraph_id":"p4","classification":"interpretation","claims":["RO-2026-0004:C3"],"evidence":["literature/literature-audit-v1.0.yaml","paper/source/references.bib"]},{"paragraph_id":"p5","classification":"open_question","claims":["RO-2026-0004:C1"],"evidence":["literature/literature-audit-v1.0.yaml","paper/source/main.tex"]},{"paragraph_id":"p6","classification":"interpretation","claims":["RO-2026-0004:C3"],"evidence":["literature/literature-audit-v1.0.yaml","paper/source/references.bib"]},{"paragraph_id":"p7","classification":"result","claims":["RO-2026-0004:C1"],"evidence":["paper/source/main.tex","paper/source/supplement.tex"]},{"paragraph_id":"p8","classification":"result","claims":["RO-2026-0004:C2"],"evidence":["paper/source/main.tex","paper/source/supplement.tex"]},{"paragraph_id":"p9","classification":"interpretation","claims":["RO-2026-0004:C3","RO-2026-0004:C7"],"evidence":["paper/source/main.tex","paper/source/supplement.tex"]},{"paragraph_id":"p10","classification":"interpretation","claims":["RO-2026-0004:C1","RO-2026-0004:C3"],"evidence":["paper/source/main.tex","paper/source/supplement.tex"]},{"paragraph_id":"p11","classification":"interpretation","claims":["RO-2026-0004:C6"],"evidence":["paper/source/main.tex","paper/source/supplement.tex"]},{"paragraph_id":"p12","classification":"interpretation","claims":["RO-2026-0004:C3"],"evidence":["paper/source/main.tex"]},{"paragraph_id":"p13","classification":"result","claims":["RO-2026-0004:C4","RO-2026-0004:C6"],"evidence":["paper/source/main.tex","paper/source/supplement.tex"]},{"paragraph_id":"p14","classification":"result","claims":["RO-2026-0004:C10"],"evidence":["data/bath_dimension_growth.csv","code/generate_figures.py"]},{"paragraph_id":"p15","classification":"limitation","claims":["RO-2026-0004:C4","RO-2026-0004:C10"],"evidence":["paper/source/main.tex","data/bath_dimension_growth.csv"]},{"paragraph_id":"p16","classification":"interpretation","claims":["RO-2026-0004:C4","RO-2026-0004:C6"],"evidence":["paper/source/main.tex"]},{"paragraph_id":"p17","classification":"interpretation","claims":["RO-2026-0004:C3"],"evidence":["paper/source/main.tex","paper/source/supplement.tex"]},{"paragraph_id":"p18","classification":"result","claims":["RO-2026-0004:C3"],"evidence":["paper/source/main.tex","paper/source/supplement.tex"]},{"paragraph_id":"p19","classification":"limitation","claims":["RO-2026-0004:C8"],"evidence":["paper/source/main.tex","editorial/editorial-decision-v1.0.yaml"]},{"paragraph_id":"p20","classification":"limitation","claims":["RO-2026-0004:C7","RO-2026-0004:C10"],"evidence":["reproduction/reproduction-v1.0.yaml","editorial/editorial-decision-v1.0.yaml"]},{"paragraph_id":"p21","classification":"limitation","claims":["RO-2026-0004:C4","RO-2026-0004:C10"],"evidence":["figures/bath_dimension_growth.png","paper/source/main.tex"]},{"paragraph_id":"p22","classification":"limitation","claims":["RO-2026-0004:C1","RO-2026-0004:C3"],"evidence":["paper/source/main.tex","editorial/editorial-decision-v1.0.yaml"]},{"paragraph_id":"p23","classification":"limitation","claims":["RO-2026-0004:C4","RO-2026-0004:C5"],"evidence":["paper/source/main.tex","paper/source/supplement.tex"]},{"paragraph_id":"p24","classification":"limitation","claims":["RO-2026-0004:C8","RO-2026-0004:C10"],"evidence":["paper/source/main.tex","editorial/editorial-decision-v1.0.yaml"]},{"paragraph_id":"p25","classification":"interpretation","claims":["RO-2026-0004:C1"],"evidence":["CITATION.cff","provenance/pm-credit-v016.md"]}],"correspondent":{"name":"Correspondent","version":"v0.2","model":"GPT-5","model_snapshot":null,"provider":"OpenAI","tools":["Pudim AI Ledger v0.2","Correspondent v0.2 hard reader gates","bounded explanatory-journalism benchmark","OpenAI image generation"]},"knowledge_boundaries":{"model_knowledge_cutoff":null,"source_release_cutoff":"2026-08-27T11:52:38.733Z"},"artwork":[{"id":"art-hero-small-system-vast-bath","role":"hero","path":"artwork/qutrit-small-system-vast-bath.png","sha256":"94eeeb9ffc6ce5289e7a422b681f5bcbfe8879469d3b37c30c760bf00c050182","bytes":2174739,"media_type":"image/png","caption":"A compact three-level system connects to a vastly larger equilibrium environment. Conceptual illustration; not data or an apparatus diagram.","credit":"Generated for Pudim AI by Correspondent v0.2","license":"CC-BY-4.0","alt_text":"A small three-tier object sends fine blue and amber lines into a huge tunnel of nested chambers.","provenance":{"source":"Original generated artwork commissioned for STORY-2026-0003","prompt":"Remove the entire four-cell cube on the left and its connecting lines. Recompose the editorial science hero as a clean two-part visual: a small three-level qutrit at the left third connects directly through restrained orange-and-blue lines to the immense nested bath structure on the right. Preserve the vintage scientific engraving style, cream paper texture, black linework, burnt orange and deep blue accents; use a wide landscape composition with strong scale contrast; add no labels, equations, logos, apparatus, circuitry, arrows, watermark, or replacement object.","model_or_tool":"OpenAI image generation (model identifier not exposed)","transformations":["Edited the first generated hero to remove the compact left reservoir and recompose the qutrit-to-vast-bath relation."]}},{"id":"art-support-dimension-growth","role":"supporting","path":"artwork/bath-dimension-growth.png","sha256":"f5d1116fe7cc6c6938a903e0832a16a6dd723815b74cb0ab530436dd7dc0f75f","bytes":148993,"media_type":"image/png","caption":"Cold-limit lower bound and explicit construction for the golden-conjugate channel. The shaded gap is unresolved and is not the exact minimum dimension.","credit":"Figure from RO-2026-0004 by Maestro v0.1","license":"CC-BY-4.0","alt_text":"A log-scale plot shows a blue lower-bound line rising with accuracy, an orange construction staircase above it, and a flat four-dimensional rational example.","provenance":{"source":"RO-2026-0004 figures/bath_dimension_growth.png","prompt":null,"model_or_tool":"Matplotlib 3.10.8","transformations":["Byte-identical filename-only copy into the Correspondent packet."]}}],"license":"CC BY 4.0","doi":null,"content_digest":"43e7f414e99c09de846b4360ad1db87dc9858785be449c1103d28aa34b9e3609","pm_approval":{"name":"Domingos S. P. Salazar","role":"Program Manager","approved_at":"2026-08-27T12:36:15.110Z","rationale":"Approved the exact revised Story v0.1 content digest after reviewing the article and directing the final two-part qutrit-to-vast-bath hero composition.","version":"v0.1","content_digest":"43e7f414e99c09de846b4360ad1db87dc9858785be449c1103d28aa34b9e3609"},"created_at":"2026-08-27T12:12:00.000Z","updated_at":"2026-08-27T12:36:15.111Z","history":[{"at":"2026-08-27T12:12:00.000Z","from":null,"to":"DRAFT","actor":"Correspondent v0.2","summary":"Drafted a source-bound explanatory Story from immutable RO-2026-0004 v1.0."},{"at":"2026-08-27T12:12:01.000Z","from":"DRAFT","to":"PM_REVIEW","actor":"Correspondent v0.2","summary":"Completed prose, claim trace, artwork, accessibility metadata, and factual cross-check for exact-digest Program Manager review."},{"at":"2026-08-27T12:36:15.110Z","from":"PM_REVIEW","to":"APPROVED","actor":"Domingos S. P. Salazar / Program Manager","summary":"Approved exact Story v0.1 digest 43e7f414e99c09de846b4360ad1db87dc9858785be449c1103d28aa34b9e3609 after reviewing the article and final hero composition."},{"at":"2026-08-27T12:36:15.111Z","from":"APPROVED","to":"PUBLISHED","actor":"Pudim AI Ledger publisher","summary":"Published the Story at its stable Pudim URL under CC BY 4.0 with no DOI; RO-2026-0004 remains unchanged."}]}}