Skip to main content
SEEED STUDIO · PAPER DEEP-DIVE

π₀-FAST — Efficient Action Tokenization

FAST: Efficient Action Tokenization for Vision-Language-Action Models

  • Action tokenization
  • DCT
  • BPE compression
  • Autoregressive policies
arXivRead the paper

Relationship to π0: The paper is titled FAST; π0-FAST is the policy trained using it. FAST is a tokenization method, FAST+ a pre-trained universal action tokenizer, and π0-FAST an autoregressive VLA using this representation. It shares the PaliGemma backbone approach with π0 but changes action generation; it is not merely a compression preprocessor added to π0's flow-matching expert.

Reading source: The original PDF, Sections I–VII and Appendices A–E, following the structure of the preceding π0 deep dive. Page numbers refer to physical pages of the 19-page PDF, from which the figures are extracted. Additional derivations and numerical examples are marked as explanations rather than attributed to the paper.

FAST / π0-FAST Paper Deep-Dive: FAST / π0-FAST Paper Deep-Dive (image-08)

Prerequisites​

VLAs and Action Tokenization​

Explanation: A VLA converts a visible scene and a language task into robot controls. For T-shirt folding, images locate the shirt and grippers, language defines the objective, state describes the arms, and the model predicts future arm and gripper actions.

This paper uses action chunking: predict HH future steps rather than only one. Define:

At=[at,at+1,…,at+H−1]∈RH×D,ot=(It1,…,Itm,ℓt,qt)A_t=[a_t,a_{t+1},\ldots,a_{t+H-1}]\in\mathbb R^{H\times D},\qquad o_t=(I_t^1,\ldots,I_t^m,\ell_t,q_t)

Here tt is robot control time, ata_t a DD-dimensional action, and HH the horizon. ItiI_t^i is image view ii, mm the camera count, ℓt\ell_t the instruction, and qtq_t proprioception. The policy learns πθ(At∣ot)\pi_\theta(A_t\mid o_t), where θ\theta denotes network parameters.

Paper: Chunks are primarily one second long. Thus HH depends on control rate: 15 at 15 Hz, 20 at 20 Hz, and 50 at 50 Hz. Do not assume π0's H=50H=50 for every dataset here.

Action tokenization maps a continuous chunk to discrete symbols:

T(At)=[z1,z2,…,zn],zk∈{0,…,V−1}\mathcal T(A_t)=[z_1,z_2,\ldots,z_n],\qquad z_k\in\{0,\ldots,V-1\}

T\mathcal T is the tokenizer, zkz_k an action-token ID, VV vocabulary size, and nn compressed sequence length. Equally shaped chunks can produce different nn, just as equally long sentences can have different subword counts.

Caution: A token ID is not a joint angle. A FAST token need not correspond to one timestep, joint, or complete action. Generate the sequence first, then decode it to a continuous chunk.

Pointwise Binning, π0 Flow Matching, and FAST​

FAST / π0-FAST Paper Deep-Dive: 1.2 Pointwise Binning, π0 Flow Matching, and FAST (image-04)

Conventional binning independently quantizes each timestep and action dimension. A common configuration discussed in the paper uses 256 uniform bins:

D action components at step 1 → D tokens
D action components at step 2 → D tokens
……
D action components at step H → D tokens
Total: H × D tokens

High-rate data then produces long sequences with highly similar neighboring values. Copying repeated tokens can reduce loss without learning the overall motion.

Minimal example: Values [0.200,0.201,0.202,0.203][0.200,0.201,0.202,0.203] may all fall into one coarse bin. Repeating the previous token predicts many labels correctly but fails to express the steadily changing trajectory.

FAST uses:

Continuous chunk → frequency coefficients → quantization → frequency-first flattening → BPE
→ fewer action tokens → autoregressive VLA prediction → continuous-chunk decoding

The discrete cosine transform (DCT) expresses a trajectory as cosine components at different frequencies; byte-pair encoding (BPE) merges common integer subsequences. Predicting this compressed trajectory representation removes redundant supervision.

AspectPointwise autoregressive VLAOriginal π0π0-FAST
RepresentationDiscrete value per timestep and dimensionContinuous chunkCompressed discrete tokens for a chunk
ObjectiveNext-token predictionConditional flow matchingNext-token prediction
GenerationSequentially generate HDHD tokensIteratively update the complete chunk with an expertGenerate nn compressed tokens, then decode
High-rate dataMore tokens and repetitionContinuous generation avoids dimension-by-dimension decodingCompress temporal redundancy and shorten the output
Main limitationHigh-rate dexterity can be difficult to learnRequires a dedicated continuous expertLossy quantization; autoregressive inference can still be slow

Paper: Table I reduces a one-second, 50 Hz, 14D T-shirt chunk from 700 pointwise tokens to an average of 53 FAST tokens. Decoding still yields 50 × 14 actions; robot control does not become “53 tokens per second.”

FAST / π0-FAST Paper Deep-Dive: 1.2 Pointwise Binning, π0 Flow Matching, and FAST (image-05)

Figure 2: predictions of the same cubic spline at different sampling densities. Yellow is pointwise binning; green is DCT. The lower color scale goes from light yellow to purple as sample count HH increases from 25 to 800. From original Figure 3, PDF page 3.

