Local derivations of full matrix rings

Let \({\mathcal{R}}\) be a unital commutative ring and \({\mathcal{M}}\) be a 2-torsion free central \({\mathcal{R}}\) -bimodule. In this paper, for \({n \geqq 3}\), we show that every local derivation from M _n (\({\mathcal{R}}\)) into M _n (\({\mathcal{M}}\)) is a derivation.     

M-$${\mathcal{}}$$-Injective (Flat) and Strongly $${\mathcal{B}}$$B-Injective (Flat) Modules

Let M be a left R-module, \({\mathcal{A}}\)be a family of some submodules of M and \({\mathcal{B}}\)be a family of some left R-modules. In this article, we introduce and characterize \({\mathcal{A}}\)-coherent, \({P\mathcal{A}}\), \({F\mathcal{A}}\), M-\({\mathcal{A}}\)-injective (flat) and strongly \({\mathcal{B}}\)-injective (flat) modules, which are generalizations of coherent, PS, FS, M-injective (flat) and strongly M-injective modules, respectively. We extend some known results to this general structure.     

Qualitative properties of ideal convergent subsequences and rearrangements

We investigate the Baire category of \({\mathcal{I}}\)-convergent subsequences and rearrangements of a divergent sequence s = (s_n) of reals if \({\mathcal{I}}\) is an ideal on \({\mathbb{N}}\) having the Baire property. We also discuss the measure of the set of \({\mathcal{I}}\)-convergent subsequences for some classes of ideals on \({\mathbb{N}}\). Our results generalize theorems due to H. Miller and C. Orhan [16].     

Partially isometric immersions and free maps

In this paper we investigate the existence of “partially” isometric immersions. These are maps \({f:M\rightarrow \mathbb{R}^q}\) which, for a given Riemannian manifold M, are isometries on some sub-bundle \({\mathcal{H}\subset TM}\). The concept of free maps, which is essential in the Nash–Gromov theory of isometric immersions, is replaced here by that of \({\mathcal{H}}\) –free maps, i.e. maps whose restriction to \({\mathcal{H}}\) is free. We prove, under suitable conditions on the dimension q of the Euclidean space, that \({\mathcal{H}}\) –free maps are generic and we provide, for the smallest possible value of q, explicit expressions for \({\mathcal{H}}\) –free maps in the following three settings: 1–dimensional distributions in \({\mathbb{R}^2}\), Lagrangian distributions of completely integrable systems, Hamiltonian distributions of a particular kind of Poisson Bracket.     

Integer Decomposition Property of Free Sums of Convex Polytopes

Let \({\mathcal{P} \subset \mathbb{R}^{d}}\) and \({\mathcal{Q} \subset \mathbb{R}^{e}}\) be integral convex polytopes of dimension d and e which contain the origin of \({\mathbb{R}^{d}}\) and \({\mathbb{R}^{e}}\), respectively. We say that an integral convex polytope \({\mathcal{P}\subset \mathbb{R}^{d}}\) possesses the integer decomposition property if, for each \({n\geq1}\) and for each \({\gamma \in n\mathcal{P}\cap\mathbb{Z}^{d}}\), there exist \({\gamma^{(1)}, . . . , \gamma^{(n)}}\) belonging to \({\mathcal{P}\cap\mathbb{Z}^{d}}\) such that \({\gamma = \gamma^{(1)} +. . .+\gamma^{(n)}}\). In the present paper, under some assumptions, the necessary and sufficient condition for the free sum of \({\mathcal{P}}\) and \({\mathcal{Q}}\) to possess the integer decomposition property will be presented.     

A multidimensional Birkhoff theorem for time-dependent Tonelli Hamiltonians

Let M be a closed and connected manifold, \(H:T^*M\times {{\mathbb {R}}}/\mathbb {Z}\rightarrow \mathbb {R}\) a Tonelli 1-periodic Hamiltonian and \({\mathscr {L}}\subset T^*M\) a Lagrangian submanifold Hamiltonianly isotopic to the zero section. We prove that if \({\mathscr {L}}\) is invariant by the time-one map of H, then \({\mathscr {L}}\) is a graph over M. An interesting consequence in the autonomous case is that in this case, \({\mathscr {L}}\) is invariant by all the time t maps of the Hamiltonian flow of H.     

