On averages of Fourier coefficients of Maass cusp forms

Let φ be a primitive Maass cusp form and t _φ (n) be its nth Fourier coefficient at the cusp infinity. In this short note, we are interested in the estimation of the sums ${\sum_{n \leq x}t_{\varphi}(n)}$ and ${\sum_{n \leq x}t_{\varphi}(n^2)}$ . We are able to improve the previous results by showing that for any ${\varepsilon > 0}$ $$\sum_{n \leq x}t_{\varphi}(n) \ll\, _{\varphi, \varepsilon} x^{\frac{1027}{2827} + \varepsilon} \quad {and}\quad\sum_{n \leq x}t_{\varphi}(n^2) \ll\,_{\varphi, \varepsilon} x^{\frac{489}{861} + \varepsilon}.$$      

Representation of Polynomials by Linear Combinations of Radial Basis Functions

Let ${\mathcal {P}_{n}^{d}}$ denote the space of polynomials on ? ^d of total degree n. In this work, we introduce the space of polynomials ${\mathcal {Q}_{2 n}^{d}}$ such that ${\mathcal {P}_{n}^{d}}\subset {\mathcal {Q}_{2 n}^{d}}\subset\mathcal{P}_{2n}^{d}$ and which satisfy the following statement: Let h be any fixed univariate even polynomial of degree n and $\mathcal{A}$ be a finite set in ? ^d . Then every polynomial P from the space  ${\mathcal {Q}_{2 n}^{d}}$ may be represented by a linear combination of radial basis functions of the form h(∥x+a∥), $a\in \mathcal{A}$ , if and only if the set $\mathcal{A}$ is a uniqueness set for the space  ${\mathcal {Q}_{2 n}^{d}}$ .     

On additive decompositions of the set of primitive roots modulo p

It is conjectured that the set ${\mathcal {G}}$ of the primitive roots modulo p has no decomposition (modulo p) of the form ${\mathcal {G}= \mathcal {A} +\mathcal {B}}$ with ${|\mathcal {A}|\ge 2}$ , ${|\mathcal {B} |\ge 2}$ . This conjecture seems to be beyond reach but it is shown that if such a decomposition of ${\mathcal {G}}$ exists at all, then ${|\mathcal {A} |}$ , ${|\mathcal {B} |}$ must be around p ^1/2, and then this result is applied to show that ${\mathcal {G}}$ has no decomposition of the form ${\mathcal {G} =\mathcal {A} + \mathcal {B} + \mathcal {C}}$ with ${|\mathcal {A} |\ge 2}$ , ${|\mathcal {B} |\ge 2}$ , ${|\mathcal {C} |\ge 2}$ .     

A Triangulation of ?P 3 as Symmetric Cube of S 2

The symmetric group $\operatorname{Sym}(d)$ acts on the Cartesian product (S ²) ^d by coordinate permutation, and the quotient space $(S^{2})^{d}/\operatorname{Sym}(d)$ is homeomorphic to the complex projective space ?P ^d . We used the case d=2 of this fact to construct a 10-vertex triangulation of ?P ² earlier. In this paper, we have constructed a 124-vertex simplicial subdivision $(S^{2})^{3}_{124}$ of the 64-vertex standard cellulation $(S^{2}_{4})^{3}$ of (S ²)³, such that the $\operatorname{Sym}(3)$ -action on this cellulation naturally extends to an action on $(S^{2})^{3}_{124}$ . Further, the $\operatorname{Sym}(3)$ -action on $(S^{2})^{3}_{124}$ is ??good??, so that the quotient simplicial complex $(S^{2})^{3}_{124}/\operatorname{Sym}(3)$ is a 30-vertex triangulation $\mathbb{C}P^{3}_{30}$ of ?P ³. In other words, we have constructed a simplicial realization $(S^{2})^{3}_{124} \to\mathbb{C} P^{3}_{30}$ of the branched covering (S ²)³???P ³.     

On definability in some lattices of semigroup varieties

