Inversion and subspaces of a finite field

Consider two F _q -subspaces A and B of a finite field, of the same size, and let A ^?1 denote the set of inverses of the nonzero elements of A. The author proved that A ^?1 can only be contained in A if either A is a subfield, or A is the set of trace zero elements in a quadratic extension of a field. Csajbók refined this to the following quantitative statement: if A ^?1 ? B, then the bound |A ^?1∩B| ≤ 2|B|/q ? 2 holds. He also gave examples showing that his bound is sharp for |B| ≤ q ³. Our main result is a proof of the stronger bound |A ^?1 ∩ B| ≤ |B|/q · (1 + O _d (q ^?1/2)), for |B| = q ^d with d > 3. We also classify all examples with |B| ≤ q ³ which attain equality or near-equality in Csajbók’s bound.     

Under-recurrence in the Khintchine recurrence theorem

The Khintchine recurrence theorem asserts that in a measure preserving system, for every set A and ε > 0, we have μ(A ∩ T^?nA) ≥ μ(A)² ? ε for infinitely many n ∈ N. We show that there are systems having underrecurrent sets A, in the sense that the inequality μ(A ∩ T^?nA) < μ(A)² holds for every n ∈ N. In particular, all ergodic systems of positive entropy have under-recurrent sets. On the other hand, answering a question of V. Bergelson, we show that not all mixing systems have under-recurrent sets. We also study variants of these problems where the previous strict inequality is reversed, and deduce that under-recurrence is a much more rare phenomenon than over-recurrence. Finally, we study related problems pertaining to multiple recurrence and derive some interesting combinatorial consequences.     

On Generalized Derivations and Centralizers of Operator Algebras with Involution

Let B(H) be the algebra of all bounded linear operators on a complex Hilbert space H and A(H) ? B(H) be a standard operator algebra which is closed under the adjoint operation. Let F: A(H)→ B(H) be a linear mapping satisfying F(AA*A) = F(A)A*A + Ad(A*)A + AA*d(A) for all A ∈ A(H), where the associated linear mapping d: A(H) → B(H) satisfies the relation d(AA*A) = d(A)A*A + Ad(A*)A + AA*d(A) for all A ∈ A(H). Then F is of the form F(A) = SA ? AT for all A ∈ A(H) and some S, T ∈ B(H), that is, F is a generalized derivation. We also prove some results concerning centralizers on A(H) and semisimple H^*-algebras.     

Tensor products of tilting modules

We consider whether the tilting properties of a tilting A-module T and a tilting B-module T′ can convey to their tensor product T ? T′: The main result is that T ? T′ turns out to be an (n + m)-tilting A ? B-module, where T is an m-tilting A-module and T′ is an n-tilting B-module.     

On the extremal distance between two convex bodies

We consider the following modified version of the Banach-Mazur distance of convex bodies in \(\mathbb{R}^n :d\left( {K,L} \right) = \inf \left\{ {\left| \lambda \right|:\lambda \in \mathbb{R},\tilde K \subset \tilde L \subset \lambda \tilde K} \right\}\), where the infimum is taken over all non-degenerate affine images \(\tilde K\) and \(\tilde L\) of K and L. Gordon, Litvak, Meyer and Pajor in 2004 showed that for any two convex bodies d(K,L) ≤ n, moreover, if K is a simplex and L = ?L then d(K,L) = n. The following question arises naturally: Is equality only attained when one of the sets is a simplex? Leichtweiss in 1959, and later Palmon in 1992 proved that if d(K,B ₂ ⁿ ) = n, where B ₂ ⁿ is the Euclidean ball, then K is the simplex. We prove the affirmative answer to the question in the case when one of the bodies is strictly convex or smooth, thus obtaining a generalization of the result of Leichtweiss and Palmon.     

The colored Hadwiger transversal theorem in ℝ<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>

Hadwiger’s transversal theorem gives necessary and suffcient conditions for a family of convex sets in the plane to have a line transversal. A higher dimensional version was obtained by Goodman, Pollack and Wenger, and recently a colorful version appeared due to Arocha, Bracho and Montejano. We show that it is possible to combine both results to obtain a colored version of Hadwiger's theorem in higher dimensions. The proofs differ from the previous ones and use a variant of the Borsuk-Ulam theorem. To be precise, we prove the following. Let F be a family of convex sets in ? ^d in bijection with a set P of points in ? ^d?1. Assume that there is a coloring of F with suffciently many colors such that any colorful Radon partition of points in P corresponds to a colorful Radon partition of sets in F. Then some monochromatic subfamily of F has a hyperplane transversal.     

