REVIEW 1 major objections 4 minor 21 references
Tensor trains plus backward SDEs solve the high-dimensional HJB equation that drives reverse diffusion sampling, yielding faster and more accurate samples from multimodal unnormalized densities than neural methods.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-10 20:11 UTC pith:FQXJUOO6
load-bearing objection Solid methods paper: FTT+BSDE for the diffusion HJB gives a real, faster sampler on multimodal targets when the low-rank assumption holds. the 1 major comments →
Tensor Train Diffusion: Leveraging Low-Rank Structures for High-Dimensional Score-Based Sampling
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors establish that the value function of the HJB equation governing the log-density of a noising process admits an accurate, low-rank functional tensor-train approximation along the trajectories of an iteratively refined reverse SDE. By discretizing the corresponding BSDE into a sequence of regularized least-squares problems and solving them with alternating least squares on the tensor-train cores, one obtains both the value function and its gradient (the score) at every time step. The resulting control produces high-quality samples from challenging multimodal targets after only a few outer iterations and with far lower wall-clock cost than neural competitors.
What carries the argument
Functional tensor-train (FTT / extended TT) representation of the HJB value function, combined with a BSDE-derived empirical loss that is linear in the value function and its gradient; the loss is minimized by alternating least squares on the TT cores, with adaptive rank, basis degree, regularization, and domain-extension strategies that keep the approximation stable outside the training trajectories.
Load-bearing premise
The value function of the HJB equation must stay low-rank enough in the functional tensor-train format on the moving domains visited by the sampling trajectories; if the ranks grow exponentially the storage and solve cost become prohibitive.
What would settle it
On a multi-well target whose modes are known exactly, replace the learned TT control by the true score (available from a high-resolution 1-d finite-difference solve) and check whether the effective sample size and log-variance of the TT sampler match the true-score baseline within sampling error; a systematic gap that cannot be closed by increasing TT rank or number of time steps would falsify the claim that the FTT approximation is sufficiently accurate for high-fidelity sampling.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes Tensor Train Diffusion (TTD), a method for sampling from unnormalized high-dimensional densities by solving the HJB PDE that governs the log-density of a noising process. The value function is approximated in the functional/extended tensor-train format and learned via a sequence of BSDE-derived empirical regression losses (Eqs. 9–10) that are minimized by alternating least squares with adaptive rank, basis degree, and regularization. An outer iteration starting from annealed Langevin refines the control so that training trajectories concentrate on the relevant support. Numerical experiments on Multiwell (d=10/50), Ginzburg–Landau, and a Kitagawa state-space model report high ESS, low log-variance, and accurate log-Z estimates, with runtimes competitive with or better than neural diffusion samplers (DIS, PIS and several other baselines).
Significance. If the low-rank hypothesis holds for the target class, TTD supplies a concrete, non-SGD alternative to PINN- and neural-SDE-based diffusion samplers that is both faster and more accurate on the reported multimodal benchmarks. The combination of HJB–BSDE theory with carefully stabilized FTT regression (domain extension, adaptive τ, rank and degree selection) is technically solid and the appendix supplies explicit Gaussian rank bounds (Thms. A.5–A.6) together with reproducible algorithmic detail. The public code link further strengthens the contribution. The work therefore advances the practical toolkit for high-dimensional sampling from unnormalized densities while remaining honest about the modelling assumption that limits its scope.
major comments (1)
- The central modelling hypothesis—that V(·,t) admits a sufficiently low-rank FTT representation on the trajectory-induced domains—is correctly identified as a limitation (§B.1 and conclusion) and is supported by the Gaussian analysis and the rank-adaptivity diagnostics (Figs. 5, 11). No load-bearing inconsistency is present; the method is simply inapplicable when the hypothesis fails. The experimental evidence on Multiwell and Ginzburg–Landau is therefore sufficient for the claimed target class, and no further major technical revision is required on this point.
minor comments (4)
- Notation for time inversion (⃗f) and the discrete loss (10) is dense; a short glossary or expanded first appearance would help readers less familiar with the BSDE literature.
- Figures 3–4 and 14–15 would benefit from explicit wall-clock units and a brief statement of hardware used, so that the runtime comparisons are fully reproducible.
- The hyper-parameter study (Figs. 12–13) is useful; a short table summarizing the default values of γ, q, p, δ and m_i would make the experimental protocol easier to replicate.
- A few typographical inconsistencies appear (e.g., “HJB type” vs. “HJB-type”, occasional missing spaces around citations); a light copy-edit would polish the manuscript.
Circularity Check
No significant circularity: HJB–BSDE derivation and TT regression are self-contained; performance metrics are external importance weights against the known target.
full rationale
The paper’s central chain (time-reversal of an OU noising SDE o score = abla log p o Hopf–Cole transform to HJB PDE (Lemma 2.1) o Itô-derived BSDE loss (Eqs. 5–10) o discrete backward regression on trajectory samples o ALS on extended tensor-train cores) is classical optimal-control / BSDE theory plus a standard low-rank ansatz; none of the equations is definitionally equivalent to its own inputs. The outer-loop refinement and adaptive rank/regularization/basis procedures are algorithmic heuristics, not fitted free parameters that force the reported ESS / log-variance / log-Z numbers. Those metrics are computed from path-space importance weights that explicitly evaluate the unnormalized target ho_target (Section B.2), so they constitute independent external validation. Self-citations (Richter et al. 2021/2024, Gruhlke et al. 2026, Berner et al.) supply prior TT–BSDE machinery and the sampling setup, but the uniqueness or correctness of the present claims does not rest on an unverified self-citation; the Gaussian FTT-rank bounds (Theorems A.5–A.6) are proved in the appendix. The low-rank hypothesis is openly listed as a limitation (§B.1), not smuggled in as a prediction. Consequently the derivation is self-contained against external benchmarks and exhibits no circular reduction.
Axiom & Free-Parameter Ledger
free parameters (5)
- relative regularization weight γ =
0.1
- domain extension / shrinkage factors q, p =
0.1
- singular-value rank threshold δ =
1e-4
- number of univariate basis functions m_i =
3–13 (problem-dependent)
- number of time steps N =
2^8 … 2^13
axioms (4)
- domain assumption The log-density of the time-reversed diffusion satisfies the HJB PDE (4) (Lemma 2.1).
- standard math The BSDE residual (7)/(9) vanishes if and only if the approximate value function coincides with the true HJB solution (up to discretization).
- ad hoc to paper Target densities of interest possess latent low-rank structure that is inherited by the HJB value function along sampling trajectories.
- standard math The set of fixed-rank tensor trains is a closed Riemannian manifold, permitting stable ALS optimization.
invented entities (1)
-
Tensor Train Diffusion (TTD) algorithm
independent evidence
Cite this review
Pith. "Pith review of Tensor Train Diffusion: Leveraging Low-Rank Structures for High-Dimensional Score-Based Sampling." pith.science (2026). https://pith.science/paper/FQXJUOO6
@misc{pith2026260706841,
author = {Pith},
title = {Pith review of: Tensor Train Diffusion: Leveraging Low-Rank Structures for High-Dimensional Score-Based Sampling},
year = {2026},
howpublished = {\url{https://pith.science/paper/FQXJUOO6}},
note = {Machine review of arXiv:2607.06841}
}
read the original abstract
Diffusion models offer a powerful framework for sampling from complex probability densities by learning to reverse a noising process. A common approach involves solving for the time-reversed stochastic differential equation (SDE), which requires the score function of the evolving sample distribution. The logarithm of this distribution's density is governed by a Hamilton-Jacobi-Bellman (HJB) type partial differential equation (PDE). However, current methods for solving this PDE, such as PINNs or trajectory-based techniques, often suffer from long training times and significant sensitivity to hyperparameter tuning. In this work, we introduce a novel and efficient solver for the underlying HJB equation based on the functional tensor train (FTT) format. The FTT representation leverages latent low-rank structures to efficiently approximate high-dimensional functions, enabling both model compression and rapid computation. By integrating this efficient representation with a backward-in-time iterative scheme derived from backward stochastic differential equations (BSDEs), we develop a fast, robust and accurate sampling method. Our approach overcomes primary bottlenecks of existing techniques, enabling high-fidelity sampling from challenging target distributions with improved efficiency.
Figures
Reference graph
Works this paper leans on
-
[1]
Albergo, M. S. and Vanden-Eijnden, E. NETS: A non-equilibrium transport sampler.arXiv preprint arXiv:2410.02711,
work page internal anchor Pith review Pith/arXiv arXiv
-
[2]
Approximation Theory of Tree Tensor Networks: Tensorized Univariate Functions -- Part I
Ali, M. and Nouy, A. Approximation with tensor net- works. Part I: Approximation spaces.arXiv e-print, pp. arXiv:2007.00118, 2020a. Ali, M. and Nouy, A. Approximation with tensor networks. Part II: Approximation rates for smoothness classes. arXiv e-print, pp. arXiv:2007.00128, 2020b. Ali, M. and Nouy, A. Approximation with tensor networks. Part III: Mult...
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[3]
Approximation by tree tensor networks in high dimensions: Sobolev and compositional functions
Bachmayr, M., Nouy, A., and Schneider, R. Approx- imation by tree tensor networks in high dimensions: Sobolev and compositional functions.arXiv preprint arXiv:2112.01474,
work page internal anchor Pith review Pith/arXiv arXiv
-
[4]
Blessing, D., Berner, J., Richter, L., Domingo i Enrich, C., Du, Y ., Vahdat, A., and Neumann, G
URL https:// openreview.net/forum?id=Q1QTxFm0Is. Blessing, D., Berner, J., Richter, L., Domingo i Enrich, C., Du, Y ., Vahdat, A., and Neumann, G. Trust region con- strained measure transport in path space for stochastic optimal control and inference.Advances in Neural Infor- mation Processing Systems, 38:165462–165510, 2026a. Blessing, D., Richter, L., B...
-
[5]
Sequential Controlled Langevin Diffusions
Chen, J., Richter, L., Berner, J., Blessing, D., Neumann, G., and Anandkumar, A. Sequential controlled Langevin diffusions.arXiv preprint arXiv:2412.07081,
work page internal anchor Pith review Pith/arXiv arXiv
-
[6]
Grasedyck, L. Hierarchical singular value decomposition of tensors.SIAM journal on matrix analysis and applica- tions, 31(4):2029–2054,
work page 2029
-
[7]
MCMC for multi-modal distributions
Latuszy´nski, K., Moores, M. T., and Stumpf-F ´etizon, T. MCMC for multi-modal distributions.arXiv preprint arXiv:2501.05908,
work page internal anchor Pith review Pith/arXiv arXiv
-
[8]
Flow Annealed Importance Sampling Bootstrap
Midgley, L. I., Stimper, V ., Simm, G. N., Sch ¨olkopf, B., and Hern´andez-Lobato, J. M. Flow annealed importance sampling bootstrap.arXiv preprint arXiv:2208.01893,
work page internal anchor Pith review Pith/arXiv arXiv
-
[9]
Pardoux, ´E. Backward stochastic differential equations and viscosity solutions of systems of semilinear parabolic and elliptic PDEs of second order. InStochastic Analysis and Related Topics VI: Proceedings of the Sixth Oslo—Silivri Workshop Geilo 1996, pp. 79–127. Springer,
work page 1996
-
[10]
Shi, Z., Hu, Z., Lin, M., and Kawaguchi, K. Stochastic taylor derivative estimator: Efficient amortization for ar- bitrary differential operators.Advances in Neural Infor- mation Processing Systems, 37:122316–122353, 2024a. Shi, Z., Yu, L., Xie, T., and Zhang, C. Diffusion-PINN sampler.arXiv preprint arXiv:2410.15336, 2024b. Song, Y ., Sohl-Dickstein, J.,...
work page internal anchor Pith review Pith/arXiv arXiv
-
[11]
Dynamical Measure Transport and Neural PDE Solvers for Sampling
Sun, J., Berner, J., Richter, L., Zeinhofer, M., M ¨uller, J., Azizzadenesheli, K., and Anandkumar, A. Dynamical measure transport and neural PDE solvers for sampling. arXiv preprint arXiv:2407.07873,
work page internal anchor Pith review Pith/arXiv arXiv
-
[12]
Xu, C., Liu, D., Nassereldine, A., and Xiong, J. FP64 is all you need: Rethinking failure modes in physics-informed neural networks.arXiv preprint arXiv:2505.10949,
-
[13]
Artificial Intelligence for Science in Quantum, Atomistic, and Continuum Systems
Zhang, X., Wang, L., Helwig, J., Luo, Y ., Fu, C., Xie, Y ., Liu, M., Lin, Y ., Xu, Z., Yan, K., et al. Artificial intelli- gence for science in quantum, atomistic, and continuum systems.arXiv preprint arXiv:2307.08423,
work page internal anchor Pith review Pith/arXiv arXiv
-
[14]
Using the notation of contractions of tensors from Section A.1, we can compactly write C=C 1C2 · · ·C d.(21) 14 Tensor Train Diffusion: Leveraging Low-Rank Structures for High-Dimensional Score-Based Sampling First, we note that for any i= 1, . . . , d−1 we can choose an arbitrary invertible matrix Gi ∈GL(r i)⊂R ri,ri and insert it and its inverse between...
work page 2011
-
[15]
Then, it holds that C=U 1 · · ·U k−1CkUk+1 · · ·U d.(27) The resulting updated non-orthonormal componentC=C k is called thecoreat positionkofC. The classical representation of a TT from(20) is prone to rounding errors, when trying to accessC[α] with α= (α 1, . . . , αd). Instead, one first defines a core representation with core C, e.g. with a core positi...
work page 2017
-
[16]
RemarkA.3.An alternative approach would be to construct the tensor basis orthonormally with respect to the (empirical) weighted Hilbert spaces, which corresponds to orthonormalization using empirical Gram matrices. This is expected to provide better control over the magnitude of ∥ · ∥2 H, thereby reducing the sensitivity of the algorithm to the choice of ...
work page 2026
-
[17]
the multi-modal setup from Section 4.1 with d= 1
To illustrate the principle underlying our degree-adaptivity strategy, we consider a one-dimensional example, i.e. the multi-modal setup from Section 4.1 with d= 1 . In this setting, there are no rank interactions, which allows us to isolate the effect of basis-degree adaptivity. Figure 10 illustrates this behavior in practice: forT= 2 , the algorithm sel...
work page 2026
-
[18]
Proof.Direct consequence of the sub-diagonal rank boundsℓ i ofMby application of Theorem A.5. 0 1 2 10 2 10 1 100 Singular value ratio TT component 1 0 1 2 TT component 2 0 1 2 TT component 3 0 1 2 TT component 4 0 1 2 TT component 5 0 1 2 time 2 3 4 5Rank 0 1 2 time 0 1 2 time 0 1 2 time 0 1 2 time Figure 11.We display the singular values of all tensor t...
work page 2013
-
[19]
Unless stated otherwise, we fix the number of basis functions to10, the batch size toK= 2 15, and setp= 0.1. 210 211 212 213 214 215 batch size 0.85 0.90 0.95 ESS iteration 0 iteration 1 210 211 212 213 214 215 batch size 10 1 3 × 10 2 4 × 10 2 6 × 10 2 2 × 10 1 Log-variance 210 211 212 213 214 215 batch size 0.000 0.001 +7.312 estimated log Z 210 211 212...
work page 2024
-
[20]
35 Tensor Train Diffusion: Leveraging Low-Rank Structures for High-Dimensional Score-Based Sampling 100 101 102 0.0 0.2 0.4 0.6 0.8 1.0 Multiwell, d = 10, m = 3 ESS 100 101 102 10 4 10 3 10 2 10 1 error estimated log Z 100 101 102 0.0 0.2 0.4 0.6 0.8 1.0 Multiwell, d = 50, m = 5 ESS 100 101 102 10 3 10 2 10 1 100 error estimated log Z TTD, iter 1 TTD, ite...
work page 2022
-
[21]
and PIS (Zhang & Chen, 2022). By design, our algorithm produces one result per chosen number of steps N (shown as blue and orange dots), whereas DIS and PIS can improve over training time. Accordingly, we evaluate DIS and PIS at equally spaced runtime intervals. In both experiments, our algorithm is not only faster but also achieves better results, partic...
work page 2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.