On the existence of a p-adic metaplectic Tate-type $\widetilde {\gamma}$-factor

Let \mathbbF\mathbb{F} be a p-adic field, let χ be a character of \mathbbF^*\mathbb{F}^{*}, let ψ be a character of \mathbbF\mathbb{F} and let g_y^-1\gamma_{\psi}^{-1} be the normalized Weil factor associated with a character of second degree. We prove here that one can define a meromorphic function [(g)\tilde](c,s,y)\widetilde{\gamma}(\chi ,s,\psi) via a similar functional equation to the one used for the definition of the Tate γ-factor replacing the role of the Fourier transform with an integration against y·g_y^-1\psi\cdot\gamma_{\psi}^{-1}. It turns out that γ and [(g)\tilde]\widetilde{\gamma} have similar integral representations. Furthermore, [(g)\tilde]\widetilde{\gamma} has a relation to Shahidi‘s metaplectic local coefficient which is similar to the relation γ has with (the non-metalpectic) Shahidi‘s local coefficient. Up to an exponential factor, [(g)\tilde](c,s,y)\widetilde{\gamma}(\chi,s,\psi) is equal to the ratio \fracg(c²,2s,y)g(c,s+\frac12,y)\frac{\gamma(\chi^{2},2s,\psi)}{\gamma(\chi,s+\frac{1}{2},\psi)}.     

Truncated Complex Moment Problems with a $ \widetilde{zz} $ Relation

We solve the truncated complex moment problem for measures supported on the variety K o \mathcal{K}\equiv { z ? \in C: z [(z)\tilde]\widetilde{z} = A+Bz+C [(z)\tilde]\widetilde{z} +Dz ² ,D 1 \neq 0}. Given a doubly indexed finite sequence of complex numbers g o g⁽²ⁿ⁾:g₀₀,g₀₁,g₁₀,?,g_0,2n,g_1,2n-1,?,g_2n-1,1,g_2n,0 \gamma\equiv\gamma^{(2n)}:\gamma_{00},\gamma_{01},\gamma_{10},\ldots,\gamma_{0,2n},\gamma_{1,2n-1},\ldots,\gamma_{2n-1,1},\gamma_{2n,0} , there exists a positive Borel measure m\mu supported in K \mathcal{K} such that g_ij=ò[`(z)]<sup>i</sup>z<sup>j</sup> dm (0 ￡ 1+j ￡ 2n) \gamma_{ij}=\int\overline{z}^{i}z^{j}\,d\mu\,(0\leq1+j\leq2n) if and only if the moment matrix M(n)( g\gamma ) is positive, recursively generated, with a column dependence relation Z [(Z)\tilde]\widetilde{Z} = A1+BZ +C [(Z)\tilde]\widetilde{Z} +DZ <sup>2</sup>, and card V(g) 3\mathcal{V}(\gamma)\geq rank M(n), where V(g)\mathcal{V}(\gamma) is the variety associated to g \gamma . The last condition may be replaced by the condition that there exists a complex number g<sub>n,n+1</sub> \gamma_{n,n+1} satisfying g<sub>n+1,n</sub> o [`(g)]_n,n+1=Ag_n,n-1+Bg_n,n+Cg_n+1,n-1+Dg_n,n+1 \gamma_{n+1,n}\equiv\overline{\gamma}_{n,n+1}=A\gamma_{n,n-1}+B\gamma_{n,n}+C\gamma_{n+1,n-1}+D\gamma_{n,n+1} . We combine these results with a recent theorem of J. Stochel to solve the full complex moment problem for K \mathcal{K} , and we illustrate the connection between the truncated and full moment problems for other varieties as well, including the variety z ^k = p(z, [(Z)\tilde] \widetilde{Z} ), deg p < k.     

Polar factorization of maps on Riemannian manifolds

