Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Bounds”

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

Average-atom calculations of bound-free and free-free cross sections in dense plasmas

Cross sections for photo-induced bound-free and free-free transitions in plasmas are evaluated in the average-atom approximation and applied to determine opacities of dense plasmas of light elements. Parameters characterizing the plasmas (chemical potential, average ionic charge, free electron density, bound and continuum wave functions, and occupation numbers) are obtained from the average-atom model. Lowest-order calculations of the free-free cross sections, which diverge in the low-frequency limit, are regularized by accounting for the finite electron-ion relaxation time. The resulting analysis provides the basis for average-atom studies of plasma opacities. Such studies are presented for dense lithium, beryllium, boron, and carbon. Applications are given to Rosseland mean opacities of dense hydrogen and deuterium plasmas and to comparisons of free-free to bound-free opacities in shock-compressed plasmas. Average-atom cross section and opacity calculations are extended to plasmas consisting of more than one ionic species, boron nitride, polystyrene, and a composite H, He, C plasma.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Three-Magnon Bound State in the Quasi-One-Dimensional Antiferromagnet α-NaMnO 2

Here we report on the formation of a three-magnon bound state in the quasi-one-dimensional antiferromagnet α-NaMnO 2 , where the single-ion, uniaxial anisotropy inherent to the Mn 3+ ions in this material provides a binding mechanism capable of stabilizing higher order magnon bound states. While such states have long remained elusive in studies of antiferromagnetic chains, neutron scattering data presented here demonstrate that higher order n > 2 composite magnons exist, and, speci fically, that a weak three-magnon bound state is detected below the antiferromagnetic ordering transition of NaMnO 2 . We corroborate our findings with exact numerical simulations of a one-dimensional Heisenberg chain with easy-axis anisotropy using matrix-product state techniques, nding a good quantitative agreement with the experiment. Furthermore, these results establish NaMnO 2 as a unique platform for exploring the dynamics of composite magnon states inherent to a classical antiferromagnetic spin chain with Ising-like single ion anisotropy.

1-dimensional spin chains↗

Lower Bounds on Quantum Annealing Times

The adiabatic theorem provides sufficient conditions for the time needed to prepare a target ground state. While it is possible to prepare a target state much faster with more general quantum annealing protocols, rigorous results beyond the adiabatic regime are rare. Here, we provide such a result, deriving lower bounds on the time needed to successfully perform quantum annealing. The bounds are asymptotically saturated by three toy models where fast annealing schedules are known: the Roland and Cerf unstructured search model, the Hamming spike problem, and the ferromagnetic p-spin model. Our bounds demonstrate that these schedules have optimal scaling. Herein, our results also show that rapid annealing requires coherent superpositions of energy eigenstates, singling out quantum coherence as a computational resource.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Robustness and Eventual Slow Decay of Bound States of Interacting Microwave Photons in the Google Quantum AI Experiment

Integrable models are characterized by the existence of stable excitations that can propagate indefinitely without decaying. This includes multimagnon bound states in the celebrated 𝑋⁢𝑋⁢𝑍 spin-chain model and its integrable Floquet counterpart. A recent Google Quantum AI experiment [A. Morvan et al., Nature 612, 240 (2022)] realizing the Floquet model has demonstrated the persistence of such collective excitations even when the integrability is broken: this observation is at odds with the expectation of ergodic dynamics in generic nonintegrable systems. Here, we study the spectrum of the model realized in the experiment using exact diagonalization and physical arguments. We find that isolated bands corresponding to the descendants of the exact bound states of the integrable model are clearly observable in the spectrum for a large range of system sizes. However, our numerical analysis of the localization properties of the eigenstates suggests that the bound states become unstable in the thermodynamic limit. A perturbative estimate of the decay rate agrees with the prediction of an eventual instability for large system sizes.

Exact diagonalization↗

Multipositivity bounds for scattering amplitudes

