Search

The vast size of composition space poses a significant challenge for materials chemistry: exhaustive enumeration of potentially interesting compositions is typically infeasible, hindering assessment of important criteria ranging from novelty and stability to cost and performance. We report a tool, Comgen, for the efficient exploration of composition space, which makes use of logical methods from computer science used for proving theorems. We demonstrate how these techniques, which have not previously been applied to materials discovery, can enable reasoning about scientific domain knowledge provided by human experts. Comgen accepts a variety of user-specified criteria, converts these into an abstract form, and utilises a powerful automated reasoning algorithm to identify compositions that satisfy these user requirements, or prove that the requirements cannot be simultaneously satisfied. In contrast to machine learning techniques, explicitly reasoning about domain knowledge, rather than making inferences from data, ensures that Comgen's outputs are fully interpretable and provably correct. Users interact with Comgen through a high-level Python interface. We illustrate use of the tool with several case studies focused on the search for new ionic conductors. Further, we demonstrate the integration of Comgen into an end-to-end automated workflow to propose and evaluate candidate compositions quantitatively, prior to experimental investigation. This highlights the potential of automated formal reasoning in materials chemistry., (© 2024 The Author(s). Angewandte Chemie International Edition published by Wiley-VCH GmbH.)

Glasses frequently reveal structural relaxation that leads to changes in their physical properties including enthalpy, specific volume, and resistivity. Analyzing the short-range order (SRO) obtained from electron diffraction by transmission electron microscopy (TEM) in combination with Reverse-Monte-Carlo (RMC) simulations is shown to provide information on the atomic arrangement. The technique elaborated here features several benefits including reliability, accessibility, and allows for obtaining detailed structural data quickly. This is demonstrated with a detailed view of the structural changes in the as-deposited amorphous phase change material (PCM) GeTe. The data show a significant increase in the average bond angle upon thermal treatment. At the same time the fraction of tetrahedrally coordinated Ge atoms decreases due to an increase in octahedrally distorted and pyramidal motifs. This finding provides further evidence for the atomic processes that govern structural relaxation in amorphous GeTe and other PCMs. A thorough literature review finally unveils possible origins of the large discrepancies reported on the structure of amorphous GeTe., (© 2023 The Authors. Advanced Science published by Wiley-VCH GmbH.)

The choice of metal and linker together define the structure and therefore the guest accessibility of a metal-organic framework (MOF), but the large number of possible metal-linker combinations makes the selection of components for synthesis challenging. We predict the guest accessibility of a MOF with 80.5 % certainty based solely on the identity of these two components as chosen by the experimentalist, by decomposing reported experimental three-dimensional MOF structures in the Cambridge Structural Database into metal and linker and then learning the connection between the components' chemistry and the MOF porosity. Pore dimensions of the guest-accessible space are classified into four ranges with three sequential models. Both the dataset and the predictive models are available to download and offer simple guidance in prioritization of the choice of the components for exploratory MOF synthesis for separation and catalysis based on guest accessibility considerations., (© 2021 The Authors. Angewandte Chemie International Edition published by Wiley-VCH GmbH.)

We report a metal-organic framework where an ordered array of two linkers with differing length and geometry connect [Zr 6 (OH) 4 O 4 ] 12+ clusters into a twelve-connected fcu net that is rhombohedrally distorted from cubic symmetry. The ordered binding of equal numbers of terephthalate and fumarate ditopic carboxylate linkers at the trigonal antiprismatic Zr 6 core creates close-packed layers of fumarate-connected clusters that are connected along the single remaining threefold axis by terephthalates. This well-defined linker arrangement retains the three-dimensional porosity of the Zr cluster-based UiO family while creating two distinct windows within the channels that define two distinct guest diffusion paths. The ordered material is accessed by a restricted combination of composition and process parameters that were identified by high-throughput synthesis., (© 2021 The Authors. Angewandte Chemie International Edition published by Wiley-VCH GmbH.)

We report the aperiodic titanate Ba 10 Y 6 Ti 4 O 27 with a room-temperature thermal conductivity that equals the lowest reported for an oxide. The structure is characterised by discontinuous occupancy modulation of each of the sites and can be considered as a quasicrystal. The resulting localisation of lattice vibrations suppresses phonon transport of heat. This new lead material for low-thermal-conductivity oxides is metastable and located within a quaternary phase field that has been previously explored. Its isolation thus requires a precisely defined synthetic protocol. The necessary narrowing of the search space for experimental investigation was achieved by evaluation of titanate crystal chemistry, prediction of unexplored structural motifs that would favour synthetically accessible new compositions, and assessment of their properties with machine-learning models., (© 2021 The Authors. Angewandte Chemie International Edition published by Wiley-VCH GmbH.)

There is an increasing amount of interest in metal-organic frameworks (MOFs) for a variety of applications, from gas sensing and separations to electronics and catalysis. However, the mechanisms by which they crystallize remain poorly understood. Herein, an important new insight into MOF formation is reported. It is shown that, prior to network assembly, crystallization intermediates in the canonical ZIF-8 system exist in a dynamic pre-equilibrium, which depends on the reactant concentrations and the progress of reaction. Concentration can, therefore, be used as a synthetic handle to directly control particle size, with potential implications for industrial scale-up and gas sorption applications. These findings enable the rationalization of apparent contradictions between previous studies of ZIF-8 and opens up new opportunities for the control of crystallization in network solids more generally., (© 2019 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim.)

Following the recent discovery of a new family of hybrid ABX 3 perovskites where X=(H 2 POO) - (hypophosphite), this work reports a facile synthesis for mixed X-site formate perovskites of composition [GUA]Mn(HCOO) 3-x (H 2 POO) x , with two crystallographically distinct, partially ordered intermediate phases with x=0.84 and 1.53, corresponding to ca. 30 and 50 mol % hypophosphite, respectively. These phases are characterised by single-crystal XRD and solid-state NMR spectroscopy, and their magnetic properties are reported., (© 2018 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim.)