Search NASA⌕ Search

SEARCH · Search NASA

Results for “Proving”

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 91 records · Page 5

Noisy quantum trees: infinite protection without correction

We study quantum networks with tree structures, in which information propagates from a root to leaves. At each node in the network, the received qubit unitarily interacts with fresh ancilla qubits, after which each qubit is sent through a noisy channel to a different node in the next level. Therefore, as the tree depth grows, there is a competition between the irreversible effect of noise and the protection against such noise achieved by the delocalization of information. In the classical setting, where each node simply copies the input bit into multiple output bits, this model has been studied as the broadcasting or reconstruction problem on trees, which has broad applications. In this work, we study the quantum version of this problem. We consider a Clifford encoder at each node that encodes the input qubit in a stabilizer code, along with a single qubit Pauli noise channel at each edge. Such noisy quantum trees describe a scenario in which one has access to a stream of fresh (low-entropy) ancilla qubits, but cannot perform error correction. Therefore, they provide a different perspective on quantum fault tolerance. Furthermore, they provide a useful model for describing the effect of noise within the encoders of concatenated codes. We prove that above certain noise thresholds, which depend on the properties of the code such as its distance, as well as the properties of the encoder, information decays exponentially with the depth of the tree. On the other hand, by studying certain efficient decoders, we prove that for codes with distance d ≥ 2 and for sufficiently small (but non-zero) noise, classical information and entanglement propagate over a noisy tree with infinite depth. Indeed, we find that this remains true even for binary trees with certain 2-qubit encoders at each node, which encodes the received qubit in the binary repetition code with distance d = 1.

Quantum information↗

Aluminosilicate-mediated C(sp 2 )–H alkylation of furans using allylic alcohols

Alkyl furans have a variety of applications and therefore numerous approaches exist for their synthesis. While these methods can be effective, there are various drawbacks largely associated with the waste generated. Herein we report a novel method for the direct coupling of readily available furans with allylic alcohols. These include terpenoid alcohols such as geraniol and prenol, which are readily available from renewable, bio-derived feedstocks. Furthermore, the reaction is facilitated using aluminosilicates, including zeolites. It was found that Y-type zeolites were highly effective at mediating the coupling with furan, giving the 2-alkylated furan high yields. While various allylic alcohols were effective for this reaction, the identity of the furan proved to have a drastic impact on reactivity. For substituted furans, the reaction proved most effective with an amorphous aluminosilicate and calculations later revealed potential key factors in further developing and generalizing this methodology.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Quantification of MagLIF morphology using the Mallat scattering transformation

The morphology of the stagnated plasma resulting from magnetized liner inertial fusion is measured by imaging the self-emission x rays coming from the multi-keV plasma. Equivalent diagnostic responses can be generated by integrated radiation-magnetohydrodynamic (rad-MHD) simulations from programs such as HYDRA and GORGON. There have been only limited quantitative ways to compare the image morphology, that is the texture, of simulations and experiments. We have developed a metric of image morphology based on the Mallat scattering transformation (MST), a transformation that has proved to be effective at distinguishing textures, sounds, and written characters. This metric is designed, demonstrated, and refined by classifying ensembles (i.e., classes) of synthetic stagnation images and by regressing an ensemble of synthetic stagnation images to the morphology (i.e., model) parameters used to generate the synthetic images. We use this metric to quantitatively compare simulations to experimental images, experimental images to each other, and to estimate the morphological parameters of the experimental images with uncertainty. This coordinate space has proved to be very adept at doing a sophisticated relative background subtraction in the MST space. This was needed to compare the experimental self-emission images to the rad-MHD simulation images.

Glinsky, Michael E. (ORCID:0000000324933326)↗

Load dynamics of double planar foil liners and double planar wire arrays on the UM MAIZE LTD generator

