Compact spreads and compact translation planes over locally compact fields

We prove that a spread S over a locally compact nondlscrete field F defines a topological translation plane if and only if the spread is compact. For F=R, this is implicit in Breuning's thesis [Bre], cf. [B 2]. For the proof, we describe the point set of the projective translation plane as a quotient space of some projective space, with identifications taking place in one hyperplane. This is new even for F=R.     

Affine-scaling for linear programs with free variables

The affine-scaling modification of Karmarkar's algorithm is extended to solve problems with free variables. This extended primal algorithm is used to prove two important results. First the geometrically elegant feasibility algorithm proposed by Chandru and Kochar is the same algorithm as the one obtained by appending a single column of residuals to the constraint matrix. Second the dual algorithm as first described by Adler et al., is the same as the extended primal algorithm applied to the dual.     

Piecewise-linearized methods for oscillators with limit cycles

A piecewise linearization method based on the linearization of nonlinear ordinary differential equations in small intervals, that provides piecewise analytical solutions in each interval and smooth solutions everywhere, is developed for the study of the limit cycles of smooth and non-smooth, conservative and non-conservative, nonlinear oscillators. It is shown that this method provides nonlinear maps for the displacement and velocity which depend on the previous values through the nonlinearity and its partial derivatives with respect to time, displacement and velocity, and yields non-standard finite difference formulae. It is also shown by means of five examples that the piecewise linearization method presented here is more robust and yields more accurate (in terms of displacement, energy and frequency) solutions than the harmonic balance procedure, the method of slowly varying amplitude and phase, and other non-standard finite difference equations.     

A detailed study of the generation of optically detectable watermarks using the logistic map

A digital watermark is a visible, or preferably invisible, identification code that is permanently embedded in digital media, to prove owner authentication and provide protection for documents. Given the interest in watermark generation using chaotic functions a detailed study of one chaotic function for this purpose is performed. In this paper, we present an approach for the generation of watermarks using the logistic map. Using this function, in conjunction with seed management, it is possible to generate chaotic sequences that may be used to create highpass or lowpass digital watermarks. In this paper we provide a detailed study on the generation of optically detectable watermarks and we provide some guidelines on successful chaotic watermark generation using the logistic map, and show using a recently published scheme, how care must be taken in the selection of the function seed.     

Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gröbner basis method

Some geometric theorems can be stated in coordinate-free form as polynomials in Grassman algebra and can be proven by the anticommutative Gröbner basis method. In this article, we analyze some properties of both sets of hypotheses and conclusions of the theorem.     

Dependence of the H2-H2 Interaction on the Monomer Bond Lengths: Steps Toward an Accurate ab initio Estimate

We compute the vibrational coupling between two H₂ molecules from ab initio quantum chemical calculations of the H₂-H₂ potential carried out at the full configuration interaction level of theory using the atom-centered aug-cc-pVTZ basis set for hydrogen. We compare the full configuration interaction results with those obtained using two variants of coupled cluster theory and find that a fully iterative treatment of connected triples may be required to estimate the H₂-H₂ vibrational coupling accurately using coupled cluster theory.     

Periodic Integrable Systems with Delta-Potentials

In this paper we study root system generalizations of the quantum Bose-gas on the circle with pair-wise delta-function interactions. The underlying symmetry structures are shown to be governed by the associated graded algebra of Cherednik's (suitably filtered) degenerate double affine Hecke algebra, acting by Dunkl-type differential-reflection operators. We use Gutkin's generalization of the equivalence between the impenetrable Bose-gas and the free Fermi-gas to derive the Bethe ansatz equations and the Bethe ansatz eigenfunctions.     

On iteration semigroups of mean-type mappings and invariant means

Summary. Iteration semigroups of weighted quasi-arithmetic mean-type mappings are considered. Existence and uniqueness of a mean which is invariant with respect to a continuous semigroup of mean-type mapping is proved.     

Kalman filtering of a space-time Markov random field

In this paper, finite-dimensional recursive filters for space-time Markov random fields are derived. These filters can be used with the expectation maximization (EM) algorithm to yield maximum likelihood estimates of the parameters of the model.