Wandering subspaces and quasi-wandering subspaces in the Hardy–Sobolev spaces

In this paper, we prove that for-1/2 ≤β≤0.suppose M is an invariant subspaces of the Hardy Sobolev spaces H_β~2(D) for T_z~β, then M() zM is a generating wandering subspace of M, that is,M=[MzM]_T_z~β Moreover, any non-trivial invariant subspace M of H_β~2(D) is also generated by the quasi-wandering subspace P_MT_z~βM~⊥ that is,M=[P_MT_z~βM~⊥]_(T_z~β).     

Global well-posedness of the 3D generalized rotating magnetohydrodynamics equations

In this paper,we establish the global well-posedness of the generalized rotating magnetohydrodynamics equations if the initial data are in X~(1-2α) defined by X~(1-2α)={u∈D'(R~3):∫_(R~3)|ξ|~(1-2α)|(ξ)|dξ+∞}.In addition,we also give Gevrey class regularity of the solution.     

Asymptotic and Partial Asymptotic Hankel Operators on $$H^2(\mathbb{D}^n)$$ H 2 ( D n ) )

In this paper, we generalize the concept of asymptotic Hankel operators on H²(D) to the Hardy space H²(Dⁿ) (over polydisk) in terms of asymptotic Hankel and partial asymptotic Hankel operators and investigate some properties in case of its weak and strong convergence. Meanwhile, we introduce i^th-partial Hankel operators on H²(Dⁿ) and obtain a characterization of its compactness for n > 1. Our main results include the containment of Toeplitz algebra in the collection of all strong partial asymptotic Hankel operators on H²(Dⁿ). It is also shown that a Toeplitz operator with symbol φ is asymptotic Hankel if and only if φ is holomorphic function in L^∞(Tⁿ).     

On the fourth power moment of Fourier coefficients of cusp form

Let a(n)be the Fourier coefficients of a holomorphic cusp form of weightκ=2n≥12 for the full modular group and A(x)=∑_(n≤x)a(n).In this paper,we establish an asymptotic formula of the fourth power moment of A(x)and prove that ∫T1A~4(x)dx=3/(64κπ~4)s_4;2()T~(2κ)+O(T~(2κ-δ_4+ε))with δ_4=1/8,which improves the previous result.     

Homogenization of Elliptic Problems with Neumann Boundary Conditions in Non-smooth Domains

We consider a family of second-order elliptic operators {L_ε} in divergence form with rapidly oscillating and periodic coefficients in Lipschitz and convex domains in R~n. We are able to show that the uniform W~(1,p) estimate of second order elliptic systems holds for 2n/(n+1)-δ p 2n/(n-1)+ δ where δ 0 is independent of ε and the ranges are sharp for n = 2, 3. And for elliptic equations in Lipschitz domains, the W~(1,p) estimate is true for 3/2-δ p 3 + δ if n ≥ 4, similar estimate was extended to convex domains for 1 p ∞.     

Phase Retrieval of Real-valued Functions in Sobolev Space

The Sobolev space H^s(R^d) with s > d/2 contains many important functions such as the bandlimited or rational ones. In this paper we propose a sequence of measurement functions {ϕ_j,k^γ} ⊆ H^-s(R^d) to the phase retrieval problem for the real-valued functions in H^s(R^d). We prove that any real-valued function f ∈ H^s(R^d) can be determined, up to a global sign, by the phaseless measurements {|<f, ϕ_j,k^γ>|}. It is known that phase retrieval is unstable in infinite dimensional spaces with respect to perturbations of the measurement functions. We examine a special type of perturbations that ensures the stability for the phase-retrieval problem for all the real-valued functions in H^s(R^d) ∩ C¹(R^d), and prove that our iterated reconstruction procedure guarantees uniform convergence for any function f ∈ H^s(R^d) ∩ C¹(R^d) whose Fourier transform f is L¹-integrable. Moreover, numerical simulations are conducted to test the efficiency of the reconstruction algorithm.     

New constructions of divisible designs

A construction is given for a (p^2a(p+1),p²,p^2a+1(p+1),p^2a+1,p^2a(p+1)) (p a prime) divisible difference set in the group H×Z²_pa+1 where H is any abelian group of order p+1. This can be used to generate a symmetric semi-regular divisible design; this is a new set of parameters for λ₁≠0, and those are fairly rare. We also give a construction for a (p^a−1+p^a−2+…+p+2,p^a+2, p^a(p^a+p^a−1+…+p+1), p^a(p^a−1+…+p+1), p^a−1(p^a+…+p²+2)) divisible difference set in the group H×Z_p2×Z^a_p. This is another new set of parameters, and it corresponds to a symmetric regular divisible design. For p=2, these parameters have λ₁=λ₂, and this corresponds to the parameters for the ordinary Menon difference sets.     

