Some Consequences of Schanuel's Conjecture in Exponential Rings

In last years Schanuel's Conjecture has played a fundamental role in Transcendental Number Theory and in decidability issues.

In this article we investigate algebraic relations among the elements of the exponential field (?, e ^x ) modulo Schanuel's Conjecture. We prove that there are no further relations between π and i assuming Schanuel's Conjecture except the known ones, e ^πi  = ?1 and i ² = ?1. Moreover, modulo Schanuel's Conjecture we prove that the E-subring of ? generated by π is isomorphic to the free exponential ring on π.     

Symmetric Jacobians

This article is about polynomial maps with a certain symmetry and/or antisymmetry in their Jacobians, and whether the Jacobian Conjecture is satisfied for such maps, or whether it is sufficient to prove the Jacobian Conjecture for such maps. For instance, we show that it suffices to prove the Jacobian conjecture for polynomial maps x + H over ? such that satisfies all symmetries of the square, where H is homogeneous of arbitrary degree d ≥ 3.     

Minimal Blocking Sets in PG(n, 2) and Covering Groups by Subgroups

In this article we prove that a set of points B of PG(n, 2) is a minimal blocking set if and only if ?B? = PG(d, 2) with d odd and B is a set of d + 2 points of PG(d, 2) no d + 1 of them in the same hyperplane. As a corollary to the latter result we show that if G is a finite 2-group and n is a positive integer, then G admits a ? _n+1-cover if and only if n is even and G? (C ₂) ⁿ , where by a ? _m -cover for a group H we mean a set 𝒞 of size m of maximal subgroups of H whose set-theoretic union is the whole H and no proper subset of 𝒞 has the latter property and the intersection of the maximal subgroups is core-free. Also for all n < 10 we find all pairs (m,p) (m > 0 an integer and p a prime number) for which there is a blocking set B of size n in PG(m,p) such that ?B? = PG(m,p).     

The Semilinear Wave Equation on Asymptotically Euclidean Manifolds

We consider the quadratically semilinear wave equation on (? ^d , 𝔤), d ≥ 3. The metric 𝔤 is non-trapping and approaches the Euclidean metric like ?x?^?ρ. Using Mourre estimates and the Kato theory of smoothness, we obtain, for ρ > 0, a Keel–Smith–Sogge type inequality for the linear equation. Thanks to this estimate, we prove long time existence for the nonlinear problem with small initial data for ρ ≥ 1. Long time existence means that, for all n > 0, the life time of the solution is a least δ^?n , where δ is the size of the initial data in some appropriate Sobolev space. Moreover, for d ≥ 4 and ρ > 1, we obtain global existence for small data.     

Reducibility of Punctual Hilbert Schemes of Cone Varieties

In this short note we show that for any pair of positive integers (d, n) with n > 2 and d > 1 or n = 2 and d > 4, there always exist projective varieties X ? ? ^N of dimension n and degree d and an integer s ₀ such that Hilb ^s (X) is reducible for all s ≥ s ₀. X will be a projective cone in ? ^N over an arbitrary projective variety Y ? ? ^N?1. In particular, we show that, opposite to the case of smooth surfaces, there exist projective surfaces with a single isolated singularity which have reducible Hilbert scheme of points.     

Sufficient Condition to Resolve Costa's First Conjecture

In this work, we give a sufficient condition to resolve Costa's first conjecture for each positive integer n and d with n ≥ 4. Precisely, we show that if there exists a local ring (A, M) such that λ _A (M) = n, and if there exists an (n + 2)-presented A-submodule of M ^m , where m is a positive integer (for instance, if M contains a regular element), then we may construct an example of (n + 4, d)-ring which is neither an (n + 3, d)-ring nor an (n + 4, d ? 1)-ring. Finally, we construct a local ring (B, M) such that λ _B (M) = 0 (resp., λ _B (M) = 1) and so we exhibit for each positive integer d, an example of a (4, d)-ring (resp., (5, d)-ring) which is neither a (4, d ? 1)-ring (resp., neither a (5, d ? 1)-ring) nor a (2, d′)-ring (resp., nor a (3, d′)-ring) for each positive integer d′.     

