Fourier analysis of subgroup conjugacy invariant functions on finite groups

Given a finite group $G$ and a subgroup $H\le G$ , we develop a Fourier analysis for $H$ -conjugacy invariant functions on $G$ , without the assumption that $H$ is a multiplicity-free subgroup of $G$ . We also study the Fourier transform for functions in the center of the algebra of $H$ -conjugacy invariant functions on $G$ . We show that a recent calculation of Cesi is indeed a Fourier transform of a function in the center of the algebra of functions on the symmetric group that are conjugacy invariant with respect to a Young subgroup.     

Bent functions embedded into the recursive framework of {\mathbb{Z}} -bent functions

Suppose that n is even. Let ${\mathbb{F}_2}$ denote the two-element field and ${\mathbb{Z}}$ the set of integers. Bent functions can be defined as ± 1-valued functions on ${\mathbb{F}_2^n}$ with ± 1-valued Fourier transform. More generally we call a mapping f on ${\mathbb{F}_2^n}$ a ${\mathbb{Z}}$ -bent function if both f and its Fourier transform ${\widehat{f}}$ are integer-valued. ${\mathbb{Z}}$ -bent functions f are separated into different levels, depending on the size of the maximal absolute value attained by f and ${\widehat{f}}$ . It is shown how ${\mathbb{Z}}$ -bent functions of lower level can be built up recursively by gluing together ${\mathbb{Z}}$ -bent functions of higher level. This recursion comes down at level zero, containing the usual bent functions. In the present paper we start to study bent functions in the framework of ${\mathbb{Z}}$ -bent functions and give some guidelines for further research.     

Some Integral Representations and Singular Integral over Plane in Clifford Analysis

In this paper, Cauchy type integral and singular integral over hyper-complex plane \({\prod}\) are considered. By using a special Möbius transform, an equivalent relation between \({\widehat{H}^\mu}\) class functions over \({\prod}\) and \({H^\mu}\) class functions over the unit sphere is shown. For \({\widehat{H}^\mu}\) class functions over \({\prod}\) , we prove the existence of Cauchy type integral and singular integral over \({\prod}\) . Cauchy integral formulas as well as Poisson integral formulas for monogenic functions in upper-half and lower-half space are given respectively. By using Möbius transform again, the relation between the Cauchy type integrals and the singular integrals over \({\prod}\) and unit sphere is built.     

The k-error linear complexity distribution for 2^n-periodic binary sequences

The linear complexity and the \(k\) -error linear complexity of a sequence have been used as important security measures for key stream sequence strength in linear feedback shift register design. By using the sieve method of combinatorics, we investigate the \(k\) -error linear complexity distribution of \(2^n\) -periodic binary sequences in this paper based on Games–Chan algorithm. First, for \(k=2,3\) , the complete counting functions for the \(k\) -error linear complexity of \(2^n\) -periodic binary sequences (with linear complexity less than \(2^n\) ) are characterized. Second, for \(k=3,4\) , the complete counting functions for the \(k\) -error linear complexity of \(2^n\) -periodic binary sequences with linear complexity \(2^n\) are presented. Third, as a consequence of these results, the counting functions for the number of \(2^n\) -periodic binary sequences with the \(k\) -error linear complexity for \(k = 2\) and \(3\) are obtained.     

Admissible closures of polynomial time computable arithmetic

We propose two admissible closures ${\mathbb{A}({\sf PTCA})}$ and ${\mathbb{A}({\sf PHCA})}$ of Ferreira??s system PTCA of polynomial time computable arithmetic and of full bounded arithmetic (or polynomial hierarchy computable arithmetic) PHCA. The main results obtained are: (i) ${\mathbb{A}({\sf PTCA})}$ is conservative over PTCA with respect to ${\forall\exists\Sigma^b_1}$ sentences, and (ii) ${\mathbb{A}({\sf PHCA})}$ is conservative over full bounded arithmetic PHCA for ${\forall\exists\Sigma^b_{\infty}}$ sentences. This yields that (i) the ${\Sigma^b_1}$ definable functions of ${\mathbb{A}({\sf PTCA})}$ are the polytime functions, and (ii) the ${\Sigma^b_{\infty}}$ definable functions of ${\mathbb{A}({\sf PHCA})}$ are the functions in the polynomial time hierarchy.     

