Two results on arithmetical functions

Generalizing two results of Rieger [8] and Selberg [10] we give asymptotic formulas for sums of type $${\matrix {\sum \limits_{n\leq x}\cr n\equiv l({\rm mod}k)\cr f_{\kappa}(n)\equiv s_{\kappa}({\rm mod}p_{\kappa})\cr (\kappa=1,\dots,r)\cr}}\qquad \chi(n)\qquad {\rm and} {\matrix {\sum \limits_{n\leq x}\cr n\equiv l({\rm mod}k)\cr f_{\kappa}(n)\equiv s_{\kappa}({\rm mod}p_{\kappa})\cr (\kappa=1,\dots,r)\cr}}\qquad \chi(n),$$ where χ is a suitable multiplicative function, f₁,…, f _r are “small” additive, prime-independent arithmetical functions and k, l are coprime. The proofs are based on an analytic method which consists of considering the Dirichlet series generated by $ \chi(n)z_{1}^{f_{1}(n)}\cdot... \cdot z_{r}^{f_{r}(n)},z_{1}\dots z_{r} $ complex.     

Multilinear Marcinkiewicz-Zygmund Inequalities

We extend to the multilinear setting classical inequalities of Marcinkiewicz and Zygmund on \(\ell ^r\)-valued extensions of linear operators. We show that for certain \(1 \le p, q_1, \dots , q_m, r \le \infty \), there is a constant \(C\ge 0\) such that for every bounded multilinear operator \(T:L^{q_1}(\mu _1) \times \cdots \times L^{q_m}(\mu _m) \rightarrow L^p(\nu )\) and functions \(\{f_{k_1}^1\}_{k_1=1}^{n_1} \subset L^{q_1}(\mu _1), \dots , \{f_{k_m}^m\}_{k_m=1}^{n_m} \subset L^{q_m}(\mu _m)\), the following inequality holds

$$\begin{aligned} \left\| \left( \sum _{k_1, \dots , k_m} |T(f_{k_1}^1, \dots , f_{k_m}^m)|^r\right) ^{1/r} \right\| _{L^p(\nu )} \le C \Vert T\Vert \prod _{i=1}^m \left\| \left( \sum _{k_i=1}^{n_i} |f_{k_i}^i|^r\right) ^{1/r} \right\| _{L^{q_i}(\mu _i)}. \end{aligned}$$ (1)

In some cases we also calculate the best constant \(C\ge 0\) satisfying the previous inequality. We apply these results to obtain weighted vector-valued inequalities for multilinear Calderón-Zygmund operators.

     

Topological Properties of the Set of Functions Generated by Neural Networks of Fixed Size

We analyze the topological properties of the set of functions that can be implemented by neural networks of a fixed size. Surprisingly, this set has many undesirable properties. It is highly non-convex, except possibly for a few exotic activation functions. Moreover, the set is not closed with respect to \(L^p\)-norms, \(0< p < \infty \), for all practically used activation functions, and also not closed with respect to the \(L^\infty \)-norm for all practically used activation functions except for the ReLU and the parametric ReLU. Finally, the function that maps a family of weights to the function computed by the associated network is not inverse stable for every practically used activation function. In other words, if \(f_1, f_2\) are two functions realized by neural networks and if \(f_1, f_2\) are close in the sense that \(\Vert f_1 - f_2\Vert _{L^\infty } \le \varepsilon \) for \(\varepsilon > 0\), it is, regardless of the size of \(\varepsilon \), usually not possible to find weights \(w_1, w_2\) close together such that each \(f_i\) is realized by a neural network with weights \(w_i\). Overall, our findings identify potential causes for issues in the training procedure of deep learning such as no guaranteed convergence, explosion of parameters, and slow convergence.

     

The Berry–Esseen bounds of the weighted estimator in a nonparametric regression model

