EKR Sets for Large <Emphasis Type="Italic">n</Emphasis> and <Emphasis Type="Italic">r</Emphasis>

Let \(\mathcal {A}\subset \left( {\begin{array}{c}[n]\\ r\end{array}}\right) \) be a compressed, intersecting family and let \(X\subset [n]\). Let \(\mathcal {A}(X)=\{A\in \mathcal {A}:A\cap X\ne \emptyset \}\) and \(\mathcal {S}_{n,r}=\left( {\begin{array}{c}[n]\\ r\end{array}}\right) (\{1\})\). Motivated by the Erd?s–Ko–Rado theorem, Borg asked for which \(X\subset [2,n]\) do we have \(|\mathcal {A}(X)|\le |\mathcal {S}_{n,r}(X)|\) for all compressed, intersecting families \(\mathcal {A}\)? We call X that satisfy this property EKR. Borg classified EKR sets X such that \(|X|\ge r\). Barber classified X, with \(|X|\le r\), such that X is EKR for sufficiently large n, and asked how large n must be. We prove n is sufficiently large when n grows quadratically in r. In the case where \(\mathcal {A}\) has a maximal element, we sharpen this bound to \(n>\varphi ^{2}r\) implies \(|\mathcal {A}(X)|\le |\mathcal {S}_{n,r}(X)|\). We conclude by giving a generating function that speeds up computation of \(|\mathcal {A}(X)|\) in comparison with the naïve methods.     

Idempotent and <Emphasis Type="Italic">p</Emphasis>-potent quadratic functions: distribution of nonlinearity and co-dimension

The Walsh transform \(\widehat{Q}\) of a quadratic function \(Q:{\mathbb F}_{p^n}\rightarrow {\mathbb F}_p\) satisfies \(|\widehat{Q}(b)| \in \{0,p^{\frac{n+s}{2}}\}\) for all \(b\in {\mathbb F}_{p^n}\), where \(0\le s\le n-1\) is an integer depending on Q. In this article, we study the following three classes of quadratic functions of wide interest. The class \(\mathcal {C}_1\) is defined for arbitrary n as \(\mathcal {C}_1 = \{Q(x) = \mathrm{Tr_n}(\sum _{i=1}^{\lfloor (n-1)/2\rfloor }a_ix^{2^i+1})\;:\; a_i \in {\mathbb F}_2\}\), and the larger class \(\mathcal {C}_2\) is defined for even n as \(\mathcal {C}_2 = \{Q(x) = \mathrm{Tr_n}(\sum _{i=1}^{(n/2)-1}a_ix^{2^i+1}) + \mathrm{Tr_{n/2}}(a_{n/2}x^{2^{n/2}+1}) \;:\; a_i \in {\mathbb F}_2\}\). For an odd prime p, the subclass \(\mathcal {D}\) of all p-ary quadratic functions is defined as \(\mathcal {D} = \{Q(x) = \mathrm{Tr_n}(\sum _{i=0}^{\lfloor n/2\rfloor }a_ix^{p^i+1})\;:\; a_i \in {\mathbb F}_p\}\). We determine the generating function for the distribution of the parameter s for \(\mathcal {C}_1, \mathcal {C}_2\) and \(\mathcal {D}\). As a consequence we completely describe the distribution of the nonlinearity for the rotation symmetric quadratic Boolean functions, and in the case \(p > 2\), the distribution of the co-dimension for the rotation symmetric quadratic p-ary functions, which have been attracting considerable attention recently. Our results also facilitate obtaining closed formulas for the number of such quadratic functions with prescribed s for small values of s, and hence extend earlier results on this topic. We also present the complete weight distribution of the subcodes of the second order Reed–Muller codes corresponding to \(\mathcal {C}_1\) and \(\mathcal {C}_2\) in terms of a generating function.     

Spectral multiplier theorems and averaged <Emphasis Type="Italic">R</Emphasis>-boundedness