Hankel Operators on Holomorphic Hardy–Orlicz Spaces

We characterize the symbols of Hankel operators that extend into bounded operators from the Hardy–Orlicz ${\mathcal H^{\Phi_1}(\mathbb B^n)}$ into ${\mathcal H^{\Phi_2}(\mathbb B^n)}$ in the unit ball of ${\mathbb C^n}$ , in the case where the growth functions ${\Phi_1}$ and ${\Phi_2}$ are either concave or convex. The case where the growth functions are both concave has been studied by Bonami and Sehba. We also obtain several weak factorization theorems for functions in ${\mathcal H^{\Phi}(\mathbb B^n)}$ , with concave growth function, in terms of products of Hardy–Orlicz functions with convex growth functions.     

Two-Point Distortion for Nehari Functions

Let $\mathcal N (t)$ , $t\ge 0$ , be the Nehari class of locally injective holomorphic functions on the unit disk $\mathbb D $ that satisfy $$\begin{aligned} \sup _{z\in \mathbb D }\big (1-|z|^2\big )^2|S_f(z)| \le 2t, \end{aligned}$$ where $S_f = f^{\prime \prime \prime }/f^{\prime } - (3/2)\big (f^{\prime \prime }/f^{\prime }\big )^2$ is the Schwarzian derivative of $f$ . Sharp two-point upper and lower distortion theorems for these functions were recently established by Chuaqui, Duren, Ma, Mejia, Minda and Osgood. A classical result of Krauss shows that all univalent functions on $\mathbb D $ lie in $\mathcal N (3)$ . There are two different two-point upper distortion theorems for univalent functions due to Jenkins, Ma and Minda, and Kraus and Roth. Two similar two-point upper distortion theorems hold for $\mathcal N (t)$ . These two-point upper distortion theorems for $\mathcal N (3)$ are the known two-point upper distortion theorems for univalent functions, so the latter are actually valid for the larger class $\mathcal N (3)$ . Two-point distortion theorems for $\mathcal N (t)$ imply local uniform control in the hyperbolic sense on absolute cross-ratio distortion for functions in $\mathcal N (t)$ .     

Frequent Hypercyclicity of Random Entire Functions for the Differentiation Operator