In previous studies using the University of Nevada, Reno's (UNR's) high-impedance Zebra Marx generator (1.9 Ω, 1.7 MA, 100 ns), Double Planar Wire Arrays (DPWAs) proved to be excellent radiators, and Double Planar Foil Liners (DPFLs) proved useful for future inertial confinement fusion applications. This article presents the results of joint UNR/UM (University of Michigan) experiments with aluminum (Al) DPWAs, Al DPFLs, and tungsten (W) DPWAs using UM's Michigan Accelerator for Inductive Z-Pinch Experiments (MAIZE) generator, a low-impedance Linear Transformer Driver (LTD) (0.1 Ω, 0.5–1 MA, and 100–250 ns). The main goals of this study were twofold: the first was a pioneering effort to test whether a relatively heavy Al DPFL could successfully be imploded on a low-impedance university-scale LTD like the MAIZE generator, and, if so, to analyze the results and make comparisons to the optimized, lighter DPWA configurations that have been previously studied. The DPWAs consisted of two planes of micrometer-scale diameter Al or W wires, while the DPFLs consisted of two planes of micrometer-scale thickness Al foils. Diagnostics include filtered Si-diodes, an absolutely calibrated filtered PCD, x-ray pinhole cameras, spectrometers, and gated optical self-emission imaging. The implosion dynamics and radiative properties of Al DPWAs and DPFLs and W DPWAs on the MAIZE LTD are discussed and compared. Time-dependent load inductance calculations derived from measurements of the load current and a MAIZE circuit model provide a relative measurement of pinch strength. In experiments on MAIZE, W planar wire arrays exhibited a higher peak load inductance throughout the pinch than Al DPWAs and DPFLs, while x-ray pulses from Al DPFLs had the longest emission duration.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Normal stability of slow manifolds in nearly periodic Hamiltonian systems

Kruskal [J. Math. Phys. 3, 806 (1962)] showed that each nearly periodic dynamical system admits a formal U(1) symmetry, generated by the so-called roto-rate. We prove that such systems also admit nearly invariant manifolds of each order, near which rapid oscillations are suppressed. We study the nonlinear normal stability of these slow manifolds for nearly periodic Hamiltonian systems on barely symplectic manifolds—manifolds equipped with closed, non-degenerate 2-forms that may be degenerate to leading order. In particular, we establish a sufficient condition for long-term normal stability based on second derivatives of the well-known adiabatic invariant. We use these results to investigate the problem of embedding guiding center dynamics of a magnetized charged particle as a slow manifold in a nearly periodic system. Here, we prove that one previous embedding and two new embeddings enjoy long-term normal stability and thereby strengthen the theoretical justification for these models.

97 MATHEMATICS AND COMPUTING↗

BCFW tilings and cluster adjacency for the amplituhedron

In 2005, Britto, Cachazo, Feng, and Witten gave a recurrence (now known as the BCFW recurrence) for computing scattering amplitudes in N = 4 super Yang–Mills theory. Arkani-Hamed and Trnka subsequently introduced the amplituhedron to give a geometric interpretation of the BCFW recurrence. Arkani-Hamed and Trnka conjectured that each way of iterating the BCFW recurrence gives a “triangulation” or “tiling” of the m=4 amplituhedron. In this article, we prove the BCFW tiling conjecture of Arkani-Hamed and Trnka. We also prove the cluster adjacency conjecture for BCFW tiles of the amplituhedron, which says that facets of tiles are cut out by collections of compatible cluster variables for the Grassmannian Gr4,n. Moreover we show that each BCFW tile is the subset of the Grassmannian where certain cluster variables have particular signs.

97 MATHEMATICS AND COMPUTING↗

On unifying randomized methods for inverse problems

This work unifies the analysis of various randomized methods for solving linear and nonlinear inverse problems with Gaussian priors by framing the problem in a stochastic optimization setting. By doing so, we show that many randomized methods are variants of a sample average approximation (SAA). More importantly, we are able to prove a single theoretical result that guarantees the asymptotic convergence for a variety of randomized methods. Additionally, viewing randomized methods as an SAA enables us to prove, for the first time, a single non-asymptotic error result that holds for randomized methods under consideration. Another important consequence of our unified framework is that it allows us to discover new randomization methods. Here, we present various numerical results for linear, nonlinear, algebraic, and PDE-constrained inverse problems that verify the theoretical convergence results and provide a discussion on the apparently different convergence rates and the behavior for various randomized methods.

