Search NASASearch

SEARCH · Search NASA

Results for “97 - MATHEMATICS AND COMPUTING”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

3,185 records · Page 7

Integrated Computational Materials Engineering (ICME) Capability Maturity Levels for Ecosystems Enabling Digital Transformation

Digital engineering (DE) and integrated computational materials engineering (ICME) are widely recognized as critical enablers of faster, more affordable, and more reliable aerospace systems. However, many organizations have struggled to realize the promised return on investment (ROI) from digital initiatives. A primary reason is the absence of a shared, decision-focused framework that distinguishes simple digitization of existing workflows from true digital transformation that fundamentally changes how engineering decisions are made. This paper introduces an ICME capability maturity framework that fills this gap. The framework defines six cumulative ICME capability maturity levels (CMLs), explicitly tied to decision authority, engineering integration, optimization, and uncertainty management across material, process, structure, and performance scales. It is designed to complement established readiness metrics such as technology readiness levels (TRLs), manufacturing readiness levels (MRLs), and integration readiness levels (IRLs), by addressing a missing dimension: the conditions required for model-informed decision authority across scales. A unifying figure and capability table illustrate the six-level ICME Capability Maturity Framework, showing how organizations progress from digitization—with limited or negative ROI—to true digital transformation, where ICME-enabled workflows deliver measurable improvements in decision quality, cycle time, risk reduction, and reuse. The framework is intended for both technical practitioners and executive leadership, providing a common language to assess current state, guide roadmaps, align software ecosystem investments, and set realistic expectations for digital transformation outcomes. A regulatory-relevant statement clarifying the relationship between ICME capability and existing certification frameworks is provided.

ICME

Three-chamber electrochemical reactor for selective lithium extraction from brine

Efficient lithium recovery from geothermal brines is crucial for the battery industry. Current electrochemical separation methods struggle with the simultaneous presence of Na + , K + , Mg 2+ , and Ca 2+ because these cations are similar to Li + , making it challenging to separate effectively. We address these challenges with a three-chamber reactor featuring a polymer porous solid electrolyte in the middle layer. This design improves the transference number of Li + (t Li+ ) by 2.1 times compared to the two-chamber reactor and also reduces the chlorine evolution reaction, a common side reaction in electrochemical lithium extraction, to only 6.4% in Faradaic Efficiency. Employing a lithium-ion conductive glass ceramic (LICGC) membrane, the reactor achieved high t Li+ of 97.5% in LiOH production from simulated brine, while the concentrations of Na + K + , Mg 2+ , and Ca 2+ are below the detection limit. Electrochemical experiments and surface analysis elucidated the cation transport mechanism, highlighting the impact of Na + on Li + migration at the LICGC interface.

Science & Technology - Other Topics

Enhancing Coherence Limits in Superconducting Quantum Systems for Computing and Sensing

This talk will highlight recent efforts at the SQMS Center to develop qudit-based quantum computing architectures using superconducting three-dimensional (3D) cavities, as well as the use of these ultra-coherent cavities for quantum sensing. I will present systematic studies of materials and devices aimed at identifying and mitigating the dominant sources of decoherence—including two-level systems (TLS), quasiparticles, and other noise mechanisms—in both transmons and 3D cavities. These investigations include microwave loss characterization of niobium, tantalum, aluminum, their native oxides, and substrate materials such as silicon and sapphire. By combining measurements on qubits and cavities, we disentangle subsystem-specific loss mechanisms and establish a hierarchy of mitigation strategies, leading to transmon coherence times exceeding one millisecond. I will also discuss studies of quasiparticle dynamics, including quasiparticle bursts observed in qubits operated both above ground and at the Gran Sasso underground laboratory, and the observation that applied magnetic fields can suppress temporal T₁ fluctuations. Building on these advances, we demonstrate a record-coherence two-cell cavity-qudit system with coherence times exceeding 20 milliseconds. Leveraging tunable sideband interactions together with error-resilient protocols, including measurement-based error correction and post-selection, we achieve high-fidelity quantum state control, including the preparation of Fock states up to N=20 with fidelities above 95% and the generation of high-fidelity two-mode entangled states. Finally, I will discuss how these ultra-coherent quantum systems are enabling emerging quantum sensing applications, including searches for dark matter and gravitational waves.

