Zonotopal Subdivisions of Cyclic Zonotopes

The cyclic zonotope (n, d) is the zonotope in ^d generated by any n distinct vectors of the form (1, t, t ²,..., t ^d–1). It is proved that the refinement poset of all proper zonotopal subdivisions of (n, d) which are induced by the canonical projection : (n, d) (n, d), in the sense of Billera and Sturmfels, is homotopy equivalent to a sphere and that any zonotopal subdivision of (n, d) is shellable. The first statement gives an affirmative answer to the generalized Baues problem in a new special case and refines a theorem of Sturmfels and Ziegler on the extension space of an alternating oriented matroid. An important ingredient in the proofs is the fact that all zonotopal subdivisions of (n, d) are stackable in a suitable direction. It is shown that, in general, a zonotopal subdivision is stackable in a given direction if and only if a certain associated oriented matroid program is Euclidean, in the sense of Edmonds and Mandel.     

Un théorème de Vitali-Hahn-Saks pour les semimartingales

Summary Let (, , P) be a complete probability space; let _t0 be an increasing right-continuous family of -complete sub--fields of ; let be a sequence of semimartingales. Assume that for all positive t and for all bounded predictable processes H, the r.v.'s converge in probability to a limit J(t, H) when n tends to infinity. Then there exists a semimartingale X such that, for all t and H, J(t, H)= .     

Twists of elliptic curves

If E is an elliptic curve over , then let E(D) denote theD-quadratic twist of E. It is conjectured that there are infinitely many primesp for which E(p) has rank 0, and that there are infinitely many primes for which has positive rank. For some special curvesE we show that there is a set S of primes p with density for which if is a squarefree integer where , then E(D) has rank 0. In particular E(p) has rank 0 for every . As an example let E1 denote the curve .Then its associated set of primes S₁ consists of the prime11 and the primes p for which the order of the reduction ofX₀(11) modulo p is odd. To obtain the general result we show for primes that the rational factor of L(E(p),1) is nonzero which implies thatE(p) has rank 0. These special values are related to surjective Galois representations that are attached to modularforms. Another example of this result is given, and we conclude with someremarks regarding the existence of positive rank prime twists via polynomialidentities.     

On the Normal Order of ϕk+1(n)/ϕk(n), where ϕk is the k-Fold Iterate of Euler's Function

Let be the j-fold iterated function of . Let and > 0 be fixed, Q be a prime, and let N _k(Q|x) denote the number of those nx for which Q . We give the asymptotics of N _k(Q|x) in the range .     

A Group Algebra for Inductive Limit Groups. Continuity Problems of the Canonical Commutation Relations

Given an inductive limit group where each is locally compact, and a continuous two-cocycle , we construct a C^*-algebra group algebra is imbedded in its multiplier algebra , and the representations of are identified with the strong operator continuous of G. If any of these representations are faithful, the above imbedding is faithful. When G is locally compact, is precisely , the twisted group algebra of G, and for these reasons we regard in the general case as a twisted group algebra for G. Applying this construction to the CCR-algebra over an infinite dimensional symplectic space (S,\,B),we realise the regular representations as the representation space of the C^*-algebra , and show that pointwise continuous symplectic group actions on (S,\, B) produce pointwise continuous actions on , though not on the CCR-algebra. We also develop the theory to accommodate and classify 'partially regular' representations, i.e. representations which are strong operator continuous on some subgroup H of G (of suitable type) but not necessarily on G, given that such representations occur in constrained quantum systems.     

Some greedyt-intersecting families of finite sequences

Letn, s ₁,s ₂, ... ands _n be positive integers. Assume is an integer for eachi}. For , , and , denotes _p (a)={j|1jn,a _j p}, , and . is called anI _t ^p -intersecting family if, for any a,b ,a _i b _i =min(a _i ,b _i )p for at leastt i's. is called a greedyI _t ^P -intersecting family if is anI _t ^p -intersecting family andW _p (A)W _p (B+A ^c ) for anyAS _p ( ) and any with |B|=t–1.In this paper, we obtain a sharp upper bound of | | for greedyI _t ^p -intersecting families in for the case 2ps _i (1in) ands ₁>s ₂>...>s _n .This project is partially supported by the National Natural Science Foundation of China (No.19401008) and by Postdoctoral Science Foundation of China.     