We study the random entire functions defined as power series \(f(z) = \sum _{n=0}^\infty (X_n/n!) z^n\) with independent and identically distributed coefficients \((X_n)\) and show that, under very weak assumptions, they are frequently hypercyclic for the differentiation operator \(D: H({\mathbb {C}}) \rightarrow H({\mathbb {C}}),\,f \mapsto Df = f'\) . This gives a very simple probabilistic construction of \(D\) -frequently hypercyclic functions in \(H({\mathbb {C}})\) . Moreover we show that, under more restrictive assumptions on the distribution of the \((X_n)\) , these random entire functions have a growth rate that differs from the slowest growth rate possible for \(D\) -frequently hypercyclic entire functions at most by a factor of a power of a logarithm.     

Bent functions on partial spreads

For an arbitrary prime \(p\) we use partial spreads of \(\mathbb{F }_p^{2m}\) to construct two classes of bent functions from \(\mathbb{F }_p^{2m}\) to \(\mathbb{F }_p\) . Our constructions generalize the classes \(PS^{(-)}\) and \(PS^{(+)}\) of binary bent functions which are due to Dillon.     

Absence of wandering domains for some real entire functions with bounded singular sets

Let $f$ be a real entire function whose set $S(f)$ of singular values is real and bounded. We show that, if $f$ satisfies a certain function-theoretic condition (the “sector condition”), then $f$ has no wandering domains. Our result includes all maps of the form $z\mapsto \lambda \frac{\sinh (z)}{z} + a$ with $\lambda >0$ and $a\in \mathbb{R }$ . We also show the absence of wandering domains for certain non-real entire functions for which $S(f)$ is bounded and $f^n|_{S(f)}\rightarrow \infty $ uniformly. As a special case of our theorem, we give a short, elementary and non-technical proof that the Julia set of the exponential map $f(z)=e^z$ is the entire complex plane. Furthermore, we apply similar methods to extend a result of Bergweiler, concerning Baker domains of entire functions and their relation to the postsingular set, to the case of meromorphic functions.     

More differentially 6-uniform power functions

In this paper, we study the differential spectra of differentially 6-uniform functions among the family of monomials \(\big \{x\mapsto x^{2^t-1},\; 1<t<n\big \}\) defined in \(\mathbb {F}_{2^{n}}\) . We show that the functions \(x\mapsto x^{2^t-1}\) when \(t=\frac{n-1}{2},\; \frac{n+3}{2}\) with odd \(n\) have a differential spectrum similar to the one of the function \(x\mapsto x^7\) which belongs to the same family. We also study the functions \(x\mapsto x^{2^t-1}\) when \(t=\frac{kn+1}{3},\frac{(3-k)n+2}{3}\) with \(kn\equiv 2\,\mathrm{mod}\,3\) which are known to be differentially 6-uniform and show that their complete differential spectrum can be provided under an assumption related to a new formulation of the Kloosterman sum. To provide the differential spectra for these functions, a recent result of Helleseth and Kholosha regarding the number of roots of polynomials of the form \(x^{2^t+1}+x+a\) is widely used in this paper. A discussion regarding the non-linearity and the algebraic degree of the vectorial functions \(x\mapsto x^{2^t-1}\) is also proposed.     

Covering functions by countably many functions from some families

Let $ \mathcal{A} $ be a nonempty family of functions from $ \mathbb{R} $ to $ \mathbb{R} $ . A function $ f:\mathbb{R}\to \mathbb{R} $ is said to be strongly countably $ \mathcal{A} $ -function if there is a sequence (f _n ) of functions from $ \mathcal{A} $ such that $ \mathrm{Gr}(f)\subset {\cup_n}\mathrm{Gr}\left( {{f_n}} \right) $ (Gr(f) denotes the graph of f). If $ \mathcal{A} $ is the family of all continuous functions, the strongly countable $ \mathcal{A} $ -functions are called strongly countably continuous and were investigated in [Z. Grande and A. Fatz-Grupka, On countably continuous functions, Tatra Mt. Math. Publ., 28:57–63, 2004], [G. Horbaczewska, On strongly countably continuous functions, Tatra Mt. Math. Publ., 42:81–86, 2009], and [T.A. Natkaniec, On additive countably continuous functions, Publ. Math., 79(1–2):1–6, 2011]. In this article, we prove that the families $ \mathcal{A}\left( \mathbb{R} \right) $ of all strongly countably $ \mathcal{A} $ -functions are closed with respect to some operations in dependence of analogous properties of the families $ \mathcal{A} $ , and, in particular, we show some properties of strongly countably differentiable functions, strongly countably approximately continuous functions, and strongly countably quasi-continuous functions.     

Defect Functions of Holomorphic Contractive Operator Functions and the Scattering Suboperator Through the Internal Channels of a System: Part II

Let $\theta (\zeta )$ be a Schur operator function, i.e., it is defined on the unit disk ${\mathbb D}\,{:=}\,\{\zeta \in {\mathbb C}: |\zeta | < 1\}$ and its values are contractive operators acting from one Hilbert space into another one. In the first part of the paper the outer and $*$ -outer Schur operator functions $\varphi (\zeta )$ and $\psi (\zeta )$ which describe respectively the deviations of the function $\theta (\zeta )$ from inner and $*$ -inner operator functions are studied. If $\varphi (\zeta )\ne 0$ , then it means that in the scattering system for which $\theta (\zeta )$ is the transfer function a portion of “information” comes inward the system and does not go outward, i.e., it is left in the internal channels of the system ([11, Sect. 6]). The function $\psi (\zeta )$ has the analogous property. For this reason these functions are called defect ones of the function $\theta (\zeta )$ . The explicit form of the defect functions $\varphi (\zeta )$ and $\psi (\zeta )$ is obtained and the analytic connection of these functions with the function $\theta (\zeta )$ is described ([11, Sect. 3 and Sect. 5]). The operator functions $\left( \begin{matrix} \varphi (\zeta ) \\ \theta (\zeta ) \end{matrix}\right) $ and $(\psi (\zeta ), \theta (\zeta ))$ are Schur functions as well ([11, Sect. 3]). It is important that there exists the unique contractive operator function $\chi (t),t\in \partial {\mathbb D}$ , such that the operator function $\left( \begin{matrix} \chi (t) &{} \varphi (t) \\ \psi (t) &{} \theta (t) \end{matrix}\right) ,t\in \partial {\mathbb D},$ is also contractive (Sect. 6). The second part of the paper is devoted to introducing and studying the properties of the function $\chi (t)$ . Specifically, it is shown that the function $\chi (t)$ is the scattering suboperator through the internal channels of the scattering system for which $\theta (\zeta )$ is the transfer function (Sect. 6).     

The number of non-isomorphic models in quasi-varieties of semigroups

Define \( n_K (\lambda )\) tobe eitherω, or the number of non-isomorphic algebras in \(K\) ] having cardinality λ, whichever cardinal is larger. It is proved here that if \(K\) ] is a quasi-variety (universal Horn class) of semigroups, then \(n_K\) is one of four functions. Each of these functions satisfies: \(n_K (\omega ) = \omega\) or \(n_K (\omega ) = 2^\omega\) . If \(n_K (\lambda )< 2^\lambda\) for some infinite λ then \(K\) ] is a residually finitevariety.     

