Range of the posterior probability of an interval for priors with unimodality preserving contaminations

Range of the posterior probability of an interval over the -contamination class ={=(1–)₀+q:qQ} is derived. Here, ₀ is the elicited prior which is assumed unimodal, is the amount of uncertainty in ₀, andQ is the set of all probability densitiesq for which =(1–)₀+q is unimodal with the same mode as that of ₀. We show that the sup (resp. inf) of the posterior probability of an interval is attained by a prior which is equal to (1–)₀ except in one interval (resp. two disjoint intervals) where it is constant.     

The arithmetic of the characteristic Pólya functions

In the framework of the theory of D. Kendall's delphic semigroups are considered problems of divisibility in the semigroup of convex characteristic functions on the semiaxis (0,). Letn ()={:₁¦₁1 or ₁=}, and I_o()={: ₁¦ ₁ N()}. The following results are proved: 1) The semigroup is almost delphic in the sense of R. Davidson. 2) N() is a set of the type G which is dense in (in the topology of uniform convergence on compacta). 3) The class I_o() contains only the function identically equal to one.Translated from Matematicheskie Zametki, Vol. 21, No. 5, pp. 717–725, May, 1977.The author thanks I. V. Ostrovskii for the formulation of the problem and valuable remarks.     

1-formes fermées singulières et groupe fondamental

Summary We study the influence of the ₁ of a closed manifoldM ⁿ (n3) on the foliations ofM defined by closed differential 1-forms with Morse singularities (of index 0,n). Every nonexact form is cohomologous to a weakly complete one, that is one whose leaf space is of the same type as that of a nonsingular form. Generically, a form has compact leaves or is weakly complete. If ₁ M has no quotient isomorphic to *, then every nonexact form onM is weakly complete. We also say a form is complete if every path inM is homotopic to either a path transverse to or a path contained in a leaf of . Completeness of depends only on its de R ham cohomology class. The set of complete cohomology classes depends only on ₁ M and is related to finitely generated normal subgroups of ₁ M with quotient . If ₁ M is nilpotent (or even polycyclic), every nonexact form onM is complete. On irreducible 3-manifolds, a form is complete iff it is cohomologous to a nonsingular one.     

Waterman classes and triangular sums of double Fourier series

Let ^a ={nln^a (n+1)}, where a R. The following results are established: For every &fnof ^a BV ((- ]²), the triangular partial sums of its Fourier series are uniformly bounded if a = -1, and converge everywhere if a < -1.For every a>0, there exists &fnof ^a BV ((- ]²) such that the triangular partial sums of its Fourier series are unbounded at the point (0;0).     

The Milnor–Totaro Theorem for Space Polygons

If denotes the curvature and the torsion of a closed, generic, and oriented polygonal space curve X in , then we show that _X (² + ²) ds = _X ds + _X | | ds > 4 if is positive. We also show that _X (² + ²) ds 2n if no four consecutive vertices lie in a plane and X has linking number n with a straight line. These extend theorems of Milnor and Totaro.     

Classes caractéristiques d''une π-algèbre et suite spectrale en K-théorie bivariante

Résumé Pour tout groupe discret et pour toute -algèbre D, la C ^*-algèbre D(E) (dont la définition exacte est donnée dans la section 4) est la version équivariante de la C ^*-algèbre C(B, D) des fonctions continues sur B, le classifiant du groupe, à valeurs dans D et qui s'annulent à l'infini. Si D désigne une autre -algèbre, nous définissons une suite spectrale en K-théorie bivariante dont les premiers termes sont donnés par les groupes H ^p (B, KK(D, D)) et qui converge (lorsque B est de dimension finie) vers KK(B; D(E), D(E)). Cette suite spectrale généralise celle de Kasparov mais est obtenue de manière différente: en étendant la définition des quasihomomorphismes aux C(X)-algèbres (X est une espace topologique localement compact), on a recours à des méthodes homotopiques telles les décompositions de Postnikov et le calcul des groupes d'homotopie des espaces d'équivalences d'homotopie. Sous certaines hypothèses, ces mÊmes constructions nous permettent de définir, pour toute -algèbre D, une obstruction, appelée classe secondaire de la -algèbre D, qui détermine la différentielle d ₂ de la suite spectrale de Kasparov.

---