Der Satz von v. Staudt-Schleiermacher in Minkowski-Ebenen

Let be a Minkowski-(incidence-)plane and let be the group of free projectivities of , i. e. the subgroup generated by pairs of proper perspectivities with identical centers. Our theorem then asserts that is miquelian if satisfies condition (P ₅), i. e. every free projectivity with 5 fixed points is the identity. But first a lemma is shown, which holds in Möbius- and Laguerre-(incidence-)planes too: if fulfills (P ₅), then every affine derivation of is pappian.     

Popularity of Sets Represented by the Partitions of n

Let us say that a partition of the positive integer n represents a, 0 a n, if there is a submultiset of the multiset of the parts whose sum is a. Erd os and Szalay have proved that almost all partitions of n represent all integers a, 0 a n. If is a finite set of positive integers, let us denote by p~(n, ) the number of partitions of n which represent all integers a, 0 a n, a , n – a but do not represent a for a . For instance, p~(n,) is the number of partitions of n which represent all integers between 0 and n; the result of Erd os and Szalay can be reformulated as p~(n,) p(n), where p(n) is the total number of partitions of n. The aim of this paper is the study of p~(n, ): we shall compare the values of p~(n, ) for small sets and we shall give a close formula for p~(n, ) when is the set of the first k integers.     

The average a posteriori error of numerical methods

Summary The definition of the average error of numerical methods (by example of a quadrature formula to approximateS(f)= f d on a function classF) is difficult, because on many important setsF there is no natural probability measure in the sense of an equidistribution. We define the average a posteriori error of an approximation by an averaging process over the set of possible information, which is used by (in the example of a quadrature formula,N(F)={(f(a ₁), ...,f/fF} is the set of posible information). This approach has the practical advantage that the averaging process is related only to finite dimensional sets and uses only the usual Lebesgue measure. As an application of the theory I consider the numerical integration of functions of the classF={f:[0,1]/f(x)–f(y)||x–y|}. For arbitrary (fixed) knotsa _i we determine the optimal coefficientsc _i for the approximation and compute the resulting average error. The latter is minimal for the knots . (It is well known that the maximal error is minimal for the knotsa _i .) Then the adaptive methods for the same problem and methods for seeking the maximum of a Lipschitz function are considered. While adaptive methods are not better when considering the maximal error (this is valid for our examples as well as for many others) this is in general not the case with the average error.     

Tensor ideals in the category of tilting modules

We study the tensor category of tilting modules over a quantum groupU _q with divided powers. The setX ₊ of dominant weights is a union of closed alcoves numbered by the elementswW ^f of a certain subset of affine Weyl groupW. G. Lusztig and N. Xi defined a partition ofW ^f into canonical right cells and the right order _R on the set of cells. For a cellAW ^f we consider a full subcategory formed by direct sums of tilting modulesQ() with highest weights . We prove that is a tensor ideal in , generalizing H. Andersen's theorem about the ideal of negligible modules which in our notations is nothing else then . The proof is an application of a recent result by W. Soergel who has computed the characters of tilting modules.This material is based upon work supported by the U.S. Civilian Research and Development Foundation under Award No. RM1-265.     

Set of involutions arising from an egglike inversive plane

To every egglike inversive plane there is associated a family of involutions of the point set of such that circles of are the fixed point sets of the involutions in . Korchmaros and Olanda characterized a family of involutions on a set of size n² + 1to be for an egglike inversive plane of order n by four conditions. In this paper, we give an alternative proof where the Galois space PG(3,n) in which is embedded is built up directly by using concepts and results on finite linear spaces.     

Limiting Laws for Entrance Times of Critical Mappings of a Circle

A renormalization group transformation R ₁ has a single stable point in the space of the analytic circle homeomorphisms with a single cubic critical point and with the rotation number (the golden mean). Let a homeomorphism T be the C ¹-conjugate of . We let denote the sequence of distribution functions of the time of the kth entrance to the nth renormalization interval for the homeomorphism T. We prove that for any , the sequence has a finite limiting distribution function , which is continuous in , and singular on the interval [0,1]. We also study the sequence for k>1.     

Saturation of Kantorovich type operators

It is proved that an integrable functionf can be approximated by the Kantorovich type modification of the Szász—Mirakjan and Baskakov operators inL ¹ metric in the optimal order {n ^–1} if and only if ² f is of bounded variation where and , respectively.     

Finitely generated relatively universal varieties of Heyting algebras

Given distinct varieties and of the same type, we say that is relatively -universal if there exists an embedding :K from a universal categoryK such that for every pairA, B ofK-objects, a homomorphismf:A B has the formf=_g for someK-morphismg:A B if and only if Im(f) . Finitely generated relatively -universal varieties of Heyting algebras are described for the variety of Boolean algebras, the variety generated by a three element chain, and for the variety generated by the four element Boolean algebra with an added greatest element.Dedicated to the memory of Alan DayPresented by J. Sichler.The support of the NSERC is gratefully acknowledged.     

On the instability of the equilibrium for a Lagrangian system with gyroscopic forces

We consider a Lagrangian Differential System (L.D.S.) with Lagrangian function L(q, )=T(q, )+U(q), sufficiently smooth in a neighbourhood of the critical pointq=0 of the potential functionU(q). The kinetic function T(q, ) is a non homogeneous quadratic function of the 's, i.e. the L.D.S. contains the so-called gyroscopic forces. The potential functionU(q) starts with a degenerate (but non zero), semidefinite-negative, quadratic form. Moreover,q=0 is not a proper maximum ofU, and this property has to be recognized in a suitable way. By analizing the problem of the existence of solutions of the L.D.S., which asymptotically tend to the equilibrium solution, (q, )=(0,0), we provide a sufficient criterium for its instability.Work performed under the auspices of M.U.R.S.T. (Ministero dell'Universitá e della Ricerca Scientifica e Tecnologica) and G.N.F.M. (Gruppo Nazionale di Fisica Matematica of the National Research Council (C.N.R.)).     

