Search NASA⌕ Search

SEARCH · Search NASA

Results for “Complexity bounding”

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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
DOE OSTI2023

Intercell moiré exciton complexes in electron lattices

Excitons, Coulomb-bound electron–hole pairs, play a crucial role in both optical excitation and correlated phenomena in solids. When excitons interact with other quasiparticles, few- and many-body excited states can appear. Here, in this work, we report an interaction between exciton and charges enabled by unusual quantum confinement in two-dimensional moiré superlattices, which results in many-body ground states composed of moiré excitons and correlated electron lattices. In an H-stacked (60 o -twisted) WS 2 /WSe 2 heterobilayer, we found an interlayer moiré exciton whose hole is surrounded by its partner electron’s wavefunction distributed among three adjacent moiré traps. This three-dimensional excitonic structure enables large in-plane electrical quadrupole moments in addition to the vertical dipole. Upon doping, the quadrupole facilitates the binding of interlayer moiré excitons to the charges in neighbouring moiré cells, forming intercell charged exciton complexes. Our work provides a framework for understanding and engineering emergent exciton many-body states in correlated moiré charge orders.

36 MATERIALS SCIENCE↗
NASA NTRS2013

Association Mechanisms of Unsaturated C2 Hydrocarbons with Their Cations: Acetylene and Ethylene

The ion-molecule association mechanism of acetylene and ethylene with their cations is investigated by ab initio quantum chemical methods to understand the structures, association energies, and the vibrational and electronic spectra of the products. Stable puckered cyclic isomers are found as the result of first forming less stable linear and bridge isomers. The puckered cyclic complexes are calculated to be strongly bound, by 87, 35 and 56 kcal/mol for acetylene-acetylene cation, ethylene-ethylene cation and acetylene-ethylene cation, respectively. These stable complexes may be intermediates that participate in further association reactions. There are no association barriers, and no significant inter-conversion barriers, so the initial linear and bridge encounter complexes are unlikely to be observable. However, the energy gap between the bridged and cyclic puckered isomers greatly differs from complex to complex: it is 44 kcal/mol in C4H4 +, but only 6 kcal/mol in C4H8 +. The accurate CCSD(T) calculations summarized above are also compared against less computationally expensive MP2 and density functional theory (DFT) calculations for structures, relative energies, and vibrational spectra. Calculated vibrational spectra are compared against available experiments for cyclobutadiene cation. Electronic spectra are also calculated using time-dependent DFT.

ethylene↗
DOE OSTI2026

Qudit Designs and Where to Find Them

Unitary t-designs are some of the most versatile tools in quantum information theory. Their applications range from randomized benchmarking and shadow tomography, to more fundamental ones such as emulating quantum chaos and establishing exponential separations between classical and quantum query complexity. While unitary designs originating from a group structure, such as the Clifford group, have proven to be incredibly useful for qubit systems, unfortunately, this is no longer true for qudits. In fact, the classification of finite-group representations rules out the existence of unitary 2-designs for arbitrary qudit dimensions. This severely limits the applicability of standard quantum information primitives when it comes to qudit systems. We overcome these limitations with a three-fold contribution. First, we introduce a general technique to construct families of weighted state t-designs in arbitrary qudit dimensions. These weighted state-designs generalize classical shadow tomography protocol from qubits to qudits. Second, we introduce a Clifford character RB that allows us to benchmark the qudit Clifford group in any dimension, including non-prime-power dimensions. And third, we establish bounds on the quantum circuit complexity of generating approximate unitary-designs from native gates in existing quantum hardware such as high-spin and cavity-QED qudits. Our work further highlights the analogy between spin and optical coherent states by proving that spin-GKP codewords form a state 2-design while spin coherent states do not; in direct analogy with the optical case. This work is structured as a pedagogical and self-contained introduction to unitary designs and their applications to qudit systems.