Spherical functions associated with the three-dimensional sphere

In this paper, we determine all irreducible spherical functions \(\Phi \) of any \(K \) -type associated with the pair \((G,K)=(\mathrm{SO }(4),\mathrm{SO }(3))\) . This is accomplished by associating with \(\Phi \) a vector-valued function \(H=H(u)\) of a real variable \(u\) , which is analytic at \(u=0\) and whose components are solutions of two coupled systems of ordinary differential equations. By an appropriate conjugation involving Hahn polynomials, we uncouple one of the systems. Then, this is taken to an uncoupled system of hypergeometric equations, leading to a vector-valued solution \(P=P(u)\) , whose entries are Gegenbauer’s polynomials. Afterward, we identify those simultaneous solutions and use the representation theory of \(\mathrm{SO }(4)\) to characterize all irreducible spherical functions. The functions \(P=P(u)\) corresponding to the irreducible spherical functions of a fixed \(K\) -type \(\pi _\ell \) are appropriately packaged into a sequence of matrix-valued polynomials \((P_w)_{w\ge 0}\) of size \((\ell +1)\times (\ell +1)\) . Finally, we prove that \(\widetilde{P}_w={P_0}^{-1}P_w\) is a sequence of matrix orthogonal polynomials with respect to a weight matrix \(W\) . Moreover, we show that \(W\) admits a second-order symmetric hypergeometric operator \(\widetilde{D}\) and a first-order symmetric differential operator \(\widetilde{E}\) .     

Regions of Values for the Systems \{ f(z_0 ),f'(z_0 ),c_2 \} and \{ f(r),f'(r),f(z_0 )\} in the Class of Typically Real Functions

Let T be the class of functions $f(z)$ having the following properties: these functions are regular and typically real in the disk $\left| z \right| < 1$ and have the expansions $f(z) = z + c_2 z^2 + c_3 z^3 + ....$ . We give algebraic and geometric characterizations of regions of values for the functionals in the class T mentioned in the title. In the same class of functions, we find regions of values for $f'(z_0 )$ with fixed $c_2$ and $f(z_0 )$ and for $f(z_0 )$ with fixed $f(r)$ and $f'(r)$ . Bibliography: 8 titles.     

The Fourier transform of multiradial functions

We obtain an exact formula for the Fourier transform of multiradial functions, i.e., functions of the form \(\varPhi (x)=\phi (|x_1|, \dots , |x_m|), x_i\in \mathbf R^{n_i}\) , in terms of the Fourier transform of the function \(\phi \) on \(\mathbf R^{r_1}\times \cdots \times \mathbf R^{r_m}\) , where \(r_i\) is either \(1\) or \(2\) .     

