Minimizing the number of transitions with respect to observation equivalence

Labeled transition systems (lts) provide an operational semantics for many specification languages. In order to abstract unrelevant details of lts's, manybehavioural equivalences have been defined; here observation equivalence is considered. We are interested in the following problem:Given a finite lts, which is the minimal observation equivalent lts corresponding to it? It is well known that the number of states of an lts can be minimized by applying arelational coarsest partition algorithm. However, the obtained lts is not unique (up to the renaming of the states): for an lts there may exist several observation equivalent lts's which have the minimal number of states but varying number of transitions. In this paper we show how the number of transitions can be minimized, obtaining a unique lts.     

U-statistics in danach spaces

U-statistics in Banach spaces are considered and thoroughly investigated. The martingale structure, estimates of moments, the law of large numbers, the central limit theorem, the invariance principle, estimates of the rate of convergence, and large deviations are established     

Mass spectral analysis and imaging of tissue by ToF-SIMS—The role of buckminsterfullerene, C60, primary ions

Recent developments in desorption/ionisation mass spectrometry techniques have made their application to biological analysis a realistic and successful proposition. Developments in primary ion source technology, mainly through the advent of polyatomic ion beams, have meant that the technique of secondary ion mass spectrometry (SIMS) can now access the depths of information required to allow biological imaging to be a viable option.Here the role of the primary ion C₆₀⁺ is assessed with regard to molecular imaging of lipids and pharmaceuticals within tissue sections. High secondary ion yields and low surface damage accumulation are demonstrated on both model and real biological samples, indicating the high secondary ion efficiency afforded to the analyst by this primary ion when compared to other cluster ion beams used in imaging. The newly developed 40 keV C₆₀⁺ ion source allows the beam to be focused such that high resolution imaging is demonstrated on a tissue sample, and the greater yields allow the molecular signal from the drug raclopride to be imaged within tissue section following in vivo dosing.The localisation shown for this drug alludes to issues regarding the chemical environment affecting the ionisation probability of the molecule; the importance of this effect is demonstrated with model systems and the possibility of using laser post-ionisation as a method for reducing this consequence of bio-sample complexity is demonstrated and discussed.     

Classification of real moduli spaces over genus 2 curves

We classify, in terms of simple algebraic equations, the fixed point sets of the moduli space of stable bundles over genus 2 curves with anti-holomorphic involutions.Research supported by SRF of University of Missouri.     

On the fast reduction of a quasiseparable matrix to Hessenberg and tridiagonal forms

In this paper we design a fast new algorithm for reducing an N × N quasiseparable matrix to upper Hessenberg form via a sequence of N − 2 unitary transformations. The new reduction is especially useful when it is followed by the QR algorithm to obtain a complete set of eigenvalues of the original matrix. In particular, it is shown that in a number of cases some recently devised fast adaptations of the QR method for quasiseparable matrices can benefit from using the proposed reduction as a preprocessing step, yielding lower cost and a simplification of implementation.     

Differential operators on Hilbert modular forms

We investigate differential operators and their compatibility with subgroups of SL₂n(R). In particular, we construct Rankin-Cohen brackets for Hilbert modular forms, and more generally, multilinear differential operators on the space of Hilbert modular forms. As an application, we explicitly determine the Rankin-Cohen bracket of a Hilbert-Eisenstein series and an arbitrary Hilbert modular form. We use this result to compute the Petersson inner product of such a bracket and a Hilbert modular cusp form.     

Engel Values in Residually Finite Groups

The following theorem is proved. Let n be a positive integer and q a power of a prime p. There exists a number m = m(n, q) depending only on n and q such that if G is any residually finite group satisfying the identity ([x _1,n y ₁] ⋯ [x _m,n y _m ])^q ≡ 1, then the verbal subgroup of G corresponding to the nth Engel word is locally finite.     

Ordered OLPS and CF Nth numerators

Definitions, theorems and examples are established for a general model of Laurent polynomial spaces and ordered orthogonal Laurent polynomial sequences, ordered with respect to ordered bases and orthogonal with respect to inner products ·=L°⊙ decomposed into transition functional ⊙ and strong moment functional, or, more generally, sample functional L couplings. Under this formulation that is shown to subsume those in the existing literature, new fundamental results are produced, including necessary and sufficient conditions for ordered OLPS to be sequences of nth numerators of continued fractions, in contrast to the classical result concerning nth denominators which is shown to hold only in special cases.