42 ENGINEERING↗

Design and performance of the first IceAct demonstrator at the South Pole

Here in this paper we describe the first results of IceAct, a compact imaging air-Cherenkov telescope operating in coincidence with the IceCube Neutrino Observatory (IceCube) at the geographic South Pole. An array of IceAct telescopes (referred to as the IceAct project) is under consideration as part of the IceCube-Gen2 extension to IceCube. Surface detectors in general will be a powerful tool in IceCube-Gen2 for distinguishing astrophysical neutrinos from the dominant backgrounds of cosmic-ray induced atmospheric muons and neutrinos: the IceTop array is already in place as part of IceCube, but has a high energy threshold. Although the duty cycle will be lower for the IceAct telescopes than the present IceTop tanks, the IceAct telescopes may prove to be more effective at lowering the detection threshold for air showers. Additionally, small imaging air-Cherenkov telescopes in combination with IceTop, the deep IceCube detector or other future detector systems might improve measurements of the composition of the cosmic ray energy spectrum. In this paper we present measurements of a first 7-pixel imaging air Cherenkov telescope demonstrator, proving the capability of this technology to measure air showers at the South Pole in coincidence with IceTop and the deep IceCube detector.

47 OTHER INSTRUMENTATION↗

Xenon doping of liquid argon in ProtoDUNE single phase

The Deep Underground Neutrino Experiment (DUNE) will be the next generation long-baseline neutrino experiment. The far detector is designed as a complex of four LAr-TPC (Liquid Argon Time Projection Chamber) modules with 17 kt of liquid argon each. The development and validation of the first far detector technology is pursued through ProtoDUNE Single Phase (ProtoDUNE-SP), a 770 t LAr-TPC at CERN Neutrino Platform. Crucial in DUNE is the photon detection system that will ensure the trigger of non-beam events — proton decay, supernova neutrino burst and BSM searches — and will improve the timing and calorimetry for neutrino beam events. Doping liquid argon with xenon is a known technique to shift the light emitted by argon (128 nm) to a longer wavelength (178 nm) to ease its detection. The largest xenon doping test ever performed in a LAr-TPC was carried out in ProtoDUNE-SP. From February to May 2020, a gradually increasing amount of xenon was injected to also compensate for the light loss due to air contamination. The response of such a large TPC has been studied using the ProtoDUNE-SP Photon Detection System (PDS) and a dedicated setup installed before the run. With the first it was possible to study the light collection efficiency with respect to the track position, while with the second it was possible to distinguish the xenon light (178 nm) from the LAr light (128 nm). The light shifting mechanism proved to be highly efficient even at small xenon concentrations (<20 ppm in mass) furthermore it allowed recovering the light quenched by pollutants. The light collection improved far from the detection plane, enhancing the photon detector response uniformity along the drift direction and confirming a longer Rayleigh scattering length for 178 nm photons, with respect to 128 nm ones. The charge collection by the TPC was monitored proving that xenon up to 20 ppm does not impact its performance.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Signal formation and sharing in AC-LGADs using the ALTIROC 0 front-end chip

