Papers
Topics
Authors
Recent
Search
2000 character limit reached

Adaptive Path Correction with Exponents (ACE)

Updated 18 December 2025
  • The paper introduces ACE, a novel framework that adaptively adjusts exponent schedules to maintain valid probability flows in compositional diffusion tasks.
  • ACE employs a weighted Feynman–Kac sampler and bump function corrections to robustly counteract Marginal Path Collapse without needing model retraining.
  • Empirical evaluations show significant error reduction and improved sample quality in synthetic and molecular generation benchmarks using ACE.

Adaptive Path Correction with Exponents (ACE) is a principled framework for enabling robust inference-time steering of pretrained diffusion and flow models via the adaptive combination of multiple model trajectories, each modulated by time-varying exponents. ACE addresses the fundamental challenge of Marginal Path Collapse in ratio-of-densities steering, ensuring the existence of valid intermediate probability paths for tasks including molecular generation and compositional image synthesis. It operates without retraining and leverages only black-box access to pretrained model scores or velocities, transforming ratio-based composition from an unstable heuristic into a reliable algorithmic tool (Lee et al., 11 Dec 2025).

1. Ratio-of-Densities Steering and Marginal Path Collapse

Ratio-of-densities steering forms the backbone of various compositional generative modeling tasks. Given nn pretrained diffusion models {qt(i)}t[0,1]\{q^{(i)}_t\}_{t\in[0,1]}, potentially on different coordinates or subspaces, one constructs an unnormalized trajectory

ht(x)=i=1n(q~t(i)(x))γi(t),h_t(x) = \prod_{i=1}^n \bigl(\tilde q^{(i)}_t(x)\bigr)^{\gamma_i(t)},

with q~t(i)(x)=qt(i)(πi(x))\tilde q^{(i)}_t(x) = q^{(i)}_t(\pi_i(x)) for a suitable projection πi\pi_i into each expert’s domain, and exponent schedule γi(t)R\gamma_i(t)\in\mathbb{R} that may be positive (numerator) or negative (denominator). If htL1h_t\in L^1, then pt(x)=ht(x)/Ztp^*_t(x) = h_t(x)/Z_t with Zt=ht(x)dxZ_t = \int h_t(x)\,dx defines a valid probability flow between start and target t=0,1t=0,1.

Marginal Path Collapse occurs when, despite {qt(i)}t[0,1]\{q^{(i)}_t\}_{t\in[0,1]}0, there exists {qt(i)}t[0,1]\{q^{(i)}_t\}_{t\in[0,1]}1 with {qt(i)}t[0,1]\{q^{(i)}_t\}_{t\in[0,1]}2, making {qt(i)}t[0,1]\{q^{(i)}_t\}_{t\in[0,1]}3 non-normalizable. For example, in a one-dimensional Gaussian setting, the ratio construction can be integrable at endpoints and divergent at intermediate times due to negative effective variance, a phenomenon systematically triggered when numerator variances contract more slowly than denominator variances.

2. Path-Existence Criterion

A closed-form criterion predicts precisely when Marginal Path Collapse will occur in composition tasks involving compactly supported densities. Assuming each expert {qt(i)}t[0,1]\{q^{(i)}_t\}_{t\in[0,1]}4 follows a noise schedule {qt(i)}t[0,1]\{q^{(i)}_t\}_{t\in[0,1]}5 and operates on coordinates {qt(i)}t[0,1]\{q^{(i)}_t\}_{t\in[0,1]}6, define

{qt(i)}t[0,1]\{q^{(i)}_t\}_{t\in[0,1]}7

where {qt(i)}t[0,1]\{q^{(i)}_t\}_{t\in[0,1]}8 indexes coordinates. The integrability of the path is guaranteed by

{qt(i)}t[0,1]\{q^{(i)}_t\}_{t\in[0,1]}9

Violation of this condition for any ht(x)=i=1n(q~t(i)(x))γi(t),h_t(x) = \prod_{i=1}^n \bigl(\tilde q^{(i)}_t(x)\bigr)^{\gamma_i(t)},0 and ht(x)=i=1n(q~t(i)(x))γi(t),h_t(x) = \prod_{i=1}^n \bigl(\tilde q^{(i)}_t(x)\bigr)^{\gamma_i(t)},1 signals an impending Marginal Path Collapse. This criterion holds under the requirement that the final densities ht(x)=i=1n(q~t(i)(x))γi(t),h_t(x) = \prod_{i=1}^n \bigl(\tilde q^{(i)}_t(x)\bigr)^{\gamma_i(t)},2 possess compact support.

3. Construction of Adaptive Path Correction with Exponents (ACE)

