Divisor Functions in the Ring of Gaussian Integers Weighted by the Generalized Klosterman Sum

Let _a,b,c () be the number of factorizations of a Gaussian number in the form = ₁ ^a ₂ ^b ₃ ^c , where a, b, and c are natural numbers. In the ring of Gaussian numbers, we construct an asymptotic formula for a summatory function of _a,b,c () weighted by the generalized Klosterman function.     

Compact interval spaces in which all closed subsets are homeomorphic to clopen ones,I

A topological space X whose topology is the order topology of some linear ordering on X, is called an interval space. A space in which every closed subspace is homeomorphic to a clopen subspace, is called a CO space. We regard linear orderings as topological spaces, by equipping them with their order topology. If L and K are linear orderings, then L ^*, L+K, L·K denote respectively the reverse orderings of L, the ordered sum of L and K and the lexicographic order on L×K (so ·2=+ and 2·=). Ordinals are considered as linear orderings, and cardinals are initial ordinals. For cardinals , 0, let L(, )= + 1 + ^* . Main theorem. Let X be a compact interval space. Then X is a CO space if and only if X is homeomorphic to a space of the form + 1 + _i L( _i , _i ), where is any ordinal, n, for every ii, _i are regular cardinals and _{i i}, and if n>0, then max({ _i: i}) · . This first part is devoted to show the following result. Theorem: If X is a compact interval CO space, then X is a scattered space (that means that every subspace of X has an isolated point).Supported by the Université Claude-Bernard (Lyon-1), the Ben Gurion University of the Negev, and the C.N.R.S.: UPR 9016Supported by the City of Lyon     

Random reals and the relation 171-1171-1171-1

It is consistent that ₁(₁,(:n))² holds in any random extension for n finite and countable.     

Pathwise rate- stability for input-output processes

An input-output processZ = {Z(t), t 0} is said to be-rate stable ifZ(t) = o((t)) for some non-negative function(t). We prove that the processZ is -rate stable under weak conditions that include the assumption that input satisfies a linear burstiness condition and Z is asymptotically average stable. In many cases of interest, the conditions for-rate-stability can be verified from input data. For example, using input information, we establish-rate stability of the workload for multiserver queues, an ATM multiplexer, and-rate stability of queue-length processes for infinite server queues.     

The differences between Kurepa trees and Jech-Kunen trees

Summary By an ₁ we mean a tree of power ₁ and height ₁. An ₁-tree is called a Kurepa tree if all its levels are countable and it has more than ₁ branches. An ₁-tree is called a Jech-Kunen tree if it has branches for some strictly between ₁ and . In Sect. 1, we construct a model ofCH plus , in which there exists a Kurepa tree with not Jech-Kunen subtrees and there exists a Jech-Kunen tree with no Kurepa subtrees. This improves two results in [Ji1] by not only eliminating the large cardinal assumption for [Ji1, Theorem 2] but also handling two consistency proofs of [Ji1, Theorem 2 and Theorem 3] simultaneously. In Sect. 2, we first prove a lemma saying that anAxiom A focing of size ₁ over Silver's model will not produce a Kurepa tree in the extension, and then we apply this lemma to prove that, in the model constructed for Theorem 2 in [Ji1], there exists a Jech-Kunen tree and there are no Kurepa trees.     

On the singular graph and the Weyr characteristic of anM-matrix

LetA be anM-matrix in standard lower block triangular form, with diagonal blocksA _ii irreducible. LetS be the set of indices such that the diagonal blockA is singular. We define the singular graph ofA to be the setS with partial order defined by > if there exists a chain of non-zero blocksA _i, A_ij, , A_l.Let ₁ be the set of maximal elements ofS, and define thep-th level _p ,p = 2, 3, , inductively as the set of maximal elements ofS \( _{1 p-1}). Denote by _p the number of elements in _p . The Weyr characteristic (associated with 0) ofA is defined to be (A) = ( ₁, ₂,, _h ), where ₁ + + _p = dim KerA ^p ,p = 1, 2, , and _h > 0, _h+1 = 0.Using a special type of basis, called anS-basis, for the generalized eigenspaceE(A) of 0 ofA, we associate a matrixD withA. We show that(A) = ( ₁, , _h) if and only if certain submatricesD _p,p+1 ,p = 1, , h – 1, ofD have full column rank. This condition is also necessary and sufficient forE(A) to have a basis consisting of non-negative vectors, which is a Jordan basis for –A. We also consider a given finite partially ordered setS, and we find a necessary and sufficient condition that allM-matricesA with singular graphS have(A) = ( ₁, , _h). This condition is satisfied ifS is a rooted forest.The work of the second-named author was partly supported by the National Science Foundation, under grant MPS-08618 A02.     

