Katriel’s Operators for Products of Conjugacy Classes of S<Subscript>n</Subscript>

We define a family of differential operators indexed with fixed point free partitions. When these differential operators act on normalized power sum symmetric functions q(x), the coefficients in the decomposition of this action in the basis q(x) are precisely those of the decomposition of products of corresponding conjugacy classes of the symmetric group S_n. The existence of such operators provides a rigorous definition of Katriels elementary operator representation of conjugacy classes and allows to prove the conjectures he made on their properties.Work partially supported by a grant from the Natural Sciences and Engineering Research Council of Canada.Work partially supported by ECs Research Training Network Algebraic Combinatorics in Europe (grant HPRN-CT-2001-00272).     

On positive strictly singular operators and domination

We study the domination problem by positive strictly singular % operators between Banach lattices. Precisely we show that if E and %F are two Banach lattices such that the norms on E' and F are %order continuous and E satisfies the subsequence splitting property, %and %0S T : E F are two positive operators, then T strictly %singular implies S strictly singular. The special case of %endomorphisms is also considered. Applications to the class of %strictly co-singular (or Pelczynski) operators are given too.     

A conglomerate of exponential supercategories of the category of finitely generated topological spaces

Summary For every ordinaln > 1 we define a categoryT _n of topological spaces in ech's sense which is isomorphic to a category ofn-ary monorelational systems. We show that every categoryT _n is an exponential supercategory of the categoryB of finitely generated topological spaces, which means that well-behaved function spacesG ^H can be defined inT _n wheneverG B.     

Linear Bilipschitz Extension Property

We give a sufficient geometric condition for a subset A of R ⁿ to enjoy the following property for a fixed C1: There is >0 such that for 0, each (1+)-bilipschitz map f: AR ⁿ extends to a (1+C)-bilipschitz map F: R ⁿ R ⁿ .     

Divisorial Linear Algebra of Normal Semigroup Rings

We investigate the minimal number of generators and the depth of divisorial ideals over normal semigroup rings. Such ideals are defined by the inhomogeneous systems of linear inequalities associated with the support hyperplanes of the semigroup. The main result is that for every bound C there exist, up to isomorphism, only finitely many divisorial ideals I such that (I)C. It follows that there exist only finitely many Cohen–Macaulay divisor classes. Moreover, we determine the minimal depth of all divisorial ideals and the behaviour of and depth in arithmetic progressions in the divisor class group.The results are generalized to more general systems of linear inequalities whose homogeneous versions define the semigroup in a not necessarily irredundant way. The ideals arising this way can also be considered as defined by the nonnegative solutions of an inhomogeneous system of linear diophantine equations.We also give a more ring-theoretic approach to the theorem on minimal number of generators of divisorial ideals: it turns out to be a special instance of a theorem on the growth of multigraded Hilbert functions.     

Coupling of viscous and inviscid Stokes equations via a domain decomposition method for finite elements

Summary A generalized Stokes problem is addressed in the framework of a domain decomposition method, in which the physical computational domain is partitioned into two subdomains ₁ and ₂.Three different situations are covered. In the former, the viscous terms are kept in both subdomains. Then we consider the case in which viscosity is dropped out everywhere in . Finally, a hybrid situation in which viscosity is dropped out only in ₁ is addressed. The latter is motivated by physical applications.In all cases, correct transmission conditions across the interface between ₁ and ₂ are devised, and an iterative procedure involving the successive resolution of two subproblems is proposed.The numerical discretization is based upon appropriate finite elements, and stability and convergence analysis is carried out.We also prove that the iteration-by-subdomain algorithms which are associated with the various domain decomposition approaches converge with a rate independent of the finite element mesh size.This work was partially supported by CIRA S.p.A. under the contract Coupling of Euler and Navier-Stokes equations in hypersonic flowsDeceased     

Local isometric immersions of two-dimensional metrics inE 4 with prescribed Gaussian torsion

Suppose that in a domain R(, B) of variables (r, ): (0 r , ₁ +B(r–r ₀ ) ₂–B(r–r₀), where > 0, B > 0, ₁ < 0 < ₂ are numbers) a metric ds² = dr² +G(r, )d ² and a function k(r, ) are given. The problem of isometrically immersing ds² in E ⁴ with prescribed Gaussian torsion is considered. The following is proved: The class C ⁵ metric ds ² is locally realized in the form of a class C ³ surface F ² whose Gaussian torsion is the prescribed class C ³ function (r, ).Translated from Ukrainskii Geometricheskii Sbornik, No. 35, pp. 38–47, 1992.     

