On the towers of torsion Bertrandias and Payan modules

For an odd prime p, let K/k be a Galois p-extension and S be a set of primes of k containing the primes lying over p. For the p ^r th roots \({\mu _{{p^r}}}\left( K \right)\) of unity in K, we describe the so-called Sha group Sha _S (G(K/k), \({\mu _{{p^r}}}\left( K \right)\)) in terms of the Galois groups of certain subfields of K corresponding to S. As an application, we investigate a tower of extension fields \({\left\{ {{k_{{T^i}}}} \right\}_i} \geqslant 0\) where \({k_{{T^{i + 1}}}}\) is defined as the fixed field of a free part of the Galois group of the Bertrandias and Payan extension of \({k_{{T^i}}}\) over \({k_{{T^i}}}\). This is called a tower of torsion parts of the Bertrandias and Payan extensions over k. We find a relation between the degrees \({\left\{ {\left[ {{k_{{T^{i + 1}}}}:{k_{{T^i}}}} \right]} \right\}_{i \geqslant 0}}\) over the towers. Using this formula we investigate whether the towers are stationary or not.     

The statistics of the number of rational points in the hyperelliptic ensemble over a finite field

We study the distribution of the numbers of \({F_{{q^r}}}\)-rational points of hyperelliptic curves over a finite field F_q in odd characteristic. This extends the result of Kurlberg and Rudnick [4]. We also study the distribution of the number of \({F_{{q^r}}}\)-rational points and the trace of high powers of the Frobenius class of real hyperelliptic curves over a finite field F_q in even characteristic.     

Libera and Hilbert matrix operator on logarithmically weighted Bergman,Bloch and Hardy-Bloch spaces

We show that if α > 1, then the logarithmically weighted Bergman space \(A_{{{\log }^\alpha }}^2\) is mapped by the Libera operator L into the space \(A_{{{\log }^{\alpha - 1}}}^2\), while if α > 2 and 0 < ε ≤ α?2, then the Hilbert matrix operator H maps \(A_{{{\log }^\alpha }}^2\) into \(A_{{{\log }^{\alpha - 2 - \varepsilon }}}^2\).We show that the Libera operator L maps the logarithmically weighted Bloch space \({B_{{{\log }^\alpha }}}\), α ∈ R, into itself, while H maps \({B_{{{\log }^\alpha }}}\) into \({B_{{{\log }^{\alpha + 1}}}}\).In Pavlovi?’s paper (2016) it is shown that L maps the logarithmically weighted Hardy-Bloch space \(B_{{{\log }^\alpha }}^1\), α > 0, into \(B_{{{\log }^{\alpha - 1}}}^1\). We show that this result is sharp. We also show that H maps \(B_{{{\log }^\alpha }}^1\), α > 0, into \(B_{{{\log }^{\alpha - 1}}}^1\) and that this result is sharp also.     

A Supplement to Hölder’s Inequality. The Resonance Case. I

Suppose that m ≥ 2, numbers p₁, …, p _m ∈ (1, +∞] satisfy the inequality \(\frac{1}{{{p_1}}} + ... + \frac{1}{{{p_m}}} < 1\), and functions γ₁ ∈ \({L^{{p_1}}}\)(?¹), …, γ _m ∈ \({L^{{p_m}}}\)(?¹) are given. It is proved that if the set of “resonance points” of each of these functions is nonempty and the so-called “resonance condition” holds, then there are arbitrarily small (in norm) perturbations Δγ_k ∈ \({L^{{p_k}}}\)(?¹) under which the resonance set of each function γ_k + Δγ_k coincides with that of γ_k for 1 ≤ k ≤ m, but \({\left\| {\int\limits_0^t {\prod\limits_{k = 0}^m {\left[ {{\gamma _k}\left( \tau \right) + \Delta {\gamma _k}\left( \tau \right)} \right]d\tau } } } \right\|_{{L^\infty }\left( {{\mathbb{R}^1}} \right)}} = \infty \). The notion of a resonance point and the resonance condition for functions in the spaces L ^p (?¹), p ∈ (1, +∞], were introduced by the author in his previous papers.     

Minimal tiled orders of finite global dimension

