Lie Triple Derivations on von Neumann Algebras

Let A be a von Neumann algebra with no central abelian projections. It is proved that if an additive map δ :A → A satisfies δ([[a, b], c]) = [[δ(a), b], c] + [[a, δ(b)], c] +[[a, b], δ(c)] for any a, b, c∈ A with ab = 0(resp. ab = P, where P is a fixed nontrivial projection in A), then there exist an additive derivation d from A into itself and an additive map f :A → ZA vanishing at every second commutator [[a, b], c] with ab = 0(resp.ab = P) such that δ(a) = d(a) + f(a) for any a∈ A.     

Equations in finite fields with restricted solution sets. I (Character sums)

In earlier papers, for “large” (but otherwise unspecified) subsets A, B of Z _p and for h(x) ∈ Z _p [x], Gyarmati studied the solvability of the equations a + b = h(x), resp. ab = h(x) with a ∈ A, b ∈ B, x ∈ Z _p , and for large subsets A, B, C, D of Z _p Sárközy showed the solvability of the equations a + b = cd, resp. ab + 1 = cd with a ∈ A, b ∈ B, c ∈ C, d ∈ D. In this series of papers equations of this type will be studied in finite fields. In particular, in Part I of the series we will prove the necessary character sum estimates of independent interest some of which generalize earlier results.     

The One-Sided Inverse Along an Element in Semigroups and Rings