The Isaacs–Navarro conjecture for covering groups of the symmetric and alternating groups in odd characteristic

In this paper, we prove that a refinement of the Alperin–McKay Conjecture for p-blocks of finite groups, formulated by I.M. Isaacs and G. Navarro in 2002, holds for all covering groups of the symmetric and alternating groups, whenever p is an odd prime.     

Construction of k-Angle Tight Frames

Frames have become standard tools in signal processing due to their robustness against transmission errors and their resilience to noise. Equiangular tight frames (ETFs) are particularly useful and have been shown to be optimal for transmission under a certain number of erasures. Unfortunately, ETFs do not exist in many cases and are hard to construct when they do exist. However, it is known that an ETF of d + 1 vectors in a d dimensional space always exists. This article gives an explicit construction of ETFs of d + 1 vectors in a d dimensional space. This construction works for both real and complex cases and is simpler than existing methods. The absence of ETFs of arbitrary sizes in a given space leads to generalizations of ETFs. One way to do this to consider tight frames where the set of (acute) angles between pairs of vectors has k distinct values. This article presents a construction of tight frames such that for a given value of k, the angles between pairs of vectors take at most k distinct values. These tight frames can be related to regular graphs and association schemes.     

Algebraic Versus Homological Equivalence for Singular Varieties

Let Y ? ?^N be a possibly singular projective variety, defined over the field of complex numbers. Let X be the intersection of Y with h general hypersurfaces of sufficiently large degrees. Let d > 0 be an integer, and assume that dimY = n + h and dimY_sing ≤ min {d + h ? 1, n ? 1}. Let Z be an algebraic cycle on Y of dimension d + h, whose homology class in H_2(d+h)(Y; ?) is nonzero. In the present article, we prove that the restriction of Z to X is not algebraically equivalent to zero. This is a generalization to the singular case of a result due to Nori in the case Y is smooth. As an application we provide explicit examples of singular varieties for which homological equivalence is different from the algebraic one.     

On Φ-Derivation in Banach Algebras

Using Bre?ar and ?emrl approach, we give a proof of the extended Jacobson density theorem for Φ-derivations. Further, some applications on Banach algebras will be given. Precisely, for d being a continuous Φ-derivation on a given Banach algebra ?, we show that: d(?) ? rad (?) ? [b,[a, d(a)]] ∈ rad (?) for all a, b ∈ ? and d leaves invariant all maximal ideals of codimension one?for every a ∈ ? there exists a positive integer n such that (d(a)) ⁿ is quasi-nilpotent ? [d, Φ](?) ? rad (?) and d ²(a) ∈ rad (?) for all a ∈ ?. Finally, we characterize all pairs d, δ of continuous Φ-derivations such that dδ(a) is quasi-nilpotent for all a ∈ ? and [d, δ](?), [d, Φ](?), [δ,Φ](?) are subsets of rad (?).     

Coupled Random Fixed Point Theorems for Nonlinear Contractions in Partially Ordered Metric Spaces

Abstract

Let (X, ≤) be a partially ordered set and suppose there is a metric d on X such that (X, d) is a complete separable metric space and (Ω, Σ) be a measurable space. In this article a pair of random mappings F: Ω × (X × X) → X and g: Ω × X → X, where F has a mixed g-monotone property on X, and F and g satisfy the non-linear contractive condition (5) below, are introduced and investigated. Two coupled random coincidence and coupled random fixed point theorems are proved. These results are random versions and extensions of recent results of Lakshmikantham and ?iri? [V. Lakshmikantham and Lj. ?iri?, Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal.—Theor. 70(12) (2009): 4341–4349] and include several recent developments.     

Irreducibility Criterion Over Finite Fields

The aim of this article is to prove the irreducibility of the polynomial Λ(Y) = Y ^d  + λ _d?1 Y ^d?1 + … + λ₀ over 𝔽 _q [X] where λ _i ∈ 𝔽 _q [X] and deg λ _d?1 > deg λ _i for each i ≠ d ? 1. We discuss in particular connections between the irreducible polynomials Λ and the number of Pisot elements in the case of formal power series.     