Spectral properties of continuous representations of topological groups

Let \({\mathcal{L}(X)}\) be the algebra of all bounded operators on a Banach space X. \({\theta:G\rightarrow \mathcal{L}(X)}\) denotes a strongly continuous representation of a topological abelian group G on X. Set \({\sigma^1(\theta(g)):=\{\lambda/|\lambda|,\lambda\in\sigma(\theta(g))\}}\), where σ(θ(g)) is the spectrum of θ(g) and \({\Sigma:=\{g\in G/\enskip\text{there is no} \enskip P\in \mathcal{P}/P\subseteq \sigma^1(\theta(g))\}}\), where \({\mathcal{P}}\) is the set of regular polygons of \({\mathbb{T}}\) (we call polygon in \({\mathbb{T}}\) the image by a rotation of a closed subgroup of \({\mathbb{T}}\), the unit circle of \({\mathbb{C}}\)). We prove here that if G is a locally compact and second countable abelian group, then θ is uniformly continuous if and only if Σ is non-meager.     

Codes with the identifiable parent property for multimedia fingerprinting

Let \({\mathcal {C}}\) be a q-ary code of length n and size M, and \({\mathcal {C}}(i) = \{\mathbf{c}(i) \ | \ \mathbf{c}=(\mathbf{c}(1), \mathbf{c}(2), \ldots , \mathbf{c}(n))^{T} \in {\mathcal {C}}\}\) be the set of ith coordinates of \({\mathcal {C}}\). The descendant code of a sub-code \({\mathcal {C}}^{'} \subseteq {\mathcal {C}}\) is defined to be \({\mathcal {C}}^{'}(1) \times {\mathcal {C}}^{'}(2) \times \cdots \times {\mathcal {C}}^{'}(n)\). In this paper, we introduce a multimedia analogue of codes with the identifiable parent property (IPP), called multimedia IPP codes or t-MIPPC(n, M, q), so that given the descendant code of any sub-code \({\mathcal {C}}^{'}\) of a multimedia t-IPP code \({\mathcal {C}}\), one can always identify, as IPP codes do in the generic digital scenario, at least one codeword in \({\mathcal {C}}^{'}\). We first derive a general upper bound on the size M of a multimedia t-IPP code, and then investigate multimedia 3-IPP codes in more detail. We characterize a multimedia 3-IPP code of length 2 in terms of a bipartite graph and a generalized packing, respectively. By means of these combinatorial characterizations, we further derive a tight upper bound on the size of a multimedia 3-IPP code of length 2, and construct several infinite families of (asymptotically) optimal multimedia 3-IPP codes of length 2.     

Einstein solvmanifolds: existence and non-existence questions

The aim of this paper is to study the problem of which solvable Lie groups admit an Einstein left invariant metric. The space \({\mathcal{N}}\) of all nilpotent Lie brackets on \({\mathbb{R}^n}\) parametrizes a set of (n + 1)-dimensional rank-one solvmanifolds \({\{S_{\mu}:\mu\in\mathcal{N}\}}\), containing the set of all those which are Einstein in that dimension. The moment map for the natural GL _n -action on \({\mathcal{N}}\), evaluated at \({\mu\in\mathcal{N}}\), encodes geometric information on S _μ and suggests the use of strong results from geometric invariant theory. For instance, the functional on \({\mathcal{N}}\) whose critical points are precisely the Einstein S _μ ’s, is the square norm of this moment map. We use a GL _n -invariant stratification for the space \({\mathcal{N}}\) and show that there is a strong interplay between the strata and the Einstein condition on the solvmanifolds S _μ . As an application, we obtain criteria to decide whether a given nilpotent Lie algebra can be the nilradical of a rank-one Einstein solvmanifold or not. We find several examples of \({\mathbb{N}}\)-graded (even 2-step) nilpotent Lie algebras which are not. A classification in the 7-dimensional, 6-step case and an existence result for certain 2-step algebras associated to graphs are also given.     

Gauge functions,Eikonal equations and Bôcher’s theorem on stratified Lie groups

