Linear maps preserving idempotency of products or triple jordan products of operators

Let be the algebra of all bounded linear operators on a complex Banach space . We give the concrete forms of linear surjective maps on which preserve the nonzero idempotency of either products of two operators or triple Jordan products of two operators.     

Sign balance for finite groups of Lie type

A product formula for the parity generating function of the number of 1’s in invertible matrices over is given. The computation is based on algebraic tools such as the Bruhat decomposition. It is somewhat surprising that the number of such matrices with odd number of 1’s is greater than the number of those with even number of 1’s. The same technique can be used to obtain a parity generating function also for symplectic matrices over . We present also a generating function for the sum of entries of matrices over an arbitrary finite field calculated in . The Mahonian distribution appears in these formulas.     

An atlas for tridiagonal isospectral manifolds

Let be the compact manifold of real symmetric tridiagonal matrices conjugate to a given diagonal matrix Λ with simple spectrum. We introduce bidiagonal coordinates, charts defined on open dense domains forming an explicit atlas for . In contrast to the standard inverse variables, consisting of eigenvalues and norming constants, every matrix in now lies in the interior of some chart domain. We provide examples of the convenience of these new coordinates for the study of asymptotics of isospectral dynamics, both for continuous and discrete time.     

General preservers of invariant subspace lattices

Let be the space of all bounded linear operators on a Banach space X and let LatA be the lattice of invariant subspaces of the operator . We characterize some maps with one of the following preserving properties: Lat(Φ(A)+Φ(B))=Lat(A+B), or Lat(Φ(A)Φ(B))=Lat(AB), or Lat(Φ(A)Φ(B)+Φ(B)Φ(A))=Lat(AB+BA), or Lat(Φ(A)Φ(B)Φ(A))=Lat(ABA), or Lat([Φ(A),Φ(B)])=Lat([A,B]).     

Matrices with convolutions of binomial functions and Krawtchouk matrices

We introduce a class S_N of matrices whose elements are terms of convolutions of binomial functions of complex numbers. A multiplication theorem is proved for elements of S_N. The multiplication theorem establishes a homomorphism of the group of 2 by 2 nonsingular matrices with complex elements into a group G_N contained in S_N. As a direct consequence of representation theory, we also present related spectral representations for special members of G_N. We show that a subset of G_N constitutes the system of Krawtchouk matrices, which extends published results for the symmetric case.     

Non-associative algebras containing the matrix ring

The Lie admissible non-associative algebra is defined in the papers [Seul Hee Choi, Ki-Bong Nam, Derivations of a restricted Weyl type algebra I, Rocky Mountain J. Math. 37 (6) (2007) 1813–1830; Seul Hee Choi, Ki-Bong Nam, Weyl type non-associative algebra using additive groups I, Algebra Colloq. 14 (3) (2007) 479–488; Ki-Bong Nam, On Some Non-associative Algebras using Additive Groups, Southeast Asian Bull. Math., vol. 27, Springer-Verlag, 2003, 493–500]. We define in this work the algebra which generalizes the previous one and is not Lie admissible. We prove that the antisymmetrized Lie algebra is simple and contains the simple Lie algebra . We also prove that the matrix ring is embedded in .     

Characterizations of some classes of relatively regular operators

A bounded linear operator A on a Banach space is called relatively regular, if there is a bounded linear operator B such that ABA=A. In this case B is called a g₁-inverse of A. In this paper we characterize some classes of relatively regular operators A via the set {B₁-B₂:B₁ and B₂ are g₁-inverses of A}.     

Coclass and cohomology

Recently, it was proved by Leedham-Green and others that with a finite number of exceptions, every p-group of coclass r is a quotient of one of only a finite number of p-adic uniserial space groups. In this paper we use that structure to demonstrate that there are only finitely many isomorphism classes of cohomology rings of 2-groups of coclass r with coefficients in any fixed field k of characteristic 2. In addition, there is experimental evidence indicating that in many cases successive quotients of the uniserial space groups have isomorphic cohomology rings.     

Space-efficient geometric divide-and-conquer algorithms

We develop a number of space-efficient tools including an approach to simulate divide-and-conquer space-efficiently, stably selecting and unselecting a subset from a sorted set, and computing the kth smallest element in one dimension from a multi-dimensional set that is sorted in another dimension. We then apply these tools to solve several geometric problems that have solutions using some form of divide-and-conquer. Specifically, we present a deterministic algorithm running in time using extra memory given inputs of size n for the closest pair problem and a randomized solution running in expected time and using extra space for the bichromatic closest pair problem. For the orthogonal line segment intersection problem, we solve the problem in time using extra space where n is the number of horizontal and vertical line segments and k is the number of intersections.     

Minimum weight pseudo-triangulations