Let A be a 0-sectorial operator with a bounded \(H^\infty (\Sigma _\sigma )\)-calculus for some \(\sigma \in (0,\pi ),\) e.g. a Laplace type operator on \(L^p(\Omega ),\, 1< p < \infty ,\) where \(\Omega \) is a manifold or a graph. We show that A has a \(\mathcal {H}^\alpha _2(\mathbb {R}_+)\) Hörmander functional calculus if and only if certain operator families derived from the resolvent \((\lambda - A)^{-1},\) the semigroup \(e^{-zA},\) the wave operators \(e^{itA}\) or the imaginary powers \(A^{it}\) of A are R-bounded in an \(L^2\)-averaged sense. If X is an \(L^p(\Omega )\) space with \(1 \le p < \infty \), R-boundedness reduces to well-known estimates of square sums.     

Estimates for coefficients of certain <Emphasis Type="Italic">L</Emphasis>-functions

Let \(\pi _{\varphi }\) (or \(\pi _{\psi }\)) be an automorphic cuspidal representation of \(\text {GL}_{2} (\mathbb {A}_{\mathbb {Q}})\) associated to a primitive Maass cusp form \(\varphi \) (or \(\psi \)), and \(\mathrm{sym}^j \pi _{\varphi }\) be the jth symmetric power lift of \(\pi _{\varphi }\). Let \(a_{\mathrm{sym}^j \pi _{\varphi }}(n)\) denote the nth Dirichlet series coefficient of the principal L-function associated to \(\mathrm{sym}^j \pi _{\varphi }\). In this paper, we study first moments of Dirichlet series coefficients of automorphic representations \(\mathrm{sym}^3 \pi _{\varphi }\) of \(\text {GL}_{4}(\mathbb {A}_{\mathbb {Q}})\), and \(\pi _{\psi }\otimes \mathrm{sym}^2 \pi _{\varphi }\) of \(\text {GL}_{6}(\mathbb {A}_{\mathbb {Q}})\). For \(3 \le j \le 8\), estimates for \(|a_{\mathrm{sym}^j \pi _{\varphi }}(n)|\) on average over a short interval have also been established.     

<Emphasis Type="Italic">k</Emphasis>-Monogenic Functions Over 6-Dimensional Euclidean Space

Recently, physicists are interested in 6-dimensional physics including the massless field operators on Lorentzian space \(\mathbb R^{5,1}\). The elliptic version \(\mathcal {D}_{k}\) of these operators coincides with the higher spin massless field operators on \(\mathbb R^{6}\) introduced by Sou?ek earlier. The embedding of \(\mathbb R^{6}\) into the space of complex antisymmetric matrices allows us to use two-component notation, generating the Penrose two-spinor notation for dimension 4, which makes the spinor calculus on \(\mathbb R^6\) more concrete and explicit. A function annihilated by \(\mathcal {D}_{k}\) is called k-monogenic. Applying the Penrose integral formula, which can be checked by direct differentiation, we give infinite number of such k-monogenic polynomials for fixed k. So the function theory of k-monogenic functions is abundant and interesting.     

Symmetric quiver Hecke algebras and <Emphasis Type="Italic">R</Emphasis>-matrices of quantum affine algebras IV

Let \(U'_q(\mathfrak {g})\) be a twisted affine quantum group of type \(A_{N}^{(2)}\) or \(D_{N}^{(2)}\) and let \(\mathfrak {g}_{0}\) be the finite-dimensional simple Lie algebra of type \(A_{N}\) or \(D_{N}\). For a Dynkin quiver of type \(\mathfrak {g}_{0}\), we define a full subcategory \({\mathcal C}_{Q}^{(2)}\) of the category of finite-dimensional integrable \(U'_q(\mathfrak {g})\)-modules, a twisted version of the category \({\mathcal C}^{(1)}_{Q}\) introduced by Hernandez and Leclerc. Applying the general scheme of affine Schur–Weyl duality, we construct an exact faithful KLR-type duality functor \({\mathcal F}_{Q}^{(2)}:\mathrm{Rep}(R) \rightarrow {\mathcal C}_{Q}^{(2)}\), where \(\mathrm{Rep}(R)\) is the category of finite-dimensional modules over the quiver Hecke algebra R of type \(\mathfrak {g}_{0}\) with nilpotent actions of the generators \(x_k\). We show that \({\mathcal F}_{Q}^{(2)}\) sends any simple object to a simple object and induces a ring isomorphism Open image in new window .     