ACE introduces a two-pronged solution: (a) adaptive adjustment of exponents to guarantee ht(x)=i=1n(q~t(i)(x))γi(t),h_t(x) = \prod_{i=1}^n \bigl(\tilde q^{(i)}_t(x)\bigr)^{\gamma_i(t)},3 everywhere, and (b) a weighted SDE/ODE sampler for unbiased path tracking.

3.1. Adaptive Exponents Using Bump Functions

Let ht(x)=i=1n(q~t(i)(x))γi(t),h_t(x) = \prod_{i=1}^n \bigl(\tilde q^{(i)}_t(x)\bigr)^{\gamma_i(t)},4 be the desired endpoint exponents and assume ht(x)=i=1n(q~t(i)(x))γi(t),h_t(x) = \prod_{i=1}^n \bigl(\tilde q^{(i)}_t(x)\bigr)^{\gamma_i(t)},5 and ht(x)=i=1n(q~t(i)(x))γi(t),h_t(x) = \prod_{i=1}^n \bigl(\tilde q^{(i)}_t(x)\bigr)^{\gamma_i(t)},6. There exists an index ht(x)=i=1n(q~t(i)(x))γi(t),h_t(x) = \prod_{i=1}^n \bigl(\tilde q^{(i)}_t(x)\bigr)^{\gamma_i(t)},7 and a bump function ht(x)=i=1n(q~t(i)(x))γi(t),h_t(x) = \prod_{i=1}^n \bigl(\tilde q^{(i)}_t(x)\bigr)^{\gamma_i(t)},8 such that modifying the exponent trajectory via

ht(x)=i=1n(q~t(i)(x))γi(t),h_t(x) = \prod_{i=1}^n \bigl(\tilde q^{(i)}_t(x)\bigr)^{\gamma_i(t)},9

for some analytically determined q~t(i)(x)=qt(i)(πi(x))\tilde q^{(i)}_t(x) = q^{(i)}_t(\pi_i(x))0 ensures q~t(i)(x)=qt(i)(πi(x))\tilde q^{(i)}_t(x) = q^{(i)}_t(\pi_i(x))1 for all q~t(i)(x)=qt(i)(πi(x))\tilde q^{(i)}_t(x) = q^{(i)}_t(\pi_i(x))2 and q~t(i)(x)=qt(i)(πi(x))\tilde q^{(i)}_t(x) = q^{(i)}_t(\pi_i(x))3. This approach suffices to correct the path without altering the boundary behavior, as the bump vanishes at q~t(i)(x)=qt(i)(πi(x))\tilde q^{(i)}_t(x) = q^{(i)}_t(\pi_i(x))4 and q~t(i)(x)=qt(i)(πi(x))\tilde q^{(i)}_t(x) = q^{(i)}_t(\pi_i(x))5.

3.2. Weighted Feynman–Kac Sampler

The corrected exponent schedule q~t(i)(x)=qt(i)(πi(x))\tilde q^{(i)}_t(x) = q^{(i)}_t(\pi_i(x))6 enables unbiased tracking of the normalized path via a stochastic differential equation: q~t(i)(x)=qt(i)(πi(x))\tilde q^{(i)}_t(x) = q^{(i)}_t(\pi_i(x))7 where q~t(i)(x)=qt(i)(πi(x))\tilde q^{(i)}_t(x) = q^{(i)}_t(\pi_i(x))8 collects expert scores, q~t(i)(x)=qt(i)(πi(x))\tilde q^{(i)}_t(x) = q^{(i)}_t(\pi_i(x))9 is user-chosen drift, and πi\pi_i0 terms encapsulate velocity divergence and drift mismatch corrections.

3.3. Collapse Prevention

By enforcing πi\pi_i1 via the bump-corrected exponents, the integrand πi\pi_i2 remains normalizable for all πi\pi_i3, preserving unbiased inference. The score πi\pi_i4 is well-defined, and the Feynman-Kac framework yields stable tracking.

4. Algorithmic Implementation

The ACE method is operationalized as follows (see Alg. 1 in (Lee et al., 11 Dec 2025)):

  1. Initialization: Draw πi\pi_i5 initial particles πi\pi_i6, set log-weights πi\pi_i7.
  2. For each timestep πi\pi_i8:

a. Compute πi\pi_i9 and drift γi(t)R\gamma_i(t)\in\mathbb{R}0. b. For each expert γi(t)R\gamma_i(t)\in\mathbb{R}1, compute γi(t)R\gamma_i(t)\in\mathbb{R}2. c. Propagate γi(t)R\gamma_i(t)\in\mathbb{R}3. d. Update γi(t)R\gamma_i(t)\in\mathbb{R}4 by integrating the SDE corrections. e. If the effective sample size γi(t)R\gamma_i(t)\in\mathbb{R}5, perform weighted resampling.

  1. Output: Approximates γi(t)R\gamma_i(t)\in\mathbb{R}6 via weighted samples.