Reading the figure: Four input points define the same kind of interpolation target while density increases. Pointwise-tokenization error grows, eventually approaching a constant prediction; DCT error remains low. Learning can fail because of representation rather than a harder task. The 25–800 values are synthetic samples per sequence, not real robot control frequencies.

Training, Inference, and Evaluation​

StageInputs and operationsOutput and criterion
Tokenizer trainingNormalize actions, apply DCT and quantization, and learn BPE from integer sequences.Encoding/decoding rules; compression and reconstruction error.
Policy trainingCondition on images, language, and state; encode future demonstrated actions as FAST labels.Cross-entropy optimization and VLA weights.
Policy inferenceGenerate tokens, reverse BPE, dequantize, and apply inverse DCT.Continuous chunks for the controller.
Robot evaluationExecute specified tasks and starting conditions.Task success or normalized progress.

Paper: Evaluation includes six real-robot tasks/settings and one simulation benchmark, plus separate offline FAST+ compression tests across embodiments. Compressing humanoid data is not the same as training and physically validating a humanoid policy.

Caution: Token loss, reconstruction error, and task score are distinct. A key finding is that repetitive labels can produce low training loss while trajectories and robot behavior remain poor.


Abstract​

Translation​

Autoregressive sequence models, including Transformer VLAs, can represent complex generalizable robot behavior, but require a tokenizer to map discrete predictions to continuous actions. The authors find that simple per-dimension, per-timestep binning performs poorly on high-frequency dexterous data.

They propose Frequency-space Action Sequence Tokenization (FAST), using DCT-based compression to let autoregressive VLAs learn high-frequency dexterous tasks where standard discretization fails.

FAST+ is a universal tokenizer trained on one million real-robot action sequences, usable as a black-box tokenizer across different action spaces and control frequencies.

Combined with the π0 VLA approach, FAST scales to 10,000 hours of robot data, matches diffusion-style VLA performance, and reduces training time by up to five times.

Commentary​

  • Motivation: High-rate actions contain repeated information. Pointwise tokens spend prediction effort on labels with little new motion supervision.

  • Core change: Change the learning-target representation before training the policy. FAST compresses trajectory information without lowering execution frequency or discarding control points.

  • Why it can work: DCT concentrates trajectory shape, quantization creates compressible coefficients, and BPE shortens common combinations. All three contribute to the final tokens.

  • Meaning of “universal”: FAST+ avoids retraining a dataset-specific BPE vocabulary, but still requires compatible normalization, dimensions, and horizons. Its million training samples are mainly one-second chunks, not a million complete task episodes.

  • Scope of “five times”: Large-scale policy experiments reduce required GPU hours by up to about five times. This is not faster inference: v1 reports around 750 ms per π0-FAST chunk versus usually under 100 ms for π0.


Introduction​

FAST / π0-FAST Paper Deep-Dive: 3. Introduction (01-tokenization-bottleneck)

Paragraph 1: Locate the Bottleneck in Tokenization​

  • Main point: Large Transformers can learn robot behavior from scratch or use image-text pre-training, but actions must be tokenized. Pointwise binning struggles on dexterous high-rate tasks because copying correlated recent values achieves low loss and can trap learning in a poor local optimum.

  • Problem: A powerful backbone does not guarantee useful action learning; target representation can limit the supervision.

  • Setup: Section IV studies sampling density with synthetic interpolation; Section V proposes compression.

FAST / π0-FAST Paper Deep-Dive: Paragraph 1: Locate the Bottleneck in Tokenization (02-compress-then-predict)

Paragraph 2: Compress First, Predict Second​

  • Main point: Inspired by language tokenization, FAST uses DCT for continuous robot signals. Standard next-token prediction then learns previously failing tasks and supports a DROID policy used through language in unseen settings.

  • Problem: If temporal redundancy is the obstacle, reduce label redundancy rather than only increasing network capacity.

  • Setup: Section V-B gives the algorithm, and Section VI evaluates real tasks and DROID generalization.

FAST / π0-FAST Paper Deep-Dive: Paragraph 2: Compress First, Predict Second (03-universal-tokenizer-and-scaling)

Paragraph 3: Universal Tokenization and Large-Scale Policies​

  • Main point: FAST+ learns a vocabulary from one million sequences covering single-arm, bimanual, mobile, and varied control interfaces and frequencies. π0-FAST scales autoregression to 10,000 hours with less training time than the diffusion-style comparison.

  • Problem: Retraining a tokenizer for every robot adds overhead, and the method must scale beyond individual datasets.

  • Setup: Section V-C and Appendix A describe FAST+; VI-C tests universality and VI-F large-scale policies.

