Quantum diffusion

Basic ideas and results which characterize quantum diffusion of defects in quantum crystals like solid helium as a new phenomenon are presented. Quantum effects in such media lead to a delocalization of point defects (vacancies, impurities etc.) and they turn into quasiparticles of a new type—defectons, which are characterized not by their position in the crystal lattice but by their quasimomentum and dispersion law. Defecton-defecton and defecton-phonon scattering are considered and an interpolation formula for the diffusion coefficient valid in all interesting temperature and concentration regions is presented. A comparison with the experimental data is made. Some alternative points of view are discussed in detail and the inconsistency of the Kisvarsanyi-Sullivan theory is shown.     

Compulsorily Phase Locked Interferometer Using Orthogonally Polarized Light Source of a Modulated LD with High Extinction Ratio

This paper describes a compulsorily phase locked differential interferometer using an orthogonally polarized light source of a modulated LD with high extinction ratio to reduce non-linearity of the interferometer caused by polarization cross-talk. The current modulated LD is used as a light source to make the interferometer compact and for the scanning phase of the interferometer. The interferometer is operated compulsorily at the maximum inclination point of the fringe intensity curve by fringe scanning and an electric system. A Wollaston prism of high extinction ratio (50 dB) is used to combine the polarizing beams and to make the polarization cross-talk very small. In one light source the polarized output beams are on the same propagation axis; in the other they have a small crossing angle (2.5 mrad ∼ 10 mrad) to completely exclude non-linearity of the interferometer causded by polarization cross-talk. Using jets of a gas mixture of nitrogen and ethylene, this interferometer was demonstrated to be useful in detecting the photothermal effect of a photothermal velocimeter under phase fluctuation in a turbulent flow.     

Representations of Positive Projections II

In this paper we obtain a number of Maharam-type slice integral representations, with respect to scalar measures, for positive projections in Dedekind complete vector lattices and f-algebras. AMS Classification: 47B65, 46A40, 06F25     

Leptonic constant of the pseudoscalar <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">c</Emphasis></Subscript> meson

We calculate the leptonic constant for the pseudoscalar ground state of the B _c meson in the framework of a QCD-motivated potential model taking into account the two-loop anomalous dimension for the heavy quark current in nonrelativistic QCD as matched with full QCD.     

Fonctions analytiques Cliffordiennes

We define analytic functions within Clifford Algebras CL, and study their trigonometric properties. We write the addition formulas when their arguments, A and B in CL, commute, this generalizes ordinary trigonometry. We examine in particular the case A² = 1.      

Isometric Isomorphisms Between Banach Algebras Related to a Certain Class of Clifford Topological Semigroups

In the present paper it is shown that if S₁ and S₂ are two Clifford topological semigroups satisfying certain conditions and T is an isometric isomorphism of LUC(S₁*) onto LUC(S₂*), then T maps S₁ topologically isomorphically onto S₂. Furthermore, T maps M ^l _n(S₁) (M(S₁), respectively) isometrically isomorphically onto M ^l _n(S₂) (M(S₂), respectively). Indeed, we have obtained a generalization of a well-known result of Ghahramani, Lau and Losert for locally compact groups to a more general setting of Clifford topological semigroups.     

Validated Infeasible Interior-Point Predictor–Corrector Methods for Linear Programming

Many problems arising in practical applications lead to linear programming problems. Hence, they are fundamentally tractable. Recent interior-point methods can exploit problem structure to solve such problems very efficiently. Infeasible interior-point predictor–corrector methods using floating-point arithmetic sometimes compute an approximate solution with duality gap less than a given tolerance even when the problem may not have a solution. We present an efficient verification method for solving linear programming problems which computes a guaranteed enclosure of the optimal solution and which verifies the existence of the solution within the computed interval.     

Experiences in Expert Systems

This paper describes some work carried out in the Scientific Research and Development Branch (SRDB) of the Home Office, intended to contribute to an overall aim of building up internal expertise in the field of expert systems. This was done by carrying out a number of pilot and demonstrator projects, two of which are described in some detail. The plan, which proved successful, was to build as far as possible on the relevant skills already possessed by an OR group in the branch. The lessons learned from these are summarized in the hope that they will be of use to other groups who wish to become involved in this important area.     

Program explanations and causal relevance

Frank Jackson and Philip Pettit have defended a non-reductive account of causal relevance known as the ‘program explanation account’. Allegedly, irreducible mental properties can be causally relevant in virtue of figuring in non-redundant program explanations which convey information not conveyed by explanations in terms of the physical properties that actually do the ‘causal work’. I argue that none of the possible ways to spell out the intuitively plausible idea of a program explanation serves its purpose, viz., defends non-reductive physicalism against Jaegwon Kim’s Causal Exclusion Argument according to which non-reductive physicalism is committed to epiphenomenalism because irreducible mental properties are ‘screened off’ from causal relevance by their physical realizers. Jackson and Pettit’s most promising explication of a program explanation appeals to the idea of invariance of effect under variation of realization, but I show that invariance of effect under variation of realization is neither necessary nor sufficient for causal relevance.