Entropy-gated Hamiltonian-RL acquisition for alloy-surface adsorption: If the acquisition function uses (i) a Hamiltonian/energy-conservation prior only when an online-estimated site-chemistry heterogeneity metric exceeds a threshold (e.g., adsorption-energy spread >10 eV OR mutual information between local composition descriptors and adsorption energy >X), and (ii) otherwise reverts to a non-Hamiltonian baseline (e.g., GP-UCB/Thompson), then on compositionally heterogeneous binary alloy surfaces it will reduce adsorption-site oracle calls by ≥20% vs GP-UCB while avoiding degradation on low-spread (<5 eV) or pure-metal surfaces. Test by benchmarking on a curated suite of alloy slabs with controlled spread/heterogeneity and measuring sample efficiency and regret across regimes.
Adversarial Debate Score
53% 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
- AdsMind: A Physics-Grounded Multi-Agent System for Self-Correcting Discovery of Adsorption Configurations on Heterogeneous Catalyst Surfaces
Identifying the lowest-energy surface-adsorbate configuration is critical for modeling heterogeneous catalysis, yet exhaustive exploration with ab initio calculations is computationally prohibitive. M...
- Selectivity- and Activity-Aware Catalyst Descriptors for CO₂ Hydrogenation on Alloy Nanocatalysts using Machine-Learned Force Fields
Adsorption energy distributions (AEDs) have emerged as a powerful and increasingly adopted descriptor for catalytic performance in high-entropy alloys and, more recently, in conventional metallic allo...
- Interaction energies of H₂ and CO on transition-metal surfaces computed by a range-separated hybrid van der Waals density functional
Dissociative chemisorption (DC) of H₂ on the Cu(111) surface is a prototypical problem for understanding elements of heterogeneous catalysis [Science 326, 832 (2009)]. The challenge lies in modeling t...
- Scalable Prediction of Complex Surface Reconstructions under Operating Conditions via Harmony-Search-Based Global Optimization
The dynamic structural evolution of catalyst surfaces under operating conditions dictates catalytic performance, yet capturing these reconstructions atomically remains challenging. Global optimization...
- Permutation invariant neural network prediction of vacancy formation under deformation and varying chemical environment in FCC high entropy alloys
Vacancy formation energies govern diffusion, irradiation damage, phase stability, and dynamic failure in high-entropy alloys (HEAs), yet their strong dependence on local chemical environments and mech...
Literature Assessment
An LLM's reading of the literature — not computational verification.
Hamiltonian methods may enhance efficiency but depend on heterogeneity metrics.
Method: literature_meta · Result: inconclusive
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
An entropy-gated acquisition function for Bayesian optimization of adsorption-energy prediction — which activates a Hamiltonian/energy-conservation-informed surrogate model only when an online heterogeneity metric H (either adsorption-energy spread across candidate sites >10 eV, or mutual information I(local-composition-descriptor; adsorption-energy) > threshold X, calibrated per-dataset) exceeds threshold, and otherwise defaults to GP-UCB or Thompson sampling — will require ≥20% fewer DFT/oracle adsorption-energy evaluations than vanilla GP-UCB to reach a fixed regret target (e.g., within 0.05 eV of the true optimum) on compositionally heterogeneous binary alloy surface datasets (spread >10 eV across sites), while showing no statistically significant sample-efficiency degradation (i.e., not more than 5% worse in oracle calls, p>0.05 by paired bootstrap) relative to GP-UCB on low-spread (<5 eV) or pure-metal surfaces. Note: a 10 eV adsorption-energy spread is physically implausible for real adsorbates (typical spreads are 0.1–3 eV); this threshold must be corrected to eV-scale (e.g., >0.5–1 eV) before experimentation, and we flag this as a required protocol correction rather than accept the stated hypothesis literally.
- If on high-spread (>0.5 eV corrected threshold) surfaces the entropy-gated method requires within 5% as many or more oracle calls than GP-UCB to reach the fixed regret target, across ≥3 independent alloy systems and ≥5 random seeds, the core efficiency claim is disproven.
- If on low-spread/pure-metal surfaces the gated method shows >5% degradation in oracle calls or regret (statistically significant, paired bootstrap p<0.05), the "no degradation" claim is disproven.
- If the gating variable (spread or MI) does not correlate with actual benefit of the Hamiltonian prior (e.g., Spearman ρ<0.3 between heterogeneity metric and realized sample-efficiency gain), the mechanistic premise is disproven even if aggregate numbers look favorable.
- If results fail to replicate across ≥2 independent surrogate-oracle benchmarks (e.g., Open Catalyst Project subset and an independent DFT dataset), external validity is disproven.
Spine & Adversarial ReadReady for validation
“This hypothesis tests whether gating a Hamiltonian-informed Bayesian-optimization acquisition function on an online surface-heterogeneity metric reduces DFT-oracle calls by at least 20% on compositionally heterogeneous alloy surfaces without degrading performance on homogeneous or pure-metal surfaces.”
- highThe stated 10 eV adsorption-energy spread threshold is physically nonsensical (real adsorption energies span roughly -5 to +2 eV, with typical site-to-site spreads of 0.1-2 eV), suggesting the hypothesis was drafted without close physical grounding and casting doubt on the rest of the numeric specification.The EVP explicitly corrects the threshold to an eV-appropriate range (~0.3-1.0 eV) via a pre-registration/pilot step before any comparative testing; this must be done and reported transparently, and the original hypothesis wording should be flagged as erroneous rather than silently reinterpreted.
- mediumWhy compare specifically against GP-UCB/Thompson and a Hamiltonian-always-on baseline rather than other strong physics-informed or active-learning baselines (e.g., ensemble-based uncertainty, Bayesian neural networks, or existing physics-informed BO methods from the catalysis literature)? The methodology choice needs justification beyond convenience.GP-UCB/Thompson are chosen as standard, widely-used, easily reproducible BO baselines in the materials-active-learning literature, and the always-on Hamiltonian baseline is included specifically to isolate the marginal value of gating vs. the prior itself — but the EVP does not include comparison against other contemporary physics-informed active-learning methods (e.g., existing OC20-benchmarked acquisition strategies), which is a genuine gap; this should be added as an extended ablation before claiming broad superiority.
- highUsing a GNN emulator instead of real DFT as the oracle risks the entire benchmark measuring artifacts of the emulator's error structure rather than true sample-efficiency gains achievable against a real, expensive, noisy DFT oracle.Partially addressed via the abort checkpoint requiring <5% emulator MAE and cross-validation against Catalysis-Hub, but this remains an unresolved gap: a final validation step re-running the top-performing configuration against a small set (~20-50) of real DFT calculations is recommended and not currently costed into this EVP's budget.
Experimental Protocol
Minimum viable test: a simulation-based benchmark using an existing large adsorption-energy dataset as an oracle proxy (avoiding new DFT runs), comparing three acquisition strategies (entropy-gated Hamiltonian-RL, pure Hamiltonian-prior BO, GP-UCB/Thompson baseline) across a stratified slate of alloy surfaces (high/med/low heterogeneity + pure metals), measured by oracle-call count to reach fixed regret and by cumulative regret curves, with ≥5 random seeds per configuration and bootstrap confidence intervals.
- Open Catalyst Project (OC20/OC22) adsorption-energy dataset — binary alloy slabs subset (~250k+ relaxed adsorption energies) used as ground-truth oracle proxy.
- Catalysis-Hub.org bulk/surface DFT adsorption energy database for cross-validation on an independent source.
- A curated stratification: compute per-slab adsorption-energy spread and composition-adsorption MI to bin surfaces into high (>0.5 eV), medium (0.1–0.5 eV), low (<0.1 eV), and pure-metal (single-element) categories — target ≥15 alloy compositions per bin.
- Pretrained GNN surrogate (e.g., GemNet-OC or SchNet) fine-tuned as a fast oracle emulator to allow many BO trials without re-running DFT.
- Software: BoTorch/GPyTorch for GP-UCB baseline, a Hamiltonian Neural Network (HNN) or physics-informed GP kernel implementation, custom acquisition-gating wrapper.
- ≥20% median reduction in oracle calls (gated vs GP-UCB) on high-heterogeneity strata, with 95% bootstrap CI excluding zero, replicated in ≥2 independent datasets (OC20 + Catalysis-Hub).
- ≤5% degradation (statistically indistinguishable, p>0.05) in oracle calls on low-spread/pure-metal strata.
- Spearman ρ≥0.4 between heterogeneity metric and per-episode efficiency gain (mechanistic validity).
- Consistent effect direction across ≥12 of 15+ alloy compositions in the high-heterogeneity bin.
- Median oracle-call reduction <10% on high-heterogeneity strata, or CI includes zero.
-
10% degradation on low-spread strata (opposite of claimed robustness).
- No significant correlation (ρ<0.2) between heterogeneity metric and efficiency gain, indicating the gating logic is not doing meaningful work (gains, if any, attributable to Hamiltonian prior alone regardless of gating).
- Results fail to replicate on the independent Catalysis-Hub dataset (effect present only in OC20).
ROI Projection
Directly applicable as a plug-in acquisition-function module for existing active-learning materials-discovery pipelines (e.g., integrable into AI/ML screening platforms used by catalysis-focused startups and industrial R&D labs — chemical companies, battery/fuel-cell developers, emissions-catalyst manufacturers). Moderate commercial value as an open-source methodological contribution or licensable software component; higher value if bundled into a broader materials-discovery-as-a-service offering. Value is contingent on the 20% efficiency gain holding up under real (not surrogate-emulated) DFT costs.
TIME_TO_RESULT_DAYS: 75
Implementation Sketch
for surface in alloy_surface_dataset: spread, MI = estimate_heterogeneity(surface, current_observations) if spread > THRESH_SPREAD or MI > THRESH_MI: acquisition = HamiltonianRL_acquisition(surrogate=HNN_GP_hybrid, candidates=surface.sites) else: acquisition = GP_UCB_or_Thompson(surrogate=vanilla_GP, candidates=surface.sites) next_site = argmax(acquisition) y_obs = oracle_query(next_site) # fast GNN emulator standing in for DFT update_surrogate(surrogate, next_site, y_obs) update_heterogeneity_estimate(spread, MI, new_data=y_obs) log(oracle_calls, regret, gate_state) if regret < REGRET_TARGET or oracle_calls > BUDGET_CAP: break
Key components: (1) online heterogeneity estimator (running spread + kNN-based MI estimator), (2) Hamiltonian-informed surrogate (energy-conservation-constrained neural net or physics-informed GP kernel encoding known DFT energy relationships across sites), (3) hysteresis/debounce on gate switching to avoid thrashing between modes.
- After step 3 (surrogate oracle validation): if GNN emulator MAE >5% vs ground truth DFT subset, halt and fix oracle before proceeding.
- After step 5 (initial 5 seeds on high-heterogeneity stratum): if median oracle-call reduction <5%, abort full-scale run and revisit gating design/threshold.
- After step 6 (gating trace analysis): if gate switches <10% of episodes on high-heterogeneity surfaces (i.e., gate rarely activates), abort — threshold miscalibration.
- Mid-study (50% of planned episodes): if low-spread degradation already exceeds 10% with significance, halt to prevent wasted compute on a failing hypothesis.
NAMED_EXPERTS: []
CLOSEST_EXISTING_WORK: []
NOVELTY_NARROWING_REQUIRED: false