Let \({\mathcal{L} = \sum_{i=1}^m X_i^2}\) be a real sub-Laplacian on a Carnot group \({\mathbb{G}}\) and denote by \({\nabla_\mathcal{L} = (X_1,\ldots,X_m)}\) the intrinsic gradient related to \({\mathcal{L}}\). Our aim in this present paper is to analyze some features of the \({\mathcal{L}}\)-gauge functions on \({\mathbb{G}}\), i.e., the homogeneous functions d such that \({\mathcal{L}(d^\gamma) = 0}\) in \({\mathbb{G} \setminus \{0\}}\) , for some \({\gamma \in \mathbb{R} \setminus \{0\}}\). We consider the relation of \({\mathcal{L}}\)-gauge functions with: the \({\mathcal{L}}\)-Eikonal equation \({|\nabla_\mathcal{L} u| = 1}\) in \({\mathbb{G}}\); the Mean Value Formulas for the \({\mathcal{L}}\)-harmonic functions; the fundamental solution for \({\mathcal{L}}\); the Bôcher-type theorems for nonnegative \({\mathcal{L}}\)-harmonic functions in “punctured” open sets \({\dot \Omega:= \Omega \setminus \{x_0\}}\).     

On the computation of spherical designs by a new optimization approach based on fast spherical Fourier transforms

Spherical t-designs are point sets \(X_{M}=\{x_{1},\ldots, x_{M}\} \subset {\mathbb{S}^{2}}\) which provide quadrature rules with equal weights for the sphere which are exact for polynomials up to degree t. In this paper we consider the problem of finding numerical spherical t-designs on the sphere \({\mathbb{S}^{2}}\) for high polynomial degree \({t \in {\mathbb{N}}}\) . That is, we compute numerically local minimizers of a certain quadrature error A _t (X _M ). The quadrature error A _t was also used for a variational characterization of spherical t-designs by Sloan and Womersley (J Approx Theory 159:308–318, 2009). For the minimization problem we regard several nonlinear optimization methods on manifolds, like Newton and conjugate gradient methods. We show that by means of the nonequispaced fast spherical Fourier transforms we perform gradient and Hessian evaluations in \({\mathcal {O}(t^{2}\log t + M \log^{2}(1/\varepsilon))}\) arithmetic operations, where \({\varepsilon >0 }\) is a prescribed accuracy. Using these methods we present numerical spherical t-designs for t ≤  1,000, even in the case \({M\approx \frac{1}{2} t^{2}}\) .     

Uniform in bandwidth exact rates for a class of kernel estimators

Given an i.i.d sample (Y _i , Z _i ), taking values in \({\mathbb{R}^{d'}\times\mathbb{R}^d}\), we consider a collection Nadarya–Watson kernel estimators of the conditional expectations \({\mathbb{E}( <\,c_g(z),g(Y)>+d_g(z)\mid Z=z)}\), where z belongs to a compact set \({H\subset \mathbb{R}^d}\), g a Borel function on \({\mathbb{R}^{d'}}\) and c _g (·), d _g (·) are continuous functions on \({\mathbb{R}^d}\). Given two bandwidth sequences \({h_n<\mathfrak{h}_n}\) fulfilling mild conditions, we obtain an exact and explicit almost sure limit bounds for the deviations of these estimators around their expectations, uniformly in \({g\in\mathcal{G},\;z\in H}\) and \({h_n\le h\le \mathfrak{h}_n}\) under mild conditions on the density f _Z , the class \({\mathcal{G}}\), the kernel K and the functions c _g (·), d _g (·). We apply this result to prove that smoothed empirical likelihood can be used to build confidence intervals for conditional probabilities \({\mathbb{P}( Y\in C\mid Z=z)}\), that hold uniformly in \({z\in H,\; C\in \mathcal{C},\; h\in [h_n,\mathfrak{h}_n]}\). Here \({\mathcal{C}}\) is a Vapnik–Chervonenkis class of sets.     

A deterministic sparse FFT algorithm for vectors with small support

