Weighted sum of the extensions of the representations of quadratic forms

Let L, N and M be positive definite integral \({\mathbb{Z}}\) -lattices. In this paper, we show some relation between the weighted sum of representations of L and N by gen(M) and the weighted sum of extensions of \(\tilde M_{\tilde \sigma}\) in the gen(M _σ) via N _η when M is even and gcd(dL, dM) =  1. As a consequence of the particular case when M is even unimodular, we recapture the Böcherer formula (13) in (Böcherer, Maths Z 183:21–46, 1983) for the relation of the Fourier coefficients between Eisenstein series and Jacobi–Eisenstein series.     

The Existence and Application of Strongly Idempotent Self-orthogonal Row Latin Magic Arrays

Let N = {0, 1, · · ·, n ? 1}. A strongly idempotent self-orthogonal row Latin magic array of order n (SISORLMA(n) for short) based on N is an n × n array M satisfying the following properties: (1) each row of M is a permutation of N, and at least one column is not a permutation of N; (2) the sums of the n numbers in every row and every column are the same; (3) M is orthogonal to its transpose; (4) the main diagonal and the back diagonal of M are 0, 1, · · ·, n ? 1 from left to right. In this paper, it is proved that an SISORLMA(n) exists if and only if n ? {2, 3}. As an application, it is proved that a nonelementary rational diagonally ordered magic square exists if and only if n ? {2, 3}, and a rational diagonally ordered magic square exists if and only if n ≠ 2.     

Coherence relative to a weak torsion class

Let R be a ring. A subclass T of left R-modules is called a weak torsion class if it is closed under homomorphic images and extensions. Let T be a weak torsion class of left R-modules and n a positive integer. Then a left R-module M is called T-finitely generated if there exists a finitely generated submodule N such that M/N ∈ T; a left R-module A is called (T,n)-presented if there exists an exact sequence of left R-modules

$$0 \to {K_{n - 1}} \to {F_{n - 1}} \to \cdots \to {F_1} \to {F_0} \to M \to 0$$

such that F₀,..., F_n?1 are finitely generated free and K_n?1 is T-finitely generated; a left R-module M is called (T,n)-injective, if Ext ⁿ _R (A,M) = 0 for each (T, n+1)-presented left R-module A; a right R-module M is called (T,n)-flat, if Tor ^R _n (M,A) = 0 for each (T, n+1)-presented left R-module A. A ring R is called (T,n)-coherent, if every (T, n+1)-presented module is (n + 1)-presented. Some characterizations and properties of these modules and rings are given.

     

Isometries with dense windings of the torus in <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">M</Emphasis>)

Let C(M) be the space of all continuous functions on M? ?. We consider the multiplication operator T: C(M) → C(M) defined by Tf(z) = zf(z) and the torus

$$O(M) = \left\{ {f:M \to \mathbb{C} \ntrianglelefteq \left\| f \right\| = \left\| {\frac{1}{f}} \right\| = 1} \right\}$$

. If M is a Kronecker set, then the T-orbits of the points of the torus ½O(M) are dense in ½O(M) and are ½-dense in the unit ball of C(M).

     

Deterministic sparse FFT for <Emphasis Type="Italic">M</Emphasis>-sparse vectors

In this paper, we derive a new deterministic sparse inverse fast Fourier transform (FFT) algorithm for the case that the resulting vector is sparse. The sparsity needs not to be known in advance but will be determined during the algorithm. If the vector to be reconstructed is M-sparse, then the complexity of the method is at most \(\mathcal {O} (M^{2} \log N)\) if M ² < N and falls back to the usual \(\mathcal {O}(N \log N) \) algorithm for M ² ≥ N. The method is based on the divide-and-conquer approach and may require the solution of a Vandermonde system of size at most M × M at each iteration step j if M ² < 2 ^j . To ensure the stability of the Vandermonde system, we propose to employ a suitably chosen parameter σ that determines the knots of the Vandermonde matrix on the unit circle.     

Bimodule and twisted representation of vertex operator algebras

In this paper, for a vertex operator algebra V with an automorphism g of order T, an admissible V-module M and a fixed nonnegative rational number n ∈1/T Z_+, we construct an A_(g,n)(V)-bimodule Ag,n(M) and study its properties, discuss the connections between bimodule A_(g,n)(M) and intertwining operators. Especially, bimodule A _(g,n)-1T(M) is a natural quotient of A_(g,n)(M) and there is a linear isomorphism between the space IM~k M Mjof intertwining operators and the space of homomorphisms HomA_(g,n)(V)(A_(g,n)(M)  A_(g,n)(V)M~j(s), M~k(t)) for s, t ≤ n, M~j, M~k are g-twisted V modules, if V is g-rational.     