Linear Transformations and Reduction Formulas for the Gelfand Hypergeometric Functions Associated with the Grassmannians $$G_{2,4} $$ and $$G_{3,6} $$

We show that the Gelfand hypergeometric functions associated with the Grassmannians $G_{2,4} $ and $G_{3,6} $ with some special relations imposed on the parameters can be represented in terms of hypergeometric series of a simpler form. In particular, a function associated with the Grassmannian $G_{2,4} $ (the case of three variables) can be represented (depending on the form of the additional conditions on the parameters of the series) in terms of the Horn series $H_2 ,G_2 $ , of the Appell functions $F_1 ,F_2 ,F_3 $ and of the Gauss functions $F_1^2 $ , while the functions associated with the Grassmannian $G_{3,6} $ (the case of four variables) can be represented in terms of the series $G_2 ,F_1 ,F_2 ,F_3 $ and $F_1^2 $ . The relation between certain formulas and the Gelfand--Graev--Retakh reduction formula is discussed. Combined linear transformations and universal elementary reduction rules underlying the method were implemented by a computer program developed by the authors on the basis of the computer algebra system Maple V-4.     

Weyl modules and q-Whittaker functions

Let $G$ be a semi-simple simply connected group over $\mathbb {C}$ . Following Gerasimov et al. (Comm Math Phys 294:97–119, 2010) we use the $q$ -Toda integrable system obtained by quantum group version of the Kostant–Whittaker reduction (cf. Etingof in Am Math Soc Trans Ser 2:9–25, 1999, Sevostyanov in Commun Math Phys 204:1–16, 1999) to define the notion of $q$ -Whittaker functions $\varPsi _{\check{\lambda }}(q,z)$ . This is a family of invariant polynomials on the maximal torus $T\subset G$ (here $z\in T$ ) depending on a dominant weight $\check{\lambda }$ of $G$ whose coefficients are rational functions in a variable $q\in \mathbb {C}^*$ . For a conjecturally the same (but a priori different) definition of the $q$ -Toda system these functions were studied by Ion (Duke Math J 116:1–16, 2003) and by Cherednik (Int Math Res Notices 20:3793–3842, 2009) [we shall denote the $q$ -Whittaker functions from Cherednik (Int Math Res Notices 20:3793–3842, 2009) by $\varPsi '_{\check{\lambda }}(q,z)$ ]. For $G=SL(N)$ these functions were extensively studied in Gerasimov et al. (Comm Math Phys 294:97–119, 2010; Comm Math Phys 294:121–143, 2010; Lett Math Phys 97:1–24, 2011). We show that when $G$ is simply laced, the function $\hat{\varPsi }_{\check{\lambda }}(q,z)=\varPsi _{\check{\lambda }}(q,z)\cdot {\prod \nolimits _{i\in I}\prod \nolimits _{r=1}^{\langle \alpha _i,\check{\uplambda }\rangle }(1-q^r)}$ (here $I$ denotes the set of vertices of the Dynkin diagram of $G$ ) is equal to the character of a certain finite-dimensional $G[[{\mathsf {t}}]]\rtimes \mathbb {C}^*$ -module $D(\check{\lambda })$ (the Demazure module). When $G$ is not simply laced a twisted version of the above statement holds. This result is known for $\varPsi _{\check{\lambda }}$ replaced by $\varPsi '_{\check{\lambda }}$ (cf. Sanderson in J Algebraic Combin 11:269–275, 2000 and Ion in Duke Math J 116:1–16, 2003); however our proofs are algebro-geometric [and rely on our previous work (Braverman, Finkelberg in Semi-infinite Schubert varieties and quantum $K$ -theory of flag manifolds, arXiv/1111.2266, 2011)] and thus they are completely different from Sanderson (J Algebraic Combin 11:269–275, 2000) and Ion (Duke Math J 116:1–16, 2003) [in particular, we give an apparently new algebro-geometric interpretation of the modules $D(\check{\lambda })]$ .