In this paper we consider the special case where a signal x\({\in }\,\mathbb {C}^{N}\) is known to vanish outside a support interval of length m < N. If the support length m of x or a good bound of it is a-priori known we derive a sublinear deterministic algorithm to compute x from its discrete Fourier transform \(\widehat {\mathbf x}\,{\in }\,\mathbb {C}^{N}\). In case of exact Fourier measurements we require only \({\mathcal O}\)(m\(\log \)m) arithmetical operations. For noisy measurements, we propose a stable \({\mathcal O}\)(m\(\log \)N) algorithm.     

On permutable meromorphic functions

We study the class \({\mathcal{M}}\) of functions meromorphic outside a countable closed set of essential singularities. We show that if a function in \({\mathcal{M}}\), with at least one essential singularity, permutes with a non-constant rational map g, then g is a Möbius map that is not conjugate to an irrational rotation. For a given function \({f \in\mathcal{M}}\) which is not a Möbius map, we show that the set of functions in \({\mathcal{M}}\) that permute with f is countably infinite. Finally, we show that there exist transcendental meromorphic functions \({f : \mathbb{C} \to \mathbb{C}}\) such that, among functions meromorphic in the plane, f permutes only with itself and with the identity map.     

Maximum Principle for H-Surfaces in the Unit Cone and Dirichlet’s Problem for their Equation in Central Projection

In the unit cone\({\mathcal{C} := \{(x, y, z)} \in {\mathbb R}^{3} : {x}^{2} + {y}^{2} < {z}^{2}, {z} > {0}\}\) we establish a geometric maximum principle for H-surfaces, where its mean curvature \({H = H(x, y, z)}\) is optimally bounded. Consequently, these surfaces cannot touch the conical boundary \({\partial \mathcal{C}}\) at interior points and have to approach \({\partial \mathcal{C}}\) transversally. By a nonlinear continuity method, we then solve the Dirichlet problem of the H-surface equation in central projection for Jordan-domains \({\Omega}\) which are strictly convex in the following sense: On its whole boundary \({\partial \mathcal{C}(\Omega)}\) their associate cone \({\mathcal{C}(\Omega) := \{(rx, ry, r) \in {\mathbb R}^{3} : (x, y) \in \Omega, r \in (0,+\infty)}\}\) admits rotated unit cones \({O \circ \mathcal{C}}\) as solids of support, where \({O \in {\mathbb R}^{3\times3}}\) represents a rotation in the Euclidean space. Thus we construct the unique H-surface with one-to-one central projection onto these domains \({\Omega}\) bounding a given Jordan-contour \({\Gamma \subset \mathcal{C} \backslash \{0\}}\) with one-toone central projection.     

Fourth-order Schrödinger type operator with singular potentials

We prove that a deformation of a hypersurface in an (n + 1)-dimensional real space form \({{\mathbb S}^{n+1}_{p,1}}\) induces a Hamiltonian variation of the normal congruence in the space \({{\mathbb L}({\mathbb S}^{n+1}_{p,1})}\) of oriented geodesics. As an application, we show that every Hamiltonian minimal submanifold in \({{\mathbb L}({\mathbb S}^{n+1})}\) (resp. \({{\mathbb L}({\mathbb H}^{n+1})}\)) with respect to the (para-)Kähler Einstein structure is locally the normal congruence of a hypersurface \({\Sigma}\) in \({{\mathbb S}^{n+1}}\) (resp. \({{\mathbb H}^{n+1}}\)) that is a critical point of the functional \({{\mathcal W}(\Sigma) = \int_\Sigma\left(\Pi_{i=1}^n|\epsilon+k_i^2|\right)^{1/2}}\), where k_i denote the principal curvatures of \({\Sigma}\) and \({\epsilon \in \{-1, 1\}}\). In addition, for \({n = 2}\), we prove that every Hamiltonian minimal surface in \({{\mathbb L}({\mathbb S}^{3})}\) (resp. \({{\mathbb L}({\mathbb H}^{3})}\)), with respect to the (para-)Kähler conformally flat structure, is the normal congruence of a surface in \({{\mathbb S}^{3}}\) (resp. \({{\mathbb H}^{3}}\)) that is a critical point of the functional \({{\mathcal W}\prime(\Sigma) = \int_\Sigma\sqrt{H^2-K+1}}\) (resp. \({{\mathcal W}\prime(\Sigma) = \int_\Sigma\sqrt{H^2-K-1}}\)), where H and K denote, respectively, the mean and Gaussian curvature of \({\Sigma}\).     

