Rigidity of commutators and elementary operators on Calkin algebras

LetA=(A ₁,...,A _n ),B=(B ₁,...,B _n )εL(ℓ ^p ) ⁿ be arbitraryn-tuples of bounded linear operators on (ℓ ^p ), with 1<p<∞. The paper establishes strong rigidity properties of the corresponding elementary operators ε _a,b on the Calkin algebraC(ℓ ^p )≡L(ℓ ^p )/K(ℓ ^p ); , where quotient elements are denoted bys=S+K(ℓ ^p ) forSεL(ℓ ^p ). It is shown among other results that the kernel Ker(ε _a,b ) is a non-separable subspace ofC(ℓ ^p ) whenever ε _a,b fails to be one-one, while the quotient is non-separable whenever ε _a,b fails to be onto. These results extend earlier ones in several directions: neither of the subsets {A ₁,...,A _n }, {B ₁,...,B _n } needs to consist of commuting operators, and the results apply to other spaces apart from Hilbert spaces. Supported by the Academy of Finland, Project 32837.     

Blocks of full defect with nonabelian metacyclic defect groups

Let p be an odd prime and let B be a p-block of a finite group G with a nonabelian metacyclic defect group P which is a Sylow p-subgroup of G. The purpose of this article is to study the ordinary and modular irreducible characters in B. In particular, we calculate k _i (B) and l _i (B) for an arbitrary nonnegative integer i.     

Spectral decomposition and Gelfand’s theorem

We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set $\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\}We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set s(A)={il_k;k ? \mathbb\mathbbZ^*}\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\} is discrete and satisfies ?\frac1|l_k|^ld_kⁿ < ￥\sum \frac{1}{|\lambda_{k}|^{\ell}\delta_{k}^{n}}<\infty , where ℓ is a nonnegative integer and d_k=min(\frac|l_k+1-l_k|2,\frac|l_k-1-l_k|2)\delta _{k}=\min(\frac{|\lambda_{k+1}-\lambda _{k}|}{2},\frac{|\lambda _{k-1}-\lambda _{k}|}{2}) . In this case, Theorem 3, we show by using Gelfand’s Theorem that there exists a family of projectors (P_k)_{k ? \mathbb\mathbbZ^*}(P_{k})_{k\in\mathbb{\mathbb{Z}}^{*}} such that, for any x∈D(A ^n+ℓ ), the decomposition ∑P _k x=x holds.     

Uniformly cross intersecting families

Let A and B denote two families of subsets of an n-element set. The pair (A,B) is said to be ℓ-cross-intersecting iff |A∩B|=ℓ for all A∈ A and B∈B. Denote by P _e (n) the maximum value of |A||B| over all such pairs. The best known upper bound on P _e (n) is Θ(2 ⁿ ), by Frankl and R?dl. For a lower bound, Ahlswede, Cai and Zhang showed, for all n ≥ 2ℓ, a simple construction of an ℓ-cross-intersecting pair (A,B) with |A||B| = $ \left( {{*{20}c} {2\ell } \\ \ell \\ } \right) $ \left( {\begin{array}{*{20}c} {2\ell } \\ \ell \\ \end{array} } \right) 2 ^n−2ℓ = Θ(2 ⁿ /$ \sqrt \ell $ \sqrt \ell ), and conjectured that this is best possible. Consequently, Sgall asked whether or not P _e (n) decreases with ℓ.     

On the boundedness of one recurrent sequence in a banach space

We establish necessary and sufficient conditions under which a sequence x ₀ = y ₀ , x _n+1 = Ax _n  + y _n+1 , n ≥ 0, is bounded for each bounded sequence { y_n :n \geqslant 0 } ì { x ? è_{n = 1}^￥ D( Aⁿ ) |sup_{n \geqslant 0} || Aⁿ x || < ￥ }\left\{ {y_n :n \geqslant 0} \right\} \subset \left\{ {\left. {x \in \bigcup\nolimits_{n = 1}^\infty {D\left( {A^n } \right)} } \right|\sup _{n \geqslant 0} \left\| {A^n x} \right\| < \infty } \right\}, where A is a closed operator in a complex Banach space with domain of definition D(A) .     