For all discrete group and all -algebra D, the C ⁺-algebra D(E) (whose exact definition is given in Section 4) is the equivariant version of the C ^*-algebra C(B, D) of continuous functions from B (the classifiant of the group) to D, vanishing at infinity. If D is another -algebra, we define a spectral sequence in bivariant K-theory whose first terms are given by the groups H ^p (B, KK(D, D)) and which converges (if B of finite dimension) to KK(B; D(E), D(E)). This spectral sequence generalises the spectral sequence given by Kasparov but it is obtained in a quite different way: by extending the definition of quasihomomorphisms to the C(X)-algebras (where X is a locally compact topological space), we use homotopical methods, like Postnikov decompositions and the calculus of homotopy groups of spaces of homotopy equivalences. Furthermore, under certain hypotheses, with these constructions, we define an obstruction, called the secondary class of the -algebra D, which determines the differential d ₂ of the Kasparov spectral sequence.

     

Isolated points in duals of certain locally compact groups

Summary LetG be a separable locally compact group with dual space. consists of all equivalence classes of irreducible unitary representations ofG, and is endowed with the Fell-topology. We study the topological properties in of the square-integrable representations ofG. [ is square-integrable provided there is a coordinate functiong((g)v, v),gG, for which is inL ²(G) w.r.t. left Haar measure onG.]SupposeG contains an open normal subgroupN of the formeKN ⁿ e whereK is compact. (All groups with a compact invariant neighborhood of the identity, [IN] groups, satisfy this condition.) In this case we show that if is square-integrable then {} is an open point of.Finally, our techniques are used to prove this result for arbitrary (non connected) nilpotent Lie groups.     

A conjecture on semi-field planes. II

Conclusion The results in the previous sections lend strong support to the conjecture made in the Introduction. Furthermore, if the long-standing conjecture concerning the solvability of autotopism groups for semi-field planes is correct then the probability of our conjecture being true is greatly increased. In any case the existence of a semi-field plane for which u() = 2, 3, or 4 would provide a counterexample to the earlier conjecture.There are examples of semi-field planes with u() = %. As mentioned in Example 2 of Section 3, one of the semi-field planes of order 16 has u()-5. For that plane, the five orbits of the autotopism group G in (G) have lengths 27, 36, 54, 54, 54. The union of the orbit having length 36 and one of those having 54 is the union of the points in (G) on 6 lines through a vertex U and the union of the remaining three orbits consists of the 135 points on the remaining 9 lines through U. There are also non-Desarguesian A-planes in which u() = 5; the semi-field plane of order 3⁴ coordinatized by the twisted field of Albert has u() = 5.Supported in part by NSF Grants No. MPS 75-05260 and MPS 76-06661     

Control discipline necessity: Making the language as general as the implementation

The formal verification of control structure implementation techniques is a subject receiving increased attention among programming language researchers. Such correctness arguments relate source language control semantics to corresponding implementation effects. Most commonly, it is demonstrated that a particular implementation strategy is safe is some source language control discipline is observed. We term this asufficiency proof for with given . In this paper, the companion issue of thenecessity of is explored. That is, we consider the question of whether some more liberal discipline might also be sufficient for . The motivation is the observation that language designers often have particular control implementation strategies in minda priori, but at times over-restrict their final designs to ensure that the envisioned implementation remains applicable. The general notion of control discipline necessity proofs is illustrated by a proof that Wang and Dahl's CS condition on block-structured coroutines is necessary, given a simple scope-based deletion strategy, but that their CR condition is not necessary unless scope-based referencing constraints are taken into account.Work supported in part by the National Science Foundation under grant MCS-79-06102 to the University of Pittsburgh.     

Factorizations of the Complete Graph into C 5-Factors and 1-Factors

In this paper, we show that K_10n can be factored into C₅-factors and 1-factors for all non-negative integers and satisfying 2+=10n–1.Research partially supported by an NSF-AWM Mentoring Travel Grant     

Mappings that preserve cones in Lobachevskii space

Let ⁿ be n-dimensional Lobachevskii space, and {l_x:x ⁿ} be a family of lines, parallel to a linel ₀, 0ⁿ (in a given direction). Let {c_x:Xⁿ} be a family of circular cones in ⁿ of opening with axes l_X and vertex X. Then, iff:ⁿⁿ(n>2) is a bijective mapping andf(C_x)=C _f(x), it follows thatf is a motion in the space ⁿ.Translated from Matematicheskie Zametki, Vol. 13, No. 5, pp. 687–694, May, 1973.     