Let (M,g) be a connected compact manifold, C³ smooth and without boundary, equipped with a Riemannian distance d(x,y). If s : M ? M s : M \to M is merely Borel and never maps positive volume into zero volume, we show s = t °u s = t \circ u factors uniquely a.e. into the composition of a map t(x) = exp_x[-?y(x)] t(x) = {\rm exp}_x[-\nabla\psi(x)] and a volume-preserving map u : M ? M u : M \to M , where y: M ? \bold R \psi : M \to {\bold R} satisfies the additional property that (y^c)^c = y (\psi^c)^c = \psi with y^c(y) :=inf{c(x,y) - y(x) | x ? M} \psi^c(y) :={\rm inf}\{c(x,y) - \psi(x)\,\vert\,x \in M\} and c(x,y) = d²(x,y)/2. Like the factorization it generalizes from Euclidean space, this non-linear decomposition can be linearized around the identity to yield the Hodge decomposition of vector fields.¶The results are obtained by solving a Riemannian version of the Monge--Kantorovich problem, which means minimizing the expected value of the cost c(x,y) for transporting one distribution f 3 0 f \ge 0 of mass in L¹(M) onto another. Parallel results for other strictly convex cost functions c(x,y) 3 0 c(x,y) \ge 0 of the Riemannian distance on non-compact manifolds are briefly discussed.     

On the number of conjugacy classes of maximal subgroups in a finite soluble group

We show that for many formations \frak F\frak F, there exists an integer n = [`(m)](\frak F)n = \overline m(\frak F) such that every finite soluble group G not belonging to the class \frak F\frak F has at most n conjugacy classes of maximal subgroups belonging to the class \frak F\frak F. If \frak F\frak F is a local formation with formation function f, we bound [`(m)](\frak F)\overline m(\frak F) in terms of the [`(m)](f(p))(p ? \Bbb P )\overline m(f(p))(p \in \Bbb P ). In particular, we show that [`(m)](\frak N^k) = k+1\overline m(\frak N^k) = k+1 for every nonnegative integer k, where \frak N^k\frak N^k is the class of all finite groups of Fitting length ￡ k\le k.     

How quadratic are the natural numbers?

Abstract. For natural numbers n we inspect all factorizations n = ab of n with a ￡ ba \le b in \Bbb N\Bbb N and denote by n=a_n b_nn=a_n b_n the most quadratic one, i.e. such that b_n - a_nb_n - a_n is minimal. Then the quotient k(n) : = a_n/b_n\kappa (n) := a_n/b_n is a measure for the quadraticity of n. The best general estimate for k(n)\kappa (n) is of course very poor: 1/n ￡ k(n) ￡ 11/n \le \kappa (n)\le 1. But a Theorem of Hall and Tenenbaum [1, p. 29], implies(logn)^-d-e ￡ k(n) ￡ (logn)^-d(\log n)^{-\delta -\varepsilon } \le \kappa (n) \le (\log n)^{-\delta } on average, with d = 1 - (1+log₂  2)/log2=0,08607 ?\delta = 1 - (1+\log _2 \,2)/\log 2=0,08607 \ldots and for every e > 0\varepsilon >0. Hence the natural numbers are fairly quadratic.¶k(n)\kappa (n) characterizes a specific optimal factorization of n. A quadraticity measure, which is more global with respect to the prime factorization of n, is k^*(n): = ?_{1 ￡ a ￡ b, ab=n} a/b\kappa ^*(n):= \textstyle\sum\limits \limits _{1\le a \le b, ab=n} a/b. We show k^*(n) ~ \frac 12\kappa ^*(n) \sim \frac {1}{2} on average, and k^*(n)=W(2^{\frac 12(1-e) log n/log ₂n})\kappa ^*(n)=\Omega (2^{\frac {1}{2}(1-\varepsilon ) {\log}\, n/{\log} _2n})for every e > 0\varepsilon>0.     

On some Dirichlet series related to the Riemann zeta function,I

On the assumption of the truth of the Riemann hypothesis for the Riemann zeta function we construct a class of modified von-Mangoldt functions with slightly better mean value properties than the well known function L\Lambda . For every e ? (0,1/2)\varepsilon \in (0,1/2) there is a [(L)\tilde] : \Bbb N ? \Bbb C\tilde {\Lambda} : \Bbb N \to \Bbb C such that¶ i) [(L)\tilde] (n) = L (n) (1 + O(n^-1/4  logn))\tilde {\Lambda} (n) = \Lambda (n) (1 + O(n^{-1/4\,} \log n)) and¶ii) ?_{n \leqq x} [(L)\tilde] (n) (1- [(n)/(x)]) = [(x)/2] + O(x^1/4+e) (x \geqq 2).\sum \limits_{n \leqq x} \tilde {\Lambda} (n) \left(1- {{n}\over{x}}\right) = {{x}\over{2}} + O(x^{1/4+\varepsilon }) (x \geqq 2).¶Unfortunately, this does not lead to an improved error term estimation for the unweighted sum ?_{n \leqq x} [(L)\tilde] (n)\sum \limits_{n \leqq x} \tilde {\Lambda} (n), which would be of importance for the distance between consecutive primes.     

