Subgroups of the full linear group over a semilocal ring

Let be a semilocal ring (a factor ring with respect to the Jacobson-Artin radical) for which the residue field C/m of its center C with respect to each maximal idealmC contains no fewer than seven elements. The structure of subgroups H in the full linear group GL(n, ) containing the group of diagonal matrices is considered. The main theorem: for any subgroup H there is a uniquely determined D-net of ideals such that G()HN(), whereN() is the normalizer of the D-net subgroup . A transparent classification of subgroups GL(n, ) normalizable by diagonal matrices is thus obtained. Further, the factor groupN()/G() is studied.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 75, pp. 32–34, 1978.     

Noncommutative Valuation Rings of the Quotient Artinian Ring of a Skew Polynomial Ring

Let R be a Dubrovin valuation ring of a simple Artinian ring Q and let Q[X,] be the skew polynomial ring over Q in an indeterminate X, where is an automorphism of Q. Consider the natural map from Q[X,]_XQ[X,] to Q, where Q[X,]_XQ[X,] is the localization of Q[X,] at the maximal ideal XQ[X,] and set , the complete inverse image of R by . It is shown that is a Dubrovin valuation ring of Q(X,) (the quotient ring of Q[X,]) and it is characterized in terms of X and Q. In the case where R is an invariant valuation ring, the given automorphism is classified into five types, in order to study the structure of (the value group of ). It is shown that there is a commutative valuation ring R with automorphism which belongs to each type and which makes Abelian or non-Abelian. Furthermore, some examples are used to show that several ideal-theoretic properties of a Dubrovin valuation ring of Q with finite dimension over its center, do not necessarily hold in the case where Q is infinite-dimensional. Presented by A. VerschorenMathematics Subject Classifications (2000) 16L99, 16S36, 16W60.     

Messbare Mengen von Massen und Inhalten

Let X be a completely regular space. The customary -field is the coarsest -field on the space of Bairemeasures on X which makes (A) measurable for any Baire set A. We compare the customary -field with the Baire and Borel -field induced by the weak* topology which lies on the dual space C(X). In (2.3) it is shown that the customary -field is just the Baire -field. In part 3 necessary and sufficient conditions are given under which the set of -smooth measures is measurable with respect to the Borel -field which lies on the positive cone of the space of finitely additive, regular measures C(X). Finally, a decomposition theorem for generalized kernels is proved. The -smooth part of a generalized kernel is a kernel again if certain conditions are fulfilled.     

Sufficient Conditions for the Existence of Disintegrations

Let be a probability space and a partition of . A necessary and sufficient condition is given for the existence of a -additive and measurable disintegration of P on . It is also shown that P admits a -additive (but not measurable) disintegration on whenever is a standard space and the set (₁, ₂):₁ and ₂ are in the same element of } is coanalytic in ×. Finally, sufficient statistics (in the classical Fisherian sense) are investigated by using -additive disintegrations as conditional probabilities.     

A compactness property of Dedekind σ-completef-rings

We prove that Dedekind -completef-rings are boundedly countably atomic compact in the language (+, –, ·,, , ). This means that whenever is a countable set of atomic formulae with parameters from some Dedekind -completef-ringA every finite subsystem of which admits a solution in some fixed productK of bounded closed intervals ofA, then admits a solution inK.Presented by M. Henriksen.     

Harmonic functions on nilpotent groups

For a probability measure on a locally compact groupG which is not supported on any proper closed subgroup, an elementF ofL (G) is called -harmonic if F(st)d(t)=F(s), for almost alls inG. Constant functions are -harmonic and it is known that for abelianG all -harmonic functions are constant. For other groups it is known that non constant -harmonic functions exist and the question of whether such functions exist on nilpotent groups is open, though a number of partial results are known. We show that for nilpotent groups of class 2 there are no non constant -harmonic functions. Our methods also enable us to give new proofs of results similar to the known partial results.     

On the stochastic independence properties of hard-core distributions

A probability measurep on the set of matchings in a graph (or, more generally 2-bounded hypergraph) ishard-core if for some : [0,), the probabilityp(M) ofM is proportional to . We show that such distributions enjoy substantial approximate stochastic independence properties. This is based on showing that, withM chosen according to the hard-core distributionp, MP () the matching polytope of , and >0, if the vector ofmarginals, (Pr(AM):A an edge of ), is in (1–) MP (), then the weights (A) are bounded by someA(). This eventually implies, for example, that under the same assumption, with fixed, as the distance betweenA, B tends to infinity.Thought to be of independent interest, our results have already been applied in the resolutions of several questions involving asymptotic behaviour of graphs and hypergraphs (see [14, 16], [11]–[13]).Supported in part by NSFThis work forms part of the author's doctoral dissertation [16]; see also [17]. The author gratefully acknowledges NSERC for partial support in the form of a 1967 Science and Engineering Scholarship.     

