Families of conditionally approximately convex functions

Let \((G,+)\) be an Abelian topological group, which is also a \(T_{0}\)-space and a Baire space simultaneously, D be an open connected subset of G and \(\alpha : D-D \rightarrow {\mathbb R}\) be a function continuous at zero and such that \(\alpha (0)=0\). We show that if \((f_n)\) is a sequence of continuous functions \(f_n : D \rightarrow {\mathbb R}\) such that \(f_n(z) \le \frac{1}{2} f_n(x)+\frac{1}{2}f(y)+\alpha (x-y)\) for \(n\in {\mathbb N}\) and \(x,y,z\in D\) such that \(2z=x+y\) and if \((f_n)\) is pointwise convergent [bounded] then it is convergent uniformly on compact subsets of D [in the case when G is additionally a separable space, it contains a subsequence which is convergent on compact subsets of D].     

The kernel of the second order Cauchy difference on semigroups

Let S be a semigroup, H a 2-torsion free, abelian group and \(C^2f\) the second order Cauchy difference of a function \(f:S \rightarrow H\). Assuming that H is uniquely 2-divisible or S is generated by its squares we prove that the solutions f of \(C^2f = 0\) are the functions of the form \(f(x) = j(x) + B(x,x)\), where j is a solution of the symmetrized additive Cauchy equation and B is bi-additive. Under certain conditions we prove that the terms j and B are continuous, if f is. We relate the solutions f of \(C^2f = 0\) to Fréchet’s functional equation and to polynomials of degree less than or equal to 2.     

A group of continuous self-maps on a topological groupoid

The group of bisections of groupoids plays an important role in the study of Lie groupoids. In this paper another construction is introduced. Indeed, for a topological groupoid G, the set of all continuous self-maps f on G such that (x, f(x)) is a composable pair for every \(x\in G\), is denoted by \(S_G\). We show that \(S_G\) by a natural binary operation is a monoid. \(S_G(\alpha )\), the group of units in \(S_G\) precisely consists of those \(f\in S_G\) such that the map \(x\mapsto xf(x)\) is a bijection on G. Similar to the group of bisections, \(S_G(\alpha )\) acts on G from the right and on the space of continuous self-maps on G from the left. It is proved that \(S_G(\alpha )\) with the compact- open topology inherited from C(G, G) is a left topological group. For a compact Hausdorff groupoid G it is proved that the group of bisections of \(G^2\) is isomorphic to the group \(S_G(\alpha )\) and the group of transitive bisections of G, \(Bis_T(G)\), is embedded in \(S_G(\alpha )\), where \(G^2\) is the groupoid of all composable pairs.     

Minimal number of periodic points of smooth boundary-preserving self-maps of simply-connected manifolds

Let M be a smooth compact and simply-connected manifold with simply-connected boundary \(\partial M\), r be a fixed odd natural number. We consider f, a \(C^1\) self-map of M, preserving \(\partial M\). Under the assumption that the dimension of M is at least 4, we define an invariant \(D_r(f;M,\partial M)\) that is equal to the minimal number of r-periodic points for all maps preserving \(\partial M\) and \(C^1\)-homotopic to f. As an application, we give necessary and sufficient conditions for a reduction of a set of r-periodic points to one point in the \(C^1\)-homotopy class.     

The Bernstein-Szegö inequality for fractional derivatives of trigonometric polynomials

On the set F _n of trigonometric polynomials of degree n ≥ 1 with complex coefficients, we consider the Szegö operator \(D_\theta ^\alpha \) defined by the relation \(D_\theta ^\alpha f_n (t) = \cos \theta D^\alpha f_n (t) - \sin \theta D^\alpha \tilde f_n (t)\) for α, θ ∈ ?, where α ≥ 0. Here, \(D^\alpha f_n \) and \(D^\alpha \tilde f_n \) are the Weyl fractional derivatives of (real) order α of the polynomial f _n and of its conjugate \(\tilde f_n \). In particular, we prove that, if α ≥ n ln 2n, then, for any θ ∈ ?, the sharp inequality \(\left\| {\cos \theta D^\alpha f_n - \sin \theta D^\alpha f_n } \right\|_{L_p } \leqslant n^\alpha \left\| {f_n } \right\|_{L_p } \) holds on the set F _n in the spaces L _p for all p ≥ 0. For classical derivatives (of integer order α ≥ 1), this inequality was obtained by Szegö in the uniform norm (p = ∞) in 1928 and by Zygmund for 1 ≤ p < ∞ in 1931–1935. For fractional derivatives of (real) order α ≥ 1 and 1 ≤ p ≤ ∞, the inequality was proved by Kozko in 1998.     