An Algorithm for Approximating the Second Moment of the Normalizing Constant Estimate from a Particle Filter

We propose a new algorithm for approximating the non-asymptotic second moment of the marginal likelihood estimate, or normalizing constant, provided by a particle filter. The computational cost of the new method is O(M) per time step, independently of the number of particles N in the particle filter, where M is a parameter controlling the quality of the approximation. This is in contrast to O(M N) for a simple averaging technique using M i.i.d. replicates of a particle filter with N particles. We establish that the approximation delivered by the new algorithm is unbiased, strongly consistent and, under standard regularity conditions, increasing M linearly with time is sufficient to prevent growth of the relative variance of the approximation, whereas for the simple averaging technique it can be necessary to increase M exponentially with time in order to achieve the same effect. This makes the new algorithm useful as part of strategies for estimating Monte Carlo variance. Numerical examples illustrate performance in the context of a stochastic Lotka–Volterra system and a simple AR(1) model.     

Towering Phenomena for the Yamabe Equation on Symmetric Manifolds

Let (M, g) be a compact smooth connected Riemannian manifold (without boundary) of dimension N ≥ 7. Assume M is symmetric with respect to a point ξ ₀ with non-vanishing Weyl’s tensor. We consider the linear perturbation of the Yamabe problem

$$ (P_{\epsilon })\qquad -\mathcal {L}_{g} u+\epsilon u=u^{\frac {N+2}{N-2}}\ \text { in }\ (M,g) . $$

We prove that for any k ∈ ?, there exists ε _k > 0 such that for all ε ∈ (0, ε _k ) the problem (P _?? ) has a symmetric solution u _ε , which looks like the superposition of k positive bubbles centered at the point ξ ₀ as ε → 0. In particular, ξ ₀ is a towering blow-up point.

     

Adapted complex tubes on the symplectization of pseudo-Hermitian manifolds

Let (M, θ) be a pseudo-Hermitian space of real dimension 2n + 1, that is M is a CR-manifold of dimension 2n + 1 and θ is a contact form on M giving the Levi distribution \({HT(M) \subset TM}\). Let \({M^\theta \subset T^* M}\) be the canonical symplectization of (M, θ) and let M be identified with the zero section of M ^θ . Then M ^θ is a manifold of real dimension 2(n + 1) which admits a canonical foliation by surfaces parametrized by \({\mathbb{C} \ni t+i\sigma\mapsto \phi^{\theta}_{p}(t+i\sigma)=\sigma\theta_{g_t(p)}}\), where \({p \in M}\) is arbitrary and g _t is the flow generated by the Reeb vector field associated to the contact form θ. Let J be an (integrable) complex structure defined in a neighbourhood U of M in M ^θ . We say that the pair (U, J) is an adapted complex tube on M ^θ if all the parametrizations \({\phi^{\theta}_{p}(t+i\sigma)}\) defined above are holomorphic on \({(\phi^{\theta}_{p})^{-1}(U)}\). In this paper we prove that if (U, J) is an adapted complex tube on M ^θ , then the real function E on \({M^\theta\subset T^*M}\) defined by the condition \({\alpha=E (\alpha)\theta_{\pi(\alpha)}}\), for each \({\alpha \in M^\theta}\), is a canonical defining function for M which satisfies the homogeneous Monge–Ampère equation (dd ^c E)ⁿ⁺¹ = 0. We also prove that if M and θ are real analytic then the symplectization M ^θ admits an unique maximal adapted complex tube.     

Degenerations of Submodules and Composition Series

Let M and N be modules over an artin algebra such that M degenerates to N. We show that any submodule of M degenerates to a submodule of N. This suggests that a composition series of M will in some sense degenerate to a composition series of N. We then study a subvariety of the module variety, consisting of those representations where all matrices are upper triangular. We show that these representations can be seen as representations of composition series, and that the orbit closures describe the above mentioned degeneration of composition series.     

A Construction of Totally Reflexive Modules

