The length of every pair {A,B} of 6×6 complex matrices is shown to be at most 10, that is, the words in A,B of length at most 10, including the empty word, span the unital algebra generated by A,B. This supports the conjecture that the length of every pair of n×n complex matrices is at most 2n−2, known to be true for n<6.

Let (X,d) be a compact metric space and let ℳ(X) denote the space of all finite signed Borel measures on X. Define I:ℳ(X)→ℝ by and set M(X)=sup I(μ), where μ ranges over the collection of signed measures in ℳ(X) of total mass 1. The metric space (X,d) is quasihypermetric if for all n∈ℕ, all α1,…,αn∈ℝ satisfying ∑ i=1nαi=0 and all x1,…,xn∈X, the inequality ∑ i,j=1nαiαjd(xi,xj)≤0 holds. Without the quasihypermetric property M(X) is infinite, while with the property a natural semi-inner product structure becomes available on ℳ0(X), the subspace of ℳ(X) of all measures of total mass 0. This paper explores: operators and functionals which provide natural links between the metric structure of (X,d), the semi-inner product space structure of ℳ0(X) and the Banach space C(X) of continuous real-valued functions on X; conditions equivalent to the quasihypermetric property; the topological properties of ℳ0(X) with the topology induced by the semi-inner product, and especially the relation of this topology to the weak-* topology and the measure-norm topology on ℳ0(X); and the functional-analytic properties of ℳ0(X) as a semi-inner product space, including the question of its completeness. A later paper [P. Nickolas and R. Wolf, Distance geometry in quasihypermetric spaces. II, Math. Nachr., accepted] will apply the work of this paper to a detailed analysis of the constant M(X).

We provide bounds on the average distance between two points uniformly and independently chosen from a compact convex subset of the s-dimensional Euclidean space.

In this paper, some new coincidence point theorems in continuous function spaces are presented. We show the hybrid mapping version and multivalued version of both Lou’s fixed point theorem (Proc. Amer. Math. Soc.127 (1999)) and de Pascale and de Pascale’s fixed point theorem (Proc. Amer. Math. Soc.130 (2002)). Our new results encompass a number of previously known generalizations of the theorems. Two examples are presented.

Let ℳ be a regular map of genus g>1 and X be the underlying Riemann surface. A reflection of ℳ fixes some simple closed curves on X, which we call mirrors. Each mirror passes through at least two of the geometric points (vertices, face-centers and edge-centers) of ℳ. In this paper we study the surfaces which contain mirrors passing through just two geometric points, and show that only Wiman surfaces have this property.

In this paper, we study the mean square asymptotic stability of a generalized half-linear neutral stochastic differential equation with variable delays applying fixed point theory. An asymptotic mean square stability theorem with a necessary and sufficient condition is proved, which improves and generalizes some results due to Burton, Zhang and Luo. Two examples are given to illustrate our results.

This paper investigates self-small abelian groups of finite torsion-free rank. We obtain a new characterization of infinite self-small groups. In addition, self-small groups of torsion-free rank 1 and their finite direct sums are discussed.

In this paper, we characterize quadratic number fields possessing unique factorization in terms of the power cancellation property of torsion-free rank-two abelian groups, in terms of Σ-unique decomposition, in terms of a pair of point set topological properties of Eilenberg–Mac Lane spaces, and in terms of the sequence of rational primes. We give a complete set of topological invariants of abelian groups, we characterize those abelian groups that have the power cancellation property in the category of abelian groups, and we characterize those abelian groups that have Σ-unique decomposition. Our methods can be used to characterize any direct sum decomposition property of an abelian group.

Let R be a noncommutative prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, I a nonzero right ideal of R. Let f(x1,…,xn) be a noncentral multilinear polynomial over C, m≥1 a fixed integer, a a fixed element of R, g a generalized derivation of R. If ag(f(r1,…,rn))m=0 for all r1,…,rn∈I, then one of the following holds:

1. (1) aI=ag(I)=(0);

2. (2) g(x)=qx, for some q∈U and aqI=0;

3. (3) [f(x1,…,xn),xn+1]xn+2 is an identity for I;