Caution: The introduction contains three main paragraphs, with the first spanning pages 1–2. Page breaks and figure captions are not extra paragraphs. Claims about the “first” DROID result reflect the authors' assessment at publication, not a survey of later work.


  • Text, image, and audio tokenization: Text BPE merges frequent subsequences; other modalities use learned quantization or frequency representations. FAST applies the representation-and-compression principle to continuous action chunks. DCT is analytic; only the BPE vocabulary is learned.

  • VLAs: RT-2 and OpenVLA transfer image-text knowledge to control but commonly use pointwise action bins. FAST changes outputs so an autoregressive backbone can learn high-rate dexterity; continuous-flow π0 is a key comparison.

  • Action representations: Semantic subtasks and keypoints may depend on hand-designed controllers; binning directly represents controls but has temporal redundancy; regression and diffusion heads change output mechanisms. FAST retains discrete sequence prediction. The learned compression comparison uses finite scalar quantization (FSQ). FAST needs no neural encoder and performs better on the tested high-fidelity reconstructions and dexterous tasks, not necessarily every learned tokenizer.


π0-FAST Policy System and Experimental Platforms​

Goals and Components​

FAST is an action-processing method, not new teleoperation hardware. This system section explains how tokenization, the VLA, control, and evaluation fit together.

Goals are to compress high-rate actions while retaining fine trajectories, reuse autoregressive VLM training, support varied action spaces, enable easy tokenizer training/reuse, and scale across embodiments.

ComponentPaper configurationRole
FAST / FAST+DCT, quantization, frequency-first flattening, BPEEncode chunks as predictable symbols and decode them.
π0-FAST backbonePaliGemma-3BEncode images/language and autoregressively generate action tokens.
Backbone-transfer comparisonOpenVLA based on Prismatic 7BTest whether benefits extend beyond PaliGemma.
ImagesTwo or three 224×224224\times224 viewsOne external view plus one wrist view per arm.
Proprioception256-bin discretization, then integer-text tokenizationSupply the current robot state.
ExecutionPlatform-specific low-level controllersSend decoded continuous values to joints, grippers, and other controls.

Paper: All policy weights are fine-tuned. Each image is encoded separately, then visual tokens are concatenated. Image size and textual state encoding are specified in Appendix C rather than inferred from π0.

FAST / π0-FAST Paper Deep-Dive: 5.1 Goals and Components (image-01)

Task / settingPlatform and control rateCapability tested
LIBEROSimulationSpatial, object, goal, and long-horizon generalization.
Table bussingSingle UR5/UR5e, 20 HzGrasp, sort, and store 12 objects.
T-shirt foldingBimanual ARX, 50 HzPrecisely grasp and fold a flat shirt.
Grocery baggingSingle UR5/UR5e, 20 HzBag seven objects without collapsing or tearing the bag.
Toast out of toasterBimanual Trossen Viper-X, 50 HzRemove two toast slices and place them on a plate.
Laundry foldingBimanual ARX, 50 HzRetrieve, spread, fold, and stack garments from a basket.
DROID zero-shot tabletop tasksFranka data and deployment, 15 HzFollow language for placement, wiping, drawer operations, and related tasks in new scenes.

Caution: High control frequency means many control points per second; high frequency in DCT means rapid variation along a trajectory. Smooth 50 Hz motion can still be dominated by low-frequency coefficients. Neither is the full model's inference rate.

Connecting Encoding, Prediction, and Execution​

The complete workflow is:

Demonstrations → one-second future chunks → normalization and FAST → action-token labels
Current images + language + state → VLM prefix → learn action-token prediction
↓ after training
New observations → autoregressive tokens → FAST decoding → continuous chunk → execute
↓
observe and predict again

FAST encodes only action targets; it does not interpret images or apply DCT to current proprioception. During training, the model sees ground-truth previous action tokens; at inference, it sees its own generated tokens.

Paper: Action symbols replace rarely used slots in the VLM vocabulary, reusing discrete outputs without a π0-style flow expert. OpenVLA experiments still modify multi-image inputs and chunk outputs. Compatibility with autoregressive backbones does not mean every existing robot codebase needs no adaptation.

Execution timing: DROID predicts 15 steps and executes eight or 15 open-loop before updating observations. At 15 Hz, these cover about 0.53 or one second of control points, not total wall-clock cycles including inference and communication. v1 does not specify one execution length for every platform.

Rationale: Chunks retain trajectory coherence; compression makes high-rate labels learnable; autoregressive outputs let pre-trained image-text weights participate directly. Controllers receive continuous values, not BPE IDs.

Data, Capabilities, and Results​

Dataset Scale and Configuration​

UseScopeDistinction
FAST+ tokenizer trainingAbout one million one-second real-action chunksLearns BPE, not VLA visual understanding.
FAST+ coverageSingle-arm, bimanual, mobile; joint, world-frame end-effector, and camera-frame end-effector controls; varied frequenciesOne robot can contribute multiple action parameterizations.
Large-scale policyπ0 mixture: 903M internal timesteps, with open data receiving 9.1% mixture sampling weightOpen sources include Bridge v2, DROID, and OXE; 9.1% is not a raw-data-volume fraction.
DROID-specific policy75k successful episodes, about 21M samplesLight filtering and removal of all-zero idle actions; policy training is still required.
DROID trainingBatch 256, 240k iterations, about three epochsAppendix D reports about four days on eight H100s for this configuration.

Paper: FAST+ training pads actions to 32 dimensions. This aligns tokenizer data, not every policy's output size, and differs from π0's 18D interface. New platforms still need their effective action dimensions defined.