Analytic Variation of p-adic Abelian Integrals

In Ann. of Math. 121 (1985), 111–168, Coleman defines p-adic Abelian integrals on curves. Given a family of curves X/S, a differential and two sections s and t, one can define a function on S by (P)= _s(P) ^t(P) _P . In this paper, we prove that is locally analytic on S.     

Equivalence Bimodule Between Non-Commutative Tori

The non-commutative torus C ^*(ⁿ,) is realized as the C*-algebra of sections of a locally trivial C*-algebra bundle over S with fibres isomorphic to C ^*n/S, ₁) for a totally skew multiplier ₁ on ⁿ/S. D. Poguntke [9] proved that A is stably isomorphic to C(S) C(^*( Zⁿ/S, ₁) C(S) A M_kl( C) for a simple non-commutative torus A and an integer kl. It is well-known that a stable isomorphism of two separable C*-algebras is equivalent to the existence of equivalence bimodule between them. We construct an A-C(S) A-equivalence bimodule.     

On the best approximation in the metric of L to certain classes of functions by Haar-system polynomials

Let H, H ^L be classes of functionsf(x) whose modulus of continuity (f; t) and, respectively, integral modulus of continuity(f; t)_L do not exceed a given modulus of continuity(t), while H_v is a class of functionsf(x) whose variation fdoes not exceed a given number V > 0. Bounds are obtained for the upper limit of the best approximations in the metric of L by Haar-system polynomials on the classes just introduced (on the class H ^L only when (t)=Kt). These bounds are exact for class H_V and, in case(t) is convex, also for the classes H and H ^L .Translated from Matematicheskie Zametki, Vol. 6, No. 1, pp. 47–54, July, 1969.The author wishes to thank N. P. Korneichuk for having posed the problem and for his constant attention to this work.     

On Piecewise-Constant Approximation of Continuous Functions of n Variables in Integral Metrics

We consider the approximation by piecewise-constant functions for classes of functions of many variables defined by moduli of continuity of the form (₁, ..., _n ) = ₁(₁) + ... + _n ( _n ), where _i ( _i ) are ordinary moduli of continuity that depend on one variable. In the case where _i ( _i ) are convex upward, we obtain exact error estimates in the following cases: (i) in the integral metric L ₂ for (₁, ..., _n ) = ₁(₁) + ... + _n ( _n ); (ii) in the integral metric L _p (p 1) for (₁, ..., _n ) = c ₁₁ + ... + c _{n n} ; (iii) in the integral metric L _{(2, ..., 2, 2r)} (r = 2, 3, ...) for (₁, ..., _n ) = ₁(₁) + ... + _{n – 1}( _{n – 1}) + c _{n n} .     

On the width of ordered sets and Boolean algebras

Thewidth (chain number) of a partial order P, < is the smallest cardinal such that ¦A¦< 1 + whenever A is an antichain (chain) in P. We prove that, if a partial order (P, <) has width and cf()=, then P contains antichains A_n (n<) such that ¦A ₀¦<¦A₁¦ <...<={¦A_n¦: n < < } and either A₀1 A₂< ... or A₀>A₁ >A₂> ... A similar structure result is obtained for partial orders with chain number if cf()=. As an application we solve a problem of van Douwen, Monk and Rubin [1] by showing that if a Boolean algebra has width , thencf() .This work has been partially supported by NATO grant No. 339/84.Presented by Bjarni Jonsson.     

On the homogeneity property for certain quantifier logics

Summary The local homogeneity property is defined as in [Mak]. We show thatL (Q₁) and some related logics do not have the local homogeneity property, whereas cofinality logicL (Q ^cf) has the homogeneity property. Both proofs use forcing and absoluteness arguments.     

Invertible infinitary calculus without loop rules for restricted FTL

In the paper, a fragment of first-order linear time logic (with operators next and always) is considered. The object under investigation in this fragment is so-called t-D-sequents. For considered t-D-sequents, an invertible infinitary sequent calculus G ⁺ is constructed. This calculus has no loop rules, i.e., rules with duplications of the main formula in the premises of the rules. The calculus G ⁺ along with an -type rule for the temporal operator always contains an integrated separation rule (IS), which includes the traditional loop-type rule ( ), a special rule ( ) (without duplication of the main formula), and the traditional rule for the temporal operator next. The rule ( ) is incorporated in an axiom. The soundness and -completeness of the constructed calculus G ⁺ are proved. Bibliography: 43 titles.Published in Zapiski Nauchnykh Seminarov POMI, Vol.293, 2002, pp. 149–180.This revised version was published online in April 2005 with a corrected cover date and article title.     

Constrained normalization of Hamiltonian systems and perturbed Keplerian motion

Summary Consider a Hamiltonian system (H, _2n ,). LetM be a symplectic submanifold of (_2n ,). The system (H, _2n ,) constrained toM is (HM, M, M). In this paper we give an algorithm which normalizes the system on _2n in such a way that restricted toM we have normalized the constrained system. This procedure is then applied to perturbed Kepler systems such as the lunar problem and the main problem of artificial satellite theory.

---

Zusammenfassung Wir betrachten ein Hamiltonisches System (H, _2n ,). SeiMein symplectisches Submanifold von (_2n ,). Das System (H, _2n ,), aufM beschränkt, ist (HM,M,M). In der vorliegenden Arbeit wird ein Algorithmus vorgeschlagen, der dieses System so auf _2n normalisiert, daß das aufM beschränkte System auch normalisiert ist. Dieser Algorithmus wird dann auf gestörte Keplersysteme, wie z. B. das Hill-sche Mondproblem und das Hauptproblem der Theorie der künstlichen Satelliten, angewendet.

     

On countably compact,locally countable spaces

We study the cardinalities of countably compact, locally countableT ₃ spaces. For alln(<), there exists one of cardinality _n . IfV=L, then there exists one of cardinalityx iffx= orx =x. MA implies that there exists one of cardinality>2.     

Increase of stable processes

One says thatt>0 is an increase time for a real-valued path if stays above the level (t) immediately after timet, and below (t) immediately before timet. Dvoretzkyet al.,⁽¹⁰⁾ proved that Brownian motion has no increase times a.s. This result is extended here to (strictly) stable processes. Specifically, the probability that a stable processX possesses increase times is 0 if and only ifP(X ₁0)1/2.     

On semiregular conditional distributions

Let (,A,P) denote some probability space and some sub--algebra ofA. It is shown that there exists a semiregular versionQ (A),A, , of the conditional distributionP(A|), AA, i.e., Q (A), (AA fixed) is andAQ (A),AA ( fixed), is a probability charge satisfyingQ (N)=0, , for allP-zero setsN, if and only ifL ₁(,P|) has a lifting, which exists for any sub--algebra ofA ifL ₁(,A P) is separable. Separability ofL ₁(,A,P) implies also the existence of a strongly semiregular versionQ (A),A, , ofP(A|), A , i.e., Q (A), (AA fixed), is -measurable andAQ (A),A ( fixed), is a probability charge. Furthermore,P can be written as P ₁+(1–)P ₂, 01, whereP ₁ are probability measures onA such thatP ₁(A|),AA, has a semiregular version vanishing for anyP-zero setN andP ₂ is singular with respect to any probability measure onA of the type ofP ₁. In the case 0<<1 the probability measuresP _j ,j=1, 2, are uniquely determined. The decomposition can be carried over to the case, where the additional condition thatQ (N)=0 for all and anyP-zero setN is valid, is omitted respectively semiregularity is replaced by (i) strong semiregularity, or (ii) classical regularity. In the last mentioned case (ii) the decomposition is multiplicative.     

Calculation of Some Integrals Describing Wave Fields

Two methods of calculating the scattering amplitude f(, ₀) of a wave scattered by the vertex of an arbitrarily shaped cone are justified. It is shown that the approximation f _d (, ₀,t) obtained by a method similar to the AbelPoisson method of summation converges uniformly in the regularity region for f. Also, the possibility of calculating f(, ₀) for N ₁( ₀) with the help of rapidly convergent integrals is proved. Bibliography: 7 titles.     

Scaling transformations for {0, 1}-valued sequences

Summary Let r2 be an integer and let : {0, 1} ^r {0,1} be a function. Let T be the transformation on ={0, 1}zgiven by (T)(i)=((ri), (ri +1), ..., (ri+r–1)) for all iZ. For P in the class of strongly-mixing shiftinvariant measures on , we investigate when P is invariant with respect to T and when T ⁿP converges. For example if r is odd and ( ₀,..., r–1)=1 iff >1/2r, the invariant measures are the Bernoulli measures with means 0, 1/2 or 1 and T ⁿP must converge to one of these three measures. Other choices of can give more complicated behaviour.Research supported in part by the National and Engineering Research Council of Canada.     

A note on embedding of classes H ω

Among others, we extend an interesting theorem of M. V. Medvedeva pertaining to the embedding relation H BV, where BV denotes the set of the functions of -bounded variation.