Consider the following nonparametric model: \(Y_{ni}=g(x_{ni})+ \varepsilon _{ni},1\le i\le n,\) where \(x_{ni}\in {\mathbb {A}}\) are the nonrandom design points and \({\mathbb {A}}\) is a compact set of \({\mathbb {R}}^{m}\) for some \(m\ge 1\), \(g(\cdot )\) is a real valued function defined on \({\mathbb {A}}\), and \(\varepsilon _{n1},\ldots ,\varepsilon _{nn}\) are \(\rho ^{-}\)-mixing random errors with zero mean and finite variance. We obtain the Berry–Esseen bounds of the weighted estimator of \(g(\cdot )\). The rate can achieve nearly \(O(n^{-1/4})\) when the moment condition is appropriate. Moreover, we carry out some simulations to verify the validity of our results.

     

Ground state solutions for a class of fractional Hamiltonian systems

In this paper we study the following fractional Hamiltonian systems

$$\begin{aligned} \left\{ \begin{array}{lllll} -_{t}D^{\alpha }_{\infty }(_{-\infty }D^{\alpha }_{t}x(t))- L(t).x(t)+\nabla W(t,x(t))=0, \\ x\in H^{\alpha }(\mathbb {R}, \mathbb {R}^{N}), \end{array} \right. \end{aligned}$$

where \(\alpha \in \left( {1\over {2}}, 1\right] ,\ t\in \mathbb {R}, x\in \mathbb {R}^N,\ _{-\infty }D^{\alpha }_{t}\) and \(_{t}D^{\alpha }_{\infty }\) are the left and right Liouville–Weyl fractional derivatives of order \(\alpha \) on the whole axis \(\mathbb {R}\) respectively, \(L:\mathbb {R}\longrightarrow \mathbb {R}^{2N}\) and \(W: \mathbb {R}\times \mathbb {R}^{N}\longrightarrow \mathbb {R}\) are suitable functions. One ground state solution is obtained by applying the monotonicity trick of Jeanjean and the concentration-compactness principle in the case where the matrix L(t) is positive definite and \(W \in C^{1}(\mathbb {R}\times \mathbb {R}^{N},\mathbb {R})\) is superquadratic but does not satisfy the usual Ambrosetti–Rabinowitz condition.

     

Inequalities for sine sums with more variables

A result of Vietoris states that if the real numbers \(a_1,\ldots ,a_n\) satisfy

$$\begin{aligned} \text{(*) } \qquad a_1\ge \frac{a_2}{2} \ge \cdots \ge \frac{a_n}{n}>0 \quad \text{ and } \quad a_{2k-1}\ge a_{2k} \quad (1\le k\le n/2), \end{aligned}$$

then, for \(x_1,\ldots ,x_m>0\) with \(x_1+\cdots +x_m <\pi \),

$$\begin{aligned} \begin{aligned} \text{(**) } \qquad \sum _{k=1}^n a_k \frac{\sin (k x_1) \cdots \sin (k x_m)}{k^m}>0. \end{aligned} \end{aligned}$$

We prove that \((**)\) (with “\(\ge \)” instead of “>”) holds under weaker conditions. It suffices to assume, instead of \((*)\), that

$$\begin{aligned} \sum _{k=1}^N a_k \frac{\sin (kt)}{k}>0 \quad (N=1,\ldots ,n; \, 0<t<\pi ), \end{aligned}$$

and, moreover, \((**)\) is valid for a larger region, namely, \(x_1,\ldots ,x_m\in (0,\pi )\).

     

A Menon-type identity with Dirichlet characters in residually finite Dedekind domains

This paper studies Menon–Sury’s identity in a general case, i.e., the Menon–Sury’s identity involving Dirichlet characters in residually finite Dedekind domains. By using the filtration of the ring \({\mathfrak {D}}/{\mathfrak {n}}\) and its unit group \(U({\mathfrak {D}}/{\mathfrak {n}})\), we explicitly compute the following two summations:

$$\begin{aligned} \sum _{\begin{array}{c} a\in U({\mathfrak {D}}/{\mathfrak {n}}) \\ b_1, \ldots , b_r\in {\mathfrak {D}}/{\mathfrak {n}} \end{array}} N(\langle a-1,b_1, b_2, \ldots , b_r \rangle +{\mathfrak {n}})\chi (a) \end{aligned}$$

and

$$\begin{aligned} \sum _{\begin{array}{c} a_{1},\ldots , a_{s}\in U({\mathfrak {D}}/{\mathfrak {n}}) \\ b_1, \ldots , b_r\in {\mathfrak {D}}/{\mathfrak {n}} \end{array}} N(\langle a_{1}-1,\ldots , a_{s}-1,b_1, b_2, \ldots , b_r \rangle +{\mathfrak {n}})\chi _{1}(a_1) \cdots \chi _{s}(a_s), \end{aligned}$$

where \({\mathfrak {D}}\) is a residually finite Dedekind domain and \({\mathfrak {n}}\) is a nonzero ideal of \({\mathfrak {D}}\), \(N({\mathfrak {n}})\) is the cardinality of quotient ring \({\mathfrak {D}}/{\mathfrak {n}}\), \(\chi _{i}~(1\le i\le s)\) are Dirichlet characters mod \({\mathfrak {n}}\) with conductor \({\mathfrak {d}}_i\).

     

Scaling Limits for Mixed Kernels

Let \(\mu \) and \(\nu \) be measures supported on \(\left( -1,1\right) \) with corresponding orthonormal polynomials \(\left\{ p_{n}^{\mu }\right\} \) and \( \left\{ p_{n}^{\nu }\right\} \), respectively. Define the mixed kernel

$$\begin{aligned} K_{n}^{{\mu },\nu }\left( x,y\right) =\sum _{j=0}^{n-1}p_{j}^{\mu }\left( x\right) p_{j}^{\nu }\left( y\right) . \end{aligned}$$

We establish scaling limits such as

$$\begin{aligned}&\lim _{n\rightarrow \infty }\frac{\pi \sqrt{1-\xi ^{2}}\sqrt{\mu ^{\prime }\left( \xi \right) \nu ^{\prime }\left( \xi \right) }}{n}K_{n}^{\mu ,\nu }\left( \xi +\frac{a\pi \sqrt{1-\xi ^{2}}}{n},\xi +\frac{b\pi \sqrt{1-\xi ^{2}}}{n}\right) \\&\quad =S\left( \frac{\pi \left( a-b\right) }{2}\right) \cos \left( \frac{\pi \left( a-b\right) }{2}+B\left( \xi \right) \right) , \end{aligned}$$

where \(S\left( t\right) =\frac{\sin t}{t}\) is the sinc kernel, and \(B\left( \xi \right) \) depends on \({\mu },\nu \) and \(\xi \). This reduces to the classical universality limit in the bulk when \(\mu =\nu \). We deduce applications to the zero distribution of \(K_{n}^{{\mu },\nu }\), and asymptotics for its derivatives.

     

Functional Matrix Multipliers for Parseval Gabor Multi-frame Generators

We consider the problem of characterizing the bounded linear operator multipliers on \(L^{2}(\mathbb{R})\) that map Gabor frame generators to Gabor frame generators. We prove that a functional matrix \(M(t)=[f_{ij}(t)]_{m \times m}\) (where \(f_{ij}\in L^{\infty}(\mathbb{R})\)) is a multiplier for Parseval Gabor multi-frame generators with parameters \(a, b >0\) if and only if \(M(t)\) is unitary and \(M^{*}(t)M(t+\frac{1}{b})= \lambda(t)I\) for some unimodular \(a\)-periodic function \(\lambda(t)\). As a special case (\(m =1\)) this recovers the characterization of functional multipliers for Parseval Gabor frames with single function generators.

     

Schatten-Herz Operators,Berezin Transform and Mixed Norm Spaces

For p, q > 0 we study operators T on the Bergman space \({A_{2}(\mathbb{D)}}\) in the disk such that \({\left(\sum_{j}\Vert T\Delta_{j}\Vert_{p}^{q}\right)^{1/q}<\infty,}\) where the norms \({\Vert\cdot\Vert_{p}}\) are in the Schatten class S _p (A ₂), the projection \({\Delta_{j}f=\sum_{n\in I_{j}}a_{n}z^{n}}\) for \({f(z)=\sum_{n=0}^{\infty}a_{n}z^{n}}\) and \({I_{j}=[2^{j}-1,2^{j+1} )\cap(\mathbb{N}\cup\{0\})}\) for \({j\in\mathbb{N}\cup\{0\}.}\) We consider the relation of this property with mixed norms of the Berezin transform of T and of the related function \({f_{T}(z)={\Vert}T(k_{z})\Vert}\) where k _z is the normalized Bergman kernel. These classes of operators denoted by S(p, q) are closely related when assumed to be positive with other sets of operators, like the class of positive operators on A ₂ for which \({\left(\sum_{j\geq0}(\sum_{n\in I_{j}}|\left\langle T^pe_{n},e_{n}\right\rangle |)^{q/p}\right)^{1/q}<\infty}\) , where \({\{e_{n}\}_{n\geq0}}\) is the canonical basis of A ₂; also we study the relation of Toeplitz operators in S(p, q) with the Schatten-Herz classes, where the decomposition is through dyadic annuli of the domain \({\mathbb{D}}\) .     

$$\pi $$π-Formulas and Gray code

In previous papers we introduced a class of polynomials which follow the same recursive formula as the Lucas–Lehmer numbers, studying the distribution of their zeros and remarking that this distribution follows a sequence related to the binary Gray code. It allowed us to give an order for all the zeros of every polynomial \(L_n\). In this paper, the zeros, expressed in terms of nested radicals, are used to obtain two formulas for \(\pi \): the first can be seen as a generalization of the known formula

$$\begin{aligned} \pi =\lim _{n\rightarrow \infty } 2^{n+1}\cdot \sqrt{2-\underbrace{\sqrt{2+\sqrt{2+\sqrt{2+\cdots +\sqrt{2}}}}}_{n}}, \end{aligned}$$

related to the smallest positive zero of \(L_n\); the second is an exact formula for \(\pi \) achieved thanks to some identities valid for \(L_n\).

     

$$L^2_f$$ L f 2 -harmonic 1-forms on smooth metric measure spaces with positive $$\lambda _1(\Delta _f)$$ λ 1 ( Δ f )

In this paper, we study vanishing and splitting results on a complete smooth metric measure space \((M^n,g,\mathrm {e}^{-f}\mathrm {d}v)\) with various negative m-Bakry-Émery Ricci curvature lower bounds in terms of the first eigenvalue \(\lambda _1(\Delta _f)\) of the weighted Laplacian \(\Delta _f\), i.e., \(\mathrm {Ric}_{m,n}\ge -a\lambda _1(\Delta _f)-b\) for \(0<a\le \dfrac{m}{m-1}, b\ge 0\). In particular, we consider three main cases for different a and b with or without conditions on \(\lambda _1(\Delta _f)\). These results are extensions of Dung and Vieira, and weighted generalizations of Li-Wang, Dung-Sung, and Vieira.

     

Arithmetic properties for a partition function related to the Ramanujan/Watson mock theta function $$\omega (q)$$

Recently, Andrews, Dixit, and Yee introduced a new partition function \(p_{\omega }(n)\) that denotes the number of partitions of n in which each odd part is less than twice the smallest part. The generating function of \(p_{\omega }(n)\) is associated with the third-order mock theta function \(\omega (q)\). Andrews, Passary, Sellers, and Yee proved three infinite families of congruences modulo 4 and 8 for \(p_{\omega }(n)\) and provided elementary proofs of congruences modulo 5 for \(p_{\omega }(n)\) which were first discovered by Waldherr. In this paper, we prove some new congruences modulo 5 and powers of 2 for \(p_{\omega }(n)\). In particular, we obtain some non-standard congruences for \(p_{\omega }(n)\). For example, we prove that for \(k\ge 0\), \( p_{\omega }\left( \frac{7\times 5^{2k+1}+1 }{3}\right) \equiv (-1)^k \ (\mathrm{mod}\ 5) \) and \( p_\omega \left( \frac{2^{2k+7}+1}{3}\right) \equiv 1251 \times (-1)^k \ (\mathrm{mod}\ 2^{11})\).     

A new note on absolute summability factors

In this paper, a recent result dealing with  \(| \bar{N},p_{n}|_{k}\) summability factors, has been generalized for \(|\bar{N},p_{n},\theta_{n}|_{k}\) summability factors. Some new results have also been obtained.     

Irrational Factor of Order k and ITS Connections With k-Free Integers

We introduce an irrational factor of order k defined by \({I_{k}(n) ={\prod_{i=1}^{l}} p_{i}^{\beta_{i}}}\) , where \({n = \prod_{i=1}^{l} p_{i}^{\alpha_{i}}}\) is the factorization of n and \({\beta_{i} = \left\{\begin{array}{ll}\alpha_i, \quad \quad {\rm if} \quad \alpha_i < k \\ \frac{1}{\alpha_i},\quad \quad {\rm if} \quad \alpha_i \geqq k \end{array}\right.}\) . It turns out that the function \({\frac{I_{k} (n)}{n}}\) well approximates the characteristic function of k-free integers. We also derive asymptotic formulas for \({\prod_{v=1}^{n} I_{k}(v)^{\frac{1}{n}}, \sum_{n \leqq x} I_{k}(n)}\) and \({\sum_{n \leqq x} (1 - \frac{n}{x}) I_{k}(n)}\) .     

On summability of nonlinear mappings: a new approach

The main goal of this paper is to characterize arbitrary nonlinear (non-multilinear) mappings ${f:X_{1}\times\cdots\times X_{n}\rightarrow Y}$ between Banach spaces that satisfy a quite natural Pietsch Domination-type theorem around a given point ${(a_{1},\ldots,a_{n})\in X_{1}\times\cdots\times X_{n}}$ . As a consequence of our approach a notion of weighted summability arises naturally, which may be an interesting topic for further investigation.     

Frames and Finite-Rank Integral Representations of Positive Operator-Valued Measures

Discrete and continuous frames can be considered as positive operator-valued measures (POVMs) that have integral representations using rank-one operators. However, not every POVM has an integral representation. One goal of this paper is to examine the POVMs that have finite-rank integral representations. More precisely, we present a necessary and sufficient condition under which a positive operator-valued measure \(F: \varOmega \to B(H)\) has an integral representation of the form

$$ F(E) =\sum_{k=1}^{m} \int _{E} G_{k}(\omega )\otimes G_{k}(\omega )\, d \mu (\omega ) $$

for some weakly measurable maps \(G_{k}\ (1\leq k\leq m) \) from a measurable space \(\varOmega \) to a Hilbert space ℋ and some positive measure \(\mu \) on \(\varOmega \). Similar characterizations are also obtained for projection-valued measures. As special consequences of our characterization we settle negatively a problem of Ehler and Okoudjou about probability frame representations of probability POVMs, and prove that an integral representable probability POVM can be dilated to a integral representable projection-valued measure if and only if the corresponding measure is purely atomic.

     

Existence,Nonexistence and Multiplicity Results of a Chern-Simons-Schrödinger System

We study the existence, nonexistence and multiplicity of solutions to Chern-Simons-Schrödinger system

$$\begin{aligned} \left \{ \textstyle\begin{array}{l@{\quad }l} -\Delta u+u+\lambda (\frac{h^{2}(|x|)}{|x|^{2}}+\int _{|x|}^{+ \infty }\frac{h(s)}{s}u^{2}(s)ds )u=|u|^{p-2}u,\quad x\in \mathbb{R}^{2}, \\ u\in H^{1}_{r}(\mathbb{R}^{2}), \end{array}\displaystyle \right . \end{aligned}$$

where \(\lambda >0\) is a parameter, \(p\in (2,4)\) and

$$ h(s)=\frac{1}{2} \int _{0}^{s}ru^{2}(r)dr. $$

We prove that the system has no solutions for \(\lambda \) large and has two radial solutions for \(\lambda \) small by studying the decomposition of the Nehari manifold and adapting the fibering method. We also give the qualitative properties about the energy of the solutions and a variational characterization of these extremals values of \(\lambda \). Our results improve some results in Pomponio and Ruiz (J. Eur. Math. Soc. 17:1463–1486, 2015).

     

Decay Estimates for Solutions of Porous Medium Equations with Advection

In this paper, we show that bounded weak solutions of the Cauchy problem for general degenerate parabolic equations of the form

$$ u_{t} + \operatorname{div}f(x,t,u) = \operatorname{div}\bigl( |u|^{\alpha } \nabla u\bigr), \quad x \in \mathbb{R}^{n} , \ t > 0, $$

where \(\alpha > 0 \) is constant, decrease to zero, under fairly broad conditions on the advection flux \(f\). Besides that, we derive a time decay rate for these solutions.