Navigating in the Cayley Graphs of {\rm SL}_{N}(\mathbb{Z}) and {\rm SL}_{N}(\mathbb{F}_{p})

We give a nondeterministic algorithm that expresses elements of , for N ≥ 3, as words in a finite set of generators, with the length of these words at most a constant times the word metric. We show that the nondeterministic time-complexity of the subtractive version of Euclid’s algorithm for finding the greatest common divisor of N ≥ 3 integers a₁, ..., a_N is at most a constant times . This leads to an elementary proof that for N ≥ 3 the word metric in is biLipschitz equivalent to the logarithm of the matrix norm – an instance of a theorem of Mozes, Lubotzky and Raghunathan. And we show constructively that there exists K>0 such that for all N ≥ 3 and primes p, the diameter of the Cayley graph of with respect to the generating set is at most .Mathematics Subject Classification: 20F05     

A note on weak convergence in L^{1}_{\rm loc}({\mathbb{R}})

Let be a sequence of Borel measurable functions satisfying, for a function the inequalities

On lattices of convex sets in {\mathbb{R}}^{n}

Properties of several sorts of lattices of convex subsets of are examined. The lattice of convex sets containing the origin turns out, for n > 1, to satisfy a set of identities strictly between those of the lattice of all convex subsets of and the lattice of all convex subsets of The lattices of arbitrary, of open bounded, and of compact convex sets in all satisfy the same identities, but the last of these is join-semidistributive, while for n > 1 the first two are not. The lattice of relatively convex subsets of a fixed set satisfies some, but in general not all of the identities of the lattice of “genuine” convex subsets of To the memory of Ivan RivalReceived April 22, 2003; accepted in final form February 16, 2005.This revised version was published online in August 2005 with a corrected cover date.     

Markov subshifts and partial representation of $$\mathbb{F}_{\text n}$$

In this paper we fix a set * of positive elements of the free group (e. g. the set of finite words occurring in a Markov subshift) as well as n partial isometries on a Hilbert space H. Based on these we define a map S : which we prove to be a partial representation of on H under certain conditions studied by Matsumoto.*Supported by Capes.     

Beckman-Quarles type theorems for mappings from $$ \mathbb{R}^n $$ to $$ \mathbb{C}^n $$

Summary. Let We say that preserves the distance d 0 if for each implies Let A _n denote the set of all positive numbers d such that any map that preserves unit distance preserves also distance d. Let D _n denote the set of all positive numbers d with the property: if and then there exists a finite set S _xy with such that any map that preserves unit distance preserves also the distance between x and y. Obviously, We prove: (1) (2) for n 2 D _n is a dense subset of (2) implies that each mapping f from to (n 2) preserving unit distance preserves all distances, if f is continuous with respect to the product topologies on and      

{\left( {\mathfrak{V},\mathfrak{W}} \right)}{\text{-cotorsion pairs}}

Let R be a unital associative ring and two classes of left R-modules. In this paper we introduce the notion of a In analogy to classical cotorsion pairs as defined by Salce [10], a pair of subclasses and is called a if it is maximal with respect to the classes and the condition for all and Basic properties of are stated and several examples in the category of abelian groups are studied. Received: 17 March 2005     

Hyperbolic Function Theory in the Clifford Algebra {\mathcal {C}}\ell_{n+1, 0}

The aim of this paper is to give the basic principles of hyperbolic function theory on the Clifford algebra . The structure of the theory is quite similar to the case of Clifford algebras with negative generators, but the proofs are not obvious. The (real) Clifford algebra is generated by unit vectors with positive squares e²_i = + 1. The hyperbolic Dirac operator is of the form where Q₀f is represented by the composition . If is a solution of H_kf = 0, then f is called k-hypergenic in Ω, where is an open set. We introduce some basic results of hyperbolic function theory and give some representation theorems on . Received: October, 2007. Accepted: February, 2008.     

On nonatomic submeasures on {\mathbb{N}}. III

In our earlier paper (Arch. Math. 91 (2008), 76–85), we proved that if F is a sequence of finite nonempty subsets of such that a certain quantity t(F) is finite, then the associated submeasure d_F on is nonatomic. In the present note, we give two curious characterizations of the set of such sequences F. The second author is partially supported by the Foundation for Polish Science.     

The Valuations of the Near Octagon {\mathbb{H}}_4

Let , n  ≥ 2, be the near 2n-gon on the 2-factors of a complete graph with 2n + 2 vertices. In this paper, we classify the valuations of the near octagon . We use this classification to study isometric full embeddings of into DQ(8,2) and DH(7,4). We show that there is up to isomorphism a unique isometric full embedding of into each of these dual polar spaces. Further applications are expected in the classification of dense near polygons with lines of size 3.     

Complemented ideals in A({\mathbb{R}}^{d}) of algebraic curves