DROID uses one external and one wrist image. Training randomly chooses between two available external cameras and three language annotations per episode, without camera calibration information. Controls are joint velocities and absolute gripper position. New-view deployment does not eliminate the need to configure coordinates and control interfaces.

Compression: Fewer Tokens, the Same Action Horizon​

These one-second results reproduce Table I. Compression is pointwise token count divided by average FAST count at similar reconstruction error.

Dataset / taskDimension DDRate and horizon HHPointwise tokensAverage FAST tokensCompression
BridgeV275 Hz, 5 steps35201.75
DROID715 Hz, 15 steps105293.6
Table bussing720 Hz, 20 steps140285.0
T-shirt folding1450 Hz, 50 steps7005313.2

Interpretation: Increasing control points does not necessarily add proportionally new motion information. About 30 tokens per arm per second is an empirical observation here, not a fixed length.

Version check: Appendix Table III uses some different-dimensional offline datasets, including 8D DROID Joint and table bussing, while Table I lists 7D. The Table I convention is retained rather than merging different parameterizations into one specification.

Evaluation: Success and Progress Are Different​

TaskEvaluation
LIBEROBinary episode success; four suites jointly trained on about 270k samples for 40k iterations.
Table bussingFraction of 12 objects correctly placed in the trash or storage container.
T-shirt foldingHuman-judged folding success across five seen shirts.
Grocery baggingFraction of seven objects placed in the bag.
Toast removalOne point per slice removed and one per slice plated; four points total, then normalized.
Laundry foldingHuman-judged garment folding and stacking, with five random garments in the basket.
DROID quantitative tests44 trials per policy, with task-specific progress points such as correct grasp and destination.

Version check: The main text calls LIBERO's fourth suite Libero-10; the appendix calls it Libero-Long. It is described as the long-horizon suite here. Appendix E says 16 DROID tasks, while Table II lists 17 names; trial counts still sum to 44. The discrepancy is preserved rather than silently resolved.

Evidence boundary: Deployments across Berkeley, Stanford, and the University of Washington are additional qualitative demonstrations without reported success rates. Zero-shot means no further training for the new deployment scene, not no DROID training. FAST+ vocabulary training also includes data from real evaluation tasks, so Figure 6 does not show both tokenizer and policy completely unfamiliar with every task.

Comparing Tokenizers​

FAST / π0-FAST Paper Deep-Dive: Comparing Tokenizers (image-06)

On 20 Hz table bussing and 50 Hz T-shirt folding, pointwise binning makes little progress, while FAST and FAST+ learn useful policies. FSQ supports the value of compression but generally trails FAST on these dexterous tasks. Universal FAST+ is close to dataset-specific FAST, supporting its use as a default.

Caution: The figure averages different task scores, so it is not a uniform average success rate. Error bars also limit conclusions about small differences between similar bars.

Single-Dataset Comparison with π0​

FAST / π0-FAST Paper Deep-Dive: Single-Dataset Comparison with π0 (image-09)

  • On smaller datasets such as LIBERO and T-shirt folding, the authors judge performance comparable.

  • On large table-bussing data, FAST reaches strong performance sooner; π0 takes about three times as many steps to approach it.

  • On DROID, π0-FAST follows language more reliably while flow-matching π0 often ignores it; the paper does not establish the underlying cause.

Explanation: Teacher forcing computes losses for output positions in parallel during training; autoregressive inference remains sequential. Faster training and slower inference can coexist. These results do not establish universal autoregressive superiority.

Large-Scale Generalists and Compute-Matched Comparison​

FAST / π0-FAST Paper Deep-Dive: Large-Scale Generalists and Compute-Matched Comparison (image-02)

π0-FAST has similar overall performance to π0 across folding, bussing, bagging, toast, and laundry. Individual tasks vary; toast does not support a claim of universal FAST superiority. The evaluated π0-FAST uses about one-fifth as many GPU hours.

Caution: VI-F broadly describes zero-shot comparison, but Appendix E specifies high-quality task fine-tuning for laundry after large-scale pre-training. Bagging and toast use pre-trained models directly. Not every Figure 6 task is free of task-specific fine-tuning.

FAST / π0-FAST Paper Deep-Dive: Large-Scale Generalists and Compute-Matched Comparison (image-10)

Compute matching more directly supports faster convergence: FAST has a higher overall mean and clear bussing/bagging gains, while still trailing on toast. This is evidence of training efficiency, not stronger final capability on every task.

Deployment boundary: On RTX 4090, VI-E reports usually under 100 ms for π0 and about 750 ms for π0-FAST per one-second chunk. FAST decodes roughly 30–60 tokens through the full language backbone; π0 repeats mainly its smaller 300M expert for ten flow updates. Static tasks tolerate this latency, but dynamic tasks and inference optimization remain future work.


Frequency-Space Tokenization and Autoregressive Policy Modeling​

Mechanism 1: Express a Trajectory with DCT​

Problem and Intuition​

Neighboring control points on smooth trajectories are similar. Independent targets grow with sampling rate without adding much information. DCT instead describes which cosine shapes combine, and with what amplitudes, to form the trajectory.

