Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “foundations of quantum mechanics”

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.

At least 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

The Essence of Cryptol: A Denotational Cryptol Interpreter in Coq for Foundational Assurances for Quantum Resistant Cryptosystems

Systems of the utmost consequence need a means to establish authenticity of software and data. Cryptosystems implement authentication, but can be vulnerable to cryptographic and implementation attacks. With the threat of quantum cryptographic attacks, “post-quantum” cryptosystems (PQCs) must be henceforth used in these systems. However, the new cryptography needs new ways to, rigorously and machine-checkably, prove systems free of vulnerabilities. We propose a retargetable capability to rapidly instantiate proven correct postquantum cryptosystems through novel proof-carrying synthesis and proof-automation technique, extending those proven successful on existing systems. This capability is crucial to meeting the cryptographic requirements for future high-consequence systems. Since specifications for high consequence cryptography are presently captured in a domain specific language known as Cryptol. While this can enable convenient fully automated reasoning about Cryptol specificaitons and implementations via the Software Analysis Workbench (SAW), Cryptol has expressivity gaps, so that cryptosystems with probabilistic programming features like Falcon cannot be fully expressed in the language. Moreover, SAW’s automation fails for programs and specificaitons with inductive and recursive structure, as in the Sphincs+ PQC. Finally, Cryptol and SAW together represent some 200,000 lines of unverified Haskell, so that the any guarantees about high consequence cryptography are presently contingent on a large, unverified, yet trusted computing base. The first step of the larger project of agile, assured crpytography is therefore to provide a formal, mechanized semantics for Cryptol, so that the specifications expressed by cryptographers in Cryptol can be reasoned about and compiled into performant implementations with a foundational, machine checkable certificate of correctness. This report describes our work on this first step, culminating in the design of a certified denotational interpreter, in Coq, for core Cryptol.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Quantum stresses in the hydrogen atom

Gravitational form factors are often interpreted as providing access to stresses inside hadrons, in particular through Fourier transforms of the form factors 𝐷 and $\bar{𝑐}$. Some researchers, however, have expressed skepticism of this interpretation. I revisit the question, and argue that it is indeed appropriate to interpret these quantities as stress distributions. I consider the hydrogen atom’s ground state as a familiar example, and use the pilot wave interpretation of quantum mechanics to give the distributions a clear meaning. A striking result is that $\bar{𝑐}$—rather than 𝐷—quantifies the force law binding the system, which can be understood through Cauchy’s first law of motion.

74 ATOMIC AND MOLECULAR PHYSICS↗
DOE OSTI2024

Closed-loop electron-beam-induced spectroscopy and nanofabrication around individual quantum emitters

Color centers in diamond play a central role in the development of quantum photonic technologies, and their importance is only expected to grow in the near future. For many quantum applications, high collection efficiency from individual emitters is required, but the refractive index mismatch between diamond and air limits the optimal collection efficiency with conventional diamond device geometries. While different out-coupling methods with near-unity efficiency exist, many have yet to be realized due to current limitations in nanofabrication methods, especially for mechanically hard materials like diamond. Here, we leverage electron-beam-induced etching to modify Sn-implanted diamond quantum microchiplets containing integrated waveguides with a width and thickness of 280 nm and 200 nm, respectively. This approach allows for simultaneous high-resolution imaging and modification of the host matrix with an open geometry and direct writing. When coupled with the cathodoluminescence signal generated from the electron–emitter interactions, we can monitor the enhancement of the quantum emitters in real-time with nanoscale spatial resolution. The operando cathodoluminescence measurement and fabrication around single photon emitters demonstrated here provide a new foundation for the potential control of emitter–cavity interactions in integrated quantum photonics.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Roadmap on thermodynamics and thermal metamaterials

