Search

Let a(n) be the Fourier coefficient of a holomorphic cusp form on some discrete subgroup of \(SL_2({\mathbb R})\). This note is to refine a recent result of Hofmann and Kohnen on the non-positive (resp. non-negative) product of \(a(n)a(n+r)\) for a fixed positive integer r.

In this note, we give a counterexample for Theorem 2.3 of the above mentioned paper that is a generalization of the Grothendieck non-vanishing theorem to a class of modules larger than finitely generated modules.

In this short paper, we study the existence of common universal series for uncountable families of specific linear operators. In particular we deal with some derived forms of Seleznev’s theorem and we obtain common universal elements in the space of formal power series in several complex variables.

In this paper, we prove a height bound for points on the base of a family of abelian varieties at which the fibre possesses additional endomorphisms. This complements a result of André in his book (G-Functions and Geometry Aspects of Mathematics, E13. Friedrich Vieweg and Sohn, Braunschweig, 1989) as well a result of Daw and Orr (Ann Scuol Norm Super Class Sci 39:1, 2021). The work in this paper will be used to prove a new case of the Zilber-Pink conjecture which will form part of the author’s PhD thesis.

Let G be a finite nonabelian group, P ∈Sylp(G), and bcl(G) the largest length of conjugacy classes of G. In this short paper, we prove that in general and |P/Op(G)| < bcl(G) in the case where P is abelian.

Niels Bohr successfully predicted in 1913 the energy levels for the hydrogen atom by applying certain quantization rules to classically obtained periodic orbits. Many physicists tried to apply similar methods to other atoms. In his well-known 1921 paper, I.~Langmuir established numerically the existence of a periodic orbit in the helium atom considered as a classical three body problem. In this paper we give an analytic proof of the existence of Langmuir's periodic orbit., Comment: 12 pages, 2 figures. We would like to thank C.Viterbo for pointing out a mistake in our description of the historical development of Symplectic Geometry. The mathematical content has not changed

In a recent paper on subreflexive normed linear spaces (see Arch. Math. 8, 444--450 (1957)) and its correction (see Arch. Math. 9,439--440, (1958)) R. R. PHELPS proved the following theorem.

In this paper, we study the Cauchy problem for the energy-critical inhomogeneous nonlinear Schrodinger equation $$i\partial _{t}u+\Delta u=\lambda |x|^{-\alpha }|u|^{\beta }u$$ in $$H^1$$ . The well-posedness theory in $$H^1$$ has been intensively studied in recent years, but the currently known approaches do not work for the critical case $$\beta =(4-2\alpha )/(n-2)$$ . It is still an open problem. The main contribution of this paper is to develop the theory in this case.