A few low-frequency coefficients often describe smooth global shape; higher frequencies represent rapid changes and detail. DCT itself neither discards high frequencies nor imposes a fixed low-pass filter. Full DCT and inverse DCT are reversible; quantization introduces the loss.

Formal Expression​

Explanation: The paper applies DCT independently along each action dimension. An orthonormal DCT-II convention is used below for clarity, without claiming the pseudocode specifies that normalization.

For normalized chunk X∈RH×DX\in\mathbb R^{H\times D}:

Ck,d=αk∑j=0H−1Xj,dcos⁡[πH(j+12)k]C_{k,d}=\alpha_k\sum_{j=0}^{H-1}X_{j,d} \cos\left[\frac{\pi}{H}\left(j+\frac12\right)k\right]

α0=1H,αk=2H(k>0)\alpha_0=\sqrt{\frac1H},\qquad \alpha_k=\sqrt{\frac2H}\quad(k>0)

jj indexes time within the chunk, d=1,…,Dd=1,\ldots,D action dimensions, and k=0,…,H−1k=0,\ldots,H-1 frequency. C∈RH×DC\in\mathbb R^{H\times D} is the coefficient matrix. k=0k=0 is constant; higher kk varies faster. DCT acts along time, not across joints.

The corresponding inverse is:

Xj,d=∑k=0H−1αkCk,dcos⁡[πH(j+12)k]X_{j,d}=\sum_{k=0}^{H-1}\alpha_k C_{k,d} \cos\left[\frac{\pi}{H}\left(j+\frac12\right)k\right]

Every timepoint depends on multiple frequencies; one frequency coefficient usually affects the whole chunk.

Minimal Numerical Example​

Explanation: Let H=4,D=2H=4,D=2, with illustrative normalized actions:

X=[0.20.00.20.10.20.20.20.3]⟹C≈[0.40.30−0.2230000−0.0159]X=\begin{bmatrix} 0.2&0.0\\ 0.2&0.1\\ 0.2&0.2\\ 0.2&0.3 \end{bmatrix} \quad\Longrightarrow\quad C\approx\begin{bmatrix} 0.4&0.3\\ 0&-0.2230\\ 0&0\\ 0&-0.0159 \end{bmatrix}

The constant first dimension needs only one nonzero constant coefficient. The increasing second dimension is mostly represented by the constant and first varying component, with a small highest-frequency coefficient. There are still four timesteps and two dimensions; only the coordinate representation changes.

Why it helps: Dense samples of smooth motion add similar points without necessarily adding important frequencies. Concentrating shared information makes compression into fewer informative tokens possible.

Scale and limits: Chunks are usually about one second. H=1H=1 offers no temporal redundancy; short chunks limit compression, while long chunks increase the horizon and, if executed open-loop, delay feedback. Abrupt contact or gripper transitions may require higher frequencies; a few low frequencies cannot represent every action accurately.

Mechanism 2: Quantization, Frequency-First Ordering, and BPE​

Why DCT Alone Is Insufficient​

DCT still produces HDHD real coefficients. Tokenizing each separately does not shorten the sequence, and near-zero coefficients create repeated labels. FAST therefore adds quantization and BPE.

FAST / π0-FAST Paper Deep-Dive: Why DCT Alone Is Insufficient (image-00)

Per-Dimension Percentile Normalization​

Paper: Map each training-data dimension's 1st and 99th percentiles to −1-1 and 11, reducing scale differences and outlier influence.

Explanation: For a nondegenerate dimension:

Xj,d=2At[j,d]−LdUd−Ld−1X_{j,d}=2\frac{A_{t}[j,d]-L_d}{U_d-L_d}-1

LdL_d and UdU_d are the 1st and 99th percentiles, respectively; At[j,d]A_t[j,d] is the physical action component, and Xj,dX_{j,d} its unitless normalized value. If Ld=0,Ud=2L_d=0,U_d=2 for a joint, physical actions 0,1,20,1,2 map to −1,0,1-1,0,1.

Caution: Mapping percentiles does not force every value into [−1,1][-1,1]. Follow the implementation for clipping and degenerate Ld=UdL_d=U_d; v1 does not detail them. Save training statistics for deployment rather than recomputing percentiles on each predicted chunk.

Scale and Round to Create Compressible Integers​

Qk,d=round⁡(γCk,d),C^k,d=Qk,dγQ_{k,d}=\operatorname{round}(\gamma C_{k,d}),\qquad \widehat C_{k,d}=\frac{Q_{k,d}}{\gamma}

QQ is the integer matrix, γ>0\gamma>0 the scale, and C^\widehat C reconstructed coefficients. Larger γ\gamma makes the grid finer, usually improving reconstruction but potentially increasing tokens; smaller values zero more small coefficients and compress more at greater error.

Paper: Dataset-specific experiments use γ=10\gamma=10 and vocabulary V=1024V=1024, with limited sensitivity in the tested range. These are not universal settings for arbitrary action spaces.

Continuing the example with γ=10\gamma=10:

Q=[430−20000]Q=\begin{bmatrix} 4&3\\ 0&-2\\ 0&0\\ 0&0 \end{bmatrix}

