Forms of relativistic dynamics with World Line Condition and separability

he Dirac generator formalism for relativistic Hamiltonian dynamics is reviewed along with its extension to constraint formalism. In these theories evolution is with respect to a dynamically defined parameter, and thus time evolution involves an eleventh generator. These formulations evade the No-Interaction Theorem. But the incorporation of separability reopens the question, and together with the World Line Condition leads to a second no-interaction theorem for systems of three or more particles. Proofs are omitted, but the results of recent research in this area is highlighted.

Applying pure mathematics: mathematics in the natural sciences

The book of nature is written in the language of mathematics. This quotation, attributed to Galileo, seemed to hold to an unreasonable1 extent in the era of quantum mechanics.

Neutron-diffraction study of structure and conformation of nucleotide uridine-5 phosphate (disodium salt)

Acta Crystallographica Section A: Foundations of Crystallography covers theoretical and fundamental aspects of the structure of matter. The journal is the prime forum for research in diffraction physics and the theory of crystallographic structure determination by diffraction methods using X-rays, neutrons and electrons. The structures include periodic and aperiodic crystals, and non-periodic disordered materials, and the corresponding Bragg, satellite and diffuse scattering, thermal motion and symmetry aspects. Spatial resolutions range from the subatomic domain in charge-density studies to nanodimensional imperfections such as dislocations and twin walls. The chemistry encompasses metals, alloys, and inorganic, organic and biological materials. Structure prediction and properties such as the theory of phase transformations are also covered.

Theory of Non-linear Waves in Multi-dimensions: with Special Reference to Surface Water Waves

The surface water waves are "modal" waves in which the "physical space" (t, x, y, z) is the product of a propagation space (t, x, y) and a cross space, the z-axis in the vertical direction. We have derived a new set of equations for the long waves in shallow water in the propagation space. When the ratio of the amplitude of the disturbance to the depth of the water is small, these equations reduce to the equations derived by Whitham (1967) by the variational principle. Then we have derived a single equation in (t, x, y)-space which is a generalization of the fourth order Boussinesq equation for one-dimensional waves. In the neighbourhood of a wave froat, this equation reduces to the multidimensional generalization of the KdV equation derived by Shen & Keller (1973). We have also included a systematic discussion of the orders of the various non-dimensional parameters. This is followed by a presentation of a general theory of approximating a system of quasi-linear equations following one of the modes. When we apply this general method to the surface water wave equations in the propagation space, we get the Shen-Keller equation.

Specificity for the Exchange of Phospholipids Through Polymyxin B Mediated Intermembrane Molecular Contacts

Structural specificity for the direct vesicle−vesicle exchange of phospholipids through stable molecular contacts formed by the antibiotic polymyxin B (PxB) is characterized by kinetic and spectroscopic methods. As shown elsewhere [Cajal, Y., Rogers, J., Berg, O. G., & Jain, M. K. (1996) Biochemistry 35, 299−308], intermembrane molecular contacts between anionic vesicles are formed by a small number of PxB molecules, which suggests that a stoichiometric complex may be responsible for the exchange of phospholipids. Larger clusters containing several vesicles are formed where each vesicle can make multiple contacts if sterically allowed. In this paper we show that the overall process can be dissected into three functional steps: binding of PxB to vesicles, formation of stable vesicle−vesicle contacts, and exchange of phospholipids. Polycationic PxB binds to anionic vesicles. Formation of molecular contacts and exchange of monoanionic phospholipids through PxB contacts does not depend on the chain length of the phospholipid. Only monoanionic phospholipids (with methanol, serine, glycol, butanol, or phosphatidylglycerol as the second phosphodiester substituent in the head group) exchange through these contacts, whereas dianionic phosphatidic acid does not. Selectivity for the exchange was also determined with covesicles of phosphatidylmethanol and other phospholipids. PxB does not bind to vesicles of zwitterionic phosphatidylcholine, and its exchange in covesicles is not mediated by PxB. Vesicles of dianionic phospholipids, like phosphatidic acid, bind PxB; however, this phospholipid does not exchange. The structural features of the contacts are characterized by the spectroscopic and chemical properties of PxB at the interface. PxB in intermembrane contacts is readily accessible from the aqueous phase to quenchers and reagents that modify amino groups. Results show that PxB at the interface can exist in two forms depending on the lipid/PxB ratio. Additional studies show that stable PxB-mediated vesicle−vesicle contacts may be structurally and functionally distinct from “stalks”, the putative transient intermediate for membrane fusion. The phenomenon of selective exchange of phospholipids through peptide-mediated contacts could serve as a prototype for intermembrane targeting and sorting of phospholipids during their biosynthesis and trafficking in different compartments of a cell. The protocols and results described here also extend the syllogistic foundations of interfacial equilibria and catalysis.

Hardness of approximation results for the problem of finding the stopping distance in Tanner graphs

Tanner Graph representation of linear block codes is widely used by iterative decoding algorithms for recovering data transmitted across a noisy communication channel from errors and erasures introduced by the channel. The stopping distance of a Tanner graph T for a binary linear block code C determines the number of erasures correctable using iterative decoding on the Tanner graph T when data is transmitted across a binary erasure channel using the code C. We show that the problem of finding the stopping distance of a Tanner graph is hard to approximate within any positive constant approximation ratio in polynomial time unless P = NP. It is also shown as a consequence that there can be no approximation algorithm for the problem achieving an approximation ratio of 2(log n)(1-epsilon) for any epsilon > 0 unless NP subset of DTIME(n(poly(log n))).

The superfluid as a source of all interactions

The superfluid state of fermion-antifermion fields developed in our previous papers is generalized to include higher orbital and spin states. In addition to single-particle excitations, the system is capable of having real and virtual bound or quasibound composite excitations which are akin to bosons of spinJ P equal to0 �, 1�, 2+, etc. These pseudoscalar, vector, and tensor bosons can be massive or massless and provide the vehicles for strong, electromagnetic, weak, and gravitational interactions. The concept that the basic (unmanifest) fermion-antifermion interaction can lead to a multiplicity of manifest interactions seems to provide a basis for a unified field theory.

A Circuit-Based Proof of Toda′s Theorem

We present a simple proof of Toda′s result (Toda (1989), in "Proceedings, 30th Annual IEEE Symposium on Foundations of Computer Science," pp. 514-519), which states that circled plus P is hard for the Polynomial Hierarchy under randomized reductions. Our approach is circuit-based in the sense that we start with uniform circuit definitions of the Polynomial Hierarchy and apply the Valiant-Vazirani lemma on these circuits (Valiant and Vazirani (1986), Thoeret. Comput. Sci.47, 85-93).

Analogues of the Wiener-Tauberian and Schwartz theorems for radial functions on symmetric spaces

We prove a Wiener Tauberian theorem for the L-1 spherical functions on a semisimple Lie group of arbitrary real rank. We also establish a Schwartz-type theorem for complex groups. As a corollary we obtain a Wiener Tauberian type result for compactly supported distributions.

Affine Hall-Littlewood Functions for A(1)((1)) And Some Constant Term Identities of Cherednik-Macdonald-Mehta Type

We study t-analogs of string functions for integrable highest weight representations of the affine Kac-Moody algebra A(1)((1)). We obtain closed form formulas for certain t-string functions of levels 2 and 4. As corollaries, we obtain explicit identities for the corresponding affine Hall-Littlewood functions, as well as higher level generalizations of Cherednik's Macdonald and Macdonald-Mehta constant term identities.

Flat connections, geometric invariants and the symplectic nature of the fundamental group of surfaces

In this paper we associate a new geometric invariant to the space of fiat connections on a G (= SU(2))-bundle on a compact Riemann surface M and relate it tcr the symplectic structure on the space Hom(pi(1)(M), G)/G consisting of representations of the fundamental group pi(1)(M) Of M into G module the conjugate action of G on representations.

Solutions of cubic equations in quadratic fields

Let K be any quadratic field with O-K its ring of integers. We study the solutions of cubic equations, which represent elliptic curves defined over Q, in quadratic fields and prove some interesting results regarding the solutions by using elementary tools. As an application we consider the Diophantine equation r + s + t = rst = 1 in O-K. This Diophantine equation gives an elliptic curve defined over Q with finite Mordell-Weil group. Using our study of the solutions of cubic equations in quadratic fields we present a simple proof of the fact that except for the ring of integers of Q(i) and Q(root 2), this Diophantine equation is not solvable in the ring of integers of any other quadratic fields, which is already proved in [4].

Method of Design Through Structuring of Meanings

This research shows a new approach and development of a design methodology, based on the perspective of meanings. In this study the design process is explored as a development of the structure of meanings. The processes of search and evaluation of meanings form the foundations of developing this structure. In order to facilitate the use and operation of the meanings, the WordNet lexical database and an existing visualization of WordNet — Visuwords — is used for the process of meaning search. The basic tool used for evaluation process is the WordNet::Similarity software, measuring the relatedness of meanings in the database. In this way it is measuring the degree of interconnections between different meanings. This kind of search and evaluation techniques are later on incorporated into our methodology of the structure of meanings to support the design process. The measures of relatedness of meanings are developed as convergence criteria for application in the processes of evaluation. Further on, the methodology for the structure of meanings developed here is used to construct meanings in a verification of product design. The steps of the design methodology, including the search and evaluation processes involved in developing the structure of the meanings, are elucidated. The choices, made by the designer in terms of meanings are supported by consequent searches and evaluations of meanings to be implemented in the designed product. In conclusion, the paper presents directions for developing and further extensions of the proposed design methodology.