The concept of the inverse along an element was introduced by Mary in 2011. Later, Zhu et al. introduced the one-sided inverse along an element. In this paper, we first give a new existence criterion for the one-sided inverse along a product and characterize the existence of Moore–Penrose inverse by means of one-sided invertibility of certain element in a ring. In addition, we show that \(a\in S^{\dagger }\bigcap S^{\#}\) if and only if \((a^{*}a)^{k}\) is invertible along a if and only if \((aa^{*})^{k}\) is invertible along a in a \(*\)-monoid S, where k is an arbitrary given positive integer. Finally, we prove that the inverse of a along \(aa^{*}\) coincides with the core inverse of a under the condition \(a\in S^{\{1,4\}}\) in a \(*\)-monoid S.     

Estimates for the Involution of Decomposable Elements of a Complex Banach Algebra

An element a of a complex Banach algebra with unit \(1I\) and with standard conditions on the norm (‖ab‖ ? ‖a‖ · ‖b‖ and ‖\(1I\)‖ = 1) is said to be Hermitian if ‖e ^ita ‖ = 1 for any real number t. An element is said to be decomposable if it admits a representation of the form a + ib in which a and b are Hermitian. The decomposable elements form a Banach Lie algebra (with respect to the commutator). The Hermitian components are determined uniquely, and hence this Lie algebra has the natural involution a + ib = x → x* = a ? ib. One can readily see that ‖x*‖ ? 2‖x‖. Among other things, we prove that ‖ x*‖ ? γ‖x‖, where γ < 2. In fact, the situation is treated in more detail: the original problem is included in a continuous family parametrized by the numerical radius of the element. Finding the exact value of the constant γ is reduced to a variational problem in the theory of entire functions of exponential type. Approximately, γ is equal to 1.92 ± 0.04.     

On a question of Sárközy on gaps of product sequences

Motivated by a question of Sárközy, we study the gaps in the product sequence B = A · A = {b ₁ < b ₂ < …} of all products a _i a _j with a _i , a _j ∈ A when A has upper Banach density α > 0. We prove that there are infinitely many gaps b _n+1 ? b _n ? α ^?3 and that for t ≥ 2 there are infinitely many t-gaps b _n+t ? b _n ? t ² α ^?4. Furthermore, we prove that these estimates are best possible.We also discuss a related question about the cardinality of the quotient set A/A = {a _i /a _j , a _i , a _j ∈ A} when A ? {1, …, N} and |A| = αN.     

When does the zero-one <Emphasis Type="Italic">k</Emphasis>-law fail?

The limit probabilities of the first-order properties of a random graph in the Erd?s–Rényi model G(n, n^?α), α ∈ (0, 1), are studied. A random graph G(n, n^?α) is said to obey the zero-one k-law if, given any property expressed by a formula of quantifier depth at most k, the probability of this property tends to either 0 or 1. As is known, for α = 1? 1/(2^k?1 + a/b), where a > 2^k?1, the zero-one k-law holds. Moreover, this law does not hold for b = 1 and a ≤ 2^k?1 ? 2. It is proved that the k-law also fails for b > 1 and a ≤ 2^k?1 ? (b + 1)².     

Chowla’s cosine problem

A continuous linear map T from a Banach algebra A into another B approximately preserves the zero products if ‖T(a)T(b)‖ ≤ α‖a‖‖b‖ (a,b ∈ A, ab = 0) for some small positive α. This paper is mainly concerned with the question of whether any continuous linear surjective map T: A → B that approximately preserves the zero products is close to a continuous homomorphism from A onto B with respect to the operator norm. We show that this is indeed the case for amenable group algebras.     

Generalized derivations acting on multilinear polynomials in prime rings

Let R be a noncommutative prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, let F, G and H be three generalized derivations of R, I an ideal of R and f(x₁,..., x _n ) a multilinear polynomial over C which is not central valued on R. If

$$F(f(r))G(f(r)) = H(f(r)^2 )$$

for all r = (r₁,..., r _n ) ∈ I ⁿ , then one of the following conditions holds:

1. (1)
   there exist a ∈ C and b ∈ U such that F(x) = ax, G(x) = xb and H(x) = xab for all x ∈ R
    
2. (2)
   there exist a, b ∈ U such that F(x) = xa, G(x) = bx and H(x) = abx for all x ∈ R, with ab ∈ C
    
3. (3)
   there exist b ∈ C and a ∈ U such that F(x) = ax, G(x) = bx and H(x) = abx for all x ∈ R
    
4. (4)
   f(x₁,..., x _n )² is central valued on R and one of the following conditions holds

   1. (a)
      there exist a, b, p, p’ ∈ U such that F(x) = ax, G(x) = xb and H(x) = px + xp’ for all x ∈ R, with ab = p + p’
       
   2. (b)
      there exist a, b, p, p’ ∈ U such that F(x) = xa, G(x) = bx and H(x) = px + xp’ for all x ∈ R, with p + p’ = ab ∈ C.
       
    

     

A sufficient condition for nilpotency of the commutator subgroup

Let G be a finite group with the property that if a and b are commutators of coprime orders, then |ab| = |a||b|. We show that G′ is nilpotent.     

Dynamic control for non-linear systems with delay

We consider some class of non-linear systems of the form

$\dot x = A( \cdot )x + \sum\limits_{i = 1}^l {A_i ( \cdot )x(t - \tau _i (t)) + b( \cdot )u} ,$

where A(·) ∈ ? ^{n × n} , A _i (·) ∈ ? ^{n × n} , b(·) ∈ ? ⁿ , whose coefficients are arbitrary uniformly bounded functionals.

A special type of the Lyapunov-Krasovskii functional is used to synthesize dynamic control described by the equation

$\dot u = \rho ( \cdot )u + (m( \cdot ),x),$

where ρ(·) ∈ ?¹, m(·) ∈ ? ⁿ , which makes the system globally asymptotically stable. Also, the situation is considered where the control u enters into the system not directly but through a pulse element performing an amplitude-frequency modulation.

     

Clark model in the general situation

For a unitary operator U in a Hilbert space H the family of its unitary perturbations by rank one operators with fixed range is parametrized by a complex parameter γ, ?γ? = 1. Namely, all such unitary perturbations are operators U_γ:= U + (γ ? 1)( ·, b₁)_Hb, where b ∈ H, ∥b∥ = 1, b₁ = U^?1b, ?γ? = 1. For ?γ? < 1, the operators U_γ are contractions with one-dimensional defects.     

On Lehmer’s problem and Dedekind sums

Let p be an odd prime and c a fixed integer with (c, p) = 1. For each integer a with 1 ≤ a ≤ p ? 1, it is clear that there exists one and only one b with 0 ? b ? p ? 1 such that ab ≡ c (mod p). Let N(c, p) denote the number of all solutions of the congruence equation ab ≡ c (mod p) for 1 ? a, b ? p?1 in which a and \(\overline b \) are of opposite parity, where \(\overline b \) is defined by the congruence equation b\(\overline b \) ≡ 1 (mod p). The main purpose of this paper is to use the properties of Dedekind sums and the mean value theorem for Dirichlet L-functions to study the hybrid mean value problem involving N(c, p)?½φ(p) and the Dedekind sums S(c, p), and to establish a sharp asymptotic formula for it.     

Existence Criteria and Expressions of the (<Emphasis Type="Italic">b</Emphasis>, <Emphasis Type="Italic">c</Emphasis>)-Inverse in Rings and Their Applications

Let R be a ring. Existence criteria for the (b, c)-inverse are given. We present explicit expressions for the (b, c)-inverse by using inner inverses. We answer the question when the (b, c)-inverse of \(a\in R\) is an inner inverse of a. As applications, we give a unified theory of some well-known results of the \(\{1,3\}\)-inverse, the \(\{1,4\}\)-inverse, the Moore–Penrose inverse, the group inverse and the core inverse.     

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.     

Automorphism group of Green ring of Sweedler Hopf algebra

Let H ₂ be Sweedler’s 4-dimensional Hopf algebra and r(H ₂) be the corresponding Green ring of H ₂. In this paper, we investigate the automorphism groups of Green ring r(H ₂) and Green algebra F(H ₂) = r(H ₂)?_? F, where F is a field, whose characteristics is not equal to 2. We prove that the automorphism group of r(H ₂) is isomorphic to K ₄, where K ₄ is the Klein group, and the automorphism group of F(H ₂) is the semidirect product of ?₂ and G, where G = F {1/2} with multiplication given by a · b = 1? a ? b + 2ab.     

Behavior of the Fourier–Walsh coefficients of a corrected function

We prove that, given a sequence {ak}_k=1^∞ with a_k ↓ 0 and {ak}_k=1^∞ ? l₂, reals 0 < ε < 1 and p ∈ [1, 2], and f ∈ L^p(0, 1), we can find f ∈ L^p(0, 1) with mes{f ≠ f < ε whose nonzero Fourier–Walsh coefficients c_k(f) are such that |c_k(f)| = a_k for k ∈ spec(f).     

Computational Complexity of the Vertex Cover Problem in the Class of Planar Triangulations

We study the computational complexity of the vertex cover problem in the class of planar graphs (planar triangulations) admitting a plane representation whose faces are triangles. It is shown that the problem is strongly NP-hard in the class of 4-connected planar triangulations in which the degrees of vertices are of order O(log n), where n is the number of vertices, and in the class of plane 4-connected Delaunay triangulations based on the Minkowski triangular distance. A pair of vertices in such a triangulation is adjacent if and only if there is an equilateral triangle ?(p, λ) with p ∈ R² and λ > 0 whose interior does not contain triangulation vertices and whose boundary contains this pair of vertices and only it, where ?(p, λ) = p + λ? = {x ∈ R²: x = p + λa, a ∈ ?}; here ? is the equilateral triangle with unit sides such that its barycenter is the origin and one of the vertices belongs to the negative y-axis. Keywords: computational complexity, Delaunay triangulation, Delaunay TD-triangulation.     

Cocycle rigidity of abelian partially hyperbolic actions

Suppose G is a higher-rank connected semisimple Lie group with finite center and without compact factors. Let G = G or G = G ? V, where V is a finite-dimensional vector space V. For any unitary representation (π,H) of G, we study the twisted cohomological equation π(a)f ? λf = g for partially hyperbolic element a ∈ G and λ ∈ U(1), as well as the twisted cocycle equation π(a₁)f ? λ1f = π(a₂)g ? λ₂g for commuting partially hyperbolic elements a₁, a₂ ∈ G. We characterize the obstructions to solving these equations, construct smooth solutions and obtain tame Sobolev estimates for the solutions. These results can be extended to partially hyperbolic flows in parallel.As an application, we prove cocycle rigidity for any abelian higher-rank partially hyperbolic algebraic actions. This is the first paper exploring rigidity properties of partially hyperbolic that the hyperbolic directions don’t generate the whole tangent space. The result can be viewed as a first step toward the application of KAM method in obtaining differential rigidity for these actions in future works.     

Differences of Idempotents In <Emphasis Type="Italic">C</Emphasis>*-Algebras and the Quantum Hall Effect

Let ? be a trace on the unital C*-algebra A and M _? be the ideal of the definition of the trace ?. We obtain a C*analogue of the quantum Hall effect: if P,Q ∈ A are idempotents and P ? Q ∈ M _? , then ?((P ? Q)²ⁿ⁺¹) = ?(P ? Q) ∈ R for all n ∈ N. Let the isometries U ∈ A and A = A*∈ A be such that I+A is invertible and U-A ∈ M _? with ?(U-A) ∈ R. Then I-A, I?U ∈ M _? and ?(I?U) ∈ R. Let n ∈ N, dimH = 2n + 1, the symmetry operators U, V ∈ B(H), and W = U ? V. Then the operator W is not a symmetry, and if V = V*, then the operator W is nonunitary.