Hrmander Type Theorem for Fourier Multipliers with Optimal Smoothness on Hardy Spaces of Arbitrary Number of Parameters

The main purpose of this paper is to establish the Hormander-Mihlin type theorem for Fourier multipliers with optimal smoothness on k-parameter Hardy spaces for k≥ 3 using the multiparameter Littlewood-Paley theory. For the sake of convenience and simplicity, we only consider the case k = 3, and the method works for all the cases k≥ 3:■where x =(x_1,x_2,x_3)∈R~(n_1)×R~(n_2)×R~(n_3) and ξ =(ξ_1,ξ_2,ξ_3)∈R~(n_1)×R~(n_2)×R~(n_3). One of our main results is the following:Assume that m(ξ) is a function on R~(n_1+n_2+n_3) satisfying ■ with s_i n_i(1/p-1/2) for 1≤i≤3. Then T_m is bounded from H~p(R~(n_1)×R~(n_2)×R~(n_3) to H~p(R~(n_1)×R~(n_2)×R~(n_3)for all 0 p≤1 and ■ Moreover, the smoothness assumption on s_i for 1≤i≤3 is optimal. Here we have used the notations m_(j,k,l)(ξ)=m(2~jξ_1,2~kξ_2,2~lξ_3)Ψ(ξ_1)Ψ(ξ_2)Ψ(ξ_3) and Ψ(ξ_i) is a suitable cut-off function on R~(n_i) for1≤i≤3, and W~(s_1,s_2,s_3) is a three-parameter Sobolev space on R~(n_1)×R~(n_2)× R~(n_3).Because the Fefferman criterion breaks down in three parameters or more, we consider the L~p boundedness of the Littlewood-Paley square function of T_mf to establish its boundedness on the multi-parameter Hardy spaces.     

Relative Difference Sets and Hadamard Matrices from Perfect Quaternionic Arrays

Let \(G=\mathbf{C}_{n_1}\times \cdots \times \mathbf{C}_{n_m}\) be an abelian group of order \(n=n_1\dots n_m\), where each \(\mathbf{C}_{n_t}\) is cyclic of order \(n_t\). We present a correspondence between the (4n, 2, 4n, 2n)-relative difference sets in \(G\times Q_8\) relative to the centre \(Z(Q_8)\) and the perfect arrays of size \(n_1\times \dots \times n_m\) over the quaternionic alphabet \(Q_8\cup qQ_8\), where \(q=(1+i+j+k)/2\). In view of this connection, for \(m=2\) we introduce new families of relative difference sets in \(G\times Q_8\), as well as new families of Williamson and Ito Hadamard matrices with G-invariant components.     

On a vectorized version of a generalized Richardson extrapolation process

Let {x _m } be a vector sequence that satisfies

$$\boldsymbol{x}_{m}\sim \boldsymbol{s}+\sum\limits^{\infty}_{i=1}\alpha_{i} \boldsymbol{g}_{i}(m)\quad\text{as \(m\to\infty\)}, $$

s being the limit or antilimit of {x _m } and \(\{\boldsymbol {g}_{i}(m)\}^{\infty }_{i=1}\) being an asymptotic scale as m → ∞, in the sense that

$$\lim\limits_{m\to\infty}\frac{\|\boldsymbol{g}_{i+1}(m)\|}{\|\boldsymbol{g}_{i}(m)\|}=0,\quad i=1,2,\ldots. $$

The vector sequences \(\{\boldsymbol {g}_{i}(m)\}^{\infty }_{m=0}\), i = 1, 2,…, are known, as well as {x _m }. In this work, we analyze the convergence and convergence acceleration properties of a vectorized version of the generalized Richardson extrapolation process that is defined via the equations

$$\sum\limits^{k}_{i=1}\langle\boldsymbol{y},{\Delta}\boldsymbol{g}_{i}(m)\rangle\widetilde{\alpha}_{i}=\langle\boldsymbol{y},{\Delta}\boldsymbol{x}_{m}\rangle,\quad n\leq m\leq n+k-1;\quad \boldsymbol{s}_{n,k}=\boldsymbol{x}_{n}+\sum\limits^{k}_{i=1}\widetilde{\alpha}_{i}\boldsymbol{g}_{i}(n), $$

s _{n, k} being the approximation to s. Here, y is some nonzero vector, 〈? ,?〉 is an inner product, such that \(\langle \alpha \boldsymbol {a},\beta \boldsymbol {b}\rangle =\overline {\alpha }\beta \langle \boldsymbol {a},\boldsymbol {b}\rangle \), and Δx _m = x _{m + 1}? x _m and Δg _i (m) = g _i (m + 1)?g _i (m). By imposing a minimal number of reasonable additional conditions on the g _i (m), we show that the error s _{n, k} ? s has a full asymptotic expansion as n→∞. We also show that actual convergence acceleration takes place, and we provide a complete classification of it.

     

Moderate deviation principle for <Emphasis Type="Italic">m</Emphasis>-dependent random variables<Superscript>*</Superscript>

Let {X _n }_n?≥?1 be a sequence of strictly stationary m-dependent random variableswith EX₁ = 0 and \( \mathrm{E}{X}_1^2<\infty \), and let (b _n ) be an increasing sequence of positive numbers such that b _n ?↑?∞ and \( {b}_n/\sqrt{n}\downarrow 0\kern0.5em \mathrm{as}\kern0.5em n\to \infty \). We establish a moderate deviation principle of \( {\left({b}_n\sqrt{n}\right)}^{-1}{\sum}_{i=1}^n{X}_i \) under the condition

$$ \underset{n\to \infty }{\lim \sup}\frac{1}{b_n^2}\log \left[n\mathbf{P}\left(\left|{X}_1\right|>{b}_n\sqrt{n}\right)\right]=-\infty, $$

which is weaker than the classical exponential integrability condition. The results in the present paper weaken the assumptions of Chen [5] and extend partially the results of Eichelsbacher and Löwe [10].     

On the exceptional sets in Sylvester expansions*

For any x ?? (0, 1], let the series \( {\sum}_{n=1}^{\infty }1/{d}_n(x) \) be the Sylvester expansion of x, where {d _j (x),?j?≥?1} is a sequence of positive integers satisfying d₁(x)?≥?2 and d_j?+?1(x)?≥?d _j (x)(d _j (x)???1)?+?1 for j?≥?1. Suppose ? : ? → ?⁺ is a function satisfying ?(n+1) – ? (n) → ∞ as n → ∞. In this paper, we consider the set

$$ E\left(\phi \right)=\left\{x\kern0.5em \in \left(0,1\right]:\kern0.5em \underset{n\to \infty }{\lim}\frac{\log {d}_n(x)-{\sum}_{j=1}^{n-1}\log {d}_j(x)}{\phi (n)}=1\right\} $$

and quantify the size of the set in the sense of Hausdorff dimension. As applications, for any β > 1 and γ > 0, we get the Hausdorff dimension of the set \( \left\{x\in \kern1em \left(0,1\right]:\kern0.5em {\lim}_{n\to \infty}\left(\log {d}_n(x)-{\sum}_{j=1}^{n-1}\log {d}_j(x)\right)/{n}^{\beta }=\upgamma \right\}, \) and for any τ > 1 and η > 0, we get a lower bound of the Hausdorff dimension of the set \( \left\{x\kern0.5em \in \kern0.5em \left(0,1\right]:\kern1em {\lim}_{n\to \infty}\left(\log {d}_n(x)-{\sum}_{j=1}^{n-1}\log {d}_j(x)\right)/{\tau}^n=\eta \right\}. \)     

Relative Tor Functors for Level Modules with Respect to a Semidualizing Bimodule

Let R and S be rings and _S C _R a semidualizing bimodule. We investigate the relative Tor functors \(\text {Tor}_{i}^{\mathcal {M}\mathcal {L}_{C}}(-,-)\) defined via C-level resolutions, and these functors are exactly the relative Tor functors \(\text {Tor}_{i}^{\mathcal {M}\mathcal {F}_{C}}(-,-)\) defined by Salimi, Sather-Wagstaff, Tavasoli and Yassemi provided that S = R is a commutative Noetherian ring. Vanishing of these functors characterizes the finiteness of \(\mathcal {L}_{C}(S)\)-projective dimension. Applications go in two directions. The first is to characterize when every S-module has a monic (or epic) C-level precover (or preenvelope). The second is to give some criteria for the isomorphism \(\text {Tor}_{i}^{\mathcal {M}\mathcal {L}_{C}}(-,-)\cong \text {Tor}_{i}^{\mathcal {M}\mathcal {F}_{C}}(-,-)\) between the bifunctors.     

A relation between the Laplacian and signless Laplacian eigenvalues of a graph

Let G be a graph of order n such that \(\sum_{i=0}^{n}(-1)^{i}a_{i}\lambda^{n-i}\) and \(\sum_{i=0}^{n}(-1)^{i}b_{i}\lambda^{n-i}\) are the characteristic polynomials of the signless Laplacian and the Laplacian matrices of G, respectively. We show that a _i ≥b _i for i=0,1,…,n. As a consequence, we prove that for any α, 0<α≤1, if q ₁,…,q _n and μ ₁,…,μ _n are the signless Laplacian and the Laplacian eigenvalues of G, respectively, then \(q_{1}^{\alpha}+\cdots+q_{n}^{\alpha}\geq\mu_{1}^{\alpha}+\cdots+\mu _{n}^{\alpha}\).     

Shifted convolution sums involving theta series

Let f be a cuspidal newform (holomorphic or Maass) of arbitrary level and nebentypus and denote by \(\lambda _f(n)\) its nth Hecke eigenvalue. Let

$$\begin{aligned} r(n)=\#\left\{ (n_1,n_2)\in \mathbb {Z}^2:n_1^2+n_2^2=n\right\} . \end{aligned}$$

In this paper, we study the shifted convolution sum

$$\begin{aligned} \mathcal {S}_h(X)=\sum _{n\le X}\lambda _f(n+h)r(n), \qquad 1\le h\le X, \end{aligned}$$

and establish uniform bounds with respect to the shift h for \(\mathcal {S}_h(X)\).

     

On Haar series of <Emphasis Type="Italic">A</Emphasis>–integrable functions

In this paper we obtain a necessary and sufficient condition on the sequence of natural numbers {q _n } such that the almost everywhere convergence of the cubic partial sums S _qn (x) of the multiple Haar series Σ_n a _nχ_n(x) and the condition lim inf \(\lambda \cdot mes\left\{ {x:\begin{array}{*{20}{c}} {\sup } \\ n \end{array}\left| {S{}_{qn}\left( x \right)} \right| \succ \lambda } \right\} = 0\), imply that the coefficients a _n can be uniquely determined by the sum of the series. Also, we have obtained a necessary and sufficient condition for the series \(\sum\limits_{n = 1}^\infty {{\varepsilon _n}{a_n}} {\chi _n}\left( x \right)\) with an arbitrary bounded sequence {ε _n} to be a Fourier-Haar series of an A-integrable function.     

Topological entropy of sets of generic points for actions of amenable groups

Let G be a countable discrete infinite amenable group which acts continuously on a compact metric space X and let μ be an ergodic G-invariant Borel probability measure on X. For a fixed tempered F?lner sequence {Fn} in G with limn→+∞|Fn|/log n= ∞, we prove the following result:h_top~B(G_μ, {F_n}) = h_μ(X, G),where G_μ is the set of generic points for μ with respect to {F_n} and h_top~B(G_μ, {F_n}) is the Bowen topological entropy(along {F_n}) on G_μ. This generalizes the classical result of Bowen(1973).     

Ideal counting function in cubic fields

For a cubic algebraic extension K of ?, the behavior of the ideal counting function is considered in this paper. More precisely, let a _K (n) be the number of integral ideals of the field K with norm n, we prove an asymptotic formula for the sum \(\sum\nolimits_{n_1^2 + n_2^2 \leqslant x} {a_K \left( {n_1^2 + n_2^2 } \right)} \).     

Diffraction of light by two superposed parallel ultrasonic waves,having arbitrary frequencies. General symmetry properties; method of solution by series expansion

In this study about the diffraction of light by superposed parallel ultrasonics, with frequency ration ₁:n ₂, we deduce a general symmetry property for the intensities of the diffraction pattern: if the intensities of the ordersn and ?n are equal the phase-difference must be of the form:

$$\delta = \frac{{n_1 - n_2 }}{{n_1 }} \begin{array}{*{20}c} \pi \\ 2 \\ \end{array} + p \frac{\pi }{{n_1 }}$$     

Real zeroes of random polynomials,I. Flip-invariance,Turán’s lemma,and the Newton-Hadamard polygon

We show that for every finitely presented pro-p nilpotent-by-abelian-by-finite group G there is an upper bound on \({\dim _{{\mathbb{Q}_p}}}\left( {{H_1}\left( {M,{\mathbb{Z}_p}} \right){ \otimes _{{\mathbb{Z}_p}}}{\mathbb{Q}_p}} \right)\), as M runs through all pro-p subgroups of finite index in G.     

Relative Gorenstein injective covers with respect to a semidualizing module

Let R be a commutative Noetherian ring and let C be a semidualizing R-module. We prove a result about the covering properties of the class of relative Gorenstein injective modules with respect to C which is a generalization of Theorem 1 by Enochs and Iacob (2015). Specifically, we prove that if for every G _C -injective module G, the character module G ⁺ is G _C -flat, then the class \(\mathcal{GI}_{C}(R)\cap\mathcal{A}_C(R)\) is closed under direct sums and direct limits. Also, it is proved that under the above hypotheses the class \(\mathcal{GI}_{C}(R)\cap\mathcal{A}_C(R)\) is covering.     

New optical orthogonal signature pattern codes with maximum collision parameter 2 and weight 4

Optical orthogonal signature pattern codes (OOSPCs) play an important role in a novel type of optical code-division multiple-access network for 2-dimensional image transmission. There is a one-to-one correspondence between an \((m, n, w, \lambda )\)-OOSPC and a \((\lambda +1)\)-(mn, w, 1) packing design admitting an automorphism group isomorphic to \(\mathbb {Z}_m\times \mathbb {Z}_n\). In 2010, Sawa gave a construction of an (m, n, 4, 2)-OOSPC from a one-factor of Köhler graph of \(\mathbb {Z}_m\times \mathbb {Z}_n\) which contains a unique element of order 2. In this paper, we study the existence of one-factor of Köhler graph of \(\mathbb {Z}_m\times \mathbb {Z}_n\) having three elements of order 2. It is proved that there is a one-factor in the Köhler graph of \(\mathbb {Z}_{2^{\epsilon }p}\times \mathbb {Z}_{2^{\epsilon '}}\) relative to the Sylow 2-subgroup if there is an S-cyclic Steiner quadruple system of order 2p, where \(p\equiv 5\pmod {12}\) is a prime and \(1\le \epsilon ,\epsilon '\le 2\). Using this one-factor, we construct a strictly \(\mathbb {Z}_{2^{\epsilon }p}\times \mathbb {Z}_{2^{\epsilon '}}\)-invariant regular \(G^*(p,2^{\epsilon +\epsilon '},4,3)\) relative to the Sylow 2-subgroup. By using the known S-cyclic SQS(2p) and a recursive construction for strictly \(\mathbb {Z}_{m}\times \mathbb {Z}_{n}\)-invariant regular G-designs, we construct more strictly \(\mathbb {Z}_{m}\times \mathbb {Z}_{n}\)-invariant 3-(mn, 4, 1) packing designs. Consequently, there is an optimal \((2^{\epsilon }m,2^{\epsilon '}n,4,2)\)-OOSPC for any \(\epsilon ,\epsilon '\in \{0,1,2\}\) with \(\epsilon +\epsilon '>0\) and an optimal (6m, 6n, 4, 2)-OOSPC where m, n are odd integers whose all prime divisors from the set \(\{p\equiv 5\pmod {12}:p\) is a prime, \(p<\)1,500,000}.     

Analytic Hypoellipticity for a New Class of Sums of Squares of Vector Fields in $${\mathcal {R}}^3$$

This paper is devoted to a substantial generalization of previous work on the analytic hypoellipticity of sums of squares \(P=\sum _1^4X^2_j\) of real vector fields with real analytic coefficient in three variables. For p(x, y) quasi-homogeneous in (x, y), consider the vector fields

$$\begin{aligned} X_1 = \frac{\partial }{\partial x}, \quad X_2=-\frac{\partial }{\partial y} + p(x,y)\frac{\partial }{\partial t}, \quad X_3=x^{n_1}\frac{\partial }{\partial t}, \quad X_4=y^{n_2}\frac{\partial }{\partial t}, \end{aligned}$$

\( n_1, n_2 \ne 0\). We show that the operator

$$\begin{aligned} P=\sum _1^4 X_j^2, \end{aligned}$$

well known to be \(C^\infty \)-hypoelliptic, is actually analytic hypoelliptic near the origin in \({\mathcal {R}}^3\).

     

On dihedrants admitting arc-regular group actions

We consider Cayley graphs Γ over dihedral groups, dihedrants for short, which admit an automorphism group G acting regularly on the arc set of Γ. We prove that, if D _2n ≤G≤Aut(Γ) is a regular dihedral subgroup of G of order 2n such that any of its index 2 cyclic subgroups is core-free in G, then Γ belongs to the family of graphs of the form \((K_{n_{1}}\otimes\cdots\otimes K_{n_{\ell}})[K_{m}^{\mathrm{c}}]\), where 2n=n ₁???n _? m, and the numbers n _i are pairwise coprime. Applications to 1-regular dihedrants and Cayley maps on dihedral groups are also given.     

Orthogonal Polynomials Associated with Equilibrium Measures on $\mathbb {R}$

Let K be a non-polar compact subset of \(\mathbb {R}\) and μ _K denote the equilibrium measure of K. Furthermore, let P _n (?;μ _K ) be the n-th monic orthogonal polynomial for μ _K . It is shown that \(\|P_{n}\left (\cdot ; \mu _{K}\right )\|_{L^{2}(\mu _{K})}\), the Hilbert norm of P _n (?;μ _K ) in L ²(μ _K ), is bounded below by Cap(K) ⁿ for each \(n\in \mathbb {N}\). A sufficient condition is given for\(\left (\|P_{n}\left (\cdot ;\mu _{K}\right )\|_{L^{2}(\mu _{K})}/\text {Cap}(K)^{n}\right )_{n=1}^{\infty }\) to be unbounded. More detailed results are presented for sets which are union of finitely many intervals.     

Irreducible Modules Over Witt Algebras $\mathcal {W}_{n}$ and Over 𝖘𝖑n+1(ℂ)$\mathfrak {sl}_{n+1}(\mathbb {C})$

In this paper, by using the “twisting technique” we obtain a class of new modules A _b over the Witt algebras \(\mathcal {W}_{n}\) from modules A over the Weyl algebras \(\mathcal {K}_{n}\) (of Laurent polynomials) for any \(b\in \mathbb {C}\). We give necessary and sufficient conditions for A _b to be irreducible, and determine necessary and sufficient conditions for two such irreducible \(\mathcal {W}_{n}\)-modules to be isomorphic. Since \(\mathfrak {sl}_{n+1}(\mathbb {C})\) is a subalgebra of \(\mathcal {W}_{n}\), all the above irreducible \(\mathcal {W}_{n}\)-modules A _b can be considered as \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-modules. For a class of such \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-modules, denoted by Ω_1?a (λ ₁, λ ₂, ? ,λ _n ) where \(a\in \mathbb {C}, \lambda _{1},\lambda _{2},\cdots ,\lambda _{n} \in \mathbb {C}^{*}\), we determine necessary and sufficient conditions for these \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-modules to be irreducible. If the \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-module Ω_1?a (λ ₁, λ ₂,? ,λ _n ) is reducible, we prove that it has a unique nontrivial submodule W _1?a (λ ₁, λ ₂,...λ _n ) and the quotient module is the finite dimensional \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-module with highest weight mΛ _n for some non-negative integer \(m\in \mathbb {Z}_{+}\). We also determine necessary and sufficient conditions for two \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-modules of the form Ω_1?a (λ ₁, λ ₂,? ,λ _n ) or of the form W _1?a (λ ₁, λ ₂,...λ _n ) to be isomorphic.     

Searching for a Best Least Absolute Deviations Solution of an Overdetermined System of Linear Equations Motivated by Searching for a Best Least Absolute Deviations Hyperplane on the Basis of Given Data

We consider the problem of searching for a best LAD-solution of an overdetermined system of linear equations Xa=z, X∈?^m×n, m≥n, \(\mathbf{a}\in \mathbb{R}^{n}, \mathbf {z}\in\mathbb{R}^{m}\). This problem is equivalent to the problem of determining a best LAD-hyperplane x?a ^T x, x∈? ⁿ on the basis of given data \((\mathbf{x}_{i},z_{i}), \mathbf{x}_{i}= (x_{1}^{(i)},\ldots,x_{n}^{(i)})^{T}\in \mathbb{R}^{n}, z_{i}\in\mathbb{R}, i=1,\ldots,m\), whereby the minimizing functional is of the form

$F(\mathbf{a})=\|\mathbf{z}-\mathbf{Xa}\|_1=\sum_{i=1}^m|z_i-\mathbf {a}^T\mathbf{x}_i|.$

An iterative procedure is constructed as a sequence of weighted median problems, which gives the solution in finitely many steps. A criterion of optimality follows from the fact that the minimizing functional F is convex, and therefore the point a ^?∈? ⁿ is the point of a global minimum of the functional F if and only if 0∈?F(a ^?).

Motivation for the construction of the algorithm was found in a geometrically visible algorithm for determining a best LAD-plane (x,y)?αx+βy, passing through the origin of the coordinate system, on the basis of the data (x _i ,y _i ,z _i ),i=1,…,m.