Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “CONCRETES”

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 739 records · Page 41
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Differential equations for cosmological correlators

Cosmological fluctuations retain a memory of the physics that generated them in their spatial correlations. The strength of correlations varies smoothly as a function of external kinematics, which is encoded in differential equations satisfied by cosmological correlation functions. In this work, we provide a broader perspective on the origin and structure of these differential equations. As a concrete example, we study conformally coupled scalar fields in a power-law cosmology. The wavefunction coefficients in this model have integral representations, with the integrands being the product of the corresponding flat-space results and “twist factors” that depend on the cosmological evolution. Similar twisted integrals arise for loop amplitudes in dimensional regularization, and their recent study has led to the discovery of rich mathematical structures and powerful new tools for computing multi-loop Feynman integrals in quantum field theory. The integrals of interest in cosmology are also part of a finite-dimensional basis of master integrals, which satisfy a system of first-order differential equations. We develop a formalism to derive these differential equations for arbitrary tree graphs. The results can be represented in graphical form by associating the singularities of the differential equations with a set of graph tubings. Upon differentiation, these tubings grow in a local and predictive fashion. In fact, a few remarkably simple rules allow us to predict — by hand — the equations for all tree graphs. While the rules of this “kinematic flow” are defined purely in terms of data on the boundary of the spacetime, they reflect the physics of bulk time evolution. We also study the analogous structures in tr ϕ 3 theory, and see some glimpses of hidden structure in the sum over planar graphs. This suggests that there is an autonomous combinatorial or geometric construction from which cosmological correlations, and the associated spacetime, emerge.

Cosmological models↗
DOE OSTI2020

Effective entropy of quantum fields coupled with gravity

Entanglement entropy, or von Neumann entropy, quantifies the amount of uncertainty of a quantum state. For quantum fields in curved space, entanglement entropy of the quantum field theory degrees of freedom is well-defined for a fixed background geometry. In this paper, we propose a generalization of the quantum field theory entanglement entropy by including dynamical gravity. The generalized quantity named effective entropy, and its Renyi entropy generalizations, are defined by analytic continuation of a replica calculation. The replicated theory is defined as a gravitational path integral with multiple copies of the original boundary conditions, with a co-dimension-2 brane at the boundary of region we are studying. We discuss different approaches to define the region in a gauge invariant way, and show that the effective entropy satisfies the quantum extremal surface formula. When the quantum fields carry a significant amount of entanglement, the quantum extremal surface can have a topology transition, after which an entanglement island region appears. Our result generalizes the Hubeny-Rangamani-Takayanagi formula of holographic entropy (with quantum corrections) to general geometries without asymptotic AdS boundary, and provides a more solid framework for addressing problems such as the Page curve of evaporating black holes in asymptotic flat spacetime. We apply the formula to two example systems, a closed two-dimensional universe and a four-dimensional maximally extended Schwarzchild black hole. We discuss the analog of the effective entropy in random tensor network models, which provides more concrete understanding of quantum information properties in general dynamical geometries. We show that, in absence of a large boundary like in AdS space case, it is essential to introduce ancilla that couples to the original system, in order for correctly characterizing quantum states and correlation functions in the random tensor network. Using the superdensity operator formalism, we study the system with ancilla and show how quantum information in the entanglement island can be reconstructed in a state-dependent and observer-dependent map. We study the closed universe (without spatial boundary) case and discuss how it is related to open universe.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2022

Double holography in string theory

We develop the notion of double holography in Type IIB string theory realizations of braneworld models. The Type IIB setups are based on the holographic duals of 4d BCFTs comprising 4d N = 4 SYM on a half space coupled to 3d N = 4 SCFTs on the boundary. Based on the concrete BCFTs and their brane construction, we provide microscopic realizations of the intermediate holographic description, obtained by dualizing only the 3d degrees of freedom. Triggered by recent observations in bottom-up models, we discuss the causal structures in the full BCFT duals and intermediate descriptions. This confirms qualitative features found in the bottom-up models but suggests a refinement of their interpretation.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2022

$c$-functions in flows across dimensions