An identity of the form x ₁?x _n ??x _1?? x _2?? ?x _n?? where ?? is a non-trivial permutation on the set {1,??,n} is called a permutation identity. If u??v is a permutation identity, then ?(u??v) [respectively r(u??v)] is the maximal length of the common prefix [suffix] of the words u and v. A variety that satisfies a permutation identity is called permutative. If $\mathcal{V}$ is a permutative variety, then $\ell=\ell(\mathcal{V})$ [respectively $r=r(\mathcal{V})$ ] is the least ? [respectively r] such that $\mathcal{V}$ satisfies a permutation identity ?? with ?(??)=? [respectively r(??)=r]. A?variety that consists of nil-semigroups is called a nil-variety. If ?? is a set of identities, then $\operatorname {var}\varSigma$ denotes the variety of semigroups defined by ??. If $\mathcal{V}$ is a variety, then $L (\mathcal{V})$ denotes the lattice of all subvarieties of $\mathcal{V}$ . For ?,r??0 and n>1 let $\mathfrak{B}_{\ell,r,n}$ denote the set that consists of n! identities of the form $$t_1\cdots t_\ell x_1x_2 \cdots x_n z_{1}\cdots z_{r}\approx t_1\cdots t_\ell x_{1\pi}x_{2\pi} \cdots x_{n\pi}z_{1}\cdots z_{r}, $$ where ?? is a permutation on the set {1,??,n}. We prove that for each permutative nil-variety $\mathcal{V}$ and each $\ell\ge\ell(\mathcal{V})$ and $r\ge r(\mathcal{V})$ there exists n>1 such that $\mathcal{V}$ is definable by a first-order formula in $L(\operatorname{var}{\mathfrak{B}}_{l,r,n})$ if ???r or $\mathcal{V}$ is definable up to duality in $L(\operatorname{var}{\mathfrak{B}}_{\ell,r,n})$ if ?=r.     

A new optimal quaternary sequence family of length 2(2 n − 1) obtained from the orthogonal transformation of Families {\mathcal{B}} and {\mathcal{C}}

In this paper, a general orthogonal transformation on the optimal quaternary sequence Families ${\mathcal{B}}$ and ${\mathcal{C}}$ is presented. Consequently, the known optimal Family ${\mathcal{D}}$ and a new optimal Family ${\mathcal{E}}$ are produced in a uniform method. In contrast to the known optimal Family ${\mathcal{D}}$ , the new Family ${\mathcal{E}}$ has the same parameters such as the sequence length 2(2 ⁿ ? 1), the family size 2 ⁿ , and the maximal nontrivial correlation value ${2^{\frac{n+1}{2}}+2}$ , where n is a positive integer, but with a different correlation function.     

Averaged Pointwise Bounds for Deformations of Schrödinger Eigenfunctions

Let (M,g) be an n-dimensional, compact Riemannian manifold and ${P_0(\hbar) = -\hbar{^2} \Delta_g + V(x)}$ be a semiclassical Schrödinger operator with ${\hbar \in (0,\hbar_0]}$ . Let ${E(\hbar) \in [E-o(1),E+o(1)]}$ and ${(\phi_{\hbar})_{\hbar \in (0,\hbar_0]}}$ be a family of L ²-normalized eigenfunctions of ${P_0(\hbar)}$ with ${P_0(\hbar) \phi_{\hbar} = E(\hbar) \phi_{\hbar}}$ . We consider magnetic deformations of ${P_0(\hbar)}$ of the form ${P_u(\hbar) = - \Delta_{\omega_u}(\hbar) + V(x)}$ , where ${\Delta_{\omega_u}(\hbar) = (\hbar d + i \omega_u(x))^*({\hbar}d + i \omega_u(x))}$ . Here, u is a k-dimensional parameter running over ${B^k(\epsilon)}$ (the ball of radius ${\epsilon}$ ), and the family of the magnetic potentials ${(w_u)_{u\in B^k(\epsilon)}}$ satisfies the admissibility condition given in Definition 1.1. This condition implies that k ≥ n and is generic under this assumption. Consider the corresponding family of deformations of ${(\phi_{\hbar})_{\hbar \in (0, \hbar_0]}}$ , given by ${(\phi^u_{\hbar})_{\hbar \in(0, \hbar_0]}}$ , where $$\phi_{\hbar}^{(u)}:= {\rm e}^{-it_0 P_u(\hbar)/\hbar}\phi_{\hbar}$$ for ${|t_0|\in (0,\epsilon)}$ ; the latter functions are themselves eigenfunctions of the ${\hbar}$ -elliptic operators ${Q_u(\hbar): ={\rm e}^{-it_0P_u(\hbar)/\hbar} P_0(\hbar) {\rm e}^{it_0 P_u(\hbar)/\hbar}}$ with eigenvalue ${E(\hbar)}$ and ${Q_0(\hbar) = P_{0}(\hbar)}$ . Our main result, Theorem1.2, states that for ${\epsilon >0 }$ small, there are constants ${C_j=C_j(M,V,\omega,\epsilon) > 0}$ with j = 1,2 such that $$C_{1}\leq \int\limits_{\mathcal{B}^k(\epsilon)} |\phi_{\hbar}^{(u)}(x)|^2 \, {\rm d}u \leq C_{2}$$ , uniformly for ${x \in M}$ and ${\hbar \in (0,h_0]}$ . We also give an application to eigenfunction restriction bounds in Theorem 1.3.     