Spectral Properties of <Emphasis Type="Italic">k</Emphasis>-Quasi-<Emphasis Type="Italic">M</Emphasis>-hyponormal Operators

In this paper, we study the k-quasi-M-hyponormal operator and mainly prove that if T is a k-quasi-M-hyponormal operator, then \(\sigma _{ja}(T)\backslash \{0\}=\sigma _{a}(T)\backslash \{0\}\), and the spectrum is continuous on the class of all k-quasi-M-hyponormal operators; let \(d_{AB}\in B(B(H))\) denote either the generalized derivation \(\delta _{AB}= L_{A}-R_{B}\) or the elementary operator \(\Delta _{AB} =L_{A}R_{B}- I\), we show that if A and \(B^{*}\) are k-quasi-M-hyponormal operators, then \(d_{AB}\) is polaroid and generalized Weyl’s theorem holds for \(f(d_{AB})\), where f is an analytic function on \(\sigma (d_{AB})\) and f is not constant on each connected component of the open set U containing \(\sigma (d_{AB})\). In additon, we discuss the hyperinvariant subspace problem for k-quasi-M-hyponormal operators.     

Integral Modular Categories of Frobenius-Perron Dimension <Emphasis Type="Italic">pq</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Integral modular categories of Frobenius-Perron dimension pq ⁿ , where p and q are primes, are considered. It is already known that such categories are group-theoretical in the cases of 0 ≤ n ≤ 4. In the general case we determine that these categories are either group-theoretical or contain a Tannakian subcategory of dimension q ⁱ for i > 1. We then show that all integral modular categories \(\mathcal {C}\) with \(\text {FPdim}(\mathcal {C})=pq^{5}\) are group-theoretical, and, if in addition p < q, all with \(\text {FPdim}(\mathcal {C})=pq^{6}\) or pq ⁷ are group-theoretical. In the process we generalize an existing criterion for an integral modular category to be group-theoretical.     

Universal Cycle Packings and Coverings for <Emphasis Type="Italic">k</Emphasis>-Subsets of an <Emphasis Type="Italic">n</Emphasis>-Set

A cyclic sequence of elements of [n] is an (n, k)-Ucycle packing (respectively, (n, k)-Ucycle covering) if every k-subset of [n] appears in this sequence at most once (resp. at least once) as a subsequence of consecutive terms. Let \(p_{n,k}\) be the length of a longest (n, k)-Ucycle packing and \(c_{n,k}\) the length of a shortest (n, k)-Ucycle covering. We show that, for a fixed \(k,p_{n,k}={n\atopwithdelims ()k}-O(n^{\lfloor k/2\rfloor })\). Moreover, when k is not fixed, we prove that if \(k=k(n)\le n^{\alpha }\), where \(0<\alpha <1/3\), then \(p_{n,k}={n\atopwithdelims ()k}-o({n\atopwithdelims ()k}^\beta )\) and \(c_{n,k}={n\atopwithdelims ()k}+o({n\atopwithdelims ()k}^\beta )\), for some \(\beta <1\). Finally, we show that if \(k=o(n)\), then \(p_{n,k}={n\atopwithdelims ()k}(1-o(1))\).     

