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

Study of the reaction238U (α, α′f) atE α=480 MeV

The excitation function of the fission probability P _E E _x) for²³⁸U has been measured in the reaction²³⁸U(α, α′ f) at 480 MeV bombarding energy. The reaction mechanism of this reaction is discussed for excitation energies belowB _nf , the threshold for second chance fission, and aboveB _nf up toE _x =37 MeV. In comparing with results from fission induced by photons and by particle transfer reactions the (α, α′f) reaction gives too low values for the fission probabilityP _f at excitation energies well aboveB _nE . The role of the quasi-elastic knock-out process in this reaction is discussed.     

Ground-state properties of LiV2O4 and Li1-xZnx(V1-yTiy)2O4

We present susceptibility, microwave resistivity, NMR and heat-capacity results for Li_1-xZn_x(V_1-yTi_y)₂O₄ with 0 ? x ? 0.3 and 0 ? y ? 0.3. For all doping levels the susceptibility curves can be fitted with a Curie-Weiss law. The paramagnetic Curie-Weiss temperatures remain negative with an average value close to that of the pure compound Θ≈ - 36 K. Spin-glass anomalies are observed in the susceptibility, heat-capacity and NMR measurements for both type of dopants. From the temperature dependence of the spin-lattice relaxation rate we found critical-dynamic behavior in the Zn doped compounds at the freezing temperatures. For the Ti-doped samples two successive freezing transitions into disordered low-temperature states can be detected. The temperature dependence of the heat capacity for Zn-doped compounds does not resemble that of canonical spin glasses and only a small fraction of the total vanadium entropy is frozen at the spin-glass transitions. For pure LiV₂O₄ the spin-glass transition is completely suppressed. The temperature dependence of the heat capacity for LiV₂O₄ can be described using a nuclear Schottky contribution and the non-Fermi liquid model, appropriate for a system close to a spin-glass quantum critical point. Finally an ( x / y , T )-phase diagram for the low-doping regime is presented. Received 16 March 2001 and Received in final form 30 October 2001     

Structure of neutron-rich Be and C isotopes

The structure of neutron-rich beryllium isotopes has been investigated using different heavy-ion-induced transfer reactions. In neutron transfer reactions, the population of final states shows a strong sensitivity to the chosen core nucleus, i.e., the target nuclei ⁹Be or ¹⁰Be, respectively. Molecular rotational bands up to high excitation energies are observed with ⁹Be as the core due to its pronounced 2α-cluster structure, whereas only a few states at low excitation energies are populated with ¹⁰Be as the core. For ¹¹Be, a detailed investigation has been performed for the three states at 3.41, 3.89, and 3.96 MeV, which resulted in the most probable spin-parity assignments 3/2⁺, 5/2^?, and 3/2^?, respectively. Furthermore, we have studied particle-hole states of ¹⁶C using the ¹³C(¹²C, ⁹C)¹⁶C reaction and found 14 previously unknown states. Using the ¹²C(¹²C, ⁹C)¹⁵C reaction, five new states were observed for ¹⁵C.