On the additivity of block designs

We show that symmetric block designs \({\mathcal {D}}=({\mathcal {P}},{\mathcal {B}})\) can be embedded in a suitable commutative group \({\mathfrak {G}}_{\mathcal {D}}\) in such a way that the sum of the elements in each block is zero, whereas the only Steiner triple systems with this property are the point-line designs of \({\mathrm {PG}}(d,2)\) and \({\mathrm {AG}}(d,3)\). In both cases, the blocks can be characterized as the only k-subsets of \(\mathcal {P}\) whose elements sum to zero. It follows that the group of automorphisms of any such design \(\mathcal {D}\) is the group of automorphisms of \({\mathfrak {G}}_\mathcal {D}\) that leave \(\mathcal {P}\) invariant. In some special cases, the group \({\mathfrak {G}}_\mathcal {D}\) can be determined uniquely by the parameters of \(\mathcal {D}\). For instance, if \(\mathcal {D}\) is a 2-\((v,k,\lambda )\) symmetric design of prime order p not dividing k, then \({\mathfrak {G}}_\mathcal {D}\) is (essentially) isomorphic to \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\), and the embedding of the design in the group can be described explicitly. Moreover, in this case, the blocks of \(\mathcal {B}\) can be characterized also as the v intersections of \(\mathcal {P}\) with v suitable hyperplanes of \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\).     

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.     

Complex homomorphisms on self-conjugate algebras of functions

Let X be a non-void set and A be a subalgebra of \({\mathbb{C}^{X}}\) . We call a \({\mathbb{C}}\) -linear functional \({\varphi}\) on A a 1-evaluation if \({\varphi(f) \in f(X) }\) for all \({f\in A}\) . From the classical Gleason–Kahane–?elazko theorem, it follows that if X in addition is a compact Hausdorff space then a mapping \({\varphi}\) of \({C_{\mathbb{C}}(X) }\) into \({\mathbb{C}}\) is a 1-evaluation if and only if \({\varphi}\) is a \({\mathbb{C}}\) -homomorphism. In this paper, we aim to investigate the extent to which this equivalence between 1-evaluations and \({\mathbb{C}}\) -homomorphisms can be generalized to a wider class of self-conjugate subalgebras of \({\mathbb{C}^{X}}\) . In this regards, we prove that a \({\mathbb{C}}\) -linear functional on a self-conjugate subalgebra A of \({\mathbb{C}^{X}}\) is a positive \({\mathbb{C}}\) -homomorphism if and only if \({\varphi}\) is a \({\overline{1}}\) -evaluation, that is, \({\varphi(f) \in\overline{f\left(X\right)}}\) for all \({f\in A}\) . As consequences of our general study, we prove that 1-evaluations and \({\mathbb{C}}\) -homomorphisms on \({C_{\mathbb{C}}\left( X\right)}\) coincide for any topological space X and we get a new characterization of realcompact topological spaces.     

On a Class of Weakly Coupled Systems of Elliptic Operators with Unbounded Coefficients

We consider a class of weakly coupled systems of elliptic operators \({\mathcal{A}}\) with unbounded coefficients defined in \({\mathbb{R}^N}\). We prove that a semigroup (T(t))t ≥ 0 of bounded linear operators can be associated with \({\mathcal{A}}\), in a natural way, in the space of all bounded and continuous functions. We prove a compactness property of the semigroup as well as some uniform estimates on the derivatives of the function T(t)f, when f belongs to some spaces of Hölder continuous functions, which are the key tools to prove some optimal Schauder estimates for the solution to some nonhomogeneous elliptic equations and Cauchy problems associated with the operator \({\mathcal{A}}\). Under suitable additional conditions, we then prove that the restriction of the semigroup to the subspace of smooth and compactly supported functions extends by a strongly continuous semigroup to L ^p -spaces over \({\mathbb{R}^N}\), related to the Lebesgue measure, when \({p \in [1,\infty)}\). We also provide sufficient conditions for this semigroup to be analytic when \({p \in [1,\infty)}\). Finally, we prove some L ^p ?L ^q -estimates.