The Chang-Łoś-Suszko theorem in a topological setting

The Chang-Łoś-Suszko theorem of first-order model theory characterizes universal-existential classes of models as just those elementary classes that are closed under unions of chains. This theorem can then be used to equate two model-theoretic closure conditions for elementary classes; namely unions of chains and existential substructures. In the present paper we prove a topological analogue and indicate some applications.     

Integral-Type Darboux Transformations for the mKdV Hierarchy with Self-Consistent Sources

We present integral-type Darboux transformation for the mKdV hierarchy and for the mKdV hierarchy withself-consistent sources. In contrast with the normal Darboux transformation, the integral-type Darboux transformationscan offer non-auto-Backlund transformation between two (2n 1)-th mKdV equations with self-consistent sources withdifferent degrees. This kind of Darboux transformation enables us to construct the N-soliton solution for the mKdVhierarchy with self-consistent sources. We also propose the formulas for the m times repeated integral-type Darbouxtransformations for both mKdV hierarchy and mKdV hierarchy with self-consistent sources.     

Physics possibilities at India-based Neutrino Observatory

In this talk I review the physics possible at India-based Neutrino Observatory (INO). I discuss the improvement in the precision of currently known quantities and the possibility measuring the presently unknown quantities.     

Restorations of punctured languages and similarity of languages

Punctured languages are languages whose words are partial words in the sense that the letters at some positions are unknown. We investigate to which extent restoration of punctured languages is possible if the number of unknown positions or the proportion of unknown positions per word, respectively, is bounded, and we study their relationships for different boundings. The considered restoration classes coincide with similarity classes according to some kind of similarity for languages. Thus all results we can also formulate in the language of similarity. We show some hierarchies of similarity classes for each class from the Chomsky hierarchy and prove the existence of linear languages which are not δ ‐similar to any regular language for any δ < ½. For δ ≥ ½ this is unknown but it could only be possible in the case of non‐slender linear languages. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

关于“级别婚”的数学分析

介绍了19世纪存在于澳大利亚土著中的一种婚姻形式—级别婚,从群论的角度说明级别婚的三种主要形式都对应于一个对称群,从而可以用几何方法形象的表示这种婚姻形式;进而,从对称的观点说明婚姻形式从简单到复杂的演化过程,代数上对应于对称群阶数的增加,几何上则对应于对称性的加强.     

On the Snider equation

We study the physical content of the Snider quantum transport equation and the origin of a puzzling feature of this equation, which implies contradictory values for the one-particle density operator. We discuss in detail why the two values are in fact not very different provided that the studied particles have sufficiently large wave packets and only a small interaction probability, a condition which puts a limit on the validity of the Snider equation. In order to improve its range of application, we propose a reinterpretation of the equation as a mixed equation relating the real one-particle distribution function (on the left-hand side of the equation) to the free distribution (on the right-hand side), which we have introduced in a recent contribution. In its original form, the Snider equation is valid only when used to generate Boltzmann-type equations where collisions are treated as point processes in space and time (no range, no duration); in this approximation, virial corrections are not included, so that the real and free distributions coincide. If the equation is used beyond this approximation to generate nonlocal and density corrections, we conclude that the results are not necessarily correct.     

Nonequilibrium fluctuations in μ space

The properties of fluctuations in space in or outside thermal equilibrium are obtained by solving hierarchies of equations derived either from the Liouville or the Master equation. In particular we study the one-, two-, etc., time correlation functions that describe the spatial and temporal behavior of the fluctuations in space. Explicit solutions are obtained for a dilute gas. The Langevin approach is briefly discussed. Our results are compared with those obtained in the extensive literature, which is reviewed in some detail.     

The Ablowitz–Ladik hierarchy integrability analysis revisited: the vertex operator solution representation structure

A regular gradient-holonomic approach to studying the Lax type integrability of the Ablowitz–Ladik hierarchy of nonlinear Lax type integrable discrete dynamical systems in the vertex operator representation is presented. The relationship to the Lie-algebraic integrability scheme is analyzed and the connection with the τ-function representation is discussed.     

一种一致性排序标度方法

针对层次分析法判断矩阵一致性问题,提出了一种新的排序标度方法,证明了采用新方法形成的判断矩阵具有一致性,最后通过实例运用说明了此方法的可行性和有效性.