On Lebesgue Measure of Integral Self-Affine Sets

Let A be an expanding integer n×n matrix and D be a finite subset of ? ⁿ . The self-affine set T=T(A,D) is the unique compact set satisfying the equality \(A(T)=\bigcup_{d\in D}(T+d)\). We present an effective algorithm to compute the Lebesgue measure of the self-affine set T, the measure of the intersection T∩(T+u) for u∈? ⁿ , and the measure of the intersection of self-affine sets T(A,D ₁)∩T(A,D ₂) for different sets D ₁, D ₂?? ⁿ .     

Lower bounds for the number of hyperplanes separating two finite sets of points

We consider the NP-hard problem of polyhedral separability of two finite sets A and B of points in general position in ? ^d by the minimum number of hyperplanes in the sense of a boolean function from a given class Σ. Both deterministic and probabilistic lower bounds are obtained for this number for two different classes of functions Σ.     

X-quasinormal subgroups

Considering two subgroups A and B of a group G and ? ≠ X ? G, we say that A is X-permutable with B if AB ^x = B ^x A for some element x ∈ X. We use this concept to give new characterizations of the classes of solvable, supersolvable, and nilpotent finite groups.     

Finite Sets as Complements of Finite Unions of Convex Sets

Suppose S?? ^d is a set of (finite) cardinality n, whose complement can be written as the union of k convex sets. It is perhaps intuitively appealing that when n is large k must also be large. This is true, as is shown here. First the case in which the convex sets must also be open is considered, and in this case a family of examples yields an upper bound, while a simple application of a theorem of Björner and Kalai yields a lower bound. Much cruder estimates are then obtained when the openness restriction is dropped. For a given set S the problem of determining the smallest number of convex sets whose union is ? ^d ?S is shown to be equivalent to the problem of finding the chromatic number of a certain (infinite) hypergraph ? _S . We consider the graph \(\mathcal {G}_{S}\) whose edges are the 2-element edges of ? _S , and we show that, when d=2, for any sufficiently large set S, the chromatic number of \(\mathcal{G}_{S}\) will be large, even though there exist arbitrarily large finite sets S for which \(\mathcal{G}_{S}\) does not contain large cliques.     

Elliptic function of level 4

The article is devoted to the theory of elliptic functions of level n. An elliptic function of level n determines a Hirzebruch genus called an elliptic genus of level n. Elliptic functions of level n are also of interest because they are solutions of the Hirzebruch functional equations. The elliptic function of level 2 is the Jacobi elliptic sine function, which determines the famous Ochanine–Witten genus. It is the exponential of the universal formal group of the form F(u, v) = (u² ? v²)/(uB(v) ? vB(u)), B(0) = 1. The elliptic function of level 3 is the exponential of the universal formal group of the form F(u, v) = (u²A(v) ? v²A(u))/(uA(v)² ? vA(u)²), A(0) = 1, A″(0) = 0. In the present study we show that the elliptic function of level 4 is the exponential of the universal formal group of the form F(u, v) = (u²A(v) ? v²A(u))/(uB(v) ? vB(u)), where A(0) = B(0) = 1 and for B′(0) = A″(0) = 0, A′(0) = A₁, and B″(0) = 2B₂ the following relation holds: (2B(u) + 3A₁u)² = 4A(u)³ ? (3A₁² ? 8B₂)u²A(u)². To prove this result, we express the elliptic function of level 4 in terms of the Weierstrass elliptic functions.     

Über eine kombinatorisch-geometrische Frage von Hadwiger und Debrunner

The problem of the partition-numbersJ _?(p, q), considered by Hadwiger and Debrunner for the family ?=C ⁿ of convex bodies, is extended to simplicial complexes and arbitrary families assuming only the validity of Helly’s theorem. We obtain results similar to those of Hadwiger and Debrunner. Further we show the existence of all partition-numbers for the family? = H ⁿC of homothets of a convex body and we get new informations on the partition-numbers for the family of parallel rectangles.     

A new characterization of RBMO(<Emphasis Type="Italic">μ</Emphasis>) by John-Strömberg sharp maximal functions

Let μ be a nonnegative Radon measure on ? ^d which only satisfies μ (B(x, r)) ? C ₀ r ⁿ for all x ∈ ? ^d , r > 0, with some fixed constants C ₀ > 0 and n ∈ (0, d]. In this paper, a new characterization for the space RBMO(μ) of Tolsa in terms of the John-Strömberg sharp maximal function is established.     

Comparing the <Emphasis Type="Italic">ℤ</Emphasis><Subscript>2</Subscript>-Graded Identities of Two Minimal Superalgebras with the Same Superexponent

