Universal algebras

A survey of the development of the theory of universal algebras in the years 1976–1988. Such basic directions of development of this theory as classes of universal algebras (varieties, quasivarieties, etc.), Mal'tsev conditions, congruences, sheaves, homomorphisms, subalgebras, products of algebras, clones of operations, completeness, systems of equations in algeberas, and connections with computer mathematics show up in it. Considerable attention is given to concrete classes of algebras (p-algebras, BCK-algebras, unary algebras, etc.).Translated from Itogi Nauki i Tekhniki, Seriya Algebra, Topologiya, Geometriya, Vol. 27, pp. 45–124, 1989.     

Polynomial-time computation of the degree of a dominant morphism in zero characteristic. II

Consider a projective algebraic variety W which is an irreducible component of the set of all common zeros of a family of homogeneous polynomials of degrees less than d in n + 1 variables over a field of zero characteristic. Consider a dominant rational morphism from W to W′ given by homogeneous polynomials of degree d′. We suggest algorithms for constructing objects in general position related to this morphism. They generalize some algorithms from the first part of the paper to the case dim W > dim W′. These algorithms are deterministic and polynomial in (dd′)n and the size of the input. Bibliography: 12 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 325, 2005, pp. 181–224.     

Estimates for the Second Order Derivatives of Eigenvectors in Thin Anisotropic Plates with Variable Thickness

For the second order derivatives of eigenvectors in a thin anisotropic heterogeneous plate Ω_h, we derive estimates of their weighted L₂-norms with majorants whose dependence on the plate thickness h and on the eigenvalue number is expressed explicitly. These estimates maintain the asymptotic sharpness throughout the entire spectrum, whereas inside its low-frequency band the majorants remain bounded as h → +0. The latter is a rather unexpected fact, because for the first eigenfunction u¹ of a similar boundary-value problem for a scalar second order differential operator with variable coefficients, the norm ‖∇ _x ² u⁰; L₂(Ω_h)‖ is of order h⁻¹ and grows as h tends to zero. Bibliography: 35 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 308, 2004, pp. 161–180.     

Analogue of a spin flop phase transition for an array of magnetic moments with dipole interaction

In a two-dimensional array of magnetic moments with planar magnetization and relatively weak anisotropy in the basal plane, a stepwise phase transition is induced by an external magnetic field parallel to the easy axis of the system. This transition is similar to the spin flop phase transition in weakly anisotropic Heisenberg antiferromagnets with the significant difference that it is accompanied by the rearrangement of the sublattice structure of the magnet; i.e., it can be interpreted as a topological transition. The transition should manifest itself for arrays of submicron magnetic particles (magnetic dots) on nonmagnetic substrates, which have recently become the object of intensive research.     

Modelling recruitment training in mathematical human resource planning

This paper deals with mathematical human resource planning; more specifically, it suggests a new model for a manpower‐planning system. In general, we study a k‐classed hierarchical system where the workforce demand at each time period is satisfied through internal mobility and recruitment. The motivation for this work is based on various European Union incentives, which promote regional or local government assistance programs that could be exploited by firms not only for hiring and training newcomers, but also to improve the skills and knowledge of their existing personnel. In this respect, in our augmented mobility model we establish a new ‘training/standby’ class, which serves as a manpower inventory position for potential recruits. This class, which may very well be internal or external to the system, is incorporated into the framework of a non‐homogeneous Markov chain model. Furthermore, cost objectives are employed using the goal‐programming approach, under different operating assumptions, in order to minimize the operational cost in the presence of system's constraints and regulations. Copyright © 2002 John Wiley & Sons, Ltd.     

Fibrations of bigroupoids

Using Brown's construction (J. Algebra 15 (1970) 103) of an exact 6-term sequence for a fibration of groupoids we show how an exact 9-term sequence can be associated to a fibration of bigroupoids. Applications to topology and algebra are given.     

Characterization and Computation of Canonical Tight Windows for Gabor Frames

Let (\gnm)_{n,m ? \Zst}(\gnm)_{n,m\in\Zst} be a Gabor frame for \LtR\LtR for given window gg. We show that the window \ho = \SQI g\ho=\SQI g that generates the canonically associated tight Gabor frame minimizes ||g-h||\|g-h\| among all windows hh generating a normalized tight Gabor frame. We present and prove versions of this result in the time domain, the frequency domain, the time-frequency domain, and the Zak transform domain, where in each domain the canonical \ho\ho is expressed using functional calculus for Gabor frame operators. Furthermore, we derive a Wiener--Levy type theorem for rationally oversampled Gabor frames. Finally, a Newton-type method for a fast numerical calculation of \ho\ho is presented. We analyze the convergence behavior of this method and demonstrate the efficiency of the proposed algorithm by some numerical examples.     

Contact Interaction of Two Elastic Wedges

We consider the problem of contact of two elastic wedges and assume that only the vertices of the wedges touch before loading. After loading, the edges of both wedges come in contact near their common vertex. We reduce the constructed system of dual integral equations to a Fredholm integral equation of the second kind with difference kernel given on the semiaxis. We analytically solve the Fredholm equation by reducing it to the boundary-value Riemann problem for analytic functions. We obtain an analytic expression for contact stresses.