The intersection of subgroups of finite <Emphasis Type="Italic">p</Emphasis>-groups

For a finite p-group G and a positive integer k let I _k (G) denote the intersection of all subgroups of G of order p ^k . This paper classifies the finite p-groups G with I_k(G) @ C_p^k-1{{I}_k(G)\cong C_{p^{k-1}}} for primes p > 2. We also show that for any k, α ≥ 0 with 2(α + 1) ≤ k ≤ n−α the groups G of order p ⁿ with I_k(G) @ C_p^k-a{{I}_k(G)\cong C_{p^{k-\alpha}}} are exactly the groups of exponent p ^n-α .     

On the Maximum Number of Translates in a Point Set

Given a finite set P⊆ℝ ^d , called a pattern, t _P (n) denotes the maximum number of translated copies of P determined by n points in ℝ ^d . We give the exact value of t _P (n) when P is a rational simplex, that is, the points of P are rationally affinely independent. In this case, we prove that t _P (n)=n−m _r (n), where r is the rational affine dimension of P, and m _r (n) is the r -Kruskal–Macaulay function. We note that almost all patterns in ℝ ^d are rational simplices. The function t _P (n) is also determined exactly when | P |≤3 or when P has rational affine dimension one and n is large enough. We establish the equivalence of finding t _P (n) and the maximum number s _R (n) of scaled copies of a suitable pattern R⊆ℝ⁺ determined by n positive reals. As a consequence, we show that s_Ak(n)=n-\varTheta (n^1-1/p(k))s_{A_{k}}(n)=n-\varTheta (n^{1-1/\pi(k)}) , where A _k ={1,2,…,k} is an arithmetic progression of size k, and π(k) is the number of primes less than or equal to k.     

A variant of Davenport’s constant