The highest-frequency −0.0159-0.0159 becomes zero, while −0.2230-0.2230 becomes −2-2. No rule keeps only the first two frequencies; any sufficiently large coefficient can remain nonzero.

Explanation: Ordinary rounding gives ∥C^k,d−Ck,d∥≤1/(2γ)\|\widehat C_{k,d}-C_{k,d}\|\leq 1/(2\gamma). This bounds one coefficient's error, not physical joint error directly, which also depends on inverse transformation, action scale, and clipping.

Frequency-First Ordering Prioritizes Global Shape​

Before BPE, FAST orders coefficients by increasing frequency, then by action dimension within each frequency:

u=[Q0,1,…,Q0,D,Q1,1,…,Q1,D,…,QH−1,D]u=[Q_{0,1},\ldots,Q_{0,D},Q_{1,1},\ldots,Q_{1,D},\ldots,Q_{H-1,D}]

uu contains HDHD integers. In the example:

Frequency 0, two dimensions: 4, 3
Frequency 1, two dimensions: 0, -2
Frequency 2, two dimensions: 0, 0
Frequency 3, two dimensions: 0, 0
Flattened: 4, 3, 0, -2, 0, 0, 0, 0

Paper: Frequency-first ordering gives more stable rollouts than dimension-first ordering by predicting global low-frequency shape first. The original D×HD\times H matrix calls this column-major; this guide's H×DH\times D convention makes it row-major. The semantic ordering matters, not the row/column label.

BPE Merges Common Integer Subsequences​

BPE learns frequent adjacent symbol combinations and adds them to a finite vocabulary. An illustrative vocabulary might merge [0,0,0,0][0,0,0,0] or [4,3][4,3] into individual tokens, shortening the eight-integer example.

Explanation: Actual merge rules and IDs depend on training data; these are not the paper's literal vocabulary. A token can span dimensions or neighboring frequencies, and decoding expands it back into integers.

Key distinction: Rounding coefficients is lossy; BPE is lossless on the quantized integer sequence. Zero positions are preserved and compressed, not removed. Otherwise inverse transformation would lose their frequency and dimension locations.

FAST / π0-FAST Paper Deep-Dive: 4. BPE Merges Common Integer Subsequences (image-03)

Reading the ablation: Without BPE, DCT still concentrates information and beats pointwise binning, but repeated zero tokens dilute supervision and add decoding steps. Performance drops on both real tasks, supporting separate contributions from DCT and BPE.

Modeling Demonstrations and Reusing FAST+ across Embodiments​

One Observation Can Have Several Valid Actions​

A person may grasp either shirt corner or unfold it differently. Direct mean-squared regression can average valid alternatives into an invalid middle path. π0 models a continuous distribution; π0-FAST models probabilities over compressed tokens.

Autoregressive factorization:

pθ(z1:n∣ot)=∏k=1npθ(zk∣ot,z<k)p_\theta(z_{1:n}\mid o_t) =\prod_{k=1}^{n}p_\theta(z_k\mid o_t,z_{<k})

z1:nz_{1:n} is the FAST sequence and z<kz_{<k} its prefix before token kk. Each step predicts vocabulary probabilities rather than averaging physical action values; the complete sequence decodes to a trajectory.

Caution: FAST has no CVAE encoder, noisy Gaussian action chunk, or flow-time input like π0. This section explains demonstration modeling without importing ACT or π0 modules. Coverage still depends on data, quantization fidelity, and learning.

Why Repeated High-Rate Labels Weaken Learning​

Explanation: When adjacent values barely change, the next token's conditional entropy can be low:

H(Zk∣Z<k,ot)\mathrm H(Z_k\mid Z_{<k},o_t)

ZkZ_k is a random action token and H\mathrm H conditional entropy, distinct from horizon HH. A predictable prefix explains much of the next label, so repetition can score well without sufficient image or task dependence.

This information perspective explains the synthetic and high-rate results; it is not proof that every binned policy fails or fewer tokens always help. Severe compression loss can still produce incorrect behavior.

A Universal Vocabulary with FAST+​

FAST's analytic steps transfer across datasets, but a dataset-specific BPE vocabulary does not necessarily do so. FAST+ learns broader coverage from about one million cross-embodiment chunks:

Multiple robots, action spaces, and control rates
→ Normalize for each data configuration
→ Pad training actions to 32 dimensions
→ DCT, quantization, frequency-first flattening
→ Train BPE on the pooled integer sequences
→ Reusable FAST+ tokenizer

The vocabulary learns common coefficient patterns and zeros, not camera semantics or a robot's complete kinematic controller. A new policy still needs image, language, state, and action data to learn what to do. Universal tokenization and generalist control are different levels.

FAST / π0-FAST Paper Deep-Dive: A Universal Vocabulary with FAST+ (image-12)

Reading the figure: FAST+ compresses varied shapes, dimensions, and frequencies. VI-C calls the tests unseen data, while Table III includes versions of platforms/tasks also named in training. “Unseen” is therefore retained at the paper's data-split level, not extended to every robot category.

Boundary: Figure 10 is offline compression, not humanoid locomotion, dexterous-hand, or driving-policy success. Section VII notes that physical policies are mainly validated on stationary manipulators. Table III includes 40D humanoid data, so 32D training padding is not a mathematical maximum for the method.

