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.     

Et2Zn-mediated stoichiometric C(sp)-H silylation of 1-alkynes and chlorosilanes

A first example of an Et₂Zn mediated silylation of 1-aklynes is reported. A series of functional groups are tolerated in this reaction. Mechanistic studies support Zn alkynilides as intermediates in the reaction. This reaction protocol provides a practical method for the preparation of alkynylsilanes and expands the application of organometallic zinc in organic synthesis.     

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.     

Synthesis and properties of Hg-based high-T c superconductors

Il Nuovo Cimento D - The formation of Hg-based HTSC materials was investigated through the development of non-conventional techniques. The former was based on a singlestep synthesis at temperatures...     

Native ethylene glycol in wine: Application of a dead volume free,very fast “deans heart-cut” system on-line with multi-chromatography

Data about the existence of native HO? CH₂? CH₂? OH (MEG) in natural wines and champagne has led to delicate questions because of legal decisions already made to declare wine or champagne illegal for sale if the MEG concentrations found are above 10 mg/liter. Action has been taken because of the DEG (diethylene glycol) disaster in European wines of 1985…86. An incorrect legal decision was made due to the belief that MEG cannot be produced biochemically by grape vines. A further reason may be lack of correct data on native MEG trace concentrations, as a result of the special behavior of this diol. As first member of a homologous series whose higher members (C₄) are normally found in all wines at quite high concentration levels, MEG shows extremely adsorptive behavior. The solution of the chromatographic problems is summarized in this paper. MEG concentrations in Riesling as example are in the range of 2 to 6 mg/liter and can easily be increased by biotechnological steps to a level of around 10 to 60 mg/liter. This is again due to the specific adsorptive behavior of MEG, which can be enriched on filter surfaces and displaced when the wine acidity changes with changing types. In order to control and guarantee the qualitative and quantitative results of MEG analyses we used a combination of Deans heart cutting on-line with Multi-Chromatography. It was easy to produce false data by many otherwise useful single column or two-dimensional separation processes, etc.     

Theory usage and theoretical trends in Europe: a survey and preliminary analysis of CERME4 research reports

The 29th PME research forum on theories included only one European perspective on mathematics education. In order to convey trends in theory usage in Europe we compile, survey and analyze a large subset of the research papers from the 4^th European Congress on Mathematics Education (CERME4). That is, this paper includes a discussion of trends seen within CERME4 reports¹ on theory usage by European researchers inseven of the fourteen working groups and (a) Outlines similarities and differences in theory usage and (b) takes a futuristic stance on ways in which researchers from different traditions could understand each other. Such an enterprise would further Hans-Georg Steiner's vision of bridging theoretical traditions which are independently formulated in different regions of the world.     

40 GHz Mode-Locked Semiconductor Lasers: Theory, Simulations and Experiment

We study both theoretically and experimentally typical operation regimes of 40 GHz monolithic mode-locked lasers. The underlying Traveling Wave Equation model reveals quantitative agreement for characteristics of the fundamental mode-locking as pulse width and repetition frequency tuning, as well as qualitative agreement with the experiments for other dynamic regimes. Especially the appearance of stable harmonic mode-locking at 80 GHz has been predicted theoretically and confirmed by measurements. Furthermore, we derive and apply a simplified Delay-Differential-Equation model which guides us to a qualitative analysis of bifurcations responsible for the appearance and the breakup of different mode-locking regimes. Higher harmonics of mode-locking are predicted by this model as well.     

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.