Algebraic conditions for additive functions over the reals and over finite fields

Let C be an affine plane curve. We consider additive functions \(f{:}\; K\rightarrow K\) for which \(f(x)f(y)=0\), whenever \((x,y)\in C\). We show that if \(K=\mathbb {R}\) and C is the hyperbola with defining equation \(xy=1\), then there exist nonzero additive functions with this property. Moreover, we show that such a nonzero f exists for a field K if and only if K is transcendental over \(\mathbb Q\) or over \(\mathbb {F}_p\), the finite field with p elements. We also consider the general question when K is a finite field. We show that if the degree of the curve C is large enough compared to the characteristic of K, then f must be identically zero.     

On the gaps between non-zero Fourier coefficients of cusp forms of higher weight

We show that if a modular cuspidal eigenform f of weight 2k is 2-adically close to an elliptic curve \(E/\mathbb {Q}\), which has a cyclic rational 4-isogeny, then n-th Fourier coefficient of f is non-zero in the short interval \((X, X + cX^{\frac{1}{4}})\) for all \(X \gg 0\) and for some \(c > 0\). We use this fact to produce non-CM cuspidal eigenforms f of level \(N>1\) and weight \(k > 2\) such that \(i_f(n) \ll n^{\frac{1}{4}}\) for all \(n \gg 0\).     

Complete mappings and Carlitz rank

The well-known Chowla and Zassenhaus conjecture, proven by Cohen in 1990, states that for any \(d\ge 2\) and any prime \(p>(d^2-3d+4)^2\) there is no complete mapping polynomial in \(\mathbb {F}_p[x]\) of degree d. For arbitrary finite fields \(\mathbb {F}_q\), we give a similar result in terms of the Carlitz rank of a permutation polynomial rather than its degree. We prove that if \(n<\lfloor q/2\rfloor \), then there is no complete mapping in \(\mathbb {F}_q[x]\) of Carlitz rank n of small linearity. We also determine how far permutation polynomials f of Carlitz rank \(n<\lfloor q/2\rfloor \) are from being complete, by studying value sets of \(f+x.\) We provide examples of complete mappings if \(n=\lfloor q/2\rfloor \), which shows that the above bound cannot be improved in general.     

<Emphasis Type="Italic">b</Emphasis>-Generalized Skew Derivations on Lie Ideals

Let R be a non-commutative prime ring, Z(R) its center, Q its right Martindale quotient ring, C its extended centroid, \(F\ne 0\) an b-generalized skew derivation of R, L a non-central Lie ideal of R, \(0\ne a\in R\) and \(n\ge 1\) a fixed integer. In this paper, we prove the following two results:

1. 1.
   If R has characteristic different from 2 and 3 and \(a[F(x),x]^n=0\), for all \(x\in L\), then either there exists an element \(\lambda \in C\), such that \(F(x)=\lambda x\), for all \(x\in R\) or R satisfies \(s_4(x_1,\ldots ,x_4)\), the standard identity of degree 4, and there exist \(\lambda \in C\) and \(b\in Q\), such that \(F(x)=bx+xb+\lambda x\), for all \(x\in R\).
    
2. 2.
   If \(\mathrm{{char}}(R)=0\) or \(\mathrm{{char}}(R) > n\) and \(a[F(x),x]^n\in Z(R)\), for all \(x\in R\), then either there exists an element \(\lambda \in C\), such that \(F(x)=\lambda x\), for all \(x\in R\) or R satisfies \(s_4(x_1,\ldots ,x_4)\).
    

     

The non-abelian tensor square of residually finite groups

