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

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.     

Discovery of a new long-lived isomeric state in 125Ce

A new long-lived isomeric state in the near proton dripline nucleus ¹²⁵Ce has been identified with Schottky mass spectrometry at GSI. The excitation energy E ^* = 103(12)keV and the decay time of 193(1)s have been obtained from a single stored fully ionized ^125m Ce⁵⁸⁺ ion. The data implies an E3 transition and a 1/2⁺ assignment for the spin of the isomer.     

Direct mass measurements of neutron-deficient 152Sm projectile fragments at the FRS-ESR facility

The FRS-ESR facility at GSI provides one of the most efficient methods for direct mass measurements. In the present experiment, exotic nuclei were produced via fragmentation of ¹⁵²Sm projectiles in a thick beryllium target at 500-600 MeV/u, separated in-flight with the fragment separator FRS, and injected into the storage-cooler ring ESR. Time-resolved Schottky Mass Spectrometry was applied for mass measurements of stored and electron-cooled bare and few-electron ions. 373 different nuclides were identified by means of the spectra of their revolution frequencies. Masses for 18 nuclides (⁸⁴Zr, ⁹²Ru, ⁹⁴Rh, ^107,108,110Sb, ^111,112,114I, ¹¹⁸Ba, ^122,123La, ¹²⁴Ce, ¹²⁷Pr, ¹²⁹Nd, ¹³²Pm, ¹³⁴Sm, ¹³⁷Eu) have been determined for the first time. Masses for ^111,112I and ¹¹³Xe have been obtained via known α-decay energies. The experiment and first results will be presented.     

Isobar separation at FRS-ESR – a development towards pure isomeric stored beams

One important goal of the ILIMA project at FAIR is the study of masses and decay properties of relativistic isomeric beams stored and cooled in the planned storage-ring complex. A new scheme is described, where a storage-cooler ring is used for high-resolution mass separation. Experimental results on the separation of the isobaric pair ¹⁴⁰Pr-¹⁴⁰Ce are presented. P. Beller, deceased.     

Level Density of the Hénon-Heiles System Above the Critical Barrier Energy

We discuss the coarse-grained level density of the Hénon-Heiles system above the barrier energy, where the system is nearly chaotic. We use periodic orbit theory to approximate its oscillating part semiclassically via Gutzwiller’s semiclassical trace formula (extended by uniform approximations for the contributions of bifurcating orbits). Including only a few stable and unstable orbits, we reproduce the quantum-mechanical density of states very accurately. We also present a perturbative calculation of the stabilities of two infinite series of orbits (R_n and L_m), emanating from the shortest librating straight-line orbit (A) in a bifurcation cascade just below the barrier, which at the barrier have two common asymptotic Lyapunov exponents χ_R and χ_L.