Thermal metamaterials represent a transformative paradigm in modern physics, synergizing thermodynamic principles with metamaterial engineering to master heat flow at will. As next-generation technologies demand multi-scale thermal control, this field urgently requires systematic frameworks to unify its multidisciplinary advances. Curated through a global collaboration involving over 50 specialists across 25 subdisciplines, this review primarily summarizes two decades of advancements, ranging from theoretical breakthroughs to functional implementations. The review reveals groundbreaking innovations in heat manipulation through the exploration of both classical and non-classical transport regimes, topological thermal control mechanisms, and quantum-informed phonon engineering strategies. By bridging physical insights like non-Hermitian thermal dynamics and valleytronic phonon transport with cutting-edge applications, we demonstrate paradigm-shifting capabilities: environment-adaptive thermal cloaks, AI-optimized metamaterials, and nonlinear thermal circuits enabling heat-based computation. Experimental milestones include 3D thermal null media with reconfigurable invisibility and thermal designs breaking classical conductivity limits. Here, this collaborative effort establishes an indispensable roadmap for physicists, highlighting pathways to quantum thermal management, entropy-controlled energy systems, and topological devices. As thermal metamaterials transition from laboratory marvels to technological cornerstones, this work provides the foundational lexicon and design principles for the coming era of intelligent thermal matter.

heat conduction control↗
DOE OSTI2025

New Methods for Predicting Non-Born-Oppenheimer Chemistry

Current methods for modeling non-adiabatic molecular dynamics face fundamental limitations when treating geometric phase effects: quantum mechanical phenomena where nuclear wavepackets acquire phase shifts when encircling conical intersections. Existing approaches either neglect these effects entirely or rely on potential energy surfaces arising from the Born-Oppenheimer approximation, which introduce artificial singularities and can overestimate geometric phase contributions. This project developed a new theoretical framework based on exact factorization (XF) methods to overcome these limitations. We derived mathematical formulations for hybrid quantum-classical XF dynamics that selectively treat critical nuclear degrees of freedom quantum mechanically while propagating others classically. This approach addresses the computational intractability that has previously limited exact methods to toy systems. Key innovations include a new approach to systematically identifying nuclear coordinates requiring quantum treatment, as well as novel implementation strategies that interface with existing quantum chemistry codes. The project also developed a proof-of-concept code for treating Jahn-Teller systems and creation of educational materials on non-adiabatic dynamics geared at the graduate level. The theoretical framework developed will enable future systematically improvable calculations of nuclear quantum effects in realistic molecular systems, filling a critical gap in non-adiabatic dynamics methods. This foundation supports future development of predictive tools for designing energy-relevant photochemical processes where quantum coherence effects may be exploited to control reaction outcomes.

38 RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCLEA↗
DOE OSTI2026

Gaunt and Breit two-electron contributions to mean-field transformations and fine structure splitting

Materials utilized by novel energy systems are often studied using weakly correlated mean-field theories. However, if these systems incorporate heavy elements, relativistic effects must be included. Therefore, a Kramers unrestricted coupled cluster with singles and doubles excitation formalism within a molecular mean-field exact two-component framework (X2C mmf ) using a four-component Dirac–Hartree–Fock (DHF) reference state is presented. The exact X2C mmf transformed normal-order Hamiltonian incorporates all one-electron and two-electron (2e) contributions from the Coulomb, Gaunt, and Breit operators and is used with the equation of motion method to calculate the excitation energies of the alkali group of elements. Using this framework, the effects of 2e Gaunt and Breit integrals are studied. Results demonstrate growing contributions from these integrals to the generated X2C mmf mean-fields and electronic fine structure calculations with increasing atomic number. Overall, this paper outlines the method, its effect within the X2C mmf approach, and lays the foundation for future theoretical development of relativistic calculations within this framework.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2026

Magnetic hysteresis experiments performed on quantum annealers