4. (4) g(x)=cx+[q,x] for all x∈R, where c,q∈U such that cI=0 and [q,I]I=0.

We identify the majority of Siegel modular eigenforms in degree four and weights up to 16 as being Duke–Imamoḡlu–Ikeda or Miyawaki–Ikeda lifts. We give two examples of eigenforms that are probably also lifts but of an undiscovered type.

Some classical examples in vector integration due to Phillips, Hagler and Talagrand are revisited from the point of view of the Birkhoff and McShane integrals.

In this article, we define lattice graphs (which generalise ultragraphs) as well as their Cuntz–Krieger families and C*-algebras. We will give a thorough study in the special case of lattice atomic graphs.

We show that for the Sorgenfrey line S, the minimal dense linearly ordered extension of S is a D-space, but not a monotone D-space; the minimal closed linearly ordered extension of S is not a monotone D-space; the monotone D-property is inversely preserved by finite-to-one closed mappings, but cannot be inversely preserved by perfect mappings.

In this paper, we construct the unique (up to isomorphism) extension algebra, denoted by E∞, of the Cuntz algebra 𝒪∞ by the C*-algebra of compact operators on a separable infinite-dimensional Hilbert space. We prove that two unital monomorphisms from E∞ to a unital purely infinite simple C*-algebra are approximately unitarily equivalent if and only if they induce the same homomorphisms in K-theory.

In this paper we prove the following result: there exists an infinite arithmetic progression of positive odd numbers such that for any term k of the sequence and any nonnegative integer n, each of the 16 integers k−2n, k−2−2n, k−4−2n, k−6−2n, k−8−2n, k−10−2n, k−12−2n, k−14−2n, k2n−1, (k−2)2n−1, (k−4)2n−1, (k−6)2n−1, (k−8)2n−1, (k−10)2n−1, (k−12)2n−1 and (k−14)2n−1 has at least two distinct odd prime factors; in particular, for each term k, none of the eight integers k, k−2, k−4, k−6, k−8, k−10, k−12 or k−14 can be expressed as a sum of two prime powers.

Let G be a group. A subset N of G is a set of pairwise noncommuting elements if xy⁄=yx for any two distinct elements x and y in N. If ∣N∣≥∣M∣ for any other set of pairwise noncommuting elements M in G, then N is said to be a maximal subset of pairwise noncommuting elements. In this paper we determine the cardinality of a maximal subset of pairwise noncommuting elements in a three-dimensional general linear group. Moreover, we show how to modify a given maximal subset of pairwise noncommuting elements into another maximal subset of pairwise noncommuting elements that contains a given ‘generating element’ from each maximal torus.

Modular forms for a discrete subgroup Γ of SL(2,ℝ) can be identified with holomorphic sections of line bundles over the modular curve U corresponding to Γ, and quasimodular forms generalize modular forms. We construct vector bundles over U whose sections can be identified with quasimodular forms for Γ.

Let a,b,c be relatively prime positive integers such that a2+b2=c2 with b even. In 1956 Jeśmanowicz conjectured that the equation ax+by=cz has no solution other than (x,y,z)=(2,2,2) in positive integers. Most of the known results of this conjecture were proved under the assumption that 4 exactly divides b. The main results of this paper include the case where 8 divides b. One of our results treats the case where a has no prime factor congruent to 1 modulo 4, which can be regarded as a relevant analogue of results due to Deng and Cohen concerning the prime factors of b. Furthermore, we examine parities of the three variables x,y,z, and give new triples a,b,c such that the conjecture holds for the case where b is divisible by 8. In particular, to prove our results, we shall show an important result which asserts that if x,y,z are all even, then x/2,y/2,z/2 are all odd. Our methods are based on elementary congruence and several strong results on generalized Fermat equations given by Darmon and Merel.

We prove sharp estimates for the dilation operator f(x)⟼f(λx), when acting on Wiener amalgam spaces W(Lp,Lq). Scaling arguments are also used to prove the sharpness of the known convolution and pointwise relations for modulation spaces Mp,q, as well as the optimality of an estimate for the Schrödinger propagator on modulation spaces.