Cyclotomic Hecke Algebras of <Emphasis Type="Italic">G</Emphasis>(<Emphasis Type="Italic">r</Emphasis>, <Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">n</Emphasis>)

In this note, we find a monomial basis of the cyclotomic Hecke algebra \({\mathcal{H}_{r,p,n}}\) of G(r,p,n) and show that the Ariki-Koike algebra \({\mathcal{H}_{r,n}}\) is a free module over \({\mathcal{H}_{r,p,n}}\), using the Gröbner-Shirshov basis theory. For each irreducible representation of \({\mathcal{H}_{r,p,n}}\), we give a polynomial basis consisting of linear combinations of the monomials corresponding to cozy tableaux of a given shape.     

Ordinal indices of Small Subspaces of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

We calculate the ordinal L _p index defined in [3] for Rosenthal’s space X _p , \({\ell_p}\) and \({\ell_2}\). We show that an infinite-dimensional subspace of L _p \({(2 < p < \infty)}\) non-isomorphic to \({\ell_2}\) embeds in \({\ell_p}\) if and only if its ordinal index is the minimal possible. We also give a sufficient condition for a \({\mathcal{L}_p}\) subspace of \({\ell_p \oplus \ell_2}\) to be isomorphic to X _p .     

Representation of normal bands as semigroups of <Emphasis Type="Italic">k</Emphasis>-bi-ideals of a semiring

Here we show that every normal band N can be embedded into the normal band \(\mathcal {B(S)}\) of all k-bi-ideals, the left part \(N/ \mathcal {R}\) of N into the left normal band \(\mathcal {R(S)}\) of all right k-ideals, the right part \(N/ \mathcal {L}\) of N into the right normal band \(\mathcal {L(S)}\) of all left k-ideals, and the greatest semilattice homomorphic image \(N/ \mathcal {J}\) of N into the semilattice of all k-ideals of a same k-regular and intra k-regular semiring S.     

Invariant <Emphasis Type="Italic">K</Emphasis>-minimal Sets in the Discrete and Continuous Settings

A sufficient condition for a set \(\Omega \subset L^{1}\left( \left[ 0,1\right] ^{m}\right) \) to be invariant K-minimal with respect to the couple \(\left( L^{1}\left( \left[ 0,1\right] ^{m}\right) ,L^{\infty }\left( \left[ 0,1\right] ^{m}\right) \right) \) is established. Through this condition, different examples of invariant K-minimal sets are constructed. In particular, it is shown that the \(L^{1}\)-closure of the image of the \(L^{\infty }\)-ball of smooth vector fields with support in \(\left( 0,1\right) ^{m}\) under the divergence operator is an invariant K-minimal set. The constructed examples have finite-dimensional analogues in terms of invariant K-minimal sets with respect to the couple \(\left( \ell ^{1},\ell ^{\infty }\right) \) on \(\mathbb {R}^{n}\). These finite-dimensional analogues are interesting in themselves and connected to applications where the element with minimal K-functional is important. We provide a convergent algorithm for computing the element with minimal K-functional in these and other finite-dimensional invariant K-minimal sets.     

Tempered representations of <Emphasis Type="Italic">p</Emphasis>-adic groups: special idempotents and topology

Let \(G=G(k)\) be a connected reductive group over a p-adic field k. The smooth (and tempered) complex representations of G can be considered as the nondegenerate modules over the Hecke algebra \({\mathcal {H}}={\mathcal {H}}(G)\) and the Schwartz algebra \({\mathcal {S}}={\mathcal {S}}(G)\) forming abelian categories \({\mathcal {M}}(G)\) and \({\mathcal {M}}^t(G)\), respectively. Idempotents \(e\in {\mathcal {H}}\) or \({\mathcal {S}}\) define full subcategories \({\mathcal {M}}_e(G)= \{V : {\mathcal {H}}eV=V\}\) and \({\mathcal {M}}_e^t(G)= \{V : {\mathcal {S}}eV=V\}\). Such an e is said to be special (in \({\mathcal {H}}\) or \({\mathcal {S}}\)) if the corresponding subcategory is abelian. Parallel to Bernstein’s result for \(e\in {\mathcal {H}}\) we will prove that, for special \(e \in {\mathcal {S}}\), \({\mathcal {M}}_e^t(G) = \prod _{\Theta \in \theta _e} {\mathcal {M}}^t(\Theta )\) is a finite direct product of component categories \({\mathcal {M}}^t(\Theta )\), now referring to connected components of the center of \({\mathcal {S}}\). A special \(e\in {\mathcal {H}}\) will be also special in \({\mathcal {S}}\), but idempotents \(e\in {\mathcal {H}}\) not being special can become special in \({\mathcal {S}}\). To obtain conditions we consider the sets \(\mathrm{Irr}^t(G) \subset \mathrm{Irr}(G)\) of (tempered) smooth irreducible representations of G, and we view \(\mathrm{Irr}(G)\) as a topological space for the Jacobson topology defined by the algebra \({\mathcal {H}}\). We use this topology to introduce a preorder on the connected components of \(\mathrm{Irr}^t(G)\). Then we prove that, for an idempotent \(e \in {\mathcal {H}}\) which becomes special in \({\mathcal {S}}\), its support \(\theta _e\) must be saturated with respect to that preorder. We further analyze the above decomposition of \({\mathcal {M}}_e^t(G)\) in the case where G is k-split with connected center and where \(e = e_J \in {\mathcal {H}}\) is the Iwahori idempotent. Here we can use work of Kazhdan and Lusztig to relate our preorder on the support \(\theta _{e_J}\) to the reverse of the natural partial order on the unipotent classes in G. We finish by explicitly computing the case \(G=GL_n\), where \(\theta _{e_J}\) identifies with the set of partitions of n. Surprisingly our preorder (which is a partial order now) is strictly coarser than the reverse of the dominance order on partitions.     

A relative <Emphasis Type="Italic">m</Emphasis>-cover of a Hermitian surface is a relative hemisystem

An m-cover of the Hermitian surface \(\mathrm {H}(3,q^2)\) of \(\mathrm {PG}(3,q^2)\) is a set \(\mathcal {S}\) of lines of \(\mathrm {H}(3,q^2)\) such that every point of \(\mathrm {H}(3,q^2)\) lies on exactly m lines of \(\mathcal {S}\), and \(0<m<q+1\). Segre (Annali di Matematica Pura ed Applicata Serie Quarta 70:1–201, 1965) proved that if q is odd, then \(m=(q+1)/2\), and called such a set \(\mathcal {S}\) of lines a hemisystem. Penttila and Williford (J Comb Theory Ser A 118(2):502–509, 2011) introduced the notion of a relative hemisystem of a generalised quadrangle \(\varGamma \) with respect to a subquadrangle \(\varGamma '\): a set of lines \(\mathcal {R}\) of \(\varGamma \) disjoint from \(\varGamma '\) such that every point P of \(\varGamma \setminus \varGamma '\) has half of its lines (disjoint from \(\varGamma '\)) lying in \(\mathcal {R}\). In this paper, we provide an analogue of Segre’s result by introducing relative m-covers of generalised quadrangles of order \((q^2,q)\) with respect to a subquadrangle and proving that m must be q / 2 when the subquadrangle is doubly subtended. In particular, a relative m-cover of \(\mathrm {H}(3,q^2)\) with respect to a symplectic subgeometry \(\mathrm {W}(3,q)\) is a relative hemisystem.     