While quantum annealers have emerged as versatile and controllable platforms for experimenting on correlated spin systems, the important phenomenology of magnetic memory and hysteresis remain unexplored on hardware designed to escape metastable states via quantum tunneling. Here, we present the first general protocol to experiment on magnetic hysteresis on programmable quantum annealers and implement it on three D-Wave superconducting qubit quantum annealers, using up to thousands of spins, for both ferromagnetic and disordered Ising models, and across different graph topologies. We observe hysteresis loops whose area depends nonmonotonically on quantum fluctuations, exhibiting both expected and unexpected features, such as disorder-induced steps and nonmonotonicities. Our work establishes quantum annealers as a platform for probing nonequilibrium emergent magnetic phenomena, thereby broadening the role of analog quantum computers into foundational questions in condensed matter physics.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2024

Cosmological implications of Kalb-Ramond-like particles

The Kalb-Ramond field is an antisymmetric, rank-two tensor field which most notably appears in the context of string theory, but has largely been unexplored in the context of cosmology. In this work, motivated by the Kalb-Ramond field in string theory, and antisymmetric tensor fields that emerge in effective field theories ranging from particle physics to condensed matter, we study the primordial production of interacting massive Kalb-Ramond-like-particles (KRLPs). KRLPs contain features of both dark photon and axion models, which can be appreciated via their duality properties. While the massless non-interacting KRLP is dual to a pseudoscalar, and the massive non-interacting KRLP is dual to a pseudovector, the interacting massive KRLP can be distinguished from its scalar and vector counterparts. We study early-universe production of KRLPs via the freeze-in mechanism, considering a ‘dark photon-like’ interaction, an ‘axion-like’ interaction, and a ‘Higgs portal’ interaction, as well as production via cosmological gravitational particle production. We find that as a dark matter candidate, KRLPs can be produced by all of the above mechanisms and account for the relic density of dark matter today for a wide range of masses. Finally, we comment on the potential to obtain both warm and cold dark matter subcomponents, and speculate on observational and experimental prospects.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS2009

Exploring Divisibility and Summability of 'Photon' Wave Packets in Nonlinear Optical Phenomena

Formulations for second and higher harmonic frequency up and down conversions, as well as multi photon processes directly assume summability and divisibility of photons. Quantum mechanical (QM) interpretations are completely congruent with these assumptions. However, for linear optical phenomena (interference, diffraction, refraction, material dispersion, spectral dispersion, etc.), we have a profound dichotomy. Most optical engineers innovate and analyze all optical instruments by propagating pure classical electromagnetic (EM) fields using Maxwell s equations and gives only lip-service to the concept "indivisible light quanta". Further, irrespective of linearity or nonlinearity of the phenomena, the final results are always registered through some photo-electric or photo-chemical effects. This is mathematically well modeled by a quadratic action (energy absorption) relation. Since QM does not preclude divisibility or summability of photons in nonlinear & multi-photon effects, it cannot have any foundational reason against these same possibilities in linear optical phenomena. It implies that we must carefully revisit the fundamental roots behind all light-matter interaction processes and understand the common origin of "graininess" and "discreteness" of light energy.

Prasad, Narasimha↗
DOE OSTI2026

Equilibrium spin polarization arising from chirality

Chirality-induced spin selectivity (CISS) describes how chiral molecules and materials generate spin polarization even at thermal equilibrium. This observation has challenged established principles of microscopic reversibility and Onsager reciprocity. We resolve this paradox by formulating a pseudo-Hermitian quantum framework that separates thermodynamic equilibrium from time-reversal symmetry. Within this approach, structural chirality and electron correlations, irrespective of their microscopic origin, are sufficient to produce CISS observables. Chirality enters through a non-local metric η that couples spin and spatial motion, leading to real spectra, unitary evolution, and thermodynamic consistency. The framework predicts a chirality-induced spin magnetic ordering characterized by a spin-displacement order, which reconciles equilibrium spin polarization with detailed balance and explains the persistence of CISS in materials composed of light elements. We derive generalized Onsager-Casimir relations that respect the observed CISS symmetry, i.e., parity $(\mathscr{P})$-odd and time-reversal $(\mathscr{T})$-odd, but exhibiting $\mathscr{PT}$-even symmetry. This approach establishes a coherent foundation for equilibrium CISS and provides a route to link chemical chirality with measurable spin-to-charge conversion effects.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2025

