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.     

Synthesis and Characterization of 5‐Cyanotetrazolide‐Based Ionic Liquids

New salts based on imidazolium, pyrrolidinium, phosphonium, guanidinium, and ammonium cations together with the 5‐cyanotetrazolide anion [C₂N₅]^? are reported. Depending on the nature of cation–anion interactions, characterized by XRD, the ionic liquids (ILs) have a low viscosity and are liquid at room temperature or have higher melting temperatures. Thermogravimetric analysis, cyclic voltammetry, viscosimetry, and impedance spectroscopy display a thermal stability up to 230 °C, an electrochemical window of 4.5 V, a viscosity of 25 mPa s at 20 °C, and an ionic conductivity of 5.4 mS cm^?1 at 20 °C for the IL 1‐butyl‐1‐methylpyrrolidinium 5‐cyanotetrazolide [BMPyr][C₂N₅]. On the basis of these results, the synthesized compounds are promising electrolytes for lithium‐ion batteries.     

Synthesis and Reactivity of the First Isolated Hydrogen‐Bridged Silanol–Silanolate Anions

We report on the first examples of isolated silanol–silanolate anions, obtained by utilizing weakly coordinating phosphazenium counterions. The silanolate anions were synthesized from the recently published phosphazenium hydroxide hydrate salt with siloxanes. The silanol–silanolate anions are postulated intermediates in the hydroxide‐mediated polymerization of aryl and alkyl siloxanes. The silanolate anions are strong nucleophiles because of the weakly coordinating character of the phosphazenium cation, which is perceptible in their activity in polysiloxane depolymerization.     

Laser spectroscopy of the 1s HFS of H-like ions at a bunched beam in the storage ring ESR

The investigation of the 1s HFS provides a good possibility for testing QED effects in a combination of a strong electric and magnetic field. Here, we report about the laserspectroscopic measurements of the ground state hyperfine splitting in ²⁰⁷Pb⁸¹⁺. To handle this M1-transition in the infrared optical regime with its long lifetime, we developed a new detection technique using a bunched ion beam. For the observation of fluorescence light, a new mirror system is adapted to the emission characteristics from an ion beam at relativistic velocities. This revised version was published online in July 2006 with corrections to the Cover Date.     

Onset of crater formation during short pulse laser ablation

We report morphologic changes of metallic surfaces at the onset of ablation, starting from gentle ablation to the emergence of ablation craters. The evolution of both observed melting zones and of ablation craters therein are investigated in dependence of the ablation laser fluence for nanosecond ultraviolet laser pulses. Further, consequences of crater formation for cluster synthesis within the released atomic vapor are pointed out. PACS 52.38.Mf; 79.20.Ds; 65.40.De     

A profit-maximizing supply chain network design model with demand choice flexibility

We present a profit-maximizing supply chain design model in which a company has flexibility in determining which customers to serve. The company may lose a customer to competition if the price it charges is too high. We show the problem formulation and solution algorithm, and discuss computational results.     

Die Kolloidchemie des Tabakmosaikvirus

Ohne Zusammenfassung übersetzt von H. Kauffmann (Leipzig).     

Ueber unendliche,lineare Punktmannichfaltigkeiten

Ohne ZusammenfassungFortsetzung des Artikels in Bd. XXI, pag. 51.