Convergence of symmetric Markov chains on {\mathbb{Z}^d}

For each n let ${Y^{(n)}_t}$ be a continuous time symmetric Markov chain with state space ${n^{-1} \mathbb{Z}^d}$ . Conditions in terms of the conductances are given for the convergence of the ${Y^{(n)}_t}$ to a symmetric Markov process Y _t on ${\mathbb{R}^d}$ . We have weak convergence of $\{{Y^{(n)}_t: t \leq t_0\}}$ for every t ₀ and every starting point. The limit process Y has a continuous part and may also have jumps.     

On the unique representation of very strong algebraic geometry codes

This paper addresses the question of retrieving the triple ${(\mathcal X,\mathcal P, E)}$ from the algebraic geometry code ${\mathcal C = \mathcal C_L(\mathcal X, \mathcal P, E)}$ , where ${\mathcal X}$ is an algebraic curve over the finite field ${\mathbb F_q, \,\mathcal P}$ is an n-tuple of ${\mathbb F_q}$ -rational points on ${\mathcal X}$ and E is a divisor on ${\mathcal X}$ . If ${\deg(E)\geq 2g+1}$ where g is the genus of ${\mathcal X}$ , then there is an embedding of ${\mathcal X}$ onto ${\mathcal Y}$ in the projective space of the linear series of the divisor E. Moreover, if ${\deg(E)\geq 2g+2}$ , then ${I(\mathcal Y)}$ , the vanishing ideal of ${\mathcal Y}$ , is generated by ${I_2(\mathcal Y)}$ , the homogeneous elements of degree two in ${I(\mathcal Y)}$ . If ${n >2 \deg(E)}$ , then ${I_2(\mathcal Y)=I_2(\mathcal Q)}$ , where ${\mathcal Q}$ is the image of ${\mathcal P}$ under the map from ${\mathcal X}$ to ${\mathcal Y}$ . These three results imply that, if ${2g+2\leq m < \frac{1}{2}n}$ , an AG representation ${(\mathcal Y, \mathcal Q, F)}$ of the code ${\mathcal C}$ can be obtained just using a generator matrix of ${\mathcal C}$ where ${\mathcal Y}$ is a normal curve in ${\mathbb{P}^{m-g}}$ which is the intersection of quadrics. This fact gives us some clues for breaking McEliece cryptosystem based on AG codes provided that we have an efficient procedure for computing and decoding the representation obtained.     

Proper Holomorphic Embeddings of Riemann Surfaces with Arbitrary Topology into ℂ2

We prove that given an open Riemann surface $\mathcal{N}$ of arbitrary (finite or infinite) topology, there exists an open domain $\mathcal{M}\subset \mathcal{N}$ homeomorphic to $\mathcal{N}$ which properly holomorphically embeds in ?². Furthermore, $\mathcal{M}$ can be chosen with hyperbolic conformal type. In particular, any open orientable surface M admits a complex structure $\mathcal{C}$ such that $(M,\mathcal{C})$ can be properly holomorphically embedded into ?².     

Some results on metric n-Lie algebras

We study the structure of a metric n-Lie algebra G over the complex field C. Let G = SR be the Levi decomposition, where R is the radical of G and S is a strong semisimple subalgebra of G. Denote by m(G) the number of all minimal ideals of an indecomposable metric n-Lie algebra and R ⊥ the orthogonal complement of R. We obtain the following results. As S-modules, R ⊥ is isomorphic to the dual module of G/R. The dimension of the vector space spanned by all nondegenerate invariant symmetric bilinear forms on G is equal to that of the vector space of certain linear transformations on G; this dimension is greater than or equal to m(G) + 1. The centralizer of R in G is equal to the sum of all minimal ideals; it is the direct sum of R ⊥ and the center of G. Finally, G has no strong semisimple ideals if and only if R⊥■R.     

Conservative fragments of {{S}^{1}_{2}} and {{R}^{1}_{2}}

