The Orders of Related Elements of a Finite Field

All finite fields q (q 2, 3, 4, 5, 7, 9, 13, 25, 121) contain a primitive element for which + 1/ is also primitive. All fields of square order q ² (q 3, 5) contain an element of order q + 1 for which + 1/ is a primitive element of the subfield q. These are unconditional versions of general asymptotic results.     

Infimal generators and dualities between complete lattices

Summary We give some applications of infimal generators of complete lattices, in the sense of Kutateladze and Rubinov [12], to the study of dualities between two complete lattices E and F (i.e., mappings : E F satisfying for all and all index sets I, including the empty set I=Ø). We give some additional results for E=(2^X, ), F=(2^W, ) and E=(¯R^X, ), F=(¯R^W, ) (where X and W are arbitrary sets), with suitable families of infimal generators. We obtain some lattice- theoretic properties of the relations of [22] between dualities : (2^X, ) (2^W, ), binary relations X×W, polarities (): (2^X, ) (2^W, ), coupling functionals : X×W ¯R and Fenchel-Moreau conjugations c():(¯R^X, ) (¯R^W,).     

Théorème de division avec des conditions au bord

Let be an open subset of ⁿ and be a subalgebra of the algebra of analytic functions on . We suppose that satisfies some weak conditions of noetherianity such that we can construct a finite stratification for each ideal of . We also suppose that satifies global £ojasiewicz's inequalities. We prove the following: Let andf C on flat on ; if for eacha the Taylor's serie off ata, T _a f, is in the ideal generated byT _a f ₁,...,T _a f _p in the ring of formal power series, then there exist ₁,..., _p ,C on flat on such that . This result extends the classic Hormander's theorem of division (for a polynomial) or the £ojasiewicz-Malgrange theorem in the local analytic case.Reherches menées dans le cadre du Programme d'Appui à la Recherche Scientifique (PARS MI 33)     

Convergence of series of translations

For a mean zero norm one sequence (f _n )L ₂[0, 1], the sequence (f _n {nx+y}) is an orthonormal sequence inL ₂([0, 1]²); so if , then converges for a.e. (x, y)[0, 1]² and has a maximal function inL ₂([0, 1]²). But for a mean zerofL ₂[0, 1], it is harder to give necessary and sufficient conditions for theL ₂-norm convergence or a.e. convergence of . Ifc _n 0 and , then this series will not converge inL ₂-norm on a denseG subset of the mean zero functions inL ₂[0, 1]. Also, there are mean zerofL[0, 1] such that never converges and there is a mean zero continuous functionf with a.e. However, iff is mean zero and of bounded variation or in some Lip() with 1/2<1, and if |c _n | = 0(n ^–) for >1/2, then converges a.e. and unconditionally inL ₂[0, 1]. In addition, for any mean zerof of bounded variation, the series has its maximal function in allL _p[0, 1] with 1p<. Finally, if (f _n )L [0, 1] is a uniformly bounded mean zero sequence, then is a necessary and sufficient condition for to converge for a.e.y and a.e. (x _n )[0, 1]. Moreover, iffL [0, 1] is mean zero and , then for a.e. (x _n )[0, 1], converges for a.e.y and in allL _p [0, 1] with 1p<. Some of these theorems can be generalized simply to other compact groups besides [0, 1] under addition modulo one.     

On convergence of types and processes in Euclidean space

Let be an Euclidean space; Y _n , Z, U random vectors in ; h _n , g _n affine transformations and let þ be a subgroup of the group G of all the in vertible affine transformations, closed relative to G. Suppose that g_n and where Z is nonsingular. The behaviour of _n = h _n g _n ^–1 as n is discussed first. The results are used then to prove that if for all t(0, ), where h _n þ and Z ₁ is nonsingular and nonsymmetric with respect to þ then H, for all t(0,) and is a continuous homomorphism of the multiplicative group of (0, ) into þ. The explicit forms of the possible are shown.     

A dissipative transformation with a trivial tail-algebra