On the class number of p-th cyclotomic field

Let h^[-(p)h^-(p) be the relative class number of the p-th cyclotomic field. We show that logh^-(p) = [(p+3)/4] logp - [(p)/2] log2p+ log(1-b) + O(log₂² p)\log h^-(p) = {{p+3} \over {4}} \log p - {{p} \over {2}} \log 2\pi + \log (1-\beta ) + O(\log _2^2 p), where b\beta denotes a Siegel zero, if such a zero exists and p o -1 mod 4p\equiv -1\pmod {4}. Otherwise this term does not appear.     

Rigidity and finiteness under Ricci curvature and volume controls

Consider the class of closed Riemannian manifolds M of dimension dim(M) \geqq 3 \dim(M) \geqq 3 , Ricci curvature Ric(M) \geqq -(n - 1) \textrm{Ric}(M) \geqq -(n - 1) , diameter diam(M) < D and almost maximal volume. We show that the isomorphism types of fundamental groups characterize the diffeomorphism types of manifolds in such a class. In particular, it can be viewed as a generalization of the well-known Mostow‘s rigidity theorem and a finiteness theorem.     

White noise eliminates instability

Let x₁,..., x_n be points in the d-dimensional Euclidean space E^d with || x_i-x_j|| ￡ 1\| x_{i}-x_{j}\| \le 1 for all 1 \leqq i,j \leqq n1 \leqq i,j \leqq n, where || .||\| .\| denotes the Euclidean norm. We ask for the maximum M(d,n) of \mathop?_i, j=1ⁿ|| x_i-x_j|| ²\textstyle\mathop\sum\limits _{i,\,j=1}^{n}\| x_{i}-x_{j}\| ^{2} (see [4]). This paper deals with the case d = 2. We calculate M(2, n) and show that the value M(2, n) is attained if and only if the points are distributed as evenly as possible among the vertices of a regular triangle of edge-length 1. Moreover we give an upper bound for the value \mathop?_i, j=1ⁿ|| x_i-x_j|| \textstyle\mathop\sum\limits _{i,\,j=1}^{n}\| x_{i}-x_{j}\| , where the points x₁,...,x_n are chosen under the same constraints as above.     

Equality of two variable weighted means: reduction to differential equations

Summary. Let F, Y \Phi, \Psi be strictly monotonic continuous functions, F,G be positive functions on an interval I and let n ? \Bbb N \{1} n \in {\Bbb N} \setminus \{1\} . The functional equation¶¶F^-1 ([(?_i=1ⁿF(x_i)F(x_i))/(?_i=1ⁿ F(x_i)]) Y^-1 ([(?_i=1ⁿY(x_i)G(x_i))/(?_i=1ⁿ G(x_i))])  (x₁,?,x_n ? I) \Phi^{-1}\,\left({\sum\limits_{i=1}^{n}\Phi(x_{i})F(x_{i})\over\sum\limits_{i=1}^{n} F(x_{i}}\right) \Psi^{-1}\,\left({\sum\limits_{i=1}^{n}\Psi(x_{i})G(x_{i})\over\sum\limits_{i=1}^{n} G(x_{i})}\right)\,\,(x_{1},\ldots,x_{n} \in I) ¶was solved by Bajraktarevi' [3] for a fixed n 3 3 n\ge 3 . Assuming that the functions involved are twice differentiable he proved that the above functional equation holds if and only if¶¶Y(x) = [(aF(x) + b)/(cF(x) + d)],       G(x) = kF(x)(cF(x) + d) \Psi(x) = {a\Phi(x)\,+\,b\over c\Phi(x)\,+\,d},\qquad G(x) = kF(x)(c\Phi(x) + d) ¶where a,b,c,d,k are arbitrary constants with k(c²+d²)(ad-bc) 1 0 k(c^2+d^2)(ad-bc)\ne 0 . Supposing the functional equation for all n = 2,3,... n = 2,3,\dots Aczél and Daróczy [2] obtained the same result without differentiability conditions.¶The case of fixed n = 2 is, as in many similar problems, much more difficult and allows considerably more solutions. Here we assume only that the same functional equation is satisfied for n = 2 and solve it under the supposition that the functions involved are six times differentiable. Our main tool is the deduction of a sixth order differential equation for the function j = F°Y^-1 \varphi = \Phi\circ\Psi^{-1} . We get 32 new families of solutions.     

Classification of the centers, of their cyclicity and isochronicity for two classes of generalized quintic polynomial differential systems

In this paper we classify the centers localized at the origin of coordinates, the cyclicity of their Hopf bifurcation and their isochronicity for the polynomial differential systems in \mathbbR²{\mathbb{R}^2} of degree d that in complex notation z = x + i y can be written as

Sharp bounds for the Bernoulli numbers

We determine the best possible real constants a\alpha and b\beta such that the inequalities [(2(2n)!)/((2p)²ⁿ)] [1/(1-2^a-2n)] \leqq |B_2n| \leqq [(2(2n)!)/((2p)²ⁿ)] [1/(1-2^b-2n)]{2(2n)! \over(2\pi)^{2n}} {1 \over 1-2^{\alpha -2n}} \leqq |B_{2n}| \leqq {2(2n)! \over (2\pi )^{2n}}\, {1 \over 1-2^{\beta -2n}}hold for all integers n\geqq 1n\geqq 1. Here, B₂, B₄, B₆,... are Bernoulli numbers.     

Connected Domination Number of a Graph and its Complement

A set S of vertices in a graph G is a connected dominating set if every vertex not in S is adjacent to some vertex in S and the subgraph induced by S is connected. The connected domination number γ _c (G) is the minimum size of such a set. Let d^*(G)=min{d(G),d([`(G)])}{\delta^*(G)={\rm min}\{\delta(G),\delta({\overline{G}})\}} , where [`(G)]{{\overline{G}}} is the complement of G and δ(G) is the minimum vertex degree. We prove that when G and [`(G)]{{\overline{G}}} are both connected, g<sub>c</sub>(G)+g<sub>c</sub>([`(G)]) ￡ d^*(G)+4-(g_c(G)-3)(g_c([`(G)])-3){{\gamma_c}(G)+{\gamma_c}({\overline{G}})\le \delta^*(G)+4-({\gamma_c}(G)-3)({\gamma_c}({\overline{G}})-3)} . As a corollary, g<sub>c</sub>(G)+g<sub>c</sub>([`(G)]) ￡ \frac3n4{{\gamma_c}(G)+{\gamma_c}({\overline{G}})\le \frac{3n}{4}} when δ*(G) ≥ 3 and n ≥ 14, where G has n vertices. We also prove that g_c(G)+g_c([`(G)]) ￡ d<sup>*</sup>(G)+2{{\gamma_c}(G)+{\gamma_c}({\overline{G}})\le \delta^*(G)+2} when g<sub>c</sub>(G),g<sub>c</sub>([`(G)]) 3 4{{\gamma_c}(G),{\gamma_c}({\overline{G}})\ge 4} . This bound is sharp when δ*(G) = 6, and equality can only hold when δ*(G) = 6. Finally, we prove that g_c(G)g_c([`(G)]) ￡ 2n-4{{\gamma_c}(G){\gamma_c}({\overline{G}})\le 2n-4} when n ≥ 7, with equality only for paths and cycles.     

Complex finitary simple Lie algebras

An algebra is called finitary if it consists of finite-rank transformations of a vector space. We classify finitary simple Lie algebras over an algebraically closed field of zero characteristic. It is shown that any such algebra is isomorphic to one of the following¶ (1) a special transvection algebra \frak t(V,P)\frak t(V,\mit\Pi );¶ (2) a finitary orthogonal algebra \frak fso (V,q)\frak {fso} (V,q); ¶ (3) a finitary symplectic algebra \frak fsp (V,s)\frak {fsp} (V,s).¶Here V is an infinite dimensional K-space; q (respectively, s) is a symmetric (respectively, skew-symmetric) nondegenerate bilinear form on V; and P\Pi is a subspace of the dual V^* whose annihilator in V is trivial: 0={v ? V | Pv=0}0=\{{v}\in V\mid \Pi {v}=0\}.     

Partitions involving D.H. Lehmer numbers

Let n ≥ 2 be a fixed integer, let q and c be two integers with q > n and (n, q) = (c, q) = 1. For every positive integer a which is coprime with q we denote by [`(a)]<sub>c</sub>{\overline{a}_{c}} the unique integer satisfying 1 ￡ [`(a)]_c ￡ q{1\leq\overline{a}_{c} \leq{q}} and a[`(a)]_c o c(mod q){a\overline{a}_{c} \equiv{c}({\rm mod}\, q)}. Put

Study of Some Fundamental Projective Quadrics Associated with a Standard Pseudo-Hermitian Space H p,q

This self-contained short note deals with the study of the properties of some real projective compact quadrics associated with a a standard pseudo-hermitian space H _p,q , namely [(Q(p, q))\tilde], [(Q_2p+1,1)\tilde], [(Q_1,2q+1)\tilde], [(H_p,q)\tilde].  [(Q(p, q))\tilde]{\widetilde{Q(p, q)}, \widetilde{Q_{2p+1,1}}, \widetilde{Q_{1,2q+1}}, \widetilde{H_{p,q}}. \, \widetilde{Q(p, q)}} is the (2n – 2) real projective quadric diffeomorphic to (S ^2p–1 × S ^2q–1)/Z ₂. inside the real projective space P(E ₁), where E ₁ is the real 2n-dimensional space subordinate to H _p,q . The properties of [(Q(p, q))\tilde]{\widetilde{Q(p, q)}} are investigated. [(H_p,q)\tilde]{\widetilde{H_p,q}} is the real (2n – 3)-dimensional compact manifold-(projective quadric)- associated with H _p,q , inside the complex projective space P(H _p,q ), diffeomorphic to (S ^2p–1 × S ^2q–1)/S ¹. The properties of [(H_p,q)\tilde]{\widetilde{H_{p,q}}} are studied. [(Q_2p+1,1)\tilde]{\widetilde{Q_{2p+1,1}}} is a 2p-dimensional standard real projective quadric, and [(Q_1,2q+1)\tilde]{\widetilde{Q_{1,2q+1}}} is another standard 2q-dimensional projective quadric. [(Q_2p+1,1)\tilde] è[(Q_1,2q+1)\tilde]{\widetilde{Q_{2p+1,1}} \cup \widetilde{Q_{1,2q+1}}}, union of two compact quadrics plays a part in the understanding of the "special pseudo-unitary conformal compactification" of H _p,q . It is shown how a distribution y → D _y , where y ? H\{0},H{y \in H\backslash\{0\},H} being the isotropic cone of H _p,q allows to [(H_p+1,q+1)\tilde]{\widetilde{H_{p+1,q+1}}} to be considered as a "special pseudo-unitary conformal compactified" of H _p,q × R. The following results precise the presentation given in [1,c].     

Harmonicity of functions satisfying a weak form of the mean value property

Let W ì \Bbb Rⁿ\Omega \subset {\Bbb R}^n be a smooth domain and let u ? C⁰(W).u \in C^0(\Omega ). A classical result of potential theory states that¶¶-ò_{Sr([`(x)])</sub> u(x)ds(x)=u([`(x)])-\kern-5mm\int\limits _{S_{r}(\bar x)} u(x)d\sigma (x)=u(\bar x)¶¶for every [`(x)] ? W\bar x\in \Omega and r > 0r>0 if and only if¶¶Du=0 in W.\Delta u=0 \hbox { in } \Omega.¶¶Here -ò<sub>Sr([`(x)])} u(x)ds(x)-\kern-5mm\int\limits _{S_{r}(\bar x)} u(x)d\sigma (x) denotes the average of u on the sphere S_r([`(x)])S_r(\bar x) of center [`(x)]\bar x and radius r. Our main result, which is a "localized" version of the above result, states:¶¶Theorem. Let u ? W^2,1(W)u\in W^{2,1}(\Omega ) and let x ? Wx\in \Omega be a Lebesgue point of Du\Delta u such that¶¶-ò_Sr([`(x)]) u d s- a = o(r²)-\kern-5mm\int\limits _{S_{r}(\bar x)} u d \sigma - \alpha =o(r^2)¶¶for some a ? \Bbb R\alpha \in \Bbb R and all sufficiently small r > 0.r>0. Then¶¶Du(x)=0.\Delta u(x)=0.     

Invariants of free Lie algebras

Let k be a principal ideal domain with identity and characteristic zero. For a positive integer n, with n \geqq 2n \geqq 2, let H(n) be the group of all n x n matrices having determinant ±1\pm 1. Further, we write SL(n) for the special linear group. Let L be a free Lie algebra (over k) of finite rank n. We prove that the algebra of invariants L^B(n) of B(n), with B(n) ? { H(n), SL(n)}B(n) \in \{ H(n), {\rm SL}(n)\} , is not a finitely generated free Lie algebra. Let us assume that k is a field of characteristic zero and let áSem(n) ?\langle {\rm Sem}(n) \rangle be the Lie subalgebra of L generated by the semi-invariants (or Lie invariants) Sem(n). We prove that áSem(n) ?\langle {\rm Sem}(n) \rangle is not a finitely generated free Lie algebra which gives a positive answer to a question posed by M. Burrow [4].     

Abelian and Hamiltonian varieties of groupoids

We study certain groupoids generating Abelian, strongly Abelian, and Hamiltonian varieties. An algebra is Abelian if t( a,[`(c)] ) = t( a,[`(d)] ) ? t( b,[`(c)] ) = t( b,[`(d)] ) t\left( {a,\bar{c}} \right) = t\left( {a,\bar{d}} \right) \to t\left( {b,\bar{c}} \right) = t\left( {b,\bar{d}} \right) for any polynomial operation on the algebra and for all elements a, b, [`(c)] \bar{c} , [`(d)] \bar{d} . An algebra is strongly Abelian if t( a,[`(c)] ) = t( b,[`(d)] ) ? t( e,[`(c)] ) = t( e,[`(d)] ) t\left( {a,\bar{c}} \right) = t\left( {b,\bar{d}} \right) \to t\left( {e,\bar{c}} \right) = t\left( {e,\bar{d}} \right) for any polynomial operation on the algebra and for arbitrary elements a, b, e, [`(c)] \bar{c} , [`(d)] \bar{d} . An algebra is Hamiltonian if any subalgebra of the algebra is a congruence class. A variety is Abelian (strongly Abelian, Hamiltonian) if all algebras in a respective class are Abelian (strongly Abelian, Hamiltonian). We describe semigroups, groupoids with unity, and quasigroups generating Abelian, strongly Abelian, and Hamiltonian varieties.     

On Li’s coefficients for the Rankin–Selberg <Emphasis Type="Italic">L</Emphasis>-functions

We define a generalized Li coefficient for the L-functions attached to the Rankin–Selberg convolution of two cuspidal unitary automorphic representations π and π ^′ of GL_m(\mathbbA_F)GL_{m}(\mathbb{A}_{F}) and GL_m^￠(\mathbbA_F)GL_{m^{\prime }}(\mathbb{A}_{F}) . Using the explicit formula, we obtain an arithmetic representation of the n th Li coefficient l_p,p^￠(n)\lambda _{\pi ,\pi ^{\prime }}(n) attached to L(s,p_f×[(p)\tilde]_f^￠)L(s,\pi _{f}\times \widetilde{\pi}_{f}^{\prime }) . Then, we deduce a full asymptotic expansion of the archimedean contribution to l_p,p^￠(n)\lambda _{\pi ,\pi ^{\prime }}(n) and investigate the contribution of the finite (non-archimedean) term. Under the generalized Riemann hypothesis (GRH) on non-trivial zeros of L(s,p_f×[(p)\tilde]_f^￠)L(s,\pi _{f}\times \widetilde{\pi}_{f}^{\prime }) , the nth Li coefficient l_p,p^￠(n)\lambda _{\pi ,\pi ^{\prime }}(n) is evaluated in a different way and it is shown that GRH implies the bound towards a generalized Ramanujan conjecture for the archimedean Langlands parameters μ _π (v,j) of π. Namely, we prove that under GRH for L(s,p_f×[(p)\tilde]_f)L(s,\pi _{f}\times \widetilde{\pi}_{f}) one has |Rem_p(v,j)| ￡ \frac14|\mathop {\mathrm {Re}}\mu_{\pi}(v,j)|\leq \frac{1}{4} for all archimedean places v at which π is unramified and all j=1,…,m.