The development of detectors that provide high resolution in four dimensions has attracted wide-spread interest in the scientific community for applications in high-energy physics, nuclear physics, medical imaging, mass spectroscopy as well as quantum information. However, finding a technology capable of fulfilling such aspiration proved to be an arduous task. Among other silicon-based candidates, the Low-Gain Avalanche Diode (LGAD) has already shown excellent timing performances but proved to be unsuitable for fine pixelization. Therefore, the AC-coupled LGAD (AC-LGAD) approach was introduced to provide high resolution in both time and space, making it a promising candidate for future 4D detectors. However, appropriate readout electronics must be developed to match the sensor's fast-time and fine-pitch capabilities. This is currently a major technological challenge. Here, we test AC-LGAD prototypes read out by the fast-time ASIC ALTIROC 0, originally developed for the readout of DC-coupled LGADs for the ATLAS experiment at the High Luminosity-LHC. Signal generated by either betas from a 90 Sr source or a focused infra-red laser were analyzed. This paper details the first successful readout of an AC-LGAD sensor using a readout chip. This result will pave the way for the design and construction of a new generation of AC-LGAD-based 4D detectors.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Effective rationality for local unitary invariants of mixed states of two qubits

Abstract We calculate the field of rational local unitary invariants for mixed states of two qubits, by employing methods from algebraic geometry. We prove that this field is rational (i.e. purely transcendental), and that it is generated by nine algebraically independent polynomial invariants. We do so by constructing a relative section, in the sense of invariant theory, whose Weyl group is a finite abelian group. From this construction, we are able to give explicit expressions for the generating invariants in terms of the Bloch matrix representation of mixed states of two qubits. We also prove similar rationality results for the local unitary invariants of symmetrically mixed states of two qubits. We also provide a sketch of how to generalize our results to the case of an arbitrary number of qubits. Our results apply to both complex-valued and real-valued invariants.

Physics↗

The 𝑚=2 amplituhedron and the hypersimplex: Signs, clusters, tilings, Eulerian numbers

The hypersimplex Δ <#comment/> k + 1 , n \Delta _{k+1,n} is the image of the positive Grassmannian G r k + 1 , n ≥ <#comment/> 0 Gr^{\geq 0}_{k+1,n} under the moment map. It is a polytope of dimension n − <#comment/> 1 n-1 in R n \mathbb {R}^n . Meanwhile, the amplituhedron A n , k , 2 ( Z ) \mathcal {A}_{n,k,2}(Z) is the projection of the positive Grassmannian G r k , n ≥ <#comment/> 0 Gr^{\geq 0}_{k,n} into the Grassmannian G r k , k + 2 Gr_{k,k+2} under a map Z ~ <#comment/> \tilde {Z} induced by a positive matrix Z ∈ <#comment/> M a t n , k + 2 > 0 Z\in Mat_{n,k+2}^{>0} . Introduced in the context of scattering amplitudes , it is not a polytope, and has full dimension 2 k 2k inside G r k , k + 2 Gr_{k,k+2} . Nevertheless, there seem to be remarkable connections between these two objects via T-duality , as conjectured by Łukowski, Parisi, and Williams [Int. Math. Res. Not. (2023)]. In this paper we use ideas from oriented matroid theory, total positivity, and the geometry of the hypersimplex and positroid polytopes to obtain a deeper understanding of the amplituhedron. We show that the inequalities cutting out positroid polytopes —images of positroid cells of G r k + 1 , n ≥ <#comment/> 0 Gr^{\geq 0}_{k+1,n} under the moment map—translate into sign conditions characterizing the T-dual Grasstopes —images of positroid cells of G r k , n ≥ <#comment/> 0 Gr^{\geq 0}_{k,n} under Z ~ <#comment/> \tilde {Z} . Moreover, we subdivide the amplituhedron into chambers , just as the hypersimplex can be subdivided into simplices, with both chambers and simplices enumerated by the Eulerian numbers. We use these properties to prove the main conjecture of Łukowski, Parisi, and Williams [Int. Math. Res. Not. (2023)]: a collection of positroid polytopes is a tiling of the hypersimplex if and only if the collection of T-dual Grasstopes is a tiling of the amplituhedron A n , k , 2 ( Z ) \mathcal {A}_{n,k,2}(Z) for all Z Z . Moreover, we prove Arkani-Hamed–Thomas–Trnka’s conjectural sign-flip characterization of A n , k , 2 \mathcal {A}_{n,k,2} , and Łukowski–Parisi–Spradlin–Volovich’s conjectures on m = 2 m=2 cluster adjacency and on positroid tiles for A n , k , 2 \mathcal {A}_{n,k,2} (images of 2 k 2k -dimensional positroid cells which map injectively into A n , k , 2 \mathcal {A}_{n,k,2} ). Finally, we introduce new cluster structures in the amplituhedron.