Roy, Tanay [Fermilab] (ORCID:000000019442862X)

Computational modeling of coupled mechanical damage and electrochemistry in ternary oxide composite electrodes

Performance degradation of ternary layered oxide cathodes largely originates from their loss of structural integrity in cyclic usage. Mechanical damage, such as intergranular fracture of the active particles, is not only a mechanical cleavage process but also interferes with electrochemical kinetics such as infiltration of liquid electrolyte, surface corrosion of the constituent primary particles, and may eventually isolate the primary grains from the electron conducting network. Here, in this work, we develop a computational framework that integrates electrochemistry of a LiNi x Mn y Co 1−x−y O 2 (NMC) composite cathode with mechanical damage of the active particles. To fully examine the intricate chemomechanical behavior of the electrode, we evaluate the effects of the anisotropic material properties, the influence of mechanical potential on Li transport, and the concurrent intergranular fracture and electrolyte penetration along the grain boundaries upon multiple cycles. Electrolyte infiltration benefits capacity retention but aggravates further mechanical damage by corrosion. Structural failure mostly occurs in the first charging due to the anisotropic mechanical strain between the primary grains, while the resulting damage remains stable in the later few cycles. The results are consistent with experimental observations and the integration of electrochemistry and mechanical failure enables a step further understanding of the complex mechanism of battery degradation.

Battery degradation

The phase diagram of quantum chromodynamics in one dimension on a quantum computer

The quantum chromodynamics (QCD) phase diagram, which reveals the state of strongly interacting matter at different temperatures and densities, is key to answering open questions in physics, ranging from the behaviour of particles in neutron stars to the conditions of the early universe. However, classical simulations of QCD face significant computational barriers, such as the sign problem at finite matter densities. Quantum computing offers a promising solution to overcome these challenges. Here, we take an important step toward exploring the QCD phase diagram with quantum devices by preparing thermal states in one-dimensional non-Abelian gauge theories. We experimentally simulate the thermal states of SU(2) and SU(3) gauge theories at finite densities on a trapped-ion quantum computer using a variational method. This is achieved by introducing two features: Firstly, we add motional ancillae to the existing qubit register to efficiently prepare thermal probability distributions. Secondly, we introduce charge-singlet measurements to enforce colour-neutrality constraints. This work pioneers the quantum simulation of QCD at finite density and temperature for two and three colours, laying the foundation to explore QCD phenomena on quantum platforms.

Quantum information

Computational discovery of a tetragonal MBene phase: diamond-shaped boron lattices, viable MAB precursors, and selective CO 2 reduction

MBenes are a class of two-dimensional transition-metal borides derived from layered MAB phases. Here, we use first-principles calculations to predict a new tetragonal MB (1 : 1) MBene phase featuring a diamond-shaped B–B lattice and systematically assess its phase stability, synthetic accessibility, and catalytic performance towards the CO 2 reduction reaction (CO 2 RR). Four tetragonal configurations are benchmarked against known hexagonal and orthorhombic phases, and a multi-tier screening identifies six robust members (CrB, FeB, MoB, WB, IrB, and PtB). Exploration of the I4/mmm MAB space reveals 11 viable precursors, including the experimentally synthesized Ir 2 ZnB 2 , which validates our screening approach. CO 2 RR free-energy diagrams show that CrB favors CH 3 OH while FeB, MoB, WB, IrB, and PtB preferentially yield HCOOH. The corresponding limiting potentials are competitive with, and in some cases superior to, those reported for state-of-the-art orthorhombic and hexagonal MBenes. These findings expand the MBene landscape by establishing a tetragonal phase with structural, synthetic, and catalytic promise.

