Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Mathematical Computing”

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 1,225 records · Page 68

On the analogues of Szegő's theorem for ergodic operators

Szegő's theorem on the asymptotic behaviour of the determinants of large Toeplitz matrices is generalized to the class of ergodic operators. The generalization is formulated in terms of a triple consisting of an ergodic operator and two functions, the symbol and the test function. It is shown that in the case of the one-dimensional discrete Schrödinger operator with random ergodic or quasiperiodic potential and various choices of the symbol and the test function this generalization leads to asymptotic formulae which have no analogues in the situation of Toeplitz operators. Bibliography: 22 titles.

97 MATHEMATICS AND COMPUTING↗

Extension of transformation groups of compact solvmanifolds

We indicate a way to extend connected simply connected soluble Lie groups acting transitively and locally effectively on a given compact solvmanifold. In 1973, Auslander posed the problem of describing all groups of this kind. The results obtained here lead to the conclusion that it is unlikely that this problem has an exhaustive solution. Bibliography: 10 titles.

97 MATHEMATICS AND COMPUTING↗

A topological classification of billiards in locally planar domains bounded by arcs of confocal quadrics

A new class of integrable billiard systems, called generalized billiards, is discovered. These are billiards in domains formed by gluing classical billiard domains along pieces of their boundaries. (A classical billiard domain is a part of the plane bounded by arcs of confocal quadrics.) On the basis of the Fomenko-Zieschang theory of invariants of integrable systems, a full topological classification of generalized billiards is obtained, up to Liouville equivalence. Bibliography: 18 titles.

97 MATHEMATICS AND COMPUTING↗

On the exponent of G-spaces and isovariant extensors

The equivariant version of the Curtis-Schori-West theorem is investigated. It is proved that for a nondegenerate Peano G-continuum X with an action of the compact abelian Lie group G, the exponent expX is equimorphic to the maximal equivariant Hilbert cube if and only if the free part X{sub free} is dense in X. We also show that the latter is sufficient for the equimorphy of expX and Q in the case of an action of an arbitrary compact Lie group G. The key to the proof of these results lies in the theory of the universal G-space (in the sense of Palais). Bibliography: 28 titles.

97 MATHEMATICS AND COMPUTING↗

Topological classification of the Goryachev integrable case in rigid body dynamics

A topological analysis of the Goryachev integrable case in rigid body dynamics is made on the basis of the Fomenko-Zieschang theory. The invariants (marked molecules) which are obtained give a complete description, from the standpoint of Liouville classification, of the systems of Goryachev type on various level sets of the energy. It turns out that on appropriate energy levels the Goryachev case is Liouville equivalent to many classical integrable systems and, in particular, the Joukowski, Clebsch, Sokolov and Kovalevskaya-Yehia cases in rigid body dynamics, as well as to some integrable billiards in plane domains bounded by confocal quadrics -- in other words, the foliations given by the closures of generic solutions of these systems have the same structure. Bibliography: 15 titles.

97 MATHEMATICS AND COMPUTING↗

Approximation of functions and their conjugates in variable Lebesgue spaces

One-sided Steklov means are used to introduce moduli of continuity of natural order in variable L{sub 2π}{sup p(⋅)}-spaces. A direct theorem of Jackson- Stechkin type and an inverse theorem of Salem-Stechkin type are given. Similar results are obtained for the conjugate functions. Bibliography: 24 titles. (paper)

97 MATHEMATICS AND COMPUTING↗

Proper central and core polynomials of relatively free associative algebras with identity of Lie nilpotency of degrees 5 and 6

We study the centre of a relatively free associative algebra F{sup (n)} with the identity [x{sub 1},…,x{sub n}]=0 of Lie nilpotency of degree n=5,6 over a field of characteristic 0. It is proved that the core Z{sup ∗}(F{sup (5)}) of the algebra F{sup (5)} (the sum of all ideals of F{sup (5)} contained in its centre) is generated as a T-ideal by the weak Hall polynomial [[x,y]{sup 2},y]. It is also proved that every proper central polynomial of F{sup (5)} is contained in the sum of Z{sup ∗}(F{sup (5)}) and the T-space generated by [[x,y]{sup 2},z] and the commutator [x{sub 1},…,x{sub 4}] of degree 4. This implies that the centre of F{sup (5)} is contained in the T-ideal generated by the commutator of degree 4. Similar results are obtained for F{sup (6)}; in particular, it is proved that the core Z{sup ∗}(F{sup (6)}) is generated as a T-ideal by the commutator of degree 5. Bibliography: 15 titles. (paper)

97 MATHEMATICS AND COMPUTING↗

Quantization of the Sobolev space of half-differentiable functions

