Search NASA⌕ Search

SEARCH · Search NASA

Results for “Number theory”

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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

Deriving Laws from Ordering Relations

The effect of Richard T. Cox's contribution to probability theory was to generalize Boolean implication among logical statements to degrees of implication, which are manipulated using rules derived from consistency with Boolean algebra. These rules are known as the sum rule, the product rule and Bayes Theorem, and the measure resulting from this generalization is probability. In this paper, I will describe how Cox s technique can be further generalized to include other algebras and hence other problems in science and mathematics. The result is a methodology that can be used to generalize an algebra to a calculus by relying on consistency with order theory to derive the laws of the calculus. My goals are to clear up the mysteries as to why the same basic structure found in probability theory appears in other contexts, to better understand the foundations of probability theory, and to extend these ideas to other areas by developing new mathematics and new physics. The relevance of this methodology will be demonstrated using examples from probability theory, number theory, geometry, information theory, and quantum mechanics.

Knuth, Kevin H.↗
NASA NTRS1990

On the instabilities of supersonic mixing layers - A high-Mach-number asymptotic theory

The stability of a family of tanh mixing layers is studied at large Mach numbers using perturbation methods. It is found that the eigenfunction develops a multilayered structure, and the eigenvalue is obtained by solving a simplified version of the Rayleigh equation (with homogeneous boundary conditions) in one of these layers which lies in either of the external streams. This analysis leads to a simple hypersonic similarity law which explains how spatial and temporal phase speeds and growth rates scale with Mach number and temperature ratio. Comparisons are made with numerical results, and it is found that this similarity law provides a good qualitative guide for the behavior of the instability at high Mach numbers. In addition to this asymptotic theory, some fully numerical results are also presented (with no limitation on the Mach number) in order to explain the origin of the hypersonic modes (through mode splitting) and to discuss the role of oblique modes over a very wide range of Mach number and temperature ratio.

Balsa, Thomas F.↗
NASA NTRS1980

Numerical analysis of natural convection in two-dimensional square and circular containers in low gravity

A numerical study of natural convection in circular cylinder and square enclosures shows that the analytic low Rayleigh number theory of previous investigators is valid for Rayleigh numbers up to 1000. For a Rayleigh number of 5000, steady state values of maximum fluid velocity differ by 20 percent. This deviation between analytic theory and numerical results increases for higher Rayleigh numbers. In addition, the low Rayleigh number theory is shown to be valid for higher Rayleigh numbers for a portion of the transient phase before significant deviation becomes apparent. It is also shown that square shaped experimental configurations may be analytically approximated with good accuracy by circular cylinders of equal cross sectional area for the prediction of convection velocities and flow patterns at low Rayleigh number.

Robertson, S. J.↗
NASA NTRS1986

Very high Mach number shocks - Theory

The theory and simulation of collisionless perpendicular supercritical shock structure is reviewed, with major emphasis on recent research results. The primary tool of investigation is the hybrid simulation method, in which the Newtonian orbits of a large number of ion macroparticles are followed numerically, and in which the electrons are treated as a charge neutralizing fluid. The principal results include the following: (1) electron resistivity is not required to explain the observed quasi-stationarity of the earth's bow shock, (2) the structure of the perpendicular shock at very high Mach numbers depends sensitively on the upstream value of beta (the ratio of the thermal to magnetic pressure) and electron resistivity, (3) two-dimensional turbulence will become increasingly important as the Mach number is increased, and (4) nonadiabatic bulk electron heating will result when a thermal electron cannot complete a gyrorbit while transiting the shock.

Quest, Kevin B.↗
DOE OSTI2022

Threshold progressions in covering and packing contexts

Here, using standard methods (due to Janson, Stein–Chen, and Talagrand) from probabilistic combinatorics, we explore the following general theme: As one progresses from each member of a family of objects $\mathcal{A}$ being “covered” by at most one object in a random collection $\mathcal{C}$, to being covered at most λ times, to being covered at least once, to being covered at least λ times, a hierarchy of thresholds emerge. We will use examples from extremal set theory, combinatorics, and additive number theory to see how these results vary according to the context, and level of dependence introduced.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1972

The large Reynolds number - Asymptotic theory of turbulent boundary layers.

A self-consistent, asymptotic expansion of the one-point, mean turbulent equations of motion is obtained. Results such as the velocity defect law and the law of the wall evolve in a relatively rigorous manner, and a systematic ordering of the mean velocity boundary layer equations and their interaction with the main stream flow are obtained. The analysis is extended to the turbulent energy equation and to a treatment of the small scale equilibrium range of Kolmogoroff; in velocity correlation space the two-thirds power law is obtained. Thus, the two well-known 'laws' of turbulent flow are imbedded in an analysis which provides a great deal of other information.

