SEARCH · Search NASA

Results for “Formal analysis”

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.

SourceResearch connectionFrom yearThrough year

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

At least 289 records · Page 16

All sources NASA NTRS DOE OSTI

DOE OSTI2021

On the Stochastic Stability of Deep Markov Models

Deep Markov models (DMM) are generative models which are scalable and expressive generalization of Markov models for representation, learning, and inference problems. DMMs using deep neural networks to parametrize the transition of Markov probability distributions have recently been shown to provide more expressiveness in modeling sequential data and dynamical system responses. However, the fundamental stochastic stability guarantees of such models have not been thoroughly investigated. In this paper, we present a rigorous analytical method to prove the necessary and sufficient conditions of DMM's stochastic stability. This task is achieved by spectral analysis of the efficiently computed Jacobians of probabilistic maps modeled by deep neural networks. We make theoretical connections between the eigenvalues of neural network's weights and the different activation function types used on the stability and overall dynamic behavior of DMMs with Gaussian distributions. We empirically substantiate our theoretical results on stochastic stability and eigenvalue spectra via several numerical experiments. Formal stability guarantees of DMMs can substantially improve their robustness and trustworthiness, necessary for reliable use in safety-critical real-world applications.

Drgona, Jan↗

DOE OSTI2020

A Single Small-Scale Plutonium Redox Reaction System Yields Three Crystallographically-Characterizable Organoplutonium Complexes