It is shown that for an algebraic curve the ideal of real analytic functions vanishing on X is complemented in if and only if in every a ∈ X every irreducible component of the germ X_a is either regular or a point. Received: 5 January 2009     

Forbidden (0,1)-vectors in Hyperplanes of $$\mathbb{R}^{n}$$: The unrestricted case

In this paper, we continue our investigation on “Extremal problems under dimension constraints” introduced [1]. The general problem we deal with in this paper can be formulated as follows. Let be an affine plane of dimension k in . Given determine or estimate .Here we consider and solve the problem in the special case where is a hyperplane in and the “forbidden set” . The same problem is considered for the case, where is a hyperplane passing through the origin, which surprisingly turns out to be more difficult. For this case we have only partial results.AMS Classification: 05C35, 05B30, 52C99     

Affine configurations of 4 lines in \mathbb{R}^{\text{3}}

We prove that affine configurations of 4 lines in are topologically and combinatorially homeomorphic to affine configurations of 6 points in Received: 14 July 2004; revised: 18 February 2005     

A Class of Integral Operators on the Unit Ball of \mathbb{C}^{n}

For real parameters a, b, c, and t, where c is not a nonpositive integer, we determine exactly when the integral operator

A Note on the Tight Spherical 7-Design in {\mathbb R}^{23} and 5-Design in {\mathbb R}^{7*}

In this note we prove the uniqueness of the tight spherical 7-design in consisting of 4600 vectors and with automorphism group 2 × Co₂ as well as the uniqueness of the tight spherical 5-design in on 112 vectors and with automorphism group 2 × Sp₆(2).To the memory of Jaap Seidel     

Wiener-Hopf operators on L_{\omega}^{2}(\mathbb{R}^{+})

Let be a weighted space with weight . In this paper we show that for every Wiener-Hopf operator T on and for every a I, there exists a function such that

A Version of the {\cal G} \rm{-conditional Bipolar Theorem in} {L^0 (\mathbb{R}^{d}_{+};\Omega}, {\cal F},\mathbb{P})

Motivated by applications in financial mathematics, Ref. 3 showed that, although fails to be locally convex, an analogue to the classical bipolar theorem can be obtained for subsets of : if we place this space in polarity with itself, the bipolar of a set of non-negative random variables is equal to its closed (in probability), solid, convex hull. This result was extended by Ref. 1 in the multidimensional case, replacing by a closed convex cone K of [0, )^d, and by Ref. 12 who provided a conditional version in the unidimensional case. In this paper, we show that the conditional bipolar theorem of Ref. 12 can be extended to the multidimensional case. Using a decomposition result obtained in Ref. 3 and Ref. 1, we also remove the boundedness assumption of Ref. 12 in the one dimensional case and provide less restrictive assumptions in the multidimensional case. These assumptions are completely removed in the case of polyhedral cones K.     

The Torsion Theory Generated by <Emphasis Type="Italic">M</Emphasis>-Small Modules

Let M be a right R-module, the class of all M-small modules, and P a projective cover of M in [M]. We consider the torsion theories = ( ), = ( ), and = ( ) in [M], where is the torsion theory generated by is the torsion theory cogenerated by , and is the dual Lambek torsion theory. We study some conditions for to be cohereditary, stable, or split, and prove that Rej(M, ) = M = (= = ) = Gen_M(P) .2000 Mathematics Subject Classification: 16S90     

A Topological View of Ramsey Families of Finite Subsets of Positive Integers

If is an initially hereditary family of finite subsets of positive integers (i.e., if and G is initial segment of F then ) and M an infinite subset of positive integers then we define an ordinal index . We prove that if is a family of finite subsets of positive integers such that for every the characteristic function χ_F is isolated point of the subspace

The type set for some measures on \mathbb{R}^{2n} with n-dimensional support

Let be realhomogeneous functions in ofdegree and let bethe Borel measure on given by

Some properties of essential spectra of a positive operator, II

Let T be a positive operator on a Banach lattice E. Some properties of Weyl essential spectrum σ_ew(T), in particular, the equality , where is the set of all compact operators on E, are established. If r(T) does not belong to Fredholm essential spectrum σ_ef(T), then for every a ≠ 0, where T₋₁ is a residue of the resolvent R(., T) at r(T). The new conditions for which implies , are derived. The question when the relation holds, where is Lozanovsky’s essential spectrum, will be considered. Lozanovsky’s order essential spectrum is introduced. A number of auxiliary results are proved. Among them the following generalization of Nikol’sky’s theorem: if T is an operator of index zero, then T = R + K, where R is invertible, K ≥ 0 is of finite rank. Under the natural assumptions (one of them is ) a theorem about the Frobenius normal form is proved: there exist T-invariant bands such that if , where , then an operator on D_i is band irreducible.