Lorentz invariance, unitarity, and causality enforce powerful constraints on the theory space of physical scattering amplitudes. However, virtually all efforts in this direction have centered on the very simplest case of four-point scattering. In this work, we derive an infinite web of “multipositivity bounds” that nonlinearly constrain all tree-level higher-point scattering amplitudes under similarly minimal assumptions. Our construction rules out several deformations of the string and implies mixed-multiplicity bounds on the Wilson coefficients of planar effective field theories. Curiously, an infinite class of multipositivity bounds is exactly saturated by the amplitudes of the open string.

effective field theory↗

Shifting Between Compute and Memory Bounds: A Compression-Enabled Roofline Model

In the evolving landscape of high-performance computing, especially to fight the end of Moore’s Law and Dennard’s Scaling, the ability to shift between compute-bound and memory-bound states is critical for enhancing adaptability and flexibility to diverse system and domain-specific architectures. Such capability is vital for optimizing performance across distinguished hardware configurations, such as accelerators, memory hierarchies, and cache systems. Despite that ad hoc optimization techniques, such as compressed/approximate computation, have been enabled for compute-/data-intensive computing for improved performance in distinct hardware settings, there lacks an understanding of 1) the rational behind performance improvement; 2) capability of different optimizations; 3) what optimization to respond to specific computational and memory demands. This work proposes a compression-enabled roofline model to facilitate this adaptability with data compression techniques to balance and transform between computational and memory demands. This model enables applications to adjust in response to the specific strengths and limitations of the underlying hardware and system to optimize resource utilization. The effectiveness of this approach is demonstrated with matrix multiplication kernels on different input sizes, with turning on/off various compression techniques, including 1) low-precision floating point; 2) sparse matrix formulation; and 3) compressed arrays with ZFP. By reducing memory transfer volumes and cache misses and increasing data locality and computational intensity through compression, the specific roofline model can transform between compute and memory bounds to align more efficiently with system capabilities. This advancement not only improves overall performance but also maximizes adaptability in diverse computing environments.

Naraparaju, Ramasoumya [University of Washington]↗

A Flexible Forwarding Scheme to Improve Latency-Bound Irregular P2P Communication in MPI

We propose an algorithm to efficiently perform latency-bound communication scenarios that consist of many small messages. In these parallel scenarios, processes typically pass around a lot of small-sized messages of a few KBs of size. Performing communication operations with P2P MPI routines or collective MPI routines (including neighborhood collectives) in such scenarios may not always yield the optimal results and may not resolve the latency bottleneck. To this end, we develop a regular structure called virtual process topology (VPT) on which the messages can be communicated in a structured and controlled manner. Using parameters of this topology, one can tune the rate of aggression in tackling the latency costs. We demonstrate that our communication algorithm is preferable to MPI P2P and collective routines for latency-bound communication and it can easily be adapted only by replacing calls to MPI routines in a parallel application. We show how to adapt existing topology-aware mapping heuristics to address the volume overhead due to communicating messages on the VPT. Moreover, we propose a novel swap-based mapping heuristic to address this overhead by optimizing the maximum volume handled by a process. Experiments on synthetic communication graphs as well as real-world applications such as parallel Canonical Polyadic sparse tensor decomposition and parallel sparse matrix-dense matrix multiplication show that our approach is a powerful way of overcoming the bottlenecks posed by sparse and latency-bound irregular communication.

communication algorithm↗

TopoSZ: Preserving Topology in Error-Bounded Lossy Compression

Existing error-bounded lossy compression techniques control the pointwise error during compression to guarantee the integrity of the decompressed data. However, they typically do not explicitly preserve the topological features in data. When performing post hoc analysis with decompressed data using topological methods, preserving topology in the compression process to obtain topologically consistent and correct scientific insights is desirable. In this paper, we introduce TopoSZ, an error-bounded lossy compression method that preserves the topological features in 2D and 3D scalar fields. Specifically, we aim to preserve the types and locations of local extrema as well as the level set relations among critical points captured by contour trees in the decompressed data. The main idea is to derive topological constraints from contour-tree-induced segmentation from the data domain, and incorporate such constraints with a customized error-controlled quantization strategy from the SZ compressor (version 1.4). In conclusion, our method allows users to control the pointwise error and the loss of topological features during the compression process with a global error bound and a persistence threshold.