Summary In [1], an example was given of a measure-preserving dissipative transformation T in a -finite measure space (X, , ), such that T is conservative in the measure space (X, , ) where . Here we shall show that for this transformation we actually have R ={ØX}[].     

The lyapunov equation and the problem of stability for linear bounded discrete-time systems in Hilbert space

This paper is devoted to a study of the properties of the equationA ^*FA–F=–G, where FL() is unknown, AL(), GL() is positive and is a Hilbert space. It is shown that necessary and sufficient (in some sense) conditions for the existence of positive definite solutions of this equation are directly connected with the stability of infinite dimensional linear systemx _k+1=Ax _k . The relationships between stability of such a system and stability of a continuous-time system generated by a strongly continuous semigroup are given also. As an example the case of the delayed system in Rⁿ is considered.This work was supported in part by the Polish Academy of Sciences under the contract Problem Miedzyresortowy I.1, Grupa Tematyczna 3 This paper was written while the author was with the Instytut Automatyki, the same university.     

Quantum Integrable and Nonintegrable Nonlinear Schrödinger Models for Realizable Bose–Einstein Condensation in d+1 Dimensions (d = 1, 2, 3)

We evaluate finite-temperature equilibrium correlators for thermal time ordered Bose fields to good approximations by new methods of functional integration in d=1,2,3 dimensions and with the trap potentials V(r)0. As in the translationally invariant cases, asymptotic behaviors fall as to longer-range condensate values for and only for d=3 in agreement with experimental observations; but there are generally significant corrections also depending on due to the presence of the traps. For d=1, we regain the exact translationally invariant results as the trap frequencies 0. In analyzing the attractive cases, we investigate the time-dependent c-number Gross–Pitaevskii (GP) equation with the trap potential for a generalized nonlinearity –2c||²ⁿ and c<0. For n=1, the stationary form of the GP equation appears in the steepest-descent approximation of the functional integrals. We show that collapse in the sense of Zakharov can occur for c=0 and nd2 and a functional E _NLS[]0 even when V(r)0. The singularities typically arise as -functions centered on the trap origin r=0.     

On the asymptotic behaviour of the free gas and its fluctuations in the hydrodynamical limit

We consider the time evolved states of the free motion _t (q, v)=(q+tv,v),q,v ^d , starting in some non-equilibrium state and look at the associated processX _t of fluctuations of the actual number _t/ () of particles of the realization in with velocities inB at timet/ around its mean as 0 (i.e., in the hydrodynamic limit). It is shown that under natural conditions on the initial state , especially a mixing condition in the space variables, for eacht the laws of the fluctuations become Gaussian in the hydrodynamic limit in the following sense: as 0, where denotes weak convergence and is a centered Gaussian state, which is translation invariant in the space variables. Furthermore the time evolution is also given by the free motion in the sense that On the other hand we shall see that ast, whereP _z× is the Poisson process with intensity measurez·×, i.e., the equilibrium state for the free motion with particle densityz and velocity distribution . In the hydrodynamic limit this behaviour corresponds to the ergodic theorem for the fluctuation process: ast. Here is a centered Gaussian state describing the equilibrium fluctuations, i.e., the fluctuations ofP _z× . Thus we prove the central limit theorem for the ideal gas: fluctuations are Gaussian even in non-equilibrium. The proofs rest on an adaption of the method of moments for sequences of generalized fields.     

Almost Fredholm operators in von Neumann algebras

LetA be a von Neumann algebra,J be the ideal of compact operators relative toA and letF ₊ be the left-Fredholm class ofA. We call almost left-Fredholm the class = {A A: if P A is a projection and AP J then P J}. Then and the inclusion is proper unlessA is semifinite and has a non-large center. satisfies all of the algebraic properties ofF ₊ but it is generally not open. IfA is semifinite then A iff there are central projectionsG with G = I such that AG F₊(AG). Let :A A/J. Then the left almost essential spectrum ofA A, , coincides with the set of eigenvalues of (A)     

Deterministic approximations of probability inequalities