Regularized spectral distributions

For C a bounded, injective operator with dense image, we define a C-regularized spectral distribution. This produces a functional calculus, f f(B), from C() into the space of closed densely defined operators, such that f(B)C is bounded when f has compact support. As an analogue of Stone's theorem, we characterize certain regularized spectral distributions as corresponding to generators of polynomially bounded C-regularized groups. We represent the regularized spectral distribution in terms of the regularized group and in terms of the C-resolvent. Applications include the Schrödinger equation with potential, and symmetric hyperbolic systems, all on L^p(ⁿ) (1p<), C _o(ⁿ), BUC(ⁿ), or any space of functions where translation is a bounded strongly continuous group.     

Mouvement moyen et système dynamique gaussien

Summary In the situation of the classical mean motion, we haven planets moving in the plane, planetk+1 being a satellite of planetk. A classcal result then states that planetn has a mean motion,i.e. its mean angular speed between time 0 and timet has a limit whent. We show in this article that any real gaussian dynamical system can be interpreted as the limit of this situation, whenn. From a given nonatomic probability measure on [0,], we construct a transformationT of the complex brownian path (B _u)_0u1 which preserves Wiener measure.T is defined as the limit of a sequenceT _n, whereT _n acts as the motion of 2ⁿ planets. In this way we get a real gaussian dynamical system, whose spectral measure is the symetric probability on [-,] obtained from . The transformationT can be inserted in a flow (T ^t) _t, and the orbitstZ _t=B ₁T ^t still have almost surely a mean motion, which is the mean of .     

On Shikata's distance between differentiable structures

Shikata proved: there is a number (n) with the following property: If two compact homeomorphic n-dimensional manifolds have a distance less than (n), then they are diffeomorphic. We improve the known lower bound (n!)^–n for (n) to 1/3n ^–2.This work was done under the program Sonderforschungsbereich Theoretische Mathematik (SFB 40) at Bonn University while Shikata was SFB-guest at Bonn.     

A new smoothing-regularization approach for a maximum-likelihood estimation problem

We consider the problem min _i=1 ^m (aⁱ,x–b_iloga ⁱ, z) subject tox 0 which occurs as a maximum-likelihood estimation problem in several areas, and particularly in positron emission tomography. After noticing that this problem is equivalent to mind(b, Ax) subject tox 0, whered is the Kullback-Leibler information divergence andA, b are the matrix and vector with rows and entriesa ⁱ,b _i, respectively, we suggest a regularized problem mind(b, Ax) + d(v, Sx), where is the regularization parameter,S is a smoothing matrix, andv is a fixed vector. We present a computationally attractive algorithm for the regularized problem, establish its convergence, and show that the regularized solutions, as goes to 0, converge to the solution of the original problem which minimizes a convex function related tod(v, Sx). We give convergence-rate results both for the regularized solutions and for their functional values.The research of A. N. Iusem was partially supported by CNPq Grant No. 301280/86-MA.     

About generalized ideals in a distributive lattice

Let L be a distributive lattice characterized by a ternary operation (, ,), where (a,b,c)=(ab)(bc)(ac)=(ab)(ac)(bc), a,b,cL. The note considers convex sublattices of L, called generalized ideals of L generated by the operation (, ,). Some remarks have been stated about the graph of a distributive lattice.     

Ergodic properties of flows of classes of positive binary quadratic forms in Gaussian genera

The present paper is devoted to further development and refinement of previous results due to A. V. Malyshev and the author concerning the so-called discrete ergodic method of Yu. V. Linnik. An ergodic theorem and a mixing theorem for flows of positive binary quadratic forms are proved; these theorems describe the asymptotic distribution of the coefficients of these forms over the residue classes and over the corresponding surface. Bibliography: 12titles.Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 236, 1997, pp. 149–161.     

Cycle-pancyclism in tournaments II

LetT be a Hamiltonian tournament withn vertices and a Hamiltonian cycle ofT. In this paper we develope a general method to find cycles of lengthk, n+4/2 < k < n, intersecting in a large number of arcs. In particular we can show that if there does not exist a cycle.C _k intersecting in at leastk – 3 arcs then for any arce of there exists a cycleC _k containinge and intersecting in at leastk – 2(n–3)/n–k+3 – 2 arcs. In a previous paper [3] the case of cycles of lengthk, k n+4/2 was studied.On leave at MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, USA.     