In this paper, we consider the sequence of balancing and Lucas balancing numbers. The balancing numbers \({B_n}\) are given by the recurrence \({B_n = 6 B_{n-1} - B_{n-2}}\) with initial conditions \({B_0 = 0, B_1 = 1}\) and its associated Lucas balancing numbers \({C_n}\) are given by the recurrence \({C_n = 6 C_{n-1} - C_{n-2}}\) with initial conditions \({C_0 = 1, C_1 = 3}\). First we find the perfect powers in the sequence of balancing and Lucas balancing numbers. We also identify those Lucas balancing numbers which are products of a power of 3 and a perfect power. Using this property of Lucas balancing numbers, we solve a conjecture regarding the non-existence of positive integral solution (x, y) for the Diophantine equation \({2x^2 + 1 = 3^b y^m}\) for any even positive integers b and m with \({m > 2}\), given in (Int J Number Theory 11:1259–1274, 2015). Also we prove that the Diophantine equations \({B_n B_{n+d}\ldots B_{n+(k-1)d} = y^m}\) and \({C_n C_{n+d}\ldots C_{n+(k-1)d} = y^m}\) have no solution for any positive integers n, d, k, y, and m with \({m \geq 2, y \geq 2}\) and gcd\({(n,d) = 1}\).     

On the Gosper’s <Emphasis Type="Italic">q</Emphasis>-constant Π<Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>

Gosper introduced the functions sin_qz and cos_qz as q-analogues for the trigonometric functions sin z and cos z respectively. He stated a variety of identities involving these two q-trigonometric functions along with certain constants denoted by \({\Pi _{{q^n}}}\) (n ∈ N). Gosper noticed that all his formulas on these constants have more than two of the \({\Pi _{{q^n}}}\). So, it is natural to raise the question of establishing identities involving only two of the \({\Pi _{{q^n}}}\). In this paper, our main goal is to give examples of such formulas in only two \({\Pi _{{q^n}}}\).     

Remarks on Complex Symmetric Operators

An operator \({T\in{\mathcal{L}}({\mathcal{H}})}\) is said to be complex symmetric if there exists a conjugation C on \({{\mathcal H}}\) such that \({T= CT^{\ast}C}\). In this paper, we study the spectral radius algebras for complex symmetric operators. In particular, we prove that if A is a complex symmetric operator, then the spectral radius algebra \({{\mathcal B}_{A}}\) associated with A has a nontrivial invariant subspace under some conditions. Finally, we give some relations between \({P_{\tilde{A}}}\) and \({P_{\widetilde{A^{\ast}}}}\) (defined below) when A is complex symmetric.     

Remarks on D-integral complete multipartite graphs

A graph is called distance integral (or D-integral) if all eigenvalues of its distance matrix are integers. In their study of D-integral complete multipartite graphs, Yang and Wang (2015) posed two questions on the existence of such graphs. We resolve these questions and present some further results on D-integral complete multipartite graphs. We give the first known distance integral complete multipartite graphs \({K_{{p_1},{p_2},{p_3}}}\) with p₁ < p₂ < p₃, and \({K_{{p_1},{p_2},{p_3},{p_4}}}\) with p₁ < p₂ < p₃ < p₄, as well as the infinite classes of distance integral complete multipartite graphs \({K_{{a_1}{p_1},{a_2}{p_2},...,{a_s}{p_s}}}\) with s = 5, 6.     

The Representation of a C0-Semigroup of Linear Operators in a Banach Space on the Set of Entire Vectors of its Generator

For a C₀-semigroup \({\{U(t)\}_{t \geq 0}}\) of linear operators in a Banach space \({{\mathfrak{B}}}\) with generator A, we describe the set of elements \({x \in {\mathfrak{B}}}\) whose orbits U(t)x can be extended to entire \({{\mathfrak{B}}}\)-valued functions of a finite order and a finite type, and establish the conditions under which this set is dense in \({{\mathfrak{B}}}\). The Hille problem of finding vectors \({x \in {\mathfrak{B}}}\) such that there exists the limit \({\lim\limits_{n \to \infty}\left(I + \frac{tA}{n}\right)^{n}x}\) is also solved in the paper. We prove that this limit exists if and only if x is an entire vector of the operator A, and if this is the case, then it coincides with U(t)x.     

A Schwarz Lemma at the Boundary of Hilbert Balls

In this paper, the authors prove a general Schwarz lemma at the boundary for the holomorphic mapping f between unit balls B and B′in separable complex Hilbert spaces H and H′, respectively. It is found that if the mapping f ∈ C~(1+α)at z_0∈ ?B with f(z_0) = w_0∈ ?B′, then the Fr′echet derivative operator Df(z_0) maps the tangent space Tz_0(?B~n) to Tw_0(?B′), the holomorphic tangent space T_(z_0)~(1,0)(?B~n) to T_(w_0)~(1,0)(?B′),respectively.     

The fractional Neumann and Robin type boundary conditions for the regional fractional <Emphasis Type="Italic">p</Emphasis>-Laplacian