Training, Encoding, and Decoding the Tokenizer​

Tokenizer Training​

For demonstration chunks {A(s)}\{A^{(s)}\}, with sample index ss:

  1. Compute and save per-dimension percentile statistics for each data configuration.

  2. Normalize to X(s)X^{(s)} and apply DCT along time independently per dimension.

  3. Quantize to integer Q(s)Q^{(s)} using fixed γ\gamma.

  4. Flatten in frequency-first order to u(s)u^{(s)}.

  5. Train fixed-size BPE on all integer sequences to obtain vocabulary and merge rules Φ\Phi.

Paper: BPE is the only learned tokenizer component. A specific vocabulary usually trains in minutes, not the days or longer needed for a VLA. DCT and quantization have no neural weights and need no separate VQ encoder/decoder.

Encoding: Turn Future Demonstrations into Labels​

The full encoding is:

z1:n=BPE⁡Φ ⁣(Flatten⁡freq ⁣[round⁡(γDCT⁡[Norm⁡(At)])])z_{1:n}=\operatorname{BPE}_{\Phi}\!\left( \operatorname{Flatten}_{\rm freq}\!\left[ \operatorname{round}\left(\gamma\operatorname{DCT}[\operatorname{Norm}(A_t)]\right) \right]\right)

Norm⁡\operatorname{Norm} is normalization, Flatten⁡freq\operatorname{Flatten}_{\rm freq} frequency-first flattening, and Φ\Phi fixed BPE rules. DCT acts along time per dimension. Encoding needs actual future actions, so it creates training labels rather than assuming future knowledge during deployment.

Caution: Algorithm 1 begins at DCT, omitting explicit normalization, while V-B specifies it in prose. This guide follows the full pipeline. Rounding cannot be exactly inverted, so decoding reconstructs an approximation of pre-quantized actions.

Decoding: Turn Predictions into Executable Actions​

After generating z^1:n^\widehat z_{1:\widehat n}:

u^=BPE⁡Φ−1(z^1:n^),Q^=Unflatten⁡H,D(u^)\widehat u=\operatorname{BPE}^{-1}_{\Phi}(\widehat z_{1:\widehat n}),\qquad \widehat Q=\operatorname{Unflatten}_{H,D}(\widehat u)

C^=Q^/γ,X^=IDCT⁡(C^),A^t=Norm⁡−1(X^)\widehat C=\widehat Q/\gamma,\qquad \widehat X=\operatorname{IDCT}(\widehat C),\qquad \widehat A_t=\operatorname{Norm}^{-1}(\widehat X)

n^\widehat n is generated token count; Unflatten⁡H,D\operatorname{Unflatten}_{H,D} reconstructs the coefficient matrix and IDCT⁡\operatorname{IDCT} is the matching inverse. Final A^t∈RH×D\widehat A_t\in\mathbb R^{H\times D} is continuous. Deployment still needs target H,DH,D; variable token length does not replace the control-interface definition.

For the preceding linear normalization, denormalization is:

A^t[j,d]=Ld+X^j,d+12(Ud−Ld)\widehat A_t[j,d]=L_d+\frac{\widehat X_{j,d}+1}{2}(U_d-L_d)

Explanation: Inverse-transforming the example with γ=10\gamma=10 approximately gives:

X^≈[0.20.01930.20.09590.20.20410.20.2807]\widehat X\approx\begin{bmatrix} 0.2&0.0193\\ 0.2&0.0959\\ 0.2&0.2041\\ 0.2&0.2807 \end{bmatrix}

The original second dimension is [0,0.1,0.2,0.3][0,0.1,0.2,0.3]; reconstruction preserves its increasing shape with small errors. BPE decoding adds no change to QQ: quantization causes the error. These are normalized values, not directly radians or millimeters.

Check Compression and Reconstruction Together​

FAST / π0-FAST Paper Deep-Dive: Check Compression and Reconstruction Together (image-07)

Reading the figure: Learned FSQ can be effective at low precision and very few tokens. At higher precision, FAST's error decreases more with token count and better suits the tested fine-control tasks. The shortest sequence is not automatically the best trajectory representation.

Limits: Very small quantization scales can erase coefficients and produce near-constant motion; large scales improve fidelity but create fewer compressible zeros and more complex integers. Larger vocabularies represent more combinations but consume more output slots. The tested range does not establish monotonic performance gains.

Engineering note: Predicted tokens or expanded lengths can be invalid. Check chunk shape, effective dimensions, and control limits before execution. v1 does not fully specify repairs, so padding or truncation must not be presented as a documented paper implementation.

The Complete π0-FAST Network​

Inputs and Shapes​

Each prediction conditions on:

  • Two or three RGB images of 224×224×3224\times224\times3.

  • Natural-language instruction ℓt\ell_t.

  • Proprioception qtq_t, with platform-dependent dimensions.

  • During training only, real future actions At∈RH×DA_t\in\mathbb R^{H\times D} for FAST supervision.