Lu, Linguo [University of Puerto Rico, San Juan, P

In Silico Chemical Experiments in the Age of AI: From Quantum Chemistry to Machine Learning and Back

Computational chemistry is an indispensable tool for understanding molecules and predicting chemical properties. However, traditional computational methods face significant challenges due to the difficulty of solving the Schrödinger equations and the increasing computational cost with the size of the molecular system. In response, there has been a surge of interest in leveraging artificial intelligence (AI) and machine learning (ML) techniques to in silico experiments. Integrating AI and ML into computational chemistry increases the scalability and speed of the exploration of chemical space. However, challenges remain, particularly regarding the reproducibility and transferability of ML models. This review highlights the evolution of ML in learning from, complementing, or replacing traditional computational chemistry for energy and property predictions. Starting from models trained entirely on numerical data, a journey set forth toward the ideal model incorporating or learning the physical laws of quantum mechanics. This paper also reviews existing computational methods and ML models and their intertwining, outlines a roadmap for future research, and identifies areas for improvement and innovation. Ultimately, the goal is to develop AI architectures capable of predicting accurate and transferable solutions to the Schrödinger equation, thereby revolutionizing in silico experiments within chemistry and materials science.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH

Fingerprinting Uranium Oxides with Electron Energy Loss Spectroscopy Supported by Theoretical Computations

Uranium oxides occur in a variety of phases that differ in crystal structure and uranium oxidation states. Electron energy loss spectroscopy (EELS) is one of the few techniques that has sufficient spatial resolution and sensitivity to electronic structure to distinguish amongst phases at the nanoscale. However, beam-sensitive materials such as uranium oxides are subject to spectral modification due to interactions with the electron beam. Therefore, theory support is essential to reliably exclude the impact of beam damage and generate true reference datasets. Here we use a comparison of theoretical and experimental spectra to probe the impact of beam damage on O K-edge and U N-edge (N6,7 and N4,5) EELS spectra of various single-valent and mixed-valence uranium oxide bulk phases. Using a low-dose experimental set-up, we show that the O K-edge theoretical spectra are in excellent agreement with experiment for both peak positions and relative intensities of respective peaks. In contrast, U N-edge features are less distinguishing due to the partially localized nature of the U 5f orbitals and overlapping multiplet and spin–orbit coupling effects. This work demonstrates that O K-edge EELS is sufficiently diagnostic to distinguish a wide range of uranium oxides and that the experimental approach used here minimizes beam damage and allows valence state discrimination across the U(IV), U(V) and U(VI) series. When combined with imaging modes available in electron mi-croscopy, the work enables detailed investigation and characterization of uranium redox transformations at the nanoscale.

Carbone, Jacopo

Comparison and Application of Battery Modeling Methods for Conceptual Electric Aircraft

Growing interest in design and optimization of electrified aircraft propulsion concepts prompts the need for accurate, flexible, and efficient methods to model battery systems. Presented in this paper are three battery modeling methods that have been used at NASA’s Glenn Research Center, each representing different mathematical or electrical approaches. Thévenin equivalent circuit, normalization, and curve-fitting methods are compared against battery cell test data for the X-57 Maxwell electric aircraft technology demonstrator. The methods are then applied in a simple multidisciplinary optimization context using NASA’s Six-Passenger Electric Quadrotor concept to determine their applicability and performance. The normalization method achieves the highest accuracy for steady and unsteady discharge rates with a voltage mean error percentage of 0.423% and 1.186%, respectively. Optimal quadrotor mission range between the models varies up to 0.5 nmi, identifying current battery modeling methods as a potentially significant contributor to mission analysis error. A set of relevant tools and techniques for conceptual battery modeling are identified in this paper, with conclusions made on the utility of each modeling approach for various design challenges.

power

RADAI: A Large-Scale Realistic Dataset for Radiation Detection Algorithm Development

Open, realistic datasets are essential for developing and benchmarking radiation detection algorithms, yet they remain scarce. The Radiological Anomaly Detection and Identification (RADAI) project was develop to create datasets that meet the training and testing needs for sophisticated radiation detection algorithms. The RADAI dataset is a large-scale synthetic resource that integrates high-fidelity Monte Carlo simulations with realistic urban scenarios to capture both background variability and source signatures. RADAI models construction-material NORM, people and vehicles, urban clutter, and dynamic environmental effects such as cosmic-ray and rain-induced transients, and they provide list-mode detector data with motion and response modeling suitable for algorithm training and evaluation. The RADAI project resulted in three publicly-released complementary datasets together with an online scoring portal for standardized performance assessment and an open software toolkit that supports data access, augmentation, model development, and evaluation. These resources enable reproducible comparisons across methods and promote rigorous studies at the scale required by contemporary machine learning. By grounding algorithm development in realistic, well-documented conditions, RADAI supports progress toward more robust detection, identification, and localization in complex urban environments.

Ghawaly, James M. [Division of Computer Science an

Ultrasonic Washer–Dryer System for Space Habitats: Design Upgrades and Parabolic Flight Readiness

Clothing makes up nearly 25% of all non-food supplies sent to the International Space Station (ISS). To support sustainable human missions in deep space, NASA’s Life Support and Habitation Systems Focus Area looks to advance technologies to support and improve logistics. Our team is creating a compact ultrasonic clothing washer/dryer system that bypasses traditional limitations and is suitable for space. Thermal drying uses a lot of energy to evaporate water, while our ultrasonic drying method offers a quicker, more efficient alternative. It uses piezoelectric transducers to vibrate textiles at the micron scale, mechanically removing water as cold mist rather than evaporating it. This speeds up drying and reduces energy use, no matter the fabric makeup. This paper details recent upgrades to a full-scale ultrasonic washer–dryer system, readying it for parabolic flight testing. Improvements include an enhanced human–machine interface, better packaging, and optimized performance and control. We also present extensive pre-flight ground tests conducted to ensure reliability and identify potential risks. Collaborating with P&G, we report preliminary cleaning tests using various detergents. These results lay a crucial foundation for the laundry system designed specifically for space. By cutting clothing-related payload and waste by over 97%, this technology supports long-term human exploration missions on the ISS, the Moon, Mars, and beyond.

Laundry

Erosion Results of the MISSE 9-15 Polymers and Composites Experiment 1-4 (PCE 1-4)

Polymers and other oxidizable materials on the exterior of spacecraft in the low Earth orbit (LEO) space environment can be eroded from reaction with atomic oxygen (AO). Therefore, in order to design durable spacecraft it is important to know the extent of erosion that will occur during a mission. This can be determined by knowing the LEO AO erosion yield, E y (volume loss per incident oxygen atom), of materials susceptible to AO reaction. In addition, recent flight experiments have shown that the AO E y can vary with the AO fluence and/or solar exposure. Therefore, obtaining AO E y data for materials flown on various spaceflight missions is important. NASA Glenn Research Center has flown numerous experiments as part of the Materials International Space Station Experiment (MISSE) missions on the exterior of the International Space Station (ISS) to characterize the LEO E y of polymers, composites, protective coatings, and other spacecraft materials. Recently, four Glenn experiments with 365 flight (F) samples were flown on ISS’s MISSE-Flight Facility (MISSE-FF). These experiments are the Polymers and Composites Experiment-1 (PCE-1) flown as part of the MISSE-9 mission, the PCE-2 flown as part of the MISSE-10 mission, the PCE-3 flown as part of the MISSE-12 and MISSE-15 missions, and the PCE-4 flown as part of the MISSE-13 mission. Although each experiment had numerous sample objectives, the primary objective was to determine the LEO AO E y of various spacecraft materials as a function of solar irradiation and AO fluence. This paper provides a summary of the erosion data for the PCE 1-4 AO E y samples. The AO E y for 150 samples flown in either the LEO ram, wake, zenith or nadir directions are provided. The AO ram fluence varied from 2.97×10 20 atoms/cm 2 after 0.89 years of direct space exposure (with relatively high levels of Si contamination) on MISSE 12 to 3.93×10 20 atoms/cm 2 after 1.17 years of direct space exposure on MISSE-10. The ram AO E y values for uncoated polymers range from 3.81×10 –25 cm 3 /atom for polytetrafluoroethylene (M9R-C20 F) exposed to an AO fluence of 3.44×10 20 atoms/cm 2 on MISSE-9 to 4.43×10 –23 cm 3 /atom for AO etched low density polyimide aerogel (M12R-C21 F) exposed to an AO fluence of 2.97×10 21 atoms/cm 2 on MISSE-12. Because of the low AO fluence and relatively high Si contamination, a number of PCE-3 wake samples experienced mass gain. Thus, AO E y values are not provided for these samples. Although there are calculated AO E y values for the zenith, wake and nadir samples, the ram AO E y for a particular material is a more reliable value in terms of AO exposure because the zenith, wake and nadir directions were exposed to either no or very little AO fluence and thus other space environmental factors (i.e. vacuum, thermal extremes and thermal cycling, and/or various types of radiation) are responsible for the mass loss.

Erosion yield

Strong Thermoset Regolith UV-Curable Composite Technology (STRUCT) Overview

Future lunar surface missions require construction materials that can be manufactured in situ using lo-cal resources while operating under extreme environmental conditions. Many Lunar material demands can be solved solely with regolith by compacting or sintering. And yet past Lunar missions rely on polymeric materials, and sustained Lunar missions must reduce Earth-supplied polymers dependence. Dual-cure (Ultraviolet (UV) and thermal) polymer-regolith composites offer a promising pathway by leveraging solar UV radiation, moderate thermal in-put, and regolith. Mission mass limits, power availability and energy constraints on the lunar surface further motivate low-energy processing and curing strategies for surface construction materials. The Strong Thermoset Regolith UV-Curable Composite Technology (STRUCT) project has successfully synthesized and demonstrated dual-cure photopolymer resins derivable from in-situ resources [3]. Morphological, thermal, and mechanical characterization show that the newly formulated UV curable resin systems integrates well with lunar regolith simulants. Processing and chemistry changes, and computational analysis advanced the composite design. X-ray CT scanned and computational analysis demonstrate that resin, regolith and additives are well incorporated. The large fraction of regolith, 95% by mass, large char yield (82% mass), low thermal conductivity (0.26 W/m/K), confirm this material as a promising high-performance thermal and structural material.

thermal conductivity

Ultrasonic Washer–Dryer System for Space Habitats: Design Upgrades and Parabolic Flight Readiness

Clothing makes up nearly 25% of all non-food supplies sent to the International Space Station (ISS). To support sustainable human missions in deep space, NASA’s Life Support and Habitation Systems Focus Area looks to advance technologies to support and improve logistics. Our team is creating a compact ultrasonic clothing washer/dryer system that bypasses traditional limitations and is suitable for space. Thermal drying uses a lot of energy to evaporate water, while our ultrasonic drying method offers a quicker, more efficient alternative. It uses piezoelectric transducers to vibrate textiles at the micron scale, mechanically removing water as cold mist rather than evaporating it. This speeds up drying and reduces energy use, no matter the fabric makeup. This paper details recent upgrades to a full-scale ultrasonic washer–dryer system, readying it for parabolic flight testing. Improvements include an enhanced human–machine interface, better packaging, and optimized performance and control. We also present extensive pre-flight ground tests conducted to ensure reliability and identify potential risks. Collaborating with P&G, we report preliminary cleaning tests using various detergents. These results lay a crucial foundation for the laundry system designed specifically for space. By cutting clothing-related payload and waste by over 97%, this technology supports long-term human exploration missions on the ISS, the Moon, Mars, and beyond.

Ultrasonic

Computational simulation of asymmetric phase transformation in cracked Li₇La₃Zr₂O₁₂: Variant selection and chemo-mechanical implications

Coupling between microcracks and phase transformation in ion-conducting ceramics can jointly affect mechanical responses and ion transport. In this work we investigate the cubic-to-tetragonal phase transformation in Li₇La₃Zr₂O₁₂ in the presence of a microcrack under hydrostatic loading and quantify its implications for crack-tip stress concentration and Li-ion transport using phase-field and molecular dynamics simulations. The phase transformation exhibits a strong asymmetry between hydrostatic tension and compression. Under tension, the crack edge nucleates one tetragonal variant that amplifies the crack-tip stress intensity and promotes crack opening. Under compression, the crack tip nucleates a different tetragonal variant that enhances the stress-induced crack-closure tendency. Effective Li diffusivity analysis shows faster transport degradation under compression due to accelerated transformation kinetics, exposing a trade-off between mechanical stability and ionic conductivity. These results highlight the intertwined nature of cracking, phase transformation, and ionic transport in ion-conducting oxides and provide mechanistic insights into chemo-mechanical degradation of solid electrolytes.

36 MATERIALS SCIENCE

NASA's Small Spacecraft and Distributed Systems: Development and Demonstration of Technologies Enabling Swarms and New Spacecraft Platforms with AI and Edge Computing

NASA’s Small Spacecraft & Distributed Systems (SSDS) within the Research and Technology Mission Directorate (RTMD) expands U.S. capability to execute unique missions through targeted investment, rapid development, and flight demonstration of small spacecraft technologies applicable to exploration, science and the commercial space sector. SSDS strategically invests in technology development and on-orbit demonstrations executed across NASA, other government agencies, industry, and academia. The program’s University SmallSat Technology Partnerships initiative awards academic researchers with the opportunity to collaborate with NASA to mature innovative technology. Capabilities aligned with RTMD’s technology shortfalls and interests - power, processing, propulsion, sensors, communications, autonomous navigation, architectures, and advanced applications like artificial intelligence (AI), machine learning, and edge computing - are prioritized in SSDS investments. These investments enable distributed, autonomous, and cooperative small spacecraft systems that support swarm missions extending beyond low Earth orbit into cislunar and deep space. This paper highlights representative SSDS flight demonstrations that mature these capabilities to enable a future operational infrastructure needed to support sustained exploration of the Moon and beyond. SSDS’s investment strategy emphasizes rapid development and on-orbit demonstration to validate spacecraft technologies required for swarms and distributed mission architectures. The Starling swarm technology demonstration mission exemplifies this approach by advancing distributed spacecraft autonomy, cooperative operations, and space situational awareness. Extended flight testing and ongoing studies of next generation swarm configurations and on-orbit space traffic monitoring and management continue to inform future swarm designs. DiskSat’s four-spacecraft demonstration mission represents SSDS’s strategic vision to expand the design space for future small spacecraft through its commitment to advance novel platform concepts that can impact how science is performed on orbit. Continuing to invest in future platforms, the notional PY12 concept is a 12-spacecraft swarm hosting neuromorphic processors and is envisioned as an on-orbit testbed for AI, edge computing, and positioning, navigation and timing technologies. SSDS also invests in single-spacecraft technology demonstrations that underpin the success of future swarm missions and accelerate the availability of validated technologies across the small spacecraft ecosystem. Examples of such demonstrations include Pathfinder Technology Demonstrator-3 (PTD-3), which performed high-rate optical communications; PTD-R, which demonstrated a camera capable of simultaneous ultraviolet and short-wave infrared optical sensing; and CAPSTONE, the Cislunar Autonomous Positioning System Technology and Operations Navigation Experiment, which validated autonomous navigation in cislunar space. Collectively, SSDS-funded demonstrations advance capabilities across swarms and illustrate a coordinated investment strategy to mature high-impact technologies required for autonomous, distributed, and cooperative small spacecraft systems for low Earth orbit, cislunar, and deep space applications. Technology demonstrations strengthen SSDS partnerships with industry, academia, and other government agencies, and promote small spacecraft community adoption of capabilities required to close technical gaps for swarm missions.

Jan Stupl

How efficiently can AI recognize Wireless Devices?

This poster presents a hardware benchmarking methodology for a 3-layer CNN waveform classifier deployed using ONNX Runtime on an NVIDIA Jetson AGX Orin. The dataset consist of 9 signal types, -30 to +30 dB SNR with 5dB increments. Benchmarking on the Jetson AGX Orin gave an accuracy of 91.9% and GPU throughput of 107,120 predictions/sec (23× faster than CPU). The Jetson GPU reached approximately 27M samples/sec with stable performance but fell below the 40 MHz rate needed for real-time radio feeds. Sustained testing of 5 minutes confirmed stable performance with no memory leaks, establishing a reproducible benchmarking baseline for future edge-deployment optimization.

99 - GENERAL AND MISCELLANEOUS

Generalized geometric speed limits for quantum observables

Leveraging quantum information geometry, we derive generalized quantum speed limits on the rate of change of the expectation values of observables. These bounds subsume and, for Hilbert space dimension ≥3, tighten existing bounds—in some cases by an arbitrarily large multiplicative constant. Our theoretical results are supported by illustrative examples and an experimental demonstration using a superconducting qutrit. We also derive two upper bounds on the generalized quantum Fisher information in terms of the condition number of the density matrix. One of these bounds applies only to coherent dynamics and depends also on the variance of the Hamiltonian. The other bound depends also on the so-called Wigner-Yanase skew information. These bounds generalize well-known bounds on the symmetric logarithmic derivative quantum Fisher information and are tighter than the existing bounds for sufficiently mixed states (e.g., for sufficiently high temperature thermal states).

open quantum systems & decoherence