On <Emphasis Type="Italic">σ</Emphasis>-semipermutable Subgroups of Finite Groups

Let σ={σ_i|i∈I} be some partition of the set of all primes P, G a finite group and σ(G)={σ_i|σ_i ∩ π(G)≠∅}. A set H of subgroups of G is said to be a complete Hall σ-set of G if every member≠1 of H is a Hall σ_i-subgroup of G for some σ_i ∈ σ and H contains exactly one Hall σ_i-subgroup of G for every σ_i ∈ σ(G). A subgroup H of G is said to be:σ-semipermutable in G with respect to H if HH_i^x=H_i^xH for all x ∈ G and all H_i ∈ H such that (|H|,|H_i|)=1; σ-semipermutable in G if H is σ-semipermutable in G with respect to some complete Hall σ-set of G. We study the structure of G being based on the assumption that some subgroups of G are σ-semipermutable in G.     

Cellular Chain Complex of Small Covers with Integer Coefficients and Its Application

Let Pⁿ be a simple n-polytope with a Z²-characteristic function λ. And h is a Morse function over Pⁿ. Then the small cover Mⁿ(λ) corresponding to the pair (Pⁿ, λ) has a cell structure given by h. From this cell structure we can derive a cellular chain complex of Mⁿ(λ) with integer coefficients. In this paper, firstly, we discuss the highest dimensional boundary morphism ∂_n of this cellular chain complex and get that ∂_n=0 or 2 by a natural way. And then, from the well-known result that the submanifold corresponding to (F, λ_F) is naturally a small cover with dimension k, where F is any k-face of Pⁿ and λ_F is the restriction of λ on F, we get that ∂_k=0 or ±2 for 0 ≤ k < n. Finally, by using the definition of inherited characteristic function which is the restriction of λ on the faces of Pⁿ, we get a way to calculate the homology groups of Mⁿ(λ). Applying our result to a 3-small cover we have that the homology groups of any 3-small cover is torsion-free or has only 2-torsion.     

Large 2P3-free graphs with bounded degree

Let ex^* (D;H) be the maximum number of edges in a connected graph with maximum degree D and no induced subgraph H; this is finite if and only if H is a disjoint union of paths. If the largest component of such an H has order m, then ex^*(D; H) = O(D²ex^*(D; P_m)). Constructively, ex^*(D;qP_m) = Θ(gD²ex^*(D;P_m)) if q>1 and m> 2(Θ(gD²) if m = 2). For H = 2P₃ (and D 8), the maximum number of edges is if D is even and

Full-size image

if D is odd, achieved by a unique extremal graph.     

Unconditional uniqueness of solution for $$\dot H^{s_c }$$ critical 4th order NLS in high dimensions

In this paper, we study the unconditional uniqueness of solution for the Cauchy problem of Ḣ^s_c(0 ≤ s_c < 2) critical nonlinear fourth-order Schrödinger equations i∂_tu + Δ²u-εu=λ|u|^αu. By employing paraproduct estimates and Strichartz estimates, we prove that unconditional uniqueness of solution holds in C_t(I; Ḣ^s_c(R^d)) for d ≥ 11 and min{1^-, (8)/(d-4)} ≥ α >(-(d-4)+√4(d-4)²+64)/4.     

Intersections of nest algebras in finite dimensions

If are maximal nests on a finite-dimensional Hilbert space H, the dimension of the intersection of the corresponding nest algebras is at least dim H. On the other hand, there are three maximal nests whose nest algebras intersect in the scalar operators. The dimension of the intersection of two nest algebras (corresponding to maximal nests) can be of any integer value from n to n(n+1)/2, where n=dim H. For any two maximal nests there exists a basis {f₁,f₂,…,f_n} of H and a permutation π such that and where M_i=  span{f₁,f₂,…,f_i} and N_i= span{f_π(1),f_π(2),…,f_π(i)}. The intersection of the corresponding nest algebras has minimum dimension, namely dim H, precisely when π(j)=n−j+1,1jn. Those algebras which are upper-triangular matrix incidence algebras, relative to some basis, can be characterised as intersections of certain nest algebras.     

Asymptotic bounds for some bipartite graph: complete graph Ramsey numbers