We construct infinite families of pairwise non-isomorphic indecomposable totally reflexive modules of high multiplicity. Under suitable conditions on the totally reflexive modules M and N, we find infinitely many non-isomorphic indecomposable modules arising as extensions of M by N. The construction uses the bimodule structure of \({Ext^{1}_{R}}((M,N)\) over the endomorphism rings of N and M. Our results compare with a recent theorem of Celikbas, Gheibi and Takahashi, and broaden the scope of that theorem.     

An inequality between Willmore functional and Weyl functional for submanifolds in space forms

Let \({\phi : M \to R^{n+p}(c)}\) be an n-dimensional submanifold in an (n + p)-dimensional space form R ^n+p(c) with the induced metric g. Willmore functional of \({\phi}\) is \({W(\phi) = \int_{M}(S - nH^{2})^{n/2}dv}\) , where \({S = \sum_{\alpha,i, j}(h^{\alpha}_{ij} )^2}\) is the square of the length of the second fundamental form, H is the mean curvature of M. The Weyl functional of (M, g) is \({\nu(g) = \int_{M}|W_{g}|^{n/2}dv}\) , where \({|W_{g}|^{2} = \sum_{i, j,k,l} W^{2}_{ijkl}}\) and W _ijkl are the components of the Weyl curvature tensor W _g of (M, g). In this paper, we discover an inequality relation between Willmore functional \({W(\phi)}\) and Weyl funtional ν(g).     

Conjugacy classes in Möbius groups

Let \({\mathbb H^{n+1}}\) denote the n + 1-dimensional (real) hyperbolic space. Let \({\mathbb {S}^{n}}\) denote the conformal boundary of the hyperbolic space. The group of conformal diffeomorphisms of \({\mathbb {S}^{n}}\) is denoted by M(n). Let M _o (n) be its identity component which consists of all orientation-preserving elements in M(n). The conjugacy classification of isometries in M _o (n) depends on the conjugacy of T and T ^?1 in M _o (n). For an element T in M(n), T and T ^?1 are conjugate in M(n), but they may not be conjugate in M _o (n). In the literature, T is called real if T is conjugate in M _o (n) to T ^?1. In this paper we classify real elements in M _o (n). Let T be an element in M _o (n). Corresponding to T there is an associated element T _o in SO(n + 1). If the complex conjugate eigenvalues of T _o are given by \({\{e^{i\theta_j}, e^{-i\theta_j}\}, 0 < \theta_j \leq \pi, j=1,\ldots,k}\) , then {θ₁, . . . , θ _k } are called the rotation angles of T. If the rotation angles of T are distinct from each-other, then T is called a regular element. After classifying the real elements in M _o (n) we have parametrized the conjugacy classes of regular elements in M _o (n). In the parametrization, when T is not conjugate to T ^?1 , we have enlarged the group and have considered the conjugacy class of T in M(n). We prove that each such conjugacy class can be induced with a fibration structure.     

The extrinsic holonomy Lie algebra of a parallel submanifold

We investigate parallel submanifolds of a Riemannian symmetric space N. The special case of a symmetric submanifold has been investigated by many authors before and is well understood. We observe that there is an intrinsic property of the second fundamental form which distinguishes full symmetric submanifolds from arbitrary full, complete, parallel submanifolds of N, usually called “1-fullness” of M. Furthermore, for every parallel submanifold \({M\subset N}\) we consider the pullback bundle T N| _M with the linear connection induced by \({\nabla^N}\) . Then there exists a distinguished parallel subbundle \({\mathcal {O}M}\) , usually called the “second osculating bundle” of M. Given a parallel isometric immersion from a symmetric space M into N, we can describe the “extrinsic” holonomy Lie algebra of \({\mathcal {O} M}\) by means of the second fundamental form and the curvature tensor of N at some fixed point. If moreover N is simply connected and M is even a full symmetric submanifold of N, then we will calculate the “extrinsic” holonomy Lie algebra of T N| _M in an explicit form.     

Detailed error analysis for a fractional Adams method with graded meshes

We consider a fractional Adams method for solving the nonlinear fractional differential equation \(\,^{C}_{0}D^{\alpha }_{t} y(t) = f(t, y(t)), \, \alpha >0\), equipped with the initial conditions \(y^{(k)} (0) = y_{0}^{(k)}, k=0, 1, \dots , \lceil \alpha \rceil -1\). Here, α may be an arbitrary positive number and ?α? denotes the smallest integer no less than α and the differential operator is the Caputo derivative. Under the assumption \(\,^{C}_{0}D^{\alpha }_{t} y \in C^{2}[0, T]\), Diethelm et al. (Numer. Algor. 36, 31–52, 2004) introduced a fractional Adams method with the uniform meshes t _n = T(n/N),n = 0,1,2,…,N and proved that this method has the optimal convergence order uniformly in t _n , that is O(N ^?2) if α > 1 and O(N ^?1?α ) if α ≤ 1. They also showed that if \(\,^{C}_{0}D^{\alpha }_{t} y(t) \notin C^{2}[0, T]\), the optimal convergence order of this method cannot be obtained with the uniform meshes. However, it is well-known that for y ∈ C ^m [0,T] for some \(m \in \mathbb {N}\) and 0 < α < m, the Caputo fractional derivative \(\,^{C}_{0}D^{\alpha }_{t} y(t) \) takes the form “\(\,^{C}_{0}D^{\alpha }_{t} y(t) = c t^{\lceil \alpha \rceil -\alpha } + \text {smoother terms}\)” (Diethelm et al. Numer. Algor. 36, 31–52, 2004), which implies that \(\,^{C}_{0}D^{\alpha }_{t} y \) behaves as t ^?α??α which is not in C ²[0,T]. By using the graded meshes t _n = T(n/N) ^r ,n = 0,1,2,…,N with some suitable r > 1, we show that the optimal convergence order of this method can be recovered uniformly in t _n even if \(\,^{C}_{0}D^{\alpha }_{t} y\) behaves as t ^σ ,0 < σ < 1. Numerical examples are given to show that the numerical results are consistent with the theoretical results.     

A solution to the Bézout equation in <Emphasis Type="Italic">A</Emphasis>(<Emphasis Type="Italic">K</Emphasis>) without Gelfand theory

Let \({M\subseteq \mathbb{C}}\) be compact and \({K\subseteq M}\) closed, and let A(K, M) be the uniform algebra of all functions continuous on M and holomorphic in the interior K° of K. We present a constructive proof of Arens’ classical result that for \({(f_{1},\ldots,f_{n})\in A(K,M)^{n}}\) the Bézout equation \({\sum_{j=1}^{n} a_{j}f_{j}=1}\) has a solution in A(K, M) if and only if the functions f _j have no common zero in K. We shall also consider matrix-valued Bézout equations.     

Classification of smooth structures on a homotopy complex projective space

We classify, up to diffeomorphism, all closed smooth manifolds homeomorphic to the complex projective n-space \(\mathbb {C}\textbf {P}^{n}\), where n=3 and 4. Let M²ⁿ be a closed smooth 2n-manifold homotopy equivalent to \(\mathbb {C}\textbf {P}^{n}\). We show that, up to diffeomorphism, M⁶ has a unique differentiable structure and M⁸ has at most two distinct differentiable structures. We also show that, up to concordance, there exist at least two distinct differentiable structures on a finite sheeted cover N²ⁿ of \(\mathbb {C}\textbf {P}^{n}\) for n=4,7 or 8 and six distinct differentiable structures on N¹⁰.     

Nonaffine differential-algebraic curves do not exist

The paper outlines why the spectrum of maximal ideals Spec _? A of a countable-dimensional differential ?-algebra A of transcendence degree 1 without zero divisors is locally analytic, which means that for any ?-homomorphism ψ _M: A → ? (M ∈ Spec _? A) and any a ∈ A the Taylor series \(\widetilde {{\psi _M}}{\left( a \right)^{\underline{\underline {def}} }}\sum\limits_{m = 0}^\infty {\psi M\left( {{a^{\left( m \right)}}} \right)} \frac{{{z^m}}}{{m!}}\) has nonzero radius of convergence depending on the element a ∈ A.     

On exponential sums over primes and application in Waring-Goldbach problem

In this paper, we prove the following estimate on exponential sums over primes: Let κ≥1,βκ=1/2 log κ/log2, x≥2 and α=a/q λsubject to (a, q) = 1, 1≤a≤q, and λ∈R. Then As an application, we prove that with at most O(N2/8 ε) exceptions, all positive integers up to N satisfying some necessary congruence conditions are the sum of three squares of primes. This result is as strong as what has previously been established under the generalized Riemann hypothesis.     

Estimates of sums of zero multiplicities for eigenfunctions of the Laplace-Beltrami operator

We obtain an upper estimate N?_χ(M) for the sum Q _N of singular zero multiplicities of the Nth eigenfunction of the Laplace-Beltrami operator on the two-dimensional, compact, connected Riemann manifold M, where _χ M is the Euler characteristic ofM. Stronger estimates, but equivalent asymptotically (N å ∞), are given for the cases of the sphere S ² and the projective plane ?². Asymptotically sharper estimates are shown for the case of a domain on the plane.