Quantum Materials by Design
Quantum-materials design is the disciplined conversion of a desired quantum response into microscopic constraints, candidate structures, feasible synthesis routes, and measurements that can reject the proposal. It is an inverse problem: instead of asking only what a known crystal does, one asks which combinations of composition, structure, symmetry, dimensionality, interactions, defects, and external controls could produce a target response.
Design is not the same as prediction. A calculation may identify a low-energy structure without showing that it can be made. A synthesis may produce the intended composition without establishing the intended phase. A symmetry label may diagnose a band obstruction without proving a useful surface channel. A machine-learning model may rank candidates accurately within a familiar database while failing on the unfamiliar chemical families where discovery is sought.
A useful claim ladder is therefore:
- Enumerated candidate: a composition or structure satisfies formal generation rules.
- Computed candidate: a documented calculation predicts stability and a target property.
- Synthesis target: plausible precursors, competing phases, and process windows have been identified.
- Structurally realized material: composition and crystal structure are measured, including impurities and defects.
- Property-verified material: independent observables establish the claimed quantum response.
- Reproduced material: another batch, instrument, laboratory, or synthesis route confirms the result.
- Usable platform: the response survives fabrication, environment, cycling, scale-up, and device integration.
Moving up this ladder requires new evidence. It is not achieved by applying a more enthusiastic label to the same calculation.
Canonical Scope
Section titled “Canonical Scope”This page is the canonical home for the closed quantum-materials discovery loop: translating a target response into design constraints, searching a multiobjective space, connecting computation to synthesis, validating data-driven predictions, and reporting enough provenance to reproduce the result.
Topology in Quantum Matter owns invariants, bulk–boundary logic, and the distinction between band and many-body topology. Hubbard Physics in Materials owns active-orbital selection, screened interactions, DFT+DMFT, and model validation. Engineered Heterostructures owns property transfer across interfaces. Artificial Lattices and Designer Matter owns programmable simulator platforms. Computational Quantum Matter owns the auditable route from a declared material claim to the appropriate electronic-structure, correlated, response, or validation owner; this page explains how those outputs enter a defensible discovery claim.
The organizing question is: what sequence of assumptions and measurements connects a target observable to a reproducible material, and where can that sequence fail?
The Materials Discovery Loop
Section titled “The Materials Discovery Loop”Begin with an observable, not a slogan
Section titled “Begin with an observable, not a slogan”“Find a topological material” or “maximize correlation” is too vague to define a design problem. A target specification should name:
- the observable, such as a Hall plateau, transition temperature, spin lifetime, optical nonlinearity, or switching energy;
- the operating window in temperature, field, frequency, pressure, and carrier density;
- the required sample geometry, contacts, substrate, and environment;
- minimum acceptable magnitude, reproducibility, and lifetime;
- confounders that the experiment must distinguish;
- constraints from abundance, toxicity, processing, cost, and device compatibility.
The target is usually a vector rather than one scalar score. For candidate , write schematically
Here measures the desired response, is a stability metric, encodes synthesis feasibility, and measures tolerance to disorder, temperature, and processing. These coordinates are model-dependent estimates with uncertainties; they are not intrinsic numbers available before a protocol is specified.
For objectives to be maximized, candidate Pareto-dominates when
Candidates not dominated by any other form a Pareto front. Choosing among them requires an explicit scientific or engineering preference. Hiding those preferences inside a weighted score can make a ranking look objective while merely encoding unreported weights.
A loop, not a pipeline
Section titled “A loop, not a pipeline”A credible program cycles through seven operations:
- specify a target observable and exclusion tests;
- infer necessary symmetry, orbital, interaction, dimensional, and materials constraints;
- generate candidates and perform inexpensive validity filters;
- refine survivors with converged, higher-fidelity calculations and uncertainty estimates;
- choose a synthesis route and characterize phase formation;
- measure structure and the target response with independent controls;
- return successes, null results, and failures to the model and design space.
The final arrow is essential. Synthesis failures can expose missing competing phases, volatile precursors, slow kinetics, or incorrect calculated energies. Property failures can reveal disorder sensitivity, an incorrectly placed Fermi level, a hidden structural transition, or a mechanism that was never unique. A closed loop learns from all of these outcomes.
Materials design has two coupled directions. The loop updates models with measured successes and failures; the ladder prevents computational screening, synthesis, structural identification, property verification, and reproduction from being collapsed into one claim.
Stability Is a Hierarchy
Section titled “Stability Is a Hierarchy”Formation energy is only the first comparison
Section titled “Formation energy is only the first comparison”For a compound containing atoms of element , a zero-temperature formation energy relative to chosen elemental reference states is
A negative formation energy means that is favored over those elemental references within the calculation. It does not establish stability against decomposition into other compounds.
For a fixed overall composition , the convex-hull distance is
subject to
means stable against the included competing phases at the stated computational level. A small positive value means metastable by that comparison, not impossible to synthesize. The hull can change when a missing polymorph is found, magnetic order is altered, numerical settings change, or a more accurate energy model is used.
Temperature, pressure, and reservoirs matter
Section titled “Temperature, pressure, and reservoirs matter”At finite temperature and in open chemical environments, a relevant potential may contain
Vibrational and configurational entropy can reorder close polymorphs. Gas partial pressures and chemical potentials matter for oxides, hydrides, chalcogenides, and growth under flux. Surfaces and interfaces alter the balance in thin films and nanoparticles. A zero-kelvin bulk hull is therefore one layer of evidence, not the whole synthesis problem.
Stability does not imply synthesizability
Section titled “Stability does not imply synthesizability”Four further questions are distinct:
- Dynamical stability: are phonon frequencies real over the relevant Brillouin zone, within converged numerical accuracy?
- Mechanical stability: does the elastic tensor satisfy the appropriate stability conditions?
- Kinetic accessibility: can available precursors reach the phase before becoming trapped in intermediates or losing volatile components?
- Persistence: does the product survive cooling, air exposure, cycling, and measurement?
Conversely, many useful materials are metastable. Epitaxy, pressure quenching, topotactic reactions, rapid cooling, ion exchange, and nanoscale confinement can select states above the bulk equilibrium hull. The correct design question is not “is below one universal cutoff?” It is “what thermodynamic and kinetic evidence supports this synthesis route for this material class?”
Symmetry and Topology as Design Principles
Section titled “Symmetry and Topology as Design Principles”Work backward from the protected response
Section titled “Work backward from the protected response”Symmetry can turn an unconstrained search into a structured one. A design ledger should identify:
- the relevant space or magnetic space group;
- Wyckoff positions and site symmetries;
- active orbital characters and electron filling;
- spin–orbit, exchange, crystal-field, and hybridization scales;
- the symmetry preserved by the bulk, surface, substrate, strain, and magnetic state;
- the observable expected from the proposed topology.
For an isolated group of weakly interacting bands, let collect the multiplicities of irreducible representations at high-symmetry momenta. Compatibility requires
Atomic band representations generate vectors . If
then the symmetry data are compatible with an atomic limit under the stated assumptions. Failure of such a nonnegative decomposition can diagnose an obstruction. Symmetry indicators package related quotient information and enable large-scale screening.
Symmetry of Bloch States owns the little-group irreducible-representation labels and compatibility relations assumed by this vector test. This page owns their use in materials screening, synthesis-aware design, uncertainty tracking, and evidence limits.
The inference has limits:
- a nonzero indicator can certify topology only within its symmetry, gap, filling, and band-theory assumptions;
- a zero indicator does not exclude topology invisible to that indicator;
- incompatible labels may describe a symmetry-enforced semimetal rather than an insulator;
- DFT can misorder bands, underestimate gaps, or choose the wrong magnetic state;
- strong interactions can invalidate a one-electron classification or replace it with a many-body problem.
A topological candidate is not yet a useful material
Section titled “A topological candidate is not yet a useful material”After a band diagnosis, one must still determine:
- whether a global gap exists and exceeds temperature, disorder, and measurement broadening;
- whether the chemical potential can be placed in the relevant gap;
- whether surface or edge states survive the actual termination and reconstruction;
- whether trivial accumulation layers, bulk carriers, or magnetic domains mimic the signal;
- whether contacts and fabrication preserve the protecting symmetry;
- whether transport, spectroscopy, and thermodynamics support one consistent mechanism.
Symmetry and topology are powerful filters because they state necessary structure. They do not remove chemistry, defects, or experimental identification from the problem.
Correlation and Dimensionality as Design Knobs
Section titled “Correlation and Dimensionality as Design Knobs”Use a scale vector, not a single ratio
Section titled “Use a scale vector, not a single ratio”A first pass through a correlated candidate can be organized by
collects electronic design ratios and collects operating and environmental ratios. and summarize screened interactions in a stated active basis; is the relevant bandwidth; measures spin–orbit coupling; measures dimensional crossover; and and represent disorder and lattice scales. None is a universal material constant independent of orbital choice, screening environment, structure, and probe window.
Layered chemistry, epitaxial strain, pressure, gating, dielectric screening, moiré periodicity, and interfacial hybridization can move several entries of . This makes them genuine design knobs, but not independent ones. Reducing raises , yet can also:
- increase sensitivity to inhomogeneity and localization;
- strengthen electron–phonon competition;
- reduce phase stiffness and coherence scales;
- make neglected longer-range interactions important;
- amplify uncertainty in small hopping parameters.
A narrow band is therefore an opportunity for competing orders, not a phase prescription. Flat Bands develops the additional roles of isolation and quantum geometry.
Dimensional reduction changes fluctuations and fabrication
Section titled “Dimensional reduction changes fluctuations and fabrication”Lower dimension can enhance interaction effects and increase electrostatic tunability. It can also strengthen thermal fluctuations, environmental screening changes, substrate coupling, edge effects, and sample-to-sample disorder. Low-Dimensional Quantum Matter owns the density-of-states and fluctuation analysis.
For design, dimensionality should be reported through measured or computed crossover scales: occupied subband spacing, interlayer hopping, coherence lengths, screening length, thickness dependence, and the temperature at which neighboring layers lock together. Calling a material “two-dimensional” from morphology alone is not enough.
Correlated calculations need wider uncertainty budgets
Section titled “Correlated calculations need wider uncertainty budgets”When or multiorbital competition is large, semilocal DFT screening may still generate structures and broad trends, but its property ranking can be unreliable. A stronger workflow records the active orbitals, magnetic initial states, interaction parameters, double counting, solver, and sensitivity to competing structures. Agreement with one fitted observable is not prospective validation. The model-to-material standards are developed in Hubbard Physics in Materials.
Computation-Guided Synthesis
Section titled “Computation-Guided Synthesis”Use fidelity in stages
Section titled “Use fidelity in stages”Computational effort should increase only as candidates survive tests appropriate to the claim:
- Validity: charge balance where meaningful, geometric sanity, duplicate removal, and basic chemical constraints.
- Fast screening: relaxed energies and approximate properties with a consistent method.
- Convergence: basis, mesh, supercell, magnetic initialization, force, and solver tolerances.
- Higher fidelity: improved exchange–correlation treatment, spin–orbit coupling, phonons, defects, finite-temperature terms, or many-body methods where the target requires them.
- Synthesis planning: competing phases, precursors, reaction pathways, chemical potentials, and likely failure modes.
- Prospective selection: choose candidates before the decisive calculation or experiment, then retain the failures.
Cross-code agreement is evidence of numerical precision only when the physical approximation and inputs are aligned. It does not measure exchange–correlation error. Conversely, two methods that disagree may expose model uncertainty rather than software failure. Convergence Tests and Error Estimates provide the general numerical framework.
Synthesis is an inference problem
Section titled “Synthesis is an inference problem”A synthesis recipe specifies more than a nominal temperature. It includes precursor identity and purity, atmosphere and partial pressure, mixing and milling, crucible, geometry, ramp and dwell times, quench or cooling schedule, substrate, thickness, and post-processing. Each can select a different reaction path.
The A-Lab demonstration reported 36 obtained targets among 57 attempted inorganic powders over 17 days; 17 targets were not obtained and four outcomes were inconclusive. Only about 30% of its 353 tested recipes produced their targets, and many successful samples contained notable byproducts. The result is important evidence that databases, learned synthesis heuristics, robotics, diffraction analysis, and active learning can form a closed loop. It is not evidence that arbitrary predicted crystals are automatically synthesizable.
Failed recipes are scientifically useful when their conditions and products are retained. They constrain kinetic pathways, reveal precursor volatility and amorphization, and reduce publication bias. A model trained only on successful literature procedures learns from a selected record in which many boundaries of the synthesis window are absent.
Data-Driven Materials Discovery
Section titled “Data-Driven Materials Discovery”Keep labels and provenance attached
Section titled “Keep labels and provenance attached”Computed and experimental data should not be merged under an unlabeled “ground truth” column. A band gap may mean a Kohn–Sham value, a quasiparticle calculation, an optical onset, an activation scale, or a fitted transport parameter. Crystal records may be measured structures, relaxed hypothetical structures, disordered averages, or generated candidates. Every datum needs:
- quantity definition and units;
- computational or experimental protocol;
- structure, composition, and sample identity;
- uncertainty or convergence information;
- provenance, license, version, and date;
- known transformations and exclusions.
Representations should respect the intended invariances, such as translation, rotation, permutation of equivalent atoms, and periodicity. An invariant architecture does not guarantee physical extrapolation; it only removes some avoidable representational inconsistency.
Test the discovery regime, not a random interpolation task
Section titled “Test the discovery regime, not a random interpolation task”Random train–test splits can place near-duplicate compositions or structures on both sides of the split. That measures interpolation within a redundant database and can substantially overestimate performance for unfamiliar candidates.
Choose a split that matches the proposed use:
- temporal split: train on data available before a cutoff and test on later records;
- chemical-family split: hold out an element family, prototype, or composition region;
- structure split: separate distinct structural clusters or space groups;
- property-tail split: test candidates beyond the training range;
- laboratory split: test transfer across instruments, synthesis teams, or processing conventions;
- prospective test: freeze the model, nominate candidates, and evaluate new outcomes.
Report both in-distribution and out-of-distribution performance. A calibrated model should also state when a candidate lies outside its support.
Acquisition functions encode scientific priorities
Section titled “Acquisition functions encode scientific priorities”In sequential learning, a surrogate gives a predictive distribution
and the next candidate is chosen by
The acquisition may favor expected improvement, uncertainty reduction, diversity, Pareto-front resolution, or information about a phase boundary. It should also include experimental cost, batch constraints, safety, and the possibility that no candidate is worth testing. Active learning is useful because it makes this decision rule explicit, not because the algorithm is automatically unbiased.
Uncertainty must survive the handoffs
Section titled “Uncertainty must survive the handoffs”A schematic uncertainty budget is
This sum assumes independent, approximately variance-like terms. Real errors are often correlated: one structural bias can affect the computed energy, training labels, synthesis choice, and diffraction fit. A useful report names correlations and irreducible ambiguities rather than forcing every uncertainty into one Gaussian interval.
Generative models require a staged evaluation. Validity asks whether an output describes a legal composition and periodic structure. Uniqueness and novelty compare it with training and reference sets. Stability requires calculations against competing phases. Synthesizability requires a route and experimental evidence. Function requires the target measurement. Passing the first two does not imply the last three.
Caution About Hype and Reproducibility
Section titled “Caution About Hype and Reproducibility”Translate large numbers into claim levels
Section titled “Translate large numbers into claim levels”Large-scale screening can produce millions of structures. Merchant and collaborators reported 2.2 million candidates below a previous convex hull and 381,000 entries on an updated calculated hull in their 2023 workflow. The same paper notes that future competing structures can displace hull entries and that finite-temperature stability and synthesizability remain open. Those numbers measure the reach of candidate generation plus machine-learning-assisted DFT validation, not millions of experimentally isolated materials.
Use precise verbs:
| Evidence | Defensible verb |
|---|---|
| generated structure passes syntax checks | enumerated |
| surrogate ranks a candidate | predicted by the stated model |
| converged calculation places it on a stated hull | computationally stable within that reference set |
| diffraction requires the target phase | structurally detected |
| quantitative refinement establishes a substantial phase fraction | synthesized with the reported purity |
| independent observables establish the response | property verified |
| independent production and measurement agree | reproduced |
“Discovered” should be accompanied by the rung reached.
A reproducibility manifest
Section titled “A reproducibility manifest”For a computational candidate, preserve:
- input and relaxed structures with stable identifiers;
- code, version, build, workflow, and random seeds;
- functional, basis or cutoff, pseudopotentials, mesh, smearing, and convergence thresholds;
- spin–orbit and magnetic settings, including all initial states tested;
- Hubbard parameters, orbital projectors, and double counting where used;
- competing phases, database snapshots, corrections, and hull construction;
- raw outputs, parsed data, exclusions, and uncertainty estimates.
For synthesis and measurement, add:
- precursor suppliers, lots, purities, storage, and handling;
- atmosphere, pressure, geometry, ramps, dwell times, and cooling;
- sample identifiers linking every processing step and measurement;
- calibration files, backgrounds, fitting code, and alternative fits;
- phase fractions, spatial variation, defects, null results, and failed batches;
- a frozen prospective protocol and an independent replication where the claim warrants it.
FAIR data are findable, accessible, interoperable, and reusable. FAIR does not mean error-free, and open files without semantic metadata may still be unusable. Reproducibility is likewise not identical to truth: precisely repeating a biased method reproduces the bias. Trust grows when numerical precision, model adequacy, synthesis repeatability, and independent physical observables are tested separately.
A Practical Design Workflow
Section titled “A Practical Design Workflow”- Write the claim sentence first. Include the observable, operating window, sample form, and comparison baseline.
- Derive necessary conditions. State which symmetry, filling, orbital, interaction, dimensional, and stability features are required and which are merely helpful.
- Define the candidate universe. Record excluded elements, prototypes, processing limits, and database snapshot.
- Choose a Pareto problem. Keep competing objectives visible and attach uncertainty to each coordinate.
- Screen in tiers. Reserve expensive methods for candidates that survive cheaper falsification tests.
- Plan synthesis before final ranking. Include precursors, competing phases, kinetics, and characterization access.
- Freeze prospective predictions. Separate model development from the final candidate test.
- Measure structure before mechanism. Quantify phase purity, stoichiometry, defects, and spatial variation.
- Use orthogonal property probes. Require observables with different confounders.
- Publish the loop. Release successes, nulls, failures, metadata, code, and the rule used to choose the next experiment.
Common Mistakes
Section titled “Common Mistakes”- Treating negative formation energy as stability against every decomposition route.
- Applying one universal energy-above-hull cutoff across unrelated chemistries and synthesis methods.
- Calling a generated or relaxed structure a synthesized material.
- Equating a symmetry indicator with a measured topological response.
- Maximizing without tracking disorder, phonons, stiffness, and uncertainty in .
- Reporting random-split accuracy for an out-of-distribution discovery claim.
- Combining computed and experimental labels without provenance.
- Omitting failed syntheses and thereby teaching the next model only a selected history.
- Fitting a property and citing that same property as validation.
- Reporting only the best magnetic initialization, polymorph, sample, or model seed.
- Treating automation as autonomy without a documented decision rule and stopping condition.
- Using “AI discovered” without identifying which evidence rung was actually reached.
Exercises
Section titled “Exercises”1. Convex-hull distance
Section titled “1. Convex-hull distance”At composition , a candidate has energy . A mixture of two neighboring stable phases at the same overall composition has energy . Compute . What does the result establish?
Solution
The hull distance is
Within this zero-temperature energy model and included phase set, the candidate is metastable by . The number does not prove that synthesis will fail. A claim about accessibility also needs uncertainty in relative energies, missing competitors, finite-temperature terms, and a material-class-specific kinetic or synthesis argument.
2. Pareto dominance
Section titled “2. Pareto dominance”Three candidates have coordinates , where property and synthesis score are maximized and cost is minimized:
| Candidate | |||
|---|---|---|---|
| A | 8 | 5 | 4 |
| B | 7 | 6 | 3 |
| C | 6 | 4 | 5 |
Which candidates are Pareto-optimal?
Solution
A and B trade property against synthesis score and cost: A has larger , while B has larger and lower . Neither dominates the other.
B dominates C because , , and . A also dominates C because , , and . The Pareto set is therefore . Choosing one requires a stated preference or constraint; the data alone do not define a unique winner.
3. Interpret a zero symmetry indicator
Section titled “3. Interpret a zero symmetry indicator”A nonmagnetic calculation with spin–orbit coupling gives a zero symmetry indicator for an isolated occupied-band set. A report concludes that the material is topologically trivial. Diagnose the inference and name three next checks.
Solution
The conclusion is too strong. A zero indicator means that this indicator does not diagnose a nontrivial class under the assumed symmetry and band ordering. Some topological phases are invisible to symmetry indicators.
Useful next checks are:
- compute the relevant Wilson loops, Berry phases, or direct invariants;
- verify a global gap and repeat the band ordering with a justified higher-fidelity method;
- test the actual magnetic structure, filling, and structural symmetry.
If a surface response is claimed, termination-resolved surface calculations and experimental exclusion of trivial surface bands are additional requirements.
4. Narrowing a correlated band
Section titled “4. Narrowing a correlated band”Strain reduces a target bandwidth from to while a screened interaction estimate remains . Disorder broadening rises from to . Compare and before and after strain.
Solution
Initially,
After strain,
The interaction ratio doubles, but the relative disorder scale increases by a factor of six. The design has moved toward stronger nominal correlation and toward much stronger inhomogeneous broadening or localization. A claim that strain simply “enhances correlation” omits a competing change that may dominate the measured state.
5. Design a leakage-resistant validation split
Section titled “5. Design a leakage-resistant validation split”A database contains many substitutions within the same structural prototypes. The intended model will propose compounds in prototypes absent from today’s literature. Why is a random split inadequate, and what split should be used?
Solution
A random split is likely to place nearly identical structures or substitution families in both training and test sets. Strong performance can then reflect interpolation among redundant neighbors rather than transfer to new prototypes.
Cluster structures using a representation chosen before examining the test labels, assign entire structural clusters or prototypes to the held-out set, and report the similarity of every test item to training data. A temporal split can be layered on top: train on a frozen historical snapshot and test on later structures from held-out families. The final evidence should be prospective, with the model frozen before new calculations or syntheses are performed.
6. Audit an AI-discovery claim
Section titled “6. Audit an AI-discovery claim”A press release says that an AI “discovered two million stable materials.” The associated work generated structures, ranked them with a graph model, and relaxed selected candidates using DFT against a database hull. No new synthesis was reported. Rewrite the claim and list four missing steps before calling one candidate a property-verified material.
Solution
A defensible statement is: “The workflow generated and screened roughly two million crystal candidates predicted to be stable relative to the stated calculated reference set; a smaller subset remained on the updated computational convex hull.” Exact numbers and filtering definitions should follow the paper.
Before a candidate becomes property verified, at least four further steps are:
- test numerical, functional, magnetic, vibrational, defect, and competing-phase uncertainty;
- identify and execute a plausible synthesis route;
- establish composition, structure, phase fraction, and defects experimentally;
- measure the target quantum property with controls that reject competing mechanisms.
Independent synthesis and measurement would move the claim to the next rung, reproduced material.
Research Status
Section titled “Research Status”- Established: high-throughput electronic-structure databases; symmetry-guided band screening; convex-hull analysis at a stated approximation; convergence benchmarks; Bayesian and other sequential-learning workflows; automated synthesis and characterization in bounded domains.
- Active: reliable finite-temperature stability; reaction-path prediction; calibrated uncertainty outside known chemical families; strongly correlated materials screening; integration of computation, robotics, and human constraints; transferable synthesis models; prospective multi-laboratory benchmarks.
- Conjectural: that current foundation or generative models can extrapolate broadly enough to transform arbitrary generated crystals into experimentally useful quantum materials without domain-specific retraining and extensive physical filtering.
- Speculative: fully autonomous, general-purpose discovery systems that choose scientifically important questions, invent unrestricted synthesis routes, establish mechanisms, and validate devices without substantial human judgment.
These categories can change with the domain. Autonomous phase mapping in a fixed composition spread and autonomous discovery across unrestricted chemistry are not the same technical claim.
Use Quantum Matter Frontiers and Open Problems when a ranked candidate needs a dated audit of held-out validation, domain shift, synthesis, property verification, independent reproduction, falsifiers, and the boundary between a material result and a technology claim.
Connections
Section titled “Connections”- How Quantum Matter Is Measured turns a target observable into an auditable measurement contract and separates raw records, calibrated quantities, inferred material properties, and phase claims.
- Device Fabrication Concepts tests whether a candidate survives contacts, gates, patterning, assembly, encapsulation, cryogenic integration, and independent device batches.
- Quantum Matter Map supplies the structure, scale, response, and evidence ledgers used to formulate a target.
- Topology in Quantum Matter develops invariants, bulk–boundary correspondence, and experimental topology claims.
- Symmetry-Protected Topological Phases gives the many-body definition of symmetry protection.
- Hubbard Physics in Materials owns active subspaces, screened interactions, correlated solvers, and model discrimination.
- Low-Dimensional Quantum Matter explains dimensional crossover, density of states, fluctuations, and experimental diagnostics.
- Engineered Heterostructures treats interface transfer, compatibility, and proximity-phase evidence.
- Artificial Lattices and Designer Matter compares programmable graph realizations with natural-material discovery.
- Flat Bands develops bandwidth, isolation, projector geometry, and correlated flat-band criteria.
- Convergence Tests and Error Estimates provide the general numerical evidence standards.
Further Reading
Section titled “Further Reading”- A. Jain et al., “The Materials Project: A Materials Genome Approach to Accelerating Materials Innovation,” for the architecture and purpose of an open high-throughput database.
- D. N. Basov, R. D. Averitt, and D. Hsieh, “Towards Properties on Demand in Quantum Materials,” for a physics-centered view of controlling collective states.
- B. Bradlyn et al., “Topological Quantum Chemistry,” together with H. C. Po, A. Vishwanath, and H. Watanabe on symmetry indicators, for symmetry-led band diagnosis and its scope.
- M. Scheffler et al., “FAIR Data Enabling New Horizons for Materials Research,” for data provenance and stewardship.
- A. Merchant et al. and N. Szymanski et al., read together, for the distinction between large-scale computational stability screening and automated experimental synthesis.
References
Section titled “References”- A. Jain et al., “Commentary: The Materials Project: A Materials Genome Approach to Accelerating Materials Innovation,” APL Materials 1, 011002 (2013), doi:10.1063/1.4812323.
- S. Curtarolo et al., “AFLOWLIB.ORG: A Distributed Materials Properties Repository from High-Throughput ab Initio Calculations,” Computational Materials Science 58, 227–235 (2012), doi:10.1016/j.commatsci.2012.02.002.
- J. E. Saal, S. Kirklin, M. Aykol, B. Meredig, and C. Wolverton, “Materials Design and Discovery with High-Throughput Density Functional Theory: The Open Quantum Materials Database,” JOM 65, 1501–1509 (2013), doi:10.1007/s11837-013-0755-4.
- W. Sun et al., “The Thermodynamic Scale of Inorganic Crystalline Metastability,” Science Advances 2, e1600225 (2016), doi:10.1126/sciadv.1600225.
- K. Lejaeghere et al., “Reproducibility in Density Functional Theory Calculations of Solids,” Science 351, aad3000 (2016), doi:10.1126/science.aad3000.
- N. Mounet et al., “Two-Dimensional Materials from High-Throughput Computational Exfoliation of Experimentally Known Compounds,” Nature Nanotechnology 13, 246–252 (2018), doi:10.1038/s41565-017-0035-5.
- B. Bradlyn et al., “Topological Quantum Chemistry,” Nature 547, 298–305 (2017), doi:10.1038/nature23268.
- H. C. Po, A. Vishwanath, and H. Watanabe, “Symmetry-Based Indicators of Band Topology in the 230 Space Groups,” Nature Communications 8, 50 (2017), doi:10.1038/s41467-017-00133-2.
- T. Zhang et al., “Catalogue of Topological Electronic Materials,” Nature 566, 475–479 (2019), doi:10.1038/s41586-019-0944-6.
- D. N. Basov, R. D. Averitt, and D. Hsieh, “Towards Properties on Demand in Quantum Materials,” Nature Materials 16, 1077–1088 (2017), doi:10.1038/nmat5017.
- H. Y. Hwang et al., “Emergent Phenomena at Oxide Interfaces,” Nature Materials 11, 103–113 (2012), doi:10.1038/nmat3223.
- D. M. Kennes et al., “Moiré Heterostructures as a Condensed-Matter Quantum Simulator,” Nature Physics 17, 155–163 (2021), doi:10.1038/s41567-020-01154-3.
- K. T. Butler, D. W. Davies, H. Cartwright, O. Isayev, and A. Walsh, “Machine Learning for Molecular and Materials Science,” Nature 559, 547–555 (2018), doi:10.1038/s41586-018-0337-2.
- P. Raccuglia et al., “Machine-Learning-Assisted Materials Discovery Using Failed Experiments,” Nature 533, 73–76 (2016), doi:10.1038/nature17439.
- A. G. Kusne et al., “On-the-Fly Closed-Loop Materials Discovery via Bayesian Active Learning,” Nature Communications 11, 5966 (2020), doi:10.1038/s41467-020-19597-w.
- K. M. Jablonka et al., “Bias Free Multiobjective Active Learning for Materials Design and Discovery,” Nature Communications 12, 2312 (2021), doi:10.1038/s41467-021-22437-0.
- N. Szymanski et al., “An Autonomous Laboratory for the Accelerated Synthesis of Novel Materials,” Nature 624, 86–91 (2023), doi:10.1038/s41586-023-06734-w.
- A. Merchant et al., “Scaling Deep Learning for Materials Discovery,” Nature 624, 80–85 (2023), doi:10.1038/s41586-023-06735-9.
- S. S. Omee et al., “Structure-Based Out-of-Distribution Materials Property Prediction: A Benchmark Study,” npj Computational Materials 10, 144 (2024), doi:10.1038/s41524-024-01316-4.
- K. Li et al., “Exploiting Redundancy in Large Materials Datasets for Efficient Machine Learning with Less Data,” Nature Communications 14, 7283 (2023), doi:10.1038/s41467-023-42992-y.
- M. D. Wilkinson et al., “The FAIR Guiding Principles for Scientific Data Management and Stewardship,” Scientific Data 3, 160018 (2016), doi:10.1038/sdata.2016.18.
- M. Scheffler et al., “FAIR Data Enabling New Horizons for Materials Research,” Nature 604, 635–642 (2022), doi:10.1038/s41586-022-04501-x.
Summary
Section titled “Summary”Quantum-materials design is a closed, multiobjective inference problem. Symmetry, topology, correlation, and dimensionality can narrow the search, but each comes with assumptions and competing scales. Formation energies and calculated convex hulls rank candidates within a model; synthesis adds kinetics, precursors, finite temperature, defects, and persistence. Data-driven methods are most credible when tested on the out-of-distribution regime they claim to serve and when uncertainty, failed experiments, and decision rules remain visible. A material advances from enumeration to computation, synthesis, property verification, reproduction, and use only by adding distinct evidence at every rung.