Diffusion over images (Diffusion model) works with real numbers: a little Gaussian noise is added to each pixel and the network learns to subtract it. With text there is nothing to add: a token is an element of a finite vocabulary, and "cat + 0.1" is nothing at all. Discrete diffusion replaces addition with a transition probability: at each step, each token stays put or jumps to another symbol according to a matrix Qₜ (Austin et al., 2021, sec. 3). What is learned is still the way back.
Austin et al. (2021) (D3PM) studied several matrices; two matter for text (2021, sec. 3.1):
- Absorbing noise. Each token either stays or turns into
[MASK], which it never leaves; in the end everything is masked, and the model knows which positions are missing. On text this variant performed best (2021, sec. 5), in SEDD as well (Lou et al., 2024, sec. 5.2). Sahoo et al. (2024) (MDLM) showed that its objective is a weighted average of masked language modeling losses and that, on the way back, in their parameterization, a revealed token never changes again (2024, secs. 3.2.3, 3.5). This is LLaDA's recipe (Nie et al., 2025, sec. 2.1). - Uniform noise. Each token can jump to any other; in the end there is a soup of random tokens. The model does not know which ones are wrong, but nothing is ever fixed: DiffusionGemma uses this variant so that it can correct what it has already written (Google, 2026).
The framework covers familiar models. According to Austin et al. (2021), BERT is a one-step diffusion, and an autoregressive generation model is a deterministic diffusion that masks one token per step, starting from the end (2021, sec. 4). In this framework, writing straight through and filling gaps are two ways of ordering the noise.
A detail for linguists: the authors also tried noise that jumps more often between tokens with similar embeddings (the idea: in a vocabulary of letters, vowels resemble one another more than they resemble consonants). It barely improved on uniform noise, a negative result that surprised them and that, they say, suggests that not every notion of structure is meaningful (2021, secs. 3.1, 5.1). Which similarity between signs would be the relevant one for corrupting a text?