Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “quantization”

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 OSTI2014

Integral quantizations with two basic examples

The paper concerns integral quantization, a procedure based on operator-valued measure and resolution of the identity. We insist on covariance properties in the important case where group representation theory is involved. We also insist on the inherent probabilistic aspects of this classical–quantum map. The approach includes and generalizes coherent state quantization. Two applications based on group representation are carried out. The first one concerns the Weyl–Heisenberg group and the euclidean plane viewed as the corresponding phase space. We show that a world of quantizations exist, which yield the canonical commutation rule and the usual quantum spectrum of the harmonic oscillator. The second one concerns the affine group of the real line and gives rise to an interesting regularization of the dilation origin in the half-plane viewed as the corresponding phase space. -- Highlights: •Original approach to quantization based on (positive) operator-valued measures. •Includes Berezin–Klauder–Toeplitz and Weyl–Wigner quantizations. •Infinitely many such quantizations produce canonical commutation rule. •Set of objects to be quantized is enlarged in order to include singular functions or distributions. •Are given illuminating examples like quantum angle and affine or wavelet quantization.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2022

QONNX: Representing Arbitrary-Precision Quantized Neural Networks

We present extensions to the Open Neural Network Exchange (ONNX) intermediate representation format to represent arbitrary-precision quantized neural networks. We first introduce support for low precision quantization in existing ONNX-based quantization formats by leveraging integer clipping, resulting in two new backward-compatible variants: the quantized operator format with clipping and quantize-clip-dequantize (QCDQ) format. We then introduce a novel higher-level ONNX format called quantized ONNX (QONNX) that introduces three new operators -- Quant, BipolarQuant, and Trunc -- in order to represent uniform quantization. By keeping the QONNX IR high-level and flexible, we enable targeting a wider variety of platforms. We also present utilities for working with QONNX, as well as examples of its usage in the FINN and hls4ml toolchains. Finally, we introduce the QONNX model zoo to share low-precision quantized neural networks.

Pappalardo, Alessandro↗
DOE OSTI2016

BRST quantization of cosmological perturbations

BRST quantization is an elegant and powerful method to quantize theories with local symmetries. In this article we study the Hamiltonian BRST quantization of cosmological perturbations in a universe dominated by a scalar field, along with the closely related quantization method of Dirac. We describe how both formalisms apply to perturbations in a time-dependent background, and how expectation values of gauge-invariant operators can be calculated in the in-in formalism. Our analysis focuses mostly on the free theory. By appropriate canonical transformations we simplify and diagonalize the free Hamiltonian. BRST quantization in derivative gauges allows us to dramatically simplify the structure of the propagators, whereas Dirac quantization, which amounts to quantization in synchronous gauge, dispenses with the need to introduce ghosts and preserves the locality of the gauge-fixed action.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2021

Ps and Qs: Quantization-Aware Pruning for Efficient Low Latency Neural Network Inference

Efficient machine learning implementations optimized for inference in hardware have wide-ranging benefits, depending on the application, from lower inference latency to higher data throughput and reduced energy consumption. Two popular techniques for reducing computation in neural networks are pruning, removing insignificant synapses, and quantization, reducing the precision of the calculations. In this work, we explore the interplay between pruning and quantization during the training of neural networks for ultra low latency applications targeting high energy physics use cases. Techniques developed for this study have potential applications across many other domains. We study various configurations of pruning during quantization-aware training, which we term quantization-aware pruning, and the effect of techniques like regularization, batch normalization, and different pruning schemes on performance, computational complexity, and information content metrics. We find that quantization-aware pruning yields more computationally efficient models than either pruning or quantization alone for our task. Further, quantization-aware pruning typically performs similar to or better in terms of computational efficiency compared to other neural architecture search techniques like Bayesian optimization. Surprisingly, while networks with different training configurations can have similar performance for the benchmark application, the information content in the network can vary significantly, affecting its generalizability.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2014

Can Dirac quantization of constrained systems be fulfilled within the intrinsic geometry?