Let m, n be positive integers and p a prime. We denote by \(\nu (G)\) an extension of the non-abelian tensor square \(G \otimes G\) by \(G \times G\). We prove that if G is a residually finite group satisfying some non-trivial identity \(f \equiv ~1\) and for every \(x,y \in G\) there exists a p-power \(q=q(x,y)\) such that \([x,y^{\varphi }]^q = 1\), then the derived subgroup \(\nu (G)'\) is locally finite (Theorem A). Moreover, we show that if G is a residually finite group in which for every \(x,y \in G\) there exists a p-power \(q=q(x,y)\) dividing \(p^m\) such that \([x,y^{\varphi }]^q\) is left n-Engel, then the non-abelian tensor square \(G \otimes G\) is locally virtually nilpotent (Theorem B).     

Generalizations of Marriage Theorem for Degree Factors

Let G be a bipartite graph with bipartition (A, B). We give new criteria for a bipartite graph to have an f -factor, a (g, f)-factor and other factors together with some applications of these criteria. These criteria can be considered as direct generalizations of Hall’s marriage theorem. Among some results, we prove that for a function \(h: A\cup B \rightarrow \{0,1,2, \ldots \}\), G has a factor F such that \(\deg _F(x)=h(x)\) for \(x\in A\) and \(\deg _H(y) \le h(y)\) for \(y\in B\) if and only if \(h(X) \le \sum _{x\in N_G(X)}\min \{h(x), e_G(x,X)\}\) for all \(X\subseteq A\).     

Derivations Vanishing Identities Involving Generalized Derivations and Multilinear Polynomial in Prime Rings

Let R be a prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, \(f(x_1,\ldots ,x_n)\) be a multilinear polynomial over C, which is not central valued on R. Suppose that d is a non-zero derivation of R, F and G are two generalized derivations of R such that \(d\{F(u)u-uG^2(u)\}=0\) for all \(u\in f(R)\). Then one of the following holds:

1. (i)
   there exist \(a, b, p\in U\), \(\lambda \in C\) such that \(F(x)=\lambda x+bx+xa^2\), \(G(x)=ax\), \(d(x)=[p, x]\) for all \(x\in R\) with \([p, b]=0\) and \(f(x_1,\ldots , x_n)^2\) is central valued on R;
    
2. (ii)
   there exist \(a, b, p\in U\) such that \(F(x)=ax\), \(G(x)=xb\), \(d(x)=[p,x]\) for all \(x\in R\) and \(f(x_1,\ldots , x_n)^2\) is central valued on R with \([p, a-b^2]=0\);
    
3. (iii)
   there exist \(a\in U\) such that \(F(x)=xa^2\) and \(G(x)=ax\) for all \(x\in R\);
    
4. (iv)
   there exists \(a\in U\) such that \(F(x)=a^2x\) and \(G(x)=xa\) for all \(x\in R\) with \(a^2\in C\);
    
5. (v)
   there exist \(a, p\in U\), \(\lambda , \alpha , \mu \in C\) such that \(F(x)=\lambda x-a^2x\), \(G(x)=xa\) and \(d(x)=[p,x]\) for all \(x\in R\) with \(a^2=\mu -\alpha p\) and \(\alpha p^2+(\lambda -2\mu ) p\in C\);
    
6. (vi)
   there exist \(a\in U\), \(\lambda \in C\) such that R satisfies \(s_4\) and either \(F(x)=\lambda x+xa^2\), \(G(x)=ax\) or \(F(x)=\lambda x-a^2x\), \(G(x)=xa\) for all \(x\in R\).
    

     

Coloring Complete and Complete Bipartite Graphs from Random Lists

Assign to each vertex v of the complete graph \(K_n\) on n vertices a list L(v) of colors by choosing each list independently and uniformly at random from all f(n)-subsets of a color set \([n] = \{1,\dots , n\}\), where f(n) is some integer-valued function of n. Such a list assignment L is called a random (f(n), [n])-list assignment. In this paper, we determine the asymptotic probability (as \(n \rightarrow \infty \)) of the existence of a proper coloring \(\varphi \) of \(K_n\), such that \(\varphi (v) \in L(v)\) for every vertex v of \(K_n\). We show that this property exhibits a sharp threshold at \(f(n) = \log n\). Additionally, we consider the corresponding problem for the line graph of a complete bipartite graph \(K_{m,n}\) with parts of size m and n, respectively. We show that if \(m = o(\sqrt{n})\), \(f(n) \ge 2 \log n\), and L is a random (f(n), [n])-list assignment for the line graph of \(K_{m,n}\), then with probability tending to 1, as \(n \rightarrow \infty \), there is a proper coloring of the line graph of \(K_{m,n}\) with colors from the lists.     

Subgroups of cyclic groups and values of the Riemann zeta function

Let k be a positive integer, x a large real number, and let \(C_n\) be the cyclic group of order n. For \(k\le n\le x\) we determine the mean average order of the subgroups of \(C_n\) generated by k distinct elements and we give asymptotic results of related averaging functions of the orders of subgroups of cyclic groups. The average order is expressed in terms of Jordan’s totient functions and Stirling numbers of the second kind. We have the following consequence. Let k and x be as above. For \(k\le n\le x\), the mean average proportion of \(C_n\) generated by k distinct elements approaches \(\zeta (k+2)/\zeta (k+1)\) as x grows, where \(\zeta (s)\) is the Riemann zeta function.     

Polynomially linked additive functions—II

We continue the study of additive functions \(f_k:R\rightarrow F \;(1\le k\le n)\) linked by an equation of the form \(\sum _{k=1}^n p_k(x)f_k(q_k(x))=0\), where the \(p_k\) and \(q_k\) are polynomials, R is an integral domain of characteristic 0, and F is the fraction field of R. A method is presented for solving all such equations. We also consider the special case \(\sum _{k=1}^n x^{m_k}f_k(x^{j_k})=0\) in which the \(p_k\) and \(q_k\) are monomials. In this case we show that if there is no duplication, i.e. if \((m_k,j_k)\ne (m_p,j_p)\) for \(k\ne p\), then each \(f_k\) is the sum of a linear function and a derivation of order at most \(n-1\). Furthermore, if this functional equation is not homogeneous then the maximal orders of the derivations are reduced in a specified way.     

Explicit factorizations of cyclotomic polynomials over finite fields

Let q be a prime power and let \({\mathbb {F}}_q\) be a finite field with q elements. This paper discusses the explicit factorizations of cyclotomic polynomials over \(\mathbb {F}_q\). Previously, it has been shown that to obtain the factorizations of the \(2^{n}r\)th cyclotomic polynomials, one only need to solve the factorizations of a finite number of cyclotomic polynomials. This paper shows that with an additional condition that \(q\equiv 1 \pmod p\), the result can be generalized to the \(p^{n}r\)th cyclotomic polynomials, where p is an arbitrary odd prime. Applying this result we discuss the factorization of cyclotomic polynomials over finite fields. As examples we give the explicit factorizations of the \(3^{n}\)th, \(3^{n}5\)th and \(3^{n}7\)th cyclotomic polynomials.     

Skew <Emphasis Type="Italic">n</Emphasis>-derivation on prime and semi prime rings

Let \(n \ge 2\) be a fixed integer, R be a noncommutative n!-torsion free ring and I be any non zero ideal of R. In this paper we have proved the following results; (i) If R is a prime ring and there exists a symmetric skew n-derivation \(D: R^n \rightarrow R\) associated with the automorphism \(\sigma \) on R,  such that the trace function \(\delta : R \rightarrow R \) of D satisfies \([\delta (x), \sigma (x)] =0\), for all \(x\in I,\) then \(D=0;\,\)(ii) If R is a semi prime ring and the trace function \(\delta ,\) commuting on I,  satisfies \([\delta (x), \sigma (x)]\in Z\), for all \(x \in I,\) then \([\delta (x), \sigma (x)] = 0 \), for all \(x \in I.\) Moreover, we have proved some annihilating conditions for algebraic identity involving multiplicative(generalized) derivation.     

Diagonalization of the Finite Hilbert Transform on Two Adjacent Intervals

We continue the study of stability of solving the interior problem of tomography. The starting point is the Gelfand–Graev formula, which converts the tomographic data into the finite Hilbert transform (FHT) of an unknown function f along a collection of lines. Pick one such line, call it the x-axis, and assume that the function to be reconstructed depends on a one-dimensional argument by restricting f to the x-axis. Let \(I_1\) be the interval where f is supported, and \(I_2\) be the interval where the Hilbert transform of f can be computed using the Gelfand–Graev formula. The equation to be solved is \(\left. {\mathcal {H}}_1 f=g\right| _{I_2}\), where \({\mathcal {H}}_1\) is the FHT that integrates over \(I_1\) and gives the result on \(I_2\), i.e. \({\mathcal {H}}_1: L^2(I_1)\rightarrow L^2(I_2)\). In the case of complete data, \(I_1\subset I_2\), and the classical FHT inversion formula reconstructs f in a stable fashion. In the case of interior problem (i.e., when the tomographic data are truncated), \(I_1\) is no longer a subset of \(I_2\), and the inversion problems becomes severely unstable. By using a differential operator L that commutes with \({\mathcal {H}}_1\), one can obtain the singular value decomposition of \({\mathcal {H}}_1\). Then the rate of decay of singular values of \({\mathcal {H}}_1\) is the measure of instability of finding f. Depending on the available tomographic data, different relative positions of the intervals \(I_{1,2}\) are possible. The cases when \(I_1\) and \(I_2\) are at a positive distance from each other or when they overlap have been investigated already. It was shown that in both cases the spectrum of the operator \({\mathcal {H}}_1^*{\mathcal {H}}_1\) is discrete, and the asymptotics of its eigenvalues \(\sigma _n\) as \(n\rightarrow \infty \) has been obtained. In this paper we consider the case when the intervals \(I_1=(a_1,0)\) and \(I_2=(0,a_2)\) are adjacent. Here \(a_1 < 0 < a_2\). Using recent developments in the Titchmarsh–Weyl theory, we show that the operator L corresponding to two touching intervals has only continuous spectrum and obtain two isometric transformations \(U_1\), \(U_2\), such that \(U_2{\mathcal {H}}_1 U_1^*\) is the multiplication operator with the function \(\sigma (\lambda )\), \(\lambda \ge (a_1^2+a_2^2)/8\). Here \(\lambda \) is the spectral parameter. Then we show that \(\sigma (\lambda )\rightarrow 0\) as \(\lambda \rightarrow \infty \) exponentially fast. This implies that the problem of finding f is severely ill-posed. We also obtain the leading asymptotic behavior of the kernels involved in the integral operators \(U_1\), \(U_2\) as \(\lambda \rightarrow \infty \). When the intervals are symmetric, i.e. \(-a_1=a_2\), the operators \(U_1\), \(U_2\) are obtained explicitly in terms of hypergeometric functions.     

On convex iterative roots of non-monotonic mappings

Let I be an interval. We consider the non-monotonic convex self-mappings \(f:I\rightarrow I\) such that \(f^2\) is convex. They have the property that all iterates \(f^n\) are convex. In the class of these mappings we study three families of functions possessing convex iterative roots. A function f is said to be iteratively convex if f possesses convex iterative roots of all orders. A mapping f is said to be dyadically convex if for every \(n\ge 2\) there exists a convex iterative root \(f^{1/2^n}\) of order \(2^n\) and the sequence \(\{f^{1/2^n}\}\) satisfies the condition of compatibility, that is \( f^{1/2^n}\circ f^{1/2^n}= f^{1/2^{n-1}}.\) A function f is said to be flowly convex if it possesses a convex semi-flow of f, that is a family of convex functions \(\{f^t,t>0\}\) such that \(f^t\circ f^s=f^{t+s}, \ \ t,s >0\) and \(f^1=f\). We show the relations among these three types of convexity and we determine all convex iterative roots of non-monotonic functions.     

$$L^{p}$$-Norms a nd Mahler’s Measure of Poly nomials o n the n-Dime nsio nal Torus

We prove Nikol’skii type inequalities that, for polynomials on the n-dimensional torus \(\mathbb {T}^n\), relate the \(L^p\)-norm with the \(L^q\)-norm (with respect to the normalized Lebesgue measure and \(0 <p <q < \infty \)). Among other things, we show that \(C=\sqrt{q/p}\) is the best constant such that \(\Vert P\Vert _{L^q}\le C^{\text {deg}(P)} \Vert P\Vert _{L^p}\) for all homogeneous polynomials P on \(\mathbb {T}^n\). We also prove an exact inequality between the \(L^p\)-norm of a polynomial P on \(\mathbb {T}^n\) and its Mahler measure M(P), which is the geometric mean of |P| with respect to the normalized Lebesgue measure on \(\mathbb {T}^n\). Using extrapolation, we transfer this estimate into a Khintchine–Kahane type inequality, which, for polynomials on \(\mathbb {T}^n\), relates a certain exponential Orlicz norm and Mahler’s measure. Applications are given, including some interpolation estimates.