A quantization of the Sobolev space V=H{sub 0}{sup 1/2}(S{sup 1},R) of half- differentiable functions on the circle, which is closely connected with string theory, is constructed. The group QS(S{sup 1}) of quasisymmetric circle homeomorphisms acts on V by reparametrizations, but this action is not smooth. Nevertheless, a quantum infinitesimal action of QS(S{sup 1}) on V can be defined, which enables one to construct a quantum algebra of observables which is associated with the system (V,QS(S{sup 1})). Bibliography: 7 titles. (paper)

97 MATHEMATICS AND COMPUTING↗

On volumes of classical supermanifolds

We consider the volumes of classical supermanifolds (such as the supersphere, complex projective superspace, Stiefel and Grassmann supermanifolds) with respect to natural metrics or symplectic structures. We show that the formulae for the volumes of these supermanifolds can be obtained from the formulae for the volumes of the corresponding ordinary manifolds (under some universal normalization of the volume) by analytic continuation with respect to parameters. The volumes of nontrivial supermanifolds may be identically equal to zero. In the 1970s Berezin showed that the total Haar measure of the unitary supergroup U(n|m) vanishes except in the cases m=0 and n=0, when the supergroup is the ordinary unitary group U(n) or U(m). Some time ago Witten conjectured that the Liouville volume of a compact even symplectic supermanifold is always equal to zero (except for ordinary manifolds). We give counterexamples to this conjecture, present a simple explanation of Berezin's theorem, and generalize this theorem to the Stiefel supermanifold V{sub r|s}(C{sup n|m}). We mention a connection with recent work of Mkrtchyan and Veselov on universal formulae in Lie algebra theory. Bibliography: 32 titles. (paper)

97 MATHEMATICS AND COMPUTING↗

Statistical properties of sites visited by independent random walks

The set of visited sites and the number of visited sites are two basic properties of the random walk trajectory. Here, we consider two independent random walks on hyper-cubic lattices and study ordering probabilities associated with these characteristics. The first is the probability that during the time interval (0, t), the number of sites visited by a walker never exceeds that of another walker. The second is the probability that the sites visited by a walker remain a subset of the sites visited by another walker. Using numerical simulations, we investigate the leading asymptotic behaviors of the ordering probabilities in spatial dimensions d = 1, 2, 3, 4. We also study the time evolution of the number of ties between the number of visited sites. We show analytically that the average number of ties increases as a 1 ln t with a 1 = 0.970 508 in one dimension and as (ln t) 2 in two dimensions.

97 MATHEMATICS AND COMPUTING↗

Skyrmion pinball and directed motion on obstacle arrays

Abstract We examine skyrmions interacting with a square array of obstacles under ac drives applied in one or two directions. For a single direction of ac driving, we find that the Magnus force in conjunction with the obstacle interactions can create elliptical skyrmion orbits of increasing size, leading to localized phases, chaotic phases, and translating or ratcheting orbits. Under two ac drives that are out of phase by 90° and applied in two directions, the skyrmions form localized commensurate orbits that encircle an integer number of obstacles, similar to the electron pinball effect observed for electrons in antidot lattices. As a function of ac amplitude, Magnus force strength, and obstacle size, we find that chaotic scattering regimes and directed motion can emerge even in the absence of asymmetry in the substrate. The directed motion follows different symmetry axes of the periodic substrate, and we observe a variety of reversed ratchet effects. The Magnus force in the skyrmion system produces a significantly larger number of directed motion regimes than are exhibited by overdamped systems. We discuss how these results could be used to move skyrmions in a controlled way for possible applications.

97 MATHEMATICS AND COMPUTING↗

Scalable edge clustering of dynamic graphs via weighted line graphs

Timestamped relational datasets consisting of records (or connections) between pairs of entities are ubiquitous in network science. For applications like peer-to-peer communication, email, various social network interactions, and computer network security, it is useful to organize these records into groups based on how and when they are occurring. Weighted line graphs offer a natural way to model how records are related in such datasets but for large real-world graph topologies, building and utilizing the line graph is prohibitively expensive. Here, we present the framework to cluster the edges of a dynamic graph via the associated line graph that contains two major contributions. The first is a method to work with the line graph implicitly and the second is a distributed scale implementation of an agglomerative hierarchical graph clustering algorithm. We outline a novel hierarchical dynamic graph edge clustering approach that efficiently breaks massive relational datasets into small sets of edges containing events at various timescales. This is in stark contrast to traditional graph clustering algorithms that prioritize highly connected (clique-like) community structures. Our approach relies on constructing a sufficient subgraph of a weighted line graph and applying a hierarchical agglomerative clustering. This approach is related to scalable techniques from spatial clustering, nonlinear-dimension reduction, topological data analysis, and draws particular inspiration from HDBSCAN. As an edge clustering, this method yields an overlapping node clustering. Our algorithm is parallelizable and we demonstrate efficient clustering of a billion-scale, real-world dynamic graph into small edge sets that correlate in topology and time. The entire clustering process for a graph with tens of billions of edges takes just a few minutes of run time on 256 nodes of a distributed compute environment. We argue how the output of the edge clustering is useful for a multitude of data visualization and powerful machine learning tasks, both involving the original massive dynamic graph data and metadata associated with the nodes and edges. Finally, we describe how this approach can be extended to dynamic hypergraphs and dynamic graphs/hypergraphs with unstructured data living on vertices and edges.

