Hypothesis: Integrating minibatch optimal transport reflow into GNN-based surrogate models will generate valid molecular docking configurations for QUBO optimization with significantly fewer inference steps than standard diffusion or flow-matching models.
Hypothesis: Integrating minibatch optimal transport reflow into GNN-based surrogate models will generate valid molecular docking configurations for QUBO optimization with significantly fewer inference steps than standard diffusion or flow-matching models.
Adversarial Debate Score
62% survival rate under critique
Expert panel critique
Independent views, each critiquing the hypothesis on its own — the score rewards genuine disagreement and discounts consensus.
Supporting Research Papers
- A Physically-Informed Subgraph Isomorphism Approach to Molecular Docking Using Quantum Annealers
Molecular docking is a crucial step in the development of new drugs as it guides the positioning of a small molecule (ligand) within the pocket of a target protein. In the literature, a feasibility st...
- Inference-time optimization for experiment-grounded protein ensemble generation
Protein function relies on dynamic conformational ensembles, yet current generative models like AlphaFold3 often fail to produce ensembles that match experimental data. Recent experiment-guided genera...
- Surrogate models for Rock-Fluid Interaction: A Grid-Size-Invariant Approach
Modelling rock-fluid interaction requires solving a set of partial differential equations (PDEs) to predict the flow behaviour and the reactions of the fluid with the rock on the interfaces. Conventio...
- Molecular Docking with Quantum Circuit Evolution
Molecular docking is an important step in drug discovery, enabling the evaluation of receptor-ligand affinity while reducing experimental costs and increasing the number of possible tests. However, th...
Formal Verification
Z3 checks whether the hypothesis is internally consistent, not whether it is empirically true.
This discovery has a Claude-generated validation package with a full experimental design.
Precise Hypothesis
Replacing the standard denoising/flow-matching sampler in a GNN-based molecular docking surrogate with a minibatch optimal-transport (OT) reflow procedure will produce ligand-protein pose predictions that (a) achieve ≥90% of the pose validity rate (RMSD ≤ 2.0 Å vs. crystal structure, or equivalent physically-valid QUBO-encodable configuration) of a baseline diffusion/flow-matching model, while (b) requiring ≤10 inference steps versus ≥50 for the baseline, on a held-out benchmark of protein-ligand complexes (e.g., PDBbind core set, n≥250), with the resulting coordinate/rotamer distributions feeding a QUBO formulation that quantum or quantum-inspired solvers (D-Wave, simulated annealing, or QAOA-on-simulator) can solve to comparable binding-energy accuracy (ΔG within 1.5 kcal/mol RMSE of baseline) in equal or fewer solver calls.
- If the OT-reflow model at ≤10 steps achieves <80% of baseline pose validity (RMSD≤2Å) rate on the held-out set, hypothesis is disproven for step-efficiency-accuracy tradeoff.
- If reducing inference steps below 20 causes >2 kcal/mol degradation in downstream QUBO-derived binding energy RMSE relative to baseline, disproven for downstream utility.
- If minibatch OT reflow shows no statistically significant step-count reduction (p>0.05, paired t-test across ≥5 seeds) versus flow-matching baseline at matched validity, disproven for core speed claim.
- If QUBO encoding derived from OT-reflow poses is infeasible (non-convergent embedding, >20% invalid variable assignments) more often than baseline-derived QUBOs, disproven for pipeline compatibility.
Spine & Adversarial Read
- highWhy is OT-reflow expected to transfer from image/continuous-vector generative modeling to structured molecular graph/SE(3) pose spaces, where the geometry (rotations, torsions, permutation symmetry) is fundamentally different from the Euclidean spaces reflow was originally validated on?Partially addressed: rectified flow has been extended to Riemannian/SE(3) manifolds in prior generative modeling work, and the protocol adapts pairwise cost to pose-space metrics (RMSD-based), but this EVP does not pre-validate that minibatch OT coupling is well-behaved under molecular symmetry (e.g., ligand atom permutation, ring flips) — this is an open risk requiring a dedicated pilot ablation before full-scale training, and is flagged but not resolved.
- highThe choice of simulated annealing as the primary 'quantum optimization' proxy, with only a small D-Wave subsample (n=20), undermines the paper's framing as validating 'quantum optimization' — results may not generalize to real quantum hardware with embedding overhead, noise, and limited qubit connectivity.Acknowledged explicitly: the protocol is honest that SA is a classical proxy, and the D-Wave subsample is underpowered for strong quantum-specific claims. The EVP's ROI/impact claims about quantum optimization should be narrowed to 'QUBO-compatible pose generation' rather than validated quantum speedup claims until a larger, properly embedded D-Wave (or trapped-ion/QAOA) study is funded separately.
- mediumWhy PDBbind/CrossDocked and this specific GNN backbone (EGNN) rather than more recent equivariant architectures (e.g., diffusion on SE(3) with harmonic priors, or newer benchmark sets like PoseBusters which specifically penalize physically implausible poses that PDBbind/RMSD metrics miss)?Gap: the methodology justification for dataset/backbone choice is not stated beyond convention. PoseBusters has shown many docking methods achieve good RMSD but produce physically invalid poses (steric clashes, wrong stereochemistry); this EVP should add a PoseBusters-style validity filter as a secondary metric to avoid overclaiming success based on RMSD alone. This is a methodology gap that should be fixed before treating success criteria as sufficient.
Experimental Protocol
Minimum viable test: train two models with identical GNN backbone (e.g., EGNN or SE(3)-equivariant GNN, ~5–10M parameters) — one using standard conditional flow-matching, one using minibatch-OT reflow distillation — on CrossDocked2020 training split; evaluate both on PDBbind core set (285 complexes) measuring pose validity, RMSD, inference steps (1/2/5/10/20/50), wall-clock latency, and downstream QUBO binding-energy accuracy when poses are converted to QUBO variables and solved via simulated annealing (as quantum-hardware proxy) and, if budget allows, one D-Wave Advantage run for a validation subsample (n=20).
- PDBbind v2020 (general + refined + core sets, ~19,000 complexes; core set n=285 for held-out eval)
- CrossDocked2020 (~22M poses, subsampled to ~100K for training) for surrogate training
- DUD-E or LIT-PCBA subset for decoy/negative validation
- Pretrained baseline: existing flow-matching docking model (e.g., DiffDock or NeuralPLexer architecture, reimplemented or fine-tuned)
- QUBO solver access: D-Wave Ocean SDK (Leap cloud, ~$2000/mo tier or pay-per-use ~$0.00019/qubit-second) and/or classical simulated annealing (open source, e.g., neal/dwave-neal) as low-cost proxy
- Compute environment: PyTorch Geometric or DGL, RDKit, OpenBabel for pose validation and chemistry checks
- OT-reflow model achieves ≥85% pose validity (RMSD≤2Å) at ≤10 inference steps, vs. baseline requiring ≥40 steps for equivalent validity (≥4x step reduction).
- Wall-clock inference speedup ≥3x per pose (GPU, batch=1) with statistical significance (p<0.01).
- Downstream QUBO binding-energy RMSE within 1.0 kcal/mol of baseline-derived QUBO across ≥250 test complexes.
- QUBO formulation success/feasibility rate ≥95% for reflow-derived poses (comparable to baseline ±5%).
- Pose validity at ≤10 steps <70% (vs. baseline's best achievable validity).
- No significant step-count advantage (reflow requires similar steps to baseline for equal validity).
- QUBO energy RMSE degrades >2 kcal/mol or feasibility rate drops >15% relative to baseline.
- Training instability or mode collapse in OT-reflow (validity <50% even at 50+ steps).
ROI Projection
Implementation Sketch
# Baseline: GNN flow-matching docking model class FlowMatchDock(nn.Module): encoder: EGNN(protein_graph, ligand_graph) -> joint_embedding velocity_field: MLP(x_t, t, embedding) -> dx/dt train: sample t~U(0,1), x_t = (1-t)*x0_noise + t*x1_data loss = MSE(velocity_field(x_t,t), x1-x0) sample: ODE_solve(velocity_field, steps=N) # N=50-100 baseline # OT-Reflow variant class OTReflowDock(FlowMatchDock): train: for batch in dataloader: x0 = sample_prior(batch_size) x1 = batch.data # minibatch OT coupling (Sinkhorn or exact for small batch) pi = compute_ot_coupling(x0, x1, cost=pairwise_dist) x0_matched = resample_via_coupling(x0, pi) t ~ U(0,1); x_t = (1-t)*x0_matched + t*x1 loss = MSE(velocity_field(x_t,t), x1 - x0_matched) # reflow distillation round 2+: regenerate (x0,x1) pairs by # running current model, retrain on straightened trajectories sample: ODE_solve(velocity_field, steps=N) # N=1-10 target # Downstream QUBO poses = OTReflowDock.sample(protein, ligand, steps=10) qubo_vars = discretize_pose(poses, torsion_bins=8, translation_bins=6) Q_matrix = build_qubo(qubo_vars, scoring_fn=vina_score_approx) solution = solve_qubo(Q_matrix, solver=SimulatedAnnealing or DWaveSampler) binding_energy = evaluate(solution, reference_structure)
- Day 15: If baseline flow-matching model fails to reproduce published DiffDock-class validity rates (±10%) on a 50-complex smoke test, halt and debug pipeline before scaling.
- Day 30: If OT-reflow training shows no reduction in required ODE steps for 50% validity threshold on validation subset (n=50), abort full training run.
- Day 45: If QUBO conversion pipeline shows >30% infeasibility rate for either model, halt downstream quantum evaluation and revisit discretization scheme before spending solver budget.
- Day 60: If full-scale results show <2x step reduction (vs. targeted 4-10x), downgrade to partial validation report rather than continuing to D-Wave hardware runs.
NAMED_EXPERTS: []
CLOSEST_EXISTING_WORK: []
NOVELTY_NARROWING_REQUIRED: false
SPINE_STATEMENT: This hypothesis tests whether replacing standard flow-matching/diffusion sampling with minibatch optimal-transport reflow in a GNN docking surrogate reduces required inference steps by at least 4x while preserving pose validity and downstream QUBO-derived binding-energy accuracy within 1 kcal/mol of baseline.