97 MATHEMATICS AND COMPUTING↗

Communication Lower Bounds and Optimal Algorithms for Symmetric Matrix Computations

In this article, we focus on the communication costs of three symmetric matrix computations: (i) multiplying a matrix with its transpose, known as a symmetric rank-k update (SYRK) (ii) adding the result of the multiplication of a matrix with the transpose of another matrix and the transpose of that result, known as a symmetric rank-2k update (SYR2K) (iii) performing matrix multiplication with a symmetric input matrix (SYMM). All three computations appear in the Level 3 Basic Linear Algebra Subroutines (BLAS) and have wide use in applications involving symmetric matrices. We establish communication lower bounds for these kernels using sequential and distributed-memory parallel computational models, and we show that our bounds are tight by presenting communication-optimal algorithms for each setting. Our lower bound proofs rely on applying a geometric inequality for symmetric computations and analytically solving constrained nonlinear optimization problems. As a result, the symmetric matrix and its corresponding computations are accessed and performed according to a triangular block partitioning scheme in the optimal algorithms.

Al Daas, Hussam [Rutherford Appleton Laboratory, D↗

Overexpression of the rice BAHD acyltransferase AT10 increases xylan-bound p-coumarate and reduces lignin in Sorghum bicolor

Abstract Background The development of bioenergy crops with reduced recalcitrance to enzymatic degradation represents an important challenge to enable the sustainable production of advanced biofuels and bioproducts. Biomass recalcitrance is partly attributed to the complex structure of plant cell walls inside which cellulose microfibrils are protected by a network of hemicellulosic xylan chains that crosslink with each other or with lignin via ferulate (FA) bridges. Overexpression of the rice acyltransferase OsAT10 is an effective bioengineering strategy to lower the amount of FA involved in the formation of cell wall crosslinks and thereby reduce cell wall recalcitrance. The annual crop sorghum represents an attractive feedstock for bioenergy purposes considering its high biomass yields and low input requirements. Although we previously validated the OsAT10 engineering approach in the perennial bioenergy crop switchgrass, the effect of OsAT10 expression on biomass composition and digestibility in sorghum remains to be explored. Results We obtained eight independent sorghum ( Sorghum bicolor (L.) Moench) transgenic lines with a single copy of a construct designed for OsAT10 expression. Consistent with the proposed role of OsAT10 in acylating arabinosyl residues on xylan with p -coumarate ( p CA), a higher amount of p -coumaroyl-arabinose was released from the cell walls of these lines upon hydrolysis with trifluoroacetic acid. However, no major changes were observed regarding the total amount of p CA or FA esters released from cell walls upon mild alkaline hydrolysis. Certain diferulate (diFA) isomers identified in alkaline hydrolysates were increased in some transgenic lines. The amount of the main cell wall monosaccharides glucose, xylose, and arabinose was unaffected. The transgenic lines showed reduced lignin content and their biomass released higher yields of sugars after ionic liquid pretreatment followed by enzymatic saccharification. Conclusions Expression of OsAT10 in sorghum leads to an increase of xylan-bound p CA without reducing the overall content of cell wall FA esters. Nevertheless, the amount of total cell wall p CA remains unchanged indicating that most p CA is ester-linked to lignin. Unlike other engineered plants overexpressing OsAT10 or a phylogenetically related acyltransferase with similar putative function, the improvements of biomass saccharification efficiency in sorghum OsAT10 lines are likely the result of lignin reductions rather than reductions of cell wall-bound FA. These results also suggest a relationship between xylan-bound p CA and lignification in cell walls.

09 BIOMASS FUELS↗

Contributions to the optical linewidth of shallow donor-bound excitonic transition in ZnO

Neutral shallow donors in zinc oxide (ZnO) are spin qubits with optical access via the donor-bound exciton. This spin–photon interface enables applications in quantum networking, memories, and transduction. Essential optical parameters which impact the spin–photon interface include radiative lifetime, optical inhomogeneous and homogeneous linewidth, and optical depth. We study the donor-bound exciton optical linewidth properties of Al, Ga, and In donors in single-crystal ZnO. The ensemble photoluminescence linewidth ranges from 4 to 11 GHz, less than two orders of magnitude larger than the expected lifetime-limited linewidth. The ensemble linewidth remains narrow in absorption through samples with an estimated optical depth up to several hundred. The primary thermal relaxation mechanism is identified and found to have a negligible contribution to the total linewidth at 2 K. We find that inhomogeneous broadening due to the disordered isotopic environment in natural ZnO is significant, contributing 2 GHz. Two-laser spectral hole burning measurements indicate that the dominant mechanism, however, is homogeneous. Despite this broadening, the high homogeneity, large optical depth, and potential for isotope purification indicate that the optical properties of the ZnO donor-bound exciton are promising for a wide range of quantum technologies, and motivate a need to improve the isotope and chemical purity of ZnO for quantum technologies.

Niaouris, Vasileios (ORCID:000000015313748X)↗

A Possible Observation of Sigma-nn Continuum Structures and A Bound Sigma-NN State Using the (e, e 'K+) Reaction

The E12-17-003 (e, e'K+) experiment was carried out in the experimental Hall A facility of Jefferson Lab in November 2018. The experiment aimed at providing the experimental data for the unknown Lambda-n interaction by measuring the bound state or the resonance state as indicated by the HypHI experiment. The so obtained Lambda-n interaction was assumed to solve the existing charge symmetry breaking problem in the case of Lambda-N interaction. The experiment used Hall A high resolution spectrometers (both left and right spectrometers) positioned symmetrically at constant angle 13.2 deg. each. A 25 cm long aluminum cylinder filled with H-3 gas was used as a production target. The major calibration data were taken with the H target contained in an identical aluminum cylinder. The electroproduction of Lambda and Sigma^0 via p(e, e'K+)Lambda, Sigma^0 reactions was used to calibrate the absolute energy scale with the known masses of the Lambda and Sigma^0. Then by using the (e, e'K+) Sigma-reaction, two possible Lambda-nn resonance states and one NN bound state were observed. The observed states have the energy resolution about 1.6 MeV (FWHM), however, great r statistics are required to solidly confirm the observed states. The A = 3 and 4 Sigma bound states have been predicted long ago but only the A = 4 Sigma hypernucleus, that is He-4/Sigma, was found in the (K-, pi-) reaction. A careful Monte Carlo study was conducted to study the A (nuclear mass number) dependence on the missing mass resolution by using the identical experimental conditions. The simulated and experimentally obtained Lambda and Sigma^0 channels agreed within 100 keV in sigma, where sigma is the standard deviation. The intrinsic missing mass resolution of A = 3 (3/Lambda-n) resonance was predicted about sigma = 0.67 MeV with a natural width of about 0.6 MeV. However, due to the low statistics the precision does not permit sufficient constrain on the determination of the Lambda-n interaction. The reason of having such low statistics is due to the use of unoptimized Hall A system which was definitely feasible but not ideal for this experiment. In addition, the cross section was found to be much smaller than expected.

Pandey, Bishnu↗

Bounding the Minimum Time of a Quantum Measurement

Measurements take a singular role in quantum theory. While they are often idealized as an instantaneous process, this is in conflict with all other physical processes in nature. In this Letter, we adopt a standpoint where the interaction with an environment is a crucial ingredient for the occurrence of a measurement. Within this framework, we derive lower bounds on the time needed for a measurement to occur. Our bound scales proportionally to the change in entropy of the measured system, and decreases as the number of of possible measurement outcomes or the interaction strength driving the measurement increases. We evaluate our bound in two examples where the environment is modelled by bosonic modes and the measurement apparatus is modelled by spins or bosons.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Universal lower bound on the axion decay constant from free streaming effects

We show that enhancement of the axion relic abundance compared to the standard misalignment contribution generically leads to the production of nonzero momentum axion modes, resulting in warm dark matter behavior and enhanced isocurvature perturbations. It leads to universal constraints on the axion parameter space that are independent of detailed model assumptions and cosmological history. For models enhancing relic abundance with gradient axion modes, observations of the Lyman-$α$ forest impose a lower bound on the axion decay constant, $f_a \gtrsim 10^{15} {\rm GeV}\,(10^{-18}{\rm eV}/m_a)$, from the free-streaming effect. For models relying on the delay of coherent axion oscillations, we obtain a slightly weaker bound, $f_a \gtrsim 10^{14} {\rm GeV}\,(10^{-18}{\rm eV}/m_a)$. We make relatively conservative choices to establish these universal bounds but also provide scaling parameters that can be calibrated for stronger constraints in concrete models and updated as observations improve.

Harigaya, Keisuke [Chicago U., EFI; Tokyo U., IPMU↗

Bounded state variables and the calculus of variations

An optimal control problem with bounded state variables is transformed into a Lagrange problem by means of differentiable mappings which take some Euclidean space onto the control and state regions. Whereas all such mappings lead to a Lagrange problem, it is shown that only those which are defined as acceptable pairs of transformations are suitable in the sense that solutions to the transformed Lagrange problem will lead to solutions to the original bounded state problem and vice versa. In particular, an acceptable pair of transformations is exhibited for the case when the control and state regions are right parallelepipeds. Finally, a description of the necessary conditions for the bounded state problem which were obtained by this method is given.

Hanafy, L. M.↗

Bounded state space

This investigation is divided functionally into three different areas: (1) study of bounded state space, (2) nonlinear smoothing theory, and (3) system identification. (1) Study of bounded state space: necessary and sufficient conditions for an optimal control are obtained for a bounded state space optimal control problem. The difficulty of determining the so-called jump conditions is eliminated; however, the problem of determining the points where the response either enters or leaves the boundary still remains unsolved. (2) Nonlinear smoothing theory: nonlinear fixed-interval, fixed-point and fixed-lag smoothing of a random signal generated by a stochastic differential equation are investigated. Results on the asymptotic stability of a linear constant-parameter fixed-interval smoothing filter are obtained. (3) System identification: a particular stochastic modelling problem is solved. An Ito stochastic integral equation is used to mathematically model a black box having multiple inputs and multiple outputs. A new method for identifying system parameters is presented.

Eyman, E. D.↗

High altitude infrared spectroscopic evidence for bound water on Mars.

The reflectivity of the Martian surface has been measured between 2.0 and 4.0 microns. A broad absorption band is observed which has a minimum at 2.85 microns. The position and shape of the band is compared to features in numerous terrestrial minerals. Bound water in the Martian surface material is the most likely cause of the observed band. The strength of the observed band suggests a bound water content of approximately 1% by weight. The band is inconsistent with more than a few % limonite or hydrated polymeric carbon suboxide. A mean particle radius of about 100 microns is deduced. The quality of bound water derived has a range of geological, climatic, and exobiological implications.

Houck, J. R.↗

Bounds on the performance of a class of digital communication systems

Bounds on the capacity of a class of digital communication channels are derived. Equating the bounds on capacity to rate-distortion functions of (typical) sources in turn produces bounds on the performance of a class of digital communication systems. For ratios of squared quantization level to noise variance much less than one, the power requirements for this class of digital communication systems are shown to be within approximately 3 dB of the theoretical optimum.

Polk, D. R.↗