Mellor, G. L.↗
NASA NTRS1975

Quantization and symmetry in periodic coverage patterns with applications to earth observation

Analytical approaches based on an idealized physical model and concepts from number theory show that in periodic coverage patterns, uniquely defined by their revolution numbers R (orbital) and N (rotational), the subnodal points are earth-fixed, and they divide the equator into R equal segments of length s. The ascending subsatellite trace crosses each point once (only) each period. The descending subnodal points coincide with the ascending points if the integers N and R have like parity, and bisect the intervals between them if opposite. The interval between consecutive unidirectional crossings is Ns. Symmetries extend the equatorial results to all parallels of latitude. Complete periodic patterns of traces exhibit an overall symmetry, with trace intersections confined to discrete coordinate values which are quantized in longitude (basic s-unit) and symmetric in latitude.

King, J. C.↗
DOE OSTI2020

Beurling-Selberg extremization and modular bootstrap at high energies

We consider previously derived upper and lower bounds on the number of operators in a window of scaling dimensions [\Delta - \delta,\Delta + \delta] [ Δ − δ , Δ + δ ] at asymptotically large \Delta Δ in 2d unitary modular invariant CFTs. These bounds depend on a choice of functions that majorize and minorize the characteristic function of the interval [\Delta - \delta,\Delta + \delta] [ Δ − δ , Δ + δ ] and have Fourier transforms of finite support. The optimization of the bounds over this choice turns out to be exactly the Beurling-Selberg extremization problem, widely known in analytic number theory. We review solutions of this problem and present the corresponding bounds on the number of operators for any \delta \geq 0 δ ≥ 0 . When 2\delta \in \mathbb Z_{\geq 0} 2 δ ∈ ℤ ≥ 0 the bounds are saturated by known partition functions with integer-spaced spectra. Similar results apply to operators of fixed spin and Virasoro primaries in c>1 c > 1 theories.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2022

Nucleation Rate Theory for Coordination Number: Elucidating Water-Mediated Formation of a Zigzag Na 2 SO 4 Morphology

Predicting and controlling nanostructure formation during nucleation can pave the way to synthesizing novel energy materials via crystallization. However, such control over nucleation and crystallization remains challenging due to an inadequate understanding of critical factors that govern evolving atomistic structures and dynamics. Here, in this paper, we utilize coordination number as a reaction coordinate and rate theory to investigate how sodium sulfate, commonly known as a phase-change energy material, nucleates in a supersaturated aqueous solution. In conjunction with ab initio and force field-based molecular dynamics simulation, the rate theoretical analysis reveals that sodium sulfate from an initially dissolved metastable state transits to a heterogeneous mixture of prenucleated clusters and finally to a large cylindrical zigzag morphology. Measurements of Raman spectra and their ab initio modeling confirm that this nucleated morphology contains a few waters for every sulfate. Rate processes such as solvent exchange and desolvation exhibit high sensitivity to the evolving prenucleation/nucleation structures, providing a means to distinguish between critical nucleation precursors. Desolvation and forming the first-shell interionic coordination structure via monomer-by-monomer addition around sulfates are found to explain the formation of large nuclei. Thus, a detailed understanding of the step-by-step structure formation across scales has been achieved. This can be leveraged to predict nucleation-related structures and dynamics and potentially control the synthesis of novel phase-change materials for energy applications.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS1975

Quantization and symmetry in periodic coverage patterns with applications to earth observation

The general orbit-coverage problem in a simplified physical model is investigated by application of numerical approaches derived from basic number theory. A system of basic and general properties is defined by which idealized periodic coverage patterns may be characterized, classified, and delineated. The principal common features of these coverage patterns are their longitudinal quantization, determined by the revolution number R, and their overall symmetry.

King, J. C.↗
DOE OSTI2022

Vector boson pair production at one loop: analytic results for the process $q\bar{q}$$ℓ\bar{ℓ}$$ℓ'\bar{ℓ}'g$

We present compact analytic results for the one-loop amplitude for the process 0 → $q\bar{q}$$ℓ\bar{ℓ}$$ℓ'\bar{ℓ}'g$, relevant for both the production of a pair of Z and W-bosons in association with a jet. We focus on the gauge-invariant contribution mediated by a loop of quarks. We explicitly include all effects of the loop-quark mass m, appropriate for the production of a pair of Z-bosons. In the limit m → 0, our results are also applicable to the production of W-boson pairs, mediated by a loop of massless quarks. Implemented in a numerical code, the results are fast. The calculation uses novel advancements in spinor-helicity simplification techniques, for the first time applied beyond five-point massless kinematics. We make use of primary decompositions from algebraic-geometry, which now involve non-radical ideals, and p-adic numbers from number theory. We show how to infer whether numerator polynomials belong to symbolic powers of non-radical ideals through numerical evaluations.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2020

