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.     

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].     

Consequences of weak absorption in light heavy-ion reactions: Molecular resonances and nuclear rainbows

In the elastic angular distributions of the systems composed of tightly bound α-nuclei, ¹²C+¹²C, ¹⁶O+¹⁶O and ¹⁶O+¹²C, the higher-order Airy minima are observed in the energy region between 5 and 10 MeV per nucleon. The obtained optical potentials are deeply attractive and with incomplete absorption. The same potentials successfully describe the lower-energy (molecular resonances) and the higher-energy (first Airy minimum) data.     

Discrepancy operators and numerical integration on compact groups

In this paper we establish an inequality of Koksma-Hlawka-type for compact groups. We first define a discrepancy for compact groups based on discrepancy operators introduced by W. Fleischer and show the relation to the classicalL ²-discrepancy. Then we prove the inequality for functions in a weightedL ²-space.     

A procedure for clean deposition of100Pd on surfaces

For a program of surface and interface experiments with the PAC isotope¹⁰⁰Pd, a procedure has been developed to chemically separate¹⁰⁰Pd from irradiated rhodium and deposit it on surfaces by evaporation under UHV conditions. First results have been obtained for¹⁰⁰Pd on an Ni(111) surface.     

Surface enhanced Raman scattering from mildly roughened surfaces: variation of signal with metal grain size

The intensity of surface enhanced Raman scattering from benzoic acid derivatives on mildly roughened, thermally evaporated Ag films shows a remarkably strong dependence on metal grain size. Large grained (slowly deposited) films give a superior response, by up to a factor of 10, to small grained (quickly deposited) films, with films of intermediate grain size yielding intermediate results. The optical field amplification underlying the enhancement mechanism is due to the excitation of surface plasmon polaritons (SPPs). Since surface roughness characteristics, as determined by STM, remain relatively constant as a function of deposition rate, it is argued that the contrast in Raman scattering is due to differences in elastic grain boundary scattering of SPPs (leading to different degrees of internal SPP damping), rather than differences in the interaction of SPPs with surface inhomogeneities.