Some (17q, 17, 2) and (25q, 25, 3) BIBD Constructions

We give the explicit construction of a regular (17q, 17, 2)-BIBD for any prime power q 17 (mod 32) such that 2 is not a 4th power in GF(q) and the explicit construction of a regular (25q, 25, 3)-BIBD for any prime power q 25 (mod 48) such that and +3 are non-squares in GF(q).     

Stochastic Partial Differential Equations on Manifolds~II. Nonlinear Filtering

The conditional law of an unobservable component x(t) of a diffusion (x(t),y(t)) given the observations {y(s):s[0,t]} is investigated when x(t) lives on a submanifold of . The existence of the conditional density with respect to a given measure on is shown under fairly general conditions, and the analytical properties of this density are characterized in terms of the Sobolev spaces used in the first part of this series.     

Inequalities for Moduli of Continuity in Abstract Banach Spaces

Suppose that X is a Banach space, K denotes the set of real numbers R or the set of nonnegative real numbers R _{+}, is a family of linear operators from X into X such that T _0=I is the identity operator in X, for all , and there exists M such that for all . The expression is called the rth order modulus of continuity of an element x with step h in the space X with respect to the family A(K). The properties of are studied. Bibliography: 3 titles.     

On Global Optimality Conditions for Nonlinear Optimal Control Problems

Let a trajectory and control pair maximize globally the functional g(x(T)) in the basic optimal control problem. Then (evidently) any pair (x,u) from the level set of the functional g corresponding to the value g( (T)) is also globally optimal and satisfies the Pontryagin maximum principle. It is shown that this necessary condition for global optimality of turns out to be a sufficient one under the additional assumption of nondegeneracy of the maximum principle for every pair (x,u) from the above-mentioned level set. In particular, if the pair satisfies the Pontryagin maximum principle which is nondegenerate in the sense that for the Hamiltonian H, we have along the pair on [0,T], and if there is no another pair (x,u) such that g(x(T))=g( (T)), then is a global maximizer.