Orbital-Selective Instabilities and Spin Fluctuations at the Verge of Superconductivity in Interlayer-Expanded Iron Selenide

Understanding electron correlation-driven instabilities and their coupling to structural phases is essential for deciphering multiorbital pairing in unconventional superconductors. We investigate Li x (C 5 H 5 N) y Fe 2 Se 2 (x ∼ 0.6; y ∼ 0.7−0.9), a tetragonal β-FeSe intercalate with a superconducting transition temperature (T c = 39 K) closely tied to an expanded Fe-layer spacing (∼11.4 Å). High-resolution synchrotron Xray diffraction and core-level absorption spectroscopy reveal subtle lattice distortions on cooling without a symmetry-breaking transition. Instead, the material exhibits negative thermal expansion (NTE) in the two-dimensional Fe network below T S ∼ 70 K, and stiffening of local Se−Fe−Se bond dynamics near T c . The spatially incoherent rearrangement of FeSe 4 tetrahedra and the site-local fluctuations, signal reduced electron correlations compared to those of parent β-FeSe (T c = 8 K). Complementary X-ray emission spectroscopy, a fast local probe of Fe 3d valence states, detects persistent local Fe spin moments below T S , unlike quenching in related systems. These findings indicate that decoupling of Fe planes leads to an electronically driven lattice instability. The latter emerges as NTE induced from weak, orbital-selective localization of in-plane Fe 3d states rather than conventional transverse vibrations. Governed by Hund’s coupling, this selectivity permits coexistence of local spin fluctuations with itinerant d-electrons critical for enhancing T c . These results suggest that intercalation-driven d-orbital differentiation moderates electron correlations, providing a pathway to optimize the superconductivity in low-dimensional quantum materials.

36 MATERIALS SCIENCE↗
DOE OSTI2026

pyEF: A Python Framework for QM and QM/MM Atom-Wise Electric Field Analysis

We introduce pyEF, a software package for computing molecular electric fields, electrostatic interaction energies, and electrostatic potentials from quantum mechanical (QM) atom-centered multipole expansions with atom-wise decomposable contributions. We demonstrate the computational efficiency and accuracy of this QM-derived electric field evaluation tool through several tests. To assess the influence of the underlying QM method and charge partitioning scheme on these electrostatic quantities, we analyze over 250 configurations of an acetone solute molecule in five solvents of variable polarity. We find that electric field calculations are highly sensitive to the choice of charge partitioning method. Even among real-space charge schemes, acetone Stark tuning rates differ by up to a factor of 2. Benchmarking computed solvent dipole moments against experimental bulk values, we conclude that the CM5, ADCH, and Hirshfeld-I charge schemes most reliably capture solvent electrostatics and therefore provide a more faithful foundation for computing electric fields. When constructed from these real-space charges, electric fields are nearly insensitive to basis set size and monotonically increase in magnitude with higher Fock exchange. We also demonstrate efficient convergence of QM electrostatics when more distant molecules are represented solely by MM point charges, reducing computational overhead. Leveraging these findings, we demonstrate the use of pyEF to deduce environmental effects on a transition metal complex from a Ga 4 L 6 12– nanocage and quantify the dominant role of organic linkers in orchestrating electrostatic preorganization.

electric fields↗
DOE OSTI2026

BCS-BEC crossover driven by small Fermi pockets of a high- T c cuprate superconductor