Let F be a field of characteristic zero. We study two minimal superalgebras A and B having the same superexponent but such that T ₂ (A) ? T ₂ (B), thus providing the first example of a minimal superalgebra generating a non minimal supervariety. We compare the structures and codimension sequences of A and B.     

Finitistic dimension and restricted injective dimension

We study the relations between finitistic dimensions and restricted injective dimensions. Let R be a ring and T a left R-module with A = End _R T. If _R T is selforthogonal, then we show that rid(T _A ) ? findim(A _A ) ? findim( _R T) + rid(T _A ). Moreover, if R is a left noetherian ring and T is a finitely generated left R-module with finite injective dimension, then rid(T _A ) ? findim(A _A ) ? fin.inj.dim( _R R)+rid(T _A ). Also we show by an example that the restricted injective dimensions of a module may be strictly smaller than the Gorenstein injective dimension.     

A Remark on the Boundedness of Calderón–Zygmund Operators in Nony–homogeneous Spaces

Let μ be a Radon measure on Rd which may be non–doubling. The only condition satisfied by μ is that μ(B(x, r)) ≤ Cr ⁿ for all x ∈ ? ^d , r > 0 and some fixed 0 < n ≤ d. In this paper, the authors prove that the boundedness from H ¹(μ) into L ¹,^∞(μ) of a singular integral operator T with Calderón–Zygmund kernel of Hörmander type implies its L ²(μ)–boundedness.     

Reducing subspaces of tensor products of weighted shifts

A unilateral weighted shift A is said to be simple if its weight sequence {α_n} satisfies ▽~3(α_n~2)≠0for all n≥2.We prove that if A and B are two simple unilateral weighted shifts,then AI+IB is reducible if and only if A and B are unitarily equivalent.We also study the reducing subspaces of A~kI+IB~l and give some examples.As an application,we study the reducing subspaces of multiplication operators Mzk+αωl on function spaces.     

Turán-Type Results for Complete <Emphasis Type="Italic">h</Emphasis>-Partite Graphs in Comparability and Incomparability Graphs

We consider an h-partite version of Dilworth’s theorem with multiple partial orders. Let P be a finite set, and let <₁,...,< _r be partial orders on P. Let G(P, <₁,...,< _r ) be the graph whose vertices are the elements of P, and x, y ∈ P are joined by an edge if x< _i y or y< _i x holds for some 1 ≤ i ≤ r. We show that if the edge density of G(P, <₁, ... , < _r ) is strictly larger than 1 ? 1/(2h ? 2) ^r , then P contains h disjoint sets A ₁, ... , A _h such that A ₁ < _j ... < _j A _h holds for some 1 ≤ j ≤ r, and |A ₁| = ... = |A _h | = Ω(|P|). Also, we show that if the complement of G(P, <) has edge density strictly larger than 1 ? 1/(3h ? 3), then P contains h disjoint sets A ₁, ... , A _h such that the elements of A _i are incomparable with the elements of A _j for 1 ≤ i < j ≤ h, and |A ₁| = ... = |A _h | = |P|^1?o(1). Finally, we prove that if the edge density of the complement of G(P, <₁, <₂) is α, then there are disjoint sets A, B ? P such that any element of A is incomparable with any element of B in both <₁ and <₂, and |A| = |B| > n ^1?γ(α), where γ(α) → 0 as α → 1. We provide a few applications of these results in combinatorial geometry, as well.     

Linear extensions associated with abstract functional operators

Abstract functional operators are defined as elements of a C*-algebra B with a structure consisting of a closed C*-subalgebra A ? B and a unitary element T ? B such that the mapping \(\hat T:a \to TaT^{ - 1} \) is an automorphism of A and the set of finite sums \(\sum {a_k T^k } ,a_k \in A\), is norm dense in B.We give a new construction of a linear extension associated with the abstract weighted shift operator aT and obtain generalizations of known theorems about the relationship between the invertibility of operators and the hyperbolicity of the associated linear extensions to the case of abstract functional operators.     

On homogenization for non-self-adjoint locally periodic elliptic operators

In this note we consider the homogenization problem for a matrix locally periodic elliptic operator on R ^d of the form A ^ε = ?divA(x, x/ε)?. The function A is assumed to be Hölder continuous with exponent s ∈ [0, 1] in the “slow” variable and bounded in the “fast” variable. We construct approximations for (A ^ε ? μ)^?1, including one with a corrector, and for (?Δ) ^s/2(A ^ε ? μ)^?1 in the operator norm on L ₂(R ^d ) ⁿ . For s ≠ 0, we also give estimates of the rates of approximation.