Table I's shirt setting uses H=50,D=14H=50,D=14, giving 50×1450\times14 labels; its DROID setting uses H=15,D=7H=15,D=7, giving 15×715\times7. Use the effective action space for the actual dataset version.

Difference from π0: π0 continuously projects state and noisy actions into an expert. FAST v1 bins current state into 256 levels and tokenizes the integers as text, while future actions use FAST. State is a current condition rather than a long high-rate output, so the authors consider simple binning sufficient there.

Image and Text Features in One Backbone​

A pre-trained encoder produces visual tokens per camera; task and state strings produce text tokens. Together they form the observation prefix. PaliGemma-3B is the main backbone, with OpenVLA/Prismatic 7B as a transfer comparison.

Explanation: With NvN_v tokens per image and Nℓ,NqN_\ell,N_q language/state tokens, prefix length is:

No=mNv+Nℓ+NqN_o=mN_v+N_\ell+N_q

mm is camera count and NoN_o prefix length, ignoring a few separators/special tokens. For embedding width EE, the representation is No×EN_o\times E. This explains dimensions, not a complete v1 specification; visual counts, width, separators, and position encodings are not all given.

Action Suffix and Attention​

FAST encodes demonstrated actions as nn tokens, mapped to rarely used VLM slots and supplied as a prediction suffix after the observation prefix.

Explanation: Predicting token kk uses observations and the preceding k−1k-1 action tokens, never future labels. This is causal autoregression, with no CVAE encoder or continuous-flow decoder.

The backbone's hidden states become vocabulary logits and classification probabilities. V=1024V=1024 is the action vocabulary in dataset-specific experiments, not the full language vocabulary.

Policy Training Loss​

Explanation: Standard negative log-likelihood expresses the stated next-token objective:

LAR(θ)=E(ot,At)[−∑k=1nlog⁡pθ(zk∣ot,z<k)],z1:n=T(At)\mathcal L_{\rm AR}(\theta) =\mathbb E_{(o_t,A_t)}\left[ -\sum_{k=1}^{n}\log p_\theta(z_k\mid o_t,z_{<k}) \right],\qquad z_{1:n}=\mathcal T(A_t)

LAR\mathcal L_{\rm AR} is autoregressive loss, θ\theta policy weights, and expectation averages demonstrations; nn varies by sample. v1 does not fully specify token averaging or treatment of end symbols.

Teacher forcing uses ground-truth z<kz_{<k} during training. A causal mask allows losses at all positions in one forward pass, while inference depends on generated prefixes and proceeds sequentially. Shorter targets reduce overhead without removing inference's serial dependence.

Paper configuration: 1,000 linear warmup steps, then learning rate 5×10−55\times10^{-5}; AdamW with β1=0.9,β2=0.95\beta_1=0.9,\beta_2=0.95, no weight decay, gradient clipping at 1, and exponential moving average coefficient 0.999. All policy weights are fine-tuned.

Sampling and Continuous Outputs​

Most tasks use greedy decoding. Bimanual shirt folding, toast removal, and laundry use temperature 0.7, which the authors find helps escape near-stationary behavior around initial poses.

Explanation: For logits rk,vr_{k,v} and temperature η>0\eta>0:

pk,v=exp⁡(rk,v/η)∑wexp⁡(rk,w/η)p_{k,v}=\frac{\exp(r_{k,v}/\eta)}{\sum_{w}\exp(r_{k,w}/\eta)}

v,wv,w index candidates and pk,vp_{k,v} is sampling probability. The guide uses η\eta to distinguish temperature from optimizer β1,β2\beta_1,\beta_2; the paper writes temperature β=0.7\beta=0.7. It differs from quantization scale γ=10\gamma=10.

FAST decodes tokens to A^t∈RH×D\widehat A_t\in\mathbb R^{H\times D} in the dataset's physical units. DROID uses joint velocity and absolute gripper position; other tasks use their platform settings. Controllers execute valid actions, then new observations generate the next chunk.

Ablation: After adding multi-image input and one-second chunks to OpenVLA, replacing binning with FAST+ substantially improves shirt folding. Benefits extend beyond the π0 backbone, but the test does not establish equal gains for every VLM.

Complete Flow Compared with π0​

Training:
Demonstration images + task language + current state + real next-second actions
→ Encode images as visual tokens
→ Tokenize language and discretized state text as the observation prefix
→ Normalize actions; DCT; quantize; frequency-first flatten; BPE
→ Map action tokens to VLM output slots
→ Compute teacher-forced next-token cross-entropy
→ Fine-tune all policy weights to obtain π0-FAST

Inference:
Current images + task language + state
→ Construct observation prefix
→ Greedily decode or sample action tokens at the specified temperature
→ Reverse BPE and restore integer coefficient ordering
→ Dequantize, inverse DCT, denormalize
→ Obtain an H × D continuous chunk
→ Execute the configured steps with the low-level controller
→ Observe and predict again

In one sentence:
The VLM selects actions from the scene and task;
DCT concentrates shared information from densely sampled trajectories;
quantization and BPE turn coefficients into shorter token sequences;
autoregressive training models their conditional distribution, and FAST decoding restores continuous control.
The main benefits are action representation and training efficiency; v1 inference latency remains a major limitation.
Loading Comments...