Asymptotic separation for independent trajectories of Markov processes

We say that n independent trajectories ξ₁(t),…,ξ _n (t) of a stochastic process ξ(t)on a metric space are asymptotically separated if, for some ɛ > 0, the distance between ξ _i (t _i ) and ξ _j (t _j ) is at least ɛ, for some indices i, j and for all large enough t ₁,…,t _n , with probability 1. We prove sufficient conitions for asymptotic separationin terms of the Green function and the transition function, for a wide class of Markov processes. In particular,if ξ is the diffusion on a Riemannian manifold generated by the Laplace operator Δ, and the heat kernel p(t, x, y) satisfies the inequality p(t, x, x) ≤ Ct ^−ν/2 then n trajectories of ξ are asymptotically separated provided . Moreover, if for some α∈(0, 2)then n trajectories of ξ^(α) are asymptotically separated, where ξ^(α) is the α-process generated by −(−Δ)^α/2. Received: 10 June 1999 / Revised version: 20 April 2000 / Published online: 14 December 2000 RID="*" ID="*" Supported by the EPSRC Research Fellowship B/94/AF/1782 RID="**" ID="**" Partially supported by the EPSRC Visiting Fellowship GR/M61573     

Asymptotic behavior of the irrational factor

We study the irrational factor function I(n) introduced by Atanassov and defined by , where is the prime factorization of n. We show that the sequence {G(n)/n} _n≧1, where G(n) = Π _ν=1 ⁿ I(ν)^1/n , is convergent; this answers a question of Panaitopol. We also establish asymptotic formulas for averages of the function I(n). Research of the third author is supported in part by NSF grant number DMS-0456615.     

Linear liftings for non-complete probability spaces

We show that it is consistent with ZFC thatL ^∞(Y,B,ν) has no linear lifting for many non-complete probability spaces (Y,B,ν), in particular forY=[0,1]^A,B=Borel subsets ofY, ν=usual Radon measure onB. Research supported by UPEI Senate Grant no 602101, by the Research Institute for Mathematical Sciences at Bar-Ilan University, and by the Landau Center for Mathematical Research in Analysis (supported by the Minerva Foundation). The author would like to thank the organizers of the Winter Institute on the Set Theory of the Reals for their hospitality while part of this research was being carried out. Partially supported by the Foundation for Basic Research of the Israel Academy of Science. Publication number 437.     

Distribution of harmonic sums and Bernoulli polynomials modulo a prime

For a fixed integer s≥1, we estimate exponential sums with harmonic sums individually and on average, where H_s(n) is computed modulo a prime p. These bounds are used to derive new results about various congruences modulo p involving H_s(n). For example, our estimates imply that for any ɛ>0, the set {H_s(n):n<p^1/2+ɛ} is uniformly distributed modulo a sufficiently large p. We also show that every residue class λ can be represented as with max{n_ν|ν=1,. . . , 7}≤p^11/12+ɛ, and we obtain an asymptotic formula for the number of such representations. The same results hold also for the values B_p−r(n) of Bernoulli polynomials where r is fixed, complementing some results of W. L. Fouche. During the preparation of this paper, F. L. was supported in part by grants SEP-CONACYT 37259-E and 37260-E, and I. S. was supported in part by ARC grant DP0211459.     

Polynomial bounds for Large Bernoulli sections of ℓ 1 N

We present a quantitative form of the result of Bai and Yin from [2], and use to show that the section of ℓ ₁ ^(1+δ)n spanned byn random independent sign vectors is with high probability isomorphic to euclidean with isomorphism constant polynomial in δ⁻¹. Partially supported by BSF grant 2002-006. Supported by the National Science Foundation under agreement No. DMS-0111298. Supported in part by the Israel Science Academy.     

On the order of growth of solutions of algebraic differential equations

