Polynomial Quantization on Rank One Para-Hermitian Symmetric Spaces

We construct the polynomial quantization on the space G/H where G=SL(n,R),H=GL(n–1,R). It is a variant of quantization in the spirit of Berezin. In our case covariant and contravariant symbols are polynomials on G/H. We introduce a multiplication of covariant symbols, establish the correspondence principle, study transformations of symbols (the Berezin transform) and of operators. We write a full asymptotic decomposition of the Berezin transform.     

Explicit 2-Factorisations of the Odd Graph

In this note we show how 1-factors in the middle two layers of the discrete cube can be used to construct 2-factors in the Odd graph (the Kneser graph of (k − 1)-sets from a (2k − 1)-set). In particular, we use the lexical matchings of Kierstead and Trotter, and the modular matchings of Duffus, Kierstead and Snevily, to give explicit constructions of two different 2-factorisations of the Odd graph. This revised version was published online in September 2006 with corrections to the Cover Date.     

An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

The long‐time behaviour of the thermoconvective flow in a porous medium

For the Boussinesq approximation of the equations of coupled heat and fluid flow in a porous medium we show that the corresponding system of partial differential equations possesses a global attractor. We give lower and upper bounds of the Hausdorff dimension of the attractor depending on a physical parameter of the system, namely the Rayleigh number of the flow. Numerical experiments confirm the theoretical findings and raise new questions on the structure of the solutions of the system. Copyright © 2004 John Wiley & Sons, Ltd.     

A new reaction of vicinal sulfonyliminocarboxylates with phosphites

The reaction of alkyl trifluoro(organylsulfonylimino)propionates with phosphites occurs with NC transfer of the RSO₂ group and leads to sulfonyl-substituted trifluoroalanine derivatives. The novel rearrangement is interpreted as cheletropic 1,4-cycloaddition of the phosphite and subsequent 1,2-shift of the sulfonyl group in the intermediate cyclic phosphorane.     

Regioselective 1,4-trifluoromethylation of α,β-enones using ‘protect-in-situ’ methodology

In a convenient and efficient procedure, the nucleophilic 1,4-trifluoromethylation of several α,β-enones using (trifluoromethyl)trimethylsilane was achieved. The high regioselectivity of the reaction has been reached by blocking the carbonyl moiety of the electrophile with a bulky aluminum-centered Lewis acid.     

Microwave-accelerated conjugate addition of aldehydes to α,β-unsaturated ketones

Aldehydes undergo smooth conjugate addition to α,β-unsaturated ketones in the presence of 5-(2-hydroxyethyl)-1,3-thiazolium halides and DBU adsorbed onto the surface of basic alumina under microwave irradiation and solvent-free conditions to afford 1,4-diketones in enhanced yields and reduced reaction times compared to conventional methods.     

Addition of Bromotrichloromethane and Tetrachloromethane to cis-Cyclooctene,Cyclohexene, and Norbornadiene in the Presence of Palladium(II) Complexes

Addition of bromotrichloromethane and tetrachloromethane to alkenes in the presence of palladium(II) complexes begins with single-electron transfer from the palladium atom to polyhalomethane molecule, followed by fragmentation of the radical anion thus formed and generation of trichloromethyl radical. Halogen transfer to a carbon-centered radical arising from addition of trichloromethyl radical at the double bond occurs both from the polyhalomethane molecule and from halide palladium complex.