For particles constrained on a curved surface, how to perform quantization within Dirac’s canonical quantization scheme is a long-standing problem. On one hand, Dirac stressed that the Cartesian coordinate system has fundamental importance in passing from the classical Hamiltonian to its quantum mechanical form while preserving the classical algebraic structure between positions, momenta and Hamiltonian to the extent possible. On the other, on the curved surface, we have no exact Cartesian coordinate system within intrinsic geometry. These two facts imply that the three-dimensional Euclidean space in which the curved surface is embedded must be invoked otherwise no proper canonical quantization is attainable. In this paper, we take a minimum surface, helicoid, on which the motion is constrained, to explore whether the intrinsic geometry offers a proper framework in which the quantum theory can be established in a self-consistent way. Results show that not only an inconsistency within Dirac theory occurs, but also an incompatibility with Schrödinger theory happens. In contrast, in three-dimensional Euclidean space, the Dirac quantization turns out to be satisfactory all around, and the resultant geometric momentum and potential are then in agreement with those given by the Schrödinger theory. -- Highlights: • Quantum motion on a minimum surface, helicoid, is examined within canonical quantization. • Both geometric momentum and geometric potential are embedding quantities. • No canonical quantization can be fulfilled within the intrinsic geometry.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2018

Quantizations of the classical time of arrival and their dynamics

The classical time of arrival in the interacting case is quantized by way of quantizing its expansion about the free time of arrival. The quantization is formulated in coordinate representation which represents ordering rules in terms of two variable polynomial functions. This leads to representations of the quantized time of arrival operators as integral operators whose kernels are determined by the chosen ordering rule. The formulation lends itself to generalization which allows construction of time of arrival operators that cannot be obtained by direct quantization using particular ordering rules. Weyl, symmetric and Born–Jordan quantizations are specifically studied. The dynamics of the eigenfunctions of the different time of arrival operators are investigated. The eigenfunctions exhibit unitary arrival at the intended arrival point at their respective eigenvalues.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2014

Width dependent transition of quantized spin-wave modes in Ni{sub 80}Fe{sub 20} square nanorings

We investigated optically induced ultrafast magnetization dynamics in square shaped Ni{sub 80}Fe{sub 20} nanorings with varying ring width. Rich spin-wave spectra are observed whose frequencies showed a strong dependence on the ring width. Micromagnetic simulations showed different types of spin-wave modes, which are quantized upto very high quantization number. In the case of widest ring, the spin-wave mode spectrum shows quantized modes along the applied field direction, which is similar to the mode spectrum of an antidot array. As the ring width decreases, additional quantization in the azimuthal direction appears causing mixed modes. In the narrowest ring, the spin-waves exhibit quantization solely in azimuthal direction. The different quantization is attributed to the variation in the internal field distribution for different ring width as obtained from micromagnetic analysis and supported by magnetic force microscopy.

77 NANOSCIENCE AND NANOTECHNOLOGY↗
DOE OSTI2024

Charge- 4 e and Charge- 6 e Flux Quantization and Higher Charge Superconductivity in Kagome Superconductor Ring Devices

The flux quantization is a key indication of electron pairing in superconductors. For example, the well-known h / 2 e flux quantization is considered strong evidence for the existence of charge- 2 e , two-electron Cooper pairs. Here we report evidence for multicharge flux quantization in mesoscopic ring devices fabricated using the transition-metal kagome superconductor CsV 3 Sb 5 . We perform systematic magnetotransport measurements and observe unprecedented quantization of magnetic flux in units of h / 4 e and h / 6 e in magnetoresistance oscillations. Specifically, at low temperatures, magnetoresistance oscillations with period h / 2 e are detected, as expected from the flux quantization for charge- 2 e superconductivity. We find that the h / 2 e oscillations are suppressed and replaced by resistance oscillations with h / 4 e periodicity when the temperature is increased. Increasing the temperature further suppresses the h / 4 e oscillations, and robust resistance oscillations with h / 6 e periodicity emerge as evidence for charge- 6 e flux quantization. Our observations provide the first experimental evidence for the existence of multicharge flux quanta and emergent quantum matter exhibiting higher-charge superconductivity in the strongly fluctuating region above the charge- 2 e Cooper pair condensate, revealing new insights into the intertwined and vestigial electronic order in kagome superconductors. Published by the American Physical Society 2024