Fermi arcs observed in underdoped cuprates have sparked debate over whether they represent segments of a large Fermi surface or small Fermi pockets. This ambiguity has long hindered their classification as either the conventional Bardeen-Cooper-Schrieffer (BCS) regime or the strongly coupled Bose-Einstein condensation (BEC) crossover limit. Here, using angle-resolved photoemission spectroscopy and quantum oscillations, we demonstrate the coexistence of a small Fermi pocket and a large superconducting gap in the clean inner CuO 2 layers of the four-layer cuprate Ba 2 Ca 3 Cu 4 O 8 (F,O) 2 . This coexistence constitutes a hallmark of the BCS-BEC crossover and has remained elusive for decades. Despite the presence of antiferromagnetic (AF) order, the superconducting gap in the small pocket is remarkably large, yielding a gap-to-Fermi energy ratio (Δ pocket /ε F ~ 0.6) and a critical-to-Fermi temperature ratio (T c /T F ~ 0.13) that reach the theoretical upper bound for two-dimensional superconductivity. Unexpectedly, this BCS-BEC crossover emerges not as the carrier density decreases but as it increases, abruptly within a narrow doping range of less than 1%. These results provide a long-sought microscopic foundation for the d-wave pairing mechanism in doped AF-Mott insulators.

Jeong, Junhyeok [University of Tokyo, Kashiwa (Jap↗
DOE OSTI2025

Exploring Photoproduced $\eta^{(}{'^{)}} \pi^{0}$ Systems in the Search for Exotic Hadrons at GlueX

Physicists have long been captivated by the spectrum of hadrons, aiming to better comprehend the fundamental building blocks of matter. While various experiments have laid the foundation for this spectrum, Lattice Quantum Chromodynamics has revealed new states with forbidden JPC values. This has challenged the constituent quark model, suggesting spin-exotic hybrid mesons that could reshape our understanding of hadronic structure and quark-gluon interactions through gluonic excitations. The GlueX experiment at Jefferson Lab has played a pivotal role in this pursuit, with its efforts centered on analyzing photoproduction data. In order to investigate the lightest predicted exotic state with JPC=1−+ , known as the π1(1600) meson, significant attention has been directed towards both ηπ0 and η′π0 systems. Detailed ongoing amplitude analysis studies of γp→η(′)π0p , leveraging the polarization of the photon beam at the GlueX experiment will be highlighted. Furthermore, first studies on the moments of angular distributions for these channels will also be shown, along with the differential cross section results for the a2(1320) meson. These results aid in identifying the dominant production mechanisms and offer valuable insights into complex hadronic interactions. Ultimately, this contributes to the ongoing search for and future identification of exotic hybrid meson candidates.

Baldwin, Zachary↗
DOE OSTI2026

Identification of Solid-Electrolyte Interphase Species by Joint Characterization of Li-Ion Battery Chemistry by Mass Spectrometry and Electrochemical Reaction Networks

The formation and stability of the solid-electrolyte interphase (SEI) play central roles in determining the long-term performance and safety of modern electrochemical energy storage systems. Despite decades of research, the SEI’s heterogeneous, dynamic, and multiphase nature has defied comprehensive molecular-level characterization, creating a critical knowledge gap that limits rational battery design. In this work, we introduce a computational−experimental framework that integrates high-throughput quantum chemistry calculations, data-driven electrochemical reaction networks (eCRNs), stochastic algorithms, and laser desorption/ionization Fourier transform ion cyclotron resonance mass spectrometry (LDI-FTICR-MS) to unravel SEI formation in carbonatebased electrolytes without imposing predefined mechanisms. We constructed the most comprehensive eCRN to date, spanning over 10,000 species and 209 million reactions. Through stochastic network analysis, we successfully recovered 27 species that were previously reported in the literature and predicted 28 novel SEI species nearly doubling our scientific knowledge in this area. Each new species was rigorously confirmed through advanced mass spectral analysis of its distinct molecular and isotopic signatures. We kinetically refined the formation pathways for a select set of both previously reported and novel SEI products, revealing kinetically feasible elementary reaction mechanisms with activation barriers below 1 eV. This computational−experimental approach deepens our molecular-level understanding of SEI chemistry by resolving which species form and through which decomposition mechanisms they emerge. Such knowledge provides the foundation necessary to connect electrolyte composition to the resulting SEI components, a critical step toward a more informed electrolyte development in next-generation lithium-based batteries.

25 ENERGY STORAGE↗
DOE OSTI2025

Thermalization from quantum entanglement: Jet simulations in the massive Schwinger model

We investigate the emergence of thermalization in a quantum-field-theoretic model mimicking the production of jets in QCD: the massive lattice Schwinger model coupled to external sources. Specifically, we compute the expectation values of local operators as functions of time and compare them to their thermal counterparts, quantify the overlap between the evolving density matrix and the thermal one, and compare the dynamics of the energy-momentum tensor to predictions from relativistic hydrodynamics. Through these studies, we find that the system approaches thermalization at late times and elucidate the mechanisms by which quantum entanglement drives thermalization in closed field-theoretic systems. Our results show how thermodynamic behavior emerges in real time from unitary quantum dynamics.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2025

A fault-tolerant neutral-atom architecture for universal quantum computation

Quantum error correction (QEC) is essential for the realization of large-scale quantum computers. However, owing to the complexity of operating on the encoded ‘logical’ qubits, understanding the physical principles for building fault-tolerant quantum devices and combining them into efficient architectures is an outstanding scientific challenge. Here we use reconfigurable arrays of up to 448 neutral atoms to implement the key elements of a universal, fault-tolerant quantum processing architecture and experimentally explore their underlying working mechanisms. We first use surface codes to study how repeated QEC suppresses errors, demonstrating 2.14(13)x below-threshold performance in a four-round characterization circuit by leveraging atom loss detection and machine learning decoding. We then investigate logical entanglement using transversal gates and lattice surgery and extend it to universal logic through transversal teleportation with three-dimensional [[15,1,3]] codes, enabling arbitrary-angle synthesis with polylogarithmic overhead. Finally, we develop mid-circuit qubit reuse16, increasing experimental cycle rates by two orders of magnitude and enabling deep-circuit protocols with dozens of logical qubits and hundreds of logical teleportations with [[7,1,3]] and high-rate [[16,6,4]] codes while maintaining constant internal entropy. Our experiments show key principles for efficient architecture design, involving the interplay between quantum logic and entropy removal, judiciously using physical entanglement in logic gates and magic state generation, and leveraging teleportations for universality and physical qubit reset. These results establish foundations for scalable, universal error-corrected processing and its practical implementation in neutral atom systems.

atomic and molecular physics↗
DOE OSTI2023

Uncovering extreme nonlinear dynamics in solids through time-domain field analysis

Time-domain analysis of harmonic fields with sub-cycle resolution is now experimentally viable due to the emergence of sensitive, on-chip techniques for petahertz-scale optical-field sampling. We demonstrate how such a time-domain, field-resolved analysis uncovers the extreme nonlinear electron dynamics responsible for high-harmonic generation within solids. Time-dependent density functional theory was used to simulate harmonic generation from a solid-state band-gap system driven by near- to mid-infrared waveforms. Particular attention was paid to regimes where both intraband and interband emission mechanisms play a critical role in shaping the nonlinear response. We show that a time-domain analysis of the harmonic radiation fields identifies the interplay between intra- and interband dynamical processes underlying the nonlinear light generation. With further analysis, we show that changes to the dominant emission regime can occur after only slight changes to the peak driving intensity and central driving wavelength. Furthermore, time-domain analysis of harmonic fields also reveals, for the first time, the possibility of rapid changes in the dominant emission mechanism within the temporal window of the driving pulse envelope. Finally, we examine the experimental viability of performing time-domain analysis of harmonic fields with sub-cycle resolution using realistic parameters.

74 ATOMIC AND MOLECULAR PHYSICS↗