Here, an approach to obtaining substantial amounts of data from a hazardous starting material that can only be obtained and handled in small quantities is demonstrated by the investigation of a single small-scale reaction of cyclooctatetraene, C 8 H 8 , with a solution obtained from the reduction of Cp' 3 Pu (Cp' = C 5 H 4 SiMe 3 ) with potassium graphite. This one reaction coupled with oxidation of a product has provided single-crystal X-ray structural data on three organoplutonium compounds as well as information on redox chemistry thereby demonstrating an efficient route to new reactivity and structural information on this highly radioactive element. The crystal structures were obtained from the reduction of C 8 H 8 by a putative Pu(II) complex, (Cp' 3 Pu II ) 1– , generated in situ, to form the Pu(III) cyclooctatetraenide complex, [K(crypt)][(C 8 H 8 ) 2 Pu III ], 1-Pu , and the tetra(cyclopentadienyl) Pu(III) complex, [K(crypt)][Cp' 4 Pu III ], 2-Pu . Oxidation of the sample of 1-Pu with Ag(I) afforded a third organoplutonium complex that has been structurally characterized for the first time, (C 8 H 8 ) 2 Pu IV , 3-Pu . Complexes 1-Pu and 3-Pu contain Pu sandwiched between parallel (C 8 H 8 ) 2– rings. The (Cp' 4 Pu III ) – anion in 2-Pu features three η 5 -Cp' rings and one η 1 -Cp' ring, which is a rare example of a formal Pu–C η 1 -bond. In addition, this study addresses the challenge of small-scale synthesis imparted by radiological and material availability of transuranium isotopes, in particular that of pure metal samples. A route to an anhydrous Pu(III) starting material from the more readily available Pu IV O 2 was developed to facilitate reproducible syntheses and allow complete spectroscopic analysis of 1-Pu and 2-Pu . Pu IV O 2 was converted to Pu III Br 3 (DME) 2 (DME = CH 3 OCH 2 CH 2 OCH 3 ) and subsequently Pu III Br 3 (THF) x , which was used to independently synthesize 1-Pu , 2-Pu , and 3-Pu .

38 RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCLEA↗

DOE OSTI2021

DC Arc Incident Energy in Photovoltaic Systems: Methods for Evaluation

Renewable energy systems continue to be one of the fastest growing segments of the energy industry. This article focuses on the understanding of how photovoltaic (PV) technology behaves under dc arc conditions. Emphasis is placed on the electrical safety aspect of dc arc-flash incident energy (IE) evaluation. Because of the fast proliferation of PV systems and lack of formal equivalent calculation guidelines, such as IEEE 1584 for ac systems, it has been necessary to rely on different equations and models presented by various researchers over the last few years. This article discusses the behavior of PV systems under arc conditions and presents the results of the available methods to estimate the dc arc-flash IE. It provides a comparative analysis of a proposed arc-flash IE calculation method against different laboratory tests, including those performed for this article at the National Renewable Energy Laboratory (NREL). Detailed explanations are provided regarding the effect of the PV module current-voltage (I-V) and power-voltage (P-V) curves under arcing conditions. Examples of the application of the proposed calculation method to the test measurements are included.

arc discharges↗

DOE OSTI2021

Methods for Evaluating DC Arc Incident Energy in PV Systems: Preprint

Renewable energy systems continue to be one of the fastest growing segments of the energy industry. This paper focuses on the understanding of how photovoltaic (PV) technology behaves under dc arc conditions. Emphasis is placed on the electrical safety aspect of DC arc flash incident energy evaluation. Because of the fast proliferation of PV systems and the lack of formal equivalent calculation guidelines such as IEEE 1584 for AC systems, it has been necessary to rely on different equations and models presented by various researchers over the last few years. This paper discusses the behavior of PV systems under arc conditions and presents the results of available methods to estimate the dc arc flash incident energy. This paper provides a comparative analysis of a proposed arc-flash incident energy calculation method against different laboratory tests including those performed by NREL. Detailed explanations are provided regarding the effect of PV module I-V and P-V curves under arcing conditions. Examples of the application of the proposed calculation method to the test measurements are included.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

DOE OSTI2025

Interactive multiscale modeling to bridge atomic properties and electrochemical performance in Li-CO 2 battery design

Li-CO 2 batteries are promising energy storage systems due to their high theoretical energy density and CO 2 fixation capability, relying on reversible Li 2 CO 3 /C formation during discharge/charge cycles. Here, we present a multiscale modeling framework integrating Density Functional Theory (DFT), Ab-Initio Molecular Dynamics (AIMD), classical Molecular Dynamics (MD), and Finite Element Analysis (FEA) to investigate atomic and cell-level properties. The considered Li-CO 2 battery consists of a lithium metal anode, an ionic liquid electrolyte, and a carbon cloth cathode with Sb 0.67 Bi 1.33 Te 3 catalyst. DFT and AIMD determined the electrical conductivities of Sb 0.67 Bi 1.33 Te 3 and Li 2 CO 3 using the Kubo–Greenwood formalism and studied the CO 2 reduction mechanism on the cathode catalyst. MD simulations calculated the CO 2 diffusion coefficient, Li + transference number, ionic conductivity, and Li + solvation structure. The FEA model, parameterized with atomistic simulation data, reproduced the available experimental voltage–capacity profile at 1 mA/cm 2 and revealed spatio-temporal variations in Li 2 CO 3 /C deposition, porosity, and CO 2 concentration dependence on discharge rates in the cathode. Accordingly, Li 2 CO 3 can form large and thin film deposits, leading to dispersed and local porosity changes at 0.1 mA/cm 2 and 1 mA/cm 2 , respectively. The capacity decreases exponentially from 81,570 mAh/g at 0.1 mA/cm 2 to 6200 mAh/g at 1 mA/cm 2 , due to pore clogging from excessive discharge product deposition that limits CO 2 transport to the cathode interior. Therefore, the performance of Li-CO 2 batteries can be improved by enhancing CO 2 transport, regulating Li 2 CO 3 deposition, and optimizing cathode architecture.

Battery performance↗

DOE OSTI2025

Semiclassical transition state theory through the lens of the restricted partition function

The wide adoption of transition state theory in resolving the rates of molecular processes relies on the simplification from reducing the formal and numerical expense of dynamics by a geometric constraint. Such a reduction is at odds with the uncertainty in localization that the uncertainty principle requires. While many forms of semiclassical transition state theory (SCTST) have been aimed at addressing this challenge, a popular approach has relied on resolving the underlying phase space structure of the exact rate formula to leverage Bohr–Sommerfeld quantization. Here, the Hernandez–Miller SCTST reframed the thermal rate formula into an integral of the so-called restricted partition function (RPF) over the action associated with the reaction. The density-of-state SCTST has reframed the rate formula in terms of the instanton’s density of states (DoS). Here, we show the relationship between the RPF-SCTST and the DoS-SCTST and derive the latter from the former. In this way, we help unify these branches of SCTST and provide a clearer formalism for future advances.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2020

Quantification of High-Temperature Transition Al2O3 and Their Phase Transformations

High temperature exposure of ?-Al2O3 can lead to a series of polymorphic transformations, including the formation of ?-Al2O3 and ?-Al2O3. Quantification of the microstructure in the ?/?-Al2O3 formation range represents a formidable challenge as both phases accommodate a high degree of structural disorder. In this work, we explore the use of XRD recursive stacking formalism for quantification of high temperature transition aluminas. We formulate the recursive stacking methodology for modelling of disorder in ?-Al2O3 and twinning in ?-Al2O3 and show that explicitly accounting for the disorder is necessary to reliably model the XRD patterns of high temperature transition alumina. In the second part, we use the recursive stacking approach to study phase transformation during high temperature (1050 ºC) treatment. We show that the two different intergrowth modes of ?-Al2O3 have different transformation characteristics, and that a significant portion of ?-Al2O3 is stabilized with ?-Al2O3 even after prolonged high-temperature exposures. In discussions, we outline the limitation of the current XRD approach and discuss a possible multimodal XRD and NMR approach which can improve analysis of complex transition aluminas. This work was performed in the Wiley Environmental Molecular Sciences Laboratory (EMSL), a national scientific user facility sponsored by DOEs Office of Biological and Environmental Research and located at PNNL. The work was supported by the U.S. Department of Energy (DOE), Office of Basic Energy Sciences, Division of Chemical Sciences, Geosciences, and Biosciences.

Kovarik, Libor↗

DOE OSTI2025

Joint Factorization of QCD and QED Radiation in Lepton-Hadron Scattering

The factorization theorem plays an important role in the analysis of high energy quantum chromodynamic (QCD) processes, separating the nonperturbative hadronic interaction into the universal parton distribution functions (PDFs) and fragmentation functions (FFs) and the process-dependent interactions into short distance perturbative calculations, with any interference power suppressed. With a virtual photon exchange, lepton-hadron deep inelastic scattering (DIS) provides an electromagnetic hard probe for the partonic structure of colliding hadrons and has played an important role in the development of QCD factorization. However, the collision induced QED radiation can change the momentum of the exchanged but unobserved virtual photon, making the photon-hadron frame, where the factorization formalism for DIS and semi-inclusive DIS (SIDIS) was derived, ill defined. A new analogous factorization approach has been introduced to separate the leading power process-independent QED radiative contributions to the single photon exchange by introducing lepton distribution functions (LDFs) and lepton fragmentation functions (LFFs), while process-dependent effects are perturbatively calculated with large logarithms removed [J. High Energ. Phys. 2021, 157 (2021)]. These LDFs and LFFs are considered global, as they appear in many different interactions, such as e+e-, DIS and SIDIS, so data from experiments can be used to fit and describe these functions across a wide range of lepton scattering. In this work, I will apply this new hybrid factorization approach to lepton-hadron DIS and SIDIS. For DIS, I derive the NLO short distance perturbative contribution to the cross section and demonstrate the effects the QED radiation has on the cross section using this approach using the CTEQ parameterization for the QCD functions. As part of the SIDIS analysis, I study the cross-section in two different kinematic regions: (1) the scattered lepton and observed hadron are not near back-to-back, and (2) they are close to back-to-back, where collinear QCD factorization works for (1) and TMD QCD factorization for (2) while collinear QED factorization works for both. As part of this work, I show the effects on the SIDIS cross section using fixed order calculations for the unpolarized structure function by first showing the effect of the radiative corrections on the main kinematic variables, especially how the internal transverse momentum is significantly correlated to the external angular dependence, and then the unpolarized structure function (or cross section) with matching between the descriptions for low and high transverse momentum. This work will impact the calculations for predictions for data from COMPASS and various Jefferson Lab experiments.

Cammarota, Justin [Univ. of Kentucky, Lexington, K↗

DOE OSTI2020

The tensor t‐function: A definition for functions of third‐order tensors

Summary A definition for functions of multidimensional arrays is presented. The definition is valid for third‐order tensors in the tensor t‐product formalism, which regards third‐order tensors as block circulant matrices. The tensor function definition is shown to have similar properties as standard matrix function definitions in fundamental scenarios. To demonstrate the definition's potential in applications, the notion of network communicability is generalized to third‐order tensors and computed for a small‐scale example via block Krylov subspace methods for matrix functions. A complexity analysis for these methods in the context of tensors is also provided.

Lund, Kathryn↗

DOE OSTI2020

Comparing light-front quantization with instant-time quantization

Here in this paper we compare light-front quantization and instant-time quantization both at the level of operators and at the level of their Feynman diagram matrix elements. At the level of operators light-front quantization and instant-time quantization lead to equal light-front time commutation (or anticommutation) relations that appear to be quite different from equal instant-time commutation (or anticommutation) relations. Despite this we show that at unequal times instant-time and light-front commutation (or anticommutation) relations actually can be transformed into each other, with it only being the restriction to equal times that makes the commutation (or anticommutation) relations appear to be so different. While our results are valid for both bosons and fermions, for fermions there are subtleties associated with tip of the light cone contributions that need to be taken care of. At the level of Feynman diagrams we show for non-vacuum Feynman diagrams that the pole terms in four-dimensional light-front Feynman diagrams reproduce the widely used three-dimensional light-front on-shell Hamiltonian Fock space formulation in which the light-front energy and light-front momentum are on shell. Moreover, we show that the contributions of pole terms in non-vacuum instant-time and non-vacuum light-front Feynman diagrams are equal. However, because of circle at infinity contributions we show that this equivalence of pole terms fails for four-dimensional light-front vacuum tadpole diagrams. Then, and precisely because of these circle at infinity contributions, we show that light-front vacuum tadpole diagrams are not only nonzero, they quite remarkably are actually equal to the pure pole term instant-time vacuum tadpole diagrams. Light-front vacuum diagrams are not correctly describable by the on-shell Hamiltonian formalism, and thus not by the closely related infinite momentum frame prescription either. Thus for the light-front vacuum sector we must use the off-shell Feynman formalism as it contains information that is not accessible in the on-shell Hamiltonian Fock space approach. We show that light-front quantization is intrinsically nonlocal, and that for fermions this nonlocality is present in Ward identities. One can project fermion spinors into so-called good and bad components, and both of these components contribute in Ward identities. Central to our analysis is that the transformation from instant-time coordinates and fields to light-front coordinates and fields is a unitary, spacetime-dependent translation. Consequently, not only are instant-time quantization and light-front quantization equivalent, because of general coordinate invariance they are unitarily equivalent.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

DOE OSTI2021

An Assessment of Global Positioning System Velocity Uncertainty in California

We analyze data from 580 continuous global positioning system (GPS) stations in California to quantify differences in published velocity estimates from five analysis centers. Horizontal and vertical rates for individual stations can differ up to 5 mm/yr, with systematic differences in some areas comparable to deformation rates. Published velocity uncertainties vary between analysis centers and are systematically underreported in the horizontal relative to empirical uncertainties calculated from the scatter of analysis center velocities. In the vertical, published velocity uncertainties are both over and underreported and vary more widely between centers. An interpolated ensemble vertical velocity field shows high-subsidence regions in the Central Valley and Salton Trough have the largest empirical uncertainties, while station density has a modest impact on uncertainties. Applications that rely on subcentimeter GPS accuracy should consider the possibility that formal errors published with velocity rate estimates understate true velocity uncertainties in both the horizontal and vertical.

54 ENVIRONMENTAL SCIENCES↗

DOE OSTI2020

Status of the KRUSTY Benchmark Modeling and Uncertainty Analysis

The U.S. National Aeronautics and Space Administration’s (NASA) desire for a small nuclear reactor for space applications led to a prototype assembly, Kilopower Reactor Using Stirling Technology (KRUSTY). The KRUSTY experiments included four phases: component critical, cold critical, warm critical, and high temperature. The KRUSTY benchmark described in this paper includes five configurations from the component critical experiments that were performed at the National Criticality Experiments Research Center (NCERC) beginning in November 2017. Preliminary results have been reported. The benchmark is now nearing completion (although it is still preliminary until formally accepted by the International Criticality Safety Benchmark Evaluation Project [ICSBEP] working group). In this paper, we present the updated benchmark and its uncertainties. These results were computed using MCNP6.2 ® with ENDF/B-VIII.0 cross sections.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

DOE OSTI2023

Modeling Short-Range Order in Disordered Rocksalt Cathodes by Pair Distribution Function Analysis

Pair distribution function (PDF) analysis is a powerful technique for the characterization of short-range order (SRO) in disordered materials. Accurate interpretation of experimental PDF data is critically reliant on the development of structural models that can account for local variations in site occupancies and bond lengths. To this end, we outline an approach to model SRO using first-principles calculations based on the cluster-expansion formalism. These methods are validated on neutron scattering data from two disordered rocksalt oxyfluorides, Li 1.3 Mn 0.4 Ti 0.3 O 1.7 F 0.3 and Li 1.3 Mn 0.4 Nb 0.2 Ti 0.1 O 1.7 F 0.3 . For each composition, we demonstrate that an average structure without any SRO fails to reproduce several key features in the experimental PDF. To pinpoint the origin of the suspected SRO in these materials, configurational and displacive effects were separately investigated using two disparate models. Special quasi-random structures were relaxed using density functional theory to account for local changes in bond lengths while maintaining a near-random ionic configuration. This leads to slightly improved accuracy but still misrepresents asymmetry in the first few peaks of the PDF. Monte Carlo simulations were performed to model configurational SRO on a fixed lattice, which by itself is shown to have a minimal influence on the PDF. Instead, we find that it is the bond length relaxations within environments created by SRO which controls the details of the PDF, thereby highlighting the subtle but important coupling between configurational and displacive SRO in disordered materials.

36 MATERIALS SCIENCE↗

DOE OSTI2025

Analysis of Two Models for the Angular Structure of the Outflows Producing the Swift/XRT “Larger-angle Emission” of Gamma-Ray Bursts

The quasi-instantaneous emission from a relativistic surface endowed with a Lorentz factor that decreases away from the outflow symmetry axis can naturally explain the three phases observed by Swift X-Ray Telescope (XRT) in gamma-ray bursts (GRBs) and their afterglows (GRB tail, afterglow plateau, and postplateau) based only on the angular change of the relativistic Doppler boost across the outflow surface. We develop further the analytical formalism of the “larger-angle emission” model for the case of “n-exponential” outflows (where the Lorentz factor Γ dependence of the angular location θ is Γ ~ exp{-(θ/θ c ) n }), and compare its ability to account for the X-ray emission of XRT afterglows relative to that of “power-law” outflows (Γ ∼ θ −g ). Power-law outflows yield longer afterglow plateaus, followed by slower postplateau flux decays than n-exponential outflows, features which may be used in identifying which type of angular structure is at work in a given afterglow. Identifying the Γ(θ) angular structure that accommodates XRT light curves is slightly complicated by the fact that the afterglow X-ray light curve is also determined by how two characteristics of the comoving-frame emission spectrum (peak energy $E'_p$ and peak intensity $i'_p$) change with the angular location or, equivalently, with the Lorentz factor. Here, we assume power-law Γ dependences of those spectral characteristics and find that, unlike power-law outflows, n-exponential outflows cannot account for plateaus with a temporal dynamical range larger than 100 (2 dex in logarithmic space). To capture all the information contained in XRT afterglow measurements (0.3–10 keV unabsorbed flux and effective spectral slope), we calculate 0.3 and 10 keV light curves using a broken-power-law emission spectrum of peak energy and low- and high-energy slopes that are derived from the effective slope measured by XRT. This economical peak energy determination is found to be consistent with the results of more expensive spectral fits. The angular distributions of the Lorentz factor, comoving frame peak energy, and peak intensity (Γ(θ), $E'_p$(θ), $i'_p$(θ)) constrain the (yet-to-be determined) convolution of various features of the production of relativistic jets by solar-mass black holes and of their propagation through the progenitor/circumburst medium, while the $E'_p$(Γ) and $i'_p$(Γ) dependences may constrain the GRB dissipation mechanism and the GRB emission process.

79 ASTRONOMY AND ASTROPHYSICS↗

DOE OSTI2020

Nonequilibrium steady state and heat transport in nonlinear open quantum systems: Stochastic influence action and functional perturbative analysis

In this paper, we show that a nonequilibrium steady state (NESS) exists at late times in open quantum systems with weak nonlinearity by following its nonequilibrium dynamics with a perturbative analysis. We consider an oscillator chain containing three-types of anharmonicity: cubic α- and quartic β-type Fermi–Pasta–Ulam–Tsingou (FPUT) nearest-oscillator interactions and the on-site (pinned) Klein–Gordon (KG) quartic self-interaction. Assuming weak nonlinearity, we introduce a stochastic influence action approach to the problem and obtain the energy flows in different junctures across the chain. The formal results obtained here can be used for quantum transport problems in weakly nonlinear quantum systems. For α-type anharmonicity, we observe that the first-order corrections do not play any role in the thermal transport in the NESS of the configuration we considered. For KG and β-types anharmonicity, we work out explicitly the case of two weakly nonlinearly coupled oscillators, with results scalable to any number of oscillators. We examine the late-time energy flows from one thermal bath to the other via the coupled oscillators, and show that both the zeroth- and the first-order contributions of the energy flows become constant in time at late times, signaling the existence of a late-time NESS to first order in nonlinearity. Our perturbative calculations provide a measure of the strength of nonlinearity for nonlinear open quantum systems, which may help control the mesoscopic heat transport distinct from or close to linear transport. Furthermore, our results also give a benchmark for the numerical challenge of simulating heat transport. Our setup and predictions can be implemented and verified by investigating heat flow in an array of Josephson junctions in the limit of large Josephson energy with the platform of circuit QED.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

DOE OSTI2024

A = 3 ( e , e ' ) x B ≥ 1 cross-section ratios and the isospin structure of short-range correlations

We study the relation between measured high-x B , high-Q 2 , helium-3 to tritium, (e,e') inclusive-scattering cross-section ratios and the relative abundance of high-momentum neutron-proton (np) and proton-proton (pp) short-range correlated (SRC) nucleon pairs in three-body (A=3) nuclei. In this study, analysis of this data using a simple pair-counting cross-section model suggested a much smaller np/pp ratio than previously measured in heavier nuclei, questioning our understanding of A=3 nuclei and, by extension, all other nuclei. Here we examine this finding using spectral-function-based cross-section calculations, with both an ab initio A=3 spectral function and effective Generalized Contact Formalism (GCF) spectral functions using different nucleon-nucleon interaction models. The ab initio calculation agrees with the data, showing good understanding of the structure of A=3 nuclei. An 8% uncertainty on the simple pair-counting model, as implied by the difference between it and the ab initio calculation, gives a factor of 5 uncertainty in the extracted np/pp ratio. Thus we see no evidence for the claimed "unexpected structure in the high-momentum wavefunction for hydrogen-3 and helium-3."

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

DOE OSTI2021

Atacama Cosmology Telescope: Combined kinematic and thermal Sunyaev-Zel’dovich measurements from BOSS CMASS and LOWZ halos

The scattering of cosmic microwave background (CMB) photons off the free-electron gas in galaxies and clusters leaves detectable imprints on high resolution CMB maps: the thermal and kinematic Sunyaev-Zel’dovich effects (tSZ and kSZ respectively). We use combined microwave maps from the Atacama Cosmology Telescope DR5 and Planck in combination with the CMASS (mean redshift $\langle z \rangle$ = 0.55 and host halo mass $\langle M_{vir} \rangle$ = 3 × 10 13 M ⊙ ) and LOWZ ( $\langle z \rangle$ = 0.31 , $\langle M_{vir} \rangle$ = 5 × 10 13 M ⊙ ) galaxy catalogs from the Baryon Oscillation Spectroscopic Survey (BOSS DR10 and DR12), to study the gas associated with these galaxy groups. Using individual reconstructed velocities, we perform a stacking analysis and reject the no-kSZ hypothesis at 6.5σ, the highest significance to date. This directly translates into a measurement of the electron number density profile, and thus of the gas density profile. Despite the limited signal to noise, the measurement shows at high significance that the gas density profile is more extended than the dark matter density profile, for any reasonable baryon abundance (formally > 90 σ for the cosmic baryon abundance). We simultaneously measure the tSZ signal, i.e., the electron thermal pressure profile of the same CMASS objects, and reject the no-tSZ hypothesis at 10σ. We combine tSZ and kSZ measurements to estimate the electron temperature to 20% precision in several aperture bins, and find it comparable to the virial temperature. In a companion paper, we analyze these measurements to constrain the gas thermodynamics and the properties of feedback inside galaxy groups. We present the corresponding LOWZ measurements in this paper, ruling out a null kSZ (tSZ) signal at 2.9 (13.9) σ , and leave their interpretation to future work. This paper and the companion paper demonstrate that current CMB experiments can detect and resolve gas profiles in low mass halos and at high redshifts, which are the most sensitive to feedback in galaxy formation and the most difficult to measure any other way. They will be a crucial input to cosmological hydrodynamical simulations, thus improving our understanding of galaxy formation. These precise gas profiles are already sufficient to reduce the main limiting theoretical systematic in galaxy-galaxy lensing: baryonic uncertainties. Future such measurements will thus unleash the statistical power of weak lensing from the Rubin, Euclid and Roman observatories. Finally, our stacking software ThumbStackis publicly available and directly applicable to future Simons Observatory and CMB-S4 data.

79 ASTRONOMY AND ASTROPHYSICS↗

DOE OSTI2020

Attractive Effect of a Strong Electronic Repulsion: The Physics of Vertex Divergences

While the breakdown of the perturbation expansion for the many-electron problem has several formal consequences, here we unveil its physical effect: flipping the sign of the effective electronic interaction in specific scattering channels. By decomposing local and uniform susceptibilities of the Hubbard model via their spectral representations, we prove how entering the nonperturbative regime causes an enhancement of the charge response, ultimately responsible for the phase-separation instabilities close to the Mott metal-insulator transition. Furthermore, our analysis opens a new route for understanding phase transitions in the nonperturbative regime and clarifies why attractive effects emerging from a strong repulsion can induce phase separations but not s-wave pairing or charge-density wave instabilities.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