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.     

Perturbative manifolds and the Noether generators of nth-order Poisson equations

A manifold that contains small perturbations will induce a perturbed partial differential equation. The partial differential equation that we select is the Poisson equation – in order to explore the interplay between the geometry of the manifold and the perturbations. Specifically, we show how the problem of symmetry determination, for higher-order perturbations, can be elegantly expressed via geometric conditions.     

Characterization of low molecular weight hydrocarbon oligomers by laser desorption/ionization time-of-flight mass spectrometry using a solvent-free sample preparation method.

A new solvent-free sample preparation method using silver trifluoroacetate (AgTFA) was developed for the analysis of low molecular weight paraffins and microcrystalline waxes by laser desorption/ionization time-of-flight mass spectrometry (LDI-TOFMS). Experiments show that spectral quality can be enhanced by dispersing AgTFA directly in liquid paraffins without the use of additional solvents. This preparation mixture is applied directly to the MALDI probe. Solid waxes could be examined by melting prior to analysis. The method also provides sufficiently reproducible spectra that peak area ratios between mono- and bicyclic alkane peaks indicated variations in the cycloalkane content of paraffin samples. Dehydrogenation of hydrocarbons observed during the desorption/ionization process was studied by analysis of alkane standards.     

Design of neutral, mono- or di-cationic water-soluble trihydrazidophosphoradamantanes

The versatile behavior of a trihydrazidophosphoradamantane allowing the synthesis of a variety of neutral, mono- or di-cationic water-soluble molecules of potential interest for biphasic catalysis is reported.     

On the geometry of infinite cyclic subgroups

In this paper we construct an example of a word metric on an infinite cyclic subgroup. This example shows that subexponential distortion does not obstruct non-trivial growth of connected radii. This answers a question of Gromov [6]. The constructed metric has other pathological properies. Specifically, its asymptotic cone depends on the choice of ultrafilter and scaling sequence. The work has been partially supported by the Swiss National Science Foundation.     

IFS attractors and Cantor sets

We build a metric space which is homeomorphic to a Cantor set but cannot be realized as the attractor of an iterated function system. We give also an example of a Cantor set K in R³ such that every homeomorphism f of R³ which preserves K coincides with the identity on K.     

Integral Inequalities and Global Solutions of Semilinear Evolution Equations

A criterion for the nonexplosion of solutions to semilinear evolution equations on Banach spaces is proved. The result is obtained by applying a modification of the Bihari type inequality to the case of a weakly singular nonlinear integral inequality.     

Asymptotic Analysis of the Current-Voltage Curve of a pnpn Semiconductor Device

We consider the one-dimensional steady-state semiconductor deviceequations modelling a pnpn device. There are two relevant scalingsof the equations corresponding to small and large applied voltages.In both scalings, the semiconductor equations can be consideredas singularly perturbed. It turns out that the small-voltagescaling breaks down for current values between two saturationcurrents. In that interval, the large-voltage scaling has tobe employed. For both scalings, we derive the first-order termsof an asymptotic expansion and show that the reduced problemhas a solution. An example verifies that the current-voltagecurves obtained have the expected qualitative structure.     

Synthesis and chiroptical properties of two new planar-chiral macrocycles

Could simple intraannular-arm macrocyclic systems exist in enantiopure stable forms? The effective synthesis of two representative compounds of such a class, their resolution into enantiomers, and experiments justifying their stability toward racemization are presented.     

Size complementarity in anion recognition by neutral macrocyclic tetraamides

Comparison of the anion binding properties of a series of uncharged macrocyclic tetraamides reveal significant effects of the receptor's size on the strength of its anion complexes. This study allowed for estimation of the optimal size of a macroring for complexation of common anions.