On the On-line Number of Snacks Problem

In the number of snacks problem (NSP), which was originally proposed by our team, an on-line player is given the task of deciding how many shares of snacks his noshery should prepare each day. The on-line player must make his decision and then finish the preparation before the customers come to his noshery for the snacks; in other words, he must make decision in an on-line fashion. His goal is to minimize the competitive ratio, defined as _: C_A()/C_OPT(), where denotes a sequence of numbers of customers, C _OPT() is the cost of satisfying by an optimal off-line algorithm, and C _A() is the cost of satisfying by an on-line algorithm. In this paper we give a competitive algorithm for on-line number of snacks problem P1, the Extreme Numbers Harmonic Algorithm(ENHA), with competitive ratio 1+p(M-m)/(M+m), where M and m are two extreme numbers of customers over the total period of the game, and p is a ratio concerning the cost of the two types of situations, and then prove that this competitive ratio is the best one if an on-line player chooses a fixed number of shares of snacks for any sequence of numbers of customers. We also discuss several variants of the NSP and give some results for it. Finally, we propose a conjecture for the on-line NSP.     

The convolution equation of Choquet and Deny on [IN]-groups

Let be a probability measure on a locally compact groupG. A real Borel functionf onG is called -harmonic if it satisfies the convolution equation *f=f. Given that isnonsingular with its translates, we show that the bounded -harmonic functions are constant on a class of groups including the almost connected [IN]-groups. If is nondegenerate and absolutely continuous, we solve the more general equation *= for positive measure on those groups which are metrizable and separable.Supported by Hong Kong RGC Earmarked Grant and CUHK Direct Grant     

More projective geometry associated with unramified double covers of curves of genus four

Sunto Sia : YY un rivestimento doppio non diramato di una curva di genere quattro definita su C e a moduli generali. Sia il punto di 2-divisione associate a . In questa nota si studia il sistema 2 delle quardriche di contatto al modello canonico di Y, associato al dato rivestimento.e si esplicita una biezione tra l'insieme delle theta-caratteristiche dispari di Y che diffeiscono per e l'insieme dell theta caratteristiche dispari dell curve di genere tre la cui Jacobiana e isomorfa (come v.a.p.p.) alla varieta di Prym P(f Y Y)     

Taut Distance-Regular Graphs of Odd Diameter

Let denote a bipartite distance-regular graph with diameter D 4, valency k 3, and distinct eigenvalues ₀ > ₁ > ··· > _D. Let M denote the Bose-Mesner algebra of . For 0 i D, let E _i denote the primitive idempotent of M associated with _i . We refer to E ₀ and E _D as the trivial idempotents of M. Let E, F denote primitive idempotents of M. We say the pair E, F is taut whenever (i) E, F are nontrivial, and (ii) the entry-wise product E F is a linear combination of two distinct primitive idempotents of M. We show the pair E, F is taut if and only if there exist real scalars , such that _{i + 1 i + 1} – _{i – 1 i – 1} = _i ( _{i + 1} – _{i – 1}) + _i ( _{i + 1} – _{i – 1}) + (1 i D – 1)where ₀, ₁, ..., _D and ₀, ₁, ..., _D denote the cosine sequences of E, F, respectively. We define to be taut whenever has at least one taut pair of primitive idempotents but is not 2-homogeneous in the sense of Nomura and Curtin. Assume is taut and D is odd, and assume the pair E, F is taut. We show

A method to obtain some similarity solutions to the generalized Newtonian fluid

It is shown that a similarity solution to the Rayieigh flow problem for a generalized Newtonian fluid exists if the fluid boundary (y=0) is given a velocityU(t) t ^1/2. Furthermore, if the fluid is of the power-law type then similarity solutions exist ifU(t) t (orU(t) e ^t), where is any real number.

---

Zusammenfassung Eine Methode wird aufgezeigt, wonach eine Ähnlichkeitslösung für das Rayleigh Strömungsproblem für eine allgemeine Newtonische Flüssigkeit besteht, falls der Flüssigkeitsgrenze (y=0) eine GeschwindigkeitU (t) t ^1/2 zugeordnet wird. Für Flüssigkeiten von Potenz-Gesetz-Charakter gibt es außerdem Ähnlichkeitslösungen, fallsU(t) t (orU(t) e ^t) gilt, wobei eine beliebige reelle Zahl darstellt.

     

Regressions and monotone chains II: The poset of integer intervals