The Ramsey number r(H,K_n) is the smallest integer N so that each graph on N vertices that fails to contain H as a subgraph has independence number at least n. It is shown that r(K_2,m,K_n)(m−1+o(1))(n/log n)² and r(C_2m,K_n)c(n/log n)^m/(m−1) for m fixed and n→∞. Also r(K_2,n,K_n)=Θ(n³/log² n) and .     

Strong Laws of Large Numbers for Double Sums of Banach Space Valued Random Elements

For a double array {V_(m,n), m ≥ 1, n ≥ 1} of independent, mean 0 random elements in a real separable Rademacher type p(1 ≤ p ≤ 2) Banach space and an increasing double array {b_(m,n), m ≥1, n ≥ 1} of positive constants, the limit law ■ and in L_p as m∨n→∞ is shown to hold if ■ This strong law of large numbers provides a complete characterization of Rademacher type p Banach spaces. Results of this form are also established when 0 p ≤ 1 where no independence or mean 0 conditions are placed on the random elements and without any geometric conditions placed on the underlying Banach space.     

On the Equation n_1n_2= n_3n_4 Restricted to Factor Closed Sets

We study the number of solutions N(B,F) of the diophantine equation n_1n_2 = n_3 n_4,where 1 ≤ n_1 ≤ B,1 ≤ n_3 ≤ B,n_2,n_4 ∈ F and F[1,B] is a factor closed set.We study more particularly the case when F={m = p_1~(ε1)···p_k~(εk),ε_j∈{0,1},1 ≤ j ≤ k},p_1,...,p_k being distinct prime numbers.     

Krylov subspace methods for eigenvalues with special properties and their analysis for normal matrices

In this paper we propose a general approach by which eigenvalues with a special property of a given matrix A can be obtained. In this approach we first determine a scalar function ψ: C → C whose modulus is maximized by the eigenvalues that have the special property. Next, we compute the generalized power iterations uinj + 1 = ψ(A)u_j, j = 0, 1,…, where u₀ is an arbitrary initial vector. Finally, we apply known Krylov subspace methods, such as the Arnoldi and Lanczos methods, to the vector u_n for some sufficiently large n. We can also apply the simultaneous iteration method to the subspace span{x⁽ⁿ⁾₁,…,x⁽ⁿ⁾_k} with some sufficiently large n, where x^(j+1)_m = ψ(A)x^(j)_m, j = 0, 1,…, m = 1,…, k. In all cases the resulting Ritz pairs are approximations to the eigenpairs of A with the special property. We provide a rather thorough convergence analysis of the approach involving all three methods as n → ∞ for the case in which A is a normal matrix. We also discuss the connections and similarities of our approach with the existing methods and approaches in the literature.     

On Grauert–Riemenschneider Type Criteria

Let(X, ω) be a compact Hermitian manifold of complex dimension n. In this article,we first survey recent progress towards Grauert–Riemenschneider type criteria. Secondly, we give a simplified proof of Boucksom's conjecture given by the author under the assumption that the Hermitian metric ω satisfies ?■ω~l= for all l, i.e., if T is a closed positive current on X such that ∫_XT_(ac)~n 0, then the class {T } is big and X is Kahler. Finally, as an easy observation, we point out that Nguyen's result can be generalized as follows: if ?■ω = 0, and T is a closed positive current with analytic singularities,such that ∫_XT_(ac)~n 0, then the class {T} is big and X is Kahler.     

Biased partitions and judicious <Emphasis Type="Italic">k</Emphasis>-partitions of graphs

Let G = (V,E) be a graph with m edges. For reals p ∈ [0, 1] and q = 1- p, let m_p(G) be the minimum of qe(V₁) +pe(V₂) over partitions V = V₁ ∪ V₂, where e(V_i) denotes the number of edges spanned by V_i. We show that if mp(G) = pqm-δ, then there exists a bipartition V₁, V₂ of G such that e(V₁) ≤ p²m - δ + p√m/2 + o(√m) and e(V₂) ≤ q²m - δ + q √m/2 + o(√m) for δ = o(m^2/3). This is sharp for complete graphs up to the error term o(√m). For an integer k ≥ 2, let fk(G) denote the maximum number of edges in a k-partite subgraph of G. We prove that if fk(G) = (1 - 1/k)m + α, then G admits a k-partition such that each vertex class spans at most m/k² - Ω(m/k^7.5) edges for α = Ω(m/k⁶). Both of the above improve the results of Bollobás and Scott.