Physics↗
DOE OSTI2014

Flat minimal quantizations of Stäckel systems and quantum separability

In this paper, we consider the problem of quantization of classical Stäckel systems and the problem of separability of related quantum Hamiltonians. First, using the concept of Stäckel transform, natural Hamiltonian systems from a given Riemann space are expressed by some flat coordinates of related Euclidean configuration space. Then, the so-called flat minimal quantization procedure is applied in order to construct an appropriate Hermitian operator in the respective Hilbert space. Finally, we distinguish a class of Stäckel systems which remains separable after any of admissible flat minimal quantizations. - Highlights: • Using Stäckel transform, separable Hamiltonians are expressed by flat coordinates. • The concept of admissible flat minimal quantizations is developed. • The class of Stäckel systems, separable after minimal flat quantization is established. • Separability of related stationary Schrödinger equations is presented in explicit form.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2019

Two quantization approaches to the Bateman oscillator model

We consider two quantization approaches to the Bateman oscillator model. One is Feshbach–Tikochinsky’s quantization approach reformulated concisely without invoking the SU(1,1) Lie algebra, and the other is the imaginary-scaling quantization approach developed originally for the Pais–Uhlenbeck oscillator model. The latter approach overcomes the problem of unbounded-below energy spectrum that is encountered in the former approach. In both the approaches, the positive-definiteness of the squared-norms of the Hamiltonian eigenvectors is ensured. Unlike Feshbach–Tikochinsky’s quantization approach, the imaginary-scaling quantization approach allows to have stable states in addition to decaying and growing states.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2016

Feynman formulae and phase space Feynman path integrals for tau-quantization of some Lévy-Khintchine type Hamilton functions

Evolution semigroups generated by pseudo-differential operators are considered. These operators are obtained by different (parameterized by a number τ) procedures of quantization from a certain class of functions (or symbols) defined on the phase space. This class contains Hamilton functions of particles with variable mass in magnetic and potential fields and more general symbols given by the Lévy-Khintchine formula. The considered semigroups are represented as limits of n-fold iterated integrals when n tends to infinity. Such representations are called Feynman formulae. Some of these representations are constructed with the help of another pseudo-differential operator, obtained by the same procedure of quantization; such representations are called Hamiltonian Feynman formulae. Some representations are based on integral operators with elementary kernels; these are called Lagrangian Feynman formulae. Langrangian Feynman formulae provide approximations of evolution semigroups, suitable for direct computations and numerical modeling of the corresponding dynamics. Hamiltonian Feynman formulae allow to represent the considered semigroups by means of Feynman path integrals. In the article, a family of phase space Feynman pseudomeasures corresponding to different procedures of quantization is introduced. The considered evolution semigroups are represented as phase space Feynman path integrals with respect to these Feynman pseudomeasures, i.e., different quantizations correspond to Feynman path integrals with the same integrand but with respect to different pseudomeasures. This answers Berezin’s problem of distinguishing a procedure of quantization on the language of Feynman path integrals. Moreover, the obtained Lagrangian Feynman formulae allow also to calculate these phase space Feynman path integrals and to connect them with some functional integrals with respect to probability measures.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2015

Quantized impedance dealing with the damping behavior of the one-dimensional oscillator

A quantized impedance is proposed to theoretically establish the relationship between the atomic eigenfrequency and the intrinsic frequency of the one-dimensional oscillator in this paper. The classical oscillator is modified by the idea that the electron transition is treated as a charge-discharge process of a suggested capacitor with the capacitive energy equal to the energy level difference of the jumping electron. The quantized capacitance of the impedance interacting with the jumping electron can lead the resonant frequency of the oscillator to the same as the atomic eigenfrequency. The quantized resistance reflects that the damping coefficient of the oscillator is the mean collision frequency of the transition electron. In addition, the first and third order electric susceptibilities based on the oscillator are accordingly quantized. Our simulation of the hydrogen atom emission spectrum based on the proposed method agrees well with the experimental one. Our results exhibits that the one-dimensional oscillator with the quantized impedance may become useful in the estimations of the refractive index and one- or multi-photon absorption coefficients of some nonmagnetic media composed of hydrogen-like atoms.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2021