This sampler accommodates both SDE and ODE settings (by setting γi(t)R\gamma_i(t)\in\mathbb{R}7, omitting Itô corrections) and can be integrated with Sequential Monte Carlo resampling strategies.

5. Empirical Evaluation

5.1. Synthetic 2D Checkerboard

In a synthetic benchmark, the target γi(t)R\gamma_i(t)\in\mathbb{R}8 is realized over γi(t)R\gamma_i(t)\in\mathbb{R}9 using three heterogeneous diffusion experts. Collapse frequency is substantial: in htL1h_t\in L^10 random schedules, Marginal Path Collapse occurs in htL1h_t\in L^11 of cases at guidance htL1h_t\in L^12, rising to htL1h_t\in L^13 at htL1h_t\in L^14. ACE (htL1h_t\in L^15) eliminates collapse, achieving htL1h_t\in L^16, htL1h_t\in L^17, and htL1h_t\in L^18, representing a htL1h_t\in L^19 reduction in error over constant-exponent baselines (FKC: pt(x)=ht(x)/Ztp^*_t(x) = h_t(x)/Z_t0).

Method pt(x)=ht(x)/Ztp^*_t(x) = h_t(x)/Z_t1 pt(x)=ht(x)/Ztp^*_t(x) = h_t(x)/Z_t2 MMD
NR 0.78 1.07 0.068
FKC 2.13
ACE (pt(x)=ht(x)/Ztp^*_t(x) = h_t(x)/Z_t3) 0.28 0.40 0.027

5.2. Flexible-Pose Scaffold Decoration

In molecular scaffold decoration, three models are composed: DN (de-novo, trained on ZINC), CONF (topology-conditioned conformers), and SBDD (pocket-conditioned generation). Collapse for constant-exponent steering limits attainable guidance (pt(x)=ht(x)/Ztp^*_t(x) = h_t(x)/Z_t4). Applying ACE with pt(x)=ht(x)/Ztp^*_t(x) = h_t(x)/Z_t5 to the SBDD exponent restores valid paths for pt(x)=ht(x)/Ztp^*_t(x) = h_t(x)/Z_t6 up to pt(x)=ht(x)/Ztp^*_t(x) = h_t(x)/Z_t7. On CrossDock-Weak and CrossDock-SBDD datasets, ACE attains 96–100% chemical validity, optimal structure recovery, and substantially improved docking scores (pt(x)=ht(x)/Ztp^*_t(x) = h_t(x)/Z_t8 for ACE at pt(x)=ht(x)/Ztp^*_t(x) = h_t(x)/Z_t9 vs. Zt=ht(x)dxZ_t = \int h_t(x)\,dx0 for FKC), surpassing specialized task models such as Delete, DiffDec, and AutoFragDiff.

6. Practical Guidelines and Limitations

  • Always verify the path-existence criterion Zt=ht(x)dxZ_t = \int h_t(x)\,dx1 on the discrete sampling grid before steering.
  • If Zt=ht(x)dxZ_t = \int h_t(x)\,dx2 for some Zt=ht(x)dxZ_t = \int h_t(x)\,dx3, introduce a bump Zt=ht(x)dxZ_t = \int h_t(x)\,dx4 in positive exponents; Zt=ht(x)dxZ_t = \int h_t(x)\,dx5 suffices for molecular tasks, and increasing Zt=ht(x)dxZ_t = \int h_t(x)\,dx6 further broadens safety margins, though may amplify model errors.
  • For valid paths, moderate time variation in exponents can sharpen distributions and improve sample quality (see compositional generation on COCO-MIG, Prop. 4.1).
  • ACE requires no retraining and is agnostic to the specific network architectures, requiring only black-box score/velocity access.
  • Current limitations include: error accumulation under many expert compositions, extension to discrete/hybrid spaces, cost of SDE/ODE distillation for faster inference, and application beyond stochastic interpolants to broader transport tasks.

7. Significance and Research Frontiers

ACE furnishes a theoretically complete framework for addressing Marginal Path Collapse in diffusion steering, enabling previously unattainable degrees of compositionality and guidance strength across synthetic, molecular, and image domains. This framework systematically transforms ratio-of-densities steering into a stable, general methodology, promoting broader adoption in controllable generation. Open research questions include managing expert composition error, discrete-variable extensions, efficient inference distillation, and application to broader generative transport problems (Lee et al., 11 Dec 2025).

Definition Search Book Streamline Icon: https://streamlinehq.com
References (1)

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Adaptive Path Correction with Exponents (ACE).