Let p be a prime number. Let G be a finite abelian p-group of exponent n (written additively) and A be a non-empty subset of ]n[≔ {1, 2,…, n} such that elements of A are incongruent modulo p and non-zero modulo p. Let k ≥ D(G/|A| be any integer where D(G) denotes the well-known Davenport’s constant. In this article, we prove that for any sequence g ₁, g ₂,…, g _k (not necessarily distinct) in G, one can always extract a subsequence with 1 ≤ ℓ ≤ k such that

On some extremal problems of different metrics for differentiable functions on the axis

For an arbitrary fixed segment [α, β] ⊂ R and given r ∈ N, A _r , A ₀, and p > 0, we solve the extremal problem

On the divisor function of sets with even partition functions

Summary For P∈ F₂[z] with P(0)=1 and deg(P)≧ 1, let A =A(P) be the unique subset of N (cf. [9]) such that Σ_n≧0 p(A,n)zⁿ ≡ P(z) mod 2, where p(A,n) is the number of partitions of n with parts in A. To determine the elements of the set A, it is important to consider the sequence σ(A,n) = Σ _{d|n, d∈A} d, namely, the periodicity of the sequences (σ(A,2^kn) mod 2^k+1)_n≧1 for all k ≧ 0 which was proved in [3]. In this paper, the values of such sequences will be given in terms of orbits. Moreover, a formula to σ(A,2^kn) mod 2^k+1 will be established, from which it will be shown that the weight σ(A₁,2^kz_i) mod 2^k+1 on the orbit <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>z_i$ is moved on some other orbit z_j when A₁ is replaced by A₂ with A₁= A(P₁) and A₂= A(P₂) P₁ and P₂ being irreducible in F₂[z] of the same odd order.     

On the Range of Possible Integrities of Graphs G(n, k)

We discuss the range of values for the integrity of a graphs G(n, k) where G(n, k) denotes a simple graph with n vertices and k edges. Let I _max(n, k) and I _min(n, k) be the maximal and minimal value for the integrity of all possible G(n, k) graphs and let the difference be D(n, k) = I _max(n, k) − I _min(n, k). In this paper we give some exact values and several lower bounds of D(n, k) for various values of n and k. For some special values of n and for s < n ^1/4 we construct examples of graphs G _n  = G _n (n, n + s) with a maximal integrity of I(G _n ) = I(C _n ) + s where C _n is the cycle with n vertices. We show that for k = n ²/6 the value of D(n, n ²/6) is at least \frac?6-13n{\frac{\sqrt{6}-1}{3}n} for large n.     

A zero-one law for random subgroups of some totally disconnected groups

Let A be a locally compact group topologically generated by d elements and let k > d. Consider the action, by precomposition, of Γ = Aut(F _k ) on the set of marked, k-generated, dense subgroups $ {D_{k,A}}: = \left\{ {\eta \in {\text{Hom}}\left( {{F_k},A} \right)\left| {\overline {\left\langle {\phi \left( {{F_k}} \right)} \right\rangle } = A} \right.} \right\} Let A be a locally compact group topologically generated by d elements and let k > d. Consider the action, by precomposition, of Γ = Aut(F _k ) on the set of marked, k-generated, dense subgroups D_k,A: = { h ? \textHom( F_k,A )| [`( á f( F_k ) ñ )] = A } {D_{k,A}}: = \left\{ {\eta \in {\text{Hom}}\left( {{F_k},A} \right)\left| {\overline {\left\langle {\phi \left( {{F_k}} \right)} \right\rangle } = A} \right.} \right\} . We prove the ergodicity of this action for the following two families of simple, totally disconnected, locally compact groups:

•	A = PSL2(K) where K is a non-Archimedean local field (of characteristic ≠ 2);
•	A = Aut0(T q+1)—the group of orientation-preserving automorphisms of a q + 1 regular tree, for q \geqslant 2.q \geqslant 2.

In contrast, a recent result of Minsky’s shows that the same action fails to be ergodic for A = PSL₂(C) and, when k is even, also for A = PSL₂(R). Therefore, if k \geqslant 4 k \geqslant 4 is even and K is a local field (with char(K) ≠ 2), the action of Aut(F _k ) on D_{k,\textPS\textL2(K)} {D_{k,{\text{PS}}{{\text{L}}_2}(K)}} is ergodic if and only if K is non-Archimedean. Ergodicity implies that every “measurable property” either holds or fails to hold for almost every k-generated dense subgroup of A.     

Integral Operators in Sobolev Spaces on Domains with Boundary

Properties of integral operators with weak singularities arc investigated. It is assumed that G ? ?ⁿ is a bounded domain. The boundary δG should be smooth concerning the Sobolev trace theorem. It will be proved that the integral operators $\int {_G \frac{{f\left(\Theta \right)}}{{x - y|^{n - 1} }}u\left(\nu \right)d\partial G_\nu }$ and $ \int {_{\partial G} \frac{{f\left(\Theta \right)}}{{|x - y|^{n - 1} }}u\left(y \right)d\partial G_y }$ maps W_p^k(G) into W_p^k+1(G) and W_p^k?1(G) into W_p^k/p(G), respectively, and are bounded. Here θ ∈ S ? ?ⁿ, where S is the unit sphere. Furthermore, f possesses bounded first order derivatives and is bounded on S. Then applications to first order systems are discussed.     

On the number of conjugacy classes of maximal subgroups in a finite soluble group

We show that for many formations \frak F\frak F, there exists an integer n = [`(m)](\frak F)n = \overline m(\frak F) such that every finite soluble group G not belonging to the class \frak F\frak F has at most n conjugacy classes of maximal subgroups belonging to the class \frak F\frak F. If \frak F\frak F is a local formation with formation function f, we bound [`(m)](\frak F)\overline m(\frak F) in terms of the [`(m)](f(p))(p ? \Bbb P )\overline m(f(p))(p \in \Bbb P ). In particular, we show that [`(m)](\frak N^k) = k+1\overline m(\frak N^k) = k+1 for every nonnegative integer k, where \frak N^k\frak N^k is the class of all finite groups of Fitting length ￡ k\le k.     

Isomorphic embedding of ℓ p n , 1<p<2, into ℓ 1 (1+ε)n

In this paper we partially answer a question posed by V. Milman and G. Schechtman by proving that ℓ _p ⁿ , (C logn)^1/q(1+1/ε)-embeds into ℓ ₁ ^(1+ε)n , where 1<p<2 and 1/p+1/q=1. Supported by ISF.     

Schur multiplier characterization of a class of infinite matrices

Let B _w (ℓ ^p ) denote the space of infinite matrices A for which A(x) ∈ ℓ ^p for all x = {x _k } _k=1^∞ ∈ ℓ ^p with |x _k | ↘ 0. We characterize the upper triangular positive matrices from B _w (ℓ ^p ), 1 < p < ∞, by using a special kind of Schur multipliers and the G. Bennett factorization technique. Also some related results are stated and discussed.     

Maximality of entropy in finite von Neumann algebras

It is shown that the entropy function H(N ₁,…,N _k ) on finite dimensional von Neumann subalgebras of a finite von Neumann algebra attains its maximal possible value H(⋁ℓ=1k N _ℓ) if and only if there exists a maximal abelian subalgebra A of ⋁ℓ=1k N _ℓ such that A=⋁ℓ=1k(A∩N _ℓ). Oblatum 24-IV-1997 & 6-V-1997     

On the complexity of linear boolean operators with thin matrices

Under consideration is the problem of constructing a square Booleanmatrix A of order n without “rectangles” (it is a matrix whose every submatrix of the elements that are in any two rows and two columns does not consist of 1s). A linear transformation modulo two defined by A has complexity o(ν(A) − n) in the base {⊕}, where ν(A) is the weight of A, i.e., the number of 1s (the matrices without rectangles are called thin). Two constructions for solving this problem are given. In the first construction, n = p ² where p is an odd prime. The corresponding matrix H _p has weight p ³ and generates the linear transformation of complexity O(p ² log p log log p). In the second construction, the matrix has weight nk where k is the cardinality of a Sidon set in ℤ _n . We may assume that

Some questions in the theory of inverse problems for differential operators

For the two operatorsLy=y ⁿ +σ _k=0 ⁿ⁻² p _k (x)y( ^k ) and Ry=yⁿ+σ _k=0 ⁿ⁻² p_k(x)y(^k) with a common set of boundary conditions we establish a connection between p_k(x) and P_k(x) in the case where the weight numbers coincide and a finite number of the eigenvalues do not coincide, in terms of the eigenfunctions of these operators corresponding to the noncoincident eigenvalues and the derivatives of these functions. This enables us to recover the operator L from the operator R by solving a system of nonlinear ordinary differential equations. For Sturm-Liouville operators an analogous relation is proved for the case where infinitely many eigenvalues do not coincide. Translated from Matematicheskie Zametki, Vol. 21, No. 2, pp. 151–160, February, 1977. I wish to express my thanks to my scientific adviser V. A. Sadovnich.     

On Brauer’s <Emphasis Type="Italic">k</Emphasis>(<Emphasis Type="Italic">B</Emphasis>)-problem for blocks with metacyclic defect groups of odd order

Let G be a finite group, and suppose that B is a p-block of G with defect group D. Let k(B) denote the number of ordinary irreducible characters in B. It was conjectured by Brauer that k(B) ≤ |D|. In this paper, we will prove Brauer’s inequality in the case that D is metacyclic and p is odd.