Quantum simulation of second-quantized Hamiltonians in compact encoding

We describe methods for simulating general second-quantized Hamiltonians using the compact encoding, in which qubit states encode only the occupied modes in physical occupation number basis states. These methods apply to second-quantized Hamiltonians composed of a constant number of interactions, i.e., linear combinations of ladder operator monomials of fixed form. Compact encoding leads to qubit requirements that are optimal up to logarithmic factors. Here, we show how to use sparse Hamiltonian simulation methods for second-quantized Hamiltonians in compact encoding, give explicit implementations for the required oracles, and analyze the methods. We also describe several example applications including the free boson and fermion theories, the φ 4 -theory, and the massive Yukawa model, all in both equal-time and light-front quantization. Our methods provide a general-purpose tool for simulating second-quantized Hamiltonians, with optimal or near-optimal scaling with error and model parameters.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2018

Quantization of the Thermal Hall Conductivity at Small Hall Angles

We consider the effect of coupling between phonons and a chiral Majorana edge in a gapped chiral spin liquid with Ising anyons (e.g., Kitaev’s non-Abelian spin liquid on the honeycomb lattice). This is especially important in the regime in which the longitudinal bulk heat conductivity κ x x due to phonons is much larger than the expected quantized thermal Hall conductance $κ$ $^{q}_{xy}$ = (πT/12)($k$ $^{2}_{B}$/ℏ) of the ideal isolated edge mode, so that the thermal Hall angle, i.e., the angle between the thermal current and the temperature gradient, is small. By modeling the interaction between a Majorana edge and bulk phonons, we show that the exchange of energy between the two subsystems leads to a transverse component of the bulk current and thereby an effective Hall conductivity. Remarkably, the latter is equal to the quantized value when the edge and bulk can thermalize, which occurs for a Hall bar of length L >> ℓ, where ℓ is a thermalization length. We obtain ℓ ~ T –5 for a model of the Majorana-phonon coupling. We also find that the quality of the quantization depends on the means of measuring the temperature and, surprisingly, a more robust quantization is obtained when the lattice, not the spin, temperature is measured. We present general hydrodynamic equations for the system, detailed results for the temperature and current profiles, and an estimate for the coupling strength and its temperature dependence based on a microscopic model Hamiltonian. Furthermore, our results may explain recent experiments observing a quantized thermal Hall conductivity in the regime of small Hall angle, κ xy /κ xx ~ 10 –3 , in α–RuCl 3 .

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2016

Bit Grooming: statistically accurate precision-preserving quantization with compression, evaluated in the netCDF Operators (NCO, v4.4.8+)

Abstract. Geoscientific models and measurements generate false precision (scientifically meaningless data bits) that wastes storage space. False precision can mislead (by implying noise is signal) and be scientifically pointless, especially for measurements. By contrast, lossy compression can be both economical (save space) and heuristic (clarify data limitations) without compromising the scientific integrity of data. Data quantization can thus be appropriate regardless of whether space limitations are a concern. We introduce, implement, and characterize a new lossy compression scheme suitable for IEEE floating-point data. Our new Bit Grooming algorithm alternately shaves (to zero) and sets (to one) the least significant bits of consecutive values to preserve a desired precision. This is a symmetric, two-sided variant of an algorithm sometimes called Bit Shaving that quantizes values solely by zeroing bits. Our variation eliminates the artificial low bias produced by always zeroing bits, and makes Bit Grooming more suitable for arrays and multi-dimensional fields whose mean statistics are important. Bit Grooming relies on standard lossless compression to achieve the actual reduction in storage space, so we tested Bit Grooming by applying the DEFLATE compression algorithm to bit-groomed and full-precision climate data stored in netCDF3, netCDF4, HDF4, and HDF5 formats. Bit Grooming reduces the storage space required by initially uncompressed and compressed climate data by 25–80 and 5–65 %, respectively, for single-precision values (the most common case for climate data) quantized to retain 1–5 decimal digits of precision. The potential reduction is greater for double-precision datasets. When used aggressively (i.e., preserving only 1–2 digits), Bit Grooming produces storage reductions comparable to other quantization techniques such as Linear Packing. Unlike Linear Packing, whose guaranteed precision rapidly degrades within the relatively narrow dynamic range of values that it can compress, Bit Grooming guarantees the specified precision throughout the full floating-point range. Data quantization by Bit Grooming is irreversible (i.e., lossy) yet transparent, meaning that no extra processing is required by data users/readers. Hence Bit Grooming can easily reduce data storage volume without sacrificing scientific precision or imposing extra burdens on users.

