Double point self-transverse immersions of

A self-transverse immersion of a smooth manifold M^8k in has a double point self-intersection set which is the image of an immersion of a smooth four-dimensional manifold, cobordent to P⁴, P²×P², P⁴+P²×P² or a boundary. We will prove that for any value of k>1 the double point self-intersection set is a boundary. If k=1, then there exists an immersion of P²×P²×P²×P² in with double point manifold boundary and odd number of triple points. In particular any immersion of oriented manifold in this dimension has double point manifold cobordant to a boundary.     

Global well-posedness and scattering for the defocusing -subcritical Hartree equation in

We prove the global well-posedness and scattering for the defocusing -subcritical (that is, 2<γ<3) Hartree equation with low regularity data in , d3. Precisely, we show that a unique and global solution exists for initial data in the Sobolev space with s>4(γ−2)/(3γ−4), which also scatters in both time directions. This improves the result in [M. Chae, S. Hong, J. Kim, C.W. Yang, Scattering theory below energy for a class of Hartree type equations, Comm. Partial Differential Equations 33 (2008) 321–348], where the global well-posedness was established for any s>max(1/2,4(γ−2)/(3γ−4)). The new ingredients in our proof are that we make use of an interaction Morawetz estimate for the smoothed out solution Iu, instead of an interaction Morawetz estimate for the solution u, and that we make careful analysis of the monotonicity property of the multiplier m(ξ)ξ^p. As a byproduct of our proof, we obtain that the H^s norm of the solution obeys the uniform-in-time bounds.     

Generalized rough approximations in

In this paper we will treat a generalization of inner and outer approximations of fuzzy sets, which we will call -inner and -outer approximations respectively ( being any finite set of rational numbers in [0,1]). In particular we will discuss the case of those fuzzy sets which are definable in the logic by means of step functions from the hypercube [0,1]^k and taking value in an arbitrary (finite) subset of . Then, we will show that if a fuzzy set is definable as truth table of a formula of , then both its -inner and -outer approximation are definable as truth table of formulas of . Finally, we will introduce a generalization of abstract approximation spaces and compare our approach with the notion of fuzzy rough set.     

Construction of nonseparable dual -wavelet frames in

Suppose and are two pairs of dual M-wavelet frames and N-wavelet frames in and , respectively, where M and N are s₁×s₁ and s₂×s₂ dilation matrices with a₁(|det(M)|-1) and (2a₂+1)(|det(N)|-1). Moreover, their mask symbols both satisfy mixed extension principle (MEP). Based on the mask symbols, a family of nonseparable dual Ω-wavelet frames in are constructed, where s=s₁+s₂, and with Θ and M^-1Θ both being integer matrices. Then a convolution scheme for improving regularity of wavelet frames is given. From the nonseparable dual Ω-wavelet frames, nonseparable Ω-wavelet frames with high regularity can be constructed easily. We give an algorithm for constructing nonseparable dual symmetric or antisymmetric wavelet frames in . From the dual Ω-wavelet frames, nonseparable dual Ω-wavelet frames with symmetry can be obtained easily. In the end, two examples are given.     

Pointwise -convergence and -convergence in measure of sequences of functions

Let be an ideal. We say that a sequence of real numbers is -convergent to if for every neighborhood U of y the set of n's satisfying y_nU is in . Basing upon this notion we define pointwise -convergence and -convergence in measure of sequences of measurable functions defined on a measure space with finite measure. We discuss the relationship between these two convergences. In particular we show that for a wide class of ideals including Erdős–Ulam ideals and summable ideals the pointwise -convergence implies the -convergence in measure. We also present examples of very regular ideals such that this implication does not hold.     

On the mean value of

Let χ be the Dirichlet character modulo q3 and L(s,χ) denote the corresponding Dirichlet L-function. The mean value of is studied and a few asymptotic formulae are given. Hybrid mean value of , general Kloosterman sums and general quadratic Gauss sums are considered.     

The implicitization problem for

We develop in this paper methods for studying the implicitization problem for a rational map defining a hypersurface in , based on computing the determinant of a graded strand of a Koszul complex. We show that the classical study of Macaulay resultants and Koszul complexes coincides, in this case, with the approach of approximation complexes and we study and give a geometric interpretation for the acyclicity conditions.Under suitable hypotheses, these techniques enable us to obtain the implicit equation, up to a power, and up to some extra factor. We give algebraic and geometric conditions for determining when the computed equation defines the scheme theoretic image of , and, what are the extra varieties that appear. We also give some applications to the problem of computing sparse discriminants.     

Coboundaries in

Let T be an ergodic automorphism of a probability space, f a bounded measurable function, . It is shown that the property that the probabilities μ(|S_n(f)|>n) are of order n^−p roughly corresponds to the existence of an approximation in L^∞ of f by functions (coboundaries) g−g○T, gL^p. Similarly, the probabilities μ(|S_n(f)|>n) are exponentially small iff f can be approximated by coboundaries g−g○T where g have finite exponential moments.