We explore the notion of c-functions in renormalization group flows between theories in different spacetime dimensions. We discuss functions connecting central charges of the UV and IR fixed point theories on the one hand, and functions which are monotonic along the flow on the other. First, using the geometric properties of the holographic dual RG flows across dimensions and the constraints from the null energy condition, we construct a monotonic holographic c-function and thereby establish a holographic c-theorem across dimensions. Second, we use entanglement entropies for two different types of entangling regions in a field theory along the RG flow across dimensions to construct candidate c-functions which satisfy one of the two criteria but not both. In due process we also discuss an interesting connection between corner contributions to the entanglement entropy and the topology of the compact internal space. As concrete examples for both approaches, we holographically study twisted compactifications of 4d N =4 SYM and compactifications of 6d N = (2, 0) theories.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2022

Leptonic cascade decays of a heavy Higgs boson through vectorlike leptons at the LHC

We demonstrate the potential of fully leptonic cascade decays of a heavy neutral Higgs boson through vectorlike leptons as a simultaneous probe for extended Higgs sectors and extra matter particles at the LHC. The processes we explore are unique in that their event topologies lead to di-boson-like leptonic final states with a lepton pair which does not reconstruct the mass of a gauge boson. By recasting existing $2\ell$ + $E^{\text{miss}}_{R}$ and $3/4\ell$ searches channels using run2 data from the LHC we obtain model independent bounds on the masses of heavy scalars and vectorlike leptons and use these results to explore future prospects at the HL-LHC. Our results can be directly applied to any kind of new physics scenarios sharing the final states and the event topology. For concreteness, we apply our results to a benchmark scenario: a two Higgs doublet model type-II augmented with vectorlike leptons. Remarkably, even with current data the sensitivity of our analysis shows a reach for masses of a heavy neutral Higgs and vectorlike leptons up to 2 TeV and 1.5 TeV, respectively. Even for low tan β ≳ 1, the analysis retains sensitivity to heavy Higgs masses slightly above 1 TeV. The future sensitivities at the HL-LHC extend the reach for heavy Higgses and new leptons to 2.7 TeV and 2 TeV, respectively.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2023

Wrinkles in the Froggatt-Nielsen mechanism and flavorful new physics

Abstract When the Froggatt-Nielsen mechanism is used to explain the Standard Model flavor hierarchy, new physics couplings are also determined by the horizontal symmetry. However, additional symmetries or dynamics in the UV can sometimes lead to a departure from this naïve scaling for the new physics couplings. We show that an effective way to keep track of these changes is by using the new spurions of the U(3) 5 global flavor symmetry, where we parameterize extra suppression or enhancement factors, referred to aswrinkles, using the same power counting parameter as in the original Froggatt-Nielsen model. As a concrete realization, we consider two flavor spurions of theS 1 leptoquark, and demonstrate that wrinkles can be used to make an enhanced value of$$ \textrm{BR}\left({B}^{+}\to {K}^{+}\nu \overline{\nu}\right) $$ BR B + → K + ν ν ¯ consistent with other flavor observables. We also present example UV models that realize wrinkles, and comment on choosing consistent charges in ordinary Froggatt-Nielsen models without the typical monotonicity condition.

Physics↗
DOE OSTI2020

Building bases of loop integrands

We describe a systematic approach to the construction of loop-integrand bases at arbitrary loop-order, sufficient for the representation of general quantum field theories. We provide a graph-theoretic definition of ‘power-counting’ for multi-loop integrands beyond the planar limit, and show how this can be used to organize bases according to ultraviolet behavior. This allows amplitude integrands to be constructed iteratively. We illustrate these ideas with concrete applications. In particular, we describe complete integrand bases at two loops sufficient to represent arbitrary-multiplicity amplitudes in four (or fewer) dimensions in any massless quantum field theory with the ultraviolet behavior of the Standard Model or better. We also comment on possible extensions of our framework to arbitrary (including regulated) numbers of dimensions, and to theories with arbitrary mass spectra and charges. At three loops, we describe a basis sufficient to capture all ‘leading-(transcendental-)weight’ contributions of any four-dimensional quantum theory; for maximally supersymmetric Yang-Mills theory, this basis should be sufficient to represent all scattering amplitude integrands in the theory — for generic helicities and arbitrary multiplicity.