Anand, Namit [NASA, Ames; Unlisted, US] (ORCID:000↗
DOE OSTI2021

SpectrumSDT: A program for parallel calculation of coupled rotational-vibrational energies and lifetimes of bound states and scattering resonances in triatomic systems

In this work, we present SpectrumSDT – a program for calculations of energies and lifetimes of bound rotational-vibrational states below and scattering resonances above the dissociation threshold on a global potential energy surface of a triatomic system, which may include stable molecules, weekly-bound van-der-Waals complexes, and unbound atom + diatom scattering systems. Large-amplitude vibrational motion is treated explicitly using hyper-spherical coordinates. Three options for the rotational-vibrational interaction are supported: uncoupled (symmetric top rotor), partially coupled (to include interaction between several nearest states only) and full-coupled (vibrating asymmetric-top rotor). In addition to energies and lifetimes, SpectrumSDT is able to integrate ro-vibrational wave functions over the user-defined regions of potential energy surface, which helps to classify these states. In this release of the code, SpectrumSDT is limited to ABA-type molecules with wave functions that do not extend into the regions near Eckart singularities.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2021

Illumination of serotonin transporter mechanism and role of the allosteric site

The serotonin transporter (SERT) terminates serotonin signaling by using sodium and chloride gradients to drive reuptake of serotonin into presynaptic neurons and is the target of widely used medications to treat neuropsychiatric disorders. Despite decades of study, the molecular mechanism of serotonin transport, the coupling to ion gradients, and the role of the allosteric site have remained elusive. Here, we present cryo–electron microscopy structures of SERT in serotonin-bound and serotonin-free states, in the presence of sodium or potassium, resolving all fundamental states of the transport cycle. From the SERT-serotonin complex, we localize the substrate-bound allosteric site, formed by an aromatic pocket positioned in the scaffold domain in the extracellular vestibule, connected to the central site via a short tunnel. Together with elucidation of multiple apo state conformations, we provide previously unseen structural understanding of allosteric modulation, demonstrating how SERT binds serotonin from synaptic volumes and promotes unbinding into the presynaptic neurons.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS1996

Bounds on Block Error Probability for Multilevel Concatenated Codes

Maximum likelihood decoding of long block codes is not feasable due to large complexity. Some classes of codes are shown to be decomposable into multilevel concatenated codes (MLCC). For these codes, multistage decoding provides good trade-off between performance and complexity. In this paper, we derive an upper bound on the probability of block error for MLCC. We use this bound to evaluate difference in performance for different decompositions of some codes. Examples given show that a significant reduction in complexity can be achieved when increasing number of stages of decoding. Resulting performance degradation varies for different decompositions. A guideline is given for finding good m-level decompositions.

Lin, Shu↗
DOE OSTI2023

Analyticity of replica correlators and modular ETH

We study the two point correlation function of a local operator on an n -sheeted replica manifold corresponding to the half-space in the vacuum state of a conformal field theory. In analogy with the inverse Laplace transform, we define the Renyi transform of this correlation function, which is a function of one complex variable w, dual to the Renyi parameter n . Inspired by the inversion formula of Caron-Huot, we argue that if the Renyi transform ƒ(w) has bounded behavior at infinity in the complex w plane, the discontinuity of the Renyi transform disc ƒ(w) provides the unique analytic continuation in n of the original replica correlation function. We check our formula by explicitly calculating the Renyi transform of a particular replica correlator in a large N holographic CFT d in dimensions d > 2. We also discover that the discontinuity of the Renyi transform is related to the matrix element of local operators between two distinct eigenstates of the modular Hamiltonian. We calculate the Renyi transform in 2 d conformal field theories, and use it to extract the off-diagonal elements of (modular) ETH. We argue that in 2 d , this is equivalent to the off-diagonal OPE coefficients of a CFT and show that our technique exactly reproduces recent results in the literature.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2023

Resolving metal binding properties within subunits of a multimeric enzyme Mnx by surface induced dissociation and native ion mobility mass spectrometry

Multi-subunit enzymes function as coordinated assemblies. Yet most enzymatic assays measure the summed output of all populations in solution and cannot easily differentiate contributions of individual subunits. Native mass spectrometry detects intact protein complexes in the gas phase. Surface induced dissociation further releases subunits from protein complexes while retaining compact conformations and bound ligands. Combined with ion mobility, the released subunits can then be carefully monitored for more in-depth structural analysis. Mnx is a unique bacterial multicopper oxidase complex that oxidizes Mn(II) to form MnO 2 minerals, and is composed of three subunits: MnxG, a multicopper oxidase containing the active site, and two accessory proteins, MnxE and MnxF which also bind copper ions. Other known multicopper oxidases do not require accessory proteins, therefore the functions of MnxE and MnxF are not well understood. Here, we use native mass spectrometry with surface induced dissociation and ion mobility to characterize the metal binding properties of Mnx with two metals, catalytic Cu(II) and Mn(II) substrate. We demonstrate our assay can detect subtle structural changes within each subunit, which are presumably related to the allosteric mechanism. We also noticed that ionic strength and solution composition can impact metal binding and must be carefully investigated for such experiments.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2024

A Particle-in-Cell Method for Plasmas with a Generalized Momentum Formulation, Part II: Enforcing the Lorenz Gauge Condition

In a previous paper Christlieb et al. (A particle-in-cell method for plasmas with a generalized momentum formulation, part I: Model formulation, 2024), we developed a new particle-in-cell (PIC) method for the relativistic Vlasov–Maxwell system in which the electromagnetic fields and the equations of motion for the particles were cast in terms of scalar and vector potentials through a Hamiltonian formulation. This new method evolved the potentials under the Lorenz gauge using integral equation methods. New methods to construct spatial derivatives of the potentials that converge at the same rates as the fields were also presented. The new particle method was compared against standard explicit discretizations, including the well-known FDTD-PIC method, for a range of applications involving sheaths and particle beams. Here, this paper extends this new class of methods by focusing on the enforcement the Lorenz gauge condition in both exact and approximate forms using co-located meshes. A time-consistency property of the proposed field solver for the vector potential form of Maxwell’s equations is established, which is shown to preserve the equivalence between the semi-discrete Lorenz gauge condition and the analogous semi-discrete continuity equation. Using this property, we present three methods to enforce a semi-discrete gauge condition. The first method introduces an update for the continuity equation that is consistent with the discretization of the Lorenz gauge condition. Both the finite difference and spectral implementations satisfy this discrete gauge condition to machine precision. The second approach we propose enforces a semi-discrete continuity equation using the boundary integral solution to the field equations. The potential benefit of this approach is that it eliminates spatial derivatives that appear on the particle data, namely the current density, which is often calculated by linear combinations of low-order spline basis functions. This method is ideally suited to boundary integral equation methods that invert multi-dimensional operators without dimensional splitting techniques and will be the subject of future work. The third approach introduces a gauge correcting method that makes direct use of the gauge condition to modify the scalar potential and uses local maps for both the charge and current densities. This results in a gauge error, as the maps do not enforce the continuity equation. The vector potential coming from the current density is taken to be exact, and using the Lorenz gauge, we compute a correction to the scalar potential that makes the two potentials satisfy the gauge condition. This method also enforces the gauge condition to machine precision. We demonstrate two of the proposed methods in the context of periodic domains. Problems defined on bounded domains, including those with complex geometric features remain an ongoing effort. However, this work shows that it is possible to design computationally efficient methods that can effectively enforce the Lorenz gauge condition in a non-staggered PIC formulation.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2026

Adsorption of hydroxamic acid ligands for improved extraction of rare earth elements from monazite ores

Efficient separation of rare earth element (REE) ores via froth flotation requires the development of novel ligands with enhanced adsorption capacity and selectivity. To realize these advances, understanding the mechanisms underlying interactions between the ligand and mineral surfaces is essential. This study systematically evaluates the adsorption behavior of alkyl- and aromatic alkyl-substituted hydroxamic acid ligands on monazite surfaces using complementary spectroscopic techniques, including UV–visible (UV–vis) spectroscopy, Raman spectroscopy, infrared spectroscopy, and vibrational sum frequency generation (SFG) spectroscopy, together with the ab initio molecular dynamics (AIMD) simulations. Among the studied ligands, octanohydroxamic acid (OHA) and 4-ethoxy-N,2-dihydroxybenzamide (EDHBA) exhibit high adsorption capacity under basic pH (8–10) by forming multilayers on the surface. OHA has a higher equilibrium adsorption capacity compared to EDHBA, but it forms a less stable multilayer susceptible to disruption in the presence of interfering ions. AIMD results show that OHA adopts a single stable chelating geometry, while EDHBA exhibits multiple binding modes involving distinct interactions with La surface atoms and phosphate-bound oxygens, resulting in more complex adsorption kinetics. The variations in surface binding and intermolecular interactions observed between alkyl and aromatic molecules influence the differences in adsorption kinetics, equilibrium adsorption capacities on the mineral surface, and their flotation performance. This work provides valuable insight into the adsorption mechanism of ligands at mineral interfaces, which is crucial for guiding the design of new ligands with enhanced separation performance.

Zhou, Muchu [ORNL] (ORCID:0000000182650215)↗
DOE OSTI2024

Complexes of tubulin oligomers and tau form a viscoelastic intervening network cross-bridging microtubules into bundles

Abstract The axon-initial-segment (AIS) of mature neurons contains microtubule (MT) fascicles (linear bundles) implicated as retrograde diffusion barriers in the retention of MT-associated protein (MAP) tau inside axons. Tau dysfunction and leakage outside of the axon is associated with neurodegeneration. We report on the structure of steady-state MT bundles in varying concentrations of Mg 2+ or Ca 2+ divalent cations in mixtures containing αβ-tubulin, full-length tau, and GTP at 37 °C in a physiological buffer. A concentration-time kinetic phase diagram generated by synchrotron SAXS reveals a wide-spacing MT bundle phase (B ws ), a transient intermediate MT bundle phase (B int ), and a tubulin ring phase. SAXS with TEM of plastic-embedded samples provides evidence of a viscoelastic intervening network (IN) of complexes of tubulin oligomers and tau stabilizing MT bundles. In this model, αβ-tubulin oligomers in the IN are crosslinked by tau’s MT binding repeats, which also link αβ-tubulin oligomers to αβ-tubulin within the MT lattice. The model challenges whether the cross-bridging of MTs is attributed entirely to MAPs. Tubulin-tau complexes in the IN or bound to isolated MTs are potential sites for enzymatic modification of tau, promoting nucleation and growth of tau fibrils in tauopathies.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2024

Structural and biophysical insights into targeting of claudin-4 by a synthetic antibody fragment

Claudins are a 27-member family of ~25 kDa membrane proteins that integrate into tight junctions to form molecular barriers at the paracellular spaces between endothelial and epithelial cells. As the backbone of tight junction structure and function, claudins are attractive targets for modulating tissue permeability to deliver drugs or treat disease. However, structures of claudins are limited due to their small sizes and physicochemical properties—these traits also make therapy development a challenge. Here we report the development of a synthetic antibody fragment (sFab) that binds human claudin-4 and the determination of a high-resolution structure of it bound to claudin-4/enterotoxin complexes using cryogenic electron microscopy. Structural and biophysical results reveal this sFabs mechanism of select binding to human claudin-4 over other homologous claudins and establish the ability of sFabs to bind hard-to-target claudins to probe tight junction structure and function. The findings provide a framework for tight junction modulation by sFabs for tissue-selective therapies.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2024

Facile electrocatalytic proton reduction by a [Fe–Fe]-hydrogenase bio-inspired synthetic model bearing a terminal CN — ligand

An azadithiolate bridged CN — bound pentacarbonyl bis-iron complex, mimicking the active site of [Fe–Fe] H 2 ase is synthesized. The geometric and electronic structure of this complex is elucidated using a combination of EXAFS analysis, infrared and Mössbauer spectroscopy and DFT calculations. The electrochemical investigations show that complex 1 effectively reduces H + to H 2 between pH 0–3 at diffusion-controlled rates (10 11 M —1 s —1 ) i.e. 10 8 s —1 at pH 3 with an overpotential of 140 mV. Electrochemical analysis and DFT calculations suggests that a CN— ligand increases the p K a of the cluster enabling hydrogen production from its Fe(I)–Fe(0) state at pHs much higher and overpotential much lower than its precursor bis-iron hexacarbonyl model which is active in its Fe(0)–Fe(0) state. The formation of a terminal Fe–H species, evidenced by spectroelectrochemistry in organic solvent, via a rate determining proton coupled electron transfer step and protonation of the adjacent azadithiolate, lowers the kinetic barrier leading to diffusion controlled rates of H 2 evolution. The stereo-electronic factors enhance its catalytic rate by 3 order of magnitude relative to a bis-iron hexacarbonyl precursor at the same pH and potential.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2024

Summary of Gas Generation Behavior Observed in 3013 Surveillance and Monitoring Program Shelf-Life Experiments

Gas generation experiments have been conducted in small- and full-scale test containers at Los Alamos National Laboratory on samples of plutonium oxide material collected from plutonium processes across the DOE complex and tested at the bounding conditions for the Department of Energy 3013 Standard. The gas composition and pressures in the sealed experimental containers were measured over periods of months to years. These experiments have provided results for the formation and consumption of hydrogen and other gases. The conditions supporting the formation of flammable gas mixtures of hydrogen and oxygen in flammable gas mixtures were also determined. Different behaviors were observed between the materials tested based on their compositions, the stabilization performed on the material, and the post stabilization handling of the material. Many of the experiments are still ongoing. This report summarizes the results obtained for the gas generation behavior for high-purity plutonium oxides and salt-bearing impure plutonium oxides in sealed containers.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2025

Approaches to the Inverse Problem

In this talk, I describe some recent ideas relating to the spectral reconstruction inverse problem, which arises frequently in lattice QCD calculations of inclusive hadronic quantities, and provide some physical context for this work. Particular emphasis is given to a new method for rigorously bounding uncertainties using techniques from complex analysis.

Jay, William [Massachusetts Institute of Technolog↗
NASA NTRS1975

On-line diagnosis of sequential systems, 3

A formal model is introduced which can serve as the basis for a theoretical investigation of on-line diagnosis. Within this model a fault of a system S is considered to be a transformation of S into another system S prime at some time tau. The resulting faulty system is taken to be the system which looks like S up to time tau and like S prime thereafter. The on-line diagnosis of systems which are structurally decomposed and represented as a network of smaller systems is also investigated. The fault set considered is the set of unrestricted component faults; namely, the set of faults which only affect one component of the network. A characterization of networks which can be diagnosed using a combinational detector is obtained. It is further shown that any network can be made diagnosable in the above sense through the addition of one component. In addition, a lower bound is obtained on the complexity of any component, the addition of which is sufficient to make a particular network combinationally diagnosable.

Sundstrom, R. J.↗
NASA NTRS1992

Fault detection and initial state verification by linear programming for a class of Petri nets

The authors present an algorithmic approach to determining when the marking of a LSMG (live safe marked graph) or a LSFC (live safe free choice) net is in the set of live safe markings M. Hence, once the marking of a net is determined to be in M, then if at some time thereafter the marking of this net is determined not to be in M, this indicates a fault. It is shown how linear programming can be used to determine if m is an element of M. The worst-case computational complexity of each algorithm is bounded by the number of linear programs necessary to compute.

Rachell, Traxon↗