A regressive function (also called a regression or contractive mapping) on a partial order P is a function mapping P to itself such that (x)x. A monotone k-chain for is a k-chain on which is order-preserving; i.e., a chain x ₁<...ksuch that (x ₁)...(x_k). Let P _nbe the poset of integer intervals {i, i+1, ..., m} contained in {1, 2, ..., n}, ordered by inclusion. Let f(k) be the least value of n such that every regression on P _nhas a monotone k+1-chain, let t(x,j) be defined by t(x, 0)=1 and t(x,j)=x ^t(x,j–1). Then f(k) exists for all k (originally proved by D. White), and t(2,k) < f(K) <t( + _k, k) , where _k 0 as k. Alternatively, the largest k such that every regression on P _nis guaranteed to have a monotone k-chain lies between lg^*(n) and lg^*(n)–2, inclusive, where lg^*(n) is the number of appliations of logarithm base 2 required to reduce n to a negative number. Analogous results hold for choice functions, which are regressions in which every element is mapped to a minimal element.     

Subgroups of the general symplectic group containing the group of diagonal matrices

There are described the subgroups of the general symplectic group =GSp(2n, R) over a commutative semilocal ring R, containing the group of symplectic diagonal matrices. For each such subgroup P there is uniquely defined a symplectic D-net a such that ()pN(), where () is the net subgroup in corresponding to (cf. RZhMat, 1977, 5A288), and N() is its normalizer. The quotient group N × ()/() is calculated. There are also considered subgroups in Sp(2n, R). Analogous results for subgroups of the general linear group were obtained earlier in RZhMat, 1978, 9A237.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 103, pp. 31–47, 1980.     

Monotonic subsequences in permutations of n natural numbers

Let S_n be the set of all permutations of the numbers 1, 2,..., n, and letl _n() be the number of terms in the maximal monotonic subsequence contained in S_n. If M[l _n()] is the mean value ofl _n () on S_n, then, for all except a finite number of n, the bound M[l _n()] e n is valid.Translated from Matematicheskie Zametki, Vol. 13, No. 4, pp. 511–514, April, 1973.The author wishes to thank E. M. Nikishin for having posed the problem and for his constant interest in the work.     

Solution of a problem on the identification of parameters by the distribution of the maximum random variable: a multivariate normal case

In this paper we solve the problem of unique factorization of products ofn-variate nonsingular normal distributions with covariance matrices of the form , _ij =p _{i j} forij, = _i ² ,j=j,p0.     

On the zone of a surface in a hyperplane arrangement

LetH be a collection ofn hyperplanes in ^d , letA denote the arrangement ofH, and let be a (d–1)-dimensional algebraic surface of low degree, or the boundary of a convex set in ^d . Thezone of inA is the collection of cells ofA crossed by . We show that the total number of faces bounding the cells of the zone of isO(n ^d–1 logn). More generally, if has dimensionp, 0p<d, this quantity isO(n ^[(d+p)/2]) ford–p even andO(n ^[(d+p)/2] logn) ford–p odd. These bounds are tight within a logarithmic factor.This paper is the union of two conference proceedings papers [3], [15]. Work on this paper by M. Pellegrini and M. Sharir has been supported by NSF Grant CCR-8901484. Work on this paper by M. Sharir has also been supported by ONR Grant N00014-90-J-1284 and by grants from the U.S.-Israeli Binational Science Foundation, the G.I.F. (the German-Israeli Foundation for Scientific Research and Development), and the Fund for Basic Research administered by the Israeli Academy of Sciences. M. Pellegrini's current address is Department of Computing, King's College, Strand, London WC2R 2LS, England.     

Inner functions and related spaces of pseudocontinuable functions

Let be an inner function, let C, ¦¦=1. Then the harmonic function [(+)]/(–)] is the Poisson integral of a singular measure D. N. Clark's known theorem enables us to identify in a natural manner the space H² H² with the space L² ( ).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 170, pp. 7–33, 1989.     

Un théorème de Choquet-Deny pour les groupes moyennables

Résumé SoitG un groupe moyennable connexe, locallement compact, à base dénombrable. Soit une mesure positive sur les boréliens deG. Nous étudions les fonctions boréliennes positivesh vérifiant: g G, . Sous de bonnes hypothèses sur , nous obtenons, pour ces fonctions, une représentation intégrale à l'aide d'exponentielles.

---

Summary LetG be a connected locally compact separable amenable group. Let be a positive measure on the Borel -field ofG. We study the positive Borel functionsh onG which satisfy: g G, . Under smooth assumptions on , we establish an integral representation of these functions in term of exponentials.

     

Weak convergence of probability measures relative to incompatible topology and σ-field with applications to renewal theory

Summary Necessary and sufficient conditions are given in order that a sequence of probability measures, weakly convergent relative to a given topology ₀ and associated -field ( ₀), are weakly convergent (and satisfy a continuity theorem) relative to the ( ₀)-measurable functions which are continuous in some finer topology ₁, even if does not extend to ( ₀). These conditions are shown to be applicable to a sequence of translated renewal measures. Alternate conditions (tightness, uniformity of weak convergence) are investigated and shown to be inappropriate.This research was partially supported by UMC Summer Faculty Research Fellowships