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.     

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     

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.     

Cyclic and telechelic ladder polymers derived from tetrahydroxytetramethylspirobisindane and 1,4‐dicyanotetrafluorobenzene

5,5′,6,6′‐Tetrahydroxy‐3,3,3′,3′‐tetramethylspirobisindane was polycondensed with 1,4‐dicyanotetrafluorobenzene in four different solvents at 70 °C. In dimethylformamide, N‐methylpyrrolidone, and sulfolane exclusively, cyclic polymers were detectable by matrix‐assisted laser desorption/ionization time‐of‐flight (MALDI‐TOF) mass spectrometry up to masses around 13,000 Da. In dimethyl sulfoxide, linear byproducts were also found. Higher temperatures caused degradation reactions catalyzed by potassium carbonate. Polycondensations performed with the addition of 4‐tert‐butyl catechol or 2,2′‐dihydroxy binaphthyl yielded linear telechelic oligomers. Equimolar mixtures of linear and cyclic ladder polymers were examined by MALDI‐TOF mass spectra to determine how the end groups and the cyclic structure influenced the signal‐to‐noise ratio. The results suggested a preferential detection of the linear chains. © 2006 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 44: 5344–5352, 2006     

Product formulas and convolution structure for Fourier-Bessel series

One of the most far-reaching qualities of an orthogonal system is the presence of an explicit product formula. It can be utilized to establish a convolution structure and hence is essential for the harmonic analysis of the corresponding orthogonal expansion. As yet a convolution structure for Fourier-Bessel series is unknown, maybe in view of the unpractical nature of the corresponding expanding functions called Fourier-Bessel functions. It is shown in this paper that for the half-integral values of the parameter ,n=0, 1, 2,, the Fourier-Bessel functions possess a product formula, the kernel of which splits up into two different parts. While the first part is still the well-known kernel of Sonine's product formula of Bessel functions, the second part is new and reflects the boundary constraints of the Fourier-Bessel differential equation. It is given, essentially, as a finite sum over triple products of Bessel polynomials. The representation is explicit up to coefficients which are calculated here for the first two nontrivial cases and . As a consequence, a positive convolution structure is established for . The method of proof is based on solving a hyperbolic initial boundary value problem.Communicated by Tom H. Koornwinder.     

Lavandulifolioside: A New Phenylpropanoid Glycoside from Stachys lavandulifolia

A new phenlypropanoid glycoside has been isolated from the methanolic extract of the aerial parts of Stachys lavandulifolia (Lamiaceae), lavandulifolioside (1) . On the basis of chemical and spectral data the structure of the new compound 1 has been elucidated as β-(3,4-dihydroxyphenyl)ethyl O-α-L -arabinopyranosyl-(1→2)-α-L -rhamnopyranosyl-(1→3)-4-O-caffeoyl-β-D -glucopyranoside.     

What to Learn from a Comparative Genomic Sequence Analysis of <Emphasis Type="Italic">L</Emphasis>-Carnitine Dehydrogenase

Summary. In contrast to eukaryotic cells certain eubacterial strains have acquired the ability to utilize L-carnitine (R-(–)-3-hydroxy-4-(trimethylamino)butyrate) as sole source of energy, carbon and nitrogen. The first step of the L-carnitine degradation to glycine betaine is catalysed by L-carnitine dehydrogenase (L-CDH, EC 1.1.1.108) and results in the formation of the dehydrocarnitine. During the oxidation of L-carnitine a simultaneous conversion of the cofactor NAD⁺ to NADH takes place. This catabolic reaction has always been of keen interest, because it can be exploited for spectroscopic L-carnitine determination in biological fluids – a quantification method, which is developed in our lab – as well as L-carnitine production.Based on a cloned L-CDH sequence an expedition through the currently available prokaryotic genomic sequence space began to mine relevant information about bacterial L-carnitine metabolism hidden in the enormous amount of data stored in public sequence databases. Thus by means of homology-based and context-based protein function prediction is revealed that L-CDH exists in certain eubacterial genomes either as a protein of approximately 35 kDa or as a homologous fusion protein of approximately 54 kDa with an additional putative domain, which is predicted to possess a thioesterase activity. These two variants of the enzyme are found on one hand in the genome sequence of bacterial species, which were previously reported to decompose L-carnitine, and on the other hand in gram-positive bacteria, which were not known to express L-CDH. Furthermore we could not only discover that L-CDH is located in a conserved genetic entity, which genes are very likely involved in this L-carnitine catabolic pathway, but also pinpoint the exact genomic sequence position of several other enzymes, which play an essential role in the bacterial metabolism of L-carnitine precursors.