Let \({p \in (1,\infty)}\), \({s \in (0,1)}\) and \({\Omega \subset {\mathbb{R}^{N}}}\) a bounded open set with boundary \({\partial\Omega}\) of class C ^1,1. In the first part of the article we prove an integration by parts formula for the fractional p-Laplace operator \({(-\Delta)_{p}^{s}}\) defined on \({\Omega \subset {\mathbb{R}^{N}}}\) and acting on functions that do not necessarily vanish at the boundary \({\partial\Omega}\). In the second part of the article we use the above mentioned integration by parts formula to clarify the fractional Neumann and Robin boundary conditions associated with the fractional p-Laplacian on open sets.     

On Jumping Densities of Hypergraphs

A number \({\alpha\in [0, 1)}\) is a jump for an integer r ≥ 2 if there exists a constant c > 0 such that for any family \({{\mathcal F}}\) of r-uniform graphs, if the Turán density of \({{\mathcal F}}\) is greater than α, then the Turán density of \({{\mathcal F}}\) is at least α + c. A fundamental result in extremal graph theory due to Erd?s and Stone implies that every number in [0, 1) is a jump for r = 2. Erd?s also showed that every number in [0, r!/r ^r ) is a jump for r ≥ 3. However, not every number in [0, 1) is a jump for r ≥ 3. In fact, Frankl and Rödl showed the existence of non-jumps for r ≥ 3. By a similar approach, more non-jumps were found for some r ≥ 3 recently. But there are still a lot of unknowns regarding jumps for hypergraphs. In this note, we show that if \({c\cdot{\frac{r!}{r^r}}}\) is a non-jump for r ≥ 3, then for every p ≥ r, \({c\cdot{\frac{p!}{p^p}}}\) is a non-jump for p.     

Riesz Transform Characterizations of Hardy Spaces Associated to Degenerate Elliptic Operators

Let \({L_{w}}{:=-w^{-1}{\rm div}(A\nabla)}\) be the degenerate elliptic operator on the Euclidean space \({{\mathbb{R}^{n}}}\), where w is a Muckenhoupt \({A_{2}({\mathbb{R}^{n}})}\) weight. In this article, the authors establish the Riesz transform characterization of the Hardy space \({H^{p}_{L_{w}}({\mathbb{R}}^{n})}\) associated with L_w, for \({w \in A_{q}({\mathbb{R}}^{n}) \cap RH_{\frac{n}{n-2}}({\mathbb{R}^{n}})}\) with \({n \geq 3}\), \({q \in [1,2]}\) and \({p \in (q(\frac{1}{r}+\frac{q-1}{2}+\frac{1}{n})^{-1},1]}\) if, for some \({r \in (1,\,2]}\), \({{\{tL_w e^{-tL_w}\}}_{t\geq 0}}\) satisfies the weighted \({L^{r}-L^{2}}\) full off-diagonal estimates.     

Some estimates for the Schrödinger type operators with nonnegative potentials

In this paper we consider the Schrödinger operator ?Δ + V on \({\mathbb R^d}\), where the nonnegative potential V belongs to the reverse Hölder class \({B_{q_{_1}}}\) for some \({q_{_1}\geq \frac{d}{2}}\) with d ≥ 3. Let \({H^1_L(\mathbb R^d)}\) denote the Hardy space related to the Schrödinger operator L = ?Δ + V and \({BMO_L(\mathbb R^d)}\) be the dual space of \({H^1_L(\mathbb R^d)}\). We show that the Schrödinger type operator \({\nabla(-\Delta +V)^{-\beta}}\) is bounded from \({H^1_L(\mathbb R^d)}\) into \({L^p(\mathbb R^d)}\) for \({p=\frac{d}{d-(2\beta-1)}}\) with \({ \frac{1}{2}<\beta<\frac{3}{2} }\) and that it is also bounded from \({L^p(\mathbb R^d)}\) into \({BMO_L(\mathbb R^d)}\) for \({p=\frac{d}{2\beta-1}}\) with \({ \frac{1}{2}<\beta< 2}\).     

A Nonlocal <Emphasis Type="Italic">C</Emphasis>*-Algebra of Singular Integral Operators with Shifts Having Periodic Points