We consider the problem of computing a minimum weight pseudo-triangulation of a set of n points in the plane. We first present an -time algorithm that produces a pseudo-triangulation of weight which is shown to be asymptotically worst-case optimal, i.e., there exists a point set for which every pseudo-triangulation has weight , where is the weight of a minimum weight spanning tree of . We also present a constant factor approximation algorithm running in cubic time. In the process we give an algorithm that produces a minimum weight pseudo-triangulation of a simple polygon.     

The number of translates of a closed nowhere dense set required to cover a Polish group

For a Polish group let be the minimal number of translates of a fixed closed nowhere dense subset of required to cover . For many locally compact this cardinal is known to be consistently larger than which is the smallest cardinality of a covering of the real line by meagre sets. It is shown that for several non-locally compact groups . For example the equality holds for the group of permutations of the integers, the additive group of a separable Banach space with an unconditional basis and the group of homeomorphisms of various compact spaces.     

Uniform asymptotic expansions of the Pollaczek polynomials

Two uniform asymptotic expansions are obtained for the Pollaczek polynomials P_n(cosθ;a,b). One is for , , in terms of elementary functions and in descending powers of . The other is for , in terms of a special function closely related to the modified parabolic cylinder functions, in descending powers of n. This interval contains a turning point and all possible zeros of P_n(cosθ) in θ(0,π/2].     

Limit behavior of global attractors for the complex Ginzburg–Landau equation on infinite lattices

In this work, the authors first show the existence of global attractors for the following lattice complex Ginzburg–Landau equation:

and for the following lattice Schrödinger equation:

Then they prove that the solutions of the lattice complex Ginzburg–Landau equation converge to that of the lattice Schrödinger equation as ε→0+. Also they prove the upper semicontinuity of as ε→0+ in the sense that .     

On periodic radical groups in which permutability is a transitive relation

A group G is said to be a -group if permutability is a transitive relation in the set of all subgroups of G. Our purpose in this paper is to study -groups in the class of periodic radical groups satisfying min-p for all primes p.     

Real hypersurfaces in complex projective space with recurrent structure Jacobi operator

We classify real hypersurfaces of complex projective space , m3, with -recurrent structure Jacobi operator and apply this result to prove the non-existence of such hypersurfaces with recurrent structure Jacobi operator.     

A non-normal topology generated by a two-point selection

We construct a two-point selection , where is the set of the irrational numbers, such that the space is not normal and it is not collectionwise Hausdorff either. Here, τ_f denotes the topology generated by the two-point selection f. This example answers a question posed by V. Gutev and T. Nogura. We also show that if is a two-point selection such that the topology τ_f has countable pseudocharacter, then τ_f is a Tychonoff topology.     

Countable choice and compactness

We work in set-theory without choice ZF. Denoting by the countable axiom of choice, we show in that the closed unit ball of a uniformly convex Banach space is compact in the convex topology (an alternative to the weak topology in ZF). We prove that this ball is (closely) convex-compact in the convex topology. Given a set I, a real number p1 (respectively p=0), and some closed subset F of [0,1]^I which is a bounded subset of ℓ^p(I), we show that (respectively DC, the axiom of Dependent Choices) implies the compactness of F.     

On -differential graded algebras

We introduce the concept of N-differential graded algebras (N-dga), and study the moduli space of deformations of the differential of an N-dga. We prove that it is controlled by what we call the (M,N)-Maurer–Cartan equation.     

Peripheral polynomials of hyperbolic knots

If K is a hyperbolic knot in S³, an algebraic component of its character variety containing one holonomy of the complete hyperbolic structure of finite volume of S³K is an algebraic curve . The traces of the peripheral elements of K define polynomial functions in , which are related in pairs by polynomials (peripheral polynomials). These are determined by just two adjacent peripheral polynomials. The curves defined by the peripheral polynomials are all birationally equivalent to , with only one possible exception. The canonical peripheral polynomial relating the trace of the meridian with the trace of the canonical longitude of K, is a factor of the A-polynomial.     

The minimum-area spanning tree problem

Motivated by optimization problems in sensor coverage, we formulate and study the Minimum-Area Spanning Tree (mast) problem: Given a set of n points in the plane, find a spanning tree of of minimum “area”, where the area of a spanning tree is the area of the union of the n−1 disks whose diameters are the edges in . We prove that the Euclidean minimum spanning tree of is a constant-factor approximation for mast. We then apply this result to obtain constant-factor approximations for the Minimum-Area Range Assignment (mara) problem, for the Minimum-Area Connected Disk Graph (macdg) problem, and for the Minimum-Area Tour (mat) problem. The first problem is a variant of the power assignment problem in radio networks, the second problem is a related natural problem, and the third problem is a variant of the traveling salesman problem.