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.     

Discovery of Novel Symmetrical 1,4-Dihydropyridines as Inhibitors of Multidrug-Resistant Protein (MRP4) Efflux Pump for Anticancer Therapy

Despite the development of targeted therapies in cancer, the problem of multidrug resistance (MDR) is still unsolved. Most patients with metastatic cancer die from MDR. Transmembrane efflux pumps as the main cause of MDR have been addressed by developed inhibitors, but early inhibitors of the most prominent and longest known efflux pump P-glycoprotein (P-gp) were disappointing. Those inhibitors have been used without knowledge about the expression of P-gp by the treated tumor. Therefore the use of inhibitors of transmembrane efflux pumps in clinical settings is reconsidered as a promising strategy in the case of the respective efflux pump expression. We discovered novel symmetric inhibitors of the symmetric efflux pump MRP4 encoded by the ABCC4 gene. MRP4 is involved in many kinds of cancer with resistance to anticancer drugs. All compounds showed better activities than the best known MRP4 inhibitor MK571 in an MRP4-overexpressing cell line assay, and the activities could be related to the various substitution patterns of aromatic residues within the symmetric molecular framework. One of the best compounds was demonstrated to overcome the MRP4-mediated resistance in the cell line model to restore the anticancer drug sensitivity as a proof of concept.     

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

Diffusive motion of iron microcrystals studied by Mössbauer spectroscopy

A new model is presented which explains well the dramatic decrease of the Mössbauer line intensities with raising temperatures for freely dispersed iron microscrystals. In contrast to other theories which consider mainly vibration to be responsible we discuss here the decrease in terms of large amplitude diffusive rotational or translational jumps of the particles. Such diffusive jumps lead — in agreement with the observation — to a strong reduction of the Mössbauer-intensity without broadening the line width in a noticeable way. The typical potential well for a diffusing particle in an equilibrium position is derived quantitatively to be 13 meV. The model might be important also for a new understanding of the dynamics of catalytic clusters either in contact with each other or with larger solid surfaces.Part of this work was supported by the DFG Sonderforschungsbereich 306, Konstanz     

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.     

Elliott-Morse measures and Kakutani's dichotomy theorem

Dedicated to the memory of John Oxtoby     

Time interval distributions of atoms in atomic beams

We report an experimental investigation of two-particle correlations between neutral atoms in a Hanbury Brown and Twiss experiment. Both an atom laser beam and a pseudo-thermal atomic beam are extracted from a Bose–Einstein condensate and the atom flux is measured with a single atom counter. We determine the conditional and the unconditional detection probabilities for the atoms in the beam and find good agreement with the theoretical predictions. PACS 03.75.Pp; 05.30.Jp; 07.77.Gx; 42.50.Pq     

Bayesian Object Identification: Variants

We present a Bayesian theory of object identification. Here, identifying an object means selecting a particular observation from a group of observations (variants), this observation (the regular variant) being characterized by a distributional model. In this sense, object identification means assigning a given model to one of several observations. Often, it is the statistical model of the regular variant, only, that is known. We study an estimator which relies essentially on this model and not on the characteristics of the “irregular” variants. In particular, we investigate under what conditions this variant selector is optimal. It turns out that there is a close relationship with exchangeability and Markovian reversibility. We finally apply our theory to the case of irregular variants generated from the regular variant by a Gaussian linear model.