Search NASA⌕ Search

SEARCH · Search NASA

Results for “Invariants”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
DOE OSTI2016

Rephasing invariants of the Cabibbo-Kobayashi- Maskawa matrix

The paper is motivated by the importance of the rephasing invariance of the CKM (Cabibbo-Kobayashi-Maskawa) matrix observables. These observables appear in the discussion of the CP violation in the standard model (Jarlskog invariant) and also in the renormalization group equations for the quark Yukawa couplings. Our discussion is based on the general phase invariant monomials built out of the CKM matrix elements and their conjugates. We show that there exist 30 fundamental phase invariant monomials and 18 of them are a product of 4 CKM matrix elements and 12 are a product of 6 CKM matrix elements. In the main theorem we show that a general rephasing invariant monomial can be expressed as a product of at most five factors: four of them are fundamental phase invariant monomials and the fifth factor consists of powers of squares of absolute values of the CKM matrix elements. We also show that the imaginary part of any rephasing invariant monomial is proportional to the Jarlskog’s invariant J or is 0.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS2011

Finding Mutual Exclusion Invariants in Temporal Planning Domains

We present a technique for automatically extracting temporal mutual exclusion invariants from PDDL2.2 planning instances. We first identify a set of invariant candidates by inspecting the domain and then check these candidates against properties that assure invariance. If these properties are violated, we show that it is sometimes possible to refine a candidate by adding additional propositions and turn it into a real invariant. Our technique builds on other approaches to invariant synthesis presented in the literature, but departs from their limited focus on instantaneous discrete actions by addressing temporal and numeric domains. To deal with time, we formulate invariance conditions that account for both the entire structure of the operators (including the conditions, rather than just the effects) and the possible interactions between operators. As a result, we construct a technique that is not only capable of identifying invariants for temporal domains, but is also able to find a broader set of invariants for non-temporal domains than the previous techniques.

Bernardini, Sara↗
NASA NTRS2014

Feedback-Driven Dynamic Invariant Discovery

Program invariants can help software developers identify program properties that must be preserved as the software evolves, however, formulating correct invariants can be challenging. In this work, we introduce iDiscovery, a technique which leverages symbolic execution to improve the quality of dynamically discovered invariants computed by Daikon. Candidate invariants generated by Daikon are synthesized into assertions and instrumented onto the program. The instrumented code is executed symbolically to generate new test cases that are fed back to Daikon to help further re ne the set of candidate invariants. This feedback loop is executed until a x-point is reached. To mitigate the cost of symbolic execution, we present optimizations to prune the symbolic state space and to reduce the complexity of the generated path conditions. We also leverage recent advances in constraint solution reuse techniques to avoid computing results for the same constraints across iterations. Experimental results show that iDiscovery converges to a set of higher quality invariants compared to the initial set of candidate invariants in a small number of iterations.

Daikon↗
DOE OSTI2024

Gauge invariance of radiative jet functions in the position-space formulation of SCET

In subleading powers of soft-collinear effective theory (SCET), the Lagrangian contains couplings between soft quarks and hard-collinear quarks. Matrix elements of the hard-collinear parts of these couplings are radiative jet functions. In the position-space formulation of SCET, the Lagrangians are constructed from operators that appear to be gauge invariant. Nevertheless, we find violations of gauge invariance arise in the hard-collinear sector because gauge transformations can shift the momentum of a hard-collinear quark field from the hard-collinear sector to the soft sector, where the hard-collinear fields, by definition, have no support. The violations of gauge invariance are manifested in perturbation theory in the hard-collinear sector through the absence of certain Feynman diagrams that would be present in full QCD. A consequence of the absence of these diagrams is that the radiative jet functions that follow directly from the position-space Lagrangians are not gauge invariant, and we demonstrate this through explicit calculations in lower-order perturbation theory. We obtain gauge-invariant Lagrangians by adding to existing position-space Lagrangians terms that are proportional to the soft-quark equation of motion. These gauge-invariant Lagrangians are valid for nonzero, as well as zero, quark masses. We also remark briefly on the gauge invariance of certain Lagrangians that have been constructed in the label-momentum formulation of SCET. Published by the American Physical Society 2024

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2016

Asymmetries of various P- and T-parities in angular distributions of products of cold-polarized-neutron-induced binary and ternary fission of oriented nuclei and T-invariance

It is shown that a quantum system whose Hamiltonian is independent of time is T -invariant if this Hamiltonian contains only those terms that do not change sign upon time reversal. It is also shown that the coincidence of the amplitudes for multistep direct and statistical nuclear reactions with the timereversed amplitudes for the reactions being studied is a condition that ensures the T -invariance of the amplitudes in question, the transition from the original amplitudes to their time-reversed counterparts being accomplished, first, upon introducing the inverse-reactionmatrices T instead of the original-reaction matrix T and, second, upon replacing the wave functions for the initial, final, and intermediate states of the system by the respective time-reversed functions. It is found that the T -even (T -odd) asymmetries in cross sections for nuclear reactions stem from the interference between the amplitudes characterizing these reactions and having identical (opposite) T -parities. It is shown that the T -invariance condition for the above T -even (T -odd) asymmetries is related to the conservation of (change in) the sign of these asymmetries upon going over from original to inverse nuclear reactions. Mechanisms underlying the appearance of possible T -even and T-odd asymmetries in the cross sections for the cold-polarizedneutron- induced binary and ternary fission of oriented target nuclei are analyzed for the case of employing T -invariant Hamiltonians for the systems under study. It is also shown that the asymmetries in question satisfy the T -invariance condition if the reactions being considered have a sequential multistep statistical character. It is concluded that T -invariance is violated in the limiting case where, in ternary nuclear fission, the emission of a light third particle froma fissile compound nucleus formed upon incident-neutron capture by a target nucleus and its separation to two fission fragments are simultaneous events.

74 ATOMIC AND MOLECULAR PHYSICS↗