Assume thatf is an integer transcendental solution of the differential equationP _n (z, f, f′)=P _n−1(z, f, f′, ... f ^(p)), whereP _n andP _n−1 are polynomials in all variables, the degree ofP _n with respect tof andf′ is equal ton, and the degree ofP _n−1 with respect tof, f′, ... f ^(p) is at mostn−1. We prove that the order ρ of growth off satisfies the relation 1/2≤ρ<∞. We also prove that if ρ=1/2, then, for a certain real ν, in the domain {z: ν<argz<ν+2π}/E _*, whereE _* is a certain set of disks with finite sum of radii, the estimate lnf(z)=z ^1/2 (β+o(1)), β∈C, holds forz=re ^iϕ,r≥r(ϕ)≥0. Furthermore, on the ray {z: argz=ν}, the following relation is true: ln‖f(re ^iν)‖=o(r ^1/2),r→+∞,r>0, , where Δ is a certain set on the semiaxisr>0 with mes Δ<∞. “L'vivs'ka Politekhnika” University, Lvov. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 51, No. 1, pp. 69–77, January, 1999.     

On Asymptotic Behavior for Singularities of the Powers of Mean Curvature Flow

Let M^n be a smooth, compact manifold without boundary, and F0 ： M^n→ R^n＋1 a smooth immersion which is convex. The one-parameter families F（·, t） ： M^n× [0, T） → R^n＋1 of hypersurfaces Mt^n= F（·,t）（M^n） satisfy an initial value problem dF/dt （·,t） = -H^k（· ,t）v（· ,t）, F（· ,0） = F0（· ）, where H is the mean curvature and u（·,t） is the outer unit normal at F（·, t）, such that -Hu = H is the mean curvature vector, and k 〉 0 is a constant. This problem is called H^k-fiow. Such flow will develop singularities after finite time. According to the blow-up rate of the square norm of the second fundamental forms, the authors analyze the structure of the rescaled limit by classifying the singularities as two types, i.e., Type Ⅰ and Type Ⅱ. It is proved that for Type Ⅰ singularity, the limiting hypersurface satisfies an elliptic equation; for Type Ⅱ singularity, the limiting hypersurface must be a translating soliton.     

Approximation of infinite matrices by matricial Haar polynomials

The main goal of this paper is to extend the approximation theorem of contiuous functions by Haar polynomials (see Theorem A) to infinite matrices (see Theorem C). The extension to the matricial framework will be based on the one hand on the remark that periodic functions which belong toL ^∞ (T) may be one-to-one identified with Toeplitz matrices fromB(l ₂) (see Theorem 0) and on the other hand on some notions given in the paper. We mention for instance:ms—a unital commutative subalgebra ofl ^∞,C(l ₂) the matricial analogue of the space of all continuous periodic functionsC(T), the matricial Haar polynomials, etc. In Section 1 we present some results concerning the spacems—a concept important for this generalization, the proof of the main theorem being given in the second section. Partially supported by EUROMMAT ICA1-CT-2000-70022. Partially supported by V-Stabi-RUM/1022123. Partially supported by EUROMMAT ICA1-CT-2000-70022 and V-Stabi-RUM/1022123.     

Weights andL Φ-boundedness of the Poisson integral operator

In this paper, we get a necessary and sufficient condition on the weights (μ,v) for the Poisson integral operator to be bounded fromL _Φ(R ⁿ, v(x)dx) to weak-L _Φ(R ₊ ⁿ⁺¹ ,dμ), where Φ is anN-function satisfying the Δ₂-condition. We also find a necessary and sufficient condition on the weights (μ,v) for the Poisson integral operator to be bounded fromL _Φ(R ⁿ,v(x)dx) toL _Φ(R ₊ ⁿ⁺¹ ,dμ) under some additional condition. Partially supported by NNSF of P.R. China     

Asymptotically spirallike mappings in several complex variables

In this paper, we define the notion of asymptotic spirallikeness (a generalization of asymptotic starlikeness) in the Euclidean space ℂ ⁿ . We consider the connection between this notion and univalent subordination chains. We introduce the notions of A-asymptotic spirallikeness and A-parametric representation, where A ∈ L(ℂ ⁿ , ℂ ⁿ ), and prove that if dt < ∞ (this integral is convergent if k ₊(A) < 2m(A)), then a mapping f ∈ S(B ⁿ ) is A-asymptotically spirallike if and only if f has A-parametric representation, i.e., if and only if there exists a univalent subordination chain f(z, t) such that D f(0, t) = e ^At , {e ^−At f(·, t)} _t≥0 is a normal family on B ⁿ and f = f(·, 0). In particular, a spirallike mapping with respect to A ∈ L(ℂ ⁿ , ℂ ⁿ ) with dt < ∞ has A-parametric representation. We also prove that if f is a spirallike mapping with respect to an operator A such that A + A* = 2I _n , then f has parametric representation (i.e., with respect to the identity). Finally, we obtain some examples of asymptotically spirallike mappings. Partially supported by the Natural Sciences and Engineering Research Council of Canada under Grant A9221. Partially supported by Grant-in-Aid for Scientific Research (C) no. 19540205 from Japan Society for the Promotion of Science, 2007. Partially supported by Romanian Ministry of Education and Research, CEEX Program, Project 2-CEx06-11-10/2006.     

Frame Self-orthogonal Mendelsohn Triple Systems

A Mendelsohn triple system of order ν, MTS(ν) for short, is a pair (X, B) where X is a ν-set (of points) and B is a collection of cyclic triples on X such that every ordered pair of distinct points from X appears in exactly one cyclic triple of B. The cyclic triple (a, b, c) contains the ordered pairs (a, b), (b, c) and (c, a). An MTS(ν) corresponds to an idempotent semisymmetric Latin square (quasigroup) of order ν. An MTS(ν) is called frame self-orthogonal, FSOMTS for short, if its associated semisymmetric Latin square is frame self-orthogonal. It is known that an FSOMTS(1 ⁿ ) exists for all n≡1 (mod 3) except n=10 and for all n≥15, n≡0 (mod 3) with possible exception that n=18. In this paper, it is shown that (i) an FSOMTS(2 ⁿ ) exists if and only if n≡0,1 (mod 3) and n>5 with possible exceptions n∈{9, 27, 33, 39}; (ii) an FSOMTS(3 ⁿ ) exists if and only if n≥4, with possible exceptions that n∈{6, 14, 18, 19}. *Research supported by NSFC 10371002 *Partially supported by National Science Foundation under Grant CCR-0098093     

On the local distribution of certain arithmetic functions

Let d(n), σ ₁(n), and φ(n) stand for the number of positive divisors of n, the sum of the positive divisors of n, and Euler’s function, respectively. For each ν ∈, Z, we obtain asymptotic formulas for the number of integers n ⩽ x for which e _n = 2 ^v r for some odd integer m as well as for the number of integers n ⩽ x for which e _n = 2 ^v r for some odd rational number r. Our method also applies when φ(n) is replaced by σ ₁(n), thus, improving upon an earlier result of Bateman, Erdős, Pomerance, and Straus, according to which the set of integers n such that is an integer is of density 1/2. Research supported in part by a grant from NSERC. Research supported by the Applied Number Theory Research Group of the Hungarian Academy of Science and by a grant from OTKA. Published in Lietuvos Matematikos Rinkinys, Vol. 46, No. 3, pp. 315–331, July–September, 2006.     

Fan-Type Theorem for Long Cycles Containing a Specified Edge

In this paper, we prove that if G is 3-connected noncomplete graph of order n satisfying min{max{d(u),d(v)}:d(u,v)=2}=μ, then for each edge e, G has a cycle containing e of length at least min{n,2μ}, unless G is a spanning subgraph of K_μ + K^c_n−μ or K₃+(lK_μ−2∪K_s), where n=l(μ−2)+s+3,1≤s≤μ−2. Partially supported by NNSFC(No. 60172005); Partially supported by NNSFC(No. 10431020);     

Brownian bridge on hyperbolic spaces and on homogeneous trees

Let B be the Brownian motion on a noncompact non Euclidean rank one symmetric space H. A typical examples is an hyperbolic space H _n , n > 2. For ν > 0, the Brownian bridge B ^(ν) of length ν on H is the process B _t , 0 ≤t≤ν, conditioned by B ₀ = B _ν = o, where o is an origin in H. It is proved that the process converges weakly to the Brownian excursion when ν→ + ∞ (the Brownian excursion is the radial part of the Brownian Bridge on ℝ³). The same result holds for the simple random walk on an homogeneous tree. Received: 4 December 1998 / Revised version: 22 January 1999     

On solutions of the Ricci curvature equation and the Einstein equation

We consider the pseudo-Euclidean space (R ⁿ , g), with n ≥ 3 and g _ij = δ _ij ε _i , ε _i = ±1, where at least one ε _i = 1 and nondiagonal tensors of the form T = Σ _ij f _ij dx _i dx _j such that, for i ≠ j, f _ij (x _i , x _j ) depends on x _i and x _j . We provide necessary and sufficient conditions for such a tensor to admit a metric ḡ, conformal to g, that solves the Ricci tensor equation or the Einstein equation. Similar problems are considered for locally conformally flat manifolds. Examples are provided of complete metrics on R ⁿ , on the n-dimensional torus T ⁿ and on cylinders T ^k ×R ^n-k , that solve the Ricci equation or the Einstein equation. Partially supported by CAPES/PROCAD. Partially Supported By Cnpq, Capes/Procad.     

The monodromy group of a function on a general curve

LetC _g be a general curve of genusg≥4. Guralnick and others proved that the monodromy group of a coverC _g →ℙ¹ of degreen is eitherS _n orA _n . We show thatA _n occurs forn≥2g+1. The corresponding result forS _n is classical. Partially supported by NSA grant MDA-9049810020. Partially supported by NSF grant DMS-0200225.     

Graded central polynomials for the algebra <Emphasis Type="Italic">M</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(<Emphasis Type="Italic">K</Emphasis>)

Let M _n (K) be the algebra of all n × n matrices over an infinite field K. This algebra has a natural ℤ _n -grading and a natural ℤ-grading. Finite bases for its ℤ _n -graded identities and for its ℤ-graded identities are known. In this paper we describe finite generating sets for the ℤ _n -graded and for the ℤ-graded central polynomials for M _n (K) Partially supported by CNPq 620025/2006-9     

Dynamical Borel-Cantelli lemmas for gibbs measures

LetT: X→X be a deterministic dynamical system preserving a probability measure μ. A dynamical Borel-Cantelli lemma asserts that for certain sequences of subsetsA _n ⊃ X and μ-almost every pointx∈X the inclusionT ⁿ x∈A _n holds for infinitely manyn. We discuss here systems which are either symbolic (topological) Markov chain or Anosov diffeomorphisms preserving Gibbs measures. We find sufficient conditions on sequences of cylinders and rectangles, respectively, that ensure the dynamical Borel-Cantelli lemma. Partially supported by NSF grant DMS-9732728. Partially supported by NSF grant DMS-9704489.     

On an oppenheim-type conjecture for systems of quadratic forms

In this paper we establish dimension freeL ^p (ℝ ⁿ ,|x|^α) norm inequalities (1<p<∞) for the oscillation and variation of the Riesz transforms in ℝ ⁿ . In doing so we findA _p -weighted norm inequalities for the oscillation and the variation of the Hilbert transform in ℝ. Some weighted transference results are also proved. Partially supported by European Commission via the TMR network “Harmonic Analysis”.     

Graphs whose every transitive orientation contains almost every relation

Given a graphG onn vertices and a total ordering ≺ ofV(G), the transitive orientation ofG associated with ≺, denotedP(G; ≺), is the partial order onV(G) defined by settingx<y inP(G; ≺) if there is a pathx=x ₁ x ₂…x _r=y inG such thatx ₁ ≺x _j for 1≦i<j≦r. We investigate graphsG such that every transitive orientation ofG contains ₂ ⁿ −o(n ²) relations. We prove that almost everyG _n,p satisfies this requirement if , but almost noG _n,p satisfies the condition if (pn log log logn)/(logn log logn) is bounded. We also show that every graphG withn vertices and at mostcn logn edges has some transitive orientation with fewer than ₂ ⁿ −δ(c)n ² relations. Partially supported by MCS Grant 8104854.