58 GEOSCIENCES↗
DOE OSTI2026

From Quantum Time to Manifestly Covariant QFT: On the Need for a Quantum-Action-Based Quantization

In quantum time (QT) schemes, time is promoted to a degree of freedom, allowing Lorentz covariance to be made explicit for single particles. We ask whether this can be lifted to QFT so that Lorentz covariance becomes manifest at the Hilbert-space level, rather than being hidden as in the standard canonical formulation. We address this question by proposing a second-quantized approach in which the elementary particle is the QT particle itself, leading naturally to the notion of spacetime field algebras and of quantum action. We show, however, that a naive many-body construction runs into inconsistencies. To pinpoint their origin we introduce a classical counterpart of the second-quantized formalism, spacetime classical mechanics (SCM), and prove a no-go theorem: Dirac quantization of SCM collapses back to standard QFT and therefore hides covariance. We circumvent this problem by presenting a quantum-action-based quantization that yields a spacetime version of quantum mechanics (SQM), making covariance manifest for (interacting) QFTs. Finally, we show that this resolution is tied to a genuine spacetime generalization of the notion of a quantum state, required by causality and closely connected to recent “states over time” proposals and, in dS/CFT–motivated settings, to microscopic notions of timelike entanglement and emergent time.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2014

Canonical quantization theory of general singular QED system of Fermi field interaction with generally decomposed gauge potential

Quantization theory gives rise to transverse phonons for the traditional Coulomb gauge condition and to scalar and longitudinal photons for the Lorentz gauge condition. We describe a new approach to quantize the general singular QED system by decomposing a general gauge potential into two orthogonal components in general field theory, which preserves scalar and longitudinal photons. Using these two orthogonal components, we obtain an expansion of the gauge-invariant Lagrangian density, from which we deduce the two orthogonal canonical momenta conjugate to the two components of the gauge potential. We then obtain the canonical Hamiltonian in the phase space and deduce the inherent constraints. In terms of the naturally deduced gauge condition, the quantization results are exactly consistent with those in the traditional Coulomb gauge condition and superior to those in the Lorentz gauge condition. Moreover, we find that all the nonvanishing quantum commutators are permanently gauge-invariant. A system can only be measured in physical experiments when it is gauge-invariant. The vanishing longitudinal vector potential means that the gauge invariance of the general QED system cannot be retained. This is similar to the nucleon spin crisis dilemma, which is an example of a physical quantity that cannot be exactly measured experimentally. However, the theory here solves this dilemma by keeping the gauge invariance of the general QED system. -- Highlights: •We decompose the general gauge potential into two orthogonal parts according to general field theory. •We identify a new approach for quantizing the general singular QED system. •The results obtained are superior to those for the Lorentz gauge condition. •The theory presented solves dilemmas such as the nucleon spin crisis.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2015

Semiclassical quantization of nonadiabatic systems with hopping periodic orbits

We present a semiclassical quantization condition, i.e., quantum–classical correspondence, for steady states of nonadiabatic systems consisting of fast and slow degrees of freedom (DOFs) by extending Gutzwiller’s trace formula to a nonadiabatic form. The quantum–classical correspondence indicates that a set of primitive hopping periodic orbits, which are invariant under time evolution in the phase space of the slow DOF, should be quantized. The semiclassical quantization is then applied to a simple nonadiabatic model and accurately reproduces exact quantum energy levels. In addition to the semiclassical quantization condition, we also discuss chaotic dynamics involved in the classical limit of nonadiabatic dynamics.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