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.     

The r-mean curvature and rigidity of compact hypersurfaces in the Euclidean space

Annals of Global Analysis and Geometry - In this paper, we characterize round spheres in the Euclidean space under some suitable conditions on the r-mean curvature.     

Synthesis of β -Cyperone via Fungal Hydroxylation of thujone-derived tricyclic cyclopropanes

Synthesis of optically active sesquiterpenes with a eudesmane C-skeleton from the chiral starting material thujone involves transformation of a tricyclic intermediate (1R,2R,4S)-1,7-dimethyl-4-(1-methylethyl)tricyclo[4.4.0.0^2,4]dec-6-en-8-one ( 2 ) into the bicyclic compound β -cyperone ( 5 ). Hydroxylation of 2 at C(5) or C(11) permits subsequent opening of the cyclopropane ring and rearrangement to β -cyperone. In this publication, studies involving hydroxylation of 2 by fungal cultures are presented. The resultant products are useful intermediates in efficient synthesis of eudesmane sesquiterpenes. Of five fungi tested, Rhizopus oryzae ATCC 11145 proved most versatile. It hydroxylates at the exocyclic C(11) position in high yield (70%) and, to a lesser extent, at C(5) (5%). Enzymatic activity appears at the end of growth phase and at least 2.2 g of 2 per liter can be metabolized without significant loss of product yield. A second fungus, Cunninghamella echinulata ATCC 9244, proved most useful for hydroxylation of derivatives of 2 for the preparation of derivatives of β -cyperone, although product yields were low (2–20%), some derivatives were nonreactive, and hydroxylation at C(9) occurred. The relationship between precursor structure and enzyme affinity is discussed.     

Conceptual continuity as a mode of understanding complex systems: Applications to the dynamics sociopolitical systems

In complex biological systems, entities that are conceptually distinct but empirically related—such as sunlight and plant growth or antigene and immune response—are being explicitly linked through the identification of highly specific uninterrupted interaction sequences that take place between their macromolecular system components. These uninterrupted sequences of causation include common elements that are shared by the empirically related but conceptually distinct entities. Through the identification of specific shared elements, “conceptual continuity” is established between these entities. Examples are introduced to suggest that in sociopolitical systems, an analogous conceptual continuity can be established between distinct sociopolitical entities. The identification of specific shared elements, essential for the well being of each of the entities, can play a significant role in resolving conflicts between those separated by seemingly insurmountable obstacles such as race or religion or ideology. © 2006 Wiley Periodicals, Inc. Complexity 11:20–24, 2006     

Ein neues nichtmetallisches Element

Ohne Zusammenfassung     

Approximation of multi-scale elliptic problems using patches of finite elements

In this paper we present a method to solve numerically elliptic problems with multi-scale data using multiple levels of not necessarily nested grids. The method consists in calculating successive corrections to the solution in patches whose discretizations are not necessarily conforming. It resembles the FAC method (see Math. Comp. 46 (174) (1986) 439–456) and its convergence is obtained by a domain decomposition technique (see Math. Comp. 57 (195) (1991) 1–21). However it is of much more flexible use in comparison to the latter. To cite this article: R. Glowinski et al., C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Ueber einige Ozonwirkungen

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