<Emphasis Type="Italic">q</Emphasis>-Frequent hypercyclicity in spaces of operators

We provide conditions for a linear map of the form \(C_{R,T}(S)=RST\) to be q-frequently hypercyclic on algebras of operators on separable Banach spaces. In particular, if R is a bounded operator satisfying the q-frequent hypercyclicity criterion, then the map \(C_{R}(S)=RSR^*\) is shown to be q-frequently hypercyclic on the space \(\mathcal {K}(H)\) of all compact operators and the real topological vector space \(\mathcal {S}(H)\) of all self-adjoint operators on a separable Hilbert space H. Further we provide a condition for \(C_{R,T}\) to be q-frequently hypercyclic on the Schatten von Neumann classes \(S_p(H)\). We also characterize frequent hypercyclicity of \(C_{M^*_\varphi ,M_\psi }\) on the trace-class of the Hardy space, where the symbol \(M_\varphi \) denotes the multiplication operator associated to \(\varphi \).     

Around <Emphasis Type="Italic">q</Emphasis>-Appell polynomial sequences

First we show that the quadratic decomposition of the Appell polynomials with respect to the q-divided difference operator is supplied by two other Appell sequences with respect to a new operator \(\mathcal{M}_{q;q^{-\varepsilon}}\), where ε represents a complex parameter different from any negative even integer number. While seeking all the orthogonal polynomial sequences invariant under the action of \(\mathcal{M}_{\sqrt{q};q^{-\varepsilon/2}}\) (the \(\mathcal{M}_{\sqrt{q};q^{-\varepsilon/2}}\)-Appell), only the Wall q-polynomials with parameter q ^ε/2+1 are achieved, up to a linear transformation. This brings a new characterization of these polynomial sequences.     

