The news. On July 6, 2026, a research paper (arXiv:2607.05381) asked a deceptively simple question: what does a discrete diffusion model actually learn? Using a continuous-time Markov-chain view of how a sequence gets noised, it proves an "Oracle Distance" theorem linking the training loss to the distance from a perfect reverse process, then shows that the denoiser, score, and bridge parameterizations are equivalent coordinates for the same optimizer, with closed-form conversions between them. Prior recipes — MDM, UDM, SEDD, and GIDD — fall out as special cases. Read the paper →
Picture standing at the mouth of a parking garage, needing to tell someone how to reach one specific car. You could give the exact address — "spot B-12." You could give a compass bearing — "head northeast and keep bearing right." Or you could name a landmark — "it's under the big pipe." Three completely different-sounding instructions, one destination. And if you know any one of them precisely, you can work out the other two. That is the whole result of this paper, transplanted onto diffusion language models.
Start with the destination. Unlike a normal chatbot that writes one token at a time, strictly in order, a diffusion language model begins with a sequence of noise and cleans it up over a few passes, editing every position in parallel with attention that can look both left and right. To do that, the model needs to know, for each corrupted slot, which clean token it should move back toward — formally, the reverse jump rate. This single quantity is the one destination; it is the only thing the model is really trying to learn.
Here is where the three "ways to give directions" come in. The denoiser recipe predicts the clean token outright — the exact address. The score recipe predicts the ratios of probability between neighboring states — a compass bearing that says which way to shift the odds. The bridge recipe predicts what should fill the gap given the rest — the landmark. The paper proves these three are equivalent coordinate systems for the same reverse jump rate, with exact closed-form formulas to convert between them — so, at the optimum, a debate over "which objective is correct" is really a debate over which set of directions is most convenient to write down.
| Coordinate | What it predicts | Directions analogy | Recovers |
|---|---|---|---|
denoiser | the clean token directly | the exact address | MDM |
score | ratios between neighboring states | the compass bearing | SEDD |
bridge / cavity | what fills the gap given the rest | the landmark | UDM, GIDD |
Coordinate equivalence and the recovered prior methods are from the paper (arXiv:2607.05381); the analogies are illustrative.
To see the conversion concretely, picture a single masked slot whose true word is river. The denoiser coordinate reports a probability over the vocabulary — say 0.6 on river, 0.25 on liver, the rest spread thin (illustrative). The score coordinate never stores those probabilities directly; it stores the ratio between neighboring words — river over liver = 0.6 / 0.25 = 2.4 (illustrative). The bridge coordinate keeps a third view. The theorem works at the level of the whole coordinate systems, not a single scalar: it gives fixed, closed-form formulas that rewrite any one of the three parameterizations as another, so training in one and reading out in another needs no retraining and no extra data. For a masked slot the denoiser and bridge coordinates even collapse to the same object; only under uniform noise do they split apart — which is why the choice of noise, not the choice of recipe, is what actually changes the model.
And the loss has a clean meaning too. The paper's Oracle Distance theorem shows the negative ELBO — the thing you minimize during training — splits into a constant (the data's own entropy) plus the distance between your model's denoising path and the path a perfect reverse process would take. The constant does not depend on the model, so the only part you can improve is exactly that path distance — driving the loss down is literally closing the gap to the ideal denoiser, a far more satisfying story than "minimize this bound because the algebra works out."
Goes deeper in: LLM Internals → Text Generation → One Token at a Time
Related explainers
- DiffusionGemma — Parallel block decoding — the decoding side of the same idea: refining a whole block of tokens at once instead of one at a time.
- Parallel speculative decoding for diffusion LLMs — how diffusion LMs are made fast enough to serve.