In this paper, we study the following nonlinear elliptic systems: $$\begin{aligned} {\left\{ \begin{array}{ll} -\Delta u_1+V_1(x)u_1=\partial _{u_1}F(x,u)&{}\quad x\in {\mathbb {R}}^N,\\ -\Delta u_2+V_2(x)u_2=\partial _{u_2}F(x,u)&{}\quad x\in {\mathbb {R}}^N, \end{array}\right. } \end{aligned}$$ - Δ u 1 + V 1 ( x ) u 1 = ∂ u 1 F ( x , u ) x ∈ R N , - Δ u 2 + V 2 ( x ) u 2 = ∂ u 2 F ( x , u ) x ∈ R N , where $$u=(u_1,u_2):{\mathbb {R}}^N\rightarrow {\mathbb {R}}^2$$ u = ( u 1 , u 2 ) : R N → R 2 , F and $$V_i$$ V i are periodic in $$x_1,\ldots ,x_N$$ x 1 , … , x N and $$0\notin \sigma (-\,\Delta +V_i)$$ 0 ∉ σ ( - Δ + V i ) for $$i=1,2$$ i = 1 , 2 , where $$\sigma (-\,\Delta +V_i)$$ σ ( - Δ + V i ) stands for the spectrum of the Schrödinger operator $$-\,\Delta +V_i$$ - Δ + V i . Under some suitable assumptions on F and $$V_i$$ V i , we obtain the existence of infinitely many geometrically distinct solutions. The result presented in this paper generalizes the result in Szulkin and Weth (J Funct Anal 257(12):3802–3822, 2009).

For an integer $$p\ge 2$$ p ≥ 2 , let $$\{x_n\}_{n\in {\mathbb {N}}}\subset {\mathbb {T}}$$ { x n } n ∈ N ⊂ T be the p-adic van der Corput sequence. For intervals $$[0,\alpha )\subset {\mathbb {T}}$$ [ 0 , α ) ⊂ T and for positive integers N, consider the geometrically-shifted discrepancy function $$D_{p,N,\alpha }(t)=\sum _{n=0}^{N-1}\mathcal {X}_{[0,\alpha )}(x_n+t)-N\alpha $$ D p , N , α ( t ) = ∑ n = 0 N - 1 X [ 0 , α ) ( x n + t ) - N α . In this paper, we give a characterization of the asymptotic behavior of $$\Vert D_{p,N,\alpha }(\cdot )\Vert _{L^2({\mathbb {T}})}$$ ‖ D p , N , α ( · ) ‖ L 2 ( T ) for $$N\rightarrow \infty $$ N → ∞ that depends on the p-adic expansion of $$\alpha $$ α .

During half a century, singular traces on ideals of Hilbert space operators have been constructed by looking for linear forms on associated sequence ideals. Only recently, the author was able to eliminate this auxiliary step by directly applying Banach’s version of the extension theorem; see (Integral Equ. Oper. Theory 91, 21, 2019 and 92, 7, 2020). Of course, the relationship between the new approach and the older ones must be investigated. In the first paper, this was done for $${\mathfrak {L}}_{1,\infty } (H)$$ . To save space, such considerations were postponed in the second paper, which deals with a large class of principal ideals, called simply generated. This omission will now be rectified.

Recently, the authors have established $$L^p$$ -boundedness of vector-valued q-variational inequalities for averaging operators which take values in the Banach space satisfying the martingale cotype q property in Hong and Ma (Math Z 286(1–2):89–120, 2017). In this paper, we prove that the martingale cotype q property is also necessary for the vector-valued q-variational inequalities, which was a question left open in the previous paper. Moreover, we also prove that the UMD property and the martingale cotype q property can be characterized in terms of vector valued q-variational inequalities for the Hilbert transform.

A group word w is said to be strongly concise in a class $${\mathcal {C}}$$ C of profinite groups if, for every group G in $${\mathcal {C}}$$ C such that w takes less than $$2^{\aleph _0}$$ 2 ℵ 0 values in G, the verbal subgroup w(G) is finite. In this paper, we prove that every group word is strongly concise in the class of virtually nilpotent profinite groups.

In 1970, McIntosh introduced the so-called 0-closed sesquilinear forms and proved a corresponding representation theorem. In this paper, we give a simple equivalent formulation of 0-closed sesquilinear forms. The main underlying idea is to consider minimal pairs of non-negative dominating forms.

The aim of this paper is to provide a contribution to the theory of uncountable groups and to that of paranilpotent groups. Extending the structural results in Franciosi and de Giovanni (Ricerche Mat 40:321–333, 1991) and de Giovanni et al. (Comm Algebra 49:3020–3033, 2021), we prove that locally soluble minimal non-paranilpotent groups, i.e. non-paranilpotent groups whose proper subgroups are paranilpotent, are soluble. It is also shown that the class of paranilpotent groups is countably recognizable and, as an application of these results, that a soluble uncountable group whose proper uncountable subgroups are paranilpotent is itself paranilpotent.

Following a result of Hatori et al. (J Math Anal Appl 326:281–296, 2007), we give here a spectral characterization of an isomorphism from a $$C^\star $$ -algebra onto a Banach algebra. We then use this result to show that a $$C^\star $$ -algebra A is isomorphic to a Banach algebra B if and only if there exists a surjective function $$\phi :A\rightarrow B$$ satisfying (i) $$\sigma \left( \phi (x)\phi (y)\phi (z)\right) =\sigma \left( xyz\right) $$ for all $$x,y,z\in A$$ (where $$\sigma $$ denotes the spectrum), and (ii) $$\phi $$ is continuous at $$\mathbf 1$$ . In particular, if (in addition to (i) and (ii)) $$\phi (\mathbf 1)=\mathbf 1$$ , then $$\phi $$ is an isomorphism. An example shows that (i) cannot be relaxed to products of two elements, as is the case with commutative Banach algebras. The results presented here also elaborate on a paper of Bresar and Spenko (J Math Anal Appl 393:144–150, 2012), and a paper of Bourhim et al. (Arch Math 107:609–621, 2016).

Let k be a field of characteristic $$ p\not =0 $$. For a (purely) inseparable extension K / k the notion of modularity, defined by M.E. Sweedler in the 60s, is a very important property, very much like being Galois for a separable extension. We have defined, together with M. Chellali, a generalization of the notion of modularity, called lower quasi-modularity: K / k is lower quasi-modular (lq-modular) if for some finite extension $$k'$$ over k we have that $$K/k'$$ is modular. In subsequent papers M. Chellali and the author have studied various properties of lq-modular field extensions, including the existence of lq-modular closures in case $$[k{:}k^p]$$ is finite. In this paper we prove a similar result, without the hypothesis on k but with extra assumptions on K / k: the extension needs to be q-finite, that is, there must exist an integer M such that for every positive integer n the field $$K\cap k^{p^{-n}}$$ is generated by at most M elements on k. A number of properties of lq-modular closures are determined and examples are presented illustrating the results.

In this paper, we mainly study a family of unbounded non-hyperbolic domains in $$\mathbb {C}^{n+m}$$, called Fock–Bargmann–Hartogs domains $$D_{n,m}(\mu )$$ ($$\mu >0$$) which are defined as a Hartogs type domains with the fiber over each $$z\in \mathbb {C}^{n}$$ being a ball of radius $$e^{-\frac{\mu }{2} {\Vert z\Vert }^{2}}$$. The purpose of this paper is twofold. Firstly, we obtain necessary and sufficient conditions for Rawnsley’s $$\varepsilon $$-function $$\varepsilon _{(\alpha ,g)}(\widetilde{w})$$ of $$\big (D_{n,m}(\mu ), g(\mu ;\nu )\big )$$ to be a polynomial in $$\Vert \widetilde{w}\Vert ^2$$, where $$g(\mu ;\nu )$$ is a Kahler metric associated with the Kahler potential $$\nu \mu {\Vert z\Vert }^{2} -\ln (e^{-\mu {\Vert z\Vert }^{2}}-\Vert w\Vert ^2)$$. Secondly, using above results, we study the Berezin quantization on $$D_{n,m}(\mu )$$ with the metric $$\beta g(\mu ;\nu )$$$$(\beta >0)$$.

Groups in which every non-abelian subgroup is equal to its normalizer have been recently completely described. This paper investigates locally soluble groups with restrictions on subgroups which are neither abelian nor self-normalizing.

A small polygon is a polygon that has diameter one. The maximal perimeter of a convex equilateral small polygon with $n=2^s$ sides is not known when $s \ge 4$. In this paper, we construct a family of convex equilateral small $n$-gons, $n=2^s$ and $s \ge 4$, and show that their perimeters are within $O(1/n^4)$ of the maximal perimeter and exceed the previously best known values from the literature. In particular, for the first open case $n=16$, our result proves that Mossinghoff's equilateral hexadecagon is suboptimal.

The Cremona conjecture, also called Jacobi problem, claims that a polynomial morphism $${{\mathbb C}^n \longrightarrow {\mathbb C}^n}$$ C n ⟶ C n is invertible as a polynomial morphism if its Jacobian is constant and not zero. In this paper, we show that the conjecture is true for $$n = 2$$ n = 2 . The starting point of our proof is an important result of Shreeram Abhyankar. Then we use a computation in rigid geometry to achieve the result.

In 1933, Lehmer exhibited the polynomial $$\begin{aligned} L(z)=z^{10} + z^9 - z^7 - z^6 - z^5 - z^4 - z^3 + z + 1 \end{aligned}$$ with Mahler measure $$\mu _0>1$$ . Then he asked if $$\mu _0$$ is the smallest Mahler measure, not 1. This question became known as the Lehmer conjecture and it was apparently solved in the positive, while this paper was in preparation [19]. In this paper we consider those polynomials of the form $$\chi _A$$ , that is, Coxeter polynomials of a finite dimensional algebra A (for instance $$L(z)=\chi _{\mathbb {E}_{10}}$$ ). A polynomial in $$\mathbb {Z}[T]$$ which is either cyclotomic or with Mahler measure $$\ge \mu _0$$ is called a Lehmer polynomial. We give some necessary conditions for a polynomial to be Lehmer. We show that A being a tree algebra is a sufficient condition for $$\chi _A$$ to be Lehmer.

In the authors' first paper, Beurling-Rudin-Korenbljum type characterization of the closed ideals in a certain algebra of holomorphic functions was used to describe the lattice of invariant subspaces of the shift plus a complex Volterra operator. Current work is an extension of the previous work and it describes the lattice of invariant subspaces of the shift plus a positive integer multiple of the complex Volterra operator on the Hardy space. Our work was motivated by a paper by Ong who studied the real version of the same operator., We deleted a proposition and a corollary from section 4, and simplified the proof of the main theorem. **The article has been published in Archiv der Mathematik**

In this paper, we show that the number of monic integer polynomials of degree \(d \ge 1\) and height at most H which have no real roots is between \(c_1H^{d-1/2}\) and \(c_2 H^{d-1/2}\), where the constants \(c_2>c_1>0\) depend only on d. (Of course, this situation may only occur for d even.) Furthermore, for each integer s satisfying \(0 \le s < d/2\) we show that the number of monic integer polynomials of degree d and height at most H which have precisely 2s non-real roots is asymptotic to \(\lambda (d,s)H^{d}\) as \(H \rightarrow \infty \). The constants \(\lambda (d,s)\) are all positive and come from a recent paper of Bertok, Hajdu, and Pethő. They considered a similar question for general (not necessarily monic) integer polynomials and posed this as an open question.

In this paper, we study area-filling curves, i.e. continuous and injective mappings defined on [0, 1] whose graph has positive measure. Current literature calls them “Osgood curves”, but their invention is due to H. Lebesgue. Stromberg and Tseng constructed homogeneous area-filling curves and offered an elegant example. We show that an appropriate variant of Knopp’s construction attains the same homogeneity result. In Section 4, we discuss briefly the existence of an “invasive” curve, i.e. a continuous and injective mapping from the half-open interval [0, 1[ to the unit square, whose image has measure 1. In the last section, we discuss several aspects of the Lance-Thomas curve, connecting it with the other construction due to Stromberg and Tseng.

Rotations $f_\alpha$ of the one-dimensional torus (equipped with the normalized Lebesgue measure) by an irrational angle $\alpha$ are known to be dynamical systems of rank one. This is equivalent to the property that the covering number $F^*(f_\alpha)$ of the dynamical system is one. In other words, there exists a basis $B$ such that for arbitrarily high $h$ an arbitrarily large proportion of the unit torus can be covered by the Rokhlin tower $(f_\alpha^kB)_{k=0}^{h-1}$. Although $B$ can be chosen with diameter smaller than any fixed $\varepsilon > 0$, it is not always possible to take an interval for $B$ but this can only be done when the partial quotients of $\alpha$ are unbounded. In the present paper, we ask what maximum proportion of the torus can be covered when $B$ is the union of $n_B \in \mathbb{N}$ disjoint intervals. This question has been answered in the case $n_B =1$ by Checkhova, and here we address the general situation. If $n_B = 2$ we give a precise formula for the maximum proportion. Furthermore, we show that for fixed $\alpha$ the maximum proportion converges to $1$ when $n_B \to \infty$. Explicit lower bounds can be given if $\alpha$ has constant partial quotients. Our approach is inspired by the construction involved in the proof of the Rokhlin Lemma and furthermore makes use of the Three Gap Theorem., Comment: 11 pages

The paper contains the identification of the $$L_p$$ L p norms of paraproducts, defined on general measure spaces equipped with a dyadic-like structure. The proof exploits the Bellman function method.

In 1947, M.S. Macphail constructed a series in $$\ell _{1}$$ that converges unconditionally but does not converge absolutely. According to the literature, this result helped Dvoretzky and Rogers to finally answer a long standing problem of Banach space theory, by showing that in all infinite-dimensional Banach spaces, there exists an unconditionally summable sequence that fails to be absolutely summable. More precisely, the Dvoretzky–Rogers theorem asserts that in every infinite-dimensional Banach space E, there exists an unconditionally convergent series $$\sum x^{\left( j\right) }$$ such that $$\sum \Vert x^{(j)}\Vert ^{2-\varepsilon }=\infty $$ for all $$\varepsilon >0$$ . Their proof is non-constructive and Macphail’s result for $$E=\ell _{1}$$ provides a constructive proof just for $$\varepsilon \ge 1$$ . In this note, we revisit Macphail’s paper and present two alternative constructions that work for all $$\varepsilon >0.$$

Let R be an algebraic algebra over an infinite field and $$*$$ be an involution on R. We show that if the units of R, $${\mathcal {U}}(R)$$ , satisfy a $$*$$ -Laurent polynomial identity, then R satisfies a polynomial identity. Also, let G be a torsion group and F a field. As a generalization of Hartley’s Conjecture, in Broche et al. (Arch Math 111:353–367, 2018), it is shown that if $${\mathcal {U}}(FG)$$ satisfies a Laurent polynomial identity which is not satisfied by the units of the relative free algebra $$F[\alpha , \beta :\alpha ^2=\beta ^2=0]$$ , then FG satisfies a polynomial identity. In this paper, we instead consider non-torsion groups G and provide some necessary conditions for $${\mathcal {U}}(FG)$$ to satisfy a Laurent polynomial identity.

A natural variant of Lehmer’s conjecture that the Ramanujan $$\tau $$ -function never vanishes asks whether, for any given integer $$\alpha $$ , there exist any $$n \in \mathbb {Z}^+$$ such that $$\tau (n) = \alpha $$ . A series of recent papers excludes many integers as possible values of the $$\tau $$ -function using the theory of primitive divisors of Lucas numbers, computations of integer points on curves, and congruences for $$\tau (n)$$ . We synthesize these results and methods to prove that if $$0< \left| \alpha \right| < 100$$ and $$\alpha \notin T := \{2^k, -24,-48, -70,-90, 92, -96\}$$ , then $$\tau (n) \ne \alpha $$ for all $$n > 1$$ . Moreover, if $$\alpha \in T$$ and $$\tau (n) = \alpha $$ , then n is square-free with prescribed prime factorization. Finally, we show that a strong form of the Atkin-Serre conjecture implies that $$\left| \tau (n) \right| > 100$$ for all $$n > 2$$ .

Foxby (Math Scand 2:175–186, 1971–1972) showed that a Cohen-Macaulay module over a Gorenstein local ring has finite projective dimension if and only if its canonical module has finite injective dimension. In this paper, we establish the result given by Foxby in a general setting. As a byproduct, some criteria to detect the Cohen-Macaulay property of a ring are provided in terms of intrinsic properties of certain local cohomology modules. Also, as an application, we show that any Cohen-Macaulay module that has a canonical module with finite injective dimension satisfies the Auslander–Reiten conjecture.

We deal with integrals of invariant measures of pairs of planes in euclidean space $\mathbb{E}^3$ as considered by Hug and Schneider. In this paper we express some of these integrals in terms of functions of the visual angle of a convex set. As a consequence of our results we evaluate the deficit in a Crofton-type inequality due to Blashcke., 16 pages

In this paper, we obtain a new Cheeger–Gromoll splitting theorem on a complete Riemannian manifold admitting a smooth vector field such that its Bakry–Emery Ricci tensor is non-negative and the vector field tends to zero at infinity. The result generalizes the classical Cheeger–Gromoll splitting theorem and the splitting type results of Lichnerowicz, Wei–Wylie, Fang–Li–Zhang, Wylie, Khuri–Woolgar–Wylie, Lim, and more.

In this paper, we analyse oscillatory properties of a general class of linear difference equations. Applying the modified Riccati technique, we prove an oscillation criterion for the studied equations and we formulate its consequences. In contrast to many known criteria, in the presented results, there are not considered any auxiliary sequences. The results are based directly on the coefficients of the treated equations, i.e., the obtained results are easy to use. In addition, recently, we have proved a non-oscillatory counterpart of the presented criterion. The combination implies that the studied equations are conditionally oscillatory.

In this paper, we study gradient estimates of positive smooth solutions to the p-Laplace equation $$\begin{aligned} (p-1)^{p-1}\Delta _pu+au^{p-1}\log u^{p-1}=0, \end{aligned}$$ which is related to the $$L^p$$ -log-Sobolev constant on Riemannian manifolds, where a is a nonzero constant. As applications, some Liouville type results are provided.

A longstanding conjecture asserts that every finite nonabelian p-group admits a noninner automorphism of order p. In this paper, we give a lower bound for the coclass of finite nonabelian p-groups G having no noninner automorphism of order p leaving the Frattini subgoup $$\Phi (G)$$ elementwise fixed. As a consequence, the verification of the conjecture is reduced to the case of finite nonabelian p-groups G in which the coclass of G is greater than the minimum number of generators of G.

In this paper, we study the problem of the existence of left invariant Ricci flat metrics on nilpotent Lie groups. We mainly prove that any nilpotent Lie algebra obtained by a double extension of an Abelian Lie algebra admits at least one left invariant Ricci flat metric. As an application, we obtain certain new nilpotent Lie algebras which admit left invariant Ricci flat metrics.

Tartar gave an alternative proof of the Riesz–Thorin interpolation theorem for operators of strong types (1, 1) and $$(\infty ,\infty )$$ . His method characterizes the $$L^{p}$$ norm in terms of the Lebesgue spaces $$L^{1}$$ and $$L^{\infty }$$ , and works not only for complex Lebesgue spaces but also for real Lebesgue spaces. The aim of this paper is to extend the proof for operators of strong types $$(p_{1},q_{1})$$ and $$(\infty ,\infty )$$ with $$1\le p_{1}\le q_{1}

Let $${{\mathcal {A}}}$$ be a Banach algebra and let $$\varphi $$ be a non-zero character on $${{\mathcal {A}}}$$ . Suppose that $${{\mathcal {A}}}_M$$ is the closure of the faithful Banach algebra $${{\mathcal {A}}}$$ in the multiplier norm. In this paper, topologically left invariant $$\varphi $$ -means on $${{\mathcal {A}}}_M^*$$ are defined and studied. Under some conditions on $${{\mathcal {A}}}$$ , we will show that the set of topologically left invariant $$\varphi $$ -means on $${{\mathcal {A}}}^*$$ and on $${{\mathcal {A}}}_M^*$$ have the same cardinality. The main applications are concerned with the quantum group algebra $$L^1({\mathbb {G}})$$ of a locally compact quantum group $${\mathbb {G}}$$ . In particular, we obtain some characterizations of compactness of $${\mathbb {G}}$$ in terms of the existence of a non-zero (weakly) compact left or right multiplier on $$L^1_M({\mathbb {G}})$$ or on its bidual in some senses.

Let $$(r_n)_{n=1}^\infty $$ be a non-decreasing sequence of radii in $$(0, \infty )$$ , and let $$(\theta _n)_{n=1}^\infty $$ be a sequence of independent random arguments uniformly distributed in $$[0, 2\pi )$$ . In this paper, we establish a new sufficient condition on the sequence $$(r_n)_{n=1}^\infty $$ under which $$(r_ne^{i\theta _n})_{n=1}^\infty $$ is almost surely a zero set for Fock spaces. The condition is in terms of the sum of two characteristics involving the counting function. The sharpness of this condition is discussed and examples are presented to illustrate it.

In this paper, we extend compactness theorems of Cheeger, Gromov, Taylor, and Sprouse to the Bakry–Emery Ricci tensor and generalized quasi-Einstein tensors. Our results generalize previous results obtained by Yun and Wan.

In this paper, we obtain a version of the strong maximum principle for the spectral Dirichlet Laplacian. Specifically, let $$d \in \{1,2,3,\ldots \}$$ , $$s \in (\frac{1}{2},1)$$ , and $$\Omega \subset \mathbb {R}^d$$ be open, bounded, connected with Lipschitz boundary. Suppose $$u \in L^1(\Omega )$$ satisfies $$u \ge 0$$ a.e. in $$\Omega $$ and $$(-\Delta )^s u$$ is a Radon measure on $$\Omega $$ . Then u has a quasi-continuous representative $${\tilde{u}}$$ . Let $$a \in L^1(\Omega )$$ be such that $$a \ge 0$$ a.e. in $$\Omega $$ . Then if $$\begin{aligned} (-\Delta )^s u + au \ge 0 \quad \text {a.e.} \text { in } \Omega \end{aligned}$$ and $${\tilde{u}} = 0$$ on a subset of positive $$H^s$$ -capacity of $$\Omega $$ , then $$u = 0$$ a.e. in $$\Omega $$ .

In this paper, we show a quantitative version of the theorem stating that relatively weakly compact sets in $$\ell _1$$ coincide with those having the Banach-Saks property. Namely, we prove that the measure of the weak noncompactness based on the Eberlein double limit criterion is equal to the measure of the non-Banach-Saks property defined by the arithmetic separation of sequences.

In this paper, the arithmetic-geometric mean inequalities of indefinite type are discussed. We show that for a J-selfadjoint matrix A satisfying $$I \ge ^J A$$ and $${\mathrm{sp}}(A) \subseteq [1, \infty ),$$ the inequality $$\begin{aligned} \frac{I + A}{2} \le ^J \sqrt{A} \end{aligned}$$ holds, and the reverse does for A with $$I \ge ^J A$$ and $${\mathrm{sp}}(A) \subseteq [0, 1]$$ . We also prove that for J-positive invertible operators A, B acting on a Hilbert space of arbitrary dimension, the inequality $$\begin{aligned} \frac{A + B}{2} \ge ^J A \sharp ^J B \end{aligned}$$ holds, where $$A \sharp ^J B:= J \bigl ( (JA) \sharp (JB) \bigr )$$ . Several examples involving Pauli matrices are provided to illustrate the main results.