Parisi, Matteo↗

Quartet-based inference is statistically consistent under the unified duplication-loss-coalescence model

Abstract Motivation The classic multispecies coalescent (MSC) model provides the means for theoretical justification of incomplete lineage sorting-aware species tree inference methods. This has motivated an extensive body of work on phylogenetic methods that are statistically consistent under MSC. One such particularly popular method is ASTRAL, a quartet-based species tree inference method. Novel studies suggest that ASTRAL also performs well when given multi-locus gene trees in simulation studies. Further, Legried et al. recently demonstrated that ASTRAL is statistically consistent under the gene duplication and loss model (GDL). GDL is prevalent in evolutionary histories and is the first core process in the powerful duplication-loss-coalescence evolutionary model (DLCoal) by Rasmussen and Kellis. Results In this work, we prove that ASTRAL is statistically consistent under the general DLCoal model. Therefore, our result supports the empirical evidence from the simulation-based studies. More broadly, we prove that the quartet-based inference approach is statistically consistent under DLCoal. Supplementary information Supplementary data are available at Bioinformatics online.

59 BASIC BIOLOGICAL SCIENCES↗

Kinetic and substrate complex characterization of RamA, a corrinoid protein reductive activase from Methanosarcina barkeri

ABSTRACT In microbial corrinoid-dependent methyltransferase systems, adventitious Co(I)-corrinoid oxidation halts catalysis and necessitates repair by ATP-dependent reductive activases. RamA, an activase with a C-terminal ferredoxin domain with two [4Fe-4S] clusters from methanogenic archaea, has been far less studied than the bacterial activases bearing an N-terminal ferredoxin domain with one [2Fe-2S] cluster. These differences suggest RamA might prove to have other distinctive characteristics. Here, we examine RamA kinetics and the stoichiometry of the corrinoid protein:RamA complex. Like bacterial activases, K+ stimulates RamA. Potassium stimulation had been questioned due to differences in the primary structure of bacterial and methanogen activases. Unlike one bacterial activase, ATP is not inhibitory allowing the first determination of apparent kinetic parameters for any corrinoid activase. Unlike bacterial activases, a single RamA monomer complexes a single corrinoid protein monomer. Alanine replacement of a RamA serine residue corresponding to the serine of one bacterial activase which ligates the corrinoid cobalt during complex formation led to only moderate changes in the kinetics of RamA. These results reveal new differences in the two types of corrinoid activases, and provide direct evidence for the proposal that corrinoid activases act as catalytic monomers, unlike other enzymes that couple ATP hydrolysis to difficult reductions.

Microbiology↗

Second-Phase Hepatitis C Plasma Viral Kinetics Directly Reflects Reduced Intrahepatic Burden of Hepatitis C Virus

Mathematical models explain how antivirals control viral infections. Hepatitis C virus (HCV) treatment results in at least 2 phases of decline in viremia. Here, the first phase reflects clearance of rapidly produced virions. The second phase is hypothesized to derive from loss of infected cells but has been challenging to prove. Using single-cell methods, we quantified the number of hepatitis C virus (HCV)-infected hepatocytes in liver biopsies taken before and within 7 days of initiating direct-acting antivirals (DAAs) in a double-blinded randomized controlled trial testing 2 (sofosbuvir-velpatasvir) versus 3 (sofosbuvir-velpatasvir-voxilaprevir) DAAs. We employed thousands of intrahepatic measurements in 10 persons with chronic genotype 1a HCV infection: median proportion of infected hepatocytes declined from 11.3% (range, 1.3%–59%) to 0.6% (range, <0.3%–5.8%), a loss of 75%–95% infected hepatocytes. Plasma viremia correlated with numbers of HCV-infected hepatocytes (r = 0.77; P < .0001). Second-phase plasma dynamics and changes in infected hepatocytes were indistinct (P = .16), demonstrating that second-phase viral dynamics derive from loss of infected cells. DAAs led to a decline in intracellular HCV RNA and interferon-stimulated gene expression (P < .05 for both). We proved that second-phase viral dynamics reflect decay of intrahepatic burden of HCV, partly due to clearance of HCV RNA from hepatocytes.