Reflected Brownian motion in a cone: Semimartingale property

Summary In this paper, the object of study is reflected Brownian motion in a cone ind-dimensions (d3) with nonconstant oblique reflection on each radial line emanating from the vertex of the cone. The basic question considered here is When is this process a semimartingale?. Conditions for the existence and uniqueness of the process for which the vertex is an instantaneous state were given by Kwon, which is resolved in terms of a real parameter depending on the cone and the direction of reflection. It is shown that starting from any point of the cone, the process is a semimartingale if < 1, + 0 and not a semimartingale if < < 2.This research is supported by KOSEF grant 941-0100-011-1     

Some extensions of the Hewitt-Savage zero-one law

Summary Let denote the class of infinite product probability measures = ₁× ₂× defined on an infinite product of replications of a given measurable space (X, A), and let denote the subset of for which (A) =0 or 1 for each permutation invariant event A. Previous works by Hewitt and Savage, Horn and Schach, Blum and Pathak, and Sendler (referenced in the paper) discuss very restrictive sufficient conditions under which a given member , of belongs to . In the present paper, the class is shown to possess several closure properties. E.g., if and _{0 n} for some n 1, then ₀× ₁× ₂×.... While the current results do not permit a complete characterization of they demonstrate conclusively that is a much larger subset of than previous results indicated. The interesting special case X={0,1} is discussed in detail.Research supported by the National Science Foundation under grant No. MCS75-07556     

On the geometry of random Cantor sets and fractal percolation

Random Cantor sets are constructions which generalize the classical Cantor set, middle third deletion being replaced by a random substitution in an arbitrary number of dimensions. Two results are presented here. (a) We establish a necessary and sufficient condition for the projection of ad-dimensional random Cantor set in [0,1]^d onto ane-dimensional coordinate subspace to contain ane-dimensional ball with positive probability. The same condition applies to the event that the projection is the entiree-dimensional unit cube [0,1] ^e . This answers a question of Dekking and Meester,⁽⁹⁾ (b) The special case of fractal percolation arises when the substitution is as follows: The cube [0,1] ^d is divided intoM ^d subcubes of side-lengthM ^–, and each such cube is retained with probabilityp independently of all other subcubes. We show that the critical valuep _c(M, d) ofp, marking the existence of crossings of [0,1] ^d contained in the limit set, satisfiesp _c(M, d)p _c(d) asM, wherep _c(d) is the critical probability of site percolation on a latticeL ^d obtained by adding certain edges to the hypercubic lattice ^d . This result generalizes in an unexpected way a finding of Chayes and Chayes,⁽⁴⁾ who studied the special case whend=2.     

Partial Orders on Transformation Semigroups

In 1986, Kowol and Mitsch studied properties of the so-called natural partial order on T(X), the total transformation semigroup defined on a set X. In particular, they determined when two total transformations are related under this order, and they described the minimal and maximal elements of (T(X), ). In this paper, we extend that work to the semigroup P(X) of all partial transformations of X, compare with another natural partial order on P(X), characterise the meet and join of these two orders, and determine the minimal and maximal elements of P(X) with respect to each order.This author gratefully acknowledges the generous support of Centro de Matematica, Universidade do Minho, Portugal during his visit in May–June 2001.Received May 27, 2002; in revised form November 27, 2002 Published online May 16, 2003     

Nonnegative Hall Polynomials

The number of subgroups of type and cotype in a finite abelian p-group of type is a polynomialg with integral coefficients. We prove g has nonnegative coefficients for all partitions and if and only if no two parts of differ by more than one. Necessity follows from a few simple facts about Hall-Littlewood symmetric functions; sufficiency relies on properties of certain order-preserving surjections that associate to each subgroup a vector dominated componentwise by . The nonzero components of (H) are the parts of , the type of H; if no two parts of differ by more than one, the nonzero components of – (H) are the parts of , the cotype of H. In fact, we provide an order-theoretic characterization of those isomorphism types of finite abelian p-groups all of whose Hall polynomials have nonnegative coefficients.     

Quasianapole Interaction of Charged Fermions

We obtain the analytic expression for the total cross section of the reaction e ^– e ⁺l ^– l ⁺ (l=,) taking possible quasianapole interaction effects into account. We find numerical restrictions on the interaction parameter value from data for the reaction e ^– e ^+–+ in the energy domain below the Z ⁰ peak.