Perovskite neural trees

Trees are used by animals, humans and machines to classify information and make decisions. Natural tree structures displayed by synapses of the brain involves potentiation and depression capable of branching and is essential for survival and learning. Demonstration of such features in synthetic matter is challenging due to the need to host a complex energy landscape capable of learning, memory and electrical interrogation. We report experimental realization of tree-like conductance states at room temperature in strongly correlated perovskite nickelates by modulating proton distribution under high speed electric pulses. This demonstration represents physical realization of ultrametric trees, a concept from number theory applied to the study of spin glasses in physics that inspired early neural network theory dating almost forty years ago. We apply the tree-like memory features in spiking neural networks to demonstrate high fidelity object recognition, and in future can open new directions for neuromorphic computing and artificial intelligence.

36 MATERIALS SCIENCE↗
DOE OSTI2023

Topological aspects of matters and Langlands program

The Langlands program is a vast mathematical projection linking number theory and geometry. In high-energy physics, a connection with mirror symmetry has been suggested in string theory, but it has been little studied in low-energy physics. In the framework of the Langlands program, we present a unified description of the integer and fractional quantum Hall effect and the duality found in the fractal nature of the energy spectrum of two-dimensional Bloch electrons, statistical physics, and quantum computation. The new unified view of existing dualism presented in this paper raises the entirely new question of how each theory of physics is connected as a piece of the Langlands program.

Physics↗
DOE OSTI2023

Hardware-Conscious Optimization of the Quantum Toffoli Gate

While quantum computing holds great potential in combinatorial optimization, electronic structure calculation, and number theory, the current era of quantum computing is limited by noisy hardware. Many quantum compilation approaches can mitigate the effects of imperfect hardware by optimizing quantum circuits for objectives such as critical path length. Few approaches consider quantum circuits in terms of the set of vendor-calibrated operations (i.e., native gates) available on target hardware. This manuscript expands the analytical and numerical approaches for optimizing quantum circuits at this abstraction level. We present a procedure for combining the strengths of analytical native gate-level optimization with numerical optimization. Although we focus on optimizing Toffoli gates on the IBMQ native gate set, the methods presented are generalizable to any gate and superconducting qubit architecture. Our optimized Toffoli gate implementation demonstrates an 18% reduction in infidelity compared with the canonical implementation as benchmarked on IBM Jakarta with quantum process tomography. Assuming the inclusion of multi-qubit cross-resonance (MCR) gates in the IBMQ native gate set, we produce Toffoli implementations with only six multi-qubit gates, a 25% reduction from the canonical eight multi-qubit implementations for linearly connected qubits.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2023

Evaluating one-loop string amplitudes

We evaluate one-loop open-string amplitudes at finite \alpha' α ′ for the first time. Our method involves a deformation of the integration contour over the modular parameter \tau τ to a fractal contour introduced by Rademacher in the context of analytic number theory. This procedure leads to explicit and practical formulas for the one-loop four-point amplitudes in type-I superstring theory, amenable to numerical evaluation. We plot the amplitudes as a function of the Mandelstam invariants s s and t t and directly verify long-standing conjectures about their behaviour at high energies.

Eberhardt, Lorenz↗
NASA NTRS1979

NASF transposition network: A computing network for unscrambling p-ordered vectors

The viewpoints of design, programming, and application of the transportation network (TN) is presented. The TN is a programmable combinational logic network that connects 521 memory modules to 512 processors. The unscrambling of p-ordered vectors to 1-ordered vectors in one cycle is described. The TN design is based upon the concept of cyclic groups from abstract algebra and primitive roots and indices from number theory. The programming of the TN is very simple, requiring only 20 bits: 10 bits for offset control and 10 bits for barrel switch shift control. This simple control is executed by the control unit (CU), not the processors. Any memory access by a processor must be coordinated with the CU and wait for all other processors to come to a synchronization point. These wait and synchronization events can be a degradation in performance to a computation. The TN application is for multidimensional data manipulation, matrix processing, and data sorting, and can also perform a perfect shuffle. Unlike other more complicated and powerful permutation networks, the TN cannot, if possible at all, unscramble non-p-ordered vectors in one cycle.

Lim, R. S.↗