Uniformity in Computable Structure Theory

We investigate the effects of adding uniformity requirements to concepts in computable structure theory such as computable categoricity (of a structure) and intrinsic computability (of a relation on a computable structure). We consider and compare two different notions of uniformity, previously studied by Kudinov and by Ventsov. We discuss some of their results and establish new ones, while also exploring the connections with the relative computable structure theory of Ash, Knight, Manasse, and Slaman and Chisholm and with previous work of Ash, Knight, and Slaman on uniformity in a general computable structure-theoretical setting.     

Chern and Pontryagin Numbers in Perfect Symmetries of Spheres

The paper presents a procedure for constructing smooth actions of finite perfect groups on spheres with fixed point sets having certain prescribed properties (Theorem A); in particular, having any prescribed configuration of Chern and Pontryagin numbers (Corollary C). The main ingredients used are equivariant thickening and equivariant surgery.     

Assessing the Error Probability of the Model Selection Test

The asymptotic error probability of Linhart's model selection test isevaluated, and compared with the nominal significance level. We examine thecase where the expected discrepancies of the candidate models from the truemodel are asymptotically equal. The local alternatives method is employed inthe limiting operation of the asymptotic evaluation. Although the errorprobability under the null hypothesis is actually shown to be equal to orless than the level for most situations, intolerable violations of the errorcontrol are observed for nested models: It is often erroneously concludedthat the smaller model is significantly better than the larger model. Toprevent this violation, a modification of Linhart's test statistic isproposed. The effectiveness of the proposed test is confirmed throughtheoretical analysis and numerical simulations.     

Comparative analysis of heterogeneous solid and soft materials by adsorption, NMR and thermally stimulated depolarisation current methods

Structural characterisation of such bio-objects as fibrinogen solution, yeast cells, wheat seeds and bone tissues has been done using two versions of cryoporometry based on the integral Gibbs-Thomson (IGT) equation for freezing point depression of pore liquids and the measurements by ¹H NMR spectroscopy (180-200 < T < 273 K) and the thermally stimulated depolarisation current (TSDC) method (90 < T < 273 K) of structured water. The IGT equation was solved using a self-consisting regularization procedure including the maximum entropy principle applied to the distribution function of pore size (PSD). Both methods give clear pictures of changes in the structural characteristics caused, e.g., by hydration and swelling of wheat seeds and yeast cells, coagulation and interaction of fibrinogen with solid nanoparticles in the aqueous media, and the human bone tissue disease.     

The π-π-theorem for manifold pairs with boundaries

The surgery obstruction of a normal map to a simple Poincaré pair (X, Y) lies in the relative surgery obstruction group L _*(π ₁(Y) → π ₁(X)). A well-known result of Wall, the so-called π-π-theorem, states that in higher dimensions a normal map of a manifold with boundary to a simple Poincaré pair with π ₁(X) ? π ₁(Y) is normally bordant to a simple homotopy equivalence of pairs. In order to study normal maps to a manifold with a submanifold, Wall introduced the surgery obstruction groups LP _* for manifold pairs and splitting obstruction groups LS _*. In the present paper, we formulate and prove for manifold pairs with boundary results similar to the π-π-theorem. We give direct geometric proofs, which are based on the original statements of Wall’s results and apply obtained results to investigate surgery on filtered manifolds.     

用三个关系式与Mathematica软件求第二类自然数幂和公式

首先介绍三个第二类自然数幂和关系式并对其中的两式给出证明,接着利用这些关系式与数学软件M athem atica4.0,给出求解第二类自然数幂和公式的若干机械计算方法.     

Partially Classical States of a Boson Field

Employing positive-definiteness arguments we analyse Boson field states, which combine classical and quantum mechanical features (signal and noise), in a constructive manner. Mathematically, they constitute Bauer simplexes within the convex, weak-*-compact state space of the C*-Weyl algebra, defined by a presymplectic test function space (smooth one-Boson wave functions) and are affinely homeomorphic to a state space of a classical field. The regular elements are expressed in terms of weak distributions (probability premeasures) on the dual test function space. The Bauer simplex arising from the bare vacuum is shown to generalize the quantum optical photon field states with positive P-functions.     

Mechanism in homogeneous catalysis; NMR as a prime mover

An overview of the contribution of NMR to the development of our understanding of homogeneous catalysis is presented, with an emphasis on work from the author’s research group.     

On‐line Determination of Particle Size Distributions in Flowing Dispersions

Emulsions are of great importance to industry. They are involved in many engineering operations, including chemical reactions, extraction, emulsification and suspension polymerization, etc. However, an important problem for these processes is how to control the size distribution of the dispersed phase. Indeed, off‐line analysis of the emulsion may generate uncertainties due to sampling and dilution of the product, which are likely to change the dispersion state and physico‐chemical properties. In this work, an on‐line optical method is proposed to characterize dispersed media in real flowing conditions. This method is based on the time‐analysis of back‐scattered light fluctuations. The present paper deals with the development of this method and its application to dispersions of alumina in water. The results obtained with the on‐line optical method are compared with those acquired by classical laser light scattering and microscopy.     

C++QED: an object-oriented framework for wave-function simulations of cavity QED systems

We present a framework for efficiently performing Monte Carlo wave-function simulations in cavity QED with moving particles. It relies heavily on the object-oriented programming paradigm as realised in C++, and is extensible and applicable for simulating open interacting qua ntum dynamics in general. The user is provided with a number of “elements”, e.g. pumped moving particles, pumped lossy cavity modes, and various interactions to compose complex interacting systems, which contain several particles moving in electromagnetic fields of various configurations, and perform wave-function simulations on such systems. A number of tools are provided to facilitate the implementation of new elements.