1/NExpansion↗
DOE OSTI2022

BRST symmetry and the convolutional double copy

Motivated by the results of Anastasiou et al., we consider the convolutional double copy for BRST and anti-BRST covariant formulations of gravitational and gauge theories in more detail. We give a general BRST and anti-BRST invariant formulation of linearised $\mathcal{N}$ = 0 supergravity using superspace methods and show how this may be obtained from the square of linearised Yang-Mills theories. We demonstrate this relation for the Schwarzschild black hole and the ten-dimensional black string solution as two concrete examples.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Gravitational waves and dark photon dark matter from axion rotations

An axion rotating in field space can produce dark photons in the early universe via tachyonic instability. This explosive particle production creates a background of stochastic gravitational waves that may be visible at pulsar timing arrays or other gravitational wave detectors. This scenario provides a novel history for dark photon dark matter. The dark photons may be warm at a level detectable in future 21-cm line surveys. For a consistent cosmology, the radial direction of the complex field containing the axion must be thermalized. We explore a concrete thermalization mechanism in detail and also demonstrate how this setup can be responsible for the generation of the observed baryon asymmetry.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2023

Searching for heavy leptophilic Z′: from lepton colliders to gravitational waves

Abstract We study the phenomenology of leptophilicZ′ gauge bosons at the future high-energye + e − andμ + μ − colliders, as well as at the gravitational wave observatories. The leptophilicZ′ model, although well-motivated, remains largely unconstrained from current low-energy and collider searches forZ′ masses above$$ \mathcal{O} $$ O (100 GeV), thus providing a unique opportunity for future lepton colliders. Taking$$ \textrm{U}{(1)}_{L_{\alpha }-{L}_{\beta }} $$ U 1 L α − L β (α,β=e,μ,τ) models as concrete examples, we show that futuree + e − andμ + μ − colliders with multi-TeV center-of-mass energies provide unprecedented sensitivity to heavy leptophilicZ′ bosons. Moreover, if these U(1) models are classically scale-invariant, the phase transition at the U(1) symmetry-breaking scale tends to be strongly first-order with ultra-supercooling, and leads to observable stochastic gravitational wave signatures. We find that the future sensitivity of gravitational wave observatories, such as advanced LIGO-VIRGO and Cosmic Explorer, can be complementary to the collider experiments, probing higherZ′ masses up to$$ \mathcal{O} $$ O (10 4 TeV), while being consistent with naturalness and perturbativity considerations.

Physics↗
DOE OSTI2024

Accidental suppression of Wilson coefficients in Higgs coupling

Higgs couplings are essential probes for physics beyond the Standard Model (BSM) since they can be modified by new physics, such as through the Higgs portal interaction |H| 2 Ο. These modifications influence Higgs interactions via dimension-6 operators of the form (∂|H| 2 ) 2 and |H| 6 , which are generally expected to be of comparable size. This paper discusses a phenomenon of accidental suppression, where the |H| 6 coupling is significantly smaller than (∂|H| 2 ) 2 . This suppression, arising from the truncation of the tree-level effective potential, lacks a clear symmetry explanation but persists in portal models. This paper aims to inspire further studies on additional instances of accidental suppression without symmetry explanations or a general framework to characterize such suppression. We also discuss constraints, at the HL-LHC and future colliders, on the Wilson coefficients of the two dimension-6 operators for various benchmark scenarios of the concrete model.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2020

Inverse point source location with the Helmholtz equation on a bounded domain

The problem of recovering acoustic sources, more specifically monopoles, from point-wise measurements of the corresponding acoustic pressure at a limited number of frequencies is addressed. To this purpose, a family of sparse optimization problems in measure space in combination with the Helmholtz equation on a bounded domain is considered in this study. A weighted norm with unbounded weight near the observation points is incorporated into the formulation. Optimality conditions and conditions for recovery in the small noise case are discussed, which motivates concrete choices of the weight. The numerical realization is based on an accelerated conditional gradient method in measure space and a finite element discretization.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2023