L p Error Estimates for Scattered Data Interpolation On Spheres

In this article, working with the sphere 𝕊 ^d embedded in the (d + 1)-dimensional Euclidean space ? ^d+1 as the underlying manifold, we obtain an error estimate for interpolating functions f ∈ H _μ from shifts of a smooth positive definite function defined on 𝕊 ^d , where H _μ is a Sobolev space. We also get an L ^p error estimate for f by using a method of Duchon framework.     

Low Frequency Estimates and Local Energy Decay for Asymptotically Euclidean Laplacians

For Riemannian metrics G on ? ^d which are long range perturbations of the flat one, we prove estimates for (? Δ _G  ? λ ?iε)^?n as λ → 0, which are uniform with respect to ε, for all n ≤ [d/2] +1 in odd dimension and n ≤ d/2 in even dimension. We also give applications to the time decay of Schrödinger and Wave (or Klein–Gordon) equations.     

Planelike minimizers in periodic media

We show that given an elliptic integrand ?? in ?^d that is periodic under integer translations, and given any plane in ?^d, there is at least one minimizer of ?? that remains at a bounded distance from this plane. This distance can be bounded uniformly on the planes. We also show that, when folded back to ?^d/?^d, the minimizers we construct give rise to a lamination. One particular case of these results is minimal surfaces for metrics invariant under integer translations. The same results hold for other functionals that involve volume terms (small and average zero). In such a case the minimizers satisfy the prescribed mean curvature equation. A further generalization allows the formulation and proof of similar results in manifolds other than the torus provided that their fundamental group and universal cover satisfy some hypotheses. © 2001 John Wiley & Sons, Inc.     

On the Witt Vectors of Perfect Rings in Positive Characteristic

The purpose of this article is to prove some results on the Witt vectors of perfect F _p -algebras. Let A be a perfect F _p -algebra for a prime integer p, and assume that A has the property P. Then does the ring of Witt vectors of A also have P? A main theorem gives an affirmative answer for P = ″integrally closed” under a very mild condition.     

A New Characterization of A 10 by its Noncommuting Graph

Let G be a nonabelian group and associate a noncommuting graph ?(G) with G as follows: The vertex set of ?(G) is G\Z(G) with two vertices x and y joined by an edge whenever the commutator of x and y is not the identity. In 1987, Professor J. G. Thompson gave the following conjecture.

Thompson's Conjecture. If G is a finite group with Z(G) = 1 and M is a nonabelian simple group satisfying N(G) = N(M), then G ? M, where N(G):={n ∈ ? | G has a conjugacy class of size n}.

In 2006, A. Abdollahi, S. Akbari, and H. R. Maimani put forward a conjecture (AAM's conjecture) in Abdollahi et al. (2006) as follows.

AAM's Conjecture. Let M be a finite nonabelian simple group and G a group such that ?(G) ? ? (M). Then G ? M.

In this short article we prove that if G is a finite group with ?(G) ? ? (A ₁₀), then G ? A ₁₀, where A ₁₀ is the alternating group of degree 10.     

A General Theory of Almost Splitting Sets

Let * be a star-operation of finite type on an integral domain D. In this paper, we generalize and study the concept of almost splitting sets. We define a saturated multiplicative subset S of D to be an almost g*-splitting set of D if for each 0 ≠ d ∈ D, there exists an integer n = n(d) ≥1 such that d ⁿ  = st for some s ∈ S and t ∈ D with (t, s′)_* = D for all s′ ∈ S. Among other things, we prove that every saturated multiplicative subset of D is an almost g*-splitting set if and only if D is an almost weakly factorial domain (AWFD) with *-dim (D) = 1. We also give an example of an almost g*-splitting set which is not a g*-splitting set.     

On Rings with Locally Nilpotent Skew Derivations

In this article, we examine algebras with a locally nilpotent q-skew σ-derivation d when there is an element x such that d(x) = 1 and either q is not a root of 1 or q = 1 in characteristic zero. When characteristic p > 0, we also examine the situation where d is an ordinary derivation.