Representations on Hilbert spaces for a nonlocal C*-algebra \({{\mathfrak {B}}}\) of singular integral operators with piecewise slowly oscillating coefficients and unitary shift operators are constructed. The group of unitary shift operators U _g of the C*-algebra \({{\mathfrak {B}}}\) is associated with an amenable discrete group of homeomorphisms \({g:{\mathbb{T}}\to{\mathbb{T}}}\) that have piecewise continuous derivatives and the same nonempty set of periodic points. An isometric C*-algebra homomorphism of the quotient C*-algebra \({{\mathfrak {B}}^\pi={\mathfrak {B}}/{\mathcal {K}}}\), where \({{\mathcal {K}}}\) is the ideal of compact operators, into an n × n matrix algebra associated to a C*-algebra \({{\mathfrak {B}}_0}\) of singular integral operators with shifts having only fixed points is established making use of a spectral measure. Based on this generalization of the Litvinchuk–Gohberg–Krupnik reduction scheme, a symbol calculus for the C*-algebra \({{\mathfrak {B}}}\) as well as a Fredholm criterion for the operators in \({{\mathfrak {B}}}\) are obtained.     

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.     

Quantization of the Kadomtsev–Petviashvili equation

We propose a quantization of the Kadomtsev–Petviashvili equation on a cylinder equivalent to an infinite system of nonrelativistic one-dimensional bosons with the masses m = 1, 2,.... The Hamiltonian is Galilei-invariant and includes the split and merge terms \(\Psi _{{m_1}}^\dag \Psi _{{m_2}}^\dag {\Psi _{{m_1} + {m_2}}}\) and \(\Psi _{{m_1} + {m_2}}^\dag {\Psi _{{m_1}}}{\Psi _{{m_2}}}\) for all combinations of particles with masses m ₁, m ₂, and m ₁ + m ₂ for a special choice of coupling constants. We construct the Bethe eigenfunctions for the model and verify the consistency of the coordinate Bethe ansatz and hence the quantum integrability of the model up to the mass M=8 sector.     

The Schur functor on tensor powers

Let M be a left module for the Schur algebra S(n, r), and let \({s \in \mathbb{Z}^+}\) . Then \({M^{\otimes s}}\) is a \({(S(n,\,rs), F{\mathfrak{S}_{s}})}\) -bimodule, where the symmetric group \({{\mathfrak{S}_s}}\) on s letters acts on the right by place permutations. We show that the Schur functor f _rs sends \({M^{\otimes s}}\) to the \({(F{\mathfrak{S}_{rs}},F{\mathfrak{S}_s})}\) -bimodule \({F\mathfrak{S}_{rs}\otimes_{F(\mathfrak{S}_{r}\wr{\mathfrak{S}_s})} ((f_rM)^{\otimes s}\otimes_{F} F{\mathfrak{S}_s})}\) . As a corollary, we obtain the image under the Schur functor of the Lie power L ^s (M), exterior power \({\bigwedge^s(M)}\) of M and symmetric power S ^s (M).     

Integral means of weighted Hardy–Bloch functions

Let \({\mathcal{B}^\omega(p, q, B_d)}\) denote the \({\omega}\)-weighted Hardy–Bloch space on the unit ball B _d of \({\mathbb{C}^d}\), \({d\ge 1}\). For \({2< p,q < \infty}\) and \({f\in \mathcal{B}^\omega(p, q, B_d)}\), we obtain sharp estimates on the growth of the p-integral means M _p (f, r) as \({r\to 1-}\).     

Single and Double Layer Potentials on Domains with Conical Points I: Straight Cones

Let \({\Omega = \mathbb{R}^+ \omega}\) be an open straight cone in \({\mathbb{R}^n, n\geq3}\) , where \({\omega \subset S^{n-1}}\) is a smooth subdomain of the unit sphere. Denote by K and S the double and single layer potential operators associated to Ω and the Laplace operator Δ. Let r be the distance to the origin. We consider a natural class of dilation invariant operators on ?Ω, called Mellin convolution operators and show that \({K_a :=r^{a}Kr^{-a}}\) and \({S_b := r^{b-\frac{1}{2}}Sr^{-b-\frac{1}{2}}}\) are Mellin convolution operators for \({a \in (-1, n-1)}\) and \({b \in (\frac{1}{2}, n-\frac{3}{2})}\) . It is known that a Mellin convolution operator T is invertible if, and only if, its Mellin transform \({\hat T( \lambda)}\) is invertible for any real λ. We establish a reduction procedure that relates the Mellin transforms of K _a and S _b to the single and, respectively, double layer potential operators associated to some other elliptic operators on ω, which can be shown to be invertible using the classical theory of layer potential operators on smooth domains. This reduction procedure thus allows us to prove that \({\frac{1}{2}\pm K}\) and S are invertible between suitable weighted Sobolev spaces. A classical consequence of the invertibility of these operators is a solvability result in weighted Sobolev spaces for the Dirichlet problem on Ω.