59 BASIC BIOLOGICAL SCIENCES↗

Structure of the Majorana Clifford group

In quantum information science, Clifford operators and stabilizer codes play a central role for systems of qubits (or qudits). In this study, we study their analogs for systems composed of Majorana fermions. In this case, a crucial role is played by fermion parity symmetry, which is an unbreakable symmetry present in any system with fundamentally fermionic degrees of freedom. We prove that the subgroup of parity-preserving Majorana Cliffords can be represented by the orthogonal group over the binary field 𝔽 2 , and we show how it can be generated by braiding operators and used to construct any (even-parity) Majorana stabilizer code. We also analyze the frame potential for this so-called p-Clifford group when acting on a fixed-parity sector of the Hilbert space, proving that it is equivalent to the frame potential of the ordinary Clifford group acting on the same sector.

Computational complexity↗

Progress toward favorable landscapes in quantum combinatorial optimization

The performance of variational quantum algorithms relies on the success of using quantum and classical computing resources in tandem. Here, we study how these quantum and classical components interrelate. In particular, we focus on algorithms for solving the combinatorial optimization problem MaxCut, and study how the structure of the classical optimization landscape relates to the quantum circuit used to evaluate the MaxCut objective function. In order to analytically characterize the impact of quantum features on the critical points of the landscape, we consider a family of quantum circuit ansätze composed of mutually commuting elements. We identify multiqubit operations as a key resource and show that overparameterization allows for obtaining favorable landscapes. Namely, we prove that an ansatz from this family containing exponentially many variational parameters yields a landscape free of local optima for generic graphs. However, we further prove that these ansätze do not offer superpolynomial advantages over purely classical MaxCut algorithms. Here, we then present a series of numerical experiments illustrating that noncommutativity and entanglement are important features for improving algorithm performance.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Foundations of variational discrete action theory

Variational wave functions and Green's functions are two important paradigms for solving quantum Hamiltonians, each having their own advantages. Here we detail the variational discrete action theory (VDAT), which exploits the advantages of both paradigms in order to approximately solve the ground state of quantum Hamiltonians. VDAT consists of two central components: the sequential product density matrix (SPD) ansatz and a discrete action associated with the SPD. The SPD is a variational ansatz inspired by the Trotter decomposition and characterized by an integer $\mathscr{N}$, recovering many well-known variational wave functions, in addition to the exact solution for $\mathscr{N}$ = ∞. The discrete action describes all dynamical information of an effective integer time evolution with respect to the SPD. We generalize the path integral to our integer time formalism, which converts a dynamic correlation function in integer time to a static correlation function in a compound space. We also generalize the usual many-body Green's function formalism to integer time, which results in analogous but distinct mathematical structures, yielding integer time versions of the generating functional, Dyson equation, and Bethe-Salpeter equation. We prove that the SPD can be exactly evaluated in the multiband Anderson impurity model (AIM) by summing a finite number of diagrams. For the multiband Hubbard model, we prove that the self-consistent canonical discrete action approximation (SCDA), which is the integer time analog of the dynamical mean-field theory, exactly evaluates the SPD for d = ∞. VDAT within the SCDA provides an efficient yet reliable method for capturing the local physics of quantum lattice models, which will have broad applications for strongly correlated electron materials. More generally, VDAT should find applications in various many-body problems in physics.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