Sum-free sets in abelian groups

An IP system is a functionn taking finite subsets ofN to a commutative, additive group Ω satisfyingn(α∪β)=n(α)+n(β) whenever α∩β=ø. In an extension of their Szemerédi theorem for finitely many commuting measure preserving transformations, Furstenberg and Katznelson showed that ifS _i ,1≤i≤k, are IP systems into a commutative (possibly infinitely generated) group Ω of measure preserving transformations of a probability space (X, B, μ, andA∈B with μ(A)>0, then for some ø≠α one has μ(? _i=1 ^k S _i({α})A>0). We extend this to so-called FVIP systems, which are polynomial analogs of IP systems, thereby generalizing as well joint work by the author and V. Bergelson concerning special FVIP systems of the formS(α)=T(p(n(α))), wherep:Z ^t →Z ^d is a polynomial vanishing at zero,T is a measure preservingZ ^d action andn is an IP system intoZ ^t . The primary novelty here is potential infinite generation of the underlying group action, however there are new applications inZ ^d as well, for example multiple recurrence along a wide class ofgeneralized polynomials (very roughly, functions built out of regular polynomials by iterated use of the greatest integer function).     

Homoclinic points and isomorphism rigidity of algebraic ℤ<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>-actions on zero-dimensional compact abelian groups

Letd>1, and letα andβ be mixing ? ^d -actions by automorphisms of zero-dimensional compact abelian groupsX andY, respectively. By analyzing the homoclinic groups of certain sub-actions ofα andβ we prove that, if the restriction ofα to some subgroup Γ ? ? ^d of infinite index is expansive and has completely positive entropy, then every measurable factor mapφ: (X, α)→(Y, β) is almost everywhere equal to an affine map. The hypotheses of this result are automatically satisfied if the actionα contains an expansive automorphismα ⁿ ,n ∈ ? ^d , or ifα arises from a nonzero prime ideal in the ring of Laurent polynomials ind variables with coefficients in a finite prime field. Both these corollaries generalize the main theorem in [9]. In several examples we show that this kind of isomorphism rigidity breaks down if our hypotheses are weakened.     

Simplex—Karyon Algorithm of Multidimensional Continued Fraction Expansion

A simplex–karyon algorithm for expanding real numbers α = (α₁,..., α _d ) in multidimensional continued fractions is considered. The algorithm is based on a (d + 1)-dimensional superspace S with embedded hyperplanes: a karyon hyperplane K and a Farey hyperplane F. The approximation of numbers α by continued fractions is performed on the hyperplane F, and the degree of approximation is controlled on the hyperplane K. A local ?(r)-strategy for constructing convergents is chosen, with a free objective function ?(r) on the hyperplane K.     

<Emphasis Type="Bold">K</Emphasis><Subscript>0</Subscript> of Semiartinian Von Neumann Regular Rings. Direct Finiteness Versus Unit-Regularity

If R is a regular and semiartinian ring, it is proved that the following conditions are equivalent: (1) R is unit-regular, (2) every factor ring of R is directly finite, (3) the abelian group K _O(R) is free and admits a basis which is in a canonical one to one correspondence with a set of representatives of simple right R-modules. For the class of semiartinian and unit-regular rings the canonical partial order of K _O(R) is investigated. Starting from any partially ordered set I, a special dimension group G(I) is built and a large class of semiartinian and unit-regular rings is shown to have the corresponding K _O(R) order isomorphic to G(P r i m _R ), where P r i m _R is the primitive spectrum of R. Conversely, if I is an artinian partially ordered set having a finite cofinal subset, it is proved that the dimension group G(I) is realizable as K _O(R) for a suitable semiartinian and unit-regular ring R.     

On Linear Preservers of Two-Sided Gut-Majorization On <Emphasis Type="Bold">M</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis>,<Emphasis Type="Italic">m</Emphasis></Subscript>

For X, Y ∈ M_n,m it is said that X is gut-majorized by Y, and we write X ?_gutY, if there exists an n-by-n upper triangular g-row stochastic matrix R such that X = RY. Define the relation ~_gut as follows. X ~_gutY if X is gut-majorized by Y and Y is gut-majorized by X. The (strong) linear preservers of ?_gut on ?ⁿ and strong linear preservers of this relation on M_n,m have been characterized before. This paper characterizes all (strong) linear preservers and strong linear preservers of ~_gut on ?ⁿ and M_n,m.     

On the homotopy type of (<Emphasis Type="Italic">n</Emphasis>-1)-connected (3<Emphasis Type="Italic">n</Emphasis>+1)-dimensional free chain Lie algebra

Let R be a subring ring of Q. We reserve the symbol p for the least prime which is not a unit in R; if R ?Q, then p=∞. Denote by DGL _n ^np , n≥1, the category of (n-1)-connected np-dimensional differential graded free Lie algebras over R. In [1] D. Anick has shown that there is a reasonable concept of homotopy in the category DGL _n ^np . In this work we intend to answer the following two questions: Given an object (L(V), ?) in DGL _n ³ⁿ⁺² and denote by S(L(V), ?) the class of objects homotopy equivalent to (L(V), ?). How we can characterize a free dgl to belong to S(L(V), ?)? Fix an object (L(V), ?) in DGL _n ³ⁿ⁺² . How many homotopy equivalence classes of objects (L(W), δ) in DGL _n ³ⁿ⁺² such that H _* (W, d′)?H _* (V, d) are there? Note that DGL _n ³ⁿ⁺² is a subcategory of DGL _n ^np when p>3. Our tool to address this problem is the exact sequence of Whitehead associated with a free dgl.     

Searching for a Best Least Absolute Deviations Solution of an Overdetermined System of Linear Equations Motivated by Searching for a Best Least Absolute Deviations Hyperplane on the Basis of Given Data

We consider the problem of searching for a best LAD-solution of an overdetermined system of linear equations Xa=z, X∈?^m×n, m≥n, \(\mathbf{a}\in \mathbb{R}^{n}, \mathbf {z}\in\mathbb{R}^{m}\). This problem is equivalent to the problem of determining a best LAD-hyperplane x?a ^T x, x∈? ⁿ on the basis of given data \((\mathbf{x}_{i},z_{i}), \mathbf{x}_{i}= (x_{1}^{(i)},\ldots,x_{n}^{(i)})^{T}\in \mathbb{R}^{n}, z_{i}\in\mathbb{R}, i=1,\ldots,m\), whereby the minimizing functional is of the form

$F(\mathbf{a})=\|\mathbf{z}-\mathbf{Xa}\|_1=\sum_{i=1}^m|z_i-\mathbf {a}^T\mathbf{x}_i|.$

An iterative procedure is constructed as a sequence of weighted median problems, which gives the solution in finitely many steps. A criterion of optimality follows from the fact that the minimizing functional F is convex, and therefore the point a ^?∈? ⁿ is the point of a global minimum of the functional F if and only if 0∈?F(a ^?).

Motivation for the construction of the algorithm was found in a geometrically visible algorithm for determining a best LAD-plane (x,y)?αx+βy, passing through the origin of the coordinate system, on the basis of the data (x _i ,y _i ,z _i ),i=1,…,m.     

Cartesian Closed Extensions of Subcategories of CONT

In this paper we give a uniform way of proving cartesian closedness for many new subcategories of continuous posets. We define C-P to be the category of continuous posets whose D–completions are isomorphic to objects from C, where C is a subcategory of the category CONT of domains. The main result is that if C is a cartesian closed full subcategory of ALG _⊥ or BC, then C-P is also a cartesian closed subcategory of the category CONTP of continuous posets and Scott continuous functions. In particular, we have the following cartesian closed categories : BC-P, LAT-P, aL-P, aBC-P, B-P, aLAT-P, ω -B-P, ω -aLAT-P, etc.     

Asymptotics of the Codimensions <Emphasis Type="Italic">c</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> in the Algebra <Emphasis Type="Italic">F</Emphasis><Superscript>(7)</Superscript>

The paper studies the additive structure of the algebra F⁽⁷⁾, i.e., a relatively free associative countably generated algebra with the identity [x₁,..., x₇] = 0 over an infinite field of characteristic ≠ 2, 3. First, the space of proper multilinear polynomials in this algebra is investigated. As an application, estimates for the codimensions c_n = dimF_n⁽⁷⁾ are obtained, where F_n⁽⁷⁾ stands for the subspace of multilinear polynomials of degree n in the algebra F⁽⁷⁾.     

Growth rates of algebras,III: finite solvable algebras

We investigate how the behavior of the function d_A(n), which gives the size of a least size generating set for Aⁿ, influences the structure of a finite solvable algebra A.     

On the existence of strips inside domains convex in one direction

A plane domain Ω is convex in the positive direction if for every ω ∈ Ω, the entire half-line {ω + t: t ≥ 0} is contained in Ω. Suppose that h maps the unit disk onto such a domain Ω with the normalization h(0) = 0 and lim_t→∞h^?1(h(z) + t) = 1. We show that if ∠lim_z→?1 Re h(z) = ?∞ and ∠lim_z→?1(1 + z)h′(z) = ν ∈ (0, +∞), then Ω contains a maximal horizontal strip of width πν. We also prove a converse statement. These results provide a solution to a problem posed by Elin and Shoikhet in connection with semigroups of holomorphic functions.     

Certain Subsets on Which Every Bounded Convex Function Is Continuous

To guarantee every real-valued convex function bounded above on a set is continuous, how ＂thick＂ should the set be？ For a symmetric set A in a Banach space E,the answer of this paper is： Every real-valued convex function bounded above on A is continuous on E if and only if the following two conditions hold： i） spanA has finite co-dimentions and ii） coA has nonempty relative interior. This paper also shows that a subset A C E satisfying every real-valued convex function bounded above on A is continuous on E if （and only if） every real-valued linear functional bounded above on A is continuous on E, which is also equivalent to that every real-valued convex function bounded on A is continuous on E.     

The Relaxed Edge-Coloring Game and <Emphasis Type="Italic">k</Emphasis>-Degenerate Graphs

The (r, d)-relaxed edge-coloring game is a two-player game using r colors played on the edge set of a graph G. We consider this game on forests and more generally, on k-degenerate graphs. If F is a forest with Δ(F)=Δ, then the first player, Alice, has a winning strategy for this game with r=Δ?j and d≥2j+2 for 0≤j≤Δ?1. This both improves and generalizes the result for trees in Dunn, C. (Discret. Math. 307, 1767–1775, 2007). More broadly, we generalize the main result in Dunn, C. (Discret. Math. 307, 1767–1775, 2007) by showing that if G is k-degenerate with Δ(G)=Δ and j∈[Δ+k?1], then there exists a function h(k,j) such that Alice has a winning strategy for this game with r=Δ+k?j and d≥h(k,j).     

Homogenization of a nonstationary model equation of electrodynamics

In L ₂(?₃;?₃), we consider a self-adjoint operator ? _ε , ε > 0, generated by the differential expression curl η(x/ε)^?1 curl??ν(x/ε) div. Here the matrix function η(x) with real entries and the real function ν(x) are periodic with respect to some lattice, are positive definite, and are bounded. We study the behavior of the operators cos(τ? _ε ^1/2 ) and ? _ε ^?1/2 sin(τ? _ε ^1/2 ) for τ ∈ ? and small ε. It is shown that these operators converge to cos(τ(?⁰)^1/2) and (?₀)^?1/2 sin(τ(?₀)^1/2), respectively, in the norm of the operators acting from the Sobolev space H ^s (with a suitable s) to ?₂. Here ?⁰ is an effective operator with constant coefficients. Error estimates are obtained and the sharpness of the result with respect to the type of operator norm is studied. The results are used for homogenizing the Cauchy problem for the model hyperbolic equation ? _τ ² v _ε = ?? _ε v _ε , div v _ε = 0, appearing in electrodynamics. We study the application to a nonstationary Maxwell system for the case in which the magnetic permeability is equal to 1 and the dielectric permittivity is given by the matrix η(x/ε).     

Random process in a homogeneous Gaussian field

We consider a random process in a spatial-temporal homogeneous Gaussian field V (q , t) with the mean E V = 0 and the correlation function W(|q ? q′|, |t ? t′|) ≡ E[V (q, t)V (q′, t′)], where \( \bold{q} \in {\mathbb{R}^d} \), \( t \in {\mathbb{R}^{+} } \), and d is the dimension of the Euclidean space \( {\mathbb{R}^d} \). For a “density” G(r, t) of the familiar model of a physical system averaged over all realizations of the random field V, we establish an integral equation that has the form of the Dyson equation. The invariance of the equation under the continuous renormalization group allows using the renormalization group method to find an asymptotic expression for G(r, t) as r → ∞ and t → ∞.     

Higher Algebraic <Emphasis Type="Italic">K</Emphasis>-theory of Ring Epimorphisms

Given a homological ring epimorphism from a ring R to another ring S, we show that if the left R-module S has a finite-type resolution, then the algebraic K-group K _n (R) of R splits as the direct sum of the algebraic K-group K _n (S) of S and the algebraic K-group K _n (R) of a Waldhausen category R determined by the ring epimorphism. This result is then applied to endomorphism rings, matrix subrings, rings with idempotent ideals, and universal localizations which appear often in representation theory and algebraic topology.     

A sharp eigenvalue theorem for fractional elliptic equations

The invisibility graph I(X) of a set X ? R ^d is a (possibly infinite) graph whose vertices are the points of X and two vertices are connected by an edge if and only if the straight-line segment connecting the two corresponding points is not fully contained in X. We consider the following three parameters of a set X: the clique number ω(I(X)), the chromatic number χ(I(X)) and the convexity number γ(X), which is the minimum number of convex subsets of X that cover X.We settle a conjecture of Matou?ek and Valtr claiming that for every planar set X, γ(X) can be bounded in terms of χ(I(X)). As a part of the proof we show that a disc with n one-point holes near its boundary has χ(I(X)) ≥ log log(n) but ω(I(X)) = 3.We also find sets X in R⁵ with χ(X) = 2, but γ(X) arbitrarily large.     

On Ramanujan sums over the Gaussian integers

This note deals with Ramanujan sums c _m (n) over the ring ?[i], in particular with asymptotics for sums of c _m (n) taken over both variables m, n.     

Geometric Realizations of Lusztig’s Symmetries of Symmetrizable Quantum Groups

Let U be the quantum group and f be the Lusztig’s algebra associated with a symmetrizable generalized Cartan matrix. The algebra f can be viewed as the positive part of U. Lusztig introduced some symmetries T _i on U for all i ∈ I. Since T _i (f) is not contained in f, Lusztig considered two subalgebras _i f and ⁱ f of f for any i ∈ I, where _i f={x ∈ f | T _i (x) ∈ f} and \({^{i}\mathbf {f}}=\{x\in \mathbf {f}\,\,|\,\,T^{-1}_{i}(x)\in \mathbf {f}\}\). The restriction of T _i on _i f is also denoted by \(T_{i}:{_{i}\mathbf {f}}\rightarrow {^{i}\mathbf {f}}\). The geometric realization of f and its canonical basis are introduced by Lusztig via some semisimple complexes on the variety consisting of representations of the corresponding quiver. When the generalized Cartan matrix is symmetric, Xiao and Zhao gave geometric realizations of Lusztig’s symmetries in the sense of Lusztig. In this paper, we shall generalize this result and give geometric realizations of _i f, ⁱ f and \(T_{i}:{_{i}\mathbf {f}}\rightarrow {^{i}\mathbf {f}}\) by using the language ’quiver with automorphism’ introduced by Lusztig.     

A new functor from <Emphasis Type="Italic">D</Emphasis><Subscript>5</Subscript>-Mod to <Emphasis Type="Italic">E</Emphasis><Subscript>6</Subscript>-Mod

We find a new representation of the simple Lie algebra of type E ₆ on the polynomial algebra in 16 variables, which gives a fractional representation of the corresponding Lie group on 16-dimensional space. Using this representation and Shen’s idea of mixed product, we construct a new functor from D ₅-Mod to E ₆-Mod. A condition for the functor to map a finite-dimensional irreducible D ₅-module to an infinite-dimensional irreducible E ₆-module is obtained. Our results yield explicit constructions of certain infinite-dimensional irreducible weight E6-modules with finite-dimensional weight subspaces. In our approach, the idea of Kostant’s characteristic identities plays a key role.