The first moment of central values of symmetric square <Emphasis Type="Italic">L</Emphasis>-functions in the weight aspect

We establish an asymptotic formula with arbitrary power saving for the first moment of the symmetric square L-functions \(L(s,\mathrm{sym}^2f)\) at \(s=\frac{1}{2}\) for \(f\in \mathcal {H}_k\) as even \(k\rightarrow \infty \), where \(\mathcal {H}_k\) is an orthogonal basis of weight-k Hecke eigen cusp forms for \(SL(2,\mathbb {Z})\). The approach taken allows us to extract two secondary main terms from the best-known error term \(O(k^{-\frac{1}{2}})\). Moreover, our result exhibits a connection between the symmetric square L-functions and quadratic fields, which is the main theme of Zagier’s work Modular forms whose coefficients involve zeta-functions of quadratic fields in 1977.     

On a new property of <Emphasis Type="Italic">n</Emphasis>-poised and <Emphasis Type="Italic">G</Emphasis><Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> sets

In this paper we consider n-poised planar node sets, as well as more special ones, called G C _n sets. For the latter sets each n-fundamental polynomial is a product of n linear factors as it always holds in the univariate case. A line ? is called k-node line for a node set \(\mathcal X\) if it passes through exactly k nodes. An (n + 1)-node line is called maximal line. In 1982 M. Gasca and J. I. Maeztu conjectured that every G C _n set possesses necessarily a maximal line. Till now the conjecture is confirmed to be true for n ≤ 5. It is well-known that any maximal line M of \(\mathcal X\) is used by each node in \(\mathcal X\setminus M, \)meaning that it is a factor of the fundamental polynomial. In this paper we prove, in particular, that if the Gasca-Maeztu conjecture is true then any n-node line of G C _n set \(\mathcal {X}\) is used either by exactly \(\binom {n}{2}\) nodes or by exactly \(\binom {n-1}{2}\) nodes. We prove also similar statements concerning n-node or (n ? 1)-node lines in more general n-poised sets. This is a new phenomenon in n-poised and G C _n sets. At the end we present a conjecture concerning any k-node line.     

Some new expansions for certain truncated <Emphasis Type="Italic">q</Emphasis>-series

We introduce the notion of \(\mathcal {R}_{\mu }\)-classical orthogonal polynomials, where \(\mathcal {R}_{\mu }\) is the degree raising shift operator for the sequence of Laguerre polynomials of parameter \(\mu \). Then we show that the Laguerre polynomials \(L^{(\mu )}_n(x), \ \mu \ne -m, \ m\ge 0\), are the only \(\mathcal {R}_{\mu }\)-classical orthogonal polynomials.