A simple general framework for derivingexplicit deterministic approximations of probability inequalities of the formP(a) is presented. These approximations are based on limited parametric information about the involved random variables (such as their mean, variance, range or upper bound values). First the case of a single random variable is analysed, followed by the cases of independent and dependent summands . As examples of possible applications, a stochastic extension of the knapsack problem and the stochastic linear programming problem with separate chance-constraints are investigated: we provide approximate deterministic surrogates for these problems.

---

Zusammenfassung Es wird ein Rahmen zur Ableitung expliziter deterministischer Approximation für Wahrscheinlichkeitsungleichungen der FormP(a) angegeben. Diese Approximationen basieren auf begrenzter parametrischer Information über die beteiligten Zufallsvariablen (wie ihr Erwartungswert, Varianz, Wertebereich oder obere Schranken). Zuerst wird der Fail einer Zufallsvariablen analysiert, sodann werden Summen von unabhängigen Summanden betrachtet. Als Beispiele für mögliche Anwendungen wird eine stochastische Erweiterung des Rucksack-problems untersucht sowie stochastische lineare Programme mit separablen Wahrscheinlichkeitsrestriktionen. Für diese Probleme werden näherungsweise deterministische Ersatzprobleme angegeben.

     

The Busy Period of the M/GI/∞ Queue

An equation for the distribution Z() of the duration T of the busy period in a stationary M/GI/ service system is constructed from first principles. Two scenarios are examined, being distinguished by the half-plane Re()>₀ for some ₀0 in which the generic service time random variable S, always assumed to have a finite mean E(S), has an analytic Laplace–Stieltjes transform E(e^–S ). If ₀<0 then E(e^–T ) is analytic in a half-plane (₁,), where ₀₁<0 and ₁ is determined by the distribution of S; then for any 0<s<|₁|.When ₀=0, E(e^–T ) is analytic in (0,), and now more is known about T. Inequalities on the tail () are used to show that for any 1, E(T ) is finite if and only if E(S ) is finite. It follows that the point process consisting of the starting epochs of busy periods is long range dependent if and only if E(S ²)=, in which case it has Hurst index equal to [frac12](3–), where is the moment index of S.If also the tail (x)=Pr{Sx} of the service time distribution satisfies the subexponential density condition ₀ ^x (x–u) (u)du/ (x)2E(S) as x, then (x)/ (x)e^E(S), where is the arrival rate.     

Near boundary behavior of primal—dual potential reduction algorithms for linear programming

This paper is concerned with selection of the-parameter in the primal—dual potential reduction algorithm for linear programming. Chosen from [n + , ), the level of determines the relative importance placed on the centering vs. the Newton directions. Intuitively, it would seem that as the iterate drifts away from the central path towards the boundary of the positive orthant, must be set close ton + . This increases the relative importance of the centering direction and thus helps to ensure polynomial convergence. In this paper, we show that this is unnecessary. We find for any iterate that can be sometimes chosen in a wide range [n + , ) while still guaranteeing the currently best convergence rate of O( L) iterations. This finding is encouraging since in practice large values of have resulted in fast convergence rates. Our finding partially complements the recent result of Zhang, Tapia and Dennis (1990) concerning the local convergence rate of the algorithm.Research supported in part by NSF Grant DDM-8922636.     

An Erdős-Révész type law of the iterated logarithm for stationary Gaussian processes

Summary Let {X(t),t 0} be a stationary Gaussian process withEX(t)=0,EX ²(t)=1 and covariance function satisfying (i)r(t) = 1 2212;C |t | + o (|t|)ast0 for someC>0, 0<2; (ii)r(t)=0(t ^–2) as t for some >0 and (iii) sup_ts|r(t)|<1 for eachs>0. Put (t)= sup {s:0 s t,X(s) (2logs)^1/2}. The law of the iterated logarithm implies a.s. This paper gives the lower bound of (t) and obtains an Erds-Rèvèsz type LIL, i.e., a.s. if 0<<2 and . Applications to infinite series of independent Ornstein-Uhlenbeck processes and to fractional Wiener processes are also given.Research supported by the Fok Yingtung Education Foundation of China and by Charles Phelps Taft Postdoctoral Fellowship of the University of Cincinnati     

