Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Comparison of fast field-cycling magnetic resonance imaging methods and future perspectives

ABSTRACT

Fast field-cycling (FFC) nuclear magnetic resonance relaxometry is a well-established method to determine the relaxation rates as a function of magnetic field strength. This so-called nuclear magnetic relaxation dispersion gives insight into the underlying molecular dynamics of a wide range of complex systems and has gained interest especially in the characterisation of biological tissues and diseases. The combination of FFC techniques with magnetic resonance imaging (MRI) offers a high potential for new types of image contrast more specific to pathological molecular dynamics. This article reviews the progress in FFC-MRI over the last decade and gives an overview of the hardware systems currently in operation. We discuss limitations and error correction strategies specific to FFC-MRI such as field stability and homogeneity, signal-to-noise ratio, eddy currents and acquisition time. We also report potential applications with impact in biology and medicine. Finally, we discuss the challenges and future applications in transferring the underlying molecular dynamics into novel types of image contrast by exploiting the dispersive properties of biological tissue or MRI contrast agents.     

Ein neues nichtmetallisches Element

Ohne Zusammenfassung     

Minimal expansions in redundant number systems: Fibonacci bases and Greedy algorithms

We study digit expansions with arbitrary integer digits in base q (q integer) and the Fibonacci base such that the sum of the absolute values of the digits is minimal. For the Fibonacci case, we describe a unique minimal expansion and give a greedy algorithm to compute it. Additionally, transducers to calculate minimal expansions from other expansions are given. For the case of even integer bases q, similar results are given which complement those given in [6].     

A Deformation-Theoretical Approach to Weyl Quantization on Riemannian Manifolds

By using a sheaf-theoretical language, we introduce a notion of deformation quantization allowing not only for formal deformation parameters but also for real or complex ones as well. As a model for this approach to deformation quantization, we construct a quantization scheme for cotangent bundles of Riemannian manifolds. Here, we essentially use a complete symbol calculus for pseudodifferential operators on a Riemannian manifold. Depending on a scaling parameter, our quantization scheme corresponds to normally ordered, Weyl or antinormally ordered quantization. Finally, it is shown that our quantization scheme induces a family of pairwise isomorphic strongly closed star products on a cotangent bundle.     

A stable approach to the equivariant Hopf theorem

Let G be a finite group. For semi-free G-manifolds which are oriented in the sense of Waner [S. Waner, Equivariant RO(G)-graded bordism theories, Topology and its Applications 17 (1984) 1-26], the homotopy classes of G-equivariant maps into a G-sphere are described in terms of their degrees, and the degrees occurring are characterised in terms of congruences. This is first shown to be a stable problem, and then solved using methods of equivariant stable homotopy theory with respect to a semi-free G-universe.