High-Energy Relations Between Elastic Scattering Amplitudes of Particles and Antiparticles

We find conditions under which the ratio of particle and antiparticle total scattering cross sections as s. If the forward elastic scattering amplitudes become purely real asymptotically, then their ratio tends to –1. We prove that /_–(s)1 for ₊(s)/m ², where m is the -meson mass. We show that the asymptotic relations obtained have finite-energy analogues for some processes.     

An approach to infinitary temporal proof theory

Aim of this work is to investigate from a proof-theoretic viewpoint a propositional and a predicate sequent calculus with an –type schema of inference that naturally interpret the propositional and the predicate until–free fragments of Linear Time Logic LTL respectively. The two calculi are based on a natural extension of ordinary sequents and of standard modal rules. We examine the pure propositional case (no extralogical axioms), the propositional and the first order predicate cases (both with a possibly infinite set of extralogical axioms). For each system we provide a syntactic proof of cut elimination and a proof of completeness.Supported by MIUR COFIN 02 Teoria dei Modelli e Teoria degli Insiemi, loro interazioni ed applicazioni.Supported by MIUR COFIN 02 PROTOCOLLO.Mathematics Subject Classification (2000):03B22, 03B45, 03F05     

Transposition generation of alternating permutations

A permutation _{1 2}... _n is alternating if ₁< ₂> ₃< ₄.... Alternating permutations are counted by the Euler numbers. Here we show that alternating permutations can be listed so that successive permutations differ by a transposition, ifn is odd. Extensions and open problems are mentioned.Research supported by the Natural Sciences and Engineering Research Council of Canada under grant A3379.     

On a theorem of G. Szegö

It is shown that the precise result of G. Szegö on the asymptotic behavior of the Toeplitz determinants D_n(f), generated by the nonnegative summable function off() holds if Inf L₁ (–, ).Translated from Matematicheskie Zametki, Vol. 3, No. 6, pp. 693–702, June, 1968.     

Perfect splines of least uniform deviation

(v _k) ₁ ⁿ , 1v _kr, v₁+...+v_n r, p(;r) — =(x ₁,v ₁),...,(x _n,v _n), v _1+...+v _n-r ^(r(;·)=1. , (^*;t) [, ] (;t) _{x 1}<... n v ₁ ...,v _n. (^*;t) .     

On the admissibility of function spaces of typeB p,q s andF p,q s,and boundary value problems for non-linear partial differential equations

u=f(x)+S(u), S — , u-G(u), G — . B _p,q ^s () -F _p,q ^s (). R _n — . — . _p,q ^s F _p,q ^s .     

Generating alternating permutations lexicographically

A permutation _{1 2} ... _n is alternating if ₁<₂>₃<₄ .... We present a constant average-time algorithm for generating all alternating permutations in lexicographic order. Ranking and unranking algorithms are also derived.Research supported by the Natural Sciences and Engineering Research Council of Canada under grant A3379.     

Formal Dimension for Semisimple Symmetric Spaces

If G is a semisimple Lie group and (, ) an irreducible unitary representation of G with square integrable matrix coefficients, then there exists a number d() such that

Some ratio limit Theorems for a general state space Markov Process

Summary Consider a discrete time parameter Markov Process with stationary probability functions, a general state spaceX and the Harris recurrence condition. This then implies the existence and essential uniqueness of a sigma-finite stationary measure. It is also assumed that the class of measurable sets contains single point sets. LetP ^(m)(x, S) denote them-step transition probability fromx toS andp ^(m)(x, ·), the component ofP ^(m)(x, ·) which is absolutely continuous with respect to. Let =C: C, for some and }. The paper here presented contains theorems of which the following is typical:Theorem: LetS with(S)>0, measurableBS, (B)>0 andqB with uniformly iny, yB for all non-negative measurable f. Then for all measurableAS with(A)>0,k=0,±1, ±2,... in measure onS. If the g.c.d. ()=1 and with(X)< then the above limit holds in measure onX.This research was partially supported by National Science Foundation Grant Gp-3906.The author would like to convey his appreciation to Professor Steven Orey for his invaluable guidance, advice and encouragement.