Conservative subtheories of ${{R}^{1}_{2}}$ and ${{S}^{1}_{2}}$ are presented. For ${{S}^{1}_{2}}$ , a slight tightening of Je?ábek??s result (Math Logic Q 52(6):613?C624, 2006) that ${T^{0}_{2} \preceq_{\forall \Sigma^{b}_{1}}S^{1}_{2}}$ is presented: It is shown that ${T^{0}_{2}}$ can be axiomatised as BASIC together with induction on sharply bounded formulas of one alternation. Within this ${\forall\Sigma^{b}_{1}}$ -theory, we define a ${\forall\Sigma^{b}_{0}}$ -theory, ${T^{-1}_{2}}$ , for the ${\forall\Sigma^{b}_{0}}$ -consequences of ${S^{1}_{2}}$ . We show ${T^{-1}_{2}}$ is weak by showing it cannot ${\Sigma^{b}_{0}}$ -define division by 3. We then consider what would be the analogous ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ based on Pollett (Ann Pure Appl Logic 100:189?C245, 1999. It is shown that this theory, ${{T}^{0,\left\{2^{(||\dot{id}||)}\right\}}_{2}}$ , also cannot ${\Sigma^{b}_{0}}$ -define division by 3. On the other hand, we show that ${{S}^{0}_{2}+open_{\{||id||\}}}$ -COMP is a ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ . Finally, we give a refinement of Johannsen and Pollett (Logic Colloquium?? 98, 262?C279, 2000) and show that ${\hat{C}^{0}_{2}}$ is ${\forall\hat\Sigma^{b}_{1}}$ -conservative over a theory based on open _cl-comprehension.     

Scaling relationship between the copositive cone and Parrilo’s first level approximation

We investigate the relation between the cone ${\mathcal{C}^{n}}$ of n × n copositive matrices and the approximating cone ${\mathcal{K}_{n}^{1}}$ introduced by Parrilo. While these cones are known to be equal for n ≤ 4, we show that for n ≥ 5 they are not equal. This result is based on the fact that ${\mathcal{K}_{n}^{1}}$ is not invariant under diagonal scaling. We show that for any copositive matrix which is not the sum of a nonnegative and a positive semidefinite matrix we can find a scaling which is not in ${\mathcal{K}_{n}^{1}}$ . In fact, we show that if all scaled versions of a matrix are contained in ${\mathcal{K}_{n}^{r}}$ for some fixed r, then the matrix must be in ${\mathcal{K}_{n}^{0}}$ . For the 5 × 5 case, we show the more surprising result that we can scale any copositive matrix X into ${\mathcal{K}_{5}^{1}}$ and in fact that any scaling D such that ${(DXD)_{ii} \in \{0,1\}}$ for all i yields ${DXD \in \mathcal{K}_{5}^{1}}$ . From this we are able to use the cone ${\mathcal{K}_{5}^{1}}$ to check if any order 5 matrix is copositive. Another consequence of this is a complete characterisation of ${\mathcal{C}^{5}}$ in terms of ${\mathcal{K}_{5}^{1}}$ . We end the paper by formulating several conjectures.     

Restrictions of generalized Verma modules to symmetric pairs

We initiate a new line of investigation on branching problems for generalized Verma modules with respect to reductive symmetric pairs $ \left( {\mathfrak{g},\mathfrak{g}'} \right) $ . In general, Verma modules may not contain any simple module when restricted to a reductive subalgebra. In this article we give a necessary and sufficient condition on the triple $ \left( {\mathfrak{g},\mathfrak{g}',\mathfrak{p}} \right) $ such that the restriction $ {\left. X \right|_{\mathfrak{g}'}} $ always contains simple $ \mathfrak{g}' $ -modules for any $ \mathfrak{g} $ -module X lying in the parabolic BGG category $ {\mathcal{O}^\mathfrak{p}} $ attached to a parabolic subalgebra $ \mathfrak{p} $ of $ \mathfrak{g} $ . Formulas are derived for the Gelfand?CKirillov dimension of any simple module occurring in a simple generalized Verma module. We then prove that the restriction $ {\left. X \right|_{\mathfrak{g}'}} $ is generically multiplicity-free for any $ \mathfrak{p} $ and any $ X \in {\mathcal{O}^\mathfrak{p}} $ if and only if $ \left( {\mathfrak{g},\mathfrak{g}'} \right) $ is isomorphic to (A _n , A _n-1), (B _n , D _n ), or (D _n+1, B _n ). Explicit branching laws are also presented.     

Some relations on the ordering of trees by minimal energies between subclasses of trees

The energy of a graph is defined as the sum of the absolute values of all eigenvalues of the graph. A tree is said to be non-starlike if it has at least two vertices with degree more than 2. A caterpillar is a tree in which a removal of all pendent vertices makes a path. Let $\mathcal{T}_{n,d}$ , $\mathbb{T}_{n,p}$ be the set of all trees of order n with diameter d, p pendent vertices respectively. In this paper, we investigate the relations on the ordering of trees and non-starlike trees by minimal energies between $\mathcal{T}_{n,d}$ and $\mathbb{T}_{n,n-d+1}$ . We first show that the first two trees (non-starlike trees, resp.) with minimal energies in $\mathcal{T}_{n,d}$ and $\mathbb{T}_{n,n-d+1}$ are the same for 3≤d≤n?2 (3≤d≤n?3, resp.). Then we obtain that the trees with third-minimal energy in $\mathcal{T}_{n,d}$ and $\mathbb{T}_{n,n-d+1}$ are the same when n≥11, 3≤d≤n?2 and d≠8; and the tree with third-minimal energy in $\mathcal{T}_{n,8}$ is the caterpillar with third-minimal energy in $\mathbb{T}_{n,n-7}$ for n≥11.     

On the cohomology of the orthosymplectic superalgebra

Let $\mathfrak{F}_{\lambda}^{n}$ be the $\mathop {\mathfrak {osp}}\nolimits \,(n|2)$ -module of weighted densities on ?^1|n of weight ??. We compute the cohomology spaces $\mathrm{H}^{k}_{\mathrm{diff}}\left(\mathop {\mathfrak {osp}}\nolimits \,(n|2),\mathfrak{F}_{\lambda}^{n}\right)$ , where k=1 and n=0,1,2 or k=2 and n=0,1. We explicitly give cocycles spanning these cohomology spaces.     

On the distinctness of modular reductions of primitive sequences over Z/(232−1)

This paper studies the distinctness of modular reductions of primitive sequences over ${\mathbf{Z}/(2^{32}-1)}$ . Let f(x) be a primitive polynomial of degree n over ${\mathbf{Z}/(2^{32}-1)}$ and H a positive integer with a prime factor coprime with 2³²?1. Under the assumption that every element in ${\mathbf{Z}/(2^{32}-1)}$ occurs in a primitive sequence of order n over ${\mathbf{Z}/(2^{32}-1)}$ , it is proved that for two primitive sequences ${\underline{a}=(a(t))_{t\geq 0}}$ and ${\underline{b}=(b(t))_{t\geq 0}}$ generated by f(x) over ${\mathbf{Z}/(2^{32}-1), \underline{a}=\underline{b}}$ if and only if ${a\left( t\right) \equiv b\left( t\right) \bmod{H}}$ for all t ≥ 0. Furthermore, the assumption is known to be valid for n between 7 and 100, 000, the range of which is sufficient for practical applications.     

Infinite-dimensional quasigroups of finite orders

Let Σ be a finite set of cardinality k > 0, let $\mathbb{A}$ be a finite or infinite set of indices, and let $\mathcal{F} \subseteq \Sigma ^\mathbb{A}$ be a subset consisting of finitely supported families. A function $f:\Sigma ^\mathbb{A} \to \Sigma$ is referred to as an $\mathbb{A}$ -quasigroup (if $\left| \mathbb{A} \right| = n$ , then an n-ary quasigroup) of order k if $f\left( {\bar y} \right) \ne f\left( {\bar z} \right)$ for any ordered families $\bar y$ and $\bar z$ that differ at exactly one position. It is proved that an $\mathbb{A}$ -quasigroup f of order 4 is reducible (representable as a superposition) or semilinear on every coset of $\mathcal{F}$ . It is shown that the quasigroups defined on Σ^?, where ? are positive integers, generate Lebesgue nonmeasurable subsets of the interval [0, 1].     

Length of Geodesics and Quantitative Morse Theory on Loop Spaces

Let M ⁿ be a closed Riemannian manifold of diameter d. Our first main result is that for every two (not necessarily distinct) points ${p,q \in M^n}$ and every positive integer k there are at least k distinct geodesics connecting p and q of length ${\leq 4nk^2d}$ . We demonstrate that all homotopy classes of M ⁿ can be represented by spheres swept-out by “short” loops unless the length functional has “many” “deep” local minima of a “small” length on the space ${\Omega_{pq}M^n}$ of paths connecting p and q. For example, one of our results implies that for every positive integer k there are two possibilities: Either the length functional on ${\Omega_{pq} M^n}$ has k distinct non-trivial local minima with length ${\leq 2kd}$ and “depth” ${\geq 2d}$ ; or for every m every map of S ^m into ${\Omega_{pq}M^n}$ is homotopic to a map of S ^m into the subspace ${\Omega_{pq}^{4(k+2)(m+1)d}M^n}$ of ${\Omega_{pq}M^n}$ that consists of all paths of length ${\leq 4(k+2)(m+1)d}$ .