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.     

Feasibility study for the preparation of certified reference materials part I – mineral oil contaminated soils

The international joint project HYCREF (Contract No. G6RD-CT-2002-00854), funded by the European Commission in the 5th Framework programme, aimed to develop methods to prepare homogeneous and stable reference materials of water, soil, and waste contaminated with mineral oil hydrocarbons and to certify the mineral oil content by gas chromatographic methods. The results of a feasibility study for the preparation of three soil reference materials are discussed in this paper, and for the preparation of three waste reference materials in the second part (Koch et al., Accred Qual Assur submitted for publication). The soil materials were selected to represent different soil types and contamination levels. The project plan set three requirements for these reference materials: uncertainty in the mineral oil content resulting from the certification exercise <5%, a sample inhomogeneity of <3% and a minimum long-term stability of 5 years. For the most part, these requirements were met within this project.     

Modelling of a city canyon problem in a turbulent atmosphere using an equivalent sources approach

The sound propagation into a courtyard shielded from direct exposure is predicted using an equivalent sources approach. The problem is simplified into that of a two-dimensional city canyon. A set of equivalent sources are used to couple the free half-space above the canyon to the cavity inside the canyon. Atmospheric turbulence causes an increase in the expected value of the sound pressure level compared to a homogeneous case. The level increase is estimated using a von Kármán turbulence model and the mutual coherences of all equivalent sources' contributions. For low frequencies the increase is negligible, but at 1.6 kHz it reaches 2-5 dB for the geometries and turbulence parameters used here. A comparison with a ray-based model shows reasonably good agreement.