Consistency of a linear system of inequalities

We show that a consistency check of a linear system of inequalitiesAxb reduces to check whetherQb0 for a certain matrixQ. It is a direct consequence of the Farkas-Minkowski theorem. Thus, when one has to check consistency for different values ofb, one need not run a numerical algorithm for eachb.On leave at the Electronics Research Laboratory of the University of California at Berkeley in a CNRS/NSF Exchange Program.     

Mixed crystals in the system Cu2MnGexSn1−xS4: Phase analytical investigations and inspection of tetrahedra volumes

Cu₂MnGeS₄ crystallizes orthorhombic in a wurtzite superstructure type while Cu₂MnSnS₄ crystallizes in a tetragonal sphalerite superstructure type. Lattice constants and thermal analyses of the solid solution series Cu₂MnGe_xSn_1−xS₄ are presented. A two-phase region is found from Cu₂MnGe_0.3Sn_0.7S₄ to Cu₂MnGe_0.5Sn_0.5S₄. The cell volume of the mixed crystals increases with increasing Sn content. The melting points increase smoothly with increasing Ge content to x=0.5 and then steeply for higher Ge contents. The single crystal X-ray structure analysis of Cu₂MnGe_0.55Sn_0.45S₄ is presented. The refinement converges to R=0.0270 and wR₂=0.0586, Z is 2. The volumes of the tetrahedra [MS₄] (M=Cu, Mn, Ge, Sn) are calculated. From these volumes the differences in size of the tetrahedra are derived and compared with the corresponding differences in the end members of the solid solution series. It turns out that the resulting structure type in these materials depends on the volume differences of the constituting tetrahedra [MS₄].     

铁系元素冠醚配合物的研究——V.三氯化铁与4′-溴苯并-15-冠-5固态配合物的合成和性质

本文报导了三氯化铁(水合物)与4′-溴苯并-15-冠-5(L)固态配合物的合成,对合成的新配合物,进行了元素定量分析及摩尔电导测定,并作了红外光谱、紫外光谱,热重和差热以及X-射线粉末衍射分析的性质表征。从而证明,该配合物中FeCl₃与配体L比为1:1,是溶化剂,含有结晶水的固态配合物。     

Permutation representations in molecular symmetry

The reducible representations of the point groups are generally studied because of their relevance to molecular orbital and vibration theory. Triple correlations within the polyhedra are described by group-theoretical invariants that are related to the permutation representations and termed polyhedral isoscalar factors. These invariants are applied in theorems on matrix elements referring to the symmetry-adapted bases at different centres. Further invariants or geometrical weight factors inter-relate different types of reduced matrix elements of irreducible tensors (generalization of the Wigner-Eckart theorem to the polycentric case). As a demonstration a complete tabulation is given for the point group C ₄.     

A re-statement of the Hohenberg–Kohn theorem and its extension to finite subspaces

Bearing in mind the insight into the Hohenberg–Kohn theorem for Coulomb systems provided recently by Kryachko (Int J Quantum Chem 103:818, 2005), we present a re-statement of this theorem through an elaboration on Lieb’s proof as well as an extension of this theorem to finite subspaces. Contribution to the Serafin Fraga Memorial Issue.     

The Hellmann-Feynman theorem applied to long-range forces

The relations between the Hellmann-Feynman forces in laboratory fixed (L-) and relative (R-) coordinate systems are clarified. In the usualL-coordinate system, the force is interpreted as force on nucleus, while in theR-coordinate system, it means force on whole particles consisting of the electrons and nuclei of each interacting subsystem. From a perturbation theoretical viewpoint, the concept of the force on whole particles correctly corresponds to the perturbation energy and is superior to the force on the nucleus.     

Origin and meaning of the Fermi contact interaction

The Fermi-contact interaction (FCI) can easily be derived from 1st order perturbation theory applied to the non-relativistic wave equation for a spin-(1/2) particle of Lévy-Leblond, with the nuclear spin described by the field of an external magnetic dipole, and it results from the fact that the turn-over-rule for the operator is only valid if the derivatives implicit in are taken in the distribution sense. If one avoids to apply the turn-over-rule, the FCI is obtained without the need to introduce a -function. It is also shown that the formulation of a magnetic point dipole as the limit of an extended nucleus directly leads to the FCI. Traditional methods of the derivation of the FCI are analyzed in the light of this new interpretation. It is then explained why the perturbation expansions in powers of the magnetic moment of the nucleus necessarily diverges, but that the expression for the 1st order energy on which the concept of the FCI is based, can nevertheless be justified by means of the Hellmann-Feynman theorem with a correction term if singular wave functions are involved. Finally some comments on a theory beyond first order are made.Dedicated to Professor J. Koutecký on the occasion of his 65th birthday     

Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence

We study hidden-variable models from quantum mechanics and their abstractions in purely probabilistic and relational frameworks by means of logics of dependence and independence, which are based on team semantics. We show that common desirable properties of hidden-variable models can be defined in an elegant and concise way in dependence and independence logic. The relationship between different properties and their simultaneous realisability can thus be formulated and proven on a purely logical level, as problems of entailment and satisfiability of logical formulae. Connections between probabilistic and relational entailment in dependence and independence logic allow us to simplify proofs. In many cases, we can establish results on both probabilistic and relational hidden-variable models by a single proof, because one case implies the other, depending on purely syntactic criteria. We also discuss the ‘no-go’ theorems by Bell and Kochen-Specker and provide a purely logical variant of the latter, introducing non-contextual choice as a team-semantical property.     

Tensor products of coherent configurations

A Cartesian decomposition of a coherent configuration ✗ is defined as a special set of its parabolics that form a Cartesian decomposition of the underlying set. It turns out that every tensor decomposition of ✗ comes from a certain Cartesian decomposition. It is proved that if the coherent configuration ✗ is thick, then there is a unique maximal Cartesian decomposition of ✗; i.e., there is exactly one internal tensor decomposition of ✗ into indecomposable components. In particular, this implies an analog of the Krull–Schmidt theorem for the thick coherent configurations. A polynomial-time algorithm for finding the maximal Cartesian decomposition of a thick coherent configuration is constructed.     

A Review of Results on Axially Symmetric Navier-Stokes Equations,with Addendum by X. Pan and Q. Zhang

In this paper, we give a brief survey of recent results on axially symmetric Navier-Stokes equations (ASNS) in the following categories: regularity criterion, Liouville property for ancient solutions, decay and vanishing of stationary solutions. Some discussions also touch on the full 3 dimensional equations. Two results, closing of the scaling gap for ASNS and vanishing of homogeneous D solutions in 3 dimensional slabs will be described in more detail.In the addendum, two new results in the 3rd category will also be presented, which are generalizations of recently published results by the author and coauthors.