SPLENDAQ: A Detector-Agnostic Data Acquisition System for Small-Scale Physics Experiments

Many scientific applications from rare-event searches to condensed matter system characterization to high-rate nuclear experiments require time-domain triggering on a raw stream of data, where the triggering is generally threshold-based or randomly acquired. When carrying out detector R &D, there is a need for a general data acquisition (DAQ) system to quickly and efficiently process such data. In the SPLENDOR collaboration, we are developing the Python-based SPLENDAQ package for this exact purpose—it offers two main features for offline analysis of continuous data: a threshold triggering algorithm based on the time-domain optimal filter formalism and an algorithm for randomly choosing nonoverlapping segments for noise measurements. Further, combined with the commercially available Moku platform, developed by Liquid Instruments, we have a full pipeline of event building off raw data with minimal setup. Here, we review the underlying principles of this detector-agnostic DAQ package and give concrete examples of its utility in various applications.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2021

Neutron Insights into Sorption Enhanced Methanol Catalysis

Sorption enhanced methanol production makes use of the equilibrium shift of the CO 2 hydrogenation reaction towards the desired products. However, the increased complexity of the catalyst system leads to additional reactions and thus side products such as dimethyl ether, and complicates the analysis of the reaction mechanism. On the other hand, the unusually high concentration of intermediates and products in the sorbent facilitates the use of inelastic neutron scattering (INS) spectroscopy. Despite being a post-mortem method, the INS data revealed the change of the reaction path during sorption catalysis. Concretely, the experiments indicate that the varying water partial pressure due to the adsorption saturation of the zeolite sorbent influences the progress of the reaction steps in which water is involved. Experiments with model catalysts support the INS findings.

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

Formal verification and validation of run-to-completion style state charts using Event-B

State chart notations with ‘run to completion’ semantics are popular with engineers for designing controllers that react to environment events with a sequence of state transitions but lack formal refinement and rigorous verification methods. State chart models are typically used to design complex control systems that respond to environmental triggers with a sequential process. The model is usually constructed at a concrete level and verified and validated using animation techniques relying on human judgement. Event-B, on the other hand, is based on refinement from an initial abstraction and is designed to make formal verification by automatic theorem provers feasible. Abstraction and formal verification provide greater assurance that critical (e.g. safety or security) properties are not violated by the control system. In this paper, we introduce a notion of refinement into a ‘run to completion’ state chart modelling notation and leverage Event-B’s tool support for theorem proving. We describe the difficulties in translating ‘run to completion’ semantics into Event-B refinements and suggest a solution. We illustrate our approach and show how models can be validated at different refinement levels using our scenario checker animation tools. We show how critical invariant properties can be verified by proof despite the reactive nature of the system and how behavioural aspects of the system can be verified by testing the expected reactions using a temporal logic, model checking approach. To verify liveness, we outline a proof that the run to completion is deadlock-free and converges to complete the run.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

Penetration of Fission Products Ions into Complex Solids and the Effect of Ionic Wash Methods

During washing of radiologically impacted building surfaces, penetration of radionuclide ions into complex solids associated with these surfaces may occur. This study investigates the penetration of Cs-137, Sr-85, and Eu-152 solutions into numerous common building materials and radionuclide behavior when these materials were exposed to a static bath or low-pressure flow of tap water, 0.1 M potassium chloride (KCl), and 0.5 M KCl. The decontamination efficacy and the depth profile for residual contamination were measured to determine the conditions under which applying a wash solution has benefit compared to physically removing the surface material. On asphalt, 70-80% of the radionuclides were found to be within 0.02 mm of the surface. Concrete is more porous than asphalt, and 80% of the radionuclides were within 0.2 mm of the surface for Cs-137 and Eu-152 and 50-80% for Sr-85. Water effectively removed all contaminants from hard nonporous surfaces. Finally, this paper illustrates that a wash penalty factor concept-defined as ratio of the depth at which 50% of the radioactivity is found in the washed sample divided by the depth at which 50% of radioactivity is found in the control-can serve as a way to quantify whether the wash method increases the depth at which contamination penetrates into the material and thus the material becomes more difficult to decontaminate.