Compact Laws of the Iterated Logarithm for B-Valued Random Variables with Two-Dimensional Indices

Let be a real separable Banach space and {X, X _{n, m}; (n, m) N ²} B-valued i.i.d. random variables. Set . In this paper, the compact law of the iterated logarithm, CLIL(D), for B-valued random variables with two-dimensional indices ranging over a subset D of N ² is studied. There is a gap between the moment conditions for CLIL(N ¹) and those for CLIL(N ²). The main result of this paper fills this gap by presenting necessary and sufficient conditions for the sequence to be almost surely conditionally compact in B, where, for 0, 1 r 2, N ^r (, ) = {(n, m) N ²; n m n exp{(log n) ^r–1 (n)}} and (·) is any positive, continuous, nondecreasing function such that (t)/(log log t) is eventually decreasing as t , for some > 0.     

Designs and partial geometries over finite fields

Let be a finite field, and let (, B) be a nontrivial 2-(n, k, 1)-design over . Then each point induces a (k–1)-spread S on /. (, B) is said to be a geometric design if S is a geometric spread on / for each . In this paper, we prove that there are no geometric designs over any finite field .Research partially supported by NSF grant DMS-8703229.     

Lattices of interpretability types of varieties

Let be the set of all primes, the field of all algebraic numbers, and Z the set of square-free natural numbers. We consider partially ordered sets of interpretability types such as , and , where AD is a variety of -divisible Abelian groups with unique taking of the pth root _p(x) for every p , is a variety of -modules over a normal field , contained in , and G_n is a variety of n-groupoids defined by a cyclic permutation (12 ...n). We prove that , and are distributive lattices, with and where ub and ub_f are lattices (w.r.t. inclusion) of all subsets of the set and of finite subsets of , respectively.Deceased.__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 198–210, March–April, 2005.     

Four-dimensional compact projective planes with doubly transitive action on the fixed pencil

We consider a four-dimensional compact projective plane =( , ) whose collineation group is six-dimensional and solvable with a nilradical N isomorphic to Nil × R, where Nil denotes the three-dimensional, simply connected, non-Abelian, nilpotent Lie group. We assume that fixes a flag pW, acts transitively on _p \{W}, and fixes no point in the set W{p}. We study the actions of and N on and on the pencil _p \{W}, in the case that does not contain a three-dimensional elation group. In the special situation that acts doubly transitively on _p {W}, we will determine all possible planes . There are exactly two series of such planes.     

Quantitative recurrence results

Summary LetX be a probability measure spaceX=(X, , ) endowed with a compatible metricd so that (X,d) has a countable base. It is well-known that ifTXX is measure-preserving, then -almost all pointsxX are recurrent, i.e., . We show that, under the additional assumption that the Hausdorff -measureH (X) ofX is -finite for some >0, this result can be strengthened: , for -almost all pointsxX. A number of applications are considered.Oblatum 24-II-1992 & 8-II-1993Supported in part by NSF-DMS-9003450     

Small potential corrections for the discrete eigenvalues of the Sturm-Liouville problem

Summary The inverse Sturm-Liouville problem is the problem of finding a good approximation of a potential functionq such that the eigenvalue problem (^*)–y +qy=y holds on (0, ) fory(0)=y()=0 and a set of given eigenvalues . Since this problem has to be solved numerically by discretization and since the higher discrete eigenvalues strongly deviate from the corresponding Sturm-Liouville eigenvalues , asymptotic corrections for the 's serve to get better estimates forq. Let _k (1kn) be the first eigenvalues of (^*), let _k be the corresponding discrete eigenvalues obtained by the finite element method for (^*) and let _{k k} for the special caseq=0. Then, starting from an asymptotic correction technique proposed by Paine, de Hoog and Anderssen, new estimates for the errors of the corrected discrete eigenvalues are obtained and confirm and improve the knownO(kh ²)(h:=/(n+1)) behaviour. The estimates are based on new Sobolev inequalities and on Fourier analysis and it is shown that for 4+c ₂ k(n+1)/2, wherec ₁ andc ₂ are constants depending onq which tend to 0 for vanishingq.