Résumé

Soit T un automorphisme ergodique d'un espace probabilisé, f une fonction bornée mesurable et . Une correspondance est établie entre l'existence de l'estimation des probabilités μ(|S_n(f)|>n) d'ordre n^−p et l'existence de l'approximation dans L^∞ de la fonction f par des cobords g−g○T où g est “presque” dans L^p. De manière similaire, les probabilités μ(|S_n(f)|>n) sont d'ordre e^−cn, pour un certain c>0, n=1,2… , si et seulement si f admet une approximation dans L^∞ par des cobords g−g○T avec g ayant des moments exponentiels.     

Strictly positive definite functions in

We give a sufficient condition for strictly positive definiteness in . The result is based on the question how sparse subsets of can be to guarantee linear independence of the exponentials.     

Semifields of order with left nucleus and center

In [G. Marino, O. Polverino, R. Trombetti, On -linear sets of PG(3,q³) and semifields, J. Combin. Theory Ser. A 114 (5) (2007) 769–788] it has been proven that there exist six non-isotopic families (i=0,…,5) of semifields of order q⁶ with left nucleus and center , according to the different geometric configurations of the associated -linear sets. In this paper we first prove that any semifield of order q⁶ with left nucleus , right and middle nuclei and center is isotopic to a cyclic semifield. Then, we focus on the family by proving that it can be partitioned into three further non-isotopic families: , , and we show that any semifield of order q⁶ with left nucleus , right and middle nuclei and center belongs to the family .     

Compactness in

This paper is concerned with compactness for some topologies on the collection of bounded linear operators on Banach spaces. New versions of the Eberlein–Šmulian theorem and Day's lemma in the collection are established. Also we obtain a partial solution of the dual problem for the quasi approximation property, that is, it is shown that for a Banach space X if X^** is separable and X^* has the quasi approximation property, then X has the quasi approximation property.     

APN permutations on and Costas arrays

We study PN and APN functions over the integers modulo n. We give some construction techniques based on Costas arrays, which allow us to construct APN permutations on where p is a prime. Although PN permutations do not exist, one set of our functions is very close to being a set of PN permutations.     

On the recursive sequence

Our aim in this paper is to investigate the global asymptotic stability of all positive solutions of the higher order nonlinear difference equation

where B, C and α, β, γ are positive, k {1, 2, 3, … }, and the initial conditions x_−2k+1, … , x₋₁, x₀ are positive real numbers. We show that the unique positive equilibrium of the equation is globally asymptotically stable and has some basins that depend on certain conditions posed on the coefficients. Our concentration is on invariant intervals, the character of semicycles, and the boundedness of the above mentioned equation. Our final comments are about informative examples.     

The operator equation

The solution of the linear operator equation:A^n-1X+A^n-2XB++AXB^n-2+XB^n-1=Y is given by if the spectra of A and B are in the sector {z:z≠0,-π/n<argz<π/n}.     

Varieties of modules for

Let k be an algebraically closed field of characteristic 2. We prove that the restricted nilpotent commuting variety , that is the set of pairs of (n×n)-matrices (A,B) such that A²=B²=[A,B]=0, is equidimensional. can be identified with the ‘variety of n-dimensional modules’ for , or equivalently, for k[X,Y]/(X²,Y²). On the other hand, we provide an example showing that the restricted nilpotent commuting variety is not equidimensional for fields of characteristic >2. We also prove that if e²=0 then the set of elements of the centralizer of e whose square is zero is equidimensional. Finally, we express each irreducible component of as a direct sum of indecomposable components of varieties of -modules.     

Trace formulae for irreducible polynomials over with minimal order roots in

The extension field where q is a prime divisor of (P−1), has a unique structure. This paper describes this unique structure and uses it to derive formulas relating the trace values for elements in . These formulas can be refined for certain elements to produce a formula for the trace.     

On matrix equations and

With the help of the concept of Kronecker map, an explicit solution for the matrix equation X−AXF=C is established. This solution is neatly expressed by a symmetric operator matrix, a controllability matrix and an observability matrix. In addition, the matrix equation is also studied. An explicit solution for this matrix equation is also proposed by means of the real representation of a complex matrix. This solution is neatly expressed by a symmetric operator matrix, two controllability matrices and two observability matrices.     

On Rado numbers for

For all integers m3 and all natural numbers a₁,a₂,…,a_m−1, let n=R(a₁,a₂,…,a_m−1) represent the least integer such that for every 2-coloring of the set {1,2,…,n} there exists a monochromatic solution to

a₁x₁+a₂x₂++a_m−1x_m−1=x_m.