building materials↗
DOE OSTI2022

CLARIFYING THE NEXUS BETWEEN LIFE CYCLE ASSESSMENT AND CIRCULARITY INDICATORS: A SETAC/ACLCA INTEREST GROUP

Purpose Improving the circularity of resources is important to the sustainability of consumer goods. Current research has indicated that circularity practices and circular economy (CE) methods do not always reduce environmental impacts. The aim of this research is to investigate the adoption of the life cycle assessment (LCA) methodology to improve the environmental impacts of circularity practices. Methods As part of the Society for Environmental Toxicology And Chemistry (SETAC) forum, an interest group (IG) on Circularity and LCA was formed in partnership with the American Center for Life Cycle Assessment (ACLCA) to tackle methodological and technical issues related to circularity in LCA. The IG’s research approach is summarized in four key steps: defining goals and objectives, literature review and gap analysis, ideation, and experimentation. The twelve active persons within this IG meet monthly and have been divided into four sub-working groups (sub-WGs) so that complementary tasks can be completed concurrently in an effective manner. Each sub-WG meets monthly and reports back to the main group for collaboration and brainstorming to meet the research objectives. Results and discussion First, the sub-WG #1, focusing on the “pool of circularity and LCA-based indicators”, analyzed the complementarity between two of the most used circularity indicators and LCA. Second, the sub-WG #2, working on the “evaluation of CE loops performance through LCA”, built a mind map of pain points that reflect the challenges that the LCA practitioners face when combining LCA with CE approaches. Third, the sub-WG #3, dealing with the “trade-offs between circularity and sustainability”, highlighted key alignments and/or conflicts between circularity and sustainability performance depending on the scope, product, industry, or system of analysis. Fourth, the sub-WG #4, focusing on “business and industrial cases”, plans to leverage the knowledge base developed within this IG to develop use cases documenting the benefits and challenges associated with CE-related loops modeling in LCA. Conclusions The first findings of this SETAC/ACLCA IG provide a state-of-the-art overview of the synergists of LCA methodology and the CE measurement frameworks reported in the literature. To move forward and capitalize on the first findings, one valuable point will be to discuss and provide concrete solutions to the pain points that emerged when considering circularity in LCA. Eventually, the knowledge base and resources created within this IG ultimately aim to support the proper application of LCA for practitioners in CE contexts, and could provide relevant inputs for the ISO Technical Committee ISO/TC 323 working on the upcoming standard for the measurement of CE performance.

Life cycle assessment, circular economy, circulari↗
DOE OSTI2024

What is the gradient of a scalar function defined on a subspace of square matrices?

We illustrate a technique to calculate the gradient of scalar functions that are defined on any arbitrary matrix subspace. It generalizes our earlier work titled “What is the gradient of a scalar function of a symmetric matrix ?”(Indian Journal of Pure and Applied Mathematics (2022), https://doi.org/10.1007/s13226-022-00313-x), in which we considered the special case of the subspace of symmetric matrices. Extant methods to calculate the gradient in such cases have an inherent flaw which leads to spurious results that populate several publications, as well as respected textbooks and handbooks on matrix calculus. Here, we examine these sources and results in a rigorous and concrete mathematical setting of a finite-dimensional inner-product space and discover the inherent flaw and also a remedy. We demonstrate two ways to calculate the derivative/gradient and second derivative for scalar functions of matrices defined over an arbitrary matrix subspace; the first method is by considering any (differentiable) extension to the space of square matrices and projection of its gradient onto the given subspace. The second method utilizes an ordered basis and computes each component of the gradient through evaluation of the directional derivative. All the ideas presented are illustrated by non-trivial examples, namely, considering the subspace of 3 x 3 circulant and Toeplitz matrices and presenting the results of gradient-descent with both the spurious and correct gradients. Moreover, our bibliography makes it clear that a rigorous approach to matrix calculus is not common in practice, and our presentation of matrix calculus in the language of inner-product spaces will be significant and meaningful for applied mathematicians, engineers and researchers working in inter-disciplinary fields to avoid the conceptual pitfalls that exist.

97 MATHEMATICS AND COMPUTING↗