Data Analysis↗

Universal shift of the fidelity susceptibility peak away from the critical point of the Berezinskii-Kosterlitz-Thouless quantum phase transition

We show that the peak which can be observed in fidelity susceptibility around the Berezinskii-Kosterlitz-Thouless transition is shifted from the quantum critical point (QCP) at J c to J * in the gapped phase by a value | J *– J c | = B 2 /36, where B 2 is a transition width controlling the asymptotic form of the correlation length ξ~exp(– B /√| J – J c |) in that phase. This is in contrast to the conventional continuous QCP where the maximum is an indicator of the position of the critical point. The shape of the peak is universal, emphasizing the close connection between fidelity susceptibility and the correlation length. Here, we support those arguments with numerical matrix product state simulations of the one-dimensional Bose-Hubbard model in the thermodynamic limit, where the broad peak is located at J * = 0.212 that is significantly different from J c = 0.3048(3). In the spin-3/2 XXZ model the shift from J c = 1 to J * = 1.0021 is small but the narrow universal peak is much more pronounced over the nonuniversal background.

36 MATERIALS SCIENCE↗

Measurement and memory in the periodically driven complex Ginzburg-Landau equation

In the present work we illustrate that classical but nonlinear systems may possess features reminiscent of quantum ones, such as memory, upon suitable external perturbation. As our prototypical example, we use the two-dimensional complex Ginzburg-Landau equation in its vortex glass regime. Here, we impose an external drive as a perturbation mimicking a quantum measurement protocol, with a given “measurement rate” (the rate of repetition of the drive) and “mixing rate” (characterized by the intensity of the drive). Using a variety of measures, we find that the system may or may not retain its coherence, statistically retrieving its original glass state, depending on the strength and periodicity of the perturbing field. The corresponding parametric regimes and the associated energy cascade mechanisms involving the dynamics of vortex waveforms and domain boundaries are discussed.

97 MATHEMATICS AND COMPUTING↗

Security proof of practical quantum key distribution with detection-efficiency mismatch

Quantum key distribution (QKD) protocols with threshold detectors are driving high-performance QKD demonstrations. The corresponding security proofs usually assume that all physical detectors have the same detection efficiency. However, the efficiencies of the detectors used in practice might show a mismatch depending on the manufacturing and setup of these detectors. A mismatch can also be induced as the different spatial-temporal modes of an incoming signal might couple differently to a detector. Here we develop a method that allows to provide security proofs without the usual assumption. Our method can take the detection-efficiency mismatch into account without having to restrict the attack strategy of the adversary. Especially, we do not rely on any photon-number cutoff of incoming signals such that our security proof is directly applicable to practical situations. We illustrate our method for a receiver that is designed for polarization encoding and is sensitive to a number of spatial-temporal modes. In our detector model, the absence of quantum interference between any pair of spatial-temporal modes is assumed. For a QKD protocol with this detector model, we can perform a security proof with characterized efficiency mismatch and without photon-number cutoff assumption. Our method also shows that in the absence of efficiency mismatch in our detector model, the key rate increases if the loss due to detection inefficiency is assumed to be outside of the adversary's control, as compared to the view where for a security proof this loss is attributed to the action of the adversary.

97 MATHEMATICS AND COMPUTING↗

A Note on Alternating Minimization Algorithm for the Matrix Completion Problem

Here, we consider the problem of reconstructing a low-rank matrix from a subset of its entries and analyze two variants of the so-called alternating minimization algorithm, which has been proposed in the past.We establish that when the underlying matrix has rank one, has positive bounded entries, and the graph underlying the revealed entries has diameter which is logarithmic in the size of the matrix, both algorithms succeed in reconstructing the matrix approximately in polynomial time starting from an arbitrary initialization.We further provide simulation results which suggest that the second variant which is based on the message passing type updates performs significantly better.

97 MATHEMATICS AND COMPUTING↗