Representation of Cubic Lattices by Symmetric Implication Algebras

In this paper a cubic lattice L(S) is endowed with a symmetric implication structure and it is proved that L(S) \ {0} is a power of the three-element simple symmetric implication algebra. The Metropolis–Rota’s symmetries are obtained as partial terms in the language of symmetric implication algebras.     

Fractional Hamiltonian Monodromy

We introduce fractional monodromy in order to characterize certain non-isolated critical values of the energy–momentum map of integrable Hamiltonian dynamical systems represented by nonlinear resonant two-dimensional oscillators. We give the formal mathematical definition of fractional monodromy, which is a generalization of the definition of monodromy used by other authors before. We prove that the 1:( − 2) resonant oscillator system has monodromy matrix with half-integer coefficients and discuss manifestations of this monodromy in quantum systems. Communicated by Eduard Zehnder Submitted: February 25, 2005; Accepted: November 17, 2005     

Pushing Squares Around

We study dynamic self-reconfiguration of modular metamorphic systems. We guarantee the feasibility of motion planning in a rectangular model consisting of square modules that are allowed to slide along or rotate about one another. That is, we show that any two connected configurations of the same number of modules can be transformed into each other by a sequence of moves so that all intermediate configurations are connected. This settles a conjecture formulated in [6].     

Parking Capacity and Pricing in Park'n Ride Trips: A Continuous Equilibrium Network Design Problem

In this paper we consider the problem of designing parking facilities for park'n ride trips. We present a new continuous equilibrium network design problem to decide the capacity and fare of these parking lots at a tactical level. We assume that the parking facilities have already been located and other topological decisions have already been taken.The modeling approach proposed is mathematical programming with equilibrium constraints. In the outer optimization problem, a central Authority evaluates the performance of the transport network for each network design decision. In the inner problem a multimodal traffic assignment with combined modes, formulated as a variational inequality problem, generates the share demand for modes of transportation, and for parking facilities as a function of the design variables of the parking lots. The objective is to make optimal parking investment and pricing decisions in order to minimize the total travel cost in a subnetwork of the multimodal transportation system.We present a new development in model formulation based on the use of generalized parking link cost as a design variable.The bilevel model is solved by a simulated annealing algorithm applied to the continuous and non-negative design decision variables. Numerical tests are reported in order to illustrate the use of the model, and the ability of the approach to solve applications of moderate size.     

Thee + e −→¯nn cross section predicted remarkably larger than thee + e −→¯pp one

It is shown that all global analyses of nucleon electromagnetic form factor data predict the electron-positron annihilation into neutron-antineutron cross section (for which there are no data till now) to be in a finite energy region substantially larger than the electron-positron annihilation into the proton-antiproton one.Dedicated to the memory of M. Gmitro.     

An attempt on the calculation of relativistic potential energy curves: Noble gas difluorides

Total energy SCF calculations were performed for noble gas difluorides in a relativistic procedure and compared with analogous non-relativistic calculations. The discrete variational method with numerical basis functions was used. Rather smooth potential energy curves could be obtained. The theoretical Kr-F and Xe-F bond distances were calculated to be 3.5 a.u. and 3.6 a.u. which should be compared with the experimental values of 3.54 a.u. and 3.7 a.u. Although the dissociation energies are off by a factor of about five it was found that ArF₂ may be a stable molecule. Theoretical ionization energies for the outer levels reproduce the experimental values for KrF₂ and XeF₂ to within 2 eV.     

On the Behavior of Some Second Order Nonlinear Differential Equations

Qualitative behavior of second order nonlinear differential equations of type y″+p(t)y+q(t)f(y)=0, is